Introdução à Lógica: Argumentos, Proposições e Inferência
Enviado por Filipe e classificado em Filosofia e Ética
Escrito em em 
português com um tamanho de 3,19 KB.
Introdução à Lógica
Argumentos
Argumento: Conclusões a que chegamos através da apresentação de evidências; é uma sequência de proposições, uma delas é a conclusão e as demais são premissas.
Argumento Válido: Se um argumento é válido, e sua premissa é verdadeira, a conclusão deve ser verdadeira. Um argumento válido não pode ter premissa verdadeira e conclusão falsa.
Argumento Inválido: Uma falácia é um argumento inválido que parece válido, ou um argumento válido com premissas "disfarçadas".
Leis do Pensamento
- Princípio da Identidade: Afirma que se qualquer enunciado é verdadeiro, então ele é verdadeiro.
- Princípio da Contradição: Afirma que nenhum enunciado pode ser verdadeiro e falso.
- Princípio do Terceiro Excluído: Afirma que um enunciado ou é verdadeiro, ou é falso.
Proposições e Premissas
Proposição: Sentenças afirmativas que podem ser verdadeiras ou falsas.
Premissas: Afirmações disponíveis.
Indicadores de Premissas e Conclusão
| Premissas | Conclusão |
|---|---|
| pois | por isso |
| porque | por conseguinte |
| dado que | implica que |
| como foi dito | logo |
| visto que | portanto, então |
| devido a | daí que |
| a razão é que | segue-se que |
| admitindo que | pode-se inferir que |
| sabendo-se que | consequentemente |
Processo de Inferência
Inferência: É o processo pelo qual se chega a uma proposição, firmada na base de uma ou mais proposições aceitas como ponto de partida do processo.
Tipos de Inferência
Dedução: É um tipo de raciocínio que parte de uma proposição geral e conclui com uma proposição particular.
Indução: Após considerar um número suficiente de casos particulares, conclui uma verdade geral.
Lógica Simbólica
Lógica Simbólica: Utiliza símbolos de origem matemática para formular os argumentos. Uma vez que a Lógica Simbólica tem sua própria linguagem técnica, é um instrumento poderoso para a análise e a dedução dos argumentos, especialmente com o uso do computador.
Tautologia, Contradição e Contingência
Tautologia: É uma proposição cujo valor lógico é sempre verdadeiro.
Contradição: É uma proposição cujo valor lógico é sempre falso.
Contingência: Quando uma proposição não é tautológica nem contraditória, a chamamos de Contingência.
Fórmulas Bem Formadas (FBF)
Fórmulas bem formadas: Fórmulas simbólicas utilizadas para construir proposições. O sistema que usa as fbf's proposicionais é chamado de lógica proposicional.