tica (interpretação e significado dos signos). Assim, existem várias lógicas, cada uma associada a uma determinada estrutura linguística. É importante notar que essa última concepção de lógica matemática subsume as outras duas. A partir de 1930 até nossos dias, a evolução da lógica caminha em uma direção de maior integração à matemática, atingindo uma complexidade técnica elevada e ampliando consideravelmente o seu domínio com aplicações nas mais diversas áreas, como Informática, Administração de Empresas, Física, Economia, Engenharia etc. As contribuições de K. Gödel (1906-1978) e seus teoremas de incompletude, A.M. Turing (1912-1954) e sua teoria geral dos processos computáveis, A. Church (1903-1995), S.C. Kleene (1909-1994), J.B. Rosser (1907-1989) e outros, dando forma à teoria da recursão, A. Tarski (1902-1983), A. Robinson (1918-1974) e outros, criando a teoria de modelos, Newton C.A. da Costa (1929-), criando a lógica paraconsistente, e inúmeras outras contribuições diversificaram e ampliaram em tão alto grau os métodos e os domínios da lógica que ninguém teria hoje condições de acompanhar o desenvolvimento dessas teorias em detalhes. Sinopse das Várias Lógicas
Clássica
Cálculo de predicados de primeira ordem: a) Teoria de conjuntos. b) Teoria de tipos. c) Teoria de categorias como fundamento da Matemática. Complementares da Clássica a) Epistêmica clássica. Lógica da crença. Lógica do conhecimento. b) Modal clássica. c) Clássica de ação etc. d) Intencionais clássicas. e) Indutiva clássica etc.
Não clássica
Heterodoxas a) Paracompletas. b) Paraconsistentes. c) Não aléticas. d) Quânticas. e) Relevantes. f) Modais paraconsistentes. g) Epistêmicas paracompletas. h) Indutivas paraconsistentes etc. Introdução
xiii