Already a subscriber? - Login here
Not yet a subscriber? - Subscribe here

Browse by:



Displaying: 1-20 of 22 documents


series introduction

1. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Jaakko Hintikka, Robert Cummings Neville, Ernest Sosa, Alan M. Olson, Stephen Dawson

view |  rights & permissions | cited by

volume introduction

2. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Akihiro Kanamori

view |  rights & permissions | cited by

articles

3. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Stephen Schiffer

abstract | view |  rights & permissions | cited by
Fregeans hold that propositional attitudes are relations to structured propositions whose basic constituents are concepts, or modes of presentation, of the objects and properties our beliefs are about. It is widely thought that there are compelling objections to the Fregean theory of mental and linguistic content. However, as I try to show, these objections are met by the version of Frege’s theory which I call Pleonastic Fregeanism.
4. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
João Branquinho

abstract | view |  rights & permissions | cited by
My aim is to sketch a principle of individuation which is intended to serve the Fregean notion of a proposition, a notion I take for granted. A salient feature of Fregean propositions, i.e., complexes of modes of presentation of objects (individuals, properties), is that they are finegrained items, so fine-grained that even synonymous sentences might express different Fregean propositions. My starting point is the principle labelled by Gareth Evans the Intuitive Criterion of Difference, which states that it is impossible coherently to take conflicting mental attitudes to the same proposition. As a logical truth (a consequence of Leibniz’s Law), this is a synchronic principle, the application of which is restricted to attitudes held at a single time. I argue that such a restriction might be reasonably lifted and, on the basis of an adequate notion of attitude-retention, I propose an admissible diachronic extension of the principle.
5. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Philip L. Peterson

abstract | view |  rights & permissions | cited by
The distinctions among facts, propositions, and events are supported by linguistic analyses segregating factive, propositional, and eventive predicates. The concepts of fact, proposition, and event may be basic categories of human understanding, as well as being ontologically significant. FPE theory was developed in part to reject the identification of facts with true propositions. The degree of ‘fineness’ of individuations within each category results from how closely event-, fact-, or proposition-individuation mirrors linguistic semantic structure. Event structure is not reflected in many event phrases. Fact- and proposition-structure typically does reflect semantic structures of factive and propositional clauses. The relevant properties for event individuation are all expressible by eventive predicates. Fact and proposition individuation is not as straightforward, because so many factives and propositionals do not express properties relevant to the Leibnizian principle. The intractability of proposition individuation may be overcome through an explanation of fact cognition.
6. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Manuel García-Carpintero

abstract | view |  rights & permissions | cited by
According to a Reichenbachian treatment, indexicals are token-reflexive. That is, a truth-conditional contribution is assigned to tokens relative to relational properties which they instantiate. By thinking of the relevant expressions occurring in “ordinary contexts” along these lines, I argue that we can give a more accurate account of their semantic behavior when they occur in indirect contexts. The argument involves the following: (1) A defense of theories of indirect discourse which allows that a reference to modes of presentation associated with expressions occurring in indirect contexts can be made depending on contextual aspects. (2) A defense of the “doubleindexing” theories proposed by Stalnaker and others in order to account for the difference between metaphysical and epistemological modalities. (3) The claim that a Reichenbachian view improves upon the theories defended in (1) and (2).
7. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
R. Mark Sainsbury

abstract | view |  rights & permissions | cited by
This paper explores the idea that a name should be associated with a reference condition, rather than with a referent, just as a sentence should be associated with a truth condition, rather than with a truth value. The suggestion, to be coherent, needs to be set in a freelogical framework (following Burge). A prominent advantage of the proposal is that it gives a straight-forward semantics for empty names. A problem discussed in this paper is that of reconciling the rigidity of names with seeming truths of the form “there might have been such a planet as Vulcan.”
8. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Roger Wertheimer

abstract | view |  rights & permissions | cited by
Logical form has semantic import. Logical sentences (GG: Greeks are Greeks) and their synonym interceptions (GH: Greeks are Hellenes) state the same fact but different truths with different explanations. Terms retain objectual reference but its role in explaining truth is preempted by syntax or synonymy. Church’s Test exposes puzzles. QMi sentences (GmG: ‘Greeks’ means Greeks), and QTi sentences (p≡it is true that p≡“p” is true) are metalogical necessities, true by syntax. Their interceptions alter syntax and modality, yielding contingent truths (GmH: ‘Greeks’ means Hellenes, HmG: ‘Hellenes’ means Greeks). Meta-logical translation preserves syntax (GmG: ‘Greichen’ bedeutet Greichen), not necessarily objectual reference. Metalogical syntax secures truth by self-referential quotational indexing that identifies quotational referent with an intrasentential replica.
9. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
George M. Wilson

abstract | view |  rights & permissions | cited by
In a recent paper, Ebbs has given an elegant statement of a notable puzzle that has recurred in the literature since the original publication of Putnam’s “The Meaning of ‘Meaning’.” The puzzle can be formulated, for a certain characteristic case, along the following lines. There are very strong intuitions in support of a thesis that Putnam has explicitly endorsed, namely, the thesis: The extension of the word ‘gold’, as we use it now, is the same as the extension of ‘gold’, as it was used in 1650 (before the rise of molecular chemistry). However, strong convictions about language use and truth conditions also incline us to the view that the extension of a term, as it is used at a time t, is determined by facts about the use of the term in the language at or before t, together with the facts about the various items to which the term prospectively applied. This paper looks at the various issues involved regarding these matters.
10. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Terry Horgan

abstract | view |  rights & permissions | cited by
The ancient sorites paradox has important implications for metaphysics, for logic, and for semantics. Metaphysically, the paradox can be harnessed to produce a powerful argument for the claim that there cannot be vague objects or vague properties. With respect to logic, the paradox forces a choice between the highly counterintuitive ‘epistemic’ account of vagueness and the rejection of classical two-valued logic. Regarding semantics, nonclassical approaches to the logic of vagueness lead naturally to the idea that truth, for vague discourse, is not direct language-world correspondence grounded in referential connections linking a statement’s basic subsentential constituents (names, predicates, the apparatus of quantification) to real objects and real properties; rather, truth is a matter of indirect correspondence between vague language and nonvague reality.
11. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Timothy Williamson

abstract | view |  rights & permissions | cited by
If semantic paradoxes such as the Liar arise because ‘true’ and other metalinguistic expressions can change their reference with changes of linguistic context, is that due to indexicality (they have the same linguistic meaning as reference changes) or ambiguity (their linguistic meaning itself changes)? An argument from communication that appears to favour the indexicality interpretation is not compelling. This paper defends the ambiguity interpretation. It is left open whether its considerations generalize to other kinds of paradox.
12. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
D. Goldstick

abstract | view |  rights & permissions | cited by
Giving ‘facts’ and ‘truth’ their ordinary senses, can one resist equating truth with correspondence to fact? For, with every variation in facts, there would necessarily be a corresponding variation in what propositions were true. But there would likewise be a corresponding variation in which they were false. Moreover, for any true proposition, the Correspondence Theory is committed also to denying that the existence of the fact believed normally follows just from the existence of the belief.
13. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Lorenz B. Puntel

abstract | view |  rights & permissions | cited by
The first section states two general theses: the claim that semeantic features are not expressible in language is indefensible; and, the role semantic expressions play in language consists in making language fully determinate. The second section elaborates on the main thesis of the paper; that is, ‘ . . . is true’ expresses neither a predicate nor a PROsentence-forming operator (R. Brandom), but a PERsentence- (and PERproposition-) forming operator (‘PER’ from ‘PERfect’ or ‘PERform’). Contrary to the ‘anaphoric’ conception, it is argued that the truth operator functions ‘cataphorically’ in the following sense: it applies to semantically indeterminate (or underdetermined) sentences (and propositions) and yields fully determinate sentences (and propositions), i.e., PERsentences (and PERpropositions). This leads to a surprisingly new understanding of (Tarski’s) Tbiconditionals. The final section shows how to conceive of the fully determinate semantical and ontological status of sentences and propositions.
14. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Gabriel Sandu

abstract | view |  rights & permissions | cited by
In this paper I am going to inquire to what extent the main requirements of a minimalist theory of truth and falsity (as formulated, for example, by Horwich and Field) can be consistently implemented in a formal theory. I will discuss several of the existing logical theories of truth, including Tarski-type (un)definability results, Kripke’s partial interpretation of truth and falsity, Barwise and Moss’ theory based upon non-well-founded sets, McGee’s treatment of truth as a vague predicate, and Hintikka’s languages of imperfect information, to see which axioms of the minimalist theory they satisfy or fail to satisfy. Finally, I will discuss the relation between the minimalist program and compositionality.
15. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Jaakko Hintikka

abstract | view |  rights & permissions | cited by
Pretheoretically, truth is a correspondence between a sentence and facts. Other so-called theories of truth have typically been resorted to because such a correspondence is thought of as being inexpressible or as being incapable of yielding a definition of truth which expresses what we actually mean. It can be shown that truth is indefinable in the paradigm case of ordinary first-order languages only because they cannot express informational independence. As soon as this is corrected, as in independence-friendly first-order logic, truth predicates are readily definable, Tarski notwithstanding. Hence, there is no reason to think that truth cannot also be defined for our actual working language—Tarski’s “colloquial language.”
16. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Oswaldo Chateaubriand

abstract | view |  rights & permissions | cited by
The standard view of logical form is that logical forms are synthetic structures which are the forms of sentences and of other linguistic entities. This is often associated with a more general linguistic view of logic which is articulated in different ways by various authors. This paper contains a critical discussion of such linguistic approaches to logical form, with special emphasis on Quine’s formulation of a logical grammar in Philosophy of Logic. An account of logical forms as higher-order properties, which essentially builds on Frege’s analysis of quantification as higher-order predication, is suggested at the end.
17. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Stewart Shapiro

abstract | view |  rights & permissions | cited by
Since virtually every mathematical theory can be interpreted in Zermelo-Fraenkel set theory, it is a foundation for mathematics. There are other foundations, such as alternate set theories, higher-order logic, ramified type theory, and category theory. Whether set theory is the right foundation for mathematics depends on what a foundation is for. One purpose is to provide the ultimate metaphysical basis for mathematics. A second is to assure the basic epistemological coherence of all mathematical knowledge. A third is to serve mathematics, by lending insight into the various fields and suggesting fruitful techniques of research. A fourth purpose of a foundation is to provide an arena for exploring relations and interactions between mathematical fields. While set theory does better with regard to some of these and worse with regard to others, it has become the de facto arena for deciding questions of existence, something one might expect of a foundation. Given the different goals, there is little point to determining a single foundation for all of mathematics.
18. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Bob Hale

abstract | view |  rights & permissions | cited by
While Frege’s own attempt to provide a purely logical foundation for arithmetic failed, Hume’s principle suffices as a foundation for elementary arithmetic. It is known that the resulting system is consistent—or at least if second-order arithmetic is. Some philosophers deny that HP can be regarded as either a truth of logic or as analytic in any reasonable sense. Others—like Crispin Wright and I—take the opposed view. Rather than defend our claim that HP is a conceptual truth about numbers, I explain one way it may be possible to extend our view beyond elementary arithmetic to encompass the theory of real numbers. My approach has affinities to the leading ideas of Frege’s own treatment of the reals, although differing in one fundamental way. I attempt, like the HP approach to elementary arithmetic, to obtain the reals very directly by means of abstraction principles without any essential reliance on a theory of sets. This is the most natural way of extending the neo-Fregean position to the reals.
19. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Donald L. M. Baxter

abstract | view |  rights & permissions | cited by
Hume argues that the idea of duration is just the idea of the manner in which several things in succession are arrayed. In other words, the idea of duration is the idea of successiveness. He concludes that all and only successions have duration. Hume also argues that there is such a thing as a steadfast object—something which co-exists with many things in succession, but which is not itself a succession. Thus, it seems that Hume has committed himself to a contradiction: A steadfast object lacks duration because it is not a succession, but has duration because it co-exists with something which has duration. I am not going to discuss why Hume thinks these things. My goal is simply to show that what he thinks is consistent. To do so, I will offer a Humean temporal logic.
20. The Proceedings of the Twentieth World Congress of Philosophy: Volume > 6
Luciano Floridi

abstract | view |  rights & permissions | cited by
I argue that, according to Descartes, even mathematics is not immune from doubt and absolutely reliable, and hence fails to grant the ultimate justification of science. Descartes offers two arguments and a corollary to support this view. They are sufficient to show that the mathematical atheist cannot justifiably claim to have absolutely certain knowledge even of simple mathematical truths. Philosophical reflection itself turns out to be the only alternative means to provide knowledge with a stable foundation.