- 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
Essays on Gödel's Reception of Leibniz, Husserl, and Brouwer.M. Hartimo - 2016 - History and Philosophy of Logic 37 (3):297-299.
Revisiting Husserl's Philosophy of Arithmetic †I thank Mark van Atten for comments on this review.Richard Tieszen - 2006 - Philosophia Mathematica 14 (1):112-130.
Book Review: Mark van Atten. On Brouwer. [REVIEW]O. Bradley Bassler - 2006 - Notre Dame Journal of Formal Logic 47 (4):581-599.
Review: D. van Dantzig, On the Principles of Intuitionistic and Affirmative Mathematics. [REVIEW]Th Skolem - 1948 - Journal of Symbolic Logic 13 (3):173-173.
The judgement calculus for intuitionistic linear logic: Proof theory and semantics.Silvio Valentini - 1992 - Mathematical Logic Quarterly 38 (1):39-58.
A.S. TROELSTRA "Choice sequences. A chapter of intuitionistic mathematics". [REVIEW]R. E. Grandy - 1983 - History and Philosophy of Logic 4 (2):241.
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics.Ioannis M. Vandoulakis - 2022 - In Alex Citkin & Ioannis M. Vandoulakis (eds.), V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics. Springer, Outstanding Contributions To Logic (volume 24). pp. 247-270.
Analytics
Added to PP
2023-03-25
Downloads
12 (#1,094,846)
6 months
8 (#505,181)
2023-03-25
Downloads
12 (#1,094,846)
6 months
8 (#505,181)
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-6686886f5-kkm7k uwo