An intuitionistic characterization of classical logic
type: Item
instance of: scholarly article
title: An intuitionistic characterization of classical logic
zbMATH Open document ID: 1152.03012
author: Ming Hsiung
published in: Journal of Philosophical Logic
publication date: 2008-08-20T00:00:00Z
review text: It is common to analyse an extension of logical system by restricting the semantical framework characterizing the basic logic. The author points out that such a restriction does not mean a semantical explanation for ``extending logical system'' because the meanings of logical constants may be changed by the restriction, or more frankly, by another semantics. From this viewpoint the author proposes an approach to comparative analysis of logical systems, which is developed in this paper for propositional intermediate logics with respect to Kripke semantics. Given a Kripke frame, the validity of a formula is defined by means of both valuations and transformations of truth values (i.e., open sets of possible worlds), which are called intentional maps here, as a formula is valid if for any valuation and for any intentional map the value is transformed to the universe (i.e., the whole space of possible worlds). Thus, we can consider the classes of intentional maps, namely their properties, instead of those of frames without restricting the whole class of frames, which then raises another semantical characterization problem. Under this perspective it is observed that any Kripke-complete intermediate logic can thus be charaterized enjoying its (unique) ``weakest characterization property'' of intentional maps. In particular, the weakest characterization property for classical logic is shown to be those transforming dense sets to the universe, from which it follows that a syntactical translation is an embedding of classical logic into intuitionistic logic iff its semantical counterpart has the property.
reviewed by: Osamu Sonobe
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 5314495
zbMATH Keywords: classical propositional logic
zbMATH Keywords: intuitionistic propositional logic
zbMATH Keywords: intermediate logic
zbMATH Keywords: Kripke semantics
zbMATH Keywords: translation
zbMATH Keywords: comparative analysis of logical systems
MaRDI profile type: Publication
full work available at URL: s10992-007-9072-0
OpenAlex ID: W1998187354
cites work: Q3753978
DOI: 10.1007/S10992-007-9072-0
description: scientific article; zbMATH DE number 5314495