Lógica e filosofia
()
A lógica é o estudo dos princípios da inferência válida. Uma inferência é um processo ou ato que a partir da evidência fornecida por um conjunto de premissas, afirma uma conclusão. Tradicionalmente, existem três classes de inferência: dedução, indução e abdução, embora às vezes ele tem de seqüestro como um caso especial da indução. A validade ou não das induções é uma questão de lógica indutiva eo problema da indução. As deduções, no entanto, são considerados pela maioria da lógica contemporânea. Em um argumento dedutivamente válido, a conclusão é uma consequência lógica das premissas. O conceito de consequência lógica é, portanto, uma lógica conceito central. Para estudá-lo, a lógica construída sistemas formais que capturam os fatores relevantes das deduções, tal como eles aparecem em linguagem natural. Para entender isso, considere o seguinte dedução: Está chovendo e é dia.Portanto, está chovendo.A validade deste argumento óbvio não deve ser o significado das expressões 'está chovendo' e 'é dia', pois estes poderiam ser alteradas por outros e permanecem argumento válido. Por exemplo Está nevando e frio. Portanto, está nevando. Em vez disso, a chave para a validade da argumentação reside na expressão 'e'. Se esta expressão é trocado por outro, o argumento pode deixar de ser válida: Está nevando ou frio. Portanto, está nevando. Os termos da qual depende a validade dos argumentos são chamados constantes lógicas, e lógica estudado pelos sistemas formais. Dentro de cada sistema formal, a relação de consequência lógica pode ser definida com precisão, geralmente por meio da teoria do modelo ou pela teoria da prova.Outros tópicos que caem sob o domínio da lógica são as falácias e paradoxos, ea noção de verdade.
Resumos Relacionados
- Qual é A Lógica Informal?
- Argumentos Formais E Argumentos Informais
- Definição De Argumento
- Argumentação E Lógica Formal
- Argumentação E Lógica Formal
|
|
