- From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
The runabout inference ticket.Arthur Prior - 1967 - In P. F. Strawson (ed.), Philosophical logic. London,: Oxford University Press. pp. 38-9.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
Logical consequence: Models and modality.Stewart Shapiro - 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. 131--156.details
|
|
Formalization of logic.Rudolf Carnap - 1943 - Cambridge, Mass.,: Harvard university press.details
|
|
Inferentialism: Why Rules Matter.Jaroslav Peregrin - 2014 - London and New York: Palgrave-Macmillan.details
|
|
Logical Investigations.Edmund Husserl - 1970 - London, England: Routledge. Edited by Dermot Moran.details
|
|
Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.details
|
|
From constants to consequence, and back.Dag Westerståhl - 2012 - Synthese 187 (3):957-971.details
|
|
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.Heinrich Wansing - 2000 - Studia Logica 64 (1):3-20.details
|
|
What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.details
|
|
Rejection.Timothy Smiley - 1996 - Analysis 56 (1):1–9.details
|
|
A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.details
|
|
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.details
|
|
Principles of reflection and second-order logic.Stewart Shapiro - 1987 - Journal of Philosophical Logic 16 (3):309 - 333.details
|
|
Logical consequence, proof theory, and model theory.Stewart Shapiro - 2005 - In Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 651--670.details
|
|
On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.details
|
|
Models and Logical Consequence.Gil Sagi - 2014 - Journal of Philosophical Logic 43 (5):943-964.details
|
|
Formal and material consequence.Stephen Read - 1994 - Journal of Philosophical Logic 23 (3):247 - 265.details
|
|
Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.details
|
|
On rules of inference and the meanings of logical constants.Panu Raatikainen - 2008 - Analysis 68 (4):282-287.details
|
|
Carnap and logical truth.Willard van Orman Quine - 1954 - Synthese 12 (4):350--74.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
The epistemic significance of valid inference.Dag Prawitz - 2012 - Synthese 187 (3):887-898.details
|
|
Remarks on some approaches to the concept of logical consequence.Dag Prawitz - 1985 - Synthese 62 (2):153 - 171.details
|
|
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.details
|
|
New essays on Tarski and philosophy.Douglas Patterson (ed.) - 2008 - New York: Oxford University Press.details
|
|
True Contradictions.Terence Parsons - 1990 - Canadian Journal of Philosophy 20 (3):335 - 353.details
|
|
Assertion, denial, and the liar paradox.Terence Parsons - 1984 - Journal of Philosophical Logic 13 (2):137 - 152.details
|
|
Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & J. H. Woodger (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.details
|
|
Inferentialism and the categoricity problem: Reply to Raatikainen.Julien Murzi & Ole Thomassen Hjortland - 2009 - Analysis 69 (3):480-488.details
|
|
Tarski on Logical Consequence.Mario Gómez-Torrente - 1996 - Notre Dame Journal of Formal Logic 37 (1):125-151.details
|
|
Making it Explicit.Isaac Levi & Robert B. Brandom - 1996 - Journal of Philosophy 93 (3):145.details
|
|
The concept of logical consequence.William H. Hanson - 1997 - Philosophical Review 106 (3):365-409.details
|
|
What is logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Vagueness, truth and logic.Kit Fine - 1975 - Synthese 30 (3-4):265-300.details
|
|
.Gilbert Harman - 2008 - Cambridge University Press.details
|
|
Consequence Mining: Constans Versus Consequence Relations.Denis Bonnay & Dag Westerståhl - 2012 - Journal of Philosophical Logic 41 (4):671-709.details
|
|
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.details
|
|
Multiple-conclusion lp and default classicality.Jc Beall - 2011 - Review of Symbolic Logic 4 (2):326-336.details
|
|
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.details
|
|
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.details
|
|
Philosophy of Logic.Hilary Putnam - 1971 - New York, NY, USA: Routledge.details
|
|
What Logics Mean: From Proof Theory to Model-Theoretic Semantics.James W. Garson - 2013 - New York: Cambridge University Press.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details
|
|
Varieties of Logic.Stewart Shapiro - 2014 - Oxford and New York: Oxford University Press.details
|
|
Foundations of Logical Consequence.Colin R. Caret & Ole T. Hjortland (eds.) - 2015 - Oxford, England: Oxford University Press.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|