- Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
The philosophy of quantum mechanics.Max Jammer - 1974 - New York,: Wiley. Edited by Max Jammer.details
|
|
The ways of paradox, and other essays.Willard Van Orman Quine (ed.) - 1976 - Cambridge: Harvard University Press.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|
Thinking about mathematics: the philosophy of mathematics.Stewart Shapiro - 2000 - New York: Oxford University Press.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
(1 other version)The principles of mathematics revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.details
|
|
An introduction to the philosophy of science.Rudolf Carnap - 1974 - New York: Dover Publications. Edited by Martin Gardner.details
|
|
(1 other version)Pursuit of truth.Willard Van Orman Quine - 1990 - Cambridge, Mass.: Harvard University Press.details
|
|
(1 other version)Frege.Michael Dummett - 1973 - Cambridge: Harvard University Press.details
|
|
(3 other versions)Perception and its objects.Peter F. Strawson - 1988 - In Jonathan Dancy (ed.), Perceptual knowledge. New York: Oxford University Press.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.details
|
|
(1 other version)Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.details
|
|
Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.details
|
|
Intensional Mathematics.Stuart Shapiro - 1991 - Studia Logica 50 (1):161-162.details
|
|
(3 other versions)Abstract.[author unknown] - 2011 - Dialogue and Universalism 21 (4):447-449.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
(1 other version)Intuitionistic logic as epistemic logic.Jaakko Hintikka - 2001 - Synthese 127 (1-2):7 - 19.details
|
|
Poincaré against the logicians.Michael Detlefsen - 1992 - Synthese 90 (3):349 - 378.details
|
|
Semantic games with chance moves.Arcady Blinov - 1994 - Synthese 99 (3):311 - 327.details
|
|
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.details
|
|
(2 other versions)Ontological relativity.W. V. O. Quine - 1968 - Journal of Philosophy 65 (7):185-212.details
|
|
What is required of a foundation for mathematics?John Mayberry - 1994 - Philosophia Mathematica 2 (1):16-35.details
|
|
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
Negation in logic and in natural language.Jaakko Hintikka - 2002 - Linguistics and Philosophy 25 (5-6):585-600.details
|
|
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.details
|
|
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.details
|
|
(1 other version)Hyperclassical logic (A.K.A. IF logic) and its implications for logical theory.Jaakko Hintikka - 2002 - Bulletin of Symbolic Logic 8 (3):404-423.details
|
|
Three varieties of mathematical structuralism.Geoffrey Hellman - 2001 - Philosophia Mathematica 9 (2):184-211.details
|
|
Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.details
|
|
Note on a property of matrices for Lewis and Langford's calculi of propositions.James Dugundji - 1940 - Journal of Symbolic Logic 5 (4):150-151.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.details
|
|
Causality and complementarity.Niels Bohr - 1937 - Philosophy of Science 4 (3):289-298.details
|
|
Category theory and the foundations of mathematics.J. L. Bell - 1981 - British Journal for the Philosophy of Science 32 (4):349-358.details
|
|
Structure in mathematics and logic: A categorical perspective.S. Awodey - 1996 - Philosophia Mathematica 4 (3):209-237.details
|
|
(1 other version)Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.details
|
|
(3 other versions)Perception and its Objects.Peter F. Strawson - 2000 - In Sven Bernecker & Fred I. Dretske (eds.), Knowledge: readings in contemporary epistemology. New York: Oxford University Press.details
|
|
On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498.details
|
|
Incompleteness, non locality and realism. A prolegomenon to the philosophy of quantum mechanics.Michael Redhead - 1987 - Revue Philosophique de la France Et de l'Etranger 180 (4):712-713.details
|
|
Frege: Philosophy of Mathematics.Michael DUMMETT - 1991 - Philosophy 68 (265):405-411.details
|
|
Pursuit of Truth.W. V. O. Quine - 1990 - Philosophy 65 (253):384-385.details
|
|
A Primer of Infinitesimal Analysis.John Lane Bell - 1998 - Cambridge University Press.details
|
|
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.details
|
|
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.details
|
|
Book Reviews. [REVIEW]B. Jacobs - 2001 - Studia Logica 69 (3):429-455.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|