Stewart Shapiro

Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but he adds that each of the contenders also faces a ‘scope problem’, in that none of them makes sense of all legitimate truth attributions. Some deflationists make similar observations – usually less concessive – and conclude that truth simply has no substantial, underlying nature. There is nothing for the philosopher to articulate and defend. Lynch agrees with deflationists that the realm of discourse is too diverse for any single ‘first-level’ property, such as correspondence or coherence, to fully characterize it, but against deflationism, he holds that truth does have a nature. He presents a functionalist theory. The definition is this: x is true if, and only if, x has a property that plays the truth-role. According to Lynch, the truth-role is given in terms of what he calls the ‘core truisms’ of the folk concept of truth. These are platitudes that hold of the everyday notion, and are such that anyone who denies all of them can be accused of changing the subject – of not talking about truth. A given property T plays the truth-role for a batch of propositions, just in case, for any proposition P in the batch: P is T if, and only if, where P is believed, things are as they are believed to be; other things being equal, it is a worthy goal …

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic.

Just about every theorist holds that vague terms are context-sensitive to some extent. What counts as ?tall?, ?rich?, and ?bald? depends on the ambient comparison class, paradigm cases, and/or the like. To take a stock example, a given person might be tall with respect to European entrepreneurs and downright short with respect to professional basketball players. It is also generally agreed that vagueness remains even after comparison class, paradigm cases, etc. are fixed, and so this context sensitivity does not solve the problems with vague terms. In this paper, I briefly sketch the main features of my broadly contextualist account of vagueness, that of the late Ruth Manor, and that of Agustín Rayo, showing how the three accounts relate to, and reinforce, each other, noting a seeming difference. A key item used to articulate my own view is David Lewis's notion of conversational score. This is used to track which borderline cases have been called in the course of a conversation. Manor alludes to Lewis's notion of accommodation, a key aspect of the kinematics of conversation, and Rayo invokes Stalnaker's notion of common ground. I'll show how the conversational score could be employed to develop and extend their views, showing how vague terms, as they construe them, are (or can be) deployed in conversation, consistent with both the underlying indeterminacy of the terms and normal communicative goals. To help develop all three views further, I invoke Craige Roberts's notion of Retrievability, a tool developed to show how definites, such as definite descriptions, singular pronouns, and proper names, are deployed in conversation, in a Lewis-style scorekeeping framework. This, I think, is exactly the right way to understand conversations in what Manor calls non-sorities situations and, to invoke my own view, in sorites situations as well

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme of my ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent

SummaryAccording to Dummett's understanding of Frege, the sense of a denoting expression is a procedure for determining its denotation. The purpose of this article is to pursue this suggestion and develop a semi‐formal interpretation of Fregean sense for the special case of a first‐order language of arithmetic. In particular, we define the sense of each arithmetic expression to be a hypothetical process to determine the denoted number or truth value. The sense‐process is “hypothetical” in that the senses of some expressions cannot be completed in a finite number of steps. The motivation for this work is to explicate an intensional notion of effectiveness in terms of the senses of function names. It is proposed, in particular, that an expression is effective if and only if its sense can be completed in a finite number of steps. It is shown that a function is computable if and only if it has an effective name.RésuméSelon la lecture que Dummet donne de Frege, le sens ?on;une expression consiste en une procédure pour déterminer sa dénotation. Le but de cet article est de développer cette suggestion par une interprétation semi‐formelle du sens frégéen dans le cas particulier ?on;un langage de premier ordre en arithmétique. En particulier, nous définissons comme sens de toute expression mathématique un procédé hypothétique pour déterminer le nombre dénoté ou la valeur de vérité. Le procédé créateur de sens est hypothetique en ce sens que les sens de certaines expressions ne peuvent pas être donnés en un nombre fini de pas. Le but de cette étude est ?on;expliciter une notion intensionnelle ?on;effectuabilite en termes de sens des noms de fonction. II est en particulier propose qu'une expression soit dite effectuable si et seulement si son sens peut être épuisé en un nombre fini de pas. On montre qu'une fonction est calculable si et seulement si elle a un nom effectuable.ZusammenfassungDummets Auffassung von Frege gemäss besteht der Sinn eines denotierenden Ausdruckes in einem Verfahren, das dessen Denotation bestimmt. Es ist der Zweck der vorliegenden Arbeit, die‐sen Vorschlag weiterzufuUhren und eine halbformale Interpretation des Fregeschen Sinnes fiir den besonderen Fall der Sprache erster Stufe der Arithmetik zu entwickeln. Es wird im besonderen der Sinn eines jeden arithmetischen Ausdruckes als hypothetisches Verfahren zur Bestimmung der denotierten Zahl oder des Wahrheitswertes definiert. Die Sinngebung ist insofern hypothe‐tisch, als der Sinn gewisser Ausdrucke nicht in einer endlichen Zahl von Schritten gegeben wer‐den kann. Das Anliegen der Arbeit grundet in der Absicht, einen intensionalen Begriff der Effek‐tivitat aufgrund des Sinnes von Funktionsnamen zu erlautern. Es wird im besonderen festgelegt, dass ein Ausdruck dann und nur dann effektiv sei, wenn sein Sinn in einer endlichen Zahl von Schritten erreicht werden kann. Es wird gezeigt, dass eine Funktion genau dann berechenbar ist, wenn sie einen effektiven Namen hat