domingo, 27 de março de 2011

Material disponível - Metalógica

Olá para todos.

Abaixo, as seções 21 e 22 do Hunter que estudaremos nas aulas dos dias 28 e 30 de março.

Leiam também a seção 16.1, sobre indução, do livro do Barwise & Etchemendy, Language, Proof and Logic, que está no link

Há também exercícios de indução nas apostilas 

A primeira lista de exercícios está no link

A prazo de entrega é até 6/4, quarta-feira.  

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

sexta-feira, 11 de março de 2011

Metalógica - material disponível, programação das aulas etc.

Olá para todos.


Vamos iniciar o curso com uma revisão da lógica de primeira ordem, começando pela lógica sentencial.


Tópicos: funções, sintaxe da lógica sentencial, semântica (funções de verdade), tautologias e contradições, consistência semântica, consequência lógica semântica.


Referências: Hunter seções 15 a 19 (aqui: http://dl.dropbox.com/u/5959592/hunter_15_19.pdf) + apostilas de lógica 1 e 2 + respectivos capítulos do Mortari.
As apostilas de lógica 1 e 2 estão na página http://sites.google.com/site/textoslogica/


(Notem que a linguagem que começaremos a estudar, seguindo o Hunter, tem implicação e negação como primitivos. Veremos mais adiante por que estamos começando com essa linguagem.) 


Para a revisão da lógica de predicados vamos usar os capítulos 10 e 11 do Mortari e as apostilas disponíveis nos links

http://dl.dropbox.com/u/5959592/stx_log_pred.pdf
http://dl.dropbox.com/u/5959592/sem_log_pred.pdf


Abraços

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