![]() |
![]() |
|
Logic, especially: non-classical logics in computer science (temporal logics, many-valued and fuzzy logics), proof theory, the history and philosophy of logic, and the philosophy of mathematics. | ![]() |
Metaphysics and Epistemology, Philosophy of Language and Intensional Logic, of Mind and Intentionality and of Mathematics, Editor of Stanford Encyclopaedia of Philosophy ![]() |
![]() | |
The Metaphysics Research Lab - web site | ![]() | |
[Zalta98a] | The Theory of Abstract Objects - online summary and tutorial |
![]() ![]() |
[Zalta98b] | Principia Metaphysica - online treatise, follow links in [Zalta98a] |
Set Theory | ||
[Zermelo08] | Investigations in the Foundations of Set Theory I in [Heijenoort67]. |