Logical rules and the determinacy of meaning
The use of conventional logical connectives either in logic, in mathematics, or in both cannot determine the meanings of those connectives. This is because every model of full conventional set theory can be extended conservatively to a model of intuitionistic set plus class theory, a model in which...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Sciendo
2018-06-01
|
Series: | Studies in Logic, Grammar and Rhetoric |
Subjects: | |
Online Access: | https://doi.org/10.2478/slgr-2018-0018 |