terça-feira, 30 de outubro de 2007

Embodied Embedded 'Higher' Cognition?

CONFERÊNCIA CLE 30 ANOS
=======================
Prof. Dr Wilhelm Haselager
(Radboud University of Nijmegen - Holanda)
Título: Embodied Embedded 'Higher' Cognition?

DATA: 31 de outubro de 2007 (quarta-feira)
HORÁRIO: 10h
LOCAL: Auditório 2 do IFCH - UNICAMP

segunda-feira, 29 de outubro de 2007

Aproximações para as Lógicas Modais K, T, D, S4 e S5

----------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-----------------------------------------------------------------------------
Título: Aproximações para as Lógicas Modais K, T, D, S4 e S5

Palestrante: Guilherme de Souza Rabello

Data: dia 29.10.07 às 14:00 hs

Local: Sala 252 - Bloco A - IME - USP ( http://www.ime.usp.br )


Resumo:

Inspirados por trabalhos recentes de aproximações de lógica clássica,
nós presentaremos um método que aproxima diversas lógicas modais de
uma maneira modular. Nosso ponto de partida será a limitação do
n-ésimo grau de introspecção, gerando as chamadas n-lógicas modais.
Será apresentada uma semântica para as n-lógicas, na qual as fórmulas
são avaliadas com respeito a caminhos e não mundos possíveis. Uma
teoria de prova por tableaux será também mostrada, os n-SST
(n-Single-Step Tableaux), na qual vale correção e completude para as
n-lógicas modais K, T, D, S4 e S5.

domingo, 28 de outubro de 2007

LFI's de primeira ordem: axiomática e semântica

SEMINARIOS CLE
Rodrigo Podiacki (mestrando / Dep. de Fil/ Unicamp)
data: 31/10 (quarta-feira)
horário: 15h

Local: CLE - Unicamp
LFI's de primeira ordem: axiomática e semântica

Neste seminário, exibirei versão de primeira ordem de uma lógica paraconsistente definida por Carnielli, Coniglio e Marcos em artigo recentemente publicado no Handbook of Philosophical Logic, chamada mbC. Mostrarei como fica sua respectiva sintaxe e esboçarei teorema de completude relativamente a uma semântica de valorações bivalente.

sexta-feira, 26 de outubro de 2007

Kant, Mill e a neurociência da ética

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade à programação de seus Seminários de Lógica e Filosofia Formal, com a palestra

Kant, Mill e a neurociência da ética
Profa. Dra. Cinara Maria Leite Nahra -DeFIL - UFRN

Data: 09 / 11 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia