- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation.Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli & Chris Reed - 2017 - Artificial Intelligence 246 (C):181-219.details
|
|
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.details
|
|
Contractions of noncontractive consequence relations.Rohan French & David Ripley - 2015 - Review of Symbolic Logic 8 (3):506-528.details
|
|
Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals.Matthew Inglis & Andrew Aberdein - 2015 - Philosophia Mathematica 23 (1):87-109.details
|
|
Irreflexivity and Aristotle's Syllogismos.M. Duncombe - 2014 - Philosophical Quarterly 64 (256):434-452.details
|
|
Pluralism and Proofs.Greg Restall - 2014 - Erkenntnis 79 (S2):279-291.details
|
|
Truth without contra(di)ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.details
|
|
Harmony, Purity, Simplicity and a “Seemingly Magical Fact”.Peter Milne - 2002 - The Monist 85 (4):498-534.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology, and Philosophy of Science. College Publications.details
|
|
Free assumptions and the liar paradox.Patrick Greenough - 2001 - American Philosophical Quarterly 38 (2):115 - 135.details
|
|
Harmony and autonomy in classical logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.details
|
|
(1 other version)Scorekeeping in a language game.David Lewis - 1979 - Journal of Philosophical Logic 8 (1):339--359.details
|
|
Making It Explicit: Reasoning, Representing, and Discursive Commitment.Robert Brandom - 1994 - Cambridge, Mass.: Harvard University Press.details
|
|
A Dialogical Account of Deductive Reasoning as a Case Study for how Culture Shapes Cognition.Catarina Dutilh Novaes - 2013 - Journal of Cognition and Culture 13 (5):459-482.details
|
|
Naive Validity, Internalization, and Substructural Approaches to Paradox.Lucas Rosenblatt - 2017 - Ergo: An Open Access Journal of Philosophy 4.details
|
|
Making it Explicit: Reasoning, Representing, and Discursive Commitment.Robert Kirk - 1996 - Philosophical Quarterly 46 (183):238-241.details
|
|
Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.details
|
|
Reductio ad absurdum from a dialogical perspective.Catarina Dutilh Novaes - 2016 - Philosophical Studies 173 (10):2605-2628.details
|
|
Arguing for inconsistency: dialectical games in the academy.B. Castelnérac & M. Marion - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications.details
|
|
(1 other version)Proofs of the Compactness Theorem.Alexander Paseau - 2010 - History and Philosophy of Logic 31 (1):73-98.details
|
|
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History.Reviel Netz - 1999 - Cambridge and New York: Cambridge University Press.details
|
|
The Shaping of Deduction in Greek Mathematics: A Study in Coginitive History. [REVIEW]Jenz Høyrup - 2005 - Studia Logica 80 (1):143-147.details
|
|
Syllogistic.E. Kapp - 1975 - In Jonathan Barnes, Malcolm Schofield & Richard Sorabji (eds.), Articles on Aristotle. London: Duckworth. pp. 1--35.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Principles for Object-Linguistic Consequence: from Logical to Irreflexive.Carlo Nicolai & Lorenzo Rossi - 2018 - Journal of Philosophical Logic 47 (3):549-577.details
|
|
Spandrels of truth.Jc Beall - 2010 - Bulletin of Symbolic Logic 16 (2):284-286.details
|
|
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.details
|
|
Logic without contraction as based on inclusion and unrestricted abstraction.Uwe Petersen - 2000 - Studia Logica 64 (3):365-403.details
|
|
Why do mathematicians re-prove theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.details
|
|
Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.Sharon Shoham & Nissim Francez - 2008 - Studia Logica 90 (2):161-188.details
|
|
(1 other version)Dialectic and logic in Aristotle and his tradition.Matthew Duncombe & Catarina Dutilh Novaes - 2016 - History and Philosophy of Logic 37 (1):1-8.details
|
|
A Dialogical, Multi‐Agent Account of the Normativity of Logic.Catarina Dutilh Novaes - 2015 - Dialectica 69 (4):587-609.details
|
|
Mathemetical Explanation.Christopher Pincock & Paolo Mancosu - 2012 - Oxford Bibliographies in Philosophy.details
|
|
(3 other versions)Proofs and Refutations: The Logic of Mathematical Discovery.Imre Lakatos, John Worrall & Elie Zahar - 1978 - Mind 87 (346):314-316.details
|
|
The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.details
|
|
Intuitionistic Games: Determinacy, Completeness, and Normalization.Paweł Urzyczyn - 2016 - Studia Logica 104 (5):957-1001.details
|
|
(1 other version)Freeing assumptions from the liar paradox.Stephen Read - 2003 - Analysis 63 (2):162–166.details
|
|
Early examples of resource-consciousness.Victor Pambuccian - 2004 - Studia Logica 77 (1):81 - 86.details
|
|
(1 other version)Freeing assumptions from the Liar paradox.S. Read - 2003 - Analysis 63 (2):162-166.details
|
|
Fixed Points for Consequence Relations.Toby Meadows - unknowndetails
|
|
(1 other version)Dialectic and logic in Aristotle and his tradition.Matthew Duncombe & Catarina Dutilh Novaes - 2016 - History and Philosophy of Logic 37 (1):1-8.details
|
|
(2 other versions)Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.details
|
|
Breaking the chains : following-from and transitivity.Elia Zardini - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, England: Oxford University Press.details
|
|