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

Georg Henrik von Wright Symposium

23/5/2016

 
Modalities, conditionals, and values:
A symposium on philosophical logic in celebration of the centenary of
Georg Henrik von Wright.

http://www.cs.helsinki.fi/u/hakli/vw/

The meeting will be held in Helsinki on May 23-25, 2016.

Confirmed international participants include

Patrick Blackburn
Roy Dyckhoff
Andreas Herzig
Valentin Goranko
Melvin Fitting
Nicola Olivetti
Eric Pacuit
Gabriella Pigozzi
Giovanni Sartor

Extended abstracts (2-3 pages) of contributed papers should be
submitted through EasyChair:

https://easychair.org/conferences/?conf=vonwright2016

Contributed papers will be selected through a peer review process on
the basis of scientific quality as well as of thematic relevance for
the symposium (see a detailed thematic description below).

Important dates:

February 7, 2016: Deadline of submission
March 1, 2016: Notification

Organizers:

Sara Negri
http://www.helsinki.fi/~negri/
http://www.helsinki.fi/teoreettinenfilosofia/henkilosto/Negri.htm

Raul Hakli

Conference contact:

[email protected]

******************************************************************

Georg Henrik von Wright was one of the early pioneers of philosophical
logic, with his monograph ``An Essay in Modal Logic'' of 1951, and his
invention of a whole new field, namely deontic logic.

Recent developments in the study of modal logic and related
philosophical logics in Helsinki  go hand-in-hand with a revival of
philosophical logic at the international level, with new ideas,
methods and fields of application stemming from the pioneering work
that started in the 1950s with the modern development in the
philosophical investigation of modalities.

In modal logic, syntactic and semantic methods obtain a fruitful blend
through correspondence theory and their blend has in recent years
created a new momentum in the development of uniform and comprehensive
inferential systems, something which was considered an impossibility
until recently. In the theory of conditionals, the logical concept of
implication or consequence is set in a much broader light. Unlike
material implication, conditionals are not truth functionals. They
also escape an interpretation in terms of alethic modality, thus
creating a challenge to logicians. A number of scholars have faced the
problem of interpreting conditionals and creating good inferential
systems for them.

In addition to modal, deontic, conditional, and tense logic, the
symposium will focus on the far-reaching developments  of other of von
Wright's seminal contributions, such as the logic of preference, with
implications in areas such as economics, game theory, social choice
theory, and artificial intelligence, as well as pervasive themes of
von Wright's production, such as reflection on the role of logic in
philosophy.

The workshop will bring together some established experts in the field
as well as some younger scholars. Contributed papers are welcome in
the research area in logic stemming from von Wright's investigations,
including the following:

- modal logic
- tense logic
- conditional logic
- deontic logic
- logic of preference
- logic of action
- generalized semantics (neighbourhood semantics, game semantics)

SGSLPS one-day workshop, Bern, Switzerland

30/10/2015

 

The SGSLPS presents a one-day workshop on MODAL LOGICS the 30th of October 2015 in Bern, Switzerland.

This workshop on Modal Logics completes a two-part series entitled "Non-Classical Logics and Paradox". While the first part of the series was devoted to Many-Valued Logics, logics that feature more than just two truth values "true" and "false", the focus of the second part is on logics for capturing different ways (or modes) in which statements can be true or false. Most notably, a claim such as "2+2=4" may not only be true, but necessarily so in virtue of universal mathematical laws. On the other hand, it may only possibly be the case that the sun will shine in Bern on the 30th of October 2015. Besides "necessarily" and "possibly", prominent modalities also include epistemic, deontic, and temporal qualifications, such as "Pete knows that", "it is obligatory that", and "it is now the case that", respectively. Many different but related logics for these modalities have been developed in the past. They are now frequently applied in the formal analysis of philosophical argument, in computer science, AI, and related fields. 

We are more than happy to announce two talks by Patrick Blackburn. Among a large contribution to philosophical and mathematical logic, he is one of the authors of what is widely know as the "Blue Book", which is still one of the most important reference books to modal logics: P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press.

Visit website: http://sgslps.ch/events.php

UNILOG'2015

20/6/2015

 

5th World Congress and School on Universal Logic

Aim of the Event

This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many tutorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous editions there will also be a contest and secret speaker.


This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.

http://www.uni-log.org/start5.html




(In)Coherence du discourse 2014

8/12/2014

 
(In)Coherence du discours 2014
December 8th and 9th 2014
Loria Inria Nancy Grand-Est, Nancy
Salle du conseil (C005)

L'objectif du workshop est de discuter les dernières avancées sur la modélisation des discours pathologiques, en particulier ceux tenus par des patients schizophrènes. L’axe de modélisation est celui de la sémantique formelle qui relève tant de la linguistique que de la logique, en faisant appel à la philosophie du langage.

La rencontre se divisera en trois temps : le premier sur la modélisation formelle du discours et les apports à cette dernière des discours pathologiques; le deuxième s’intéressera plus particulièrement aux questions linguistiques de constitution de corpus pathologiques et d’analyse des phénomènes en jeux dans les parties non conventionnelles ; enfin le troisième temps rassemblera les points de vue épistémologiques et psychiatriques de la représentation de la pathologie mentale.

Talks will be in english or french.

website: http://talc2.loria.fr/discours/

Correlated Information Change, Amsterdam

24/11/2014

 
Correlated Information Change which takes place on 24-26 November 2014 in Amsterdam.
http://www.illc.uva.nl/LogiCIC14/
Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics. 

Topics of focus will include, but are not limited to the study of formal models for:

  • Correlated belief change;
  • Classical versus non-classical correlations;
  • Communication and observation in social scenario's;
  • Rational interaction, decision-making and planning in a multi-agent setting;
  • Social-informational phenomena such as pluralistic ignorance, informational cascades, group polarization etc.

This workshop is the third event which follows after the workshop on "Social Dynamics of information Change"( http://www.illc.uva.nl/lgc/seminar/?p=2106) held in 2013, and the kick-off workshop on "Belief Dynamics in Social Context" (http://www.ninagierasimczuk.com/logicic/kickoff/) held in 2012.

Prior to this workshop, there will be a satellite event on 20 and 21 November  

Qualitative and Quantitative Methods in Formal Epistemology
on November 20-21.

Modality and Modalities, M&M 2014

22/5/2014

0 Comments

 
“Modality and Modalities”  will be a three day event on all things Modal Logical.
This event will be held on Thursday, 22th May, Friday, 23th May, Saturday, 24th May
at the Philosophy Department, Lund University, Sweden

Our keynote speakers are: 
Melvin Fitting, Jerry Seligman, Sonja Smets and Timothy Williamson

Special Tutorial Presentation by Sara Uckelman

Local Organisation: Jens Ulrik Hansen and Carlo Proietti

Contributors
Staffan Angere
Martin Mose Bentzen
Jens Christian Bjerring
Patrick Blackburn
Thomas Bolander

Torben Braüner
Zoé Christoff
Giovanni Cina
Sebastian Enqvist
Melvin Fitting
Valentin Goranko 
Jens Ulrik Hansen
Vincent Fella Hendricks
Martin Holm Jensen
Klaus Frovin Jørgensen
Nikolaj Nottelmann
Peter Øhrstrøm
Carlo Proietti

Rasmus K. Rendsvig
Jerry Seligman

Sonja Smets
Sara Uckelman
Timothy Williamson


For more detailed information, visit the M&M website: http://modalityandmodalities.weebly.com/mm2014.html

All are welcome to attend, and attendance is free.
But please: email  [cadillacdk @ gmail.com]   if you plan on attending, so that we know how many guests to expect.
0 Comments

Mathematical Reflections, RUC 2014

20/5/2014

 
Here is some preliminary information about Mathematical Reflections, which will take place on 20 May 2014 at the Philosophy Department, Roskilde University (RUC), Denmark.

The event is an all-day seminar on topics in the History, Philosophy and Logic of Mathematics. The speakers are:  Jessica Carter, Melvin Fitting, Tinne Hoff Kjeldsen, Øystein Linnebo, Stig Andur Pedersen, Stewart Shapiro, and Asger Törnquist. You can find the event's website here:

http://cadillac-dk.weebly.com/mathematical-reflections-2014.html


Workshop on Planning, Logic and Social Intelligence

4/4/2014

 
Friday 4 April 2014, DTU Compute at the Technical University of Denmark will host a workshop on Planning, Logic and Social Intelligence.

Time and place: Room S12, DTU Meeting Centre, building 101, 4 April 9.30-17.00.
Host: Thomas Bolander

There will be talks by the following 5 prominent guests:
09.30-10.30 Andreas Herzig, IRIT Toulouse: On the revision of planning tasks
11.00-12.00 Patrick Blackburn, University of Roskilde: Negotiating Context
13.00-14.00 Jens Ulrik Hansen, Lund University: A partial version of Dynamic Epistemic Logic
14.30-15.30 Thomas Ågotnes, University of Bergen: Some Aspects of Knowledge and Ability
16.00-17.00 Ron Petrick, University of Edinburgh: What would you like to drink? Knowledge-level planning for a social robot bartender 

For more details, including detailed schedule and abstracts of the 5 talks, consult the workshop homepage: http://www2.compute.dtu.dk/~tobo/mhj-workshop/index.php

''Upcoming CADILLAC event''

5/12/2013

 
----------------------
There  will be a small CADILLAC workshop at Roskilde University (RUC) on Thursday 5th of December. Here's the program:

13:00 - 14:00 Klaus F. Joergensen (RUC): On the semantics of temporal indexicals
14:00 - 14:15 Coffee Break
14:15 - 15:15 Nikolaj Nottelmann (Odense): The modal profile of knowledge. An interventionist approach.
15:15 - 15:30 Coffee Break
15:30 - 16:30 Zeng Weiping (Xiamen): On the syntax tradition of formal epistemology
16:30 - Wine and snacks

Patrick Blackburn (RUC) will chair the afternoon and the workshop will take place in the seminar-room in building 3.1.3.
All are most welcome!

CONTEXT'13

28/10/2013

 
The Eighth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'13)  will provide a forum for presenting and discussing high-quality research and applications on context modeling and use. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from a wide range of disciplines including:
  • Computer Science,
  • Artificial Intelligence and Ubiquitous Computing,
  • Cognitive Science,
  • Linguistics,
  • Organizational Sciences,
  • Philosophy,
  • Psychology,
  • Application areas such as Medicine, Law, domotics, context-aware systems, ...
Context affects a wide range of activities in humans and animals as well as in artificial agents and other systems. The importance of context is widely acknowledged, and “context” has become an area of study in its own right, as evidenced by numerous workshops, symposia, seminars, and conferences on this area. CONTEXT, the oldest conference series focusing on context, is unique in its emphasis on interdisciplinary research. Previous CONTEXT conferences have been held in Rio de Janeiro, Brazil (CONTEXT'97), Trento, Italy (CONTEXT'99, LNCS 1688), Dundee, Scotland (CONTEXT'01, LNCS 2116), Palo Alto, U.S.A. (CONTEXT'03, LNCS 2680), Paris, France (CONTEXT'05, LNCS 3554), Roskilde, Denmark (CONTEXT'07 LNCS 4635), Karlsruhe (CONTEXT'11, LNCS 6967). Each of these conferences brought together researchers and practitioners from many disparate fields to discuss and report on context-related research and projects.

http://www.polytech.univ-savoie.fr/index.php?id=2218
<<Previous

    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