Mathematical Intuitionism and Intersubjectivity : A Critical Exposition of Arguments for Intuitionism /
This book is the first modern examination of the philosophical foundations of intuitionism since Oscar Becker's (1927) Mathematische Existenz. Placek examines the three most widely-known arguments for mathematical intuitionism: Brouwer's, Heyting's and Dummett's. The examination...
| Main Author: | Placek, Tomasz |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1999.
|
| Series: | Synthese library ;
279. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Physicalism in Mathematics /
by: Irvine, A. D.
Published: (1990)
by: Irvine, A. D.
Published: (1990)
Québec Studies in the Philosophy of Science : Part I: Logic, Mathematics, Physics and History of Science Essays in Honor of Hugues Leblanc /
by: Marion, Mathieu
Published: (1996)
by: Marion, Mathieu
Published: (1996)
Intuitionism ; an introduction.
by: Heyting, A. (Arend), 1898-
Published: (1966)
by: Heyting, A. (Arend), 1898-
Published: (1966)
The Lvov-Warsaw School and Contemporary Philosophy /
by: Kijania-Placek, Katarzyna
Published: (1998)
by: Kijania-Placek, Katarzyna
Published: (1998)
A Model-Theoretic Realist Interpretation of Science /
by: Ruttkamp, Emma
Published: (2002)
by: Ruttkamp, Emma
Published: (2002)
The Infinite in Mathematics : Logico-mathematical writings /
by: Kaufmann, Felix
Published: (1978)
by: Kaufmann, Felix
Published: (1978)
Experience, Reality, and Scientific Explanation : Essays in Honor of Merrilee and Wesley Salmon /
by: Galavotti, Maria Carla
Published: (1999)
by: Galavotti, Maria Carla
Published: (1999)
From Instrumentalism to Constructive Realism : On Some Relations between Confirmation, Empirical Progress, and Truth Approximation /
by: Kuipers, Theo A. F.
Published: (2000)
by: Kuipers, Theo A. F.
Published: (2000)
Inquiry as Inquiry: A Logic of Scientific Discovery /
by: Hintikka, Jaakko
Published: (1999)
by: Hintikka, Jaakko
Published: (1999)
Mathematical intuitionism : introduction to proof theory /
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)
Alfred Tarski and the Vienna Circle : Austro-Polish Connections in Logical Empiricism /
by: Woleński, Jan
Published: (1999)
by: Woleński, Jan
Published: (1999)
Doing Worlds with Words : Formal Semantics without Formal Metaphysics /
by: Peregrin, Jaroslav
Published: (1995)
by: Peregrin, Jaroslav
Published: (1995)
Intuitionism ; an introduction.
by: Heyting, A. (Arend), 1898-
Published: (1956)
by: Heyting, A. (Arend), 1898-
Published: (1956)
The Theory of Indistinguishables : a Search for Explanatory Principles Below the Level of Physics /
by: Parker-Rhodes, A. F.
Published: (1981)
by: Parker-Rhodes, A. F.
Published: (1981)
An Architectonic for Science : the Structuralist Program /
by: Balzer, Wolfgang
Published: (1987)
by: Balzer, Wolfgang
Published: (1987)
Principles of intuitionism /
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)
by: Troelstra, A. S. (Anne Sjerp)
Published: (1969)
Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God /
by: Driessen, Alfred
Published: (1997)
by: Driessen, Alfred
Published: (1997)
The Art of the Intelligible : an Elementary Survey of Mathematics in its Conceptual Development /
by: Bell, John L.
Published: (1999)
by: Bell, John L.
Published: (1999)
Intuitionism : an introduction /
Published: (1956)
Published: (1956)
Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Published: (1970)
Published: (1970)
Foundations: Logic, Language, and Mathematics /
by: Leblanc, Hugues
Published: (1984)
by: Leblanc, Hugues
Published: (1984)
The Logical Structure of Mathematical Physics /
by: Sneed, Joseph D.
Published: (1979)
by: Sneed, Joseph D.
Published: (1979)
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968 /
Published: (1970)
Published: (1970)
The Convergence of Scientific Knowledge : a view from the limit /
by: Hendricks, Vincent F.
Published: (2001)
by: Hendricks, Vincent F.
Published: (2001)
Truthlikeness for Multidimensional, Quantitative Cognitive Problems /
by: Kieseppä, I. A.
Published: (1996)
by: Kieseppä, I. A.
Published: (1996)
Essays on Mathematical and Philosophical Logic : Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 /
by: Hintikka, Jaakko
Published: (1978)
by: Hintikka, Jaakko
Published: (1978)
Mathematical Intuition : Phenomenology and Mathematical Knowledge /
by: Tieszen, Richard L.
Published: (1989)
by: Tieszen, Richard L.
Published: (1989)
Models and Methods in the Philosophy of Science: Selected Essays /
by: Suppes, Patrick
Published: (1993)
by: Suppes, Patrick
Published: (1993)
The Growth of Mathematical Knowledge /
by: Grosholz, Emily
Published: (2000)
by: Grosholz, Emily
Published: (2000)
Collected Papers on Epistemology, Philosophy of Science and History of Philosophy : Volume II /
by: Stegmüller, Wolfgang
Published: (1977)
by: Stegmüller, Wolfgang
Published: (1977)
Paradigms for Language Theory and Other Essays /
by: Hintikka, Jaakko
Published: (1998)
by: Hintikka, Jaakko
Published: (1998)
Collected Papers on Epistemology, Philosophy of Science and History of Philosophy : Volume I /
by: Stegmüller, Wolfgang
Published: (1977)
by: Stegmüller, Wolfgang
Published: (1977)
Treatise on Basic Philosophy : Ontology II: A World of Systems /
by: Bunge, Mario
Published: (1979)
by: Bunge, Mario
Published: (1979)
The Concept of Scientific Law in the Philosophy of Science and Epistemology : A Study of Theoretical Reason /
by: Hanzel, Igor
Published: (1999)
by: Hanzel, Igor
Published: (1999)
The Completeness of Scientific Theories : On the Derivation of Empirical Indicators within a Theoretical Framework: The Case of Physical Geometry /
by: Carrier, Martin
Published: (1994)
by: Carrier, Martin
Published: (1994)
Epistemology & Methodology I : Exploring the World /
by: Bunge, Mario, 1919-2020
Published: (1983)
by: Bunge, Mario, 1919-2020
Published: (1983)
Observability and Observation in Physical Science /
by: Kosso, Peter
Published: (1989)
by: Kosso, Peter
Published: (1989)
Logic, Foundations of Mathematics, and Computability Theory : Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975 /
by: Butts, Robert E.
Published: (1977)
by: Butts, Robert E.
Published: (1977)
A Precis of Mathematical Logic /
by: Bochenski, J. M.
Published: (1959)
by: Bochenski, J. M.
Published: (1959)
Optimum Inductive Methods : A Study in Inductive Probability, Bayesian Statistics, and Verisimilitude /
by: Festa, Roberto
Published: (1993)
by: Festa, Roberto
Published: (1993)