Logica I - Unisul

1. Você estudou que, de acordo com a lógica aristotélica, toda proposição categórica envolve o uso de quantificadores e pode ser expressa como uma cópula entre um sujeito S e um predicado P usando verbo "ser". Como nem sempre encontramos essa estrutura na linguagem cotidiana, às vezes é preciso usar uma paráfrase para reduzir a proposição a uma das formas básicas das proposições categóricas. Levando isso em consideração, reescreva as frases abaixo na forma básica mais apropriada a cada uma delas, sem alterar o seu sentido. Em seguida, classifique-as e indique o símbolo que representa a sua forma. (3,0 pontos)

a) Pedras não cantam.

Paráfrase: nenhuma pedra é cantora

Classificação: proposição universal negativa

Símbolo: E

b) Eu canto.

Paráfrase: alguma pessoa é cantora

Classificação: proposição particular afirmativa

Símbolo: I

c) Existem pessoas que já escreveram livros.

Paráfrase: algumas pessoas já escreveram um livro

Classificação: proposição particular afirmativa

Símbolo: I

d) Os dias nem sempre são chuvosos.

Paráfrase: algum dia não é chuvoso

Classificação: proposição universal negativa

Símbolo: O

2. Você estudou que uma das formas de se determinar a validade de um silogismo é analisar a sua forma e, a partir daí, consultar uma relação de figuras e modos válidos. Essa estratégia de avaliação do silogismo envolve sete passos e permite uma determinação conclusiva da validade do raciocínio em análise. Considerando esses sete passos, determine se o silogismo a seguir é válido ou inválido: (4,0 pontos)

Silogismo:

Alguns alunos da Unisul torcem pelo Palmeiras.

Nenhum corintiano torce pelo Palmeiras.

Portanto, alguns alunos da Unisul não são corintianos.

1º passo: Identifique na conclusão o sujeito e o predicado.

Sujeito da conclusão: alguns alunos da Unisul

Predicado da conclusão: corintianos

2º passo: Identifique a premissa maior e a menor.

Premissa Maior: Nenhum corintiano torce pelo Palmeiras.

Premissa menor: Alguns alunos da Unisul torcem pelo Palmeiras.

3º passo: Disponha o silogismo na ordem canônica:

Nenhum corintiano torce pelo Palmeiras

Alguns alunos da Unisul torcem pelo Palmeiras.

Portanto, alguns alunos da Unisul não são corintianos.

4º passo: Identifique o termo médio e a sua função lógica em cada premissa.

Termo médio: Palmeiras

Função lógica na premissa maior: predicado

Função lógica na premissa menor: predicado

5º passo: Usando "S" para representar o termo que desempenha a função de sujeito na conclusão, "P" para o termo que desempenha a função de predicado na conclusão e "M" para o termo médio, formalize o silogismo e identifique a sua figura:

Formalização: