La teoría del silogismo categórico, “uno de los más hermosos descubrimientos del espíritu humano” (Leibniz), es un sistema fijado por la tradición, deudor de la lógica de Aristóteles, la dialéctica medieval y el pensamiento moderno. Después de la fundación de la lógica matemática, aún se ha estudiado y sistematizado esta teoría, en relación con las otras lógicas asertóricas, y con la modal y temporal.
Jan Lukasiewicz (Elementy logiki matematycznej, Varsovia, 1929) reelaboró la teoría del silogismo con las técnicas de la nueva lógica, mediante dos tesis básicas de identidad para A (universal afirmativa) e I (particular afirmativa), dos equivalencias definitorias de las proposiciones categóricas negativas, E, O; y dos modos silogísticos primitivos: Barbara y Datisi, a los que reduce todos los demás, así como las inferencias inmediatas, tanto las basadas en las relaciones de oposición (contradictoridad, contrariedad, subalternación y subcontrariedad) como en la doctrina de la conversión.
Jan Lukasiewicz (Elementy logiki matematycznej, Varsovia, 1929) reelaboró la teoría del silogismo con las técnicas de la nueva lógica, mediante dos tesis básicas de identidad para A (universal afirmativa) e I (particular afirmativa), dos equivalencias definitorias de las proposiciones categóricas negativas, E, O; y dos modos silogísticos primitivos: Barbara y Datisi, a los que reduce todos los demás, así como las inferencias inmediatas, tanto las basadas en las relaciones de oposición (contradictoridad, contrariedad, subalternación y subcontrariedad) como en la doctrina de la conversión.
Entradas
