Sentence,proposition and identity |
| |
Authors: | Jean-Yves Béziau |
| |
Affiliation: | (1) Swiss National Science Foundation, Neuchatel, Switzerland;(2) Institute of Logic, University of Neuchatel, Espace Louis Agassiz 1, 2000 Neuchatel, Switzerland |
| |
Abstract: | In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of proposition, according to which a whole hierarchy of congruences leads to different kinds of objects. |
| |
Keywords: | Sentence Proposition Formula Syntax Language Identity Congruence |
本文献已被 SpringerLink 等数据库收录! |
|