Lógica Formal

NOÇÕES BÁSICAS
LÓGICA ARISTOTÉLICA
LÓGICA- DEFINIÇÃO E FUNÇÕES
 Definição de lógica:
 O seu objecto é o discurso
 É uma disciplina normativa
 Estabelece os critérios do pensamento correcto
 Define regras para uma boa argumentação (validade dos argumentos)
 Funções e importância da lógica:
 Avaliar a validade dos argumentos
 Organizar os pensamentos com coerência
 Detectar erros de argumentação

ajas/2009 nov09
2
LÓGICA- ARGUMENTO
 Argumento
 Complexo formado por premissas e conclusão

 A relação entre premissas e conclusão é uma relação de

sustentação
 Nexo lógico entre premissas (antecedente) e conclusão
(consequente)
 A extracção da conclusão opera-se através de uma inferência

 Elementos estruturantes de um argumento

 Termo (expressão lógica do conceito)

 Preposição (expressão lógica do juízo)

ajas/2009 nov09
3
LÓGICA- TERMO
 Termo (conceito)
 Extensão: conjunto de indivíduos ao qual se aplica ou todos os
elementos que o termo abrange
 Compreensão: conjunto de propriedade ou predicados que
convém ao termo ou que o caracterizam
 Extensão e compreensão variam na razão inversa
 Um conceito no máximo de extensão possui o mínimo de
compreensão e vice- versa
 Extensão decrescente: ser vivo, animal, mamífero, primata,
homem
 Compreensão decrescente: homem, primata, mamífero,
animal, ser vivo
ajas/2009 nov09
4
LÓGICA - TERMOS
•Um termo está distribuído quando:
• É considerado universalmente
• termo distribuído :
• Sujeito: nenhum troiano é grego
• Predicado: alguns troianos não são guerreiros
• Termo não distribuído
• Sujeito: todas as baratas são insectos
• Predicado: alguns metais não são substâncias venenosas

Distribuição dos termos

Tipo de preposição Sujeito Predicado
A Distribuído Não distribuído
E Distribuído Distribuído
I Não distribuído Não distribuído
O Não distribuído Distribuído
ajas/2009 nov09 5
LÓGICA- PREPOSIÇÃO
 Preposição (juízo)
Classificação das preposições:
 É um enunciado declarativo
qualidade e quantidade
 Possui valor de verdade
 Estrutura:
 dois termo ligados por uma cópula A E
 Há ainda a acrescentar :
 Os indicadores ou quantificadores que
definem a quantidade
 e o tipo de cópula (é ou não é) que I O
definem a qualidade
 A= todo S é P
 E= nenhum S é P A = Universal afirmativa
E= Universal negativa
 I= Algum S é P I= particular afirmativa
 O= Algum S não é P O= particular negativa

ajas/2009 nov09 6
LÓGICA- ARGUMENTOS
 Tipos de argumentos
 Dedutivo
 Parte do geral para o particular
 Demonstrativo mas não ampliativo
 Indutivo
 Parte do particular para o geral
 Ampliativo mas não demonstrativo
 Por analogia
 Comparação entre duas situações ou factos
 Conclui-se pela afirmação/negação de uma em função da sua semelhança
(similitude) com a outra
 A similitude pode variar em grau
 É um sub-tipo de argumento indutivo

ajas/2009 nov09
7
LÓGICA: VALIDADE E VERDADE
 Validade
 Aplica-se aos argumentos ou raciocínios
 Diz respeito á sua estrutura formal
 Diz respeito à relação entre premissas e conclusão
 Um argumento pode ser válido (respeita as regras formais)
 Um argumento inválido (não respeita as regras formais)
 Verdade
 Diz respeito às preposições ou premissas
 Relaciona-se com o conteúdo material das preposições
 Não tem a ver com as estrutura formal do argumento
 Um argumento pode ser válido mas falso
 Respeita as regras , porém o conteúdo das preposições não corresponde à
verdade (material)

ajas/2009 nov09
8
INFERÊNCIA VÁLIDAS - LÓGICA ARISTOTÉLICA
 Argumentos dedutivos ou silogismos
 Composto por 3 preposições
 Duas premissas
 Uma conclusão
 Preposição categórica
 Enunciado declarativo que expõe uma relação entre dois termos (o sujeito e o
predicado) unidos por uma cópula
 As preposições ou premissas podem ser verdadeiras ou falsas
 Inferências
 Podem ser
 Válidas: cumprindo as regras
 Inválidas: não cumprindo as regras

ajas/2009 nov09
9
ESTRUTURA DO ARGUMENTO (SILOGISMO)
Premissas e conclusão
antecedente Todos os portugueses são sábios Premissa maior
Todos os minhotos são portugueses Premisa menor
Consequente Todos os minhotos são sábios Conclusão

Modo do silogismo- determinado pela qualidade e quantidade das premissas

Validade do silogismo de cada figura depende das seguintes regras

1ª figura: 1ª premissa universal

2ª figura: uma premissa negativa e a 1ª universal
3ª figura: 2ª premissa afirmativa e conclusão particular
4ª figura: se PM afirmativa a conclusão é universal e se pm afirmativa
conclusão particular
ajas/2009 nov09
10
FIGURAS DE SILOGISMOS
termo Premissa 1ª figura 2ªfigura 3ªfigura 4ªfigura

maior Suj Pred Suj Pred

médio
menor Pred Pred Suj Suj

1ª fig 2ªfig 3ªfig 4ªfig

M-P P-M M-P P-M
S-M S-M M-S M-P
S-P S-P S-P S-P

ajas/2009 nov09
11
VALIDADE E MODOS DE SILOGISMOS
 Validade do silogismo de cada figura depende das seguintes regras
 1ª figura: 1ª premissa universal
 2ª figura: uma premissa negativa e a 1ª universal
 3ª figura: 2ª premissa afirmativa e conclusão particular
 4ª figura: se PM afirmativa a conclusão é universal e se pm afirmativa conclusão
particular
 Modo do silogismo- determinado pela qualidade e quantidade das
premissas
 Modos válidos para cada figura:
 1ª fig: AAA;EAE.AII,EIO
 2ªfig: AEE;EIO;AOO,EAE
 3ªfig. AAI;EAO;OAO;IAI;EIO;AII
 4ªfig.AAI;AEE;IAI;EAO;EIO

ajas/2009 nov09
12
VALIDADE E VERDADE DA CONCLUSÃO

Premissas Inferênci a Conclusão

Verdadeira
Valida
Impossível ser falsa
Verdadeiras
Verdadeira
Inválida
Falsa
Verdadeira
Válida
Falsa
Falsas
Verdadeira
Inválida
Falsa

ajas/2009 nov09
13
SILOGISMO CATEGÓRICO

Regras do silogismo categórico

1 Conter 3 termos: maior, menor e médio
2 O termos médio tem de estar distribuído pelo menos numa premissa
Para os termos
3 O termo não pode estar mais extenso na conclusão que nas premissas
4 O termo médio não pode entrar na conclusão
5 De 2 premissas afirmativas não se pode concluir negativamente
6 De 2 premissas negativas nada se pode concluir
Para as
premissas 7 Se uma premissa for particular a conclusão não pode ser universal
8 Com 2 premissas particulares ou o termo médio não está distribuído
(afirmativas) ou se infringe a regra 6 (negativas)

ajas/2009 nov09
14
FALÁCIAS
 Falácias formais (do silogismo)

ajas/2009 nov09
15
FALÁCIAS
 Falácias informais

ajas/2009 nov09
16