Lógica

Inferências complexas ou mediatas

Raciocínio: operação racional discursiva mediante a qual de duas ou mais proposições conhecidas se extraem uma ou varias outras proposições.

Raciocínio dedutivo: consiste em inferir, com necessidade lógica, de duas ou mais proposições(ditas antecedentes) uma outra proposição (dita consequente) que ou está contida naquelas (dedução silogística), ou é sua consequência lógica.

Raciocínio indutivo: a operação racional mediante a qual se conclui uma verdade universal ou geral a partir de verdades particulares.

Silogismo:
Um silogismo é um argumento dedutivo no qual é inferida uma conclusão a partir de duas premissas.As inferências silogísticas tratadas por Aristóteles dizem respeito a duas premissas e três termos, um dos quais é comum às duas premissas.

O problema da inferência silogística deixa-se formular do seguinte modo:-Que conclusão se segue das premissas com um termo comum a ambas e tal que este termo não ocorre na conclusão.-Ou como eliminar um termo comum a um par de premissas dado.

Em resumo:Se de uma proposição com termos M,P e de uma proposição com termos M,S, se infere uma proposição Y com nenhuma ocorrência de M, então esta inferência chama-se silogismo.

Entimema: é um silogismo incompleto por não ser expressa uma das premissas.

Ex.: Os búlgaros bebem Kefir
Os búlgaros gozam de boa saúde

Forma Normal Predicativa:
S é P (Sujeito/cópula/Predicado)

Forma Normal Silogística:
1- Premissa maior
2- Premissa menor
3- Conclusão

Regras de Justificação Silogística:
Predicado da conclusão é termo > e ocorre na premissa >
O sujeito da conclusão é termo < e ocorre na premissa <
O termo médio ocorre em ambas as premissas e não na conclusão.

Regra da Extensão dos termos:

Univ. Não univ.
A suj. pred.
E suj/pred.
I suj./pred.
O pred. suj.

Regras de validade silogística e falácias:

A - TERMOS:
1- Todo o silogismo deverá conter três termos, o termo maior, o termo menor e o termo médio.
2- Termo médio tem de ocorrer em toda a extensão pelo menos numa premissa.
3- Nenhum termo pode ocorrer em toda a extensão na conclusão sem o estar de igual modo nas premissas.

B - PREMISSAS
1- De duas premissas afirmativas não se pode seguir uma conclusão negativa.
2- De duas premissas negativas não se segue conclusão.
3- Se uma premissa é negativa a conclusão é negativa.
4- De duas premissas particulares não se segue conclusão.
5- Se uma premissa é particular a conclusão é particular.

Dedução das figuras do silogismo determinadas a partir do termo médio:
I figura II figura III figuraIV figura
P> TM Suj. Pred. Suj. Pred.
P< TM Pred. Pred. Suj. Suj.

Exemplos de silogismos válidos:
E se Nenhum português é asiático
A e Todos os lisboetas são Portugueses Silogismo válido I fig.
E entãoNenhum lisboetas é asiático

A Todos os insectos são animais de 4 patas
O Algumas aranhas não são animais de 4 patas Silogismo válido II Fig.
O Algumas aranhas não são insectos

I Alguma vontade é um mal
A Toda a vontade é um dever Silogismo válido III fig.
I Algum dever é um mal

I Alguns ovíparos são aves
A Todas as aves são bípedes Silogismo válido da IV fig
I Alguns bípedes são ovíparos