Lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 181.213.37.4 para a última revisão de Everton3x, de 20h22min de 2 de setembro de 2016 (UTC) |
→O estudo da lógica: De Agostinho Cachuchu, sem erros ta muito bem escrito. Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
||
Linha 27:
* '''[[Lógica formal]]''' é o estudo da [[inferência]] com conteúdo puramente formal. Uma inferência possui um ''conteúdo puramente formal'' se ele pode ser expresso como um caso particular de uma regra totalmente abstrata, isto é, uma regra que não é sobre uma qualquer coisa em particular. As obras de [[Aristóteles]] contêm o primeiro estudo formal da lógica. A lógica formal moderna segue e amplia o trabalho de Aristóteles.<ref>{{citar livro | autor = Aristótoles | título = The Basic Works | editor = Richard Mckeon | editora = Modern Library | ano = 2001 | isbn = 0-375-75799-6 | capítulo = Posterior Analytics}}</ref> Em muitas definições de lógica, inferência lógica e inferência com conteúdo puramente formal são a mesma coisa. Isso não esvazia a noção de lógica informal, porque nenhuma lógica formal captura todas as nuances da língua natural.
* '''[[Lógica Simbólica|Lógica simbólica]]''' é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica.<ref name="Whitehead">{{Citar livro|autor=Whitehead, Alfred North; Russell, Bertrand|título=Principia Mathematica | editora=Merchant Books | ano=2001 | ISBN= 978-1603861823 (vol. 1), 978-1603861830 (vol. 2), 978-1603861847 (vol. 3) }}</ref> <ref name="Hamilton">{{citar livro | autor = Hamilton, A. G. | título = Logic for Mathematicians | editora = Cambridge University Press | ano = 1980 | isbn = 0-521-29291-3}}, faz uma abordagem moderna à lógica simbólica. </ref> A lógica simbólica é frequentemente dividida em dois ramos: [[lógica proposicional]] e a [[lógica de predicados]].
* '''[[Lógica matemática]]''' é uma extensão da lógica simbólica em outras áreas, em especial para o estudo da [[teoria dos modelos]], [[teoria da demonstração]], [[teoria dos conjuntos]] e [[teoria da recursão]] A lógica estuda o pensado em quanto é pensado.
== História ==
| |||