An intuitionistic characterization of classical logic (Q939055): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10992-007-9072-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1998187354 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3753978 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:11, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An intuitionistic characterization of classical logic |
scientific article |
Statements
An intuitionistic characterization of classical logic (English)
0 references
20 August 2008
0 references
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.
0 references
classical propositional logic
0 references
intuitionistic propositional logic
0 references
intermediate logic
0 references
Kripke semantics
0 references
translation
0 references
comparative analysis of logical systems
0 references