Applications of Formal Philosophy

Rafal Urbaniak completed his PhD in Logic and Philosophy of Mathematics at the University of Calgary (working with Prof. R. Zach) in 2008, focusing on the development of Lesniewski's foundations of mathematics. Currently, he is a postdoctoral fellow of the Research Foundation Flanders at the Centre for Logic and Philosophy of Science at Ghent University in Belgium and an Associate Professor at the Department of Philosophy, Sociology and Journalism at the University of Gdansk in Poland. Rafal Urbaniak is mostly interested in applications of formal methods to philosophical problems, such as those related to theories of rationality, belief revision, philosophy of mathematics, philosophy of mind, theories of conditionals or philosophy of thought experiments. Nowadays, his main research project pertains to the use of probabilistic methods in juridicial fact-finding. More details and papers are available at http://ugent.academia.edu/RafalUrbaniak

1.Applied Formal Philosophy: Some Re ections on the Program.- 2.The logic of guilt, innocence and legal discourse.- 3.Counterfactuals in logic programming with applications to agent morality.- 4.The Wisdom of the Multitude: Diversity versus Size.- 5.A formal semantics of international relations.- 6. A Logic for Human Actions.- 7.Reasoning with Comparative Moral Judgements: an Argument for Moral Bayesianism.