Weakly Aggregative Modal Logic: Characterization and Interpolation

Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation

Reasoning with heuristics

Which rules should guide our reasoning? Human reasoners often use reasoning shortcuts, called heuristics, which function well in some contexts but lack the universality of reasoning rules like deductive implication or inference to the best explanation. Does it follow that human reasoning is hopelessly irrational? I argue: no. Heuristic reasoning often represents human reasoners reaching a local rational maximum, reasoning more accurately than if they try to implement more “ideal” rules of reasoning. I argue this is a genuine rational achievement. Our ideal rational advisors would advise us to reason with heuristic rules, not more complicated ideal rules. I argue we do not need a radical new account of epistemic norms to make sense of the success of heuristic reasoning

The science of choice: an introduction

Introduction In October 2015, around 30 scholars convened at the Max Planck Institute for Demographic Research (MPIDR) in Rostock to discuss: (a) how individuals and families make decisions about marriage, child-birth, migration, retirement, and other transitions in the life course; and (b) how these decision processes can be operationalized in demographic models. The workshop was organized by the Scientific Panel on Microsimulation and Agent-Based Modelling con- vened by the International Union for the Scientific Study of Population (IUSSP) and by MPIDR. The report of this ‘Science of choice’ workshop and the papers presented are available from the workshop’s website (see IUSSP 2015). The five papers included in this Supplement are revised versions of papers presented at the workshop in Rostock

Towards a Logic of Epistemic Theory of Measurement

We propose a logic to reason about data collected by a num- ber of measurement systems. The semantic of this logic is grounded on the epistemic theory of measurement that gives a central role to measure- ment devices and calibration. In this perspective, the lack of evidences (in the available data) for the truth or falsehood of a proposition requires the introduction of a third truth-value (the undetermined). Moreover, the data collected by a given source are here represented by means of a possible world, which provide a contextual view on the objects in the domain. We approach (possibly) conflicting data coming from different sources in a social choice theoretic fashion: we investigate viable opera- tors to aggregate data and we represent them in our logic by means of suitable (minimal) modal operators