Aristotelova sylogistická logika jako teorie aritmetického typu

0585016 - FLÚ 2025 RIV CZ cze J - Journal Article
Kvasz, Ladislav
Aristotelova sylogistická logika jako teorie aritmetického typu.
[Aristotle’s Syllogistic Logic as a Theory of an Arithmetic Kind.]
Filosofický časopis. Roč. 72, č. 1 (2024), s. 3-22. ISSN 0015-1831
Institutional support: RVO:67985955
Keywords : Aristotelian logic * relational synthesis * compositional synthesis * deductive synthesis
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: <0.1, year: 2022
Method of publishing: Open access
https://doi.org/10.46854/fc.2024.1r.3

S Aristotelovou logikou je spojen určitý paradox. Na jedné straně je teorie sylogismů obecně považována za první systém formální logiky v dějinách, ale na straně druhé tuto logiku nepoužívali antičtí učenci jako Euklidés, Archimédes nebo Ptolemaios a nepoužíval ji ani sám Aristoteles ve svých přírodovědných spisech. Cílem této stati je pokusit se tento paradox objasnit prostřednictvím analýzy epistemologické struktury jazyka, v němž je Aristotelova logika formulována. V prvních dvou oddílech představíme pojmy relační, skladební a deduktivní syntéza a fenomenální, ontologická a kauzální redukce jazyka. Na základě těchto pojmů pak rozlišíme tři druhy teorií - teorie fyzikálního typu, teorie matematického typu a teorie aritmetického typu. Pokusíme se ukázat, že sylogistická logika je teorií aritmetického typu. Je-li náš výklad správný, ukazuje, proč tvůrci moderní vědy museli aristotelskou logiku a na ní založenou metodologii odmítnout.

A certain paradox is associated with Aristotle’s logic. The theory of syllogisms is, on the one hand, generally considered to be the first system of formal logic in history, but, on the other hand, this logic was not used by such ancient scholars as Euclid, Archimedes or Ptolemy, and Aristotle himself did not use it in his writings about natural science. The objective of this article is to attempt to clarify this paradox by means of an analysis of the epistemological structure of the language in which Aristotle’s logic is formulated. In the first two sections, we will introduce the concepts of relational, compositional and deductive synthesis and the phenomenal, ontological and causal reduction of language. On the basis of these concepts, we distinguish theories of three kinds – physical theories, mathematical theories and arithmetical theories. We will try to show that syllogistic logic is a theory of the arithmetical kind. If our interpretation is correct, it shows why the creators of modern science had to reject Aristotelian logic and the methodology based on it.
Permanent Link: https://hdl.handle.net/11104/0352969