Understanding, proofs, and compositionality
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In Michael Dummett’s manifestability challenge to truth conditional semantics, it is argued that the meaning of sentence cannot be its truth conditions, for then a speaker’s knowledge of the meaning would not in all cases be manifestable. In those cases, the speaker would not know how to ﬁnd out whether the truth conditions are satisﬁed or not. By contrast, knowledge of what counts as a proof of a sentence would pass the manifestability test, since a speaker is supposed always to be capable of deciding whether or not a given object is a proof of a given sentence. There is a problem for the positive part, however, for there is no guarantee that a compositional proof-theoretic semantics in all cases provides knowledge suﬃcient for recognizing any proof of a provable sentence for which the meaning is given. In those cases, the speaker need not know how to ﬁnd out whether a given object is a proof of the sentence. Hence, if knowledge of meaning is required to be manifestable, there is no guarantee in general is compositionally speciﬁable.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Cheng-Hung Tsai (2006). Can, or Should, Dummett Solve the Delivery Problem? Auslegung 28 (1):21-43.
Peter Pagin (2003). Communication and Strong Compositionality. Journal of Philosophical Logic 32 (3):287-322.
Kent Bach (2005). Context Ex Machina. In Zoltán Gendler Szabó (ed.), Semantics Versus Pragmatics. Oxford University Press. 15--44.
Peter Pagin (1994). Knowledge of Proofs. Topoi 13 (2):93-100.
Markus Schrenk (2008). Verificationist Theory of Meaning. In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
Douglas Patterson (2005). Deflationism and the Truth Conditional Theory of Meaning. Philosophical Studies 124 (3):271 - 294.
Ernesto Perini-Santos (2008). John Buridan on the Bearer of Logical Relations. Logica Universalis 2 (1):59-70.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Peter Pagin (2009). Compositionality, Understanding, and Proofs. Mind 118 (471):713 - 737.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?