Logic and Rational Interaction

10March2010

2nd CfP: LRR10: LOGIC, REASONING AND RATIONALITY

Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Rational Agency; Reasoning.

2nd Call for Papers

LRR10: LOGIC, REASONING AND RATIONALITY
http://www.lrr10.ugent.be/

September 20-22, 2010
Centre for Logic and Philosophy of Science, Ghent University, Belgium

The idea that there is a strong connection between logic, reasoning, and rationality, which was very popular among the philosophers of the Wiener Kreis, has long been out of fashion. ... (Read the rest of the entry >>)

10March2010

CfP: DGL10: Fourth Workshop in Decisions, Games & Logic

Posted by Rasmus Rendsvig under: Activities; Call for papers; Conference and workshop announcements; Decision Theory; Formal Epistemology; Game Theory; Uncategorized.

Call for Papers:

DGL10: Fourth Workshop in Decisions, Games & Logic
June 9 – June 11, 2010

Paris, France

Formal approaches to rational individual and interactive decision making is a dynamic and interdisciplinary field of research. The workshop series in Decisions, Games & Logic (DGL) started in 2007 aims at fostering interactions ... (Read the rest of the entry >>)

10March2010

Logic and Games Seminar at CUNY: Natalie Gold — Framing and Team Reasoning

Posted by Rasmus Rendsvig under: Activities; Courses, seminars and special lectures; Game Theory.

Logic and Games Seminar at City University of New York
Friday, March 19, 2010 4:15 pm Room 4419, GC
Speaker: Professor Natalie Gold (University of Edinburgh)
Title: Framing and Team Reasoning

Abstract forthcoming.

9March2010

Computational Logic Seminar at CUNY: Sergei Artemov — Tracking the Evidence

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

Computational Logic Seminar at City University of New York
Tuesday, March 9, 2:00-4:00 PM. Room C415A
Speaker: Sergei Artemov, GC CUNY
Title: Tracking the Evidence

Abstract: In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic Russell’s well-known `prime minister example’ which features two justifications for a true ... (Read the rest of the entry >>)

9March2010

Call for Registration: 14th Congress of Logic, Methodology and Philosophy of Science

Posted by Rasmus Rendsvig under: Activities; Conference and workshop announcements.

ANNOUNCEMENT AND CALL FOR PRELIMINARY REGISTRATION

14th Congress of Logic, Methodology and Philosophy of Science

Location: Nancy, France
Date: 19-26 July, 2011
Website: http://www.clmps2011.org/

It is with pleasure that we announce the upcoming 14th Congress of Logic, Methodology and Philosophy of Science, a leading congress in its field, which ... (Read the rest of the entry >>)

8March2010

GroLog Lecture: Francesca Poggiolesi, Cut-free and Normalised Logic of Proof

Posted by Olivier Roy under: Activities; Courses, seminars and special lectures; Justification Logic.



EVENT: GroLog Lecture

SPEAKER: Francesca Poggiolesi (CLWF, Vrije Universiteit Brussel)

DATE: Thursday 18 March 2010

TIME: 15:15 — 17:00

PLACE: Room Gamma, Department of Philosophy, Oude Boteringestraat 52, Groningen

TITLE: Cut-free and Normalised Logic of Proof

ABSTRACT:

The old question discussed by Godel in 1933/38 concerning the intended provability semantics of the classical modal logic S4 and
intuitionistic logic IPC was finally settled by the logic of ... (Read the rest of the entry >>)