Home Page Image
Academic Blogs >
- Certain Doubts
- Choice and Inference  
News >


Formal epistemology concerns the application of formal methods to the study of knowledge and its role in reasoning, decision making, and action. There is a very active and congenial formal epistemology research community at Universidade Nova de Lisboa featuring internationally recognized experts in the fields of philosophy, mathematics, and computer science. Students working in any of these fields who have an interest in decision theory, the theory of games, mathematical, philosophical, or computational logics, formal semantics, proof theory, multi-agent systems, semantic web technologies, approximate reasoning, reasoning under conditions of uncertainty, or reasoning about actions are encouraged to contact us.


research centers

CENTRIA - Center for Artificial Intelligence
Faculty of Science and Technology
New University of Lisbon
2829-516 Caparica, Portugal [map]

IFL - Institute for the Philosophy of Language
Avenida de Berna, 26
Faculty of Social Sciences and Humanities
New University of Lisbon
1069-061 Lisboa, Portugal

 maintained by Marco Alberti