Categorias
Filosofia

Demonstração de alguns teoremas da lógica clássica

Demonstração de alguns teoremas da lógica clássica, especialmente proposicional. Na foto, Jan Łukasiewicz, lógico que provou a completude da lógica proposicional, i.e., todas as verdades são prováveis no sistema.

Categorias
Filosofia

O Pensamento: Uma Investigação Lógica, por Gottlob Frege

Célebre artigo do pai da lógica moderna: Gottlob Frege. Um ataque ao subjetivismo e ao solipsismo na análise do pensamento e da verdade.

Categorias
Filosofia

O Erro Fatal do Positivismo

Uma exposição e crítica à luz de dois grandes filósofos à concepção positivista/empirista das relações de necessidade e analiticidade.

Categorias
Filosofia

Lógica: uma introdução — parte 6

Breve apresentação sobre as lógicas não-clássicas, ampliativas e desviantes.

Categorias
Filosofia

Lógica: uma introdução — parte 5

Apresentação ao método de dedução natural na lógica de 1ª ordem e as ligações que a consequência sintática possui com a consequência semântica.

Categorias
Filosofia

Lógica: uma introdução — parte 4

Apresentação à sintaxe e à semântica da lógica de 1ª ordem com identidade; explicação sobre as estruturas e a noção de consequência semântica.

Categorias
Filosofia

Lógica: uma introdução – parte 3

Introdução aos tipos de argumento, formalização, prova direta e indireta, consequência lógica, sintática e semântica.

Categorias
Filosofia

Lógica: uma introdução — parte 2

Apresentação aos conceitos sintáticos e semânticos da lógica proposicional

Categorias
Filosofia

Lógica: uma introdução – parte 1

Um panorama histórico da lógica e seu desenvolvimento.