×

Reassessing logical hylomorphism and the demarcation of logical constants. (English) Zbl 1274.03009

Summary: 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.

MSC:

03A05 Philosophical and critical aspects of logic and foundations
03-03 History of mathematical logic and foundations
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alexander of Aphrodisias. (1991). On Aristotle’s prior analytics 1.1–7 (J. Barnes, S. Bobzien, K. Flannery, K. Ierodiakonou, Trans.). London: Duckworth.
[2] Barnes J. (1990) Logical form and logical matter. In: Alberti A. (eds) Logica, Mente e Persona. Leo S. Olschki, Florence, pp 7–119
[3] Barnes J. (2007) Truth etc. Oxford University Press, Oxford
[4] Bonnay D. (2008) Logicality and invariance. Bulletin of Symbolic Logic 14(1): 29–68 · Zbl 1146.03002 · doi:10.2178/bsl/1208358843
[5] Buridan, J. (1976). Tractatus de Consequentiis. H. Hubien (Ed.). Louvain: Publications Universitaires.
[6] Buridan J. (2001) Summulae de Dialectica (G. Klima, Trans.). Yale University Press, New Haven
[7] Cohen S. M. (1992) Hylomorphism and functionalism. In: Nussbaum M. C., Rorty A. O. (eds) Essays on Aristotle’s De Anima. Oxford University Press, Oxford, pp 57–73
[8] Corcoran, J. (2008). Schemata. In E. Zalta (Ed.), Stanford encyclopedia of philosophy. http://plato.stanford.edu/entries/schema/ .
[9] Dutilh Novaes C. (2005) Buridan’s consequentia: Consequence and inference within a token-based semantics. History and Philosophy of Logic 26(4): 277–297 · Zbl 1096.03002 · doi:10.1080/01445340500211173
[10] Ebbesen S. (1981a) Commentators and commentaries on Aristotle’s Sophistici elenchi, Vol. I (the Greek tradition). E. J. Brill, Leiden
[11] Ebbesen S. (1981b) Analyzing syllogisms or anonymus Aurelianensis III–the (presumably) earliest extant Latin commentary on the prior analytics, and its Greek model. CIMAGL 37: 1–20
[12] Etchemendy J. (1990) The concept of logical consequence. Harvard University Press, Cambridge, MA · Zbl 0743.03002
[13] Etchemendy J. (2008) Reflections on consequence. In: Patterson D. (eds) New essays on Tarski and philosophy. Oxford University Press, Oxford, pp 263–299
[14] Feferman S. (1999) Logic, logics, and logicism. Notre Dame Journal of Formal Logic 40(1): 31–54 · Zbl 0972.03005 · doi:10.1305/ndjfl/1039096304
[15] Gamut L. T. F. (1991) Logic, language, and meaning–Vol. 1: Introduction to logic. University of Chicago Press, Chicago · Zbl 1391.03003
[16] Gomez-Torrente M. (2002) The problem of logical constants. Bulletin of Symbolic Logic 8: 1–37 · Zbl 1018.03009 · doi:10.2178/bsl/1182353851
[17] Goodman N. (1955) Fact, fiction, and forecast. Harvard University Press, Cambridge, MA
[18] Johnston M. (2006) Hylomorphism. Journal of Philosophy 103(12): 652–699
[19] Koslicki K. (2006) Aristotle’s mereology and the status of forms. Journal of Philosophy 103(12): 715–736
[20] Lagerlund, H. (2004). Medieval theories of the syllogism. In E. Zalta (Ed.), Stanford encyclopedia of philosophy. http://plato.stanford.edu/entries/medieval-syllogism/ .
[21] MacFarlane, J. (2000), What does it mean to say that logic is formal? PhD Dissertation, University of Pittsburgh. http://johnmacfarlane.net/diss.html .
[22] MacFarlane, J. (2009), Logical constants. In E. Zalta (Ed.), Stanford encyclopedia of philosophy. http://plato.stanford.edu/entries/logical-constants/ . · JFM 19.0049.06
[23] McCarthy T. (1981) The idea of a logical constant. Journal of Philosophy 78: 499–523 · doi:10.2307/2026088
[24] Prior, A. (Ed.). (1976). What is logic? In Papers on logic and ethics (pp. 122–129). London: Duckworth.
[25] Rawls J. (1971) A theory of justice, 2nd edition 1999. Harvard University Press, Cambridge, MA
[26] Read S. (1995) Thinking about logic. Oxford University Press, Oxford
[27] Sher G. (2008) Tarski’s thesis. In: Patterson D. (eds) New essays on Tarski and philosophy. Oxford University Press, Oxford, pp 300–339
[28] Simons, P. (Ed.). (1992). Bolzano, Tarski, and the limits of logic. In Philosophy and logic in central Europe from Bolzano to Tarski (pp. 13–40). Dordrecht: Kluwer.
[29] Tarski, A. (1936/2002). On the concept of following logically. History and Philosophy of Logic, 23, 155–196. · Zbl 1030.03003
[30] Tarski, A. (1966/1986). What are logical notions? History and Philosophy of Logic, 7, 143–154.
[31] Thom P. (2007) Logic and ontology in the syllogistic of Robert Kilwardby. Brill, Leiden
[32] van Benthem J. (1989) Logical constants across varying types. Notre Dame Journal of Formal Logic 30: 315–342 · Zbl 0694.03023 · doi:10.1305/ndjfl/1093635152
[33] Wagner S. J. (1987) The rationalist conception of logic. Notre Dame Journal of Formal Logic 28: 3–35 · Zbl 0635.03002 · doi:10.1305/ndjfl/1093636843
[34] Warmbrod K. (1999) Logical constants. Mind 108: 503–538 · doi:10.1093/mind/108.431.503
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.