You are here

Coordinateur (s)
Listed Depop Depop By Listed Catrionabm On On zMSVUqp
Informations complémentaires
Période:
2012 to 2015
Présentation

Buts et objectifs

Le thème général du projet précédent est conservé. Nous nous proposons de préciser de qu'est le raisonnement hypothétique, comment le représenter de façon spécifique et de déterminer ses lois primitives. Cependant il y a un changement d'orientation dans la mesure où le nouveau projet se place uniquement dans la perspective de la théorie de la démonstration. La structure choisie pour organiser le projet précédent ayant été profitable, le projet actuel est aussi divisé entre un projet Maître et plusieurs projets individuels. Tous les participants contribuent au premier qui porte les questions fondamentales de la proof-theoretic semantics et celles de la modélisation des systèmes logiques dans ce cadre. Les projets individuels seront les suivants.
IP1 Preuve et vérité
IP2 La taxonomie des systèmes logiques.
IP3 Cadres généraux pour le raisonnement hypothétique
IP4 Recherches historiques: la proof theoretic semantics de Karl Popper.

Programme de travail, méthode

Comme dans le projet précédent, des rencontres, des rencontres régulières sont organisées. La durée normale de chacune est de deux jours. Chaque rencontre est consacrée à un des sujets du projet Maître et à quelques uns des sujets des projets individuels. Outre ces rencontres internes, nous prévoyons d'organiser deux conférences internationales avec des experts externes. L'une sous la forme d'un atelier, l'autre d'une conférence plus étendue. Cette dernière marquera la fin du projet et permettra d'exposer les résultats obtenus.

Of Pink Short Sleeve Youth T Stretch Polo Ralph Shirts Hint Lauren Mesh EH2bYeD9IW
En savoir plusDesigner Tk MaxxToffee Shirts Polo Art XkZuPi