Você está na página 1de 21

MAT349 - Introdução à Lógica

http://www.ime.usp.br/mat/349
Gláucio Terra
glaucio@ime.usp.br

Departamento de Matemática
IME - USP

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 1/1


Programa Resumido do Curso
• Cálculo Proposicional
• Cálculo de Predicados de Primeira Ordem
• Noções sobre Teorias Formalizadas

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 2/1


Bibliografia Sugerida
• B. Castrucci, Introdução à Lógica
Matemática, Nobel, 1975.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 3/1


Bibliografia Sugerida
• B. Castrucci, Introdução à Lógica
Matemática, Nobel, 1975.
• E. Mendelson, Introduction to Mathematical
Logic, Van Nostrand, 1964.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 3/1


Bibliografia Sugerida
• B. Castrucci, Introdução à Lógica
Matemática, Nobel, 1975.
• E. Mendelson, Introduction to Mathematical
Logic, Van Nostrand, 1964.
• J. Zimbarg, Introdução à Lógica Matemática,
Impa, 1973.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 3/1


Objetivos
• Familiarização com o emprego de linguagens
formais;
• Introdução ao Cálculo de Predicados de 1a.
Ordem como base lógica para o tratamento
de teorias axiomáticas.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 4/1


O que é a Lógica?
A Lógica é a ciência das leis necessárias
do entendimento e da razão.

(I. Kant)

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 5/1


A Lógica Matemática:

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 6/1


A Lógica Matemática:
é a parte da Lógica que trata do estudo de
argumentos válidos no discurso matemático.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 6/1


Silogismos

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 7/1


Silogismos
P REMISSA : Todos os coelhos gostam de
cenouras.
P REMISSA : Sócrates é um coelho.
C ONCLUSÃO : Sócrates gosta de cenouras.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 7/1


Silogismos
P REMISSA : Todos os coelhos gostam de
cenouras.
P REMISSA : Sócrates é um coelho.
C ONCLUSÃO : Sócrates gosta de cenouras.

P REMISSA : Todos os homens são mortais.


P REMISSA : Alguns animais são mortais.
C ONCLUSÃO : Todos os homens são animais.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 7/1


Brevíssima Introdução Histórica

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 8/1


Brevíssima Introdução Histórica
A NTIGÜIDADE G REGA :
silogismos; primórdios do
Aristóteles(384-322 a.C.):
cálculo de predicados.
Escola dos estóicos e dos megários: Euclides de
Megara, Zenão, Crisipo.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 8/1


Brevíssima Introdução Histórica
A NTIGÜIDADE G REGA :
silogismos; primórdios do
Aristóteles(384-322 a.C.):
cálculo de predicados.
Escola dos estóicos e dos megários: Euclides de
Megara, Zenão, Crisipo.

L ÓGICA M ODERNA :
Leibnitz (sec. XVII) precursor da lógica moderna.
Boole, De Morgan, Peirce,
Séculos XIX e XX:
Frege, Church, Russel, Whitehead, Hilbert,
Gödel, Tarski. MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 8/1
Lógica Objeto versus Lógica do
Observador

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 9/1


Lógica Objeto versus Lógica do
Observador
L ÓGICA OU L INGUAGEM O BJETO : é a linguagem
formal ou o sistema lógico formal que constitui o
objeto de estudo.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 9/1


Lógica Objeto versus Lógica do
Observador
L ÓGICA OU L INGUAGEM O BJETO : é a linguagem
formal ou o sistema lógico formal que constitui o
objeto de estudo.

L ÓGICA OU L INGUAGEM DO O BSERVADOR : é a


lógica, num sentido intuitivo ou informal, que se
usa para estudar ou descrever a lógica objeto.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 9/1


Sintaxe versus Semântica

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 10/1


Sintaxe versus Semântica
S INTAXE : é o significante lingüístico.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 10/1


Sintaxe versus Semântica
S INTAXE : é o significante lingüístico.

S EMÂNTICA : é o significado denotado pela


sintaxe.

MAT349 - Introdução à Lógicahttp://www.ime.usp.br/mat/349 – p. 10/1