MEEENGOOO!!!
domingo, 29 de novembro de 2009
quinta-feira, 26 de novembro de 2009
Entrega do trabalho final
Olá para todos.
O prazo para entrega do trabalho final, conforme divulgado em sala, é 9 de dezembro, quarta-feira.
Os trabalhos podem ser enviados por email.
Estarei atendendo na sala 4035 nos dias 30/11 e 1/12 no horário da aula.
Abraços
O prazo para entrega do trabalho final, conforme divulgado em sala, é 9 de dezembro, quarta-feira.
Os trabalhos podem ser enviados por email.
Estarei atendendo na sala 4035 nos dias 30/11 e 1/12 no horário da aula.
Abraços
domingo, 22 de novembro de 2009
quarta-feira, 18 de novembro de 2009
Lógica modal
Olá para todos.
No link
está a primeira versão de uma apostila sobre lógica modal baseada nos livros do Hugues & Cresswell e Fitting & Mendensohn.
Nela estão as respostas de alguns exercícios do F&M.
sábado, 14 de novembro de 2009
Mini-curso Fazedores-de-verdade
Olá para todos.
Abaixo estão os slides e textos mencionados no mini-curso sobre fazedores-de-verdade apresentado na UFOP nos dias 10 e 11 de novembro.
Abaixo estão os slides e textos mencionados no mini-curso sobre fazedores-de-verdade apresentado na UFOP nos dias 10 e 11 de novembro.
Sobre a definição de verdade de Tarski
http://www.abstracta.pro.br/revista/volume2number1/2_azambuja.pdf
http://sites.google.com/site/textoslogica/arquivos/tarski_handout.pdf
http://sites.google.com/site/textoslogica/arquivos/tarski_handout.pdf
Slides do curso
http://sites.google.com/site/textoslogica/arquivos/ufop_2009_truthmakers_1.pdf
http://sites.google.com/site/textoslogica/arquivos/ufop_2009_truthmakers_2.pdf
http://sites.google.com/site/textoslogica/arquivos/ufop_2009_truthmakers_3.pdf
http://sites.google.com/site/textoslogica/arquivos/ufop_2009_truthmakers_1.pdf
http://sites.google.com/site/textoslogica/arquivos/ufop_2009_truthmakers_2.pdf
http://sites.google.com/site/textoslogica/arquivos/ufop_2009_truthmakers_3.pdf
Fazedores-de-verdade, a tese da disjunção e o princípio do terceiro excluído
Preprint do texto Fazedores-de-verdade
Texto Muliggan et al. - Truth-makers (1984)
Texto Rodriguez-Pereyra - Why Truthmakers (2005)
sexta-feira, 6 de novembro de 2009
PALESTRA - Aspectos Filosóficos da Lógica Modal
FACULDADE DE FILOSOFIA E CIÊNCIAS HUMANAS
Departamento de Filosofia
Programa de Pós-Graduação em Filosofia
(Mestrado e Doutorado)
Aspectos Filosóficos da Lógica Modal
Prof. Desiderio Murcho (UFOP)
DIA: 12/11/2009
HORÁRIO: 14:00 horas
LOCAL: AUDITÓRIO BAESSE
Departamento de Filosofia
Programa de Pós-Graduação em Filosofia
(Mestrado e Doutorado)
Aspectos Filosóficos da Lógica Modal
Prof. Desiderio Murcho (UFOP)
DIA: 12/11/2009
HORÁRIO: 14:00 horas
LOCAL: AUDITÓRIO BAESSE
segunda-feira, 2 de novembro de 2009
Lógica modal - material disponível
Olá para todos.
estão, respectivamente, os textos de Hughes & Cresswell (em espanhol - sistemas T, S4 e S5) e Fitting & Mendelsohn - modelos para lógicas modais.
Serão usados nas próximas aulas.
Assinar:
Postagens (Atom)