|
Logiques intensionnelles (Carnap, Kripke, Routley)| old_uid | 8753 |
|---|
| title | Logiques intensionnelles (Carnap, Kripke, Routley) |
|---|
| start_date | 2010/05/24 |
|---|
| schedule | 15h-17h |
|---|
| online | no |
|---|
| summary | Les logiques modales ont été développées pour rendre compte des contextes où c'est l'intension qui compte. Or, parallèlement au formalisme de Barcan Marcus et à sa sémantique kripkéenne, ont été élaborés des projets alternatifs qui s'appuient sur des conceptions divergentes du statut et des propriétés des "objets intentionnels". Carnap n'y voit que des concepts; Routley en fait d'authentiques objets. L'un et l'autre proposent des théories fortes et originales de l'identité et de la nécessité, qui éclairent par contraste les notions devenues classiques de "monde possible" et de "désignateur rigide". |
|---|
| responsibles | Bonnay, Sandu |
|---|
| |
|