O que é a Filosofia?

A Filosofia é o amor ao saber que questiona criticamente as crenças formadas sobre o mundo à nossa volta. Diferente do senso comum (saber vulgar e acrítico transmitido entre gerações), a filosofia problematiza conceitos fundamentais usando um método a priori, não empírico.

Os problemas filosóficos são de natureza conceptual, relacionam-se com nossas crenças fundamentais e não podem ser resolvidos experimentalmente. Para responder a estes problemas, os filósofos desenvolvem teses $posições/perspetivas$ apoiadas por argumentos que as justificam.

Para analisar corretamente um texto filosófico, devemos identificar: o tema (assunto), a tese (ideia central), os argumentos (razões que justificam a tese), contra-argumentos e a conclusão. Uma proposição é uma ideia expressa por uma frase declarativa com sentido, que pode ser verdadeira ou falsa, enquanto uma premissa é uma proposição usada para defender ou justificar uma conclusão.

💡 Lembra-te que a filosofia não é apenas teoria abstrata - é uma ferramenta que te ajuda a pensar melhor sobre questões importantes da vida!

Argumentos e Proposições

Um argumento é um conjunto de proposições relacionadas em que uma delas (a conclusão) é justificada pelas outras (as premissas). Podemos identificar premissas por indicadores como "porque", "já que" e "dado que", enquanto conclusões são sinalizadas por termos como "logo", "portanto" e "por isso".

Alguns argumentos são entimemas - omitem proposições relevantes que são assumidas como verdadeiras. Estas premissas omitidas devem ser identificadas para compreender completamente o argumento.

A forma padrão (ou canónica) de um argumento reduz o "ruído", mantendo apenas o elemento quantificador, o termo sujeito, o termo predicado e a cópula que os relaciona. As proposições categóricas dividem-se em quatro tipos:

• Tipo A (Universal afirmativa): "Todos os S são P"
• Tipo E (Universal negativa): "Nenhum S é P"
• Tipo I (Particular afirmativa): "Alguns S são P"
• Tipo O (Particular negativa): "Alguns S não são P"

Estas proposições têm relações lógicas entre si: contrárias (A e E não podem ser ambas verdadeiras), subcontrárias (I e O não podem ser ambas falsas), contraditórias $A e O, E e I - têm sempre valores de verdade opostos$ e subalternas (A implica I, E implica O).

📌 Dominar a estrutura dos argumentos é essencial para desenvolver um pensamento crítico eficaz - conseguirás identificar falhas nos argumentos que encontras no dia a dia!

Tipos de Proposições Compostas

As proposições condicionais ("Se P, então Q") estabelecem que P é condição suficiente para Q, enquanto Q é condição necessária para P. O argumento é falso apenas quando P acontece e Q não.

Já as proposições bicondicionais ("P se, e só se, Q") indicam que P é tanto condição suficiente como necessária para Q. São verdadeiras apenas quando P e Q têm o mesmo valor de verdade - ou ambas acontecem ou nenhuma acontece.

As proposições conjuntivas ("P e Q") exigem que ambas as proposições sejam verdadeiras para que o argumento seja verdadeiro. Quando uma é falsa, o argumento todo é falso.

As proposições disjuntivas dividem-se em dois tipos. Na disjunção inclusiva ("P ou Q"), basta que uma das proposições seja verdadeira - só é falsa quando ambas são falsas. Já na disjunção exclusiva ("Ou P, ou Q"), exige-se que apenas uma seja verdadeira - é falsa quando ambas são verdadeiras ou ambas são falsas.

🔍 Quando analisas uma notícia ou um argumento no teu dia a dia, tenta identificar estes tipos de proposições para perceber melhor se a lógica apresentada faz sentido!

Argumentos Dedutivos vs Não Dedutivos

Os argumentos dedutivos partem do geral para o particular e têm necessidade lógica. Podem ser válidos (é impossível que as premissas sejam verdadeiras e a conclusão falsa) ou inválidos. Um argumento dedutivo válido com premissas verdadeiras é considerado sólido.

Os argumentos não dedutivos podem ser indutivos (do particular para o geral) ou por analogia (do particular para outro particular). Trabalham com probabilidade, não com certeza. São classificados como fortes (é improvável, mas não impossível, que as premissas sejam verdadeiras e a conclusão falsa) ou fracos. Um argumento não dedutivo forte com premissas verdadeiras é considerado cogente.

Na lógica proposicional, usamos símbolos para representar operações lógicas:

• Negação (¬): "não"
• Conjunção (∧): "e"
• Disjunção inclusiva (∨): "ou"
• Disjunção exclusiva (∨): "ou...ou"
• Condicional (→): "se..., então"
• Bicondicional (⇔): "se, e só se"

💡 Aprender a distinguir entre diferentes tipos de argumentos vai ajudar-te não só na filosofia, mas também a avaliar criticamente informações no dia a dia e a construir os teus próprios argumentos de forma mais convincente!

Tabelas de Verdade

As tabelas de verdade ajudam-nos a determinar o valor lógico de proposições compostas com base no valor das proposições simples que as constituem:

Negação (¬P): inverte o valor de verdade da proposição - se P é verdadeiro, ¬P é falso e vice-versa.

Conjunção (P∧Q): só é verdadeira quando ambas as proposições são verdadeiras - "P e Q".

Disjunção inclusiva (P∨Q): só é falsa quando ambas as proposições são falsas - "P ou Q (ou ambos)".

Disjunção exclusiva (P⊕Q): é verdadeira somente quando uma proposição é verdadeira e a outra é falsa - "ou P ou Q (mas não ambos)".

Condicional (P→Q): só é falsa quando o antecedente (P) é verdadeiro e o consequente (Q) é falso - "se P, então Q".

Bicondicional (P↔Q): é verdadeira apenas quando ambas as proposições têm o mesmo valor de verdade - "P se e somente se Q".

🧩 As tabelas de verdade são como quebra-cabeças lógicos - parecem complicadas à primeira vista, mas são ferramentas poderosas que te permitem testar a validade de qualquer argumento!

Formas de Argumento e Leis de Morgan

O Modus ponens é uma forma de argumento válida em que a segunda premissa afirma o antecedente de uma condicional, permitindo concluir o consequente:

• Se está a chover, então fico em casa.
• Está a chover.
• Logo, fico em casa.
• Formalização: (P→Q), P, ∴Q

O Modus tollens é outra forma válida em que a segunda premissa nega o consequente de uma condicional, permitindo concluir a negação do antecedente:

• Se está a chover, então fico em casa.
• Não fico em casa.
• Logo, não está a chover.
• Formalização: (P→Q), ¬Q, ∴¬P

A Primeira lei de Morgan permite, a partir da negação de uma disjunção entre proposições, concluir uma conjunção entre as negações dessas proposições:

• É falso que o João toque guitarra ou piano.
• Logo, o João não toca guitarra nem piano.
• Formalização: ¬(P∨Q), ∴¬P∧¬Q

A Segunda lei de Morgan permite, a partir da negação de uma conjunção entre proposições, concluir uma disjunção entre as negações dessas proposições:

• É falso que o João toque guitarra e piano.
• Logo, o João não toca guitarra ou não toca piano.
• Formalização: ¬(P∧Q), ∴¬P∨¬Q

🔑 Estas formas de argumento são como atalhos lógicos! Saber identificá-las rapidamente permite-te analisar argumentos complexos de forma muito mais eficiente.