- (1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Abstract Objects and the Semantics of Natural Language.Friederike Moltmann - 2012 - Oxford, United Kingdom: Oxford University Press.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
On the proper treatment of opacity in certain verbs.Thomas Ede Zimmermann - 1993 - Natural Language Semantics 2 (1):149-179.details
|
|
The seas of language.Michael Dummett - 1993 - New York: Oxford University Press.details
|
|
On Quantifier Domain Restriction.Jason Stanley & Zoltán Gendler Szabó - 2000 - Mind and Language 15 (2-3):219--61.details
|
|
Context and unrestricted quantification.Michael Glanzberg - 2006 - In Peter Smith (ed.), Absolute Generality. Jstor. pp. 45--74.details
|
|
(1 other version)Inference and meaning.Wilfrid Sellars - 1953 - Mind 62 (247):313-338.details
|
|
Quantifiers and propositional attitudes.Willard van Orman Quine - 1955 - Journal of Philosophy 53 (5):177-187.details
|
|
Chapter 3: The Semantics of Special Quantifiers in Predicate Position.Friederike Moltmann - 2012 - In Abstract Objects and the Semantics of Natural Language. Oxford, United Kingdom: Oxford University Press.details
|
|
Articulating Reasons: An Introduction to Inferentialism.Robert Brandom - 2002 - Philosophical Quarterly 52 (206):123-125.details
|
|
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.details
|
|
(4 other versions)What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell (eds.), What is a Theory of Meaning? Oxford: Clarendon Press.details
|
|
(1 other version)Articulating reasons: an introduction to inferentialism.Robert Brandom - 2000 - Cambridge: Harvard University Press.details
|
|
Inferentialism, logicism, harmony, and a counterpoint.Neil Tennant - manuscriptdetails
|
|
Robert B. Brandom, Articulating Reasons (An Introduction to Inferentialism). [REVIEW]Robert B. Brandom - 2001 - Erkenntnis 55 (1):121-127.details
|
|
Proof-theoretic semantics for a natural language fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.details
|
|
The Fundamental Problem of General Proof Theory.Dag Prawitz - 2019 - Studia Logica 107 (1):11-29.details
|
|
(1 other version)Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.details
|
|
The grammar of intentionality.Richard Larson - 2002 - In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Oxford, England: Oxford University Press. pp. 228--62.details
|
|
(4 other versions)What is a theory of meaning?Michael A. E. Dummett - 1975 - In Samuel D. Guttenplan (ed.), Mind and language. Oxford [Eng.]: Clarendon Press.details
|
|
Intensional verbs and quantifiers.Friederike Moltmann - 1997 - Natural Language Semantics 5 (1):1-52.details
|
|