Is Logic Universal or Hierarchical

Some conceptions of logic claim that they are universal. By contrast, I assume that the applications of any logic are central to its conception, so that it has to comprise a hierarchy of its metalogics, metametalogics, …, indefinitely extended but never capped off with some universal logic. I also advocate for the distinction between parts and moments of a multitude as key to this conception, and I query the assumption that set theory provides the most general means of handling collections of objects.

[1]  Ivor Grattan-Guinness The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel , 2011 .

[2]  Lutz Straßburger What is a logic, and what is a proof ? , 2005 .

[3]  Henry M. Sheffer Principia Mathematica. Whitehead, Alfred North , Russell, Bertrand , 1926 .

[4]  K. Gödel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[5]  G. Priest Beyond the Limits of Thought , 1997 .

[6]  Dov M. Gabbay,et al.  Handbook of paraconsistency , 2007 .

[7]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[8]  E. J. Lowe,et al.  More Kinds of Being: A Further Study of Individuation, Identity, and the Logic of Sortal Terms , 2009 .

[9]  L. E. J. Brouwer,et al.  Over de Grondslagen der Wiskunde , 2009 .

[10]  L. Wittgenstein Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[11]  Barry Smith,et al.  Parts and Moments: Studies in Logic and Formal Ontology , 1985 .

[12]  P. Kleingeld,et al.  The Stanford Encyclopedia of Philosophy , 2013 .

[13]  Jan Dejnozka,et al.  The Concept of Relevance and the Logic Diagram Tradition , 2012, Logica Universalis.

[14]  E. Keenan Quantification in English is Inherently Sortal , 1999 .

[15]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[16]  F. Hausdorff Grundzüge der Mengenlehre , 1914 .

[17]  José M. Sagüillo Domains of Sciences, Universes of Discourse and Omega Arguments , 1999 .

[18]  Jon Barwise,et al.  Logical reasoning with diagrams , 1996 .

[19]  K. Popper,et al.  Conjectures and Refutations , 1963 .

[20]  I. Grattan-Guinness,et al.  How Bertrand Russell discovered his paradox , 1978 .

[21]  Jean-Yves Béziau,et al.  Logica Universalis: Towards a General Theory of Logic , 2007 .

[22]  I. Grattan-Guinness Despite Kempe, the Modest Place of Multisets and Multiclasses in Foundational Theories , 2015 .

[23]  A. M. Faerna Wittgenstein, L., Tractatus logico-philosophicus. , 1987 .

[24]  Hartry Field Saving Truth From Paradox , 2008 .