Lgica Dedutiva e Falcias

Aula 3 Prof. Andr Martins

Lgica

A Lgica o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocnio correto?

Lgica

A Lgica o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocnio correto? Em geral um raciocnio considerado correto quando as conclus!es a que se chega s"o as melhores poss#eis dada a informa$"o dispon#el.

Tipos de Lgica

Ao analisar uma determinada proposi$"o queremos decidir se ela #erdadeira ou n"o. %uanto a esta decis"o podemos di#idir o estudo da Lgica em dois tipos&
'

'

Lgica (eduti#a& uma proposi$"o pode ser apenas #erdadeira ou falsa n"o ha#endo alternati#a intermediaria. Lgica )nduti#a& *ma proposi$"o pode ter diferentes graus de plausi+ilidade associados a ela de acordo com esta parecer ser mais ou menos #erdadeira

,oc- um guarda em sua ronda noturna e ou#e um alarme disparar. O alarme o alarme de uma .oalheria que est/ com o #idro da frente totalmente estilha$ado. 0aindo da .oalheria #oc- #- um homem #estindo uma m/scara carregando um saco. Aps det-1lo para a#eriguar o que est/ acontecendo #oc- #- que o saco est/ cheio das .ias da .oalheria. 0egue logicamente de uma forma deduti#a que o indi#duo um ladr"o ou se.a que ele esta#a assaltando a .oalheria?

Lgica Dedutiva

A Lgica (eduti#a frequentemente chamada simplesmente de Lgica lida com a #erdade de proposi$!es. *ma proposi$"o corresponde ao significado de uma dada senten$a e em lgica deduti#a elas s"o afirma$!es que s"o ou #erdadeiras ou falsas. 2a Lgica Aristotlica proposi$!es s"o afirma$!es que afirmam ou negam um predicado 3uma qualidade4 de um su.eito.

Raciocinando

A& 0crates um homem.

Portanto

5& 0crates mortal. O raciocnio acima est/ correto mas ser/ que ele ser#e de um molde que garanta que qualquer raciocnio que tenha a mesma forma ser/ correto?

Forma

O raciocnio anterior tinha a seguinte estrutura& dada uma premissa A segue uma conclus"o 5. O pro+lema sa+er se qualquer raciocnio desta forma correto.

Forma

O raciocnio anterior tinha a seguinte estrutura& dada uma premissa A segue uma conclus"o 5. O pro+lema sa+er se qualquer raciocnio desta forma correto. ,e.amos outro e6emplo utili7ando a mesma forma&
' '

A& Meu carro #erde.

Portanto

5& meu carro um #egetal.

Silogismos

*m silogismo uma infer-ncia na qual a #erdade de uma proposi$"o 3a conclus"o4 segue como consequ-ncia de duas outras proposi$!es 3premissas4. 2o primeiro e6emplo na #erdade ha#ia uma segunda premissa n"o mencionada por ser +#ia mas importante&
'

5& 8odo homem mortal.

O raciocnio completo
' ' '

A 5& 8odo homem mortal. A& 0crates um homem 5& 0crates mortal

2este caso podemos afirmar que o esquema acima #/lido para quaisquer infer-ncias chegando a uma conclus"o correta desde que as premissas se.am corretas. A sa+er se A implica em 5 e se A #erdadeiro logo 5 tam+m o .

Classes e Silogismos

8radicionalmente silogismos se referem a classes de o+.etos e n"o a um 9nico elemento 3mas sempre se pode criar uma classe com o elemento 9nico dese.ado4. Assim temos por e6emplo que
' '

8odo P % 8odo % :
Portanto

Classes e Silogismos

8radicionalmente silogismos se referem a classes de o+.etos e n"o a um 9nico elemento 3mas sempre se pode criar uma classe com o elemento 9nico dese.ado4. Assim temos por e6emplo que
' ' '

8odo P % 8odo % :
Portanto

8odo P :

Nem tudo um silogismo

;oram compliadas listas de silogismos #/lidos mas nem tudo que tem a forma de um . Por e6emplo se no e6emplo do 0crates onde temos que
'

5& 8odo homem mortal.

0e ao in#s de o+ser#armos A ou se.a que algum um homem o+ser#a1se 5 que algo mortal n"o seria poss#el concluir que A.

Algumas alcias da Lgica Dedutiva

' ' '

A 5& 8odo homem mortal. 5& 8ot mortal

N!o significa que

A& 8ot homem<

Por outro lado se

' ' '

A 5& 8odo homem mortal. 2"o A& 8ot n"o um homem

8am+m n!o segue que

2"o 5& 8ot n"o mortal

"or outro lado

' '

5& 8odo homem mortal.

0e o+ser#armos que 5 falso

2"o 5& Algo n"o mortal

)sto significa necessariamente que

'

2"o A& este algo n"o um homem 3afinal se fosse um homem de#eria ser mortal o que determinamos na segunda premissa que n"o era #erdade4.

Tipos de "remissas

8ipo A& *ni#ersal Afirmati#a. E6emplo& 8odos os homens s"o mortais 8ipo E& *ni#ersal 2egati#a& 2enhum cachorro uma pedra 8ipo )& Particular Afirmati#a& Alguns polticos s"o corruptos. 8ipo O& Particular 2egati#a& Algumas cadeiras n"o s"o confort/#eis.

Diagramas de #enn$%o&nston

*ma forma mais eficiente de lidar com este tipo de pro+lema ao in#s de decorar a lista de silogismos ela+orada na )dade Mdia utili7amos um mtodo gr/fico para representar as proposi$!es conhecido comumente como diagrama de ,enn 3sua aplica$"o a Lgica chamada de diagrama de =ohnston4

Diagrama

O+#iamente n"o se pode utili7ar os diagramas sem pensar de#endo1se tradu7ir cada proposi$"o em sua forma mais geral poss#el ao se desenhar o diagrama.

Argumentos vlidos

*m argumento considerado #/lido se ao supormos que suas premissas s"o #erdadeiras a conclus"o se.a o+rigatoriamente #erdadeira tam+m.

O seguinte argumento seria #/lido?

8odos os ratos respiram em+ai6o d>/gua. ' O filsofo 0crates um rato. portanto ' 0crates respira em+ai6o d>/gua
'

*m argumento #/lido se e somente se sua conclus"o segue como consequ-ncia necess/ria das premissas. A #eracidade das premissas n"o importa para a #alidade de um argumento? para checara #alidade assuma temporariamente que as premissas s"o #erdadeiras. O argumento anterior era #/lido ainda que todas as afirma$!es se.am falsas<

Falcias

,imos que nem todos os silogismos poss#eis de serem formados s"o #/lidos e que portanto poss#el cometer1se fal/cias ao utili7ar uma forma err@nea. E6istem listas de fal/cias conhecidas na )nternet&

http://www2.uol.com.br/aprendiz/n_colunas/f_litto/index.htm

'

&ttp'$$en()i*ipedia(org$)i*i$Logical allac+

"ro,lemas Reais e -ncerte.a

Os pro+lemas reais no entanto muitas #e7es n"o se encai6am dentro do esquema da Lgica Al/ssica. Por #e7es achamos que uma das premissas #erdadeira mas n"o poss#el ter certe7a. Outras #e7es n"o poss#el o+ter1se um silogismo para o caso estudado o que n"o quer di7er que n"o a.a informa$"o ali.

2o e6emplo do guarda poss#el que o suposto ladr"o se.a o dono da .oalheria que #oltando mascarado de um +aile a fantasia #iu um carro atirar acidentalmente uma pedra contra o #idro de sua .oalheria e tendo apenas um saco para carregar as .ias resol#eu le#/1las para a casa para proteger sua propriedade. A e6plica$"o pode ser impro#/#el mas ao e6istir impossi+ilita a aplica$"o da Lgica Al/ssica.