CONTRAPOSIO

205 (ARISTTELES,

CONTRATUALISMO

de G. Boole (Laws ofThought, 1854), os princpios lgicos desapareceram como axiomas da lgica e foram substitudos, nessa funo, pela definio das operaes lgicas fundamentais, cujos modelos so as operaes da aritmtica. Boole considerava o princpio de C. como um teorema derivado de uma expresso lgica mais fundamental (Ibid, cap. III, IV, ed. Dover, p. 49). A partir de Boole, os princpios assumidos como fundamento da lgica so simplesmente as definies de funes, constantes lgicas, variveis lgicas, conectivos e operadores. Os chamados princpios lgicos que ainda so honrados s vezes com o nome de "leis" reduzem-se a tautologias no clculo das proposies (cf., p. ex., REICHENBACH, The Theory of

Cat., 6, 6 a 17). Esto em oposio contrria o verdadeiro e o falso, o bem e o mal, o calor e o frio, etc. Aristteles observa que os contrrios se excluem absolutamente, que no existe entre eles noo intermediria e que ao menos um deles deve pertencer ao objeto: p. ex., no h termo intermedirio entre doena e sade, porque o organismo animal deve estar necessariamente sadio ou doente. H, porm, termo intermedirio entre branco e preto, entre excelente e pssimo, etc, porque nenhum desses caracteres deve necessariamente pertencer a um objeto {Ibid., 10, l l b
32 ss.). (Cf. PEDRO HISPANO, Summ. log., 3. 32.)

Probability, 4), ou a teoremas do mesmo clculo (cf., p. ex., A. CHURCH, Introduction to

Mathematical Logic, 26, 13).

2. Como termo distinto de suhcontrariedade (v.), a C. a relao entre a proposio universal afirmativa ("todo homem corre") e a proposio universal negativa ("nenhum homem
corre"). Cf. ARISTTELES, De Int., 7,17 b 4; PEDRO HISPANO, Summ. log., 1. 13.

Isso no quer dizer que a consistncia formal de um discurso, ou seja, a compatibilidade recproca das asseres que o constituem, tenha perdido importncia. Significa apenas que, para cada sistema lingstico, essa compatibilidade definida pelas regras de transformao ou de inferncia, de implicao ou de sinonmia explicitamente adotadas no prprio sistema ou s quais se faz referncia tcita. O princpio de tolerncia (v.), na forma dada por Carnap, afirma: "No nos cabe impor proibies, mas s chegar a convenes". Isso significa que "em lgica no h moral e que cada um est livre para construir sua prpria lgica, isto , sua forma de linguagem, como desejar. Tudo o que deve fazer, se quiser discutir o assunto, declarar claramente seus mtodos e, em vez de argumentos filosficos, dar as regras sintticas do seu discurso" (CARNAP, The Logical Syntax of
Language, 17). CONTRAPOSIO (gr. v%Q^Cl,; lat. Con-

trapositio-, in. Contraposition; fr. Contraposition; ai. Kontraposition; it. Contrapposizione). Uma das formas da converso (v.) das proposies, que consiste em negar o contrrio da proposio convertida de forma tal que, p. ex., a partir de "todo homem animal", se conclua que todo no-animal no-homem" (cf. ARISTTELES, Top., II, 8, 113 b ss.).

CONTRARIEDADE (gr. vavxiTn; lat. Contrarietas; in. Contrariety, fr. Contrarit, ai. Kontrarietat; it. Contrariet). 1. Uma das quatro formas da oposio (v.), mais precisamente a que ocorre entre "os termos que, dentro do mesmo gnero, distam maximamente entre si"

CONTRATUALISMO (in. Contractualism; fr. Contractualisme, ai. Kontraktualismus; it. Contrattualism). Doutrina que reconhece como origem ou fundamento do Estado (ou, em geral, da comunidade civil) uma conveno ou estipulao (contrato) entre seus membros. Essa doutrina bastante antiga, e, muito provavelmente, os seus primeiros defensores foram os sofistas. Aristteles atribui a Licofron (discpulo de Grgias) a doutrina de que "a lei pura conveno (synthek) e garantia dos direitos mtuos", ao que Aristteles ope que, nesse caso, ela "no seria capaz de tornar bons e justos os cidados" (Pol., III, 9, 1280 b 12). Essa doutrina foi retomada por Epicuro, para quem o Estado e a lei so resultado de um contrato que tm como nico objetivo facilitar as relaes entre os homens. "Tudo o que, na conveno da lei, mostra ser vantajoso para as necessidades criadas pelas relaes recprocas justo por sua natureza, mesmo que no seja sempre o mesmo. No caso de se fazer uma lei que demonstre no corresponder s necessidades das relaes recprocas, ento essa lei no justa" (Mass. cap., 37). Carnades emitiu concepo semelhante no famoso discurso sobre a justia que proferiu em Roma. "Por que razo teriam sido constitudos tantos e diferentes direitos segundo cada povo, seno pelo fato de que cada nao sanciona para si o que julga vantajoso para si?" (CCERO, De rep., III, 20). Eclipsado na Idade Mdia pela doutrina da origem divina do Estado e, em geral, pela comunidade civil, o C. ressurge na Idade Moderna e,