Lógica

Prévia do material em texto

Lógica 
A lógica é a ciência formal e ramo da filosofia e da matemática que 
estuda os princípios de demonstração e inferência válidos, uma das 
falácias, os paradoxos e a noção de verdade. 
A lógica matemática estuda a inferência por meio de sistemas formais 
como a lógica proposicional, a lógica de primeira ordem e a lógica 
modal. 
 
A lógica computacional é a aplicação da lógica matemática à ciência da 
computação. A lógica filosófica usa os métodos e resultados da lógica 
moderna para o estudo de problemas filosóficos. 
A inferência é o processo pelo qual derivam conclusões de premissas. 
Quando uma proposição segue de outras dessa maneira, diz-se que as 
últimas implicam aquela. 
A inferência é o objeto tradicional de estudo da lógica. A lógica 
investiga os motivos pelos quais algumas inferências são aceitáveis e 
outras não. 
Quando uma inferência é aceitável, é por causa de sua estrutura lógica 
e não por causa do conteúdo específico do argumento ou da linguagem 
usada. Por esse motivo, são construídos sistemas formais que capturam 
os fatores relevantes das deduções conforme aparecem na linguagem 
natural. 
Tradicionalmente, três classes de inferências são distinguidas: 
deduções, induções e abduções, embora a abdução às vezes seja contada 
como um caso especial de indução. 
A validade ou não das induções é uma questão de lógica indutiva e o 
problema da indução. As deduções, por outro lado, são estudadas pela 
maior parte da lógica contemporânea.