Logic and Rational Interaction

20November2009

Dynamic Logic Seminar at ILLC: Towards a dynamic account for an expressive conception of norms

Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Deontic Logic; Dynamic Logic.

On Monday, the dynamic logic working group at ILLC will be having their next seminar’s session. This time, Kurt Ranalter (Universita’ degli Studi di Verona) will be giving a talk entitled Towards a dynamic account for an expressive conception of norms .

The meeting will take place in room C0.110 at Science Park 904.

Abstract: We report on work in progress concerning ... (Read the rest of the entry >>)

20November2009

Podcasts from ‘the Aim of Belief’ Conference Online

Posted by Rasmus Rendsvig under: Belief revision, conditioning, imaging and other belief; Conference and workshop reports.

Podcasts, i.e. mp3 videos compatible with playback on many portable devices, of the talks given at ‘the Aim of Belief’ conference is now available online here. Quoting from the conference site:

The Aim of Belief was a conference held at the University of Oslo from the 11th to the 13th of June 2009. The theme of the conference was to investigate the idea that truth provides a fundamental standard of ... (Read the rest of the entry >>)

19November2009

Computational Logic Seminar at CUNY: Logical Analysis of Cryptographic Protocols

Posted by Rasmus Rendsvig under: Activities; Computer Science; Courses, seminars and special lectures; Dynamic Epistemic Logic.

Computational Logic Seminar at CUNY:

Title: Logical Analysis of Cryptographic Protocols
Speaker: Evan Goris

November 19, 2:00-3:30 PM.
Room 4421 — please notice the room change.

Abstract:This talk will contains an overview on some selected topics on formal analysis of security protocols: BAN Logic, Systems and Runs Framework, and Dynamic Epistemic Logic. This is the second PhD exam for the speaker.

18November2009

REPORT: Formal Philosophy Seminars

Posted by Rasmus Rendsvig under: Conference and workshop reports.

Sebastian Sequoiah-Grayson reports on the Formal Philosophy Seminars hosted by the Formal Epistemology Project at the University of Leuven undertaken during the semester so far:

Hemdat Lerman argued for the contemporary relevance of the debate concerning knowledge of objects by acquaintance for the epistemology of perception. Hemdat challenged the standard representational view of experience with a Relational view. Here, objects and their properties are presented by perceptual to the observer. This ... (Read the rest of the entry >>)

18November2009

LSE Choice Group Seminar: Objective versus Subjective Moral Oughts

Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Deontic Logic; Epistemic Logic; Social Choice Theory.

Krister Bykvist (Jesus College, Oxford)
Objective versus Subjective Moral Oughts

Wednesday, 18th November
17-30 till 19-00, T206 (Lakatos Building)

Abstract. It is common in normative ethics to abstract away from any epistemic shortcomings of the agent. In this highly idealized debate, virtue ethics will simply tell you to do what the virtuous person would do (or what would display the most virtuous ... (Read the rest of the entry >>)

17November2009

Logic and Interactive RAtionality seminar: Inquisitive semantics and logic

Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Natural Language Semantics.

Thursday November 19th from 14:30hrs Ivano Ciardelli will talk about Inquisitive semantics and logic at the Logic and Interactive RAtionality seminar session in Science Park, ILLC.

Abstract: Traditional approaches to the semantics of natural language (e.g. Stalnaker, 1978) equate meaning with informative content. Inquisitive semantics tries to obtain a system more suited to the modeling of information exchange in conversation by letting issues ... (Read the rest of the entry >>)