Introdução à Filosofia: Exercícios de Lógica

1. Diga se os argumentos abaixo são dedutivos, indutivos, abdutivos

ou analógicos. Se dedutivos, diga se eles são válidos ou inválidos;
Se indutivos, diga se eles são fortes ou fracos; Se abdutivos, diga se
eles são boas ou más abduções; Se analógicos, diga se eles são
analogias precisas ou imprecisas.

(a) P1: Todo filósofo é beberrão

P2: Sócrates é filósofo
Cc: Sócrates é beberrão

(b) P1: Nenhum gato gosta de ratos

P2: Todo camundongo gosta de ratos
Cc: Nenhum gato é um camundongo

(c) P1: Este veneno foi efetivo contra a maioria das pragas de milho
P2: Este veneno foi efetivo contra a maioria das pragas de trigo
Cc: Este veneno será efetivo contra pragas de colheita em geral

(d) P1: Caminhando pela praia, observei na areia o desenho de um pássaro

Cc: Alguém desenhou propositalmente um pássaro na areia

(e) P1: Se todos soubessem o que é o bem, todos seriam bons

P2: Não é verdade que todos são bons
Cc: Não é verdade que todos sabem o que é o bem

(f) P1: Se algo é oposto a outro, então o primeiro gera o segundo e vice-
versa
P2: A vida é oposta à morte
Cc: Logo, a vida gera a morte e vice-versa

(g) P1: A alma é semelhante ao divino e o corpo é semelhante ao terreno

P2: Logo, a alma é imortal, e o corpo é mortal.
2. Identifique os termos sujeito e predicado, e a forma (isto é, se são
proposições do tipo A, E, I ou O) das proposições categóricas a seguir:

(a) Todo homem é mortal.

(b) Algum homem é professor.
(c) Nenhum cachorro é educado.
(d) Algum gato é bagunceiro.
(e) Todos os carros são automóveis.
(f) Alguns pássaros são papagaios.
(g) Nenhum lagarto é um dragão.
(h) Alguns dragões são vermelhos.
(i) Toda bicicleta esportiva possui marchas.
(j) Algumas borboletas são nativas do Brasil.
(k) Nenhum cacto brasileiro é espinhento.
(l) Alguns pássaros são Sabiás jovens.
(m)Todo cantor de rock faz parte de uma banda.
(n) Alguns políticos são ficha limpa.
(o) Nenhum habitante de marte é um habitante de Saturno.
(p) Algumas aranhas são portadoras de venenos capazes de matar um
homem adulto.
(q) Todos os filósofos da período moderno construíram sistemas filosóficos
dogmáticos.
(r) Algum alienígena é um tirano intergaláctico.
(s) Nenhum aluno de filosofia entende os exercícios de lógica.
(t) Alguns alunos perceberam que em alguns casos a cópula está implícita.
(u) Todos os tubarões não são baleias.
(v) Todas as baleias são mamíferos não-humanos.
(w) Alguns mamíferos não-humanos são golfinhos que vivem em alto mar.
(x) Algumas letras do alfabeto são vogais.
(y) Todos os números naturais são positivos.
(z) Todas as listas de exercícios de lógicas são enormes.
3. Identifique o termo maior, o termo menor e o termo médio dos silogismos
abaixo. Em seguida, determine seu modo e sua figura e se é uma das
formas válidas de silogismo.

Exemplo:

P1. Todas as coisas que tem um começo são coisas que têm um causa.
P2. Todas as coisas concretas são coisas que tem um começo.
Cc. Todas as coisas concretas são coisas que têm uma causa.

Termo menor: coisas concretas

Termo Maior: coisas que têm uma causa.
Termo médio: coisas que tem um começo
Modo-Figura: AAA-1
Silogismo válido.

(a)
P1. Todos os homens são mortais
P2. Todos os gregos são homens
Cc. Todos os gregos são mortais

(b)
P1. Alguns homens são gregos
P2. Alguns homens são mortais
Cc. Alguns mortais são gregos

(c)
P1. Nenhum coisa vermelha é um papagaio
P2. Nenhuma cacatua é um papagaio
Cc. Nenhuma cacatua é vermelha

(d)
P1. Alguns veículos são movidos a gás
P2. Algumas coisas movidas a gás são barcos.
 Cc. Algum barco não é um veículo.

(e)
P1. Todas as coisas saborosas são fáceis de mastigar
P2. Alguns calangos não são fáceis de mastigar
Cc. Alguns calangos não são saborosos

(f)
P1. Algumas frutas são vermelhas
P2. Algumas maçãs são frutas
Cc. Algumas maçãs são vermelhas

(g)
P1. Nenhuma guerra é moralmente justificada
P2. Algumas guerras são decisões necessárias
Cc. Algumas decisões necessárias não são moralmente justificadas

(h)
P1. Tudo o que existe é concreto
P2. Todas as coisas concretas são infinitamente divisíveis
Cc. Todas as coisas infinitamente divisíveis são tais que existem

(i)
P1. Algum vocalista de rock não é bem sucedido
P2. Todo cantor rico é vocalista de rock
Cc. Algum cantor rico é bem sucedido

(j)
P1. Nenhum sociólogo é filósofo
P2. Algum psicólogo não é filósofo
Cc. Todo psicólogo é filósofo