Incluindo, finalmente, um verbete sobre os teoremas de incompletude de Gödel.

JM

* * *

NOVOS VERBETES

Godel's Incompleteness Theorem
  Panu Raatikainen
  http://plato.stanford.edu/entries/goedel-incompleteness/

Possible Worlds
  Christopher Menzel
  http://plato.stanford.edu/entries/possible-worlds/

* * *

VERBETES RECENTEMENTE REVISADOS

Arabic and Islamic Philosophy of Language and Logic
  Tony Street
  http://plato.stanford.edu/entries/arabic-islamic-language/

Aristotle's Categories
  Paul Studtmann
  http://plato.stanford.edu/entries/aristotle-categories/

Bertrand Russell
  Andrew David Irvine
  http://plato.stanford.edu/entries/russell/

The Cambridge Platonists
  Sarah Hutton
  http://plato.stanford.edu/entries/cambridge-platonists/

Constructive Mathematics
  Douglas Bridges & Erik Palmgren
  http://plato.stanford.edu/entries/mathematics-constructive/

Fitch's Paradox of Knowability
  Berit Brogaard & Joe Salerno
  http://plato.stanford.edu/entries/fitch-paradox/

Leibniz's Philosophy of Mind
  Mark Kulstad & Laurence Carlin
  http://plato.stanford.edu/entries/leibniz-mind/

Logic and Artificial Intelligence
  Richmond Thomason
  http://plato.stanford.edu/entries/logic-ai/

Mally's Deontic Logic
  Gert-Jan Lokhorst
  http://plato.stanford.edu/entries/mally-deontic/

Medieval Theories of Relations
  Jeffrey Brower
  http://plato.stanford.edu/entries/relations-medieval/

Platonism in the Philosophy of Mathematics
  Øystein Linnebo
  http://plato.stanford.edu/entries/platonism-mathematics/

Russell's Logical Atomism
  Kevin Klement
  http://plato.stanford.edu/entries/logical-atomism/

* * *
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a