terça-feira, 29 de março de 2011

Lista de exercícios 1

Olá para todos.
Abaixo, a lista de exercícios 1.
Prazo de entrega: 20 de abril (junto com a 1a. prova)

domingo, 27 de março de 2011

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


terça-feira, 22 de março de 2011

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

domingo, 13 de março de 2011

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

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

segunda-feira, 7 de março de 2011

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