Lógica: diferenças entre revisões

O primeiro trabalho feito sobre o tema da lógica é o de [[Aristóteles]] (na verdade, os [[sofistas]] e [[Platão]] já haviam se dedicado a questões lógicas, o trabalho de Aristóteles, porém, é mais amplo, rigoroso e sistematizado).<ref>livro "TEMAS DE FILOSOFIA" </ref><ref>Por exemplo, Kline ({{cite book | first = Morris | last = Kline | title = Mathematical Thought From Ancient to Modern Times | publisher = Oxford University Press | year = 1972 | isbn = 0-19-506135-7}}, p.53) escreveu "A grande feito de Aristóteles foi ser o fundador da ciência da lógica".</ref> A [[lógica aristotélica]] tornou-se amplamente aceita em [[ciência]]s e matemática e manteve-se em ampla utilização no [[Ocidente]] até o início do [[século XIX]].<ref>"[http://chemistry.mtu.edu/%7Epcharles/SCIHISTORY/aristotle.html Aristotle]", MTU Department of Chemistry.</ref> O sistema lógico de Aristóteles foi responsável pela introdução do [[silogismo hipotético]],<ref>Jonathan Lear (1986). "''[http://books.google.com/books?id=lXI7AAAAIAAJ&pg=PA34&dq&hl=en#v=onepage&q=&f=false Aristotle and Logical Theory]''". [[Cambridge University Press]]. p.34. ISBN 0-521-31178-0</ref> [[lógica modal]] temporal<ref>Simo Knuuttila (1981). "''[http://books.google.com/books?id=iCCUF_OtA8AC&pg=PA71&dq&hl=en#v=onepage&q=&f=false Reforging the great chain of being: studies of the history of modal theories]''". Springer Science & Business. p.71. ISBN 90-277-1125-9</ref><ref>Michael Fisher, Dov M. Gabbay, Lluís Vila (2005). "''[http://books.google.com/books?id=Ajsvo6jWNhgC&pg=PA119&dq&hl=en#v=onepage&q=&f=false Handbook of temporal reasoning in artificial intelligence]''". Elsevier. p.119. ISBN 0-444-51493-7</ref> e [[raciocínio indutivo|lógica indutiva]].<ref>Harold Joseph Berman (1983). "''[http://books.google.com/books?id=9-8fIBVgCQYC&pg=PA133&dq&hl=en#v=onepage&q=&f=false Law and revolution: the formation of the Western legal tradition]''". [[Harvard University Press]]. p.133. ISBN 0-674-51776-8</ref> Na [[Europa]], durante o final do período medieval, grandes esforços foram feitos para mostrar que as ideias de Aristóteles eram compatíveis com a [[fé]] [[cristão|cristã]]. Durante a [[Alta Idade Média]], a lógica se tornou o foco principal dos filósofos, que se engajaram em análises lógicas [[crítica]]s dos argumentos filosóficos (''ver: [[Filosofia cristã]]'').