Lógica com proposições

EXPEDIÇÕES PELO MUNDO DA CULTURA

Esquema Aristotélico nº 50

Proposições

A lógica aristotélica lida com proposições, na forma de alguma coisa (P) que se afirma ou se nega de alguma coisa (S).

Tipologia das proposições I – Modo*

Assertatório

(categorial)

Aplica‑se

(é)

Alguns calamares chegam a um comprimento de 3 pés.

Apodítico

(necessário)

Aplica‑se necessariamente

(deveria ser)

Todo homem é constituído de carne, osso...

Problemático

(contingente)

Aplica‑se possivelmente

(poderia ser)

É possível que nenhum cavalo esteja dormindo.

*Modo quer dizer modo como os termos de uma proposição estão relacionados.

Tipologia das proposições II – Qualidade

	Universal	Particular
Afirmativa	Todo animal vivíparo é vertebrado (Afirma P a todo o S).	Alguns animais ovíparos são sangüíneos (Afirma P de algum S).
Negativa	Nenhum cachorro pode voar (Nega P a todo o S).	Alguns animais ovíparos não são sangüíneos (nega o P de algum S).

Tipologia das proposições III – Valor

Verdadeiro	Se a relação que ela descreve é como é.
Falso	Se a relação que ela descreve não é como é.

Fontes: Aristóteles. Analíticos Anteriores. Tradução de Pinharanda Gomes. Lisboa, Guimarães Editores, 2001.

Barnes, Jonathan. Aristóteles. Tradução de Adail Ubirajara Sobral e Maria Estela Gonçalves. São Paulo, Edições Loyola,
2005.

Joseph, Sister Mirian. Trivium. Editado por Marguerite McGlinn. Philadelphia, Paul Dry Books, 2002.