Portal:Lógica
|
Portal de lógica |
|||||||||
|
A lógica (do grego clássico λόγος logos, que significa palavra, pensamento, ideia, argumento, relato, razão ou princípio) é uma ciência de índole matemática e fortemente ligada à Filosofia. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correcto, sendo, portanto, um instrumento do pensar. A aprendizagem da lógica não constitui um fim em si. Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros. Podemos, então, dizer que a lógica trata dos argumentos, isto é, das conclusões a que chegamos através da apresentação de evidências que a sustentam. O principal organizador da lógica clássica foi Aristóteles, com sua obra chamada Organon. Ele divide a lógica em formal e material. |
[editar] Sabia que...A Lógica é extensivamente usada em áreas como Inteligência Artificial, e Ciência da computação. Nas décadas de 50 e 60, pesquisadores previram que quando o conhecimento humano pudesse ser expresso usando lógica com notação matemática, supunham que seria possível criar uma máquina com a capacidade de pensar, ou seja, inteligência artificial. Isto se mostrou mais difícil que o esperado em função da complexidade do raciocínio humano. A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico e a linguagem de programação Prolog é comumente utilizada para isto. Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. Usando demonstração automática de teoremas os computadores podem achar e checar demonstrações, assim como trabalhar com demonstrações muito extensas. Na ciência da computação, a álgebra booleana é a base do projeto de hardware. |
||||||||
| Subtemas | |||||||||
|
|
|
|
|||||||
| Destaques | |||||||||
[editar] Esse mês o artigo destacado é: História da lógicaA história da lógica documenta o desenvolvimento desta em várias culturas e tradições. Enquanto muitas culturas tenham usado complicados sistemas de raciocínio, somente na China, Índia e Grécia os métodos de raciocínio tiveram um desenvolvimento sustentável. Embora as datas sejam incertas, especialmente no caso da Índia, é possível que a lógica emergiu nos três países por volta do século IV a.C. A lógica moderna (ver lógica) descende da tradição grega, mas também há influências de filósofos islâmicos e de lógicos europeus da era medieval que tiveram contato com a lógica aristotélica.
|
|||||||||
[editar] Esse mês o lógico destacado é: Aristóteles Ele está entre os mais influentes filósofos gregos, junto com Sócrates e Platão, que transformaram a filosofia pré-socrática, construindo um dos principais fundamentos da filosofia ocidental. Aristóteles prestou contribuições fundantes em diversas áreas do conhecimento humano, destacando-se: ética, política, física, metafísica, lógica, psicologia, poesia, retórica, zoologia, biologia, história natural. É considerado por muitos o filósofo que mais influenciou o pensamento ocidental. Por ter estudado uma variada gama de assuntos, e por ter sido também um discípulo que em muito sentidos ultrapassou seu mestre, Platão, é conhecido também como o filósofo. Aristóteles também foi chamado de o estagirita, por sua terra natal. |
|||||||||
| Onde posso ajudar | |||||||||
|
|
[editar] Sem imagem |
|
|||||||
|
|||||||||
| Navegação | |||||||||
