Reassessing logical hylomorphism and the demarcation of logical constants

The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in particular of the vexed issue of demarcating the class of logical constants. I begin with a characterization of currently widespread views on form and matter in logic, which I refer to as ‘logical hylomorphism as we know it’—LHAWKI, for short—and argue that the hylomorphism underlying LHAWKI is mereological. Next, I sketch an overview of the historical developments leading from Aristotelian, non-mereological metaphysical hylomorphism to mereological logical hylomorphism (LHAWKI). I conclude with a reassessment of the prospects for the combination of hylomorphism and logic, arguing in particular that LHAWKI is not the only and certainly not the most suitable version of logical hylomorphism. In particular, this implies that the project of demarcating the class of logical constants as a means to define the scope and nature of logic rests on highly problematic assumptions.

[1]  P. Thom Logic and Ontology in the Syllogistic of Robert Kilwardby , 2007 .

[2]  Catarina Dutilh Novaes,et al.  Buridan's Consequentia: Consequence and Inference Within a Token-Based Semantics , 2005 .

[3]  Johan van Benthem,et al.  Logical Constants Across Varying Types , 1989, Notre Dame J. Formal Log..

[4]  H. Lagerlund Medieval Theories of the Syllogism , 2004 .

[5]  Mario Gómez-Torrente,et al.  The Problem of Logical Constants , 2002, Bulletin of Symbolic Logic.

[6]  Alfred Tarski,et al.  On the Concept of Following Logically , 2002 .

[7]  Denis Bonnay,et al.  Logicality and Invariance , 2008, Bulletin of Symbolic Logic.

[8]  Jean Buridan,et al.  Summulae de dialectica , 2001 .

[9]  C. Allen,et al.  Stanford Encyclopedia of Philosophy , 2011 .

[10]  A. Tarski,et al.  What are logical notions , 1986 .

[11]  N. Goodman Fact, Fiction, and Forecast , 1955 .

[12]  Timothy G McCarthy,et al.  The Idea of a Logical Constant , 1981 .

[13]  M. Nussbaum,et al.  Essays on Aristotle's de Anima , 1993 .

[14]  J. Etchemendy Reflections on Consequence , 2008 .

[15]  Susanne Bobzien,et al.  Alexander of Aphrodisias' on Aristotle's Prior Analytics 1.1-7 , 1991 .

[16]  Stephen Read,et al.  Thinking about logic , 1994 .

[17]  G. Sher Tarski's Thesis , 2010 .

[18]  J. MacFarlane WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL , 2000 .

[19]  Solomon Feferman,et al.  Logic, Logics, and Logicism , 1999, Notre Dame J. Formal Log..

[20]  Steven J. Wagner,et al.  The rationalist conception of logic , 1987, Notre Dame J. Formal Log..

[21]  Douglas Patterson,et al.  New essays on Tarski and philosophy , 2008 .

[22]  J. Hintikka,et al.  What is Logic , 2007 .

[23]  J. Etchemendy The Concept of Logical Consequence , 1991 .

[24]  K. Koslicki Aristotle’s Mereology And The Status Of Form , 2006 .

[25]  S. Cohen Hylomorphism and Functionalism 1 , 1995 .

[26]  Ian Hacking,et al.  What is logic , 1979 .

[27]  Mj Frápolli,et al.  What are the logical constants , 2012 .

[28]  Peter Simons,et al.  Bolzano, Tarski, and the Limits of Logic , 1992 .