O que é a Filosofia?

A Filosofia é uma atividade crítica que nos incentiva a examinar todas as ideias, pensando por nós mesmos em vez de aceitar passivamente o que os outros dizem. Quando filosofamos, desenvolvemos um pensamento livre e pessoal, questionando o que a maioria das pessoas aceita sem reflexão.

A Filosofia também é uma atividade argumentativa, pois precisamos saber justificar as nossas ideias através de argumentos bem construídos. As questões filosóficas são fundamentais e concetuais - não têm resposta através da experiência, mas sim do pensamento e da razão. São também controversas, pois não existe uma única resposta correta, mas múltiplas possibilidades.

Em Filosofia, não existem verdades absolutas ou dogmas. Como se costuma dizer, "a Filosofia é um estar sempre a caminho" e "o filósofo é o eterno peregrino em busca da verdade".

💡 Dica importante: A Filosofia divide-se em várias disciplinas, como Lógica, Ética, Filosofia Política, Epistemologia, Filosofia da Ciência, Filosofia da Arte e Filosofia da Religião.

Ferramentas Úteis à Atividade Filosófica: A Lógica

A Lógica é uma disciplina filosófica que nos ensina a pensar de forma válida e correta. Ela fornece ferramentas essenciais para a reflexão e para os debates filosóficos, ajudando-nos a distinguir bons e maus argumentos.

Um argumento é um conjunto de proposições em que existe uma conclusão (tese) e uma ou mais premissas que apoiam essa conclusão. A tese é o que queremos defender, enquanto as premissas são as razões que usamos para justificar nossa posição. Sem uma conclusão, não existe argumento.

Os argumentos têm duas propriedades importantes:

• Validade: um argumento é válido quando as premissas apoiam necessariamente a conclusão. Se as premissas forem verdadeiras, a conclusão terá de ser verdadeira.
• Solidez: um argumento é sólido quando é válido e tem premissas verdadeiras.

🔍 Atenção! Uma proposição é uma frase declarativa, com sentido e valor de verdade (verdadeiro ou falso). Nem todas as frases são proposições - perguntas, exclamações, ordens e desejos não contam como proposições.

Tipos de Proposições

As proposições categóricas afirmam ou negam um predicado de um sujeito. Por exemplo: "Todos os seres humanos são ambiciosos". Elas podem variar em:

• Quantidade: universais ("Todos os homens são mortais"), particulares ("Alguns homens são poetas") ou singulares ("Sócrates era filósofo").
• Qualidade: afirmativas ou negativas $"Sócrates era filósofo" / "Sócrates não era matemático"$.

Combinando quantidade e qualidade, obtemos quatro tipos principais de proposições, representadas pelas letras A, E, I e O:

• A: Universal afirmativa ("Todos os homens são racionais")
• E: Universal negativa ("Nenhum homem é baleia")
• I: Particular afirmativa ("Algumas desigualdades são justas")
• O: Particular negativa ("Algumas desigualdades não são justas")

As proposições podem aparecer na forma canónica (com o quantificador explícito) ou em formas alternativas (sem quantificador explícito). Para negar uma proposição categórica, geralmente mudamos a quantidade e a qualidade, conforme representado no quadrado lógico.

🧠 Dica de estudo: O quadrado lógico ajuda a entender as relações entre as proposições: A/E são contrárias, A/O e E/I são contraditórias, e I/O são subcontrárias. Memorizar estas relações facilita muito na resolução de exercícios!

Proposições Condicionais e Lógica Proposicional

As proposições condicionais começam com "se" e apresentam uma condição. Por exemplo: "Se Descartes é francês, então é europeu". Elas têm dois componentes:

• Antecedente: a condição que segue ao "se" (condição suficiente)
• Consequente: o que se segue ao "então" (condição necessária)

A Lógica Proposicional é bivalente (aceita apenas dois valores de verdade: Verdadeiro ou Falso) e tem duas funções principais:

• Determinar o valor de verdade das proposições compostas
• Testar a validade dos argumentos

As proposições podem ser:

• Simples (atómicas): não possuem conetivas
• Compostas (moleculares): usam uma ou mais conetivas proposicionais

A lógica proposicional utiliza uma linguagem formal e simbólica, substituindo a linguagem natural por símbolos:

• Forma canónica: utiliza linguagem natural clara e explícita
• Forma lógica: utiliza linguagem simbólica com variáveis (P, Q, R...) e conetivas lógicas (→, ∨, ∧...)

📝 Importante para testes: Quando você formaliza uma proposição, crie sempre um dicionário identificando as proposições mais simples com letras (P, Q, R...) e depois traduza para a linguagem simbólica usando as conetivas adequadas.

Conetivas Proposicionais e Formalização

As principais conetivas proposicionais são:

• Negação ("não"): Nega uma proposição
• Conjunção ("e"): Liga duas proposições que devem ser ambas verdadeiras
• Disjunção inclusiva ("ou"): Pelo menos uma das proposições deve ser verdadeira
• Disjunção exclusiva ("ou... ou"): Exatamente uma proposição deve ser verdadeira
• Condicional ("se... então"): Estabelece uma relação de condição
• Bicondicional ("se e só se"): Estabelece uma relação de equivalência

Para formalizar uma proposição:

1. Criar um dicionário identificando as proposições simples (P, Q, R...)
2. Usar proposições declarativas, afirmativas e no presente do indicativo
3. Traduzir para linguagem simbólica usando conetivas
4. Considerar o âmbito das conetivas (a parte da fórmula a que se aplicam)

A conetiva principal de uma fórmula é aquela com maior âmbito, aplicando-se a toda a fórmula.

🔄 Dica prática: A negação de uma proposição condicional "Se P, então Q" é "P e não Q". Por exemplo, a negação de "Se chover, levo o guarda-chuva" é "Está a chover, mas não levei o guarda-chuva".

Tabelas de Verdade e Tipos de Proposições

A tabela de verdade é uma ferramenta gráfica que determina em que condições uma forma proposicional é verdadeira ou falsa. Para construí-la:

• O número de linhas será 2ⁿ (onde n é o número de variáveis)
• O número de colunas será igual ao número de variáveis mais o número de operadores

As regras das conetivas determinam o valor de verdade das proposições compostas:

• Negação: o valor é oposto ao da proposição negada
• Conjunção: só é verdadeira se ambas as proposições forem verdadeiras
• Disjunção inclusiva: é falsa apenas quando ambas as proposições são falsas
• Disjunção exclusiva: é verdadeira quando as proposições têm valores diferentes
• Condicional: é falsa apenas quando o antecedente é verdadeiro e o consequente falso
• Bicondicional: é verdadeira quando ambas as proposições têm o mesmo valor

Conforme os valores da tabela de verdade, uma forma proposicional pode ser:

• Tautologia: sempre verdadeira em todas as circunstâncias (ex: P∨¬P)
• Contradição: sempre falsa em todas as circunstâncias (ex: P∧¬P)
• Contingência: verdadeira em algumas circunstâncias e falsa em outras

💭 Nota: A lógica proposicional é uma linguagem formal que nos permite testar com precisão a validade dos nossos raciocínios, transformando argumentos complexos em estruturas claras que podemos analisar sistematicamente.

Argumentos e sua Análise

Um argumento é um conjunto organizado de proposições em que as premissas justificam a conclusão. A conclusão é a ideia que queremos defender, enquanto as premissas são as razões que apresentamos para apoiar essa conclusão.

Para identificar a estrutura de um argumento, procuramos:

• Indicadores de premissa: "pois", "porque", "dado que", "visto que"
• Indicadores de conclusão: "logo", "portanto", "por isso", "consequentemente"

Para colocar um argumento na sua forma canónica:

• Apresentamos as premissas antes da conclusão
• Usamos o indicador de conclusão "logo"
• Expressamos as proposições da maneira mais clara possível
• Incluímos premissas que podem estar implícitas

A validade de um argumento depende da relação entre premissas e conclusão. Um argumento é válido se a conclusão deriva necessariamente das premissas, ou seja, se a verdade das premissas garante a verdade da conclusão.

✅ Técnica útil: O "inspetor de circunstâncias" é uma tabela de verdade que nos permite testar a validade de um argumento. Um argumento dedutivo é válido se não houver nenhuma circunstância em que todas as premissas sejam verdadeiras e a conclusão falsa.

Formas de Inferência Válidas

Existem padrões de raciocínio que são sempre válidos, conhecidos como formas de inferência válidas. As duas mais importantes são:

1. Modus Ponens (afirmação do antecedente): Quando temos uma condicional e afirmamos o antecedente, devemos afirmar o consequente. Estrutura: Se P, então Q; P; Logo, Q Exemplo: "Se está sol, vou à praia. Está sol. Logo, vou à praia."

2. Modus Tollens (negação do consequente): Quando temos uma condicional e negamos o consequente, devemos negar o antecedente. Estrutura: Se P, então Q; não Q; Logo, não P Exemplo: "Se está sol, vou à praia. Não vou à praia. Logo, não está sol."

Um argumento pode ser avaliado usando tabelas de verdade para verificar se existe alguma linha em que todas as premissas sejam verdadeiras e a conclusão falsa. Se tal linha existir, o argumento é inválido; caso contrário, é válido.

🧩 Para aplicar: Quando analisar argumentos, primeiro identifique a estrutura (premissas e conclusão), depois verifique se seguem algum dos padrões válidos como Modus Ponens ou Modus Tollens. Se não seguirem padrões conhecidos, use tabelas de verdade para testar a validade.