Lógica formal

Lógica formal

1. Lógica aristotélica

   • Princípios de identidade, não contradição e do terceiro excluído
     • Silogismo: premissas e conclusão

2. Lógica transcendental

   • Immanuel Kant
     • Investiga os modos humanos de conhecer,ou seja, estruturas cognitivas universais, anteriores à experiencia (a priori): as formas puras da sensibilidade, que são o espaço e o tempo.
       • Formas puras do entendimento: quantidade, qualidade, relação e modalidade.
         • Analítica transcendental e Dialética transcendental
           • Erros da razão quando pretende-se alcançar os nôumenos

3. Lógica matemática

   • Gottlob Frege
     • Aproximou a Lógica da Matemática, estabelecendo relações entre palavra e os elementos da Álgebra.
       • Conceitografia: linguagem estruturada por meio de símbolos e fórmulas.
         • Objetivo de Frege era garantir que cada termo tivesse um único significado, evitando ambiguidades.

Images and files in the map