In the parts I and II of this paper, the Author shows:1. how Leibniz’s arithmetico-intensional logical calculi of April 1679 can be completed and transformed (...) in an intensional Boolean algebra (U, v, &:, -, e, -e) admitting, on the one hand, two different logical interpretations:li1: as a complete and consistent calculus of terms (properties) and syllogistic;li2: as a deontic first-order calculus and, on the other hand, two different arithmetical interpretations:ai1: as a numerical Boolean algebra (DM, lcm, ged, M/..., 1, M) of all divisors of a natural number M;ai2: as a numerlcal Boolean algebra (BA, lcbc, gcbc, A-..., 0, A) of all binary components of a natural number A.Arithmetical representations of negation of a term x and of combination (intensional conjunction) and alternative (intensional disjunction) of two or more terms are respectively M/x, lcm (lower common multiple) and gcd (greatest common divisor) in the first Boolean algebra (ai1) and A-x, lcbc (lower common binary composite) and gcbc (greatest common binary component) in the second one (ai2).2. that, in this context, each possible world U of 2ⁿ elements (terms, acts) can be defined on the basis on n elements of U choosen as “saturated” (intensionally maximal, but possible) in U or, inversely, on the basis of n elements of U choosen as “primitive” (intensionally minimal, but not-universal) in U. In fact, each possible element of U can be defined now as an alternative of saturated elements of U, now as a combination of primitive (opposite to saturated) elements of U; all combinations of saturated elements of U being equivalent to the impossible element (-e, non-entity, resp. impossible act) of U and an alternatives of elements of U being equivalent to the universal element (e, entity, resp. possible act) of U.In the arithmetical representation of each possible world U, the maximal number M (for ai1) or A (for ai2) represents the impossible (non existent) element of U. Now, each possihle world defined by n saturated (resp. primitive) elements can be automatically enlarged (restricted) by the introduction (suppression) of m new (old) saturated (resp. primitive) elements, producing a new possible world U’ where m impossible elements (centaur, pegasus, syren, unicorn, etc.) of U become possible elements of U’ or inversely.After this first type of arithmetical representation of logical calculi, where the terms are -as in Leibniz’s 1679 calculi- represented by natural numbers and the propositions by equations (for universal resp. prescriptive) or inequations (for particular, resp. permissive), in the part III the Author presents a second type of arithmetical representation where propositions are represented by natural numbers and the valid (classical or deontic) syllogisms by true arithmetical relations between the numbers of premisses and the number of conclusion. Here the entire syllogistic adopts the form of a multiplication table wherea syllogism is valid if and only if the lcm (in ai1 ) or the lcbc (in ai2) of the characterlstic numbers of the premisses is a multiple (in ai1) or a binary composite (in ai2) of the characteristic number of the conclusion. (shrink)
No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três (...) diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir de premissas opostas (contrárias e contraditórias) estudadas pelo Estagirita no Analytica Priora (B15). De acordo com o autor, os seguintes silogismos são válidos a partir de premissas opostas, nos quais letras latinas minúsculas denotam termos como sujeito e predicado, enquanto que letras latinas maiúsculas denotam proposições categóricas tal como na notação tradicional: (i) na segunda figura, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), e Aba,Oba ` Oaa (Baroco); (ii) na terceira, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) e Eab, Iab ` Oaa (Ferison). Por fim, discutimos a passagem do Analytica Posteriora (A11) no qual Aristóteles enuncia que o Princípio de Não-Contradição não é, em geral, pressuposto de toda demonstração (silogismo científico), mas apenas daquelas nas quais a conclusão deve ser provada a partir do Princípio; o Estagirita enuncia que se um silogismo da primeira figura tiver o termo maior consistente, os outros termos da demonstração podem ser separadamente inconsistentes. Estes resultados permitem-nos propor uma interpretação de sua teoria dedutiva como uma teoria paraconsistente lato sensu. Primeiramente, efetuamos uma análise hermenêutica, avaliando seu significado lógico e a correlação desses resultados com outros aspectos da filosofia de Aristóteles. Em segundo lugar, consignamos uma interpretação dos silogismos aristotélicos a partir de premissas opostas à luz dos antilogismos propostos por Christine Ladd-Franklin em 1883, e da demonstração aristotélica com termos inconsistentes nas lógicas paraconsistentes Cn, 1 n !, introduzidas por da Costa em 1963. Esses dois aspectos não parecem ter sido ainda detalhadamente analisados na literatura. DOI:10.5007/1808-1711.2010v14n1p71. (shrink)