Ein Redehandlungskalkül - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2011

Ein Redehandlungskalkül

Abstract

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e., a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs.
Fichier principal
Vignette du fichier
Ein_RedehandlungskalkA_l.pdf (2.98 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00532643 , version 1 (04-11-2010)
hal-00532643 , version 2 (31-01-2011)

Identifiers

  • HAL Id : hal-00532643 , version 2

Cite

Moritz Cordes, Friedrich Reinmuth. Ein Redehandlungskalkül: Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie. 2011. ⟨hal-00532643v2⟩

Collections

OMNIPHILO
440 View
928 Download

Share

Gmail Facebook X LinkedIn More