sexta-feira, 26 de dezembro de 2014
Material adicional para a disciplina:
HF005 Teoria de Conjuntos I, turma A
Segundo Semestre de 2015
Prof. Walter Carnielli e Dr. Gabriele Pulcini
Terças-feiras, 14h às 18h
Sala 211, CLE
Links para exclusivo uso didático!
1) Iain T. Adamson. A Set Theory Workbook. Birkhäuser; 1998
https://copy.com/mgTDoGH1YEm8S6iI
2) Stephen Pollard. A Mathematical Prelude to the Philosophy of Mathematics.
Springer, 2014
Conteúdo:
1 Recursion, Induction .
2 Peano Arithmetic, Incompleteness
3 Hereditarily Finite Lists
4 Zermelian Lists
5 The Hierarchy of Sets
6. Frege Arithmetic
7 Intuitionist Logic
https://copy.com/PskTZYF9Rz3fjNqE
3) Leitura adicional: tópicos de
Paolo Mancosu. The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Oxfored University Press, 2014.
https://copy.com/fMmKePqbkUr2O4QS
quarta-feira, 26 de fevereiro de 2014
HG510
A- Tópicos Especiais de Lógica I
"Introdução
à Lógica Modal para Filósofos"
5ªs -feiras -14h00 às 18h00, sala 206, CLE-Unicamp
5ªs -feiras -14h00 às 18h00, sala 206, CLE-Unicamp
Prof. Walter Carnielli
PED Pedro Lemos, doutorando.
Disciplina
de Graduação- Departamento de Filosofia, Unicamp
1. Semestre de 2014
Material para o curso:
1)Walter
Carnielli and Claudio Pizzi (with the assistance of Juliana
Bueno-Soler). Modalities and Multimodalities. Springer,
2008.
Disponível
em:
2)Saul
A. Kripke. "Naming and Necessity"
Harvard University Press, 1981
Disponível em:
Lecture
1 (pgs 22 a 70)
Após
várias semanas de uma criteriosa introdução sobre Lógicas
Modais (sintaxe e semântica) e seus problemas, estudaremos os
argumentos de Kripke em “Naming and Necessity”, explorando a
noção de designação rígida de nomes próprios, e a separação
entre os conceitos de “a priori/analítico”, e o conceito de
“necessário”.
Disponível em:
http://tinyurl.com/lecture-1-kripke
3)David
Kaplan. Demonstratives - An Essay on the Semantics, Logic,
Metaphysics, and Epistemology of Demonstratives and others
Indexicals, de 1977 (em Almog, J., Perry, J. e Wettstein, H.
(eds.) Themes from Kaplan, New York, Oxford: Oxford University
Press, 1989).
terça-feira, 25 de fevereiro de 2014
UNIVERSIDADE ESTADUAL
DE CAMPINAS
INSTITUTO DE FILOSOFIA
E CIÊNCIAS HUMANAS
DISCIPLINA DE
PÓS-GRADUAÇÃO
HF001-G – Introdução
à Lógica -1º Semestre/2014
Prof. Walter Alexandre
Carnielli
Dr. Rodrigo de
Alvarenga Freire (assistente)
Terças-feiras, 14:00-18:00, sala 204, CLE-Unicamp
Terças-feiras, 14:00-18:00, sala 204, CLE-Unicamp
PROGRAMA:
Introdução às
grandes questões da Lógica Formal; Indução e Recursão Lógica
Proposicional Clássica (LPC) ;
Assinatura e Linguagem; Semântica de LPC ; Sistemas Dedutivos par
LPC: Axiomática, Dedução
Natural e Tableaux Analíticos; Teoremas de Corretude, Completude, Substituição, Formas
Normais, Decidibilidade; Lógica de Predicados (LQ); Quantificadores;
Semântica de LQ:
Estruturas e Interpretação; Sistemas Dedutivos para LQ: Axiomática,Dedução Natural e
Tableaux Analíticos; Indecidibilidade.
EMENTA:
Elementos de Lógica de
primeira ordem, abordando detalhadamente o cálculo proposicional clássico e
apresentando as principais técnicas metalógicas. Estudo detalhado
de cálculo de predicados clássico.
Teorias de primeira ordem. Caracterização, completude e
compacidade.
Decidibilidade e
indecidibilidade.
BIBLIOGRAFIA:
1) Texto principal:
Herbert B. Enderton. “A
Mathematical Introduction to Logic”,
Second Edition,
Academic Press, 2001
Homepage com erratas,
comentários etc.:
Textos auxiliares
recomendados:
2) Walter A. Carnielli,
Marcelo E. Coniglio
e Ricardo Bianconi “Lógica e Aplicações:
Matemática, Ciência da
Computação e Filosofia”
(Versão Preliminar -
Capítulos 1 a 5)
http://www.cle.unicamp.br/prof/coniglio/LIVRO.pdf
3) Neil Tennant.
Natural Logic. Edinburgh UP 1978, 1990.
Livremente acessível
em http://people.cohums.ohio-state.edu/tennant9/Natural Logic.pdf
4) Paul Teller. A
Modern Formal Logic Primer. Prentice Hall, 1989.
Livremente acessível
em tellerprimer.ucdavis.edu
Assinar:
Postagens (Atom)