Pré-Publication, Document De Travail Année : 2015

A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic

Shahid Rahman

Résumé

The present paper, that provides an introduction to standard dialogical logic, has mainly didactic purposes. Thus, the study of the metalogical properties has been left totally by side. However, two sections have been added for those readers willing to go through a technically more demanding material. The first one contains a technically rigorous presentation of standard dialogical logic the second one presents, some very recent work towards a logic with content, applied to modal logic, where modal logic is developed in a purely dialogical way: instead of worlds, we have contexts, constituted by hypothetical assertions and where transitions between worlds are understood as extending contexts by the means of questions.

Domaines

Philosophie
Fichier principal
Vignette du fichier
A Brief Introduction to standard classical and intuitionistic Dialogical Logic.pdf (543.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-01226098 , version 1 (08-11-2015)

Licence

Identifiants

  • HAL Id : halshs-01226098 , version 1

Citer

Shahid Rahman. A Very Brief Introduction to Standard Classical and Intuitionistic Dialogical Logic. 2015. ⟨halshs-01226098⟩
209 Consultations
618 Téléchargements

Partager

More