Lista de exercícios 1

Olá para todos.

Abaixo, a lista de exercícios 1.

http://dl.dropbox.com/u/5959592/lista_1_noite.pdf

Prazo de entrega: 20 de abril (junto com a 1a. prova)

Monitoria - Lógica noturno

Horário de atendimento do monitor de lógica, Henrique Almeida

Terças-feiras de 17h às 19h na sala da monitoria

Palestra sobre ensino da lógica e minicurso de teoria dos modelos

Palestra: O Ensino da Lógica nos Cursos de Graduação em Filosofia

Dia 23 de março, sala 3042, 12h

Prof. Antonio Coelho (UFSC)

Minicurso: Teoria dos Modelos 

Dias 23, 24 e 25 de março de 2011, sala 2013, com início às 14h

Prof. Antonio M.N. Coelho (UFSC). 

Programa:

Primeira aula - breves observações sobre uma prova, ao modo de Henkin, do teorema da completude; o teorema da compacidade e a inexistência de axioma de finitude.
Segunda aula - o teorema de Löwenheim-Skolem e o chamado Paradoxo de Skolem.
Terceira aula - modelos não-standard da aritmética.
 
Referências:
Boolos, G.& Jeffrey,R.- Computability and Logic - third edition, Cambridge University Press, Cambridge, 1989
Shoenfield, J.R.- Mathematical Logic - Association for Symbolic Logic & A K
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)
Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990

Lógica - noturno

Olá para todos.

Em 2011.1 este será o blog da disciplina Lógica do curso noturno de filosofia.
Informações úteis estão no link
http://dl.dropbox.com/u/5959592/logica_noturno.htm

O livro texto que usaremos será o do Cezar Mortari, Introdução à Lógica, Ed. UNESP. Mas haverá material auxiliar na forma de apostilas e exercícios.  

Nas próximas aulas veremos a sintaxe da lógica sentencial: Mortari capítulo 9. 

É fortemente recomendada a leitura do texto Conceitos Fundamentais no link

http://sites.google.com/site/filosofiaetc/Home/conc_fund.pdf 

Abaixo, links para exercícios que serão feitos nas próximas aulas: 

http://dl.dropbox.com/u/5959592/trad_1.pdf

http://dl.dropbox.com/u/5959592/trad_2.pdf

http://dl.dropbox.com/u/5959592/trad_3.pdf

Abraços

Minicurso de Teoria dos Modelos

Nos dias 23, 24 e 25 de março de 2011 será ministrado no Departamento de Filosofia da UFMG um minicurso de Teoria dos Modelos. 

Serão três aulas, uma por dia, com três horas de duração cada. O ministrante será o professor Antonio M.N. Coelho, do Departamento de Filosofia da UFSC. O conteúdo será desenvolvido da seguinte maneira:

Primeira aula - breves observações sobre uma prova, ao modo de Henkin, do teorema da completude; o teorema da compacidade e a inexistência de axioma de finitude.

Segunda aula - o teorema de Löwenheim-Skolem e o chamado Paradoxo de Skolem.

Terceira aula - modelos não-standard da aritmética.
 

Referências:

Boolos, G.& Jeffrey,R.- Computability and Logic - third edition, Cambridge University Press, Cambridge, 1989

Shoenfield, J.R.- Mathematical Logic - Association for Symbolic Logic & A K
Peters, Natick, Massachusetts,2000( publicado originalmente pela Addison-Wesley em 1967)

Chang, C.C.& Keisler, H.J.- Model Theory - third edition, North-Holland Publishing Company, Amsterdam, 1990

Escuela de Filosofía Analítica Latinoamericana - 2o. Encuentro

Programa: http://dl.dropbox.com/u/5959592/EG_2oEncuentro_programa.pdf