Lgica

Introduo

Definio

A Lgica tem, por objeto de estudo, os mtodos e princpios

usados para distinguir o raciocnio correto do incorreto.
S possvel argumentar corretamente com uma que tenha
estudado lgica. (F) Mas, dada a argcia inata do intelecto,
uma pessoa com conhecimento de lgica tem mais
probabilidades de raciocinar corretamente do que aquela
que no se aprofundou nos princpios gerais da lgica. As
razes so 3: 1. lgica como cincia e arte leve o
estudante a fazer todos os aspecto da teoria; 2. conhecer
as falcias aprofunda + a viso dos princpios e ajuda a
evit-las; e 3. a lgica com suas tcnicas e mtodos para
distinguir o argumento correto do incorreto facilita a anlise
de todos os raciocnios dos outros e de si prprio.

Origem

Aristteles - filsofo grego - 342 a.C,

sistematizou os conhecimentos existentes
em Lgica, elevando-os categoria de
cincia.

Em sua obra chamada Organum

(ferramenta para o correto pensar),
estabeleceu princpios to gerais e to
slidos que at hoje so considerados
vlidos.
3

Origem

Aristteles se preocupava com as formas

de raciocnio que, a partir de
conhecimentos considerados verdadeiros,
permitiam obter novos conhecimentos.

A partir dos conhecimentos tidos como

verdadeiros, caberia Lgica a formulao
de leis gerais de encadeamentos lgicos
que levariam descoberta de novas
verdades. Essa forma de encadeamento
chamada, em Lgica, de argumento.
4

Lgica

Lgica como cincia das leis do pensamento incluir nela

muitas coisas, por isso esta definio no exata, ainda
que sinaliza a natureza da lgica. O pensamento
estudado pela psicologia. Todo raciocnio pensamento,
mas nem todo pensamento raciocnio.
O carter de uma pessoa pode ser compreendido
mediante a observao do seu fluxo de pensamento.
James Joyce trata bem isto em sua obra Ulysses. Quando
os psiclogos examinam o processo de raciocnio, achamno extremamente complexo, altamente emocional,
consistindo em inbeis procedimentos de tentativa-eerro, iluminado por repentinos relmpagos de introviso,
as vezes at desconexos. Importante para a psicologia
5

Premissas e concluses
O lgico no est interessado, em
absoluto, nos obscuros caminhos pelos
quais a mente chega s suas
concluses durantes os processos
concretos de raciocnio. Ao lgico s
interessa a correo do processo,uma
vez completado , independente do seu
contedo. Sua interrogao sempre
esta: a concluso a que se chegou
deriva das premissas usadas ou
pressupostas?

Premissas e concluses

A inferncia um processo pelo qual

se chega a uma proposio, afirmada
na base de uma ou mais proposies
aceitas como ponto de partida do
processo. As proposies so F ou V
das perguntas, ordens e exclamaes
(responder, executar e proferir)
7

Sentena de
proposio

Paulo compra flores. Flores so

compradas por Paulo ( 2 sentenas
e apenas 1 proposio)
Joo e Maria so casados. ( 1
sentena e 2 proposies que so
Joo e Maria so casados entre si
ou no, cada um com seu
respectivo cnjuge)
8

Premissas e concluso

Termos relativos, ex.:

Todo cuiabano brasileiro. Luis
cuiabano. Logo, Lus brasileiro. E
como todo brasileiro tem que ter
certido de nascimento. Portanto,
Luis tem que ter certido de
nascimento.
9

Argumento

Um argumento uma seqncia de proposies na

qual uma delas a concluso e as demais so
premissas. As premissas justificam a concluso.
Proposies: sentenas afirmativas que podem ser
verdadeiras ou falsas.
Premissas: afirmaes disponveis

Exemplo:
Todo aluno de Computao precisa estudar Lgica.
(premissa)
Jos aluno de Computao.
(premissa)
Logo, Jos precisa estudar Lgica.
(concluso)
10

Argumento

O objetivo de um argumento justificar uma afirmao

que se faz, ou dar as razes para uma certa concluso
obtida.
Exemplo:
Voc me traiu. Pois, disse que ia estudar e meu
irmo lhe viu na boate.

Um argumento demonstra/prova como a partir dos

dados de um problema chegou-se a uma concluso.
11

Argumento:
Raciocnio e Inferncia

Exerccio 1:
Um turista est andando pela terra dos honestos e
mentirosos. L, as pessoas so radicais, umas s
falam a verdade e outras s falam mentiras.
Chegou a hora do almoo e o turista encontra-se
numa estrada com uma bifurcao. O turista sabe
que um dos caminhos para um restaurante e o
outro para um abismo, mas no sabe distingui-los.
Nesta bifurcao ele encontra um homem nativo.
Naturalmente o turista no sabe se ele honesto
ou mentiroso. Como o turista descobre o caminho
para o restaurante fazendo uma nica pergunta a
esse nativo?
12

Argumento:
Raciocnio e Inferncia

Exerccio 2:
Um rei resolveu dar a liberdade a um de seus trs
prisioneiros. Mandou trazer trs chapus brancos e dois
vermelhos. Vendou os olhos dos prisioneiros, colocou
um chapu em cada um e depois foi retirando a venda
dos olhos deles. Ganharia a liberdade aquele que
soubesse dizer, de forma convincente, a cor do seu
prprio chapu olhando para os outros prisioneiros. Os
dois primeiros no souberam dizer. O terceiro, antes
que o rei lhe tirasse a venda dos olhos, afirmou com
toda certeza a cor do seu chapu.
Qual a cor do chapu do terceiro prisioneiro? Justifique.
13

Argumento:
Raciocnio e Inferncia

Para convencer que voc sabe a resposta (que

no um chute) voc tem de expor as razes
que o levaram a concluso (justificar).
Pontos de Partida

Caminhos Seguidos

Raciocnio ou
Processo de Inferncia

Concluso

Um argumento poderia ser considerado uma

reconstruo explcita do raciocnio efetuado

14

Argumento:
Raciocnio e Inferncia

Inferncia a relao que permite

passar das premissas para a
concluso (um encadeamento
lgico)

A palavra inferncia vem do latim,

Inferre, e significa conduzir para
15

Argumento

O objeto de estudo da lgica

determinar se a concluso de um
argumento ou no decorrente das
premissas (uma inferncia).

16

Validade de um Argumento

Em um argumento vlido, as premissas

so consideradas provas evidentes da
verdade da concluso, caso contrrio no
vlido.

Quando vlido, podemos dizer que a

concluso uma conseqncia lgica das
premissas, ou ainda que a concluso
uma inferncia decorrente das premissas.
17

Validade de um Argumento

Exemplo 1: O argumento que segue vlido?

Se eu ganhar na Loteria, serei rico.
Eu ganhei na Loteria.
Logo, sou rico.

Vlido
(a concluso uma decorrncia
lgica das duas
premissas.)
18

Validade de um Argumento

Exemplo 2: O argumento que segue vlido?

Se eu ganhar na Loteria, serei rico
Eu no ganhei na Loteria
Logo, no sou rico

No Vlido
(a concluso no uma decorrncia
lgica das duas premissas.)
19

Validade de um Argumento

A lgica se preocupa com o

relacionamento entre as premissas e a
concluso, ou seja, com a estrutura e a
forma do raciocnio. A verdade do
contedo de cada premissa e da
concluso estudo das demais cincias.

A validade do argumento est

diretamente ligada forma pela qual ele
se apresenta (Lgica Formal estuda a
forma dos argumentos).
20

Deduo e Induo

A Lgica dispe de duas

ferramentas que podem ser
utilizadas pelo pensamento na
busca de novos conhecimentos: a
deduo e a induo, que do
origem a dois tipos de argumentos:
Dedutivos e Indutivos.
21

Argumentos Dedutivos

Os Argumentos Dedutivos pretendem

que suas premissas forneam uma prova
conclusiva da veracidade da concluso.
Podem ser:
Vlidos: quando suas premissas, se
verdadeiras, fornecem provas
convincentes para a concluso. Isto ,
se as premissas forem verdadeiras,
impossvel que a concluso seja falsa;
Invlidos: no se verifica a
caracterstica anterior.
22

Argumentos Dedutivos

Exemplos de argumentos dedutivos:

Ela toca piano ou violo.
Argumento
Ela toca piano.
Invlido
Logo, ela no toca violo.
Todo homem mortal.
Scrates um homem.
Logo, Scrates mortal.

Argumento Vlido

23

Argumentos Indutivos

Os Argumentos Indutivos no pretendem que

suas premissas forneam provas cabais da
veracidade da concluso, mas apenas que
forneam indicaes dessa veracidade.
(possibilidade, probabilidade)

Seguem do Raciocnio Indutivo, isto , obtm

concluses baseada em
observaes/experincias. Enquanto que um
Raciocnio Dedutivo exigi uma prova formal sobre
a validade do argumento.

Os termos vlidos e invlidos no se aplicam para

os argumentos indutivos. Eles so avaliados de
acordo com a maior ou a menor probabilidade
com que suas concluses sejam estabelecidas. 24

Argumentos Indutivos

Exemplo1:
Joguei uma pedra no lago, e ela afundou;
Joguei outra pedra no
lago e ela tambm afundou;
Joguei mais uma pedra no lago, e ela
tambm afundou;
Logo, se eu jogar uma outra pedra no
lago, ela vai afundar.
25

Argumentos Indutivos

Exemplo2:
A vacina funcionou bem nos ratos.
A vacina funcionou bem nos macacos.
Logo, vai funcionar bem nos humanos.

Exemplo3:
80% dos entrevistados vo votar no
candidato X.
Logo, o candidato X vai vencer as eleies.

26

Argumentos Indutivos

A Lgica Formal Clssica s estuda

Argumentos Dedutivos, verificando
se so ou no vlidos.

27

Validade e Verdade

Verdade e Falsidade: so propriedades

das proposies, nunca dos
argumentos

Validade ou Invalidade: so propriedades dos argumentos dedutivos que

dizem respeito a inferncia ser ou no
vlida (raciocnio ser ou no correto)
28

Validade e Verdade

Exemplo 1
Toda baleia um mamfero (V)
Todo mamfero tem pulmes (V)
Logo, toda baleia tem pulmes
(V)

Argumento vlido e a concluso

verdadeira.
29

Validade e Verdade

Exemplo 2
Toda aranha tem seis pernas
(F)
Todo ser de seis pernas tem asas (F)
Logo, toda aranha tem asas
(F)

Argumento vlido e a
concluso
falsa
30

Validade e Verdade

Os conceitos de argumento vlido ou invlido

so independentes da verdade ou falsidade de
suas premissas e concluso.

Qualquer combinao de valores verdade entre

as premissas e a concluso possvel, exceto
que nenhum argumento dedutivo vlido tenha
as premissas verdadeiras e a concluso falsa.

Um argumento dedutivo no qual todas as

premissas so verdadeiras dito Argumento
Correto, evidentemente sua concluso
tambm verdadeira.
31

Lgica Clssica e
Lgica Simblica.

Lgica Informal formula os argumentos em

linguagem natural, mas enfrenta problemas de
ambigidade e de construes confusas.

A Lgica Simblica ou Lgica Matemtica utiliza

smbolos de origem matemtica para formular
os argumentos.
Tabalho iniciado pelo matemtico ingls George
Boole (1815 1864) Algebra Booleana. e
consolidado pelo filsofo e matemtico alemo
Goottlob Frege (1848 1895) Regras de
Demonstrao Matemtica.
32

Lgica Clssica e
Lgica Simblica.

Uma vez que , a Lgica Simblica tem

sua prpria linguagem tcnica, um
instrumento poderoso para a anlise e a
deduo dos argumentos,
especialmente com o uso do
computador (Prova Automtica de
Teoremas).

Tradicionalmente a Lgica tem sido

estudada para orientaes filosficas e
matemticas. Na computao, ela
utilizada para representar problemas e
33
para obter suas solues.

O que estudaremos nessa

disciplina?

1. Parte: Linguagem o que lgica; premissas e

concluso; reconhecimento de argumentos; deduo e
induo; verdade e validade,
3 funes bsicas da linguagem; discurso que serve a
mltiplas funes; as formas do discurso; palavras
emotivas; acordo e desacordo; discurso emotivamente
neutro;
falcias no-formais de relevncia e de ambiguidade e
como evit-las.
Definio: 5 propsitos; disputas verbaise definio; 5 tipos
de definio; vrias espcies de significado; tcnicas de
definio regras de definio por gnero e diferena.
2. Parte Deduo: prop categrigas, silogismos categricos;
argumentos em linguagem comum; lgica simblica e
mtodo de deduo.

34

Referncia Bibliogrfica para esta

parte introdutria

Apostila de Introduo Lgica

Matemtica; Prof. Antnio de Almeida
Pinho; Rio de Janeiro, 1999; Registro MEC
19124.

Copy, Irving M., Introduo Lgica, Ed.

Mestre Jou , So Paulo, SP, 1974.

Mortari, Cezar A.; Introduo Lgica;

Imprensa OFICIAL; Ed. UNESP
35

36