- Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
Fitch's Paradox of Knowability.Berit Brogaard & Joe Salerno - 2010 - The Stanford Encyclopedia of Philosophy.details
|
|
Abstract.[author unknown] - 1998 - Studies in History and Philosophy of Science Part A 29 (2):299-303.details
|
|
Realism.Michael Dummett - 2004 - In Tim Crane & Katalin Farkas (eds.), Metaphysics: A Guide and Anthology. Oxford University Press UK.details
|
|
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.details
|
|
Mathematische grundlagenforschung: intuitionismus, beweistheorie.A. Heyting - 1934 - Berlin,: J. Springer.details
|
|
Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
Intuitionistic Type Theory.Per Martin-Löf - 1980 - Bibliopolis.details
|
|
Provability logics with quantifiers on proofs.Rostislav E. Yavorsky - 2001 - Annals of Pure and Applied Logic 113 (1-3):373-387.details
|
|
Two incomplete anti-realist modal epistemic logics.Timothy Williamson - 1990 - Journal of Symbolic Logic 55 (1):297-314.details
|
|
On the paradox of knowability.Timothy Williamson - 1987 - Mind 96 (382):256-261.details
|
|
Intuitionism Disproved?Timothy Williamson - 1982 - Analysis 42 (4):203--7.details
|
|
The intended interpretation of intuitionistic logic.Scott Weinstein - 1983 - Journal of Philosophical Logic 12 (2):261 - 270.details
|
|
Diamonds are a philosopher's best friends.Heinrich Wansing - 2002 - Journal of Philosophical Logic 31 (6):591-612.details
|
|
Constructions, proofs and the meaning of logical constants.Göran Sundholm - 1983 - Journal of Philosophical Logic 12 (2):151 - 172.details
|
|
The Basic Intuitionistic Logic of Proofs.Sergei Artemov & Rosalie Iemhoff - 2007 - Journal of Symbolic Logic 72 (2):439 - 451.details
|
|
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.details
|
|
Problems for a generalization of a verificationist theory of meaning.Dag Prawitz - 2002 - Topoi 21 (1-2):87-92.details
|
|
Meaning and proofs: On the conflict between classical and intuitionistic logic.Dag Prawitz - 1977 - Theoria 43 (1):2--40.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Fitch and intuitionistic knowability.Philip Percival - 1990 - Analysis 50 (3):182-187.details
|
|
Bivalence: Meaning theory vs metaphysics.Peter Pagin - 1998 - Theoria 64 (2-3):157-186.details
|
|
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details
|
|
Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.details
|
|
The coherence of antirealism.Charles McCarty - 2006 - Mind 115 (460):947-956.details
|
|
Verificationism Then and Now.Per Martin-löf - 1995 - Vienna Circle Institute Yearbook 3:187-196.details
|
|
Temporal and atemporal truth in intuitionistic mathematics.Enrico Martino & Gabriele Usberti - 1994 - Topoi 13 (2):83-92.details
|
|
The knowability paradox and the prospects for anti-realism.Jonathan Kvanvig - 1995 - Noûs 29 (4):481-500.details
|
|
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.details
|
|
Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.details
|
|
Per Martin-Löf. Intuitionistic type theory. Studies in proof theory. Bibliopolis, Naples1984, ix + 91 pp. [REVIEW]W. A. Howard - 1986 - Journal of Symbolic Logic 51 (4):1075-1076.details
|
|
Knowledge and necessity.W. D. Hart & Colin McGinn - 1976 - Journal of Philosophical Logic 5 (2):205 - 208.details
|
|
Knowability and epistemic truth.M. Hand - 2003 - Australasian Journal of Philosophy 81 (2):216 – 228.details
|
|
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.details
|
|
A quantified logic of evidence.Melvin Fitting - 2008 - Annals of Pure and Applied Logic 152 (1):67-83.details
|
|
A logical analysis of some value concepts.Frederic Fitch - 1963 - Journal of Symbolic Logic 28 (2):135-142.details
|
|
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.details
|
|
The paradox of knowability.Dorothy Edgington - 1985 - Mind 94 (376):557-568.details
|
|
Victor's error.Michael Dummett - 2001 - Analysis 61 (1):1–2.details
|
|
"Victor's Error".Michael Dummett - 2001 - Analysis 61 (1):1-2.details
|
|
Truth from the constructive standpoint.Michael Dummett - 1998 - Theoria 64 (2-3):122-138.details
|
|
Realism.Michael Dummett - 1982 - Synthese 52 (1):145--165.details
|
|
A paradox regained.D. Kaplan & R. Montague - 1960 - Notre Dame Journal of Formal Logic 1 (3):79-90.details
|
|
What can we learn from the paradox of knowability?Cesare Cozzo - 1994 - Topoi 13 (2):71--78.details
|
|
Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Journal of Symbolic Logic 14 (2):132-133.details
|
|
Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.details
|
|
The Epistemology of Abstract Objects.D. A. Bell & W. D. Hart - 1979 - Aristotelian Society Supplementary Volume 53 (1):135-166.details
|
|
The Epistemology of Abstract Objects.David Bell & W. D. Hart - 1979 - Aristotelian Society Supplementary Volume 53 (1):135-166.details
|
|
Foundations of Constructive Mathematics. Metamathematical Studies.Michael J. Beeson - 1987 - Journal of Symbolic Logic 52 (1):278-279.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|