c

C. 1. Na lgica medieval, todos os silogismos indicados com palavras mnemnicas que comeam por C so redutveis ao segundo modo da primeira figura (Celareni) (cf. PEDRO
HISPANO, Summ. log., 4. 20).

2. Na notao de Lukasiewicz, usa-se para indicar o condicional ou a implicao lgica, mais comumente simbolizado por "c" (A. CHURCH, Introduction to Mathematical Logic, ne 91). CLCULO (in. Calculus; fr. Calcul- ai. Berechnung; it. Calcol). Entende-se hoje por esse termo qualquer mtodo ou procedimento dedutivo, isto , que seja capaz de efetuar inferncias sem recorrer a dados de fato. C. so, p. ex., os procedimentos da matemtica e da lgica. Esse significado genrico do termo j fora proposto por Hobbes, que definia a prpria razo como um clculo. "A razo, dizia ele, no seno um C, isto , uma adio ou subtrao das conseqncias dos nomes gerais reunidos para definir e exprimir os nossos pensamentos" (Leviath., I, 5). Leibniz chamou de "C. filosfico" a cincia universal ou caracterstica universal (v.) em que ele via o instrumento da inveno conceituai (Op., ed. Erdmann, pp. 82 ss.). Carnap faz a distino entre C. e sistema semntico, no sentido de que, "enquanto os enunciados de um sistema semntico so interpretados, afirmam alguma coisa e por isso so verdadeiros ou falsos, no clculo os enunciados so considerados do ponto de vista puramente formal". Para sublinhar essa distino, s vezes os elementos do C. so chamados de frmulas e os elementos do sistema semntico, de proposies (Foundations of Logic and Mathematics, 9). Carnap tambm observou que os clculos podem tomar o nome dos sinais ou das expresses que neles aparecem; nesse sentido, diz-se clculo dos enunciados ou dos predica-

dos ou ento, como ocorre mais freqentemente, os clculos podem tirar seu nome dos objetos por eles designados, ou seja, a que se referem {Introduction to Semantics, 2- ed., 1959, p. 230). Nesse segundo sentido, o C. proposicional o estudo formal dos conectivos lgicos (v. CONECTIVOS) e os seus teoremas so constitudos pelas frmulas que podem derivar das frmulas primitivas com a aplicao sucessiva das regras primitivas de inferncia. O C. funcional, por sua vez, tem como objeto as funes proposicionais (v. FUNO) e, alm dos conectivos, utiliza o quantificador
universal (v. OPERADOR). O C. das classes ou l-

gebra das classes trata de classes ou conjuntos determinados por funes proposicionais ou predicados e d lugar a frmulas que so expresses nas quais se reitera o smbolo = ou * (desigual). A lgebra das classes isomrfica com o C. funcional porque coincide com ele no seu significado (v. LGEBRA DA LGICA). Enfim, a lgebra das relaes o estudo formal das relaes (v.).
CLCULO COMBINATRIO. V COMBINA TRIA, ARTE.

CLCULO HEDONSTICO (in. Hedonic Calculus). Foi esse o nome que Bentham deu ao quadro completo dos mveis da ao humana, que serviriam de guia para qualquer legislao futura. O quadro compreende a determinao da medida da dor e do prazer em geral; em segundo lugar, uma classificao das vrias espcies de prazer e de dor; em terceiro lugar, uma classificao das diversas sensibilidades dos indivduos ao prazer e dor. Pelo primeiro aspecto, o prazer e a dor so considerados como entidades passveis de serem pesadas e medidas, estando, portanto, sujeitas a um C. rigoroso. Esse C. versar sobre a intensidade, a durao, a certeza, a proximidade, a fecundidade