Lógica

Introdução

2010Autor Samir Gorsky

 

Agora temos um texto aqui, Este texto deve ser uma introdução para o restante da página, como se fosse um artigo. Neste site você encontrará informações sobre: filosofia, lógica, matemática, computação, robótica, etc.

Índice


Áreas de Interesse

2010Postado por Samir

 

Puzzles e Filosofia

Lógica modal e semântica algébrica;

Lógica e filosofia do tempo (relação entre a lógica modal alética e a lógica do tempo);

Filosofia da Linguagem (O conceito e igualdade)

Teorema da Incompletude

Lógicos

2010Postado por Samir

 

Johan van Benthem

Walter Carnielli

Marcelo Coniglio

Danielle Mundici

Antonio Aniceto Monteiro

Yde Venema

Rob Goldblatt

Saul Kripke

Alfred Tasrki

Kurt Gödel

Jan Lukasiewicz

Newton da Costa

Jakko Hintikka

Pedro Zambrano

O seguinte site apresenta um lista dos principais lógicos

Imagens

2010Postado por Samir

 

O seguinte site apresenta um lista de jogos relacionadas a Puzzles e à lógica

Livros

2010Postado por Samir

 

O seguinte site apresenta uma coleção dos principais livros lógicos

Instituições

2010Postado por Samir

 

CLE - IFCH - UNICAMP

IME - USP

NEL - UFSC

Grupo de Lógica de Bogotá

Oxford Mathematical Logic Group

Sociedade Brasileira de Lógica

Journal of Symbolic Logic

Institute of Logic: University of Amsterdan

The Kurt Gödel Society

Institute of Logic: University of Amsterdan

Dicionário de Lógica

2010Postado por Samir

 

O seguinte site apresenta um lista dos principais conceitos em lógica

 
 
Free Web Hosting