Introdução à Lógica

Dedução

Todo “a” possui a qualidade “x”

“y” pertence ao conjunto “a”
Então
“y” possui a qualidade “x”

“a” – termo médio (está presente nas duas premissas);

“x” – termo maior (só está presente na premissa maior)
“y” – termo menor (só está previsto na premissa menor)
 Dedução - Exemplo

Todo ser humano é mortal

Rodrigo é ser humano
Então
Rodrigo é mortal
ser humano – termo médio
mortal- termo maior
Rodrigo – termo menor
 Dedução - constatações

1- Existe uma relação de continente e conteúdo entre o termo maior e

o termo menor.
2- Se o termo menor é elemento do conjunto do termo maior, deve
ostentar todas as características do conjunto a que pertence.
3- Sendo a mortalidade característica do conjunto, também o será de
todos os seus elementos, inclusive do termo menor.
Por isso
A dedução nada diz de novo. Estando corretas as premissas a
conclusão, necessariamente estará correta.
 Falácia da generalização indutiva

Os indivíduos 1, 2, 3..... n são alunos do Professor Rodrigo

Os indivíduos 1,2,3.......n leram o livro x
então
Todos os alunos do Professor Rodrigo leram o livro x
Indução – generalização – construção do
termo maior da dedução

“a”, “b”, “c”...”n” pertencem ao grupo “z”;

“a”, “b”, “c”...”n” têm a característica “y”;
Todos os elementos do grupo “z” até aqui observados têm a
característica “y”
então
É provável que todos os elementos do grupo “z” tenham a
característica “y”
 Exemplo de generalização indutiva

1,2,3....n são alunos do professor Rodrigo;

1,2,3,...n leram o livro “x”;
Todos os alunos do prof. Rodrigo até aqui observados leram o livro “x;”
então
É provável que todos os alunos do prof. Rodrigo venham a ler ou
tenham lido o livro “x
 Indução – a analogia
“a” está para “b”, assim como “c” está para “d”

Entes comparados (conhecido);

Características comuns (conhecido);
Característica atribuída a um dos termos da comparação (conhecido)
Extensão da característica de um ente ao outro (desconhecido).
 Exemplo de analogia - Medicina

Um número grande de pacientes que apresentam dores no corpo e

febre, estão gripados;
João apresenta dores no corpo e febre;
É provável que João esteja gripado
 Exemplo 2 - Moda

O conjunto de calça e camisa ficou bem no modelo;

Se comprar o mesmo conjunto e vestir da mesma forma;
É provável que a roupa fique igualmente adequada no comprador
 Exemplo 3 - A decisão judicial

Premissa maior: Norma aplicável – elemento conhecido

Premissa menor: Fato jurídico apurado na instrução - elemento
conhecido
Conclusão 1: Declaração da incidência da norma sobre o fato -
elemento desconhecido
Conclusão 2: Eficácia principal da sentença
 Premissa maior: aquele que causar prejuízo ao outro (hipótese
normativa- elemento conhecido), tem o dever de indenizar (sanção
normativa – elemento conhecido)

Premissa menor: “a” causou prejuízo a “b” (elemento conhecido)

Conclusão 1: “a” deve indenizar “b” (extensão da sanção normativa à

premissa menor – elemento desconhecido)

Conclusão 2: condeno “a” ao pagamento de uma indenização de “x”

(eficácia principal - condenatória)
 Sistema - Houaiss
conjunto de elementos, concretos ou abstratos, intelectualmente organizado
1.1 conjunto concebido pelo espírito (como hipóteses, crenças etc.) de
objetos de reflexão, ou convicção, unidos por um fundamento; doutrina,
ideologia, teoria, tese
1.2 conjunto de ideias logicamente solidárias, consideradas nas suas
relações
1.3 conjunto de regras ou leis que fundamentam determinada ciência,
fornecendo explicação para uma grande quantidade de fatos; teoria
1.4 distribuição de um conjunto de objetos numa ordem que torna mais
fácil sua observação e estudo
 Sistema

Conjunto ordenado e consistente de elementos, tomando como ponto

de partida axioma(s), sujeitos a regras precisas de manipulação
(criação, transformação e derivação) para o estabelecimento de
teoremas.

Conjunto que não se confunde com as regras e os axiomas. Ambos se

encontram “fora” do sistema.
Sistemas e realidade

Sistemas são abstrações intelectuais, não existem no mundo real, assim

como a beleza, o sistema está nos olhos de quem vê.

A visão sistemática do mundo é apenas um dentre muitos “modelos de

mundo” possíveis.
Elementos dos sistemas
Axiomas – afirmações pressupostas como verdadeiras/válidas que não
podem ser provadas dentro do sistema;

Regras prévias de manipulação: regras comuns de lógica dedutiva ou

indutiva associadas a regras particulares de cada sistema;

Elementos: dividem-se em constantes e variáveis. As constantes, como

o próprio nome diz, não podem ser alteradas, já as variáveis devem ser
informadas pelo usuário, analista ou intérprete.
Proposta de visão sistemática do
entendimento
essência
ser(ontologia) existência
Ser aparência
Campos dever-ser (deontologia) moral
Do ética
Entendimento conhecer direito
(epistemologia) n sociais dif
n técnicas
Visão sistemática do Direito (Kelseniana)
I- definição do campo argumentativo (Direito em geral);

B- Direito brasileiro;

A- Axioma – as normas cogentes inseridas em um sistema cuja sanção seja aplicável de

forma institucionalizada, devem ser obedecidas independentemente de seu conteúdo.

Elementos: Constantes – normas jurídicas pertencentes ao sistema

Variáveis – afirmações de fato
Regras: para normas abstratas: dedução com critério de validade e não de verdade
para normas concretas: indução de matriz analógica com critérios de
probabilidade de validade.
Representação gráfica
Axioma I

B I
Algoritmos - Dicionário
substantivo masculino
1.
MATEMÁTICA
sequência finita de regras, raciocínios ou operações que, aplicada a um
número finito de dados, permite solucionar classes semelhantes de
problemas.
2.
INFORMÁTICA
conjunto das regras e procedimentos lógicos perfeitamente definidos
que levam à solução de um problema em um número finito de etapas.
Solução de problemas
Todo conjunto pode e deve ser subdividido em tantos subconjuntos quanto
necessários à compreensão e manipulação.

Uma vez que estejam convenientemente divididos, as regras de manipulação

do sistema podem ser aplicadas a cada parte para a solução de problemas.

O passo-a-passo da aplicação das regras chama-se algoritmo.

Uma receita culinária nada mais é do que um algoritmo, assim como todos
os manuais de instruções.
Sistemas, formalização e algoritmos
Todos os sistemas podem ser divididos e compreendidos na forma de
algoritmos.

Quanto mais detalhados os algoritmos, mas fácil será a reprodução de

cada etapa.

Pense que o computador é um aprendiz, extremamente burro e rápido,

que só consegue compreender dois sinais. Para que possa funcionar é
preciso que cada sistema (ou subsistema) seja detalhado ao ponto de
ser representado com apenas dois sinais.
Exemplo – Recebimento de apelação em um
gabinete – Nível 0
Distribuição
Competência não
sim
Decisão monocrática sim
não
Pedido de efeito suspensivo
Sim não
decisão
Intervenção do MP
Sim não
Decurso de prazo
Pedido de data para julgamento
Elaboração de voto
Julgamento no órgão decisão
FIM
Critério de competência N1
Competência absoluta N1.1
matéria

Absoluta função

Competência hierarquia

Relativa
Sistemas Formais
Sistemas formais são aqueles em que os elementos são substituídos
por símbolos com significado irrelevante ou inexistênte.

Nos sistemas formais as regras são aplicadas independentemente da

qualidade argumentativa dos resultados uma vez que os significados
dos elementos são passivos.
Exemplo da
tabela ASCII
Isomorfismo de duas vias
O isomorfismo acontece quando comparamos elementos de duas
estruturas complexas em razão de suas funções dentro do sistema.

Bom exemplo é a tradução.

O isomorfismo é sempre parcial.

Recursividade e paradoxos
Recursividade acontece sempre que tentamos aplicar uma regra sobre
si mesma.

A recursividade costuma produzir paradoxos.