Dr.Dr. Niki Pfeifer

progic 2013: The Sixth Workshop on Combining Probability and Logic

"Combining probability and logic to solve philosophical problems"

Carl Friedrich von Siemens Stiftung (Munich)
hosted by the
Munich Center for Mathematical Philosophy

17-18 September 2013

Special issue

The special issue Combining Probability and Logic to Solve Philosophical Problems on themes of the workshop appeared in September 2014 in the Journal of Applied Logic, Volume 12, Issue 3.
Papers by: Alan Hájek; Peter Milne; Igor Douven; Tommaso Flaminio, Lluís Godo, & Hykel Hosni; Teddy Groves; Sean Walsh; Glauber De Bona, Fabio Gagliardi Cozman, & Marcelo Finger; Dana Scott.

Workshop report

Pfeifer, N. (2013). Combining probability and logic, 17-18 September. The Reasoner, 7(12), 141. Download.


The Sixth Workshop on Combining Probability and Logic (progic 2013) continues the progic workshop series. Progic 2013 takes place on September 17 and 18, 2013. The workshop location is the Carl Friedrich von Siemens Stiftung, which is located at the Nymphenburg Palace in Munich. The workshop is financially supported by the Alexander von Humboldt Foundation (Munich Center for Mathematical Philosophy) and by the Carl Friedrich von Siemens Stiftung.

Progic 2013 focuses on Combining probability and logic to solve philosophical problems. Topics include but are not restricted to
  • acceptability
  • argument strength
  • belief revision
  • conditionals
  • conditionalization
  • counterfactuals
  • information
  • probability logic
Invited speakers are Igor Douven (Faculty of Philosophy, University of Groningen), Alan Hájek (School of Philosophy, Australian National University), Kevin T. Kelly (Center for Formal Epistemology, Carnegie Mellon University), Hannes Leitgeb (Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University Munich), and Peter Milne (Department of Philosophy, University of Stirling).

Invited talks

  • Igor Douven Conditionals and inferential connections. Abstract.
  • Alan Hájek Probabilities of counterfactuals and counterfactual probabilities. Abstract.
  • Kevin T. Kelly & Hanti Lin Qualitative reasoning that tracks Jeffrey conditioning. Abstract.
  • Hannes Leitgeb Belief and stable probability. Abstract.
  • Peter Milne Information, confirmation, and conditionals. Abstract.

Contributed talks

  • Glauber De Bona, Fabio G. Cozman & Marcelo Finger Towards classifying propositional probabilistic logics.
  • Extended abstract.
  • Liam Bright Measuring degrees of incoherence. Extended abstract.
  • Tommaso Flaminio, Lluís Godo & Hykel Hosni On the logical structure of de Finetti's notion of event. Extended abstract.
  • Teddy Groves An application of Carnapian inductive logic to philosophy of statistics. Extended abstract.
  • Jürgen Landes & Jon Williamson Objective Bayesian epistemology for inductive logic on predicate languages. Extended abstract.
  • Arthur Paul Pedersen Prospects for a theory of non-Archimedean expected utility: Impossibilities and possibilities. Extended abstract.
  • Dana Scott A stochastic λ-calculus. Extended abstract. Handout.
  • Stanislav O. Speranski Quantification over events in probability logic and its applications to elementary analysis. Extended abstract. Slides.
  • Sean Walsh Empiricism, probability, and knowledge of arithmetic. Extended abstract. Slides.
[All contributions were blind reviewed. Many more papers than expected were submitted to Progic 2013. Therefore, we unfortunately had to turn down many high quality papers (the rejection rate was almost 80%).]




For video recordings of the talks visit the LMU Podcast.


(thanks to Alan Hájek)

Important dates/registration

Deadline for extended abstracts: April 15, 2013
Notification of acceptance of extended abstracts: May 1, 2013
Deadline for registration:July 30, 2013
Deadline for full papers:September 1, 2013
Workshop dates:September 17-18, 2013
Notification of acceptance of full papers:November 15, 2013
Deadline for final versions of full papers:December 15, 2013

There is no participation fee. Registration per email is requested by July 30 (please state your name (1), your affiliation (2), and whether you wish—at your own expenses—to join the workshop dinner (3)):

Local organizer

Niki Pfeifer (Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University Munich)

Steering committee

Jeff Helzner (Department Philosophy, Columbia University)
Niki Pfeifer (Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University Munich)
Jan-Willem Romeijn (Department of Philosophy, University of Groningen)
Gregory Wheeler (Centre for Research in Artificial Intelligence, New University of Lisbon)
Jon Williamson (Department of Philosophy & Centre for Reasoning, University of Kent)

Financial support