Lógica: diferenças entre revisões

 

== Lógica matemática ==

Lógica Matemática é o uso da lógica formal para estudar o [[raciocínio matemático]]-- ou, como propõe [[Alonzo Church]]<ref>CHURCH, Alonzo. ''Introduction to Mathematical Logic''. 10th ed. Princeton, New Jersey: Princeton University Press, 1996. ISBN 978-0-691-02906-1</ref>, 'lógica tratada pelo método matemático'. No início do [[século XX]], lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica.([[Gottlob Frege]], p.ex., tentou reduzir a aritmética à lógica; [[Bertrand Russell]] e [[A. N. Whitehead]], no clássico [[Principia Mathematica]], tentaram reduzir toda a matemática então conhecida à lógica -- a chamada 'lógica de segunda ordem'.) Uma das suas doutrinas lógico-[[semântica]]s era que a descoberta da forma lógica de uma frase, na verdade, revela a forma adequada de dizê-la, ou revela alguma essência previamente escondida. Há um certo consenso que a redução falhou -- ou que precisaria de ajustes --, assim como há um certo consenso que a lógica -- ou alguma lógica -- é uma maneira precisa de representar o raciocínio matemático.

Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.