Texto Didático de Filosofia
Introdução à lógica proposicional
A lógica proposicional é uma das formas mais simples e fundamentais da lógica formal. Como o nome sugere, ela se concentra no estudo das relações lógicas que existem entre proposições...
Tautologia, contradição e contingência
Algumas proposições são logicamente verdadeiras. Por exemplo: o gato é um gato. Não é necessário observar qualquer gato para saber que essa afirmação é verdadeira. Esse tipo de afirmação é...
Filosofia da arte de Aristóteles: mímesis e catarse
O que é a arte? O que ela pode fazer conosco? Que efeitos pode provocar? Esses efeitos são bons ou ruins? Um dos primeiros registros que temos de pensamento sobre...
Felicidade e virtude segundo Aristóteles
Aristóteles foi um filósofo grego, nascido em 384 a.c. em Estagira, que tinha várias ideias interessantes sobre o que é uma vida boa. Ele dizia algo que concordaríamos: queremos várias...
Não se nasce mulher, torna-se mulher
O que é ser mulher? Filósofa francesa, existencialista e feminista, Simone de Beauvoir escreveu O segundo Sexo em 1949 a fim de investigar respostas populares para essa questão. Ela concluiu...
Robert Nozick: autopropriedade, direitos individuais e Estado Mínimo
Robert Nozick nasceu em Nova York em 1938 e deu aula na Universidade de Harvard até sua morte em janeiro de 2002. Seu trabalho mais conhecido na filosofia é um...
Hobbes vs Rousseau: somos inerentemente maus ou bons?
Somos inerentemente bons ou inerentemente maus? A resposta depende do que você pensa da política moderna. Em 1651, Thomas Hobbes escreveu que a vida no estado natural - isto é, nossa...
Tabela de verdade
No artigo anterior, aprendemos a função e valores de verdade da negação, conjunção, disjunção, condicional e bicondicional. Aprendemos também como identificar se uma proposição é verdadeira ou falsa dado o...
Definição dos conectivos lógicos
Depois de vermos no artigo anterior o que é uma conjunção, negação, disjunção, condicional e bicondicional, o próximo passo é entender seu valores de verdade utilizando tabelas de verdade. Tomo...
Conectivos lógicos
Como vimos no artigo anterior, podemos combinar várias proposições simples para criar proposições mais complexas usando conectivos lógicos. Por exemplo: Proposição simples 1: "Hoje está ensolarado." Proposição simples 2: "Vou...