Aristotelian logic is formal without being formalistic, whereas the logic of the Stoics is both formal and formalistic.
Jan Łukasiewicz
Malik, Marco (2015). "The Beginnings of Formal Logic: Deduction in Aristotle's Topics vs Prior Analytics", Phronesis, pp. 267-309.
TBFL aborda en primer lugar las nociones de forma y formal en los textos aristotélicos, en especial en los primeros analíticos y en los tópicos. Para Malik la importancia de los tratados aristotelicos referidos radica principalmente en las definiciones de deducción que aborda, ambas son idénticas pero difieren en la forma en la cual se presentan respecto al concepto formal.
Malik establece dentro de su trabajo los siguientes puntos:
a) traza una linea de investigación entre los conceptos de deducción y formal desde los tópicos.
B) establece las consideraciones metodológicas y conceptuales para entender la interacción entre los conceptos de deducción y formal.
C)en los primeros analíticos no se establece una relación entre las nociones de. Formal y simbólico.
d) la silogística no es formal en el sentido de ser formalizada ( Aristóteles no emplea lenguages formalizados).
Malik cita a Gisela Striker para señalar el punto central sobre la discusion formal/formalizada dentro de la obra lógica aristotélica.
"the crucial innovation . . . that makes syllogistic a formal system is the introduction of letters as placeholders for the terms’. ( Malik, Marco (2015). "The Beginnings of Formal Logic: Deduction in Aristotle's Topics vs Prior Analytics" pp 270).
Esta innovación creada por Aristóteles es la razón por la que se le atribuye la noción de formalidad por el uso de las letras esquemáticas.
