Logic and the philosophy of science

Research in Logic and the Philosophy of science are about, from a theoretical and a historical point of view, the organic connections between philosophical investigation and scientific knowledge; logic and its specific methods; the logical structure of natural languages; computation and communication; the epistemology and representation of knowledge; the methodological and foundational issues peculiar to single sciences closely related with their development.

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.