Aula 1

LGICA INTRODUO CLARK

1 POR QUE ESTUDAR LGICA?
A LGICA NO DESCREVE COMO AS PESSOAS PENSAM OU COMO ELAS
HABITUALMENTE ALCANAM SUAS CONCLUSES; ELA DESCREVE COMO
AS PESSOAS

DEVERIAM

PENSAR SE DESEJAREM

RACIOCINAR

CORRETAMENTE (ROBBINS IN CLARK)

RACIOCINAR CORRETAMENTE NO TER CONCLUSES CORRETAS

(CONCLUSES VERDADEIRAS)

2 QUAL A RELACAO ENTRE LGICA E MORAL?

CADA PALAVRA DE UM MANDAMENTO BBLICO POSSUI UM SIGNIFICADO
ESPECFICO. NEGLIGENCIAR A LGICA ABRIR MO DA DISTINO ENTRE
CERTO E ERRADO. (IDEM)

ADULTERA E ADLTERA
QUANDO LEMOS O TEXTO, LEMOS PARA VER O QUE ELE NOS DIZ
(EXEGESE O QUE O TEXTO DIZ)

3 FORMA

CINCIA MATRIA

MATRIA O OBJETO DE ESTUDO DE UMA CINCIA (LIARD)

FORMA CONJUNTO DE PROCESSOS POSTOS EM PRTICA POR UMA
CINCIA A FIM DE CHEGAR A CONHECER AS LEIS DO OBJETO PARTICULAR
DO SEU ESTUDO (LIARD)

DEFINIO DE LGICA Lgica a cincia das formas de pensamento.

(Liard, p9)

Pura Formato da lgica (A+B = C)

o Premissas verdadeiras resultado verdadeiro

LGIC
A
L.
FORMAL
METODOLOG
IA

Aula 2
1 Corntios 15:20 Mas, de fato, Cristo ressuscitou dentre os mortos, sendo
ele as primcias dos que dormem.
Leitura partir do 10 Identificar premissas ausentes no contexto e o
problema lgico (premissas erradas)
Propsito da Aula Esboar a histria da teoria geral da relao de
consequncia. (MATES, p.256, nfase acrescentada)
Observao importante: uso e meno

possvel usar um objeto ou mencion-lo. Essa distino no parece

difcil de fazer quando os objetos so materiais, mas mais sutil
quando os objetos so smbolos de uma linguagem (HEGENBERG,
p,11)
o Objeto material
Homem usa apagador no quadro
Homem menciona apagador
Quando for uso, o termo aludir a objeto material (Santos fica em
So Paulo);
Quando for meno, o termo simbolizar a si mesmo (Santos tem
seis letras) e sempre ser utilizado entre aspas simples para indicar
apenas o nome, e no o objeto;
O mesmo acontecer quando, ao invs de termos, sentenas (na
Bblia trabalharemos com sentenas) forem usadas ou mencionadas:
S1-Santos est ao norte de Curitiba e S2- Santos est ao norte de
Curitiba uma sentena verdadeira.
o S1 - Sentena material pois os dois so materiais
o S2 Meno mais qualificao
Mtodo de Abordagem

Vamos progredir por etapas histricas (genricas):

o Lgica Antiga: sculos IV e III a.C.
Aristteles
Vamos usar basicamente conceitos aristotlicos
Deduo
Raciocnio Silogstico composto por deduo
o Lgica Medieval: Sculos XII a XIV
o Lgica Moderna: Sculo XIX
Lgica antiga

Como disciplina, a lgica tem incio com Aristteles

A obra que conjuga os seis escritos aristotlicos denominada
Organon (instrumento). Os livros foram escritos por aluno
1. Categoriae
2. De Interpretatione

3. Analytica Priora (primeiros analticos contm a teroria do

silogismo)
4. Analytuca Oisteruira
5. Tpicos
6. Refutaes aos sofistas
Sua obra chegou mutilada, alterada e comentada at ns
No dava importncia distino uso-meno
Silogismo uma parte do discurso na qual, sendo postas certas
coisas, delas decorrem outras, necessariamente:
o Classificou as sentenas (proposies, declaraes) em
premissas e concluses:
Identificou que as premissas e as concluses devem ser
ou afirmativas ou negativas;
As premissas e as concluses podem ser universais absolutas (algo pertence a todo algo. P.ex. EU estou de
p), particulares (algo pertence ou no pertence a algum
ou a no todo algo diverso. P.ex. Eu no estou sentado
posso estar em p ou deitado ou em outra condio) ou
indefinidas (algo pertence a algo sem definir se ao
todo, ou a nenhum, ou a algum includas no conjunto
das particulares). Restam, assim, as universais e as
particulares.
Classificou as sentena sempre em universais ou particulares e
afirmativas ou negativas
o Exemplos aristotlicos:
Todo homem branco. (A)
Nenhum homem branco (E)
Alguns homens so brancos (I)
Nem todos os homens so brancos (O)

QUALIFICAO
TODO
NENHUM
ALGUNS
NEM TODOS OS

TERMO
HOMEM
HOMEM
HOMENS
HOMENS

COPULATIVO

SO
SO

TERMO
BRANCO
BRANCO
BRANCOS
BRANCOS

Silogismo o argumento que apresenta duas premissas e uma

concluso e envolvem, no mximo, trs termos
o Os enunciados assumem a forma sujeito-predicado ligados
entre si pela cpula (, so ou por duas negativas)
o Duas premissas tm sempre um termo, pelo menos, em
comum (termo mdio) faz a intermediao.
o Na concluso, o termo maior o predicado e o termo menor
o sujeito

Silogismo Categrico
OS

HOMENS (M)

S
O

MORTAIS

PREMISSA
MAIOR

OS

FRANCESES
S
HOMENS
(S)
O
(M)
LOGO OS FRANCESES SO MORTAIS

PREMISSA
MENOR
CONCLUSO

TERMO MDIO
(M)
TERMO
MENOR (S)
Lgica Medieval

Ligada filosofia da Lgica

o Elaborao lgica != Elaborao sobre a lgica
No teve muitas contribuies
Lgica Moderna

Apego esttico aos escritos gregos e latinos desviaram a ateno

Lgica por cerca de 4 sculos, com poucas excees
1 Corntios 15:10-20

NO H RESSURREIO DE MORTOS
CRISTO MORREU (AUSENTE)
o CRISTO NO RESSUSCITOU
o NOSSA F E PREGAO DEPENDE DA RESSURREIO DE
CRISTO (AUSENTE)
NOSSA F E PREGAO SO VS

OS MORTOS NO RESSUSCITAM
TESTEMUNHAMOS QUE DEUS RESSUSCITOU CRISTO
o SOMOS FALSAS TESTEMUNHAS DE DEUS

OS MORTOS NO RESSUSCITAM
CRISTO AO MORRER E RESSUSCITAR LEVOU NOSSOS PECADOS
(AUSENTE)
o AINDA PERMANECEMOS EM NOSSOS PECADOS

3AULA 02/03/15
Noes e termos
1. A palavra noo sinnima da palavra ideia
2. Termo significa limite (terminus) finalidade
3. Termos so os limites da proposio

a. A proposio comea com o sujeito

b. A proposio termina com o predicado
4. Os termos tm sentido nas noes por eles designadas
5. O termo expressa uma noo, uma ideia
Noes concretas e noes abstratas
1. A intuio de uma coisa num instante de tempo e em um ponto do
espao concreta;
a. Santos uma cidade de So Paulo
i. Existe Santos no tempo e no espao, uma percepo
concreta
ii. Ao referir a Santos fiz uso pois concreto
2. Essa intuio o conjunto (concretum) de certas qualidades;
a. O pedestal
i. de madeira
ii. Tem partes de metal
3. As qualidades reunidas em concreto so abstratas se consideradas
em separado
a. Parede da sala
i. Caractersticas concretas
1. formato retangular
2. Azul
3. Crespa
ii. Caractersticas abstratas
1. Posso pensar no azul e associar com o cu
2. Retiro das caractersticas concretas. Isolamos do
conjunto das caractersticas concretas.
Termos positivos e termos negativos
1. So positivos os termos que significam a presena de uma qualidade
2. So negativos os termos que trazem a noo de ausncia de certa
qualidade
3. Os termos opostos podem ser classificados de duas maneiras:
a. Contraditrios: dois termos que se negam mutuamente e que
no podem ser simultaneamente aplicados mesma coisa;
i. Tem que haver o no explcito
1. Luz e no luz
b. Contrrios: dois termos que apontam qualidades incompatveis
com a simultaneidade, embora ambas positivas ou ambas
negativas
i. Luz e trevas
4. Diferencie-se presena/ausncia (alternativa) de grau de certa
qualidade (maior/menor)

Aula 4 09/03/15

Classificao, diviso e diferena especfica

O exemplo da classificao biolgica

Domnio (+ Diferena especfica (mais especialidades
que passam a ser essenciais) = Reino)
Reino (+ a Diferena especfica = Filo)
Filo (+ a Diferena especfica = Classe)
Classe (+ a Diferena especfica = Ordem)
Ordem (+ a Diferena especfica = Gnero)
Gnero (+ a Diferena especfica = Espcie)
Espcie (+ a Diferena especfica = Subespcie)
Subespcie
o Quanto mais abrangente, menos especfica
o Quanto mais abrangente, menos dividida
o Quanto menos abrangente, mais especfica
o Quanto menos abrangente, mais dividido
Acidente
o O que no essencial acidental
o Ex. Banco de sentar
O ser de madeira acidental, pois pode ser de outro
material e continua sendo banco
Essncia
o Caracterstica que no pode ser retirada
o Ex. Banco de sentar
Pode ser de qualquer material
Mas no pode deixar de faltar uma caracterstica
(Condio de sentar em cima, ele pode ser cubo, bola,
ter pernas)
o Quanto mais ampla a abrangncia do que essencial, os
elementos especficos tero que ter a caracterstica essencial
do mais abrangente.
o

Aula 5 16/03/15
Romanos 1:1
PAULO SERVO DE JESUS CRISTO
PAULO CHAMADO PARA SER APSTOLO
PAULO SEPARADO PARA O EVANGELHO DE DEUS
O EVANGELHO DE DEUS FOI PROMETIDO PELOS PROFETAS
O EVANGELHO DE DEUS RESPEITO DO FILHO DE DEUS
O FILHO DE DEUS FOI PROMETIDO PELOS PROFETAS
O FILHO DE DEUS, SEGUNDO A CARNE, FILHO DE DAVI
O FILHO DE DEUS, SEGUNDO O ESPRITO, FILHO DE DEUS
O FILHO DE DEUS SEGUNDO A CARNE, FILHO DE DAVI, E SEGUNDO
O ESPRITO, FILHO DE DEUS
O EVANGELHO JESUS
A=B
B=C
.-.
A=C
DAS PROPOSIES

As noes so os elementos do pensamento

O pensamento existe pelo relacionamento de noes/ideias entre si
O pensamento comea pela afirmao
A afirmao um ato de juzo (tal sujeito assim)
A proposio o enunciado de um juzo
A proposio composta por seus termos
o Sujeito: aquele de quem se afirma
o Atributo ou predicado: aquilo que afirmado
o Cpula: o verbo ser que une o sujeito ao predicado
O verbo ter valores objetivo (descritivo da existncia real do objeto)
e lgico (afirmativo da existncia do objeto no pensamento);
o O sol brilha objetiva
o O sol essencial para a natureza - lgico
O verbo ser consuma uma relao de identidade, parcial ou total,
entre sujeito e predicado

Exceo: definies (o predicado o desenvolvimento do sujeito e

no a sua identidade)

Proposies tautolgicas (proposio de igualdade entre termos

obviamente iguais: A=A)

RACIOCNIO TAUTOLGICO BVIO

Aula 23/03/15
Trs leis

Princpio da identidade:
o O que , .
o A=A
Princpio da contradio (p ^ ~p):
o Uma coisa no pode ser e no ser ao mesmo tempo.
o OPOSTOS AO MESMO TEMPO
A MESA NO PODE ESTAR ALI E NO ESTAR ALI
PRETO E BRANCO AO MESMO TEMPO (NO PODE)
O MAIOR E O MENOR SIMULTANEAMENTE (NO PODE)
A BOLA REDONDA E A BOLA NO REDONDA
Princpio do terceiro excludo (p v ~p):
o Toda coisa deve ser ou no ser.
OU ISSO OU AQUILO
NO H UM TERCEIRO QUE ELE POSSA SER
AO AFIRMAR QUE ELA ALGO, VOC AFIRMA O NO
ALGO
o INFORMAO IMPORTANTE
OU A
OU B
NO C
Aula 04/05/15

Inferncias
Proposio N
0

Imediatas ou Mediatas

P1

P2

P3

P4

UNIVERSAIS AFIRMATIVOS

UNIVERSAIS

NEGATIVOS
CONTRRIAS
SUBALTERN
AS

CONTRADITR
IAS

PARTICULARES AFIRMATIVOS

SUBALTERN
AS

PARTICULARES

NEGATIVOS
SUBCONTRRIAS

A
I O

CONTRRIAS (SIM OU NO)

SUBCONTRRIAS

CONTRADITRIAS (ISSO OU AQUILO)

E
A

SUBALTERNAS

DEDUO DO TERMO GERAL, CHEGO AO ESPECFICO

INDUO DO ESPECFICO, CHEGO AO GERAL

INFERNCIA IMEDIATA:
TODO METAL CONDUTOR DE ELETRICIDADE
O ALUMNIO CONDUTOR
INFERNCIA MEDIATA:
TODO METAL CONDUTOR DE ELETRICIDADE

O ALUMNIO METAL
O ALUMNIO E CONDUTOR DE ELETRICIDADE
Aula 11/05/15
Inferncias Imediatas
Quando a inferncia imediata no possui termo mdio
Inferncias Mediatas
Quando a inferncia mediata possui termo mdio
Silogismos Indutivos e Dedutivos
o Possuem termos mdios para haver relao entre premissas.
o Silogismos incompletos
No dispe de uma das premissas
Voc consegue enxergar o silogismo
Mas ele est parcialmente exposto
Ex.:
O ouro deve ser pesado por ser uma substncia
material.
o Toda substncia material pesada
o O ouro uma substncia material
o CC -> O ouro pesado
o Silogismos completos
Ele contm todas as premissas
Premissa maior, premissa menor
o Silogismos compostos
A concluso pode servir de premissa maior para um
novo silogismo
o Silogismos hipotticos
Se cristo no ressuscitou v a nossa f
SE -> ENTO
o Indutivos
Vai do especfico para o maior/geral.
Perigoso.
o Dedutivos
Parte do geral para o particular.
Uma premissa falsa gera concluso falsa.

Aula 25/05/15
Induo
o Na cincia
De alguns infere-se o todo.
De espcimes infere-se o gnero.
o Na filosofia
Dos elementos conhecidos infere-se o todo
De todos os espcimes elencados infere-se o gnero
Silogismos mltiplos
o
No significa sempre igualdade
Pode ter a conversibilidade ou pode no ter
o IGUAL
Tem a conversibilidade entre os termos
Se houver diferena na extenso entre o sujeito e
predicado, no pode haver igualdade
S
P
Todo homem animal

Todo animal homem (?)

No d para converter

Quantificao de predicados
o Todas as proposies passam a ser conversveis

Aula 01/06/2015
(Livro: Filosofia e cosmoviso crist)
Argumentos dedutivo e indutivo
Num bom argumento dedutivo as premissas garantem a verdade das
suas concluses. Num bom argumento indutivo as premissas apresentam
a concluso mais provvel entre outras concorrentes (p.47)
Argumentos dedutivos
Um bom argumento dedutivo ser aquele que formal e informalmente
vlido, que apresenta premissas verdadeiras e cujas premissas so mais
plausveis do que suas contraditrias. (p.47)
Argumento dedutivo
Formalmente vlido: A concluso deve advir das premissas;
o Argumento invlido: A concluso, ainda que verdadeira, no
decorre das premissas;
Argumento verdadeiro, concluso verdadeira, mas no
interligados.
Informalmente vlido: A concluso provm das premissas, contudo
de modo desqualificado;
o No est exposto, mas informalmente perceptvel a relao
(incompleto);
o Raciocnio circular: Aquele que admite em suas premissas
aquilo que deseja provar em sua concluso.
Exemplo:
P1 = A Bblia a palavra da verdade
P2 = Deus revelou a Bblia
C = A Bblia a palavra da verdade
H ainda o caso em que em um longo silogismo a
concluso refora uma das premissas, nesse caso, esse
silogismo no o clssico circular.
Premissas verdadeiras: Se as premissas no forem todas
verdadeiras, a concluso ser obrigatoriamente falsa;
o Um argumento que ao mesmo tempo [a] logicamente vlido
e [b] apresenta premissas verdadeiras chamado um
argumento slido (p.48, sublinhado acrescentado).
Plausibilidade: Se uma proposio mais plausvel que a sua
contraditria (isto , a sua negao), ento ela pode ser aceita
como verdadeira e servir de base para um argumento.
o Quanto mais dados tivermos, mais prximo da verdade
(assumindo premissas verdadeiras).
o Exemplo
As aves aquticas possuem ps palmados
Ornitorrincos possuem ps palmados
Ornitorrincos so aves aquticas (No pode ser
assumida como afirmao da verdade)

Detalhando a validade lgica

A lgica sentencial ou proposicional se utiliza de conectivos
como:
o Se..., ento...
o ...ou...
o ...e...
Oito regras da lgica para julgar a validade dos argumentos:
1. Modus ponens
Se afirmamos o antecedente P como verdadeiro, ento o
consequente tambm o ser.
1 Se P, ento Q (P implica Q) (notao PQ)
2 Existe P
3 Existe Q
Exemplo:
o Confisso de pecados Perdo
2. Modus tollens
i. Se negamos que o consequente Q seja verdadeiro,
ento o antecedente tambm dever ser negado.
1. 1 Se P, ento Q (P implica Q) (notao: P
Q)
2. 2 No existe Q.
3. 3 Ento NO-P.
Para modus ponens e modus tollens a orao antecedente se declara
uma condio suficiente da orao consequente ento. A orao
consequente ento estabelece uma condio necessria da orao
antecedente se (p.52).
Ponens (suficiente) e tollens (necessria).
- somente se... (aponta para uma condio necessria);
- Falcia lgica da afirmao consequente;
Afirmao consequente:
o Se P Q: Modus ponens declara afirmar o antecedente P
como verdadeiro, ento o consequente tambm o ser.
o Se P Q: modus tollens mostra que se negamos que o
consequente verdadeiro, ento o antecedente P tambm
deve ser negado;
o No devemos, por outro lado, errar afirmando o
consequente:
Se P Q, sendo Q verdadeiro, no permite chegar a
qualquer concluso incontestvel.
3. Silogismo hipottico:
a. Se P, ento Q
b. Se Q, ento R
c. Ento: se P, ento R
d. ATENO: As regras podem ser conjugadas! (SH: 1,2; MP:
3,4; MT: 3,4)
i. Se P, ento Q
ii. Se Q, ento R
iii. P (NO-R)
iv. Se P, ento R (Se P, ento R)

v. R (NO-P)
4. Conjugao
a. P (P verdadeiro)
b. Q (Q verdadeiro)
c. P e Q (ento P e Q so verdadeiros)
5. Simplificao
a. P e Q (Se P e Q so verdadeiros)
b. P (P verdadeiro)
c. Q (Q verdadeiro)
6. Adio
a. Usa-se ou disjuntivo
b. Para uma disjuno ser verdadeira somente uma parte dela
precisa ser verdadeira (p.57)
i. P (P verdadeiro)
ii. P ou Q (ento P ou Q verdadeiro)
7. Silogismo disjuntivo
a. P ou Q
b. No P
c. Ento Q
8. Dilema construtivo
a. (Se P ento Q) e (Se R ento S)
b. Ou P ou R (modus ponens)
c. Ou No-Q ou No-S (modus tollens)
1. Se Paulo estudar, ele aprender Lgica; e,
Se ele correr na rua, melhorar seu fsico.
2. Ou Paulo estuda ou corre na rua
___________________________
3. Ou Paulo aprender Lgica ou melhorar o seu fsico
Reductio ad Absurdum
Se demonstrarmos que certa premissa suposta como verdadeira
acaba implicando uma contradio, trata-se, portanto, de um absurdo.
Portanto, podemos concluir que a premissa no verdadeira (p.65).
Aula 08/06/15
Sentenas Simples e Compostas

As proposies lgicas podem ser simples, constitudas apenas por

tomos:
o Lucas estudioso (A)
o Jason fiel ao Senhor (B)
Podem ser compostas, constitudas por dois ou mais tomos,
formando molculas:
o Lucas estudioso e Jason fiel ao Senhor (A e B) (A.B)
Conectivos

As conjunes ou conectivos podem ser:

o
o
o
o
o

No (Lucas no estudioso) = (~).

E (Lucas estudioso e Jason fiel ao Senhor) = (.).
Ou (Lucas estudioso ou no bom aluno) = (v).
Se... ento (Se Jason fiel ao Senhor ento ele o honra com a
sua vida) = ().
Se e somente se (Se e somente se Jason fiel ao Senhor ele
o honra com a sua vida = ().
Tabela de Valores

Regras para construo de tabelas:

1. Se a sentena for atmica, seu valor (ou Verdadeiro V ou Falso
F) fixado na atribuio de valores (se V, V; se F, F);
a. Lucas estudioso (V)
b. Lucas no estudioso (V)

2. O valor da sentena atmica ~A ser V se o valor de A for F;

e ser F se o valor de A for V;
A
F
V
~
V
F
A
3. O valor de A.B ser V se ambos os componentes tiverem valor
V; ser falso em qualquer outro caso.
a. Exemplo:
i. A A luz est acesa
ii. B Eu escrevo bem de luz acesa
A.
B
F
V

F
F

F
V

4. O valor de AvB ser F se A e B tiverem valor F; ser V em

qualquer outro caso;
a. Exemplo:
i. Gnesis 26:11 Qualquer que tocar a este homem
ou sua mulher certamente morrer.
ii. Gnesis 21:15 Quem ferir seu pai ou sua me
ser morto.
Av
B
F
V

F
V

V
V

5. O valor de AB ser F no caso de se ter o valor de A = V e o

valor de B = F; em qualquer outro caso o valor ser V
a. Exemplo:
i. 1 Co 15:19 Se a nossa esperana em Cristo se
limita apenas a esta vida, ento somos os mais
infelizes de todos os homens. VV-V
ii. 1 Co 15:20 Se
Cristo ressuscitou dentre os
mortos, ento ele as primcias dos que dormem.
iii. 1 Co 15:13 (A = F) Se no h ressurreio de
mortos, (B = F) ento Cristo no ressuscitou.
iv.
A
B
F
V
6. O valor de ser V se
caso contrrio, ser F.
A
B
F
V

V
F

V
V

coincidirem os valores de A e de B;
F

V
F

F
V