Colloque

L'utilisation des tables de vérité en logique temporelle

D. Desjardins

Membre a labase

D. Desjardins

Résumé du colloque

Les premières tentatives d'application de la méthode des tables de vérité en logique temporelle remontent aux travaux d'A.N. Prior. S'appuyant sur l'interprétation doxastique des modalités, il a construit un algorithme (les matrices de Prior) qui n'était cependant décidable que pour des logiques comprenant un nombre restreint d'instants. La première partie de l'exposé consiste à présenter un algorithme qui permet de traiter une logique à une infinité d'instants tout en produisant un calcul fini. Cet algorithme s'appuie sur les types et les genres de tableaux de vérité élaborés dans le cadre de la science des genres et la méthode semi-décidable. La deuxième partie concerne l'application de cet algorithme à différentes logiques temporelles, notamment les systèmes axiomatiques Kt, Kc, Kt, etc. Selon l'interprétation sémantique donnée aux données temporelles, ces systèmes peuvent se combiner à des axiomes ajustés aux caractéristiques du contexte, et le dessin des conséquences de ces propriétés attribuées au temps.

Contexte

Section :

Philosophie

Thème du colloque :

Philosophie

Hôte : Université du Québec à Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Philosophie

Quantification et modalités

H. Seymour

La dialectique du jeu des forces et l'Ecole de Francfort

Roger Lambert

Utopies, dystopies, para-utopies et péri-utopies

G. Bouchard

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Philosophie

L'utilisation des tables de vérité en logique temporelle

D. Desjardins