A Lgica Silogstica ou Aristotlica

Trs Formas de Silogismo:

SILOGISMO CATEGRICO
Um silogismo categrico um raciocnio dedutivo. Na sua forma padronizada constitudo por trs proposies: as duas primeiras denominam-se premissas e a terceira concluso.

TIPOS DE PROPOSIES:
1. Universais afirmativas (tipo A): Todo o A B. Forma Cannica: Todos os homens so mortais.

2. Universais negativas (tipo E): Nenhum A B. Forma Cannica: Nenhum homem mortal.
3. Particulares afirmativas (tipo I): Algum A B. Forma Cannica: Alguns homens so mortais. 4. Particulares negativas (tipo O): Algum A no B. Forma Cannica: Alguns homens no so mortais.

Estrutura da proposio categrica:

QUANTIFICADOR SUJEITO Cpula (verbo ser) PREDICADO

Determina a extenso (particular ou universal) do sujeito.

Aquilo acerca do qual se afirma ou nega algo.

o element o de ligao entre o sujeito e o predicad o.

A qualidade ou caracterstica que se afirma pertencer ao sujeito.

DIAGRAMAS

Formulaes de Proposies TIPO A

Os homens so mortais

No h homem que no seja mortal

Tudo o que homem tambm mortal

S os homens so mortais
Qualquer homem mortal

Formulaes de Proposies TIPO E

No h ser humano que seja imortal
No existem homens que sejam imortais H coisas que so imortais mas nenhum homem uma delas Tudo o que humano no imortal

Formulaes de Proposies TIPO I

Existem homens mortais H homens que so mortais

Pelo menos h um homem que mortal

Formulaes de Proposies TIPO O

H homens que no so msicos Nem todos os homens so msicos Existem homens que no so msicos

Distribuio dos Termos

Um termo est distribudo se estiver considerado em toda a sua extenso, isto , se algo dito acerca de todos e de cada um dos elementos da sua classe.
Tipo de proposio SUJEITO Distribudo Distribudo No Distribudo No Distribudo PREDICADO No Distribudo Distribudo No Distribudo Distribudo

A E I O

Distribuio dos termos

Regra da quantificao do sujeito Regra da quantificao do predicado

O sujeito s est distribudo O predicado s est distribudo (universal) nas proposies (universal) nas proposies universais. negativas . (Tipos A e E) (Tipos E e O)

COMPOSIO DO SILOGISMO CATEGRICO

Forma- Padro de um silogismo categrico: 1. Todos os homens so mortais 2. Scrates homem 3. Logo, Scrates mortal
O silogismo categrico constitudo por proposies (premissas e concluso) e termos. As proposies afirmam ou negam de forma absoluta.

ENTIMEMA
Um entimema um argumento que contm pelo menos uma premissa no formulada (subentendida), normalmente designada por premissa implcita.
EXEMPLO: Isabel escorpio porque nasceu a 30 de Outubro Premissa subentendida: Todos os que nasceram a 30 de Outubro so escorpies.

TERMOS

PROPOSIES
1. Todos os homens so mortais 2. Scrates homem 3. Logo, Scrates mortal
1. Premissa Maior (termos maior e mdio) 2. Premissa Menor (termos menor e mdio) 3. Concluso (termos menor e maior) Obs O termo menor o Sujeito da Concluso e o Termo Maior o Predicado da Concluso

REGRAS PARA TERMOS

REGRAS PARA PROPOSIES

Nenhuma concluso se segue de duas premissas negativas. Nenhuma concluso se segue de duas premissas particulares. Se as duas premissas forem afirmativas, a concluso no pode ser negativa.

REGRAS PARA PROPOSIES

Falcias do Silogismo Categrico

Falcia do termo no-distribudo: o termo mdio particular nas duas premissas; Falcias da ilcita menor ( o termo menor est distribudo na concluso mas no nas premissas) e da ilcita maior (o termo maior est distribudo na concluso mas no na premissa).

CLASSIFICAO DO SILOGISMO: MODO E FIGURA

1)MODO:
determinado pelo tipo de proposies que o silogismo contm. Exemplo: Nenhum ignorante filsofo - Tipo E Algumas mulheres so filsofas - Tipo I Algumas mulheres no so ignorantes - Tipo O

O MODO DESTE SILOGISMO E, I e O.

FORMA DO SILOGISMO
2) FIGURA:
determinada pelo posio do termo mdio nas premissas do silogismo.

1 figura
Premissa Maior Premissa menor

2 figura
TM tM

3 figura
M-T M-t

4 figura
T-M M-t

M-T t-M

SILOGISMOS HIPOTTICOS:
1. SILOGISMOS CONDICIONAIS: Silogismo em que a premissa maior no afirma nem nega de modo absoluto, mas a ttulo condicional.

Exemplo:

Se chover no vamos ao futebol. Chove Logo, no iremos ao futebol.

1. Modus Ponens (Afirmativo):

1. Se o comboio est avariado, ento vou chegar atrasado no emprego (Se p, ento q) 2. O comboio est avariado (p) 3. Logo, vou chegar atrasado no emprego (q)
Se a = Antecedente p premissa menor afirma o antecedente, a concluso tambm Consequente q = afirmar o consequente. Quando a premissa menor afirma o consequente no vlido concluir afirmando o antecedente Falcia da Afirmao do Consequente.

2. Modus Tollens (Negativo):

1. Se o comboio est avariado, ento vou chegar atrasado no emprego (Se p, ento q) 2. No chego atrasado no emprego (~q) 3. Logo, o comboio no avariou (~p) p premissa menor nega o consequente, a Se a = Antecedente q = Consequente concluso ter de negar o antecedente. Quando a premissa menor nega o antecedente no vlido concluir negando o consequente Falcia da Negao do Antecedente.

2. SILOGISMOS DISJUNTIVOS
Silogismo em que a premissa maior se apresenta sob a forma alternativa.

Exemplo:

Este tringulo ou issceles ou escaleno. Ora este tringulo escaleno Logo, este tringulo no issceles.

1. Modus Tollendo-Ponens:
Se a premissa menor nega um dos plos da alternativa, a concluso afirmar necessariamente o outro.

Negando-Afirmando
Antnio jovem ou velho (p ou q) Antnio no jovem (~p) Logo, Antnio velho (q)

2. Modus Ponendo-Tollens:
Se a premissa menor afirma um
dos plos da alternativa, a
Afirmando-Negando

concluso negar o outro plo.

CONDIO: A disjuno tem de ser exclusiva ou completa.

1 CASO: Disjuno completa ou exclusiva

1.Comerei algo ou passarei fome. 2.Comi algo. 3.Logo, no passei fome. Os termos em alternativa so incompatveis, completamente opostos.

2 CASO: Disjuno incompleta ou inclusiva

1. O Antnio professor de portugus ou poeta 2. O Antnio professor de portugus 3. Logo, no se pode extrair uma concluso vlida Os termos em alternativa no so incompatveis, ou seja, ambas as alternativas podem ocorrer simultaneamente.