Linked bibliography for the SEP article "Paraconsistent Logic" by Graham Priest, Koji Tanaka and Zach Weber
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
References
- Abe, Jair Minoro, Seiki Akama, and Kazumi Nakamatsu (eds.), 2015, Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning (Intelligent Systems Reference Library 88), Dordrecht: Springer. doi:10.1007/978-3-319-17912-4 (Scholar)
- Akama, Seiki (ed.), 2016, Towards Paraconsistent Engineering (Intelligent Systems Reference Library 110), Dordrecht: Springer. doi:10.1007/978-3-319-40418-9 (Scholar)
- Anderson, Alan Ross and Nuel D. Belnap, 1975, Entailment: The Logic of Relevance and Necessity, Volume 1, Princeton: Princeton University Press. (Scholar)
- Anderson, Alan Ross, Nuel D. Belnap, and J. Michael Dunn, 1992, Entailment: The Logic of Relevance and Necessity, Volume 2, Princeton: Princeton University Press. (Scholar)
- Andreas, Holger and Peter Verdée, 2016, Logical Studies of Paraconsistent Reasoning in Science and Mathematics (Trends in Logic 45), Dordrecht: Springer. doi:10.1007/978-3-319-40220-8 (Scholar)
- Arieli, Ofer and Arnon Arnon and Anna Zamansky, 2011, “Ideal Paraconsistent Logics”, Studia Logica, 99(1–3): 31–60. (Scholar)
- Arruda, Ayda I., 1977, “On the Imaginary Logic of N.A. Vasil’év”, in Arruda et al. 1977: 3–24. doi:10.1016/s0049-237x(08)70642-6 (Scholar)
- –––, 1989, “Aspects of the Historical Development of Paraconsistent Logic”, in Priest et al. 1989: 99–130. (Scholar)
- Arruda, Ayda I., Newton da Costa and R. Chuaqui (eds.), 1977, Non-Classical Logic, Model Theory and Computability (Studies in Logic and the Foundations of Mathematics 89), Amsterdam: North Holland. (Scholar)
- Asenjo, F.G., 1966, “A Calculus of Antinomies”, Notre Dame Journal of Formal Logic, 7(1): 103–105. doi:10.1305/ndjfl/1093958482 (Scholar)
- Asmus, Conrad, 2012, “Paraconsistency on the Rocks of Dialetheism”, Logique et Analyse, 55(217): 3–21. [Asmus 2012 available online] (Scholar)
- Avron, Arnon and Iddo Lev, 2005, “Non-deterministic Multi-valued Structures”, Journal of Logic and Computation, 15(3): 241–261. (Scholar)
- Barrio, Eduardo and Bruno Da Ré, 2018, “Paraconsistency and its philosophical interpretations”, Australasian Journal of Logic, 15(2): 151–170. (Scholar)
- Barrio, Eduardo and Walter Carnielli (eds.), 2020, Recovery Operators in Logics of formal inconsistency, special issue of the Logic Journal of the IGPL, 28(5). (Scholar)
- Batens, Diderik, 2001, “A General Characterization of Adaptive Logics”, Logique et Analyse, 44(173–175): 45–68. [Batens 2001 available online] (Scholar)
- –––, 2007, “A Universal Logic Approach to Adaptive Logics”, Logica Universalis, 1(1): 221–242. doi:10.1007/s11787-006-0012-5 (Scholar)
- –––, 2020, “Adaptive Fregean Set Theory”, Studia Logica, 108: 903–939. (Scholar)
- Batens, Diderik, Chris Mortensen, Graham Priest, and Jean-Paul van Bendegem (eds.), 2000, Frontiers of Paraconsistent Logic (Studies in Logic and Computation 8), Baldock, England: Research Studies Press. [First World Congress proceedings]; see also Logique & Analyse, Volume 41, Numbers 161–163. (Scholar)
- Beall, Jc, 2009, Spandrels of Truth, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199268733.001.0001 (Scholar)
- Beall, Jc, Michael Glanzberg and David Ripley, 2018, Formal Theories of Truth, Oxford: Oxford University Press. (Scholar)
- Belnap, Nuel D., Jr., 1992, “A Useful Four-valued Logic: How a computer should think”, Entailment: The Logic of Relevance and Necessity, Volume II, Alan Ross Anderson, Nuel D. Belnap, Jr, and J. Michael Dunn, Princeton: Princeton University Press; first appeared as “A Useful Four-valued Logic”, Modern Use of Multiple-valued Logic, J. Michael Dunn and George Epstein (eds.), Dordrecht: D. Reidel, 1977: 5–37, and “How a Computer Should Think”, Contemporary Aspects of Philosophy, Gilbert Ryle (ed.), Oriel Press, 1977: 30–. doi:10.1007/978-94-010-1161-7_2 (Scholar)
- Besnard, Philippe and Anthony Hunter (eds.), 1998, Reasoning with Actual and Potential Contradictions, (Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 2), Dordrecht: Kluwer Academic Publishers. doi:10.1007/978-94-017-1739-7 (Scholar)
- Beziau, Jean-Yves, Walter A. Carnielli, and Dov M. Gabbay (eds.), 2007, Handbook of Paraconsistency (Studies in Logic 9), London: College Publications. [Third World Congress proceedings] (Scholar)
- Beziau, Jean-Yves, Mihir Chakraborty, and Soma Dutta (eds.), 2015, New Directions in Paraconsistent Logic, Dordrecht: Springer. doi:10.1007/978-81-322-2719-9">10.1007/978-81-322-2719-9 [Fifth World Congress proceedings] (Scholar)
- Brady, Ross T., 1989, “The Non-Triviality of Dialectical Set Theory”, in Priest et al. 1989: 437–471. (Scholar)
- ––– (ed.), 2003, Relevant Logics and Their Rivals, Volume 2, Aldershot: Ashgate. (Scholar)
- –––, 2006, Universal Logic, Stanford, CA: CSLI Publications. (Scholar)
- Brown, Bryson, 2002, “On Paraconsistency”, in A Companion to Philosophical Logic, Dale Jacquette (ed.), Oxford: Blackwell, pp. 628–650. doI:10.1002/9780470996751. (Scholar)
- Brown, Bryson and Graham Priest, 2004, “Chunk and Permeate: A Paraconsistent Inference Strategy. Part 1: The Infinitesimal Calculus”, Journal of Philosophical Logic, 33(4): 379–388. doi:10.1023/b:logi.0000036831.48866.12 (Scholar)
- –––, 2015, “Chunk and Permeate II: Bohr’s Hydrogen Atom”, European Journal for Philosophy of Science, 5(3): 297–314. (Scholar)
- Carnielli, Walter A. and Marcelo Esteban Coniglio, 2016, Paraconsistent Logic: Consistency, Contradiction and Negation, Dordrecht: Springer. doi:10.1007/978-3-319-33205-5 (Scholar)
- Carnielli, Walter A., Marcelo E. Coniglio, and João Marcos, 2007, “Logics of Formal Inconsistency”, in Handbook of Philosophical Logic, Volume 14 (Second Edition), Dov M. Gabbay and Franz Guenthner (eds.), Berlin: Springer, pp. 15–107. doi:10.1007/978-1-4020-6324-4_1 (Scholar)
- Carnielli, Walter A., M. Coniglio, and Itala Maria Lof D’ottaviano (eds.), 2002, Paraconsistency: the Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics: Volume 228), Boca Raton: CRC Press. [Second World Congress proceedings] (Scholar)
- Carnielli, Walter and Abilio Rodrigues, 2021, “On Epistemic and Ontological Interpretations of Intuitionistic and Paraconsistent Paradigms”, Logic Journal of the IGPL, 29(4): 569–584. (Scholar)
- Chomsky, Noam, 1995, The Minimalist Program, Cambridge, MA: MIT Press. (Scholar)
- Colyvan, Mark, 2012, An Introduction to the Philosophy of Mathematics, Cambridge: Cambridge University Press. (Scholar)
- da Costa, Newton C.A., 1974, “On the Theory of Inconsistent Formal Systems”, Notre Dame Journal of Formal Logic, 15(4): 497–510. doi:10.1305/ndjfl/1093891487 (Scholar)
- da Costa, Newton C.A. and E.H. Alves, 1977, “Semantical Analysis of the Calculi \({\bf C}_{n}\)”, Notre Dame Journal of Formal Logic, 18(4): 621–630. doi:10.1305/ndjfl/1093888132 (Scholar)
- da Costa, Newton C.A. and L. Dubikajtis, 1977, “On Jaśkowski’s Discussive Logic”, in Arruda et al. 1977: 37–56. doi:10.1016/s0049-237x(08)70644-x (Scholar)
- da Costa, Newton C.A., V.S. Subrahmanian, and Carlo Vago, 1991, “The Paraconsistent Logics \(\mathrm{P}\mathcal{T}\)”, Zeitschrift für Mathematische Logic und Grundlangen der Mathematik, 37(9–12): 139–148. doi:10.1002/malq.19910370903 (Scholar)
- Dunn, J. Michael, 1976, “Intuitive Semantics for First Degree Entailment and ‘Coupled Trees’”, Philosophical Studies, 29(3): 149–68. doi:10.1007/bf00373152 (Scholar)
- Dunn, J. Michael and Greg Restall, 2002, “Relevance Logic”, Handbook of Philosophical Logic, Volume 6, second edition, Dov M. Gabbay and Franz Guenthner (eds.), Dordrecht: Kluwer Academic Publishers, pp. 1–136. (Scholar)
- Dunne, John D., 2004, Foundations of Dharmakīrti’s Philosophy, Boston: Wisdom Publications. (Scholar)
- Ferguson, Thomas Macaulay and Graham Priest (eds.), 2021, Robert Meyer and Relevant Arithmetic, special issue of the Australasian Journal of Logic, 18(5). (Scholar)
- Fine, Kit, 1974, “Models for Entailment”, Journal of Philosophical Logic, 3(4): 347–372. doi:10.1007/bf00257480 (Scholar)
- Girard, Patrick and Koji Tanaka, 2016, “Paraconsistent Dynamics”, Synthese, 193(1): 1–14. doi:10.1007/s11229-015-0740-2 (Scholar)
- Halldén, Sören, 1949, The Logic of Nonsense, Uppsala: A.-B. Lundequistska Bokhandeln. (Scholar)
- Hyde, Dominic, 1997, “From Heaps and Gaps to Heaps of Gluts”, Mind, 106(424): 641–660. doi:10.1093/mind/106.424.641 (Scholar)
- Incurvati, Luca, 2020, Conceptions of Set and the Foundations of Mathematics, Cambridge: Cambridge University Press. (Scholar)
- Jaśkowski, Stanisław, 1948 [1969], “Rachunek zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensi (Sectio A), 1(5): 55–77; an English translation appeared as “Propositional Calculus for Contradictory Deductive Systems”, Studia Logica, 24(1969): 143–157. (An updated translation by J. Perzanowski appeared in 1999 as “A Propositional Calculus for Inconsistent Deductive Systems”, Logic and Logical Philosophy, 7: 35–56. (Scholar)
- –––, 1949 [1999], “O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych”, Studia Societatis Scientiarum Torunensis (Sectio A), 1(8): 171–172; an English translation appeared as “On the Discussive Conjunction in the Propositional Calculus for Inconsistent Deductive Systems”, Logic and Logical Philosophy, 7(1999): 57–59. (Scholar)
- Jockwich, Santiago and Giorgio Venturi, 2021, “Non-classical models of ZF”, Studia Logica, 109: 509–537. (Scholar)
- Kamide, Norihiro and Heinrich Wansing, 2012, “Proof Theory of Nelson’s Paraconsistent Logic: A Uniform Perspective”, Theoretical Computer Science, 415: 1–38. doi:10.1016/j.tcs.2011.11.001 (Scholar)
- Libert, Thiery, 2005, “Models for a Paraconsistent Set Theory”, Journal of Applied Logic, 3(1): 15–41. doi:10.1016/j.jal.2004.07.010 (Scholar)
- Loparic, A., 1977, “Une étude semantique de quelques calculs propositionnels”, Comptes Rendus Hebdomadaires des Séances de l’Academie des Sciences, 284: 835–838. (Scholar)
- Löwe, Benedikt and Sourav Tarafder, 2015, “Generalized Algebra-Valued Models of Set Theory”, Review of Symbolic Logic, 8(1): 209–225. (Scholar)
- Łukasiewicz, Jan, 1951, Aristotle’s Syllogistic: From the Standpoint of Modern Formal Logic, Oxford: Oxford University Press. (Scholar)
- Mares, Edwin D., 2004, “‘Four-Valued’ Semantics for the Relevant Logic R”, Journal of Philosophical Logic, 33(3): 327–341. doi:10.1023/b:logi.0000031375.18295.30 (Scholar)
- Martin, Christopher J., 1986, “William’s Machine”, Journal of Philosophy, 83(10): 564–572. doi:10.2307/2026432 (Scholar)
- –––, 1987, “Embarrassing Arguments and Surprising Conclusions in the Development Theories of the Conditional in the Twelfth Century”, Gilbert De Poitiers Et Ses Contemporains, J. Jolivet, A. De Libera (eds.), Naples: Bibliopolis, pp. 377–401. (Scholar)
- –––, 1996, “Impossible Positio as the Foundation of Metaphysics or, Logic on the Scotist Plan?”, Vestigia, Imagines, Verba: Semiotics and Logic in Medieval Theological Texts, C. Marmo (ed.), Turnhout: Brepols, pp. 255–276. (Scholar)
- McGinnis, Nicholas D., 2013, “The Unexpected Applicability of Paraconsistent Logic: A Chomskyan Route to Dialetheism”, Foundations of Science, 18(4): 625–640. doi:10.1007/s10699-012-9294-7 (Scholar)
- Michael, Michaelis, 2016, “On a ‘most telling’ Argument for Paraconsistent Logic”, Synthese, 193(10): 3347–3362. doi:10.1007/s11229-015-0935-6 (Scholar)
- Mortensen, Chris, 1995, Inconsistent Mathematics, Dordrecht: Kluwer Academic Publishers. (Scholar)
- Omori, Hitoshi, 2015, “Remarks on Naive Set Theory Based on LP”, Review of Symbolic Logic, 8(2): 279–295. doi:10.1017/s1755020314000525 (Scholar)
- Omori, Hitoshi, and Jesse Alama, 2018, “Axiomatizing Jaśkowski’s Discussive Logic D2”, Studia Logica, 106(6):1163–1180. doi: 10.1007/s1122. (Scholar)
- Omori, Hitoshi, and Heinrich Wansing (eds.), 2017, 40 Years of FDE, special issue of Studia Logica, 105(6). (Scholar)
- ––– (eds.), 2019, Advances in Connexive Logic, special issue of Logic and Logical Philosophy, 28(3). (Scholar)
- Priest, Graham, 1979, “The Logic of Paradox”, Journal of Philosophical Logic, 8(1): 219–241. doi:10.1007/bf00258428 (Scholar)
- –––, 1987, In Contradiction: A Study of the Transconsistent, Dordrecht: Martinus Nijhoff; second edition, Oxford: Oxford University Press, 2006. (Scholar)
- –––, 2001, “Paraconsistent Belief Revision”, Theoria, 67(3): 214–228. doi:10.1111/j.1755-2567.2001.tb00204.x (Scholar)
- –––, 2002, “Paraconsistent Logic”, in Handbook of Philosophical Logic, second edition, volume 6, Dov M. Gabbay and Franz Guenthner (eds.), Dordrecht: Kluwer Academic Publishers, pp. 287–393. (Scholar)
- –––, 2003, “Inconsistent Arithmetic: Issues Technical and Philosophical”, in Trends in Logic: 50 Years of Studia Logica (Studia Logica Library, volume 21), V.F. Hendricks and J. Malinowski (eds.), Dordrecht: Kluwer Academic Publishers, pp. 273–99. (Scholar)
- –––, 2007, “Paraconsistency and Dialetheism”, in Handbook of the History of Logic, Volume 8, D. Gabbay and J. Woods (eds.), Amsterdam: North Holland, pp. 129–204. (Scholar)
- Priest, Graham, J.C. Beall and Bradley Armour-Garb (eds.), 2004, The Law of Non-Contradiction, Oxford: Oxford University Press. doi:10.1093/acprof:oso/9780199265176.001.0001 (Scholar)
- Priest, Graham, Richard Routley, and Jean Norman (eds.), 1989, Paraconsistent Logic: Essays on the Inconsistent, München: Philosophia Verlag. (Scholar)
- Priest, Graham and Richard Sylvan, 1992, “Simplified Semantics for Basic Relevant Logics”, Journal of Philosophical Logic, 21(2): 217–232. doi:10.1007/bf00248640 (Scholar)
- Rescher, Nicholas and Ruth Manor, 1970, “On Inference from Inconsistent Premises”, Theory and Decision, 1(2): 179–217. doi:10.1007/bf00154005 (Scholar)
- Restall, Greg, 1993, “Simplified Semantics for Relevant Logics (and some of their rivals)”, Journal of Philosophical Logic, 22(5): 481–511. doi:10.1007/bf01349561 (Scholar)
- –––, 1995, “Four-Valued Semantics for Relevant Logics (and some of their rivals)”, Journal of Philosophical Logic, 24(2): 139–160. doi:10.1007/bf01048529 (Scholar)
- Restall, Greg and John Slaney, 1995, “Realistic Belief Revision”, Proceedings of the Second World Conference in the Fundamentals of Artificial Intelligence, M. De Glas and Z. Pawlak (eds.), Paris: Angkor, pp. 367–378. (Scholar)
- Ripley, David, 2011, “Contradictions at the Borders”, in R. Nouwen, R. van Rooij, U. Sauerland & H.-C. Schmitz (eds.), Vagueness in Communication, Dordrecht: Springer, pp. 169–188. doi:10.1007/978-3-642-18446-8_10 (Scholar)
- –––, 2012, “Conservatively extending classical logic with transparent truth”, Review of Symbolic Logic, 5(2): 354–378. (Scholar)
- Routley, Richard and Robert K. Meyer, 1993, “Semantics of Entailment”, Truth, Syntax and Modality, H. Leblanc (ed.), Amsterdam: North Holland, pp. 194–243. (Scholar)
- Routley, Richard, Val Plumwood, Robert K. Meyer, and Ross T. Brady, 1982, Relevant Logics and Their Rivals, Volume 1, Ridgeview: Atascadero. (Scholar)
- Routley, Richard and Val Routley, 1972, “Semantics of First Degree Entailment”, Noûs, 6(4): 335–359. doi:10.2307/2214309 (Scholar)
- Schotch, P.K. and R.E. Jennings, 1980, “Inference and Necessity”, Journal of Philosophical Logic, 9(3): 327–340. doi:10.1007/bf00248398 (Scholar)
- Schotch, Peter, Bryson Brown, and Raymond Jennings (eds.), 2009, On Preserving: Essays on Preservationism and Paraconsistent Logic, Toronto: University of Toronto Press. (Scholar)
- Smiley T.J., 1959, “Entailment and Deducibility”, Proceedings of the Aristotelian Society, 59: 233–254. (Scholar)
- Subrahmanian, V.S., 1987, “On the Semantics of Qualitative Logic Programs”, Proc. 4th IEEE Symp. Logic Programming, San Francisco, CA: IEEE Computer Society Press, 178–182. (Scholar)
- Sylvan, Richard, 2000, “A Preliminary Western History of Sociative Logics”, in Sociative Logics and Their Applications: Essays by the late Richard Sylvan, Dominic Hyde and Graham Priest (eds.), Aldershot: Ashgate Publishers, pp. 53–138. (Scholar)
- Tanaka, Koji, 2003, “Three Schools of Paraconsistency”, The Australasian Journal of Logic, 1: 28–42. (Scholar)
- –––, 2005, “The AGM Theory and Inconsistent Belief Change”, Logique et Analyse, 48(189–192): 113–150. [Tanaka 2005 available online] (Scholar)
- Tanaka, Koji, Francesco Berto, Edwin Mares, and Francesco Paoli (eds.), 2013, Paraconsistency: Logic and Applications (Logic, Epistemology, and the Unity of Science 26), Dordrecht: Springer. doi:10.1007/978-94-007-4438-7">10.1007/978-94-007-4438-7 [Fourth World Congress proceedings] (Scholar)
- Tillemans, Tom J.F., 1999, Scripture, Logic, Language: Essays on Dharmakīrti and His Tibetan Successors, Boston: Wisdom Publications. (Scholar)
- –––, 2016, How Do Mādhyamikas Think?, Somerville MA: Wisdom Publications. (Scholar)
- Urquhart, Alasdair, 1972, “Semantics for Relevant Logics”, Journal of Symbolic Logic, 37(1): 159–169. doi:10.2307/2272559 (Scholar)
- Verdée, Peter, 2013, “Strong, Universal and Provably Non-trivial Set Theory by Means of Adaptive Logic”, Logic Journal of the IGPL, 21(1): 108–125. doi:10.1093/jigpal/jzs025 (Scholar)
- Wansing, Heinrich and Sergei Odinstov, 2016, “On the Methodology of Paraconsistent Logic”, in Andreas and Verdée 2016: 175–204. (Scholar)
- Weber, Zach, 2010a, “A Paraconsistent Model of Vagueness”, Mind, 119(476): 1025–1045. doi:10.1093/mind/fzq071 (Scholar)
- –––, 2010b, “Transfinite Numbers in Paraconsistent Set Theory”, Review of Symbolic Logic, 3(1): 71–92. doi:10.1017/s1755020309990281 (Scholar)
- –––, 2012, “Transfinite Cardinals in Paraconsistent Set Theory”, Review of Symbolic Logic, 5(2): 269–293. doi:10.1017/s1755020312000019 (Scholar)
- –––, 2021, Paradoxes and Inconsistent Mathematics, Cambridge: Cambridge University Press. (Scholar)
World Congress of Paraconsistency Volumes
- [First Congress] Batens, Diderik, Chris Mortensen, Graham Priest, and Jean-Paul van Bendegem (eds.), 2000, Frontiers of Paraconsistent Logic (Studies in Logic and Computation 8), Baldock, England: Research Studies Press. (Scholar)
- [Second Congress] Carnielli, Walter A., M. Coniglio, and Itala Maria Lof D’ottaviano (eds.), 2002, Paraconsistency: the Logical Way to the Inconsistent (Lecture Notes in Pure and Applied Mathematics: Volume 228), Boca Raton: CRC Press. (Scholar)
- [Third Congress] Beziau, Jean-Yves, Walter A. Carnielli, and Dov M. Gabbay (eds.), 2007, Handbook of Paraconsistency (Studies in Logic 9), London: College Publications. (Scholar)
- [Fourth Congress] Tanaka, Koji, Francesco Berto, Edwin Mares, and Francesco Paoli (eds.), 2013, Paraconsistency: Logic and Applications (Logic, Epistemology, and the Unity of Science 26), Dordrecht: Springer. doi:10.1007/978-94-007-4438-7 (Scholar)
- [Fifth Congress] Beziau, Jean-Yves, Mihir Chakraborty, and Soma Dutta (eds.), 2015, New Directions in Paraconsistent Logic, Dordrecht: Springer. doi:10.1007/978-81-322-2719-9 (Scholar)