Correção dos Exercícios – Lógica aristotélica

I

Coloque na forma padrão as proposições dos silogismos seguintes e verifique a sua validade.

1. Há médicos que são escritores. Não há médico que não seja profissional de saúde. Logo, existem profissionais de saúde que são escritores.

Alguns médicos são escritores. Todos os médicos são profissionais de saúde. Logo, alguns profissionais de saúde são escritores. Este silogismo é válido porque obedece a todas as regras de validade silogística.

2. Tudo o que é humano não é santo. Existem seres inteligentes que são seres humanos. Logo, não há seres inteligentes que sejam santos. Nenhum ser humano é santo. Alguns seres inteligentes são seres humanos. Logo, nenhum ser inteligente é santo. Silogismo inválido porque não respeita duas regras, uma quanto aos termos e outra quanto às proposições. Quanto aos termos infringe a regra que diz que os termos menor e maior não podem estar distribuídos (universais) na conclusão, sem estarem distribuídos nas premissas onde ocorrem. Ora o termo menor (seres inteligentes) tem mais extensão (distribuído –universal) na conclusão (sujeito de uma proposição universal – Tipo E) do que na premissa (sujeito de uma proposição particular– Tipo I)– falácia da ilícita menor.Quanto às proposições infringe a regra que diz que a conclusão deve seguir a parte mais fraca, ou seja, se uma premissa é particular, a conclusão tem de ser particular e, neste caso, temos uma proposição particular (Tipo I) e uma conclusão universal (Tipo E).

II

Identifique as falácias cometidas nos silogismos seguintes. Indique a figura e o modo.

1. Todos os defensores da igualdade são pessoas de esquerda. Algumas pessoas de esquerda são pessoas de extrema-esquerda. Logo, as pessoas de extrema esquerda são defensores da igualdade. Comete as falácias do termo médio não distribuído e da ilícita menor. O termo menor (pessoas de extrema-esquerda) surge não distribuído na segunda premissa (predicado de uma proposição afirmativa – Tipo A) e está distribuído na conclusão (sujeito de uma proposição universal – Tipo A). O termo médio (pessoas de esquerda) não tem extensão universal em nenhuma das premissas,

pois na premissa maior é predicado de uma proposição afirmativa – tipo A) e na premissa menor é sujeito de uma proposição particular – Tipo I) . Trata-se de um silogismo de 4.ª figura com o modo AIA.

2. Todas as máquinas são computadores. Nenhum organismo é máquina. Logo, nenhum organismo é computador. O silogismo é inválido. Comete a falácia da ilícita maior, porque o termo maior (computador) é particular na premissa maior (predicado de uma proposição afirmativa – Tipo A) e universal na conclusão (predicado de uma proposição negativa – Tipo E). É um silogismo da 1.ª figura, modo AEE.

III

Coloque as proposições dos silogismos categóricos seguintes na forma-padrão, corrija-os de modo a torná-los válidos e identifique a sua figura e modo.

1. Ser bom aluno é uma caraterística das pessoas estudiosas. Há pessoas que são estudantes, mas não são estudiosas. Logo, há estudantes que não são bons alunos. Forma-padrão:

Todas as pessoas estudiosas são bons alunos. Alguns estudantes não são pessoas estudiosas.Logo, alguns estudantes não são bons alunos.

Comete-se a falácia da ilícita maior. Bons alunos é particular na premissa (predicado de uma proposição afirmativa – Tipo A) e universal na conclusão (predicado de uma proposição negativa – Tipo O)

Correção:Todos os bons alunos são pessoas estudiosas. Alguns estudantes não são pessoas estudiosas.Logo, alguns estudantes não são bons alunos.

Silogismo da 2.ª figura. Modo AOO.

2. Não há rosas que não sejam plantas. Há plantas que são belas. Logo, todas as rosas são belas. Forma-padrão:

Todas as rosas são plantas. Algumas plantas são belas.Logo, todas as rosas são belas.

Comete-se a falácia do termo médio não distribuído: plantas é particular em ambas as premissas (predicado de uma proposição afirmativa – Tipo A e sujeito de uma proposição particular – Tipo I), e de uma premissa particular (Tipo I),

segue-se uma conclusão particular, o que não acontece, pois a conclusão é universal (Tipo A).

Correção:Todas as rosas são plantas. Todas as plantas são belas.Logo, todas as rosas são belas.

Silogismo da 4.ª figura. Modo AAA.