Published online by Cambridge University Press: 30 March 2017
Abstract. Starting from any language provided with sentence meanings and a grammar, and using the principle that the meaning of a phrase is what it contributes to the meanings of sentences containing it, we derive a semantics for the whole language. The semantics is necessarily compositional and carries a structure of semantic categories. With a further assumption on the grammatical heads of phrases, we can assume that the meanings of head words are functions from meanings to meanings, in the Frege style. The paper sketches these results and considers how far the semantics of Husserl, Frege and Tarski can be seen as examples of this pattern.
When Alfred Tarski wrote his famous definition of truth [20] (1933) for a formal language, he had several stated aims. His chief aim was to define truth of sentences. Giving correct meanings of other expressions of the language was nowhere in his list of aims at all; it was a happy accident that a general semantics fell out of his truth definition.
So the following facts, all very easily proved, came to me as a surprise. Given any notion of meaning for sentences (for example, a specification of when they are true and when not), and assuming some simple book-keeping conditions, there is a canonical way of extending this notion to a semantics for the whole language. I call it the fregean extension; it is determined up to the question which pairs of expressions have the same meaning. Tarski's semantics for first-order logic is the fregean extension of the truth conditions for sentences. Afewmore book-keeping conditions guarantee that the fregean extension can be chosen to have good functional properties of the kind often associated with Frege and with type-theoretic semantics.
Tarski himselfwas certainly interested in the question howfar his solution of his problem was canonical, and we can learn useful things from his discussion of the issue. But the main results below on fregean extensions come closer to the linguistic and logical concerns of Frege and Husserl, a generation earlier than Tarski. Husserl has been unjustly neglected by logicians, and Frege's innovations in linguistics deserve to be better known.
To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Find out more about the Kindle Personal Document Service.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.