Workshop #2 - Turin (September 2016)
This event was the second in a series of 4 planned workshops being held by the European Non-Categorical Thinking Project.
PROGRAMME
Thursday 22nd September
14:00 – 15:10 Session 1
Simon Hewitt (CMM Leeds)
Modal plural logic: a plea for humility
15:20 – 16:30 Session 2
Gian Luca Pozzato (LLC Turin)
Internal calculi for Lewis' conditional logics of counterfactual reasoning
Abstract: We provide standard internal sequent calculi for Lewis’ conditional logic V and its extensions VN, VW, VC, VA, VNA. The original motivation by Lewis was to formalize counterfactual sentences, i.e. conditionals of the form “if A were the case then B would be the case”, where A is false. The logic V is the basic logic of counterfactuals in the family of Lewis’ systems. It is characterized by the whole class of so-called sphere models. Our calculi take as primitive Lewis’ connective of comparative plausibility ≼: a formula A ≼ B intuitively means that A is at least as plausible as B. Our calculi are standard in the sense that each connective is handled by a finite number of rules with a fixed and finite number of premises. Moreover our calculi are “internal”, in the sense that each sequent can be directly translated into a formula of the language. We show that the calculi provide optimal decision procedures for the respective logics.
16:40 – 18:00 Session 3
John Divers (CMM, Leeds)
On Arguments for the Necessity of Necessity
Abstract: Drawing on arguments due to Ian McFetridge and Crispin Wright, Bob Hale has attempted to construct a quasi-transcendental master-argument that would compel his skeptical interlocutor to accept that there is (de dicto) at least one proposition that has the status of absolute necessity. I counter that the dialectical power of the master-argument is strictly limited once we make explicit the battery of commitments that the envisaged skeptic about absolute necessity would have toaccept in order to be caught on Hale's "hook".
Friday 23rd September
09:00 – 10:10 Session 4
Francesco Berto (ILLC, Amsterdam)
Intentions for Hyperintensions: a new take on logical omniscience
10:20 – 11:30 Session 5
Arif Ahmed (Trinity College Cambridge)
Belief, blame and statistical evidence
11:50 – 13:00 Session 6
Hykel Hosni (Milan)
A logical perspective on prescriptive rationaliy
FURTHER WORKSHOP PARTICIPANTS
Vincenzo Crupi
Valentina Gliozzi
Andrea Iacona
Paolo Maffezioli
Diego Marconi
Alberto Voltolini