===== CÁLCULO =====
(in. Calculus; fr. Calcul; al. Berechnung; it. Calcolo).

Entende-se hoje por [[lexico:e:esse|esse]] [[lexico:t:termo|termo]] qualquer [[lexico:m:metodo|método]] ou procedimento dedutivo, isto é, que seja capaz de efetuar infe-rências sem recorrer a dados de [[lexico:f:fato|fato]]. cálculo são, p. ex., os procedimentos da [[lexico:m:matematica|matemática]] e da [[lexico:l:logica|lógica]]. Esse [[lexico:s:significado|significado]]’genérico do termo já fora proposto por [[lexico:h:hobbes|Hobbes]], que definia a própria [[lexico:r:razao|razão]] como um cálculo. "A razão, dizia ele, [[lexico:n:nao|não]] é senão um C, isto é, uma adição ou [[lexico:s:subtracao|subtração]] das consequências dos nomes gerais reunidos para definir e exprimir os nossos [[lexico:p:pensamentos|Pensamentos]]" (Leviath., I, 5). [[lexico:l:leibniz|Leibniz]] chamou de "cálculo filosófico" a [[lexico:c:ciencia|ciência]] [[lexico:u:universal|universal]] ou [[lexico:c:caracteristica|característica]] universal em que ele via o [[lexico:i:instrumento|instrumento]] da [[lexico:i:invencao|invenção]] conceituai (Op., ed. Erdmann, pp. 82 ss.). Carnap faz a [[lexico:d:distincao|distinção]] entre cálculo e [[lexico:s:sistema|sistema]] semântico, no [[lexico:s:sentido|sentido]] de que, "enquanto os enunciados de um sistema semântico são interpretados, afirmam [[lexico:a:alguma-coisa|alguma coisa]] e por isso são verdadeiros ou falsos, no cálculo os enunciados são considerados do [[lexico:p:ponto|ponto]] de vista puramente [[lexico:f:formal|formal]]". Para sublinhar essa distinção, às vezes os [[lexico:e:elementos|elementos]] do cálculo são chamados de fórmulas e os elementos do sistema semântico, de proposições (Foundations of Logic and Mathematics, § 9).

Carnap também observou que os cálculos podem tomar o [[lexico:n:nome|nome]] dos sinais ou das expressões que neles aparecem; nesse sentido, diz-se cálculo dos enunciados ou dos [[lexico:p:predicados|predicados]] ou então, como ocorre mais frequentemente, os cálculos podem tirar seu nome dos objetos por eles designados, ou seja, a que se referem (Introduction to Semantics, 2a ed., 1959, p- 230). Nesse segundo sentido, o cálculo proposicional é o [[lexico:e:estudo|estudo]] formal dos [[lexico:c:conectivos-logicos|conectivos lógicos]] (v. conectivos) e os seus teoremas são constituídos pelas fórmulas que podem derivar das fórmulas primitivas com a aplicação sucessiva das regras primitivas de infe-rência. O cálculo [[lexico:f:funcional|funcional]], por sua vez, tem como [[lexico:o:objeto|objeto]] as funções proposicionais (v. [[lexico:f:funcao|função]]) e, [[lexico:a:alem|além]] dos conectivos, utiliza o [[lexico:q:quantificador|quantificador]] universal (v. operador). O cálculo das classes ou [[lexico:a:algebra|álgebra]] das classes trata de classes ou conjuntos determinados por funções proposicionais ou predicados e dá [[lexico:l:lugar|lugar]] a fórmulas que são expressões nas quais se reitera o [[lexico:s:simbolo|símbolo]] "igual" ou "desigual". A álgebra das classes é isomórfica com o cálculo funcional porque coincide com ele no seu significado (v. [[lexico:a:algebra-da-logica|álgebra da lógica]]). Enfim, a álgebra das [[lexico:r:relacoes|relações]] é o estudo formal das relações.