- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The hypothetical judgement in the history of intuitionistic logic
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Only published works are available at libraries.
My notes
Similar books and articles
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
Intuitionistic mathematics does not needex falso quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Philosophical Foundations of Intuitionistic Logic.L. Nabavi, M. A. Hojati & H. Alaeenezhad - 2013 - Metaphysics (University of Isfahan) 4 (14):51-64.
The judgement calculus for intuitionistic linear logic: Proof theory and semantics.Silvio Valentini - 1992 - Mathematical Logic Quarterly 38 (1):39-58.
Some Obstacles Facing a Semantic Foundation for Constructive Mathematics.Michael R. Koss - 2015 - Erkenntnis 80 (5):1055-1068.
Intuitionistic mathematics and wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
The first-order logic of CZF is intuitionistic first-order logic.Robert Passmann - 2024 - Journal of Symbolic Logic 89 (1):308-330.
Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
Choice sequences: a chapter of intuitionistic mathematics.Anne Sjerp Troelstra - 1977 - Oxford [Eng.]: Clarendon Press.
The Significance of Explanatory Considerations.Adam Grobler - 2004 - In Friedrich Stadler (ed.), Vienna Circle Institute Yearbook. Springer. pp. 53.
The Significance of Explanatory Considerations.Adam Grobler - 2004 - Vienna Circle Institute Yearbook 11:53-56.
Bishop's Mathematics: a Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
Intuitionism and philosophy.Carl Posy - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 319--355.
Analytics
Added to PP
2023-03-25
Downloads
10 (#1,197,378)
6 months
6 (#528,006)
2023-03-25
Downloads
10 (#1,197,378)
6 months
6 (#528,006)
Historical graph of downloads
Author's Profile
Citations of this work
L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction.Mark Van Atten & Göran Sundholm - 2017 - History and Philosophy of Logic 38 (1):24-47.
Anti-Realism and Anti-Revisionism in Wittgenstein’s Philosophy of Mathematics.Anderson Nakano - 2020 - Grazer Philosophische Studien 97 (3):451-474.
Reasoning about proof and knowledge.Steffen Lewitzka - 2019 - Annals of Pure and Applied Logic 170 (2):218-250.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-9vkzx uwo