Intuição lógica
Intuição lógica, intuição matemática ou intuição racional, é uma previsão, conhecimento e habilidade instintiva frequentemente associados à capacidade de perceber a verdade lógica ou matemática — e à capacidade de resolver desafios matemáticos com eficiência.[1] Os seres humanos aplicam a intuição lógica na prova de teoremas matemáticos,[2] na validação de argumentos lógicos,[3] no desenvolvimento de algoritmos e heurísticas[4] e em contextos onde desafios matemáticos estão envolvidos.[5] A capacidade de reconhecer verdades lógicas ou matemáticas e identificar métodos viáveis pode variar de indivíduo para indivíduo, podendo até ser resultado de conhecimento e experiência, que estão sujeitos ao cultivo.[6] A habilidade pode não ser realizável em um programa de computador por outros meios que não seja a programação genética ou a programação evolutiva.[7]
História
Platão e Aristóteles consideravam a intuição um meio de perceber ideias, suficientemente significativo, enquanto que, para Aristóteles, a intuição constituísse o único meio de conhecer princípios que não estão sujeitos a discussão.[8]
Henri Poincaré distinguiu a intuição lógica de outras formas de intuição. Em sua obra O Valor da Ciência, ele ressalta que:
Existem muitos tipos de intuição. Já disse o quanto a intuição do número puro, de onde vem a rigorosa indução matemática, difere da intuição sensível, da qual a imaginação, propriamente dita, é o principal contribuinte.[9]
A passagem prossegue atribuindo dois papeis à intuição lógica: permitir escolher qual caminho seguir em busca da verdade científica e permitir compreender os desenvolvimentos lógicos.[10]
Bertrand Russell, embora crítico do misticismo intuitivo,[11] apontou que o grau em que uma verdade é autoevidente de acordo com a intuição lógica pode variar e afirmou que algumas verdades autoevidentes são praticamente infalíveis:
Quando um certo número de princípios lógicos for admitido, o resto poderá ser deduzido deles; mas as proposições deduzidas são muitas vezes tão evidentes como aquelas que foram assumidas sem prova. Além disso, toda aritmética pode ser deduzida dos princípios gerais da lógica, mas as proposições simples da aritmética, como “dois e dois são quatro”, são tão evidentes quanto os princípios da lógica.[12]
Kurt Gödel demonstrou com base em seus teoremas de incompletude que o cálculo proposicional baseado na intuição não pode ser avaliado finitamente.[13] Gödel também comparou a intuição lógica à percepção sensorial e considerou as construções matemáticas que os humanos percebem como tendo uma existência independente e própria.[14] Sob esta linha de raciocínio, a capacidade da mente humana de sentir tais construções abstratas pode não ser finitamente implementável.[15]
Discussão
A dissidência quanto ao valor da intuição num contexto lógico ou matemático pode muitas vezes depender da amplitude da definição de intuição e da base psicológica da palavra.[16][17] A dissidência em relação às implicações da intuição lógica nos campos da inteligência artificial e da computação cognitiva pode, de forma semelhante, depender de definições. No entanto, a semelhança entre a natureza potencialmente infinita da intuição lógica postulada por Gödel e o difícil problema da consciência postulado por David Chalmers sugere que os domínios do conhecimento intuitivo e da consciência experiencial podem ambos ter aspectos que não são redutíveis aos conceitos da física clássica.[18]
Ver também
- Intuição
- Epistemologia
- Filosofia da mente
- Filosofia da matemática
- Conhecimento
- Cognição numérica
- Consciência
- Problema difícil da consciência
- Panpsiquismo
- Idealismo transcendental
- Intuicionismo
- Lógica intuicionista
- Hipótese do continuum
- Verdade lógica
Referências
- ↑ Parsons, Charles (1980). «X - Mathematical Intuition». Proceedings of the Aristotelian Society. 80 (New Series): 145–168. JSTOR 4544956. doi:10.1093/aristotelian/80.1.145
- ↑ Lipton, Richard (2010). «Mathematical Intuition—What Is It?»
- ↑ Nakamura, Hiroko; Kawaguchi, Jun (2016). «People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions». PLOS ONE. 11 (12): e0169166. PMC 5201307
. PMID 28036402. doi:10.1371/journal.pone.0169166
- ↑ «Intuitive way to understand tree recursion». StackOverflow.com. 2014
- ↑ «Godel and the Nature of Mathematical Truth - A Talk with Rebecca Newberger Goldstein». Edge Foundation, Inc. 2005
- ↑ «Developing Your Intuition For Math». BetterExplained.com
- ↑ Rucker, Rudy. Infinity and the Mind. [S.l.]: Princeton University Press , section 330 "Artificial Intelligence via Evolutionary Processes"
- ↑ Piętka, Dariusz (2015). «The Concept of Intuition and Its Role in Plato and Aristotle» (PDF). Organon. 47: 23-40
- ↑ Poincaré, Henri (1905). «Intuition and Logic in Mathematics, from the book The Value of Science»
- ↑ Poincaré, Henri (1905). The Value of Science. [S.l.: s.n.]
- ↑ Popova, Maria (2016). «A Largeness of Contemplation: Bertrand Russell on Intuition, the Intellect, and the Nature of Time». BrainPickings.org
- ↑ Russell, Bertrand (1912). Problems of Philosophy. [S.l.: s.n.] Chapter XI "On Intuitive Knowledge"
- ↑ Kennedy, Juliette (2015). Kurt Gödel. [S.l.]: Stanford Encyclopedia of Philosophy
- ↑ Ravitch, Harold (1998). «On Gödel's Philosophy of Mathematics»
- ↑ Solomon, Martin (1998). «On Kurt Gödel's Philosophy of Mathematics»
- ↑ XiXiDu (2011). «Intuition and Mathematics»
- ↑ Burton, Leone (2014). «Why is Intuition so Important to Mathematicians but Missing from Mathematics Education?» (PDF). Semantic Scholar. Consultado em 21 de outubro de 2019. Cópia arquivada (PDF) em 21 de outubro de 2019
- ↑ Aas, Benjamin (2011). «Body-Gödel-Mind: The unsolvability of the hard problem of consciousness» (PDF). Consultado em 8 de maio de 2018. Arquivado do original (PDF) em 25 de fevereiro de 2022
Portal da filosofia