- On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details
|
|
Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.details
|
|
Sheaf Representation for Topoi.Steve Awodey - unknowndetails
|
|
Verification and Inferentialism in Wittgenstein's Philosophy.José Medina - 2001 - Philosophical Investigations 24 (4):304-313.details
|
|
(1 other version)Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Modal logic and classical logic.Johan van Benthem - 1983 - Atlantic Highlands, N.J.: Distributed in the U.S.A. by Humanities Press.details
|
|
Poincaré against the logicians.Michael Detlefsen - 1992 - Synthese 90 (3):349 - 378.details
|
|
(1 other version)Logical paradoxes for many-valued systems.Moh Shaw-Kwei - 1954 - Journal of Symbolic Logic 19 (1):37-40.details
|
|
Structural relativity.Michael Resnik - 1996 - Philosophia Mathematica 4 (2):83-99.details
|
|
Category theory: The language of mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.details
|
|
(1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.details
|
|
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.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
|
|
(4 other versions)The Logical Syntax of Language.Rudolf Carnap - 1937 - London: Routledge. Edited by Amethe Smeaton.details
|
|
(1 other version)Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.details
|
|
(1 other version)Gonseth and Quine.Michael Esfeld - 2001 - Dialectica 55 (3):199-219.details
|
|
Symbolic logic and its applications.Hugh MacColl - 1906 - Bombay,: Longmans, Green, and co..details
|
|
(1 other version)Pursuit of Truth.W. V. O. Quine - 1990 - Philosophy 65 (253):384-385.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
(1 other version)Proof and Truth.Stewart Shapiro - 1998 - Journal of Philosophy 95 (10):493-521.details
|
|
(1 other version)Rede zwischen Aktion und Kognition.Kuno Lorenz - 2008 - In Dialogischer Konstruktivismus. Walter de Gruyter.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
|
|
Models for a paraconsistent set theory.Thierry Libert - 2005 - Journal of Applied Logic 3 (1):15-41.details
|
|
Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1-2):57-93.details
|
|
Game Logic - An Overview.Marc Pauly & Rohit Parikh - 2003 - Studia Logica 75 (2):165-182.details
|
|
The Fregean Axiom and Polish mathematical logic in the 1920s.Roman Suszko - 1977 - Studia Logica 36 (4):377-380.details
|
|
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.details
|
|
Language, Truth and Logic in Mathematics.Jaakko Hintikka - 2001 - Studia Logica 68 (3):412-415.details
|
|
Theory of Sets.Nicolas Bourbaki - 1975 - Journal of Symbolic Logic 40 (4):630-631.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
(1 other version)Philosophy of Mathematics.Stewart Shapiro - 2003 - In Peter Clark & Katherine Hawley (eds.), Philosophy of science today. New York: Oxford University Press.details
|
|
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
Games in Dynamic-Epistemic Logic.Johan van Benthem - unknowndetails
|
|
The philosophy of quantum mechanics.Max Jammer - 1974 - New York,: Wiley. Edited by Max Jammer.details
|
|
The taming of the true.Neil Tennant - 1997 - New York: Oxford University Press.details
|
|
Meaning and inference.Jaroslav Peregrin - 2003 - In Timothy Childers & Ondrej Majer (eds.), Logica Yearbook 2002. Filosofia.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
|
|
Science without reference?Felix Mühlhölzer - 1995 - Erkenntnis 42 (2):203 - 222.details
|
|
(1 other version)Intuitionistic logic as epistemic logic.Jaakko Hintikka - 2001 - Synthese 127 (1-2):7 - 19.details
|
|
(1 other version)Gonseth and Quine.Michael Esfeld - 2001 - Dialectica 55 (3):199–219.details
|
|
Semantic games with chance moves.Arcady Blinov - 1994 - Synthese 99 (3):311 - 327.details
|
|
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.details
|
|
A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.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
|
|
(1 other version)Modal Logics and Philosophy.Rod Girle - 2000 - [Durham]: Routledge.details
|
|
(1 other version)Deflationism and the Godel Phenomena.N. Tennant - 2002 - Mind 111 (443):551-582.details
|
|
IF and Epistemic Action Logic.Manuel Rebuschi - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 261--281.details
|
|
Logic of conversation as a logic of dialogue.Jaakko Hintikka - 1986 - In Richard E. Grandy & Richard Warner (eds.), Philosophical grounds of rationality: intentions, categories, ends. New York: Oxford University Press. pp. 259--276.details
|
|