Quadrado das oposies Wikipdia, a enciclopdia livre https://pt.wikipedia.

org/wiki/Quadrado_das_oposies

Quadrado das oposies

Origem: Wikipdia, a enciclopdia livre.

No sistema da lgica
aristotlica, o quadrado
das oposies, tambm
conhecido como
quadrado lgico ou
tbua das oposies,
um diagrama
representando as
diferentes formas que cada
uma das quatro
proposies do sistema
est logicamente
relacionado (isto , do
lado oposto) as outras trs.

ndice
1 Formas lgicas
2 Vrtices do quadrado lgico em uma tabela
3 Relaes entre as proposies
4 Algumas leis do quadrado lgico
5 O problema da importao existencial
6 Converso de proposies
6.1 p/ex.
6.2 Converso por tipo de proposio

1 de 5 03/04/17 16:09
Quadrado das oposies Wikipdia, a enciclopdia livre https://pt.wikipedia.org/wiki/Quadrado_das_oposies

6.3 Converso simples

6.4 Converso por limitao ou acidente
6.5 Converso por negao
7 Ver tambm
8 Referncias
9 Ligaes externas

Formas lgicas
Toda proposio categrica (proposies da forma sujeito-predicado prefixada por um quantificador)
pode ser reduzida a alguma das seguintes quatro formas lgicas.

Proposio 'A', a afirmao universal ("universalis affirmativa"), cuja forma em latim "omne S
est P", normalmente traduzido como "todo S P".
Proposio 'E', a negao universal ("universalis negativa"), cuja forma em latim "nullum S est
P", normalmente traduzido como "nenhum S P".
Proposio 'I', a afirmao particular ("particularis affirmativa"), cuja forma em latim
"quoddam S est P", normalmente traduzido como "algum S P".
Proposio 'O', a negao particular ("particularis negativa"), cuja forma em latim "quoddam S
non est P", normalmente traduzido como "algum S no P".

Vrtices do quadrado lgico em uma tabela

Nome Smbolo Latin portugus significado
Afirmao Universal A Omne S est P todo S P todo S P
Negao Universal E Nullum S est P no S P nenhum S P
Afirmao existencial I Quoddam S est P algum S P algum S P
Negao existencial 0 Quoddam S non est P algum S no P algum S no P

Relaes entre as proposies

Atravs das proposies e das setas do quadrado, podemos ver as varias relaes que se podem
estabelecer entre 'A', 'E', 'I' e 'O'.

Proposies contrrias (A E): So proposies universais que diferem s pela qualidade (negao ou
afirmao).

Exemplo: Todos os homens so brancos (A) e Nenhum homem branco (E).

Proposies subcontrrias (I O): So proposies particulares que diferem s pela qualidade.

Exemplo: Alguns homens so brancos (I) e Alguns homens no so brancos (O).

Proposies subalternas ( A I e E O ): So proposies que s diferem pela quantidade. (nmero

de indivduos que esto sendo relacionados)

Exemplo: Todos os homens so racionais (A) e Alguns homens so racionais (I);

Nenhum homem branco (E) e Alguns homens no so brancos (O).

2 de 5 03/04/17 16:09
Quadrado das oposies Wikipdia, a enciclopdia livre https://pt.wikipedia.org/wiki/Quadrado_das_oposies

Proposies contraditrias (A O e E I): So proposies que diferem quanto quantidade e

qualidade.

Exemplo: Todos os homens so brancos (A) e Alguns homens no so brancos (O);

Nenhum homem branco (E) e Alguns homens so brancos (I).

Algumas leis do quadrado lgico

1. Regra das contrrias: Duas proposies contrrias no podem ser ambas verdadeiras ao mesmo
tempo.
2. Regra das contraditrias: Duas proposies contraditrias no podem ser nem verdadeiras nem
falsas ao mesmo tempo.
3. Regra das subcontrrias: Duas proposies subcontrrias no podem ser ambas falsas ao mesmo
tempo.

Aristteles declarou no captulo 6 e 7 de Periermeneias. Traduzido do original: Organon que h certas

relaes lgicas entre estes quatro tipos de proposio. Ele alegou que toda afirmao tem exatamente
uma negao correspondente, e que toda afirmao e sua negao so opostas de tal forma que sempre
uma delas verdadeira e a outra falsa. Um par formado por uma afirmao e sua negao chamado de
"contradio"(em latim: contradictio). Um exemplo de contradio "todo homem branco" e "nem
todo homem branco", "nenhum homem branco" e "algum homem branco". Contrarias (latin:
Contrariae), so declaraes tais que ambas no podem ser verdadeiras ao mesmo tempo. Um exemplo
disto a afirmao universal "todo homem branco" e a negao do universal "nenhum homem
branco". Estas afirmaes no podem ser verdadeiras ao mesmo tempo, porm, elas no so
contraditrias, pois pode ser que as duas sejam falsas ao mesmo tempo. Por exemplo, falso que todo
homem honesto, desde que exista algum homem que no seja honesto. Ento, no verdade que
nenhum homem seja honesto, desde que haja algum homem honesto.

Uma vez que toda afirmao tem um oposto contraditrio, e que toda contradio verdade quando seu
oposto falso, segue que os opostos dos contrrios (que os medievais chamaram de subcontrrias, ou
subcontrariae) podem ser verdadeiros ao mesmo tempo, mas no falsos ao mesmo tempo. Uma vez que
as subcontrrias so negaes das afirmaes universais, elas foram chamadas de afirmaes
"particulares" pelos lgicos medievais.

Uma outra relao lgica que segue disso, no mencionada explicitamente por Aristteles a relao de
subalternao (subalternatio). Esta uma relao entre uma afirmao universal e uma afirmao
particular tal que a particular implicada pelo universal. Por exemplo: se "todo homem branco"
verdadeira, ento a contrria "nenhum homem branco" falsa. Logo, a contraditria "algum homem
branco" verdadeira. Similarmente, a universal "nenhum homem branco" implica na particular "nem
todo homem branco".

O problema da importao existencial

As subcontrrias, que os lgicos medievais representavam na forma "existe algum A que B" e "existe
algum A que no B" no podem ser ambas falsas, j que suas contraditrias universais "todo A B" e
"nenhum A B" no podem ser ambas verdadeiras ao mesmo tempo. Isso nos leva a um problema que
foi primeiramente identificado por Pedro Abelardo: "Algum A B" parece implicar em "alguma coisa
A". Por exemplo: "Algum homem branco" parece implicar que, pelo menos, "alguma coisa um
homem", a saber, homem que tem que ser branco se "algum homem branco" for verdadeira. Mas
"algum homem no branco" tambm parece implicar que "alguma coisa um homem" a saber, homem
que no branco se "algum homem no branco" for verdadeira. Mas a lgica aristotlica exige que
necessariamente uma destas afirmaes seja verdadeira. Ento (dado que ambas implicam que algo um

3 de 5 03/04/17 16:09
Quadrado das oposies Wikipdia, a enciclopdia livre https://pt.wikipedia.org/wiki/Quadrado_das_oposies

homem), segue que, necessariamente, algo um homem, isto , um homem de fato existe. Mas (como
aponta Abelardon na Dialtica), no pode ser o caso que homens no existissem?

Mas se absolutamente nenhum homem existir, ento no verdade nem que "todo homem um homem"
e nem que "algum homem no um homem".

Abelardo tambm assinala que subcontrrias contendo termos de sujeito com denotao vazia, como "um
homem que uma pedra" so ambas falsas.

Se "todo homem que uma pedra, uma pedra" for verdade, sua converso 'per accidens(ou por
acidente) para "certa pedra um homem que uma pedra" tambm ser verdade. Mas nenhuma pedra
um homem que uma pedra porque, nem este homem, nem aquele homem, nem nenhum outro, so uma
pedra. Mas tambm temos que "certo homem que uma pedra, no uma pedra" falso por
necessidade, j que impossvel supor que isso seja verdade.

Assim sendo, temos que ambas as afirmaes so falsas.

Converso de proposies
A converso de uma proposio consiste em tirar de uma proposio uma outra pela transposio dos
seus termos, de modo que o sujeito se torne predicado e o predicado sujeito. A proposio que se obtm
por processo de converso no deve afirmar ou negar nada mais do que a proposio convertida.

p/ex.

Converso por tipo de proposio

E, I converso simples
A converso por limitao
O converso por negao

Converso simples

Exemplo Converso vlida

I Alguns poetas so rabes Alguns rabes so poetas
E Nenhum gato co Nenhum co gato

As converses simples das proposies do tipo "A" e "O" no so vlidas porque infringem umas das
regras fundamentais das inferncias: Os termos no podem ser mais extensos na concluso que nas
premissas.

Converso por limitao ou acidente

4 de 5 03/04/17 16:09
Quadrado das oposies Wikipdia, a enciclopdia livre https://pt.wikipedia.org/wiki/Quadrado_das_oposies

Exemplo Converso vlida

A Todos os advogados so juristas Alguns juristas so advogados

As proposies de tipo "A" podem ser convertidas desde que se altere a quantidade do sujeito da nova
proposio.

Converso por negao

Exemplo Converso vlida

Alguns poetas no so Alguns no portugueses so
O
portugueses poetas

Esta converso s se aplica s proposies particulares negativas.

Ver tambm
Silogstica booleana
Lgica livre (http://en.wikipedia.org/wiki/Free_logic) (em ingls)

Referncias
[ site navegando na filosofia, de Carlos Fontes ] (em portugus)

Ligaes externas
Congresso internacional sobre o quadrado das oposies (http://www.square-of-opposition.org/)
Nmero especial da revista Logica Universalis Vol2 N1 (2008) sobre o quadrado das oposies
(http://www.springerlink.com/content/l8rj3631747w/)

Obtida de "https://pt.wikipedia.org/w/index.php?title=Quadrado_das_oposies&oldid=48092427"

Categorias: Lgica Matemtica

Esta pgina foi modificada pela ltima vez (s) 12h46min de 23 de fevereiro de 2017.
Este texto disponibilizado nos termos da licena Creative Commons - Atribuio - Compartilha
Igual 3.0 No Adaptada (CC BY-SA 3.0); pode estar sujeito a condies adicionais. Para mais
detalhes, consulte as condies de uso.

5 de 5 03/04/17 16:09