Repository | Journal | Volume | Articles
(2012) Synthese 187 (3).
The categorical and the hypothetical
a critique of some fundamental assumptions of standard semantics
Peter Schroeder-Heister
pp. 925-942
The hypothetical notion of consequence is normally understood as the transmission of a categorical notion from premisses to conclusion. In model-theoretic semantics this categorical notion is ‘truth’, in standard proof-theoretic semantics it is ‘canonical provability’. Three underlying dogmas, (I) the priority of the categorical over the hypothetical, (II) the transmission view of consequence, and (III) the identification of consequence and correctness of inference are criticized from an alternative view of proof-theoretic semantics. It is argued that consequence is a basic semantical concept which is directly governed by elementary reasoning principles such as definitional closure and definitional reflection, and not reduced to a categorical concept. This understanding of consequence allows in particular to deal with non-wellfounded phenomena as they arise from circular definitions.
Publication details
DOI: 10.1007/s11229-011-9910-z
Full citation:
Schroeder-Heister, P. (2012). The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187 (3), pp. 925-942.
This document is unfortunately not available for download at the moment.