Central and East European
Society for Phenomenology

Repository | Book | Chapter

183616

Atomic systems in proof-theoretic semantics

two approaches

Thomas Piecha Peter Schroeder-Heister

pp. 47-62

Abstract

Atomic systems are systems of rules containing only atomic formulas. In proof-theoretic semantics for minimal and intuitionistic logic they are used as the base case in an inductive definition of validity. We compare two different approaches to atomic systems. The first approach is compatible with an interpretation of atomic systems as representations of states of knowledge. The second takes atomic systems to be definitions of atomic formulas. The two views lead to different notions of derivability for atomic formulas, and consequently to different notions of proof-theoretic validity. In the first approach, validity is stable in the sense that for atomic formulas logical consequence and derivability coincide for any given atomic system. In the second approach this is not the case. This indicates that atomic systems as definitions, which determine the meaning of atomic sentences, might not be the proper basis for proof-theoretic validity, or conversely, that standard notions of proof-theoretic validity are not appropriate for definitional rule systems.

Publication details

Published in:

Redmond Juan, Martins Olga Pombo, Fernández Ángel Nepomuceno (2016) Epistemology, knowledge and the impact of interaction. Dordrecht, Springer.

Pages: 47-62

Full citation:

Piecha Thomas, Schroeder-Heister Peter (2016) „Atomic systems in proof-theoretic semantics: two approaches“, In: J. Redmond, O. Martins & Á. Fernández (eds.), Epistemology, knowledge and the impact of interaction, Dordrecht, Springer, 47–62.