===== LÓGICA FORMAL =====
1) A [[lexico:l:logica-formal:start|Lógica formal]] estabelece as condições de conformidade do [[lexico:p:pensamento:start|pensamento]] consigo mesmo. [[lexico:n:nao:start|Não]] visa, então, às operações intelectuais do ponto-de-vista de sua [[lexico:n:natureza:start|natureza]]: isto compete à [[lexico:p:psicologia:start|psicologia]] (v. psicologia), mas do ponto-de-vista de sua [[lexico:v:validade:start|validade]] intrínseca, quer dizer, de sua [[lexico:f:forma:start|forma]]. Ora, [[lexico:t:todo:start|todo]] [[lexico:r:raciocinio:start|raciocínio]] se compõe de juízos, e todo [[lexico:j:juizo:start|juízo]], de [[lexico:i:ideias:start|ideias]]: há [[lexico:l:lugar:start|lugar]], pois, para distinguir três operações intelectuais especificamente diferentes:

1. [[lexico:a:apreender:start|apreender]], isto é, conceber uma [[lexico:i:ideia:start|ideia]].

2. Julgar, isto é, afirmar ou negar uma [[lexico:r:relacao:start|relação]] entre duas ideias.

3. [[lexico:r:raciocinar:start|raciocinar]], isto é, de vários juízos dados tirar um [[lexico:o:outro:start|outro]] juízo que destes decorre necessariamente.

A [[lexico:l:logica:start|Lógica]] estuda estas três operações em si mesmas, a [[lexico:s:saber:start|saber]], enquanto elas são atos do [[lexico:e:espirito:start|espírito]], e nas suas expressões verbais, que são: para a [[lexico:a:apreensao:start|apreensão]], o [[lexico:t:termo:start|termo]]; — para o juízo, a [[lexico:p:proposicao:start|proposição]]; — para o raciocínio, o [[lexico:a:argumento:start|argumento]].

Todos os [[lexico:p:principios:start|princípios]] e todas as regras válidas das [[lexico:o:operacoes-do-espirito:start|operações do espírito]] o são também e da mesma maneira de suas expressões verbais.

Pode-se dizer que a "lógica [[lexico:f:formal:start|formal]]" estuda certas estruturas de um [[lexico:d:discurso:start|discurso]] dentro do [[lexico:p:proprio:start|próprio]] discurso. Assim, a "validade" de um raciocínio exposto vai independer da [[lexico:v:verdade:start|verdade]] ou não da conclusão: o raciocínio pode [[lexico:s:ser:start|ser]] inválido, embora a conclusão seja verdadeira. E esta validade será dada pelo encadeamento das diferentes proposições que constituem o discurso, se este encadeamento obedecer a algumas regras que são as "leis da lógica formal". De maneira resumida podemos afirmar: a lógica formal estuda alguns aspectos da [[lexico:s:sintaxe:start|sintaxe]] de um discurso, e sua [[lexico:c:categoria:start|categoria]] central é a [[lexico:n:nocao:start|noção]] de "validade de um raciocínio".

Em 1847 o matemático George Boole (1815-1864) publicou um ensaio intitulado The Mathematical Analysis of Logic, being an Essay towards a Calculus of deductive Reasoning; em 1854 Boole reexpôs o seu [[lexico:s:sistema:start|sistema]] numa [[lexico:o:obra:start|obra]] que é hoje em dia um [[lexico:c:classico:start|clássico]], An Investigation of the Laws of Thought, on which are founded the Mathematical Theories of Logic and Probabilities (abreviadamente conhecido como The Laws of Thought). A [[lexico:f:finalidade:start|finalidade]] expressa de Boole era revelar as estruturas mentais do raciocínio [[lexico:h:humano:start|humano]], e para tal, ele desenvolveu uma "[[lexico:a:algebra-da-logica:start|álgebra da lógica]]", bastante [[lexico:s:semelhante:start|semelhante]] à [[lexico:a:algebra:start|álgebra]] usual, mas dela se diferençando em alguns poucos pontos de importância. Esta álgebra, cuja [[lexico:e:estrutura:start|estrutura]] é atualmente estudada com o [[lexico:n:nome:start|nome]] de "álgebra booleana", é a primeira tentativa com [[lexico:s:sucesso:start|sucesso]] feita para apresentar e manipular as estruturas do raciocínio [[lexico:l:logico:start|lógico]] na [[lexico:l:linguagem:start|linguagem]] (em engenharia eletrônica a álgebra de Boole apresenta grande [[lexico:u:utilidade:start|utilidade]] na [[lexico:a:analise:start|análise]] de circuitos elétricos).

O segundo [[lexico:m:momento:start|momento]] importante, no [[lexico:s:sentido:start|sentido]] da matematização da lógica, ocorreu com as pesquisas de Georg Cantor (1845-1918). Realizando investigações a [[lexico:r:respeito:start|respeito]] da convergência de séries, Cantor foi levado a tentar um esclarecimento da noção de [[lexico:n:numero:start|número]], e a partir daí, sentiu a [[lexico:n:necessidade:start|necessidade]] de desenvolver toda uma [[lexico:t:teoria:start|teoria]] para fundar esta noção. Tal teoria, chamada por ele Mengenlehre, "teoria dos agregados", foi exposta em dois papers em 1895 e 1897, intitulados ambos Contribuições para a Fundação da Teoria dos Números Transfinitos, e constitui essencialmente o que hoje conhecemos como teoria dos conjuntos. A teoria dos conjuntos de Cantor é uma [[lexico:v:visao:start|visão]] [[lexico:i:intuitiva:start|intuitiva]] do [[lexico:c:calculo:start|cálculo]] que Boole desenvolveu axiomaticamente.

O [[lexico:t:trabalho:start|trabalho]] de Cantor (e as consequências das investigações de Boole) levaram a um grande surto de pesquisas em [[lexico:m:matematica:start|matemática]], numa nova [[lexico:d:disciplina:start|disciplina]] que se dirigia no sentido de "esclarecer os fundamentos" de todas as noções matemáticas usuais. A primeira obra-síntese nestas investigações é o trabalho de Bertrand [[lexico:r:russell:start|Russell]] e Alfred North Whitehead, [[lexico:p:principia-mathematica:start|Principia Mathematica]] (1911). O cálculo lógico desenvolvido por Russell, que é uma [[lexico:e:extensao:start|extensão]] do cálculo de Boole, é ainda hoje a linguagem básica utilizada em [[lexico:l:logica-matematica:start|lógica matemática]]. O trabalho de Russell serviu, por outro lado, para que o [[lexico:i:interesse:start|interesse]] pela lógica — preso às questões dos "fundamentos da matemática" — reingressasse na [[lexico:f:filosofia:start|Filosofia]]. Para tanto contribuíram não só as ideias de Russell como sobretudo os trabalhos de alguns de seus discípulos, dos quais o mais famoso (e mais importante) é o austríaco [[lexico:w:wittgenstein:start|Wittgenstein]]. No seu [[lexico:u:unico:start|único]] livro publicado em [[lexico:v:vida:start|vida]] (em 1921), o [[lexico:t:tractatus-logico-philosophicus:start|Tractatus Logico-Philosophicus]], Wittgenstein expõe uma doutrina que, utilizando como [[lexico:n:norma:start|norma]] o cálculo lógico de Russell, pretende esclarecer a [[lexico:q:questao:start|questão]] do "sentido" de uma [[lexico:s:sentenca:start|sentença]] em [[lexico:f:funcao:start|função]] de sua [[lexico:c:correspondencia:start|correspondência]] ou não a esta norma lógica. Nesta obra, que é basicamente um livro de filosofia, Wittgenstein faz uma importante contribuição para o [[lexico:d:desenvolvimento:start|desenvolvimento]] de uma teoria matemática da [[lexico:s:semantica:start|semântica]], a noção de "tabela-verdade".

De uma maneira [[lexico:g:geral:start|geral]], se [[lexico:b:bem:start|Bem]] que todos estes trabalhos tenham contribuído para um certo esclarecimento das estruturas lógico-formais do raciocínio, nenhum deles foi [[lexico:a:alem:start|além]] e se mostrou capaz de elucidar a estrutura sintática de uma linguagem "[[lexico:n:natural:start|natural]]". O [[lexico:c:conceito:start|conceito]] de linguagem "natural" é um conceito [[lexico:v:vago:start|vago]]: por ele pretendemos descrever toda forma de [[lexico:c:comunicacao:start|comunicação]] verbal, [[lexico:e:escrita:start|escrita]] ou visual; exigir que uma linguagem "natural" sirva à "comunicação" equivale a exigir que ela tenha um "sentido". Ora, devem haver certas restrições formais que limitem a [[lexico:p:possibilidade:start|possibilidade]] de combinação de sinais "com sentido". A procura destas restrições se encontra, hoje em dia, em três grandes áreas. A primeira é [[lexico:o:objeto:start|objeto]] do [[lexico:e:estudo:start|estudo]] de [[lexico:c:chomsky:start|Chomsky]], com sua teoria das gramáticas formalizadas; a segunda investiga restrições muito gerais (e de fundo estatístico) como a [[lexico:l:lei:start|lei]] de Zipf-Mandelbrot — e o [[lexico:p:principio:start|princípio]] que a fundamenta o "princípio do menor [[lexico:e:esforco:start|esforço]]". A terceira se situa no [[lexico:c:campo:start|campo]] dos trabalhos de [[lexico:l:levi-strauss:start|Lévi-Strauss]], na sua busca de "estruturas gerais" que caracterizem o [[lexico:c:comportamento:start|comportamento]] e a [[lexico:m:mente:start|mente]] humana. (Francisco Doria - [[lexico:d:dcc:start|DCC]])

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}