Filosofia e L�gica

Visite tamb�m a p�gina do CLE: CLE-UNICAMP

Projetos

Projeto 0: Sem�ntica alg�brica para alguns sistemas modais (Resumo)

Projeto 1: Tentar construir um sistema l�gico multimodal al�tico temporal que expresse a no��o de passado como algo que se vincule a no��o de necessidade e do futuro como algo que se vincule a no��o modal de possibilidade. Para isso levarei em conta posi��es filos�ficas como as de Arist�teles , dos Meg�ricos, diodor�ias ...etc, al�m de considerar como ponto de partida as "tense logics" desenvolvidas por Arthur Prior.

Sobre os futuros contingentes e os passados necess�rios Por Samir Bezerra Gorsky.

Haver� uma batalha naval amanh�?

The Master Argument, the Sea Battle, and the De Fato.

Desafio

O que que est� errado na figura abaixo?