A Filosofia como Atividade Crítica Conceptual

A filosofia é uma atividade conceptual crítica que nos convida a não aceitar como óbvias as ideias, conceitos e situações do cotidiano sem antes investigá-los. Não se trata de rejeitar nossas crenças, mas de avaliá-las criticamente para verificar se existem boas razões para mantê-las.

A palavra "filosofia" tem origem grega: "philos" (amor) e "sophia" (sabedoria) - literalmente, amor à sabedoria. Enquanto as ciências estudam parcelas específicas da realidade através de métodos experimentais, a filosofia dedica-se ao real como um todo, utilizando métodos reflexivos e argumentativos.

A filosofia trabalha com questões fundamentais que vão além dos fatos observáveis. Por exemplo, em vez de perguntar "que horas são?", o filósofo pergunta "o que é o tempo?". Estas questões filosóficas abrangem diversas áreas: ética (como devemos agir?), metafísica (o que é o tempo?), estética (o que é uma obra de arte?) e muitos outros domínios.

Curiosidade: A filosofia é a "mãe" de todas as ciências! Historicamente, as ciências foram se separando da filosofia à medida que desenvolveram seus próprios métodos e objetos de estudo específicos.

Noções Elementares de Lógica

A lógica é a disciplina filosófica que estuda a distinção entre argumentos corretos e incorretos. Ela analisa os processos que permitem passar da verdade de certas crenças à verdade de outras, determinando leis e princípios para uma argumentação correta.

Os conceitos são elementos básicos do pensamento filosófico, representando intelectualmente uma determinada realidade. Grande parte do trabalho filosófico consiste em clarificar conceitos através de definições precisas.

Uma tese é uma ideia que se pretende defender em relação a um problema. O que interessa aos filósofos não são propriamente as frases, mas as ideias ou proposições que essas frases expressam. As proposições são pensamentos que podem ser verdadeiros ou falsos (possuem valor de verdade) e são sempre expressas por frases declarativas.

As proposições categóricas podem ser classificadas segundo sua qualidade (afirmativas ou negativas) e quantidade (universais ou particulares). No quadrado da oposição lógica, encontramos:

• Tipo A: Universal afirmativa ("Todo S é P")
• Tipo E: Universal negativa ("Nenhum S é P")
• Tipo I: Particular afirmativa ("Algum S é P")
• Tipo O: Particular negativa ("Algum S não é P")

Atenção! Nem todas as frases expressam proposições! Perguntas, ordens, exclamações e frases absurdas não podem ser classificadas como verdadeiras ou falsas.

Regras de Oposição e Argumentos

As proposições categóricas relacionam-se entre si de acordo com regras específicas de oposição:

A regra das contraditórias estabelece que duas proposições contraditórias não podem ser simultaneamente verdadeiras nem falsas. Por exemplo: "Todos os medicamentos têm efeitos secundários" e "Alguns medicamentos não têm efeitos secundários" são contraditórias.

As contrárias não podem ser ambas verdadeiras, mas podem ser ambas falsas, enquanto as subcontrárias não podem ser ambas falsas, mas podem ser ambas verdadeiras.

Argumentos são conjuntos de proposições articuladas, onde as premissas tentam sustentar ou justificar a conclusão (tese). A conclusão representa a ideia que se quer defender.

Para avaliar um argumento, devemos analisar:

• A verdade das premissas (se correspondem à realidade)
• A validade (se a estrutura do argumento garante que premissas verdadeiras levam a uma conclusão verdadeira)

Um argumento em que falta uma ou mais proposições, que ficam subentendidas, chama-se entimema. Podemos identificar premissas por expressões como "porque", "pois", "dado que" e conclusões por "logo", "portanto", "consequentemente".

Dica prática: Para identificar a estrutura de um argumento, elimine os elementos supérfluos e organize as premissas antes da conclusão, formando sua expressão canônica.

Tipos de Argumentos

Os argumentos dividem-se em dois grandes tipos:

Os argumentos dedutivos pretendem que as premissas forneçam um apoio decisivo ou uma garantia para a conclusão. São avaliados em termos de validade: um argumento dedutivo é válido quando é impossível ter premissas verdadeiras e conclusão falsa. A validade depende essencialmente da forma lógica do argumento.

Os argumentos não dedutivos fornecem um apoio apenas provável para a conclusão. São avaliados em termos de força: um argumento forte torna a conclusão provável se as premissas forem verdadeiras, enquanto um argumento fraco não oferece esse suporte.

Um argumento pode ser válido mesmo com premissas falsas! Veja o exemplo:

Todas as formigas são aves.
As girafas são formigas.
Logo, as girafas são aves.

Apesar das premissas falsas, a estrutura lógica é válida - se aceitássemos as premissas, teríamos que aceitar a conclusão.

Um argumento é inválido quando é possível que as premissas sejam verdadeiras e a conclusão falsa. Por exemplo:

Todos os grandes futebolistas têm salários elevados.
Cristiano Ronaldo tem um salário elevado.
Logo, Cristiano Ronaldo é um grande futebolista.

Importante: A validade está relacionada à estrutura do argumento, não à verdade das premissas ou da conclusão!

Argumentos Não-dedutivos e Falácias

Os argumentos não-dedutivos variam em sua força. Um argumento forte fornece boas razões para acreditar na conclusão, mesmo que não seja garantia absoluta. Por exemplo: "Até hoje, todos os cães nasceram quadrúpedes. Logo, o próximo cão a nascer também será quadrúpede."

Um argumento fraco não oferece suporte suficiente para a conclusão. Por exemplo: "Algumas pessoas gostam de ir a discotecas. Logo, todas as pessoas gostam de ir a discotecas."

O que caracteriza um bom argumento? Um bom argumento dedutivo é um argumento sólido: válido e com premissas verdadeiras. Quando, além disso, suas premissas são mais plausíveis que a conclusão, dizemos que é racionalmente convincente.

Para argumentos não-dedutivos, um bom argumento é cogente: forte, com premissas verdadeiras e mais plausíveis que a conclusão.

As falácias são argumentos que parecem corretos ou adequados, mas que na realidade não o são. Dividem-se em dois tipos:

1. Falácias formais: resultam da forma lógica ou estrutura do argumento e ocorrem em argumentos dedutivos.

2. Falácias informais: resultam de aspectos que ultrapassam a forma lógica (conteúdo, linguagem, contexto) e podem ocorrer tanto em argumentos dedutivos quanto não-dedutivos.

Cuidado! Muitas vezes, argumentos falaciosos parecem convincentes à primeira vista. Desenvolver a habilidade de identificar falácias é essencial para o pensamento crítico.

Proposições e Operadores Lógicos

As proposições podem ser simples (sem conectores) ou complexas (com conectores). Os operadores proposicionais são palavras que conectam proposições, como "não", "e", "ou", "se...então", entre outros.

Estes operadores dividem-se em:

• Verofuncionais: permitem determinar o valor de verdade da proposição complexa apenas conhecendo os valores de verdade das proposições simples.
• Não-verofuncionais: não permitem determinar o valor de verdade da proposição complexa apenas com base nos valores de verdade das proposições simples.

Os principais operadores verofuncionais são:

1. Negação (¬): "não" - inverte o valor de verdade da proposição. Exemplo: "A vida não é misteriosa" (¬P)

2. Conjunção (∧): "e" - verdadeira apenas quando ambas as proposições são verdadeiras. Exemplo: "A vida é misteriosa e o mundo é finito" (P∧Q)

3. Disjunção inclusiva (∨): "ou" - verdadeira quando pelo menos uma das proposições é verdadeira. Exemplo: "A vida é misteriosa ou o mundo é finito" (P∨Q)

4. Disjunção exclusiva (∨): "ou...ou" - verdadeira quando exatamente uma das proposições é verdadeira. Exemplo: "Ou a vida é misteriosa ou o mundo é finito" (P∨Q)

5. Condicional (→): "se...então" - falsa apenas quando o antecedente é verdadeiro e o consequente é falso. Exemplo: "Se a vida é misteriosa, então o mundo é finito" (P→Q)

6. Bicondicional (↔): "se, e só se" - verdadeira quando ambas as proposições têm o mesmo valor de verdade. Exemplo: "A vida é misteriosa se, e só se, o mundo for finito" (P↔Q)

Dica: As tabelas de verdade são ferramentas essenciais para determinar sistematicamente o valor de verdade de proposições complexas.

Tabelas de Verdade e Classificação de Proposições

As tabelas de verdade são métodos sistemáticos para determinar os valores de verdade de proposições complexas. Para construir uma tabela de verdade, siga estes passos:

1. Desenhar a tabela com as letras proposicionais e a proposição complexa
2. Colocar os valores de verdade das proposições simples, considerando todas as possibilidades
3. Calcular os valores de verdade dos operadores internos
4. Calcular o valor de verdade do operador principal

O número de linhas da tabela depende do número de variáveis: para duas variáveis, precisamos de 4 linhas; para três variáveis, 8 linhas; para quatro variáveis, 16 linhas.

As proposições complexas podem ser classificadas em:

Tautologias: proposições que são sempre verdadeiras, independentemente dos valores de verdade das proposições simples. Por exemplo: (P∧Q)→Q (Se P e Q, então Q).

Contradições: proposições que são sempre falsas, independentemente dos valores de verdade das proposições simples. Por exemplo: (¬P∨¬Q)↔(P∧Q).

Contingências: proposições que podem ser verdadeiras ou falsas, dependendo dos valores de verdade das proposições simples. Por exemplo: (P∨Q)→Q.

Utilizando tabelas de verdade, podemos verificar a validade de argumentos. Um argumento é válido se todas as linhas onde as premissas são verdadeiras também têm a conclusão verdadeira.

Lembre-se: Uma tautologia é sempre verdadeira, independentemente dos valores de verdade de suas proposições simples, enquanto uma contradição é sempre falsa!

Formas de Inferência Válida

Algumas formas de inferência são reconhecidamente válidas e frequentemente utilizadas na argumentação:

Modus Ponens: afirma o antecedente de uma premissa condicional para concluir com a afirmação do consequente.

P→Q
P
∴ Q

Exemplo: "Se o átomo é divisível, então a matéria é frágil. O átomo é divisível. Logo, a matéria é frágil."

Modus Tollens: nega o consequente de uma premissa condicional para concluir com a negação do antecedente.

P→Q
¬Q
∴ ¬P

Exemplo: "Se neva, então está frio. Não está frio. Logo, não neva."

Contraposição: inferir da condicional P→Q a condicional ¬Q→¬P ou o contrário. Exemplo: "Se o mundo não é finito, então Deus não existe. Logo, se Deus existe, então o mundo é finito."

Silogismo Disjuntivo: a primeira premissa é uma disjunção inclusiva, a segunda premissa nega uma das disjuntas e na conclusão afirma-se a outra.

P∨Q
¬P
∴ Q

Silogismo Hipotético: deduzir uma condicional da forma P→R a partir de P→Q e Q→R.

P→Q
Q→R
∴ P→R

Leis de De Morgan:

• A negação de uma conjunção equivale à disjunção das negações: ¬(P∧Q) ↔ (¬P∨¬Q)
• A negação de uma disjunção equivale à conjunção das negações: ¬(P∨Q) ↔ (¬P∧¬Q)

Observação importante: Reconhecer estas formas de inferência válida ajuda a construir e analisar argumentos com mais clareza e precisão.

Falácias Formais e Argumentos Não-dedutivos

Existem falácias formais que consistem em argumentos inválidos que parecem ser formas válidas de inferência:

Falácia da Afirmação do Consequente: confunde-se com o Modus Ponens, mas comete-se o erro de afirmar o consequente em vez do antecedente.

P→Q
Q
∴ P

Exemplo: "Se o átomo é divisível, então a matéria é frágil. A matéria é frágil. Logo, o átomo é divisível."

Falácia da Negação do Antecedente: confunde-se com o Modus Tollens, mas comete-se o erro de negar o antecedente em vez do consequente.

P→Q
¬P
∴ ¬Q

Exemplo: "Se neva, então está frio. Não neva. Logo, não está frio."

Nos argumentos não-dedutivos, o apoio que as premissas dão à conclusão é apenas provável, não definitivo. A conclusão é hipotética e pode ser fortalecida ou enfraquecida pela introdução de novas premissas.

As falácias informais ocorrem ao nível do conteúdo dos argumentos e não na sua forma lógica. Podem ocorrer tanto em argumentos dedutivos quanto não-dedutivos.

Argumentos indutivos são exemplos comuns de argumentos não-dedutivos e incluem:

• Induções por generalização
• Argumentos por analogia
• Argumentos de autoridade

Dica de estudo: Pratique identificar as diferenças entre formas válidas de inferência e falácias formais comuns - este é um passo fundamental para desenvolver o pensamento crítico!

Argumentos Indutivos e Falácias Informais

Os argumentos indutivos são uma forma importante de argumentação não-dedutiva. A indução por generalização é um argumento cuja conclusão é mais geral do que as premissas, inferindo que algo se aplica a mais casos do que os observados.

Forma lógica:

Alguns X são Y
Logo, todos os X são Y

Exemplo: "Os ursos-polares observados até ao momento são brancos. Logo, todos os ursos-polares são brancos."

Para construir boas generalizações indutivas, devemos respeitar critérios como:

• O número de casos observados deve ser relevante
• Os casos devem ser representativos do universo em questão
• Não podem ter sido encontrados contraexemplos, após procura adequada

Quando estes critérios não são respeitados, cometemos falácias informais:

Falácia da generalização precipitada: concluir abusivamente o geral a partir de poucos casos observados. Exemplo: "António é escritor e é pobre. Miguel é escritor e é pobre. Logo, todos os escritores são pobres."

Falácia da amostra não representativa: a amostra não representa adequadamente a diversidade do universo. Exemplo: "Até ao momento, todas as ovelhas observadas são brancas. Logo, todas as ovelhas são brancas."

A indução por previsão é outro tipo de argumento não-dedutivo que, baseando-se em casos ocorridos no passado, prevê casos futuros ou não observados.

Forma lógica:

Todos os X observados até agora são Y
Logo, o próximo X que observarmos será Y

Exemplo: "Todos os ursos-polares observados até ao momento são brancos. Logo, o próximo urso-polar que observarmos será branco."

Aplicação prática: As induções são fundamentais na ciência, mas devem ser usadas com cuidado. Mesmo generalizações bem fundamentadas podem ser revisadas quando surgem novos dados!