On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics
Meaning as a conclusion of an introduction rule in a meaning-conferring natural-deduction proof system.
Meaning as a premise of an introduction rule in a meaning-conferring natural-deduction proof system.
KeywordsProof-theoretic semantics assertoric contents ingredient sense meaning as premise meaning as conclusion compositionality
Mathematics Subject ClassificationPrimary 03F03 Secondary 03B22 03A02
Unable to display preview. Download preview PDF.
- 1.Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1993) (paperback). Hard copy 1991Google Scholar
- 2.Dummett, M.: The Nature and Future of Philosophy. Columbia University Press, New York (2010)Google Scholar
- 3.Fjellstad, A.: How a semantics for tonk should be. Rev. Symb. Log. (2015). doi: 10.1017/S1755020314000513
- 4.Francez, N.: Views of proof-theoretic semantics: reified proof-theoretic meanings. J. Comput. Log. (2014). doi: 10.1093/logcom/exu035. Special issue in honour of Roy Dyckhoff
- 5.Francez, N.: On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics. Rev. Symb. Log. (2015) (to appear)Google Scholar
- 9.Humberstone, L.: Heterogeneous logic. Erkenntnis 29, 395–435 (1988)Google Scholar
- 10.Prior, A.N.: The runabout inference-ticket. Analysis 21, 38–39 (1960)Google Scholar
- 11.Raibern, B.: Against the identification of assertoric content with compositional value. Synthese 189(1), 75–96 (2012). doi: 10.1007/s11229-012-0096-9
- 12.Schroeder-Heister, P.: Proof-theoretic semantics. In: Zalta, E.N. (ed.) Stanford Encyclopaedia of Philosophy (SEP), http://plato.stanford.edu/. The Metaphysics Research Lab, Center for the Study of Language and Information. Stanford University, Stanford (2011)
- 13.Tsohatzidis, S.L.: The distance between ’here’ and ’where I am’. J. Philos. Res. (2013) (forthcoming)Google Scholar