Measuring and Modeling Truth

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Abstract Philosophers, linguists and others interested in problems concerning natural language frequently employ tools from logic and model theory. The question arises as to the proper interpretation of the formal methods employed—of the relationship between, on the one hand, the formal languages and their set-theoretic models and, on the other hand, the objects of ultimate interest: natural language and the meanings and truth conditions of its constituent words, phrases and sentences. Two familiar answers to this question are descriptivism and instrumentalism. More recently, a third answer has been proposed: the logic-as-modeling view. This paper seeks to clarify and assess this view of logic. The conclusion is that we can successfully adopt the modeling perspective on a given piece of logical machinery only if we have to hand some other machinery to which we take the descriptive attitude. Thus, logic-as-modeling is not a full-fledged alternative to the descriptive view— for it cannot stand alone: it can at best be an addition to the descriptive perspective. The paper first presents the argument in a general, abstract form, before working through a detailed case study. The case examined is the one with respect to which the logic-as-modeling view has been developed in the greatest detail in the literature: the case of fuzzy model theory as an account of vagueness in natural language. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

[1]  Michael Tye Vagueness: Welcome to the Quicksand , 1995 .

[2]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[3]  Roy T. Cook,et al.  Vagueness and Meaning , 2011, Vagueness: A Guide.

[4]  Ernest Lepore,et al.  What model theoretic semantics cannot do? , 1983, Synthese.

[5]  S. Shapiro Vagueness in Context , 2006 .

[6]  L. A. ZADEH,et al.  The concept of a linguistic variable and its application to approximate reasoning - I , 1975, Inf. Sci..

[7]  Stewart Shapiro Modeling and normativity: How much revisionism can we tolerate? , 2001 .

[8]  George Lakoff,et al.  Hedges: A study in meaning criteria and the logic of fuzzy concepts , 1973, J. Philos. Log..

[9]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

[10]  Jean-Yves Béziau,et al.  What is many-valued logic? , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[11]  Kenton F. Machina,et al.  Truth, belief, and vagueness , 1976, J. Philos. Log..

[12]  Manuel García-Carpintero Sánchez-Miguel The Grounds for the Model-theoretic Account of the Logical Properties , 1992, Notre Dame J. Formal Log..

[13]  Peter F. Smith,et al.  Vagueness: A Reader , 1999 .

[14]  Ivor Grattan-Guinness,et al.  Fuzzy Membership Mapped onto Intervals and Many-Valued Quantities , 1976, Math. Log. Q..

[15]  R. Cook Vagueness and Mathematical Precision , 2002 .

[16]  Petr Hájek,et al.  Ten Questions and One Problem on Fuzzy Logic , 1999, Ann. Pure Appl. Log..

[17]  Vijay K. Rohatgi,et al.  Advances in Fuzzy Set Theory and Applications , 1980 .

[18]  D. Edgington Vagueness by degrees , 1997 .

[19]  Susan Haack,et al.  Do we need “fuzzy logic”? , 1979 .

[20]  Roy Sorensen,et al.  Vagueness and Contradiction , 2001 .

[21]  Didier Dubois,et al.  Interval-valued Fuzzy Sets, Possibility Theory and Imprecise Probability , 2005, EUSFLAT Conf..

[22]  Nicholas J. J. Smith Vagueness and Degrees of Truth , 2008 .

[23]  B. Jack Copeland,et al.  Vague identity and fuzzy logic , 1997 .

[24]  R. Keefe Theories of vagueness , 2000 .

[25]  Roy T. Cook Logic-as-modeling : a new perspective on formalization / , 2000 .

[26]  J. A. Goguen,et al.  The logic of inexact concepts , 1969, Synthese.

[27]  Rosanna Keefe,et al.  Vagueness by numbers , 1998 .

[28]  John Corcoran Gaps between Logical Theory and Mathematical Practice , 1973 .