Logic and the philosophy of science

The main lines of logical-epistemological research in FILCOM Department are, among others:

• contemporary views on causality;
• epistemology of artificial sciences and cognitive science;
• epistemology of artificial intelligence and robotics;
• philosophy of physics, mathematics and symbolic forms;
• philosophy of life sciences;
• theoretical, explanatory and causal pluralism;
• modal propositional and quantified logics: generalization of Kripkean semantics and proof theory;
• cognitive modeling of reasoning and theories of rationality;
• modeling, with particular reference to philosophy of medicine and psychiatry;
• morphology of spacetime;
• spaces and methods for artistic and scientific representation;
• proof theory for classical and non-classical logics;
• theory of representation and computability for topological spaces;
• quantum theory of computation and information;
• theories of scientific explanation.