References
Allo, Patrick. 2017. “A Constructionist Philosophy of Logic.” Minds and Machines 27(3): 545–564, doi:10.1007/s11023-017-9430-9.
Anderson, Alan Ross and Belnap, Nuel D., Jr. 1975. Entailment: The Logic of Relevance and Necessity. Volume 1. Princeton, New Jersey: Princeton University Press.
Barrio, Eduardo Alejandro, Pailos, Federico Matı́as and Szmuc, Damian. 2021. “Substructural Logics, Pluralism and Collapse.” Synthese 198(suppl. 20): 4991–5007, doi:10.1007/s11229-018-01963-3.
Barrio, Eduardo Alejandro, Rosenblatt, Lucas and Tajer, Diego. 2015. “The Logics of Strict-Tolerant Logic.” The Journal of Philosophical Logic 44(5): 551–571, doi:10.1007/s10992-014-9342-6.
Beall, J. C. 2013. “LP+, K3+, FDE+, and Their ‘Classical Collapse’ .” The Review of Symbolic Logic 6(4): 742–754, doi:10.1017/s1755020313000142.
Beall, J. C. 2019. “Christ – A Contradiction: A Defense of Contradictory Christology.” The Journal of Analytic Theology 7: 400–433, doi:10.12978/jat.2019-7.090202010411.
Belnap, Nuel D., Jr. 1977. “A Useful Four-Valued Logic.” in Modern Uses of Multiple-Valued Logic: Invited Papers From the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13–16, 1975, edited by Michael J. Dunn and George Epstein, pp. 8–40. Episteme n. 2. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-1161-7_2.
Brandom, Robert B. 1994. Making It Explicit: Reasoning, Representing, and Discursive Commitment. Cambridge, Massachusetts: Harvard University Press.
Brandom, Robert B. 2000. Articulating Reasons: An Introduction to Inferentialism. Cambridge, Massachusetts: Harvard University Press, doi:10.2307/j.ctvjghvz0.
Brun, Georg. 2004. Die richtige Formel. Philosophische Probleme der logischen Formalisierung. 2nd ed. Heusenstamm b. Frankfurt: Ontos Verlag. First edition: Brun (2003).
Brun, Georg. 2013. “Rival Logics, Disagreement and Reflective Equilibrium.” in Epistemology: Contexts, Values, Disagreement. Proceedings of the 34th International Ludwig Wittgenstein Symposium in Kirchberg, 2011, edited by Christoph Jäger and Winfried Löffler, pp. 355–369. Publications of the Austrian Ludwig Wittgenstein Society (new series) n. 19. Berlin: de Gruyter, doi:10.1515/9783110329018.355.
Brun, Georg. 2014. “Reconstructing Arguments – Formalization and Reflective Equilibrium.” in Theory and Practice of Logical Reconstruction. Anselm as a Model Case, edited by Friedrich Reinmuth, Geo Siegwart, and Christian Tapp, pp. 94–129. Logical Analysis and History of Philosophy n. 17. Münster: Mentis Verlag.
Cath, Yuri. 2016. “Reflective Equilibrium.” in The Oxford Handbook of Philosophical Methodology, edited by Herman Cappelen, Tamar Szabó Gendler, and John Hawthorne, pp. 213–230. Oxford Handbooks. Oxford: Oxford University Press, doi:10.1093/oxfordhb/9780199668779.013.32.
Cobreros, Pablo, Egré, Paul, Ripley, David and van Rooij, Robert. 2012. “Tolerant, Classical, Strict.” The Journal of Philosophical Logic 41(2): 347–385, doi:10.1007/s10992-010-9165-z.
Cobreros, Pablo, Egré, Paul, Ripley, David and van Rooij, Robert. 2013. “Reaching Transparent Truth.” Mind 122(488): 841–866, doi:10.1093/mind/fzt110.
Dicher, Bogdan. 2016. “Weak Disharmony: Some Lessons for Proof-Theoretic Semantics.” The Review of Symbolic Logic 9(3): 583–602, doi:10.1017/s1755020316000162.
Dicher, Bogdan. 2020. “Hopeful Monsters: A Note on Multiple Conclusions.” Erkenntnis 85(1): 77–98, doi:10.1007/s10670-018-0019-3.
Dicher, Bogdan and Paoli, Francesco. 2019. “ST, LP and Tolerant Metainferences.” in Graham Priest on Dialetheism and Paraconsistency, edited by Can Başkent and Thomas Macaulay Ferguson, pp. 383–408. Cham: Springer Nature, doi:10.1007/978-3-030-25365-3_18.
Dicher, Bogdan and Paoli, Francesco. 2021. “The Original Sin of Proof-Theoretic Semantics.” Synthese 198(1): 615–640, doi:10.1007/s11229-018-02048-x.
Dummett, Michael A. E. 1991. The Logical Basis of Metaphysics. London: Gerald Duckworth & Co.
Eklund, Matti. 1996. “How Logic Became First-Order.” Nordic Journal of Philosophy 1(2): 147–167, https://www.hf.uio.no/ifikk/english/research/publications/journals/njpl/files/vol1no2/howlogic.pdf.
Francez, Nissim. 2015. Proof-Theoretic Semantics. Studies in Logic n. 57. London: College Publications.
Gentzen, Gerhard. 1935. “Untersuchungen über das logische Schliessen.” Mathematische Zeitschrift 39: 176–210, 405–431. Republished as Gentzen (1969), doi:10.1007/BF01201353.
Girard, Jean-Yves. 1976. Three-Valued Logic and Cut-Elimination: The Actual Meaning of Takeuti’s Conjecture. Warszawa: Państwow Wydawnictwo Naukowe (PWN).
Goodman, Nelson. 1955. Fact, Fiction and Forecast. Cambridge, Massachusetts: Harvard University Press.
Gratzl, Norbert and Orlandelli, Eugenio. 2017. “Double-Line Harmony in a Sequent Setting.” in The Logica Yearbook 2016, edited by Pavel Arazim and Tomáš Lávička, pp. 157–171. London: College Publications.
Hjortland, Ole Thomassen. 2013. “Logical Pluralism, Meaning-Variance, and Verbal Disputes.” Australasian Journal of Philosophy 91(2): 355–373, doi:10.1080/00048402.2011.648945.
Hjortland, Ole Thomassen. 2017. “Anti-Exceptionalism About Logic.” Philosophical Studies 174(3): 631–658, doi:10.1007/s11098-016-0701-8.
Kelly, Thomas and McGrath, Sarah. 2010. “Is Reflective Equilibrium Enough?” in Philosophical Perspectives 24: Epistemology, edited by John Hawthorne, pp. 325–359. Hoboken, New Jersey: John Wiley; Sons, Inc., doi:10.1111/j.1520-8583.2010.00195.x.
Kleene, Stephen Cole. 1952. Introduction to Metamathematics. New York: Van Nostrand Reinhold.
McGee, Vann. 1985. “A Counterexample to Modus Ponens.” The Journal of Philosophy 82(9): 462–471, doi:10.2307/2026276.
McPherson, Tristram. 2015. “The Methodological Irrelevance of Reflective Equilibrium.” in The Palgrave Handbook of Philosophical Methods, edited by Christopher John Daly, pp. 652–674. London: Palgrave Macmillan, doi:10.1057/9781137344557_27.
Pawl, Timothy. 2016. In Defense of Conciliar Christology. A Philosophical Essay. Oxford Studies in Analytic Theology. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780198765929.001.0001.
Peregrin, Jaroslav and Svoboda, Vladimı́r. 2013. “Criteria for Logical Formalization.” Synthese 190(14): 2897–2924, doi:10.1007/s11229-012-0104-0.
Peregrin, Jaroslav and Svoboda, Vladimı́r. 2016. “Logical Formalization and the Formation of Logic(s).” Logique et Analyse 59(233): 55–80, doi:10.2143/LEA.233.0.3149531.
Peregrin, Jaroslav and Svoboda, Vladimı́r. 2017. Reflective Equilibrium and the Principles of Logical Analysis. Understanding the Laws of Logic. London: Routledge, doi:10.4324/9781315453934.
Prawitz, Dag. 1965. Natural Deduction: A Proof Theoretical Study. Stockholm Studies in Philosophy n. 3. Stockholm: Almqvist & Wiksell.
Prawitz, Dag. 1974. “On the Idea of a General Proof Theory.” Synthese 27(1-2): 63–77, doi:10.1007/bf00660889.
Priest, Graham. 1979. “The Logic of Paradox.” The Journal of Philosophical Logic 8(2): 219–241, doi:10.1007/bf00258428.
Priest, Graham. 2006. Doubt Truth to Be a Liar. Oxford: Oxford University Press, doi:10.1093/0199263280.001.0001.
Priest, Graham. 2014. “Revising Logic.” in The Metaphysics of Logic, edited by Penelope Rush, pp. 211–223. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139626279.016.
Quine, Willard van Orman. 1970. Philosophy of Logic. Cambridge, Massachusetts: Harvard University Press. Second edition: Quine (1986).
Rawls, John. 1971. A Theory of Justice. Cambridge, Massachusetts: Harvard University Press. Revised edition: Rawls (1999), doi:10.2307/j.ctvjf9z6v.
Read, Stephen. 2000. “Harmony and Autonomy in Classical Logic.” The Journal of Philosophical Logic 29(2): 123–154, doi:10.1023/a:1004787622057.
Ripley, David. 2012. “Conservatively Extending Classical Logic with Transparent Truth.” The Review of Symbolic Logic 5(2): 354–378, doi:10.1017/S1755020312000056.
Ripley, David. 2013. “Paradoxes and Failures of Cut.” Australasian Journal of Philosophy 91(1): 139–164, doi:10.1080/00048402.2011.630010.
Russell, Gillian K. 2014. “Metaphysical Analyticity and the Epistemology of Logic.” Philosophical Studies 171(1): 161–175, doi:10.1007/s11098-013-0255-y.
Schröder-Heister, Peter. 2018. “Proof-Theoretic Semantics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/.
Shapiro, Lionel. 2017. “LP, K3, and FDE as Substructural Logics.” in The Logica Yearbook 2016, edited by Pavel Arazim and Tomáš Lávička, pp. 257–272. London: College Publications.
Shapiro, Stewart. 1991. Foundations without Foundationalism: A Case for Second-Order Logic. Oxford Logic Guides n. 17. Oxford: Oxford University Press, doi:10.1093/0198250290.001.0001.
Shapiro, Stewart. 2000. “The Status of Logic.” in New Essays on the A Priori, edited by Paul Artin Boghossian and Christopher Peacocke, pp. 333–366. Oxford: Oxford University Press, doi:10.1093/0199241279.003.0014.
Steinberger, Florian. 2011. “Why Conclusions should Remain Single.” The Journal of Philosophical Logic 40(3): 333–355, doi:10.1007/s10992-010-9153-3.
Williamson, Timothy. 2007. The Philosophy of Philosophy. Oxford: Blackwell Publishers. Second edition: Williamson (2021), doi:10.1002/9780470696675.
Woods, Jack. 2019. “Against Reflective Equilibrium in Logical Theorizing.” Australasian Journal of Logic 16(7): 319–341, doi:10.26686/ajl.v16i7.5927.
Wright, Crispin. 1986. “Inventing Logical Necessity.” in Language, Mind and Logic, edited by Jeremy Butterfield, pp. 187–209. Cambridge: Cambridge University Press.
Further References
Brun, Georg. 2003. Die richtige Formel. Philosophische Probleme der logischen Formalisierung. Logos n. 2. Heusenstamm b. Frankfurt: Ontos Verlag. Second edition: Brun (2004), doi:10.1515/9783110323528.
Gentzen, Gerhard. 1969. Untersuchungen über das logische Schliessen. Darmstadt: Wissenschaftliche Buchgesellschaft.
Quine, Willard van Orman. 1986. Philosophy of Logic. 2nd ed. Cambridge, Massachusetts: Harvard University Press. First edition: Quine (1970).
Rawls, John. 1999. A Theory of Justice. Cambridge, Massachusetts: Harvard University Press, doi:10.2307/j.ctvkjb25m.
Williamson, Timothy. 2021. The Philosophy of Philosophy. 2nd ed. The Blackwell / Brown Lectures in Philosophy. Hoboken, New Jersey: Wiley-Blackwell. First edition: Williamson (2007), doi:10.1002/9781119616702.