- Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
(1 other version)What the tortoise said to Achilles.Lewis Carroll - 1895 - Mind 4 (14):278-280.details
|
|
(1 other version)What The Tortoise Said To Achilles.Lewis Carroll - 1895 - Mind 104 (416):691-693.details
|
|
(1 other version)The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.details
|
|
(4 other versions)What is a Theory of Meaning? (II).Michael Dummett - 1976 - In Gareth Evans & John McDowell, What is a Theory of Meaning? Oxford: Clarendon Press.details
|
|
The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
(4 other versions)What is a theory of meaning?Michael Dummett - 1975 - In Samuel D. Guttenplan, Mind and language. Oxford [Eng.]: Clarendon Press.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos, Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.details
|
|
Knowledge of Logic.Paul Boghossian - 2000 - In Paul Artin Boghossian & Christopher Peacocke, New Essays on the A Priori. Oxford, GB: Oxford University Press.details
|
|
How Are Objective Epistemic Reasons Possible?Paul Boghossian - 2001 - Philosophical Studies 106 (1-2):1-40.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl, Logic, Methodology, and Philosophy of Science. College Publications.details
|
|
The justification of deduction.Susan Haack - 1976 - Mind 85 (337):112-119.details
|
|
(1 other version)Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.details
|
|
Logical consequence, proof theory, and model theory.Stewart Shapiro - 2005 - In Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 651--670.details
|
|
On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.details
|
|
(1 other version)Meaning and Proofs: On the Conflict between Classical and Intuitionistic Logic.Dag Prawitz - 1977 - Theroia 43:1--40..details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
Foundations Without Foundationalism: A Case for Second-Order Logic.Michael Potter - 1994 - Philosophical Quarterly 44 (174):127-129.details
|
|
Proof Theory and Meaning.B. G. Sundholm - unknowndetails
|
|
Dummett's justification of deduction.Susan Haack - 1982 - Mind 91 (362):216-239.details
|
|
What is the manifestation argument?Alexander Miller - 2002 - Pacific Philosophical Quarterly 83 (4):352–383.details
|
|
(1 other version)Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics.D. M. Gabbay - 1979 - Synthese 40 (2):353-373.details
|
|
Rule-Circularity and the Justification of Deduction.Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625 - 648.details
|
|