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

M&M 2012

29/5/2012

 
Modality and Modalities (M&M2012)  is a two day event on all things Modal Logical. This event will be held on Tuesday, 29th May and Wednesday, 30th May at the University of Copenhagen. Our keynote speakers: Max Cresswell and Adriane Rini. Special Tutorial Presentation by Valentin Goranko

Lund workshop on Philosophy and Computation

12/5/2012

 
The workshop "Philosophy and Computation" aims to be a platform for various discussions concerning the use of computability in philosophy (for example, how computational complexity constraints can contribute to explain human understanding) and also questions concerning the philosophical investigation of computation (like questions related to Church-Turing thesis).

"Cross Perspectives on Proof systems and their Significance"- Paris ENS conference

3/5/2012

 
Cross Perspectives on Proof Systems and their Significance
May 3, 2012 – ENS, 45 rue d'Ulm 75005 Paris
Salle de séminaire du Cirphles, Département de Philosophie (sous-sol du pavillon Pasteur)
ABSTRACT:
Patrick Blackburn (University of Roskilde)
Hybrid Proof Theory
Abstract: In this talk I will discuss and motivate hybrid proof theory. Hybrid proof theory comes in a number of styles: I will try to make clear what is common to them all, but will concentrate on tableaux systems. Although this is a proof on truth theory, a lot of my observations will be semantic, since I believe the heart of hybrid proof theory to be the tools it offers for constructing Robinson diagrams. I shall try to indicate the flexibility this offers by noting both classical applications and recent work on indexicals.
For the most part I shall examine the two basic tools offered by hybrid logic, nominals and @-operators, since these are two most relevant to hybrid proof theory. Time permitting, however, I may talk a little about the more powerful downarrow binder and it proof-theoretic impact.

La Logique en Question 2012

2/5/2012

 
DE QUOI S'AGIT-IL?
La logique est une discipline qui remonte à la nuit des temps, mais ce qu'elle est exactement, en quoi elle consiste, quelles sont ses méthodes, comment elle s'est développée, cela n'est pas forcément clair. La Logique en Question est un atelier autour de la logique examinant ces questions et tentant d'y répondre. Entrée libre.

    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