Abstract
By introducing the intensional mappings and their properties, we establish a new semantical approach of characterizing intermediate logics. First prove that this new approach provides a general method of characterizing and comparing logics without changing the semantical interpretation of implication connective. Then show that it is adequate to characterize all Kripke_complete intermediate logics by showing that each of these logics is sound and complete with respect to its (unique) ‘weakest characterization property’ of intensional mappings. In particular, we show that classical logic has the weakest characterization property \(cl\), which is the strongest among all possible weakest characterization properties of intermediate logics. Finally, it follows from this result that a translation is an embedding of classical logic into intuitionistic logic, iff. its semantical counterpart has the property \(cl\).
Similar content being viewed by others
References
Chagrov, A. and Zakharyaschev, M.: 1995, Modal Logic, Oxford Logic Guides, Clarendon Press, Oxford.
D. Van Dalen, Intuitionistic logic, Handbook of philosophical logic (D. Gabby and F. Guenther, edi–tors), vol. 2, D. Reidel Publishing Company, Dordrecht, 1986, pp. 225–339.
K. Gödel, Zur intuitionistischen arithmetik und zahlentheorie, Ergebnisse eines mathematisches Kolloquiums, vol. 4 (1932), pp. 34–38.
K. Gödel, Collected works, volume 1, Oxford University Press, Oxford, 1986.
S. A. Kripke, Semantical analysis of intuitionistic logic, I, Formal systems and recursive functions (J. N. Crossley and M. A. E. Dummett, editors), Amsterdam, 1965, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, pp. 92–130.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hsiung, M. AN INTUITIONISTIC CHARACTERIZATION OF CLASSICAL LOGIC. J Philos Logic 37, 299–317 (2008). https://doi.org/10.1007/s10992-007-9072-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-007-9072-0