Investigates new areas including ethics, political science and methodology of natural and social sciences, in which mathematical techniques are applied to formal methods

Topics include uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences

Presents an anthology of papers collected from leading researchers in the area who discuss some of the most fascinating ways formal methods are being applied

Investigates new areas including ethics, political science and methodology of natural and social sciences, in which mathematical techniques are applied to formal methods Topics include uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences Presents an anthology of papers collected from leading researchers in the area who discuss some of the most fascinating ways formal methods are being applied Includes supplementary material: sn.pub/extras

Autorentext

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 Gillman Payette is a researcher at the Canadian Centre for Advanced Leadership in Business at the University of Calgary, and an honorary postdoctoral fellow at the University of British Columbia. Previously, he was a Banting postdoctoral fellow at the University of British Columbia from 2014 to 2016, and before that a Killam Postdoctoral Fellow at Dalhousie University. He graduated from the University of Calgary in 2012 under the supervision of Richard Zach with a dissertation on STIT based formal logics for institutions, and is a two time winner of the Governor General of Canada's Academic Gold Medal. His current research interests are in applications of logic and mathematical methods to ethics & political philosophy, and the philosophy of logic. His previous publications concern paraconsistent inference relations, modal logics of agency and time and logical pluralism/foundations of consequence. Versions of his papers can be found on http://dal.academia.edu/GillmanPayette.

Inhalt
1.Applied Formal Philosophy: Some Reections 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.