: A Pragmatised Natural Deduction Calculus and its Meta-theory
Key Points
The new natural deduction calculus enhances logical reasoning processes, benefiting practical applications.
Key elements include integrating pragmatics into traditional logical paradigms, revealing inherent relational structures.
Meta-theory evaluation provides rigorous underpinning to the proposed logical framework, ensuring robustness and coherence.
Implications for future studies suggest a refined understanding of reasoning, highlighting its application across various disciplines.
Abstract
Translation of our paper "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://hal.archives-ouvertes.fr/hal-00532643/en/ .