- Philosophy of Mathematics.Stewart Shapiro - 2003 - In Peter Clark & Katherine Hawley (eds.), Philosophy of science today. Oxford University Press UK.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
Abstract.[author unknown] - 1998 - Studies in History and Philosophy of Science Part A 29 (2):299-303.details
|
|
Grafting modalities onto substructural implication systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.details
|
|
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
The Logical Syntax of Language.Rudolph Carnap - 1936 - Philosophical Review 46 (5):549-553.details
|
|
Empiricism, Semantics, and Ontology.Rudolf Carnap - 2011 - In Robert B. Talisse & Scott F. Aikin (eds.), The Pragmatism Reader: From Peirce Through the Present. Princeton University Press. pp. 249-264.details
|
|
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.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
|
|
Semantic games with chance moves.Arcady Blinov - 1994 - Synthese 99 (3):311 - 327.details
|
|
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.details
|
|
Possible Worlds: A Fashionable Nonsense?Jean-Yves Beziau - 2018 - Proceedings of the XXIII World Congress of Philosophy 55:5-9.details
|
|
Classical negation can be expressed by one of its halves.J.-Y. Beziau - 1999 - Logic Journal of the IGPL 7 (2):145-151.details
|
|
From absolute to local mathematics.J. L. Bell - 1986 - Synthese 69 (3):409 - 426.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
|
|
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.details
|
|
An answer to Hellman's question: ‘Does category theory provide a framework for mathematical structuralism?’.Steve Awodey - 2004 - Philosophia Mathematica 12 (1):54-64.details
|
|
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1980 - In R. E. Butts & J. Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.details
|
|
Proofs and epistemic structure.Glen Helman - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 24.details
|
|
The impredicativity of induction.Charles Parsons - 1992 - In Michael Detlefsen (ed.), Proof, Logic and Formalization. London, England: Routledge. pp. 139--161.details
|
|
Knowledge of Language: Its Nature, Origin, and Use.Noam Chomsky - 1986 - Prager. Edited by Darragh Byrne & Max Kölbel.details
|
|
Abstract.[author unknown] - 2011 - Dialogue and Universalism 21 (4):447-449.details
|
|
Empiricism, Semantics and Ontology.Rudolf Carnap - 1950 - Revue Internationale de Philosophie 4 (11):20-40.details
|
|
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 1997 - Oxford, England: Oxford University Press USA.details
|
|
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.details
|
|
A general possible worlds framework for reasoning about knowledge and belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.details
|
|
Philosophy of Logic.W. V. O. Quine - 2005-01-01 - In José Medina & David Wood (eds.), Truth. Blackwell.details
|
|
Symbolic logic and its applications.Hugh MacColl - 1906 - Bombay,: Longmans, Green, and co..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
|
|
5. Pragmatics and Semiotics: The Peircean Version of Ontology and Epistemology.Kuno Lorenz - 2009 - In Logic, Language, and Method on Polarities in Human Experience: Philosophical Papers. De Gruyter. pp. 56-61.details
|
|
Is There a Problem About Substitutional Quantification?Saul A. Kripke - 1976 - In Gareth Evans & John Henry McDowell (eds.), Truth and meaning: essays in semantics. Oxford [Eng.]: Clarendon Press. pp. 324-419.details
|
|
Naturalizing mathematical methodology.Penelope Maddy - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Holistic mathematics.Michael D. Resnik - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 227--46.details
|
|
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: Routledge. Edited by Amethe Smeaton.details
|
|
An Inquiry Into Meaning and Truth.Bertrand Russell - 1940 - New York: Routledge.details
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
Aristotle's modal syllogisms.Storrs McCall - 1963 - Amsterdam,: North-Holland Pub. Co..details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Empiricism, Semantics, and Ontology.Rudolf Carnap - 1950 - Bobbs-Merrill.details
|
|
A Primer of Infinitesimal Analysis.John Lane Bell - 1998 - Cambridge University Press.details
|
|
Trois philosophes intuitionnistes: Epicure, Descartes et Kant.Jules Vuillemin - 1981 - Dialectica 35 (1):21-41.details
|
|