Research Output per year

# Project Details

### Description

Although the foundations of Mathematics seemed well established (first-order logic + set theory, for instance), recently these foundations have been seriously challenged by J. Hintikka and - in a lesser degree by M. Fitting. Hintikka argues for an information-Independence Friendly (IF) first-order logic extending traditional first-order logic, but with quite different properties and Fitting argues for a quite different treatment of modalities. Although Hintikka's papers are full of innovative and challenging ideas, many of his ideas are not fully worked out and most of his `proofs' are only sketched. Hintikka's writings can be characterized as being philosophical rather than mathematical. Most, if not all reviews of his book point out several mistakes in, and problems with, his definitions and statements. The main aim of this researchproject is to work out (part of) Hintikka's ideas more precisely, from a mathematical point of view, to give precise definitions and mathematically correct proofs of (some of) his statements.

Fitting has worked out a solution of the inadequate expressive power of modal predicate logic, solving most - if not all - `paradoxes' of modal logic. We also want to investigate the logic that results by extending Hintikka's IF logic with the modalities and predicate abstraction as treated by Fitting.

Fitting has worked out a solution of the inadequate expressive power of modal predicate logic, solving most - if not all - `paradoxes' of modal logic. We also want to investigate the logic that results by extending Hintikka's IF logic with the modalities and predicate abstraction as treated by Fitting.

Short title | Hintikka's Revolution |
---|---|

Status | Finished |

Effective start/end date | 1/09/00 → 31/08/04 |

## Research Output

## Game, Set, Maths: Formal Investigations into Logic with Imperfect Information

Dechesne, F., 2005, Eindhoven: Printservice TU/E. 165 p.Research output: Thesis › Doctoral Thesis

File

## Investigating the basic notions of Hintikka's Independence Friendly Logic

Dechesne, F., 2001, Eindhoven: Faculteit Wiskunde en Informatica TUE. 33 p. (01; no. 06)Research output: Book/Report › Report › Professional

## Activities

## Logic Tea (ILLC)

F. Dechesne (Speaker)1 Apr 2004

Activity: Talk or presentation types › Oral presentation › Scientific

## Workshop on Knowledge and Games, University of Liverpool

F. Dechesne (Speaker)10 Jul 2004

Activity: Talk or presentation types › Oral presentation › Scientific

## Prague International Colloquium Logic, Games and Philosophy

F. Dechesne (Speaker)29 Sep 2004

Activity: Talk or presentation types › Oral presentation › Scientific