In Descartes's Meditations, one of the key texts of Western philosophy, the thinker rejects all his former beliefs in the quest for new certainties. Discovering his own existence as a thinking entity in the very exercise of doubt, he goes on to prove the existence of God, who guarantees his clear and distinct ideas as a means of access to the truth. He develops new conceptions of body and mind, capable of serving as foundations for the new science of nature. (...) Subsequent philosophy has grappled with Descartes's legacy, questioning many of its conclusions and even his basic approach, but his arguments set the agenda for many of the greatest philosophical thinkers, and their fascination endures.This new translation includes the Third and Fourth Objections and Replies in full, and a selection from the rest of Descartes's exchanges with contemporaries that helped to shape and expound his philosophy. (shrink)

Summary of the talk given to the 22nd Conference on the History of Logic, Cracow (Poland), July 5–9, 1976.

Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

Truth-value gaps have received little attention from a foundational perspective, a fact which has rightfully opened up gap theories to charges of vacuousness. This paper develops an account of the foundations of gap-like behavior which has some hope of avoiding such charges. I begin by reviewing and sharpening a powerful argument of Dummett’s to constrain the options that gap theorists have to make sense of their views. I then show that within these strictures, we can give an account of gaps (...) by drawing on elements of a broadly Stalnakerian framework for assertion and using gaps to track an amalgamation of assertoric effects. The discussion reveals that we may need special resources in our theories of assertion to posit gaps, that gaps may be unusable in characterizing the structure of mental states, and that gaps may have heterogeneous linguistic sources that result in equally heterogeneous projective and inferential behavior. (shrink)

I argue for two theses about semantically anomalous utterances (more commonly called "category mistakes") like "sequestered slaps reel evergreen rights". First, semantic anomaly generates a unique form of semantically enforced quantifier domain restriction. Second, the best explanation for why anomaly interacts with quantifiers in this way is that anomalous utterances are truth-valueless. After arguing for these points, I trace out two consequences these theses have in semantics and logic. First, I argue they motivate a trivalent semantics on which truth-valueless material (...) has an unsual positive role to play in the compositional semantics of truth-evaluable utterances. Second, I argue that the interaction of anomaly with quantifiers generates a unique form of classical inference failure, and also provides special motivations for reconceptualizing our logical consequence relations. (shrink)

Michael Dummett; VIII.—Truth, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 141–162, https://doi.org/10.1093/aristotelian/59.1.

There is a natural view of nonsense, which owes what attraction it has to the apparent absence of alternatives. In Frege and Wittgenstein there is a view which goes against the natural one, and the purpose of this paper is to establish that it is a possible view of nonsense.

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

[A. W. Moore] Criteria of ineffability are presented which, it is claimed, preclude the possibility of truths that are ineffable, but not the possibility of other things that are ineffable—not even the possibility of other things that are non-trivially ineffable. Specifically, they do not preclude the possibility of states of understanding that are ineffable. This, it is argued, allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein’s Tractatus and those who adopt the new (...) reading recently championed by Cora Diamond, James Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

Whether one is reading Wittgenstein's Tractatus or his later writings, one must be struck by his insistence that he is not putting forward philosophical doctrines or theses; or by his suggestion that it cannot be done, that it is only through some confusion one is in about what one is doing that one could take oneself to be putting forward philosophical doctrines or theses at all. I think that there is almost nothing in Wittgenstein which is of value and which (...) can be grasped if it is pulled away from that view of philosophy. But that view of philosophy is itself something that has to be seen first in the Tractatus if it is to be understood in its later forms, and in the Tractatus it is inseparable from what is central there, the distinction between what can be said and what can only be shown. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed by (...) a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general logical principles (...) in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)

Bradley Armour-Garb and James A. Woodbridge, in Pretense and Pathology, make an ambitious and far-ranging case that philosophical fictionalism (particularly the pretence variety that they favour) illuminates several long-standing philosophical puzzles posed by words in ordinary language, such as ‘exist’, ‘true’ and ‘means that’, as well as the more technical, ‘refers to’, ‘proposition’ and ‘satisfies’. Along the way, Armour-Garb and Woodbridge discuss topics in the philosophy of language, philosophical logic, ontology, epistemology and more. An important aspect of their project is (...) its nominalist aspiration: by showing (if they do) that pretence is involved when we use the foregoing terms, they hope to show that it’s false that these uses induce ontological commitments (to, e.g., propositions or properties). In this respect, their pretence approach is yet another attempt to undercut the family of indispensability arguments (pioneered by W.V.O. Quine) that prima facie force ontological commitments by means of indispensable language usage. (shrink)

Should we explicate truth in terms of meaning, or meaning in terms of truth? Ramsey, Prior and Strawson all favoured the former approach: a statement is true if and only if things are as the speaker, in making the statement, states them to be; similarly, a belief is true if and only if things are as a thinker with that belief thereby believes them to be. I defend this explication of truth against a range of objections.Ramsey formalized this account of (...) truth as follows: B is true =df ∃P; in §i, I defend this formula against the late Peter Geach's objection that its right‐hand side is ill‐formed. Davidson held that Ramsey and co. had the whole matter back to front: on his view, we should explicate meaning in terms of truth, not vice versa. In §ii, I argue that Ramsey's approach opens the way to a more promising approach to semantic theorizing than Davidson's. Ramsey presents his formula as a definition of truth, apparently contradicting Tarski's theorem that truth is indefinable. In §iii, I show that the contradiction is only apparent: Tarski assumes that the Liar‐like inscription he uses to prove his theorem has a content, but Ramsey can and should reject that assumption. As I explain in §iv, versions of the Liar Paradox may be generated without making any assumptions about truth: paradox arises when the impredicativity that is found when a statement's content depends on the contents of a collection of statements to which it belongs turns pathological. Since they do not succeed in saying anything, such pathological utterances or inscriptions pose no threat to the laws of logic, when these are understood as universal principles about the ways things may be said or thought to be. There is, though, a call for rules by following which we can be sure that any conclusion deduced from true premisses is true, and hence says something. Such rules cannot be purely formal, but in §v I propose a system of them: this opens the way to the construction of deductive theories even in circumstances where producing a well‐formed formula is no guarantee of saying anything. (shrink)

In “On Sense and Reference,” surrounding his discussion of how we describe what people say and think, identity is Frege’s first stop and his last. We will follow Frege’s plan here, but we will stop also in the land of make-believe.

Michael Dummett; VIII.—Truth, Proceedings of the Aristotelian Society, Volume 59, Issue 1, 1 June 1959, Pages 141–162, https://doi.org/10.1093/aristotelian/59.1.

This paper addresses four issues: 1. What is nonsense? 2. Is nonsense possible? 3. Is nonsense actual? 4. Why do the answers to (1)–(3) matter, if at all? These are my answers: 1. A sentence (or an utterance of one) is nonsense if it fails to have or express content (more on ‘express’, ‘have’, and ‘content’ below). This is a version of a view that can be found in Carnap (1959), Ayer (1936), and, maybe, the early Wittgenstein (1922). The notion (...) I propose abstracts away from their favored (but wrong) theories of what meaning is. It is a notion of nonsense that can be appealed to by all semantic frameworks and all theories of what content is, but structurally it is just like e.g. Carnap’s. Nonsense, as I construe it, is accompanied by illusions of thought (and I think that was part of Carnap’s conception as well). 2. Yes. In particular, I examine three arguments for the impossibility of illusion of thought (which on my construal accompanies linguistic nonsense) and they are all unsound. 3. Yes. There might be a lot of nonsense, both in ordinary and theoretical speech. In particular, it is likely that much of contemporary philosophy consists of nonsense. Empirical work is required to determine just how much. 4. The struggle to avoid nonsense (and achieve meaningfulness) is at least as important as the struggle for truth. The avoidance of nonsense is a precondition not just for having a truth value but also for more important properties such as saying something interesting or kind. (shrink)

A three-valued propositional logic is presented, within which the three values are read as ?true?, ?false? and ?nonsense?. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.

My topic is the relation between nonsense and intelligibility, and the contrast between nonsense and falsehood which played a pivotal role in the rise of analytic philosophy . I shall pursue three lines of inquiry. First I shall briefly consider the positive case, namely linguistic understanding . Secondly, I shall consider the negative case—different breakdowns of understanding and connected forms of failure to make sense . Third, I shall criticize three important misconceptions of nonsense and unintelligibility: the austere conception of (...) nonsense propounded by the New Wittgensteinians ; the “no nonsense position” which roundly denies that there are cases of nonsense—Chomsky’s semantic anomalies or Ryle’s category mistakes–that are grammatically well-formed, without even having the potential for being used to make a truth-apt statement ; the individualistic conception of language and of semantic mistakes championed by Davidson . All three positions, I shall argue, ignore or deny combinatorial nonsense, the fact that perfectly meaningful sentence-components can be combined in a way that may be grammatical, yet without resulting in a sentence that is itself “meaningful”, i.e. endowed with linguistic sense. At a more strategic level, the first and the third position deny or ignore that natural languages are communal historical practices that go beyond idiolects and the employments of expressions in specific contexts and that are guided by semantic rules—standards for the meaningful use of words. (shrink)

It is well known that occurrences of sentences such as “Every bottle is empty” will sometimes be understood relative to a subset of the set of all bottles in the universe. Much has been written about what mechanism should be used to model this phenomenon of domain restriction. However, comparatively little attention has been paid to the question of when domain restriction is triggered. I will begin by challenging a recent partial answer to this question. I will then develop my (...) own partial answer based on observations pertaining to information structure. (shrink)

The aim of this book is a recovery of interest in the experience of meaning. Jan Zwicky defends the claim that we experience meaning in the apprehension of wholes and their internal structural relations, providing examples of such insight in mathematics and physics, literature, music, and Plato's ancient theory of forms. Taken together, these essays constitute a powerful indictment of the aggressive reductionism and the reliance on calculative modes of thought that dominate our present conception of understanding. The Experience of (...) Meaning proposes a more just epistemology, arguing for a new grammar of thought, a new way of understanding the relationship of human intelligence to the world. Engaging with philosophy, psychology, literature, fine arts, music, and environmental studies in a profound way, The Experience of Meaning will interest any reader who ponders the question of meaning and its relation to true human expression. (shrink)

Thirteen seminal essays by Mark Richard develop a nuanced account of semantics and propositional attitudes. The collection addresses a range of topics in philosophical semantics and philosophy of mind, and is accompanied by a new Introduction which discusses attitudes realized by dispositions and other non-linguistic cognitive structures.