Patrick Blackburn
  • Home
  • Biography
  • Books
  • Publications
  • Editorial
  • Courses
  • LPN!
  • C.A.D.I.L.L.A.C.
  • Events
  • Links

Logic, Language, and Mind Seminar

16/12/2011

 
Stockholm University
13 December 2011
Hybrid Logic and Henkin Models
Patrick Blackburn
University of Roskilde

In this talk I will motivate and introduce hybrid logic, a form of modal logic in which reference to worlds (or times, or epistemic states) is possible via special atomic symbols called nominals. The idea traces back to work by Arthur Prior, the inventor of tense logic in the 1960s, and I shall briefly discuss some of Prior's concerns, though I will concentrate on contemporary approaches.

But the main theme of the talk is to focus on the deductive effectiveness of hybrid logic, and I will do so by discussing how hybrid logic makes it possible to work with Henkin models. This is a novelty in modal logic, where canonical models are the standard technical tools for proving deductive completeness. But the approaches are quite different, and I shall attempt to convey the spirit of these differences and to make the generality of the Henkin approach clear.

I won't be assuming  prior knowledge of hybrid logic, nor much knowledge of modal logic either. The hybrid approach has a certain directness and, as it is closely related to familiar ideas and techniques from first-order logic,  can be readily understood and  appreciated.

Lund epistemology workshop, Dec 2011

9/12/2011

 
PROGRAM DEC 9

Kungshuset, Lundagard, Room 311


10.00     10.15     Welcome (Coffee from 9:45)
10.15     11.15     Chiara Lisciandra (Tilburg, w/ Stephan Hartmann & Ryan Muldoon): Pluralistic Ignorance: A Bayesian Account
11.15     12.15     Rogier De Langhe (Helsinki): Pluralistic Ignorance in Economic Theory
12.15     13.30     Lunch
13.30     14.30     Hans van Dithmarsch (Sevilla): Ignorance, Lies, and Cheap Talk
14.30     15.30     Stephan Hartmann (Tilburg, w/ Wlodek Rabinowicz): On the Aggregation of Value Judgments: An Epistemic Perspective
15.30     16.00     Coffee
16.00     17.00     Rouhallah Ramezanivarzaneh (Tehran): Justifiability Despite Belief Polarization: A Disagreement-Based Theory of Epistemic Justification
17.00     18.00     Merel Lefevere (Gent): Expert Responsibility and Moral Community: Economists and Uncertainty
19.15                    Dinner (Kungshuset)

DEC 10

9.45        Coffee
10.00     11.00     Jonathan Robson (Nottingham): A Social Epistemology of Aesthetics
11.10     12.10     Bert Baumgaertner (Davis): Modeling Echo Chambers
12.20     13.20     Rasmus K. Rendsvig (Roskilde): Qualitative Modeling of Informational Cascades
13.30     Lunch

    Archives

    May 2016
    October 2015
    June 2015
    December 2014
    November 2014
    May 2014
    April 2014
    December 2013
    October 2013
    August 2013
    June 2013
    April 2013
    March 2013
    November 2012
    October 2012
    August 2012
    June 2012
    May 2012
    April 2012
    December 2011
    November 2011

    Categories

    All

    RSS Feed