Given the harmony principle for logical operators, compositionality ought to ensure that harmony should obtain at the level of whole contents. That is, the role of a content qua premise ought to be balanced exactly by its role as a conclusion. Frege's contextual definition of propositional content happens to exploit this balance, and one appeals to the Cut rule to show that the definition is adequate. We show here that Frege's definition remains adequate even when one relevantizes logic by abandoning (...) an unrestricted Cut rule. The proof exploits the fact that in the relevantized logic, which abandons the unrestricted rule of Cut, any failure of the transitivity of deduction is offset by the epistemic gain involved in learning that a stronger-than-expected result holds. (shrink)

Formal implication is usually represented by symbolization such as ‘ φx ⊃ Ψx,’ which may be read, “for all values of ‘x’, φx implies Ψx.” If the values of the variable ‘x’, in ‘φx’ and ‘Ψx’ be ‘x1’ ‘x2’ ‘x3’, etc., then … ‘φx’ formally implies ‘Ψx’ if and only if, whatever values of ‘x’, ‘xn’, be chosen, ‘φxn’ materially implies ‘Ψxn’ …However, this still leaves it doubtful which of two possible interpretations of expressions having the form ‘ φx ⊃ (...) Ψx’ is to be taken as correct. … It means one thing to say, “Every existent having the property φ … has also the property Ψ,” and it means quite a different thing to say, “Every thinkable thing which should have the property φ must also have the property Ψ.” The second of these holds only when having the properly φ logically entails having the property Ψ; when ‘Ψx’ is deductible from ‘φx’. … The first of them, however, holds not only in such cases … but also in every case where among existent things, one property is universally accompanied by another. (shrink)

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

While according to the inferentialists, meaning is always a kind of inferential role, proponents of other approaches to semantics often doubt that actual meanings, as they see them, can be generally reduced to inferential roles. In this paper we propose a formal framework for considering the hypothesis of the.

Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of inferential roles. (...) I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)

Carnap took the content of a particularsentence or set of sentences to consist in the set ofthe consequences of the sentence or set. This claimequates meaning with inferential role, but itrestricts the inferences to deductive or explicativeones. Here I reject a recent proposal by RobertBrandom, where inductive or ampliative inferences arealso meant to confer contents on expressions. I arguethat if Brandom's inferentialist picture is upheld, andboth explicative and ampliative inferences confermeaning, one consequence of this is that the contentof a sentence (...) is to be read off from our ways ofrationally altering our beliefs. Meaning and contentthen are largely concepts of pragmatics, with no cleartheoretical interest. My critique affects certainaspects of Dummett's meaning-theoretic picture too,and the discussion also links up with the developmentof `dynamic semantics'. (shrink)

It's an achievement of the last couple of decades that people who work in linguistic semantics and people who work in the philosophy of language have arrived at a friendly, de facto agreement as to their respective job descriptions. The terms of this agreement are that the semanticists do the work and the philosophers do the worrying. The semanticists try to construct actual theories of meaning (or truth theories, or model theories, or whatever) for one or another kind of expression (...) in one or another natural language; for example, they try to figure out how the temperature could be rising compatibly with the substitutivity of identicals. The philosophers, by contrast, keep an eye on the large, foundational issues, such as: what's the relation between sense and denotation; what's the relation between thought and language; whether translation is determinate; and whether life is like a fountain. Every now and then the philosophers and the semanticists are supposed to get together and compare notes on their respective progress. Or lack thereof. (shrink)

It's an achievement of the last couple of decades that people who work in linguistic semantics and people who work in the philosophy of language have arrived at a friendly, de facto agreement as to their respective job descriptions. The terms of this agreement are that the semanticists do the work and the philosophers do the worrying. The semanticists try to construct actual theories of meaning (or truth theories, or model theories, or whatever) for one or another kind of expression (...) in one or another natural language; for example, they try to figure out how the temperature could be rising compatibly with the substitutivity of identicals. The philosophers, by contrast, keep an eye on the large, foundational issues, such as: what's the relation between sense and denotation; what's the relation between thought and language; whether translation is determinate; and whether life is like a fountain. Every now and then the philosophers and the semanticists are supposed to get together and compare notes on their respective progress. Or lack thereof. (shrink)

Robert Brandom has it in mind to run a ‘pragmatist’ theory of content. That is, he wants to reconstruct notions like saying such and such or believing such and such in terms of a distinctive kind of “knowing how or being able to do something”.

This paper argues that the normative dimension in mental and semantic content is not a categorical feature of content, but an hypothetical one, relative to the features of the interpretation of thoughts and meaning. The views of Robert Brandom are discussed. The thesis defended in this paper is not interpretationist about thought. It implies that the normative dimension of content arises from the real capacity of thinkers and speakers to self ascribe thoughts to themselves and to reach self knowledge of (...) their own thoughts. (shrink)

In this paper we explore differences in use of the so-called ‘logical’ elements of language such as quantifiers and conditionals, and use this to explain differences in performance in reasoning tasks across subject groups with different educational backgrounds. It is argued that quantified sentences are difficult natural bases for reasoning, and hence more prone to elicit variation in reasoning behaviour, because they are chiefly used with a pre-determined domain in everyday speech. By contrast, it is argued that conditional sentences form (...) natural premises because of the function they serve in everyday speech. Implications of this for the role of logic in modelling human reasoning behaviour are briefly considered. (shrink)

A work in the history of systematic philosophy that is itself animated by a systematic philosophic aspiration, this book by one of the most prominent American ...

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

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 ...

Atomists explain properties of wholes as compositions of properties of their parts; in particular properties of complex expressions as composed of properties of their parts. Especially, semantic atomists explain meanings of complex expressions as composed of meanings of their parts. Holists deny themselves this way: they insist that at least in some cases properties of wholes are more basic than, or not reducible to, properties of their parts; in particular, semantic holists claim that meanings of (at least some) wholes are (...) more basic than meanings of parts. Now as atomists have composition as the way of getting themselves from the meanings of parts to the meanings of wholes, holists need something to get them from the meanings of wholes to those of their parts. What is usually invoked in this context is the concept of intersubstitutivity, which is, however, not always wholly clear. (shrink)

Wilfrid Sellars's analysis of the concept of meaning led, in effect, to the conclusion that the meaning of an expression is its inferential role. This view is often challenged by the claim that inference is a matter of syntax and syntax can never yield us semantics. I argue that this challenge is based on the confusion of two senses of "syntax"; and I try to throw some new light on the concept of inferential role. My conclusion is that the Sellarsian (...) view that something can have meaning only if it is subject to inferences is viable, and that inferential role is a plausible explication of meaning. However I also argue, pace Sellars, that the inferential nature of meaning does not prevent us from engaging in the enterprise of Carnapian formal semantics. (shrink)