Categorias
Filosofia

Uma Introdução ao ‘Tradução e Significado’ capítulo 2 do Palavra e Objeto, por Gilbert Harman

Tradução do artigo “An Introduction to ‘Translation and Meaning’ Chapter Two of ‘Word and Object’”, de Gilbert Herman. Retirado de ‘Words and Objections: Essays on the Work of W. V. Quine’ (1975): 14-26.

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

Introdução à Filosofia da Linguagem

Uma introdução — e, de certa forma, um convite — à Filosofia da Linguagem, área tão importante para a lógica no geral e para toda a Filosofia Analítica. Texto retirado do livro Philosophy Of Language.

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