Accès libre

Logical rules and the determinacy of meaning

À propos de cet article

Citez

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 the meanings of the connectives are decidedly intuitionistic and nonconventional. The reasoning for this conclusion is acceptable to both intuitionistic and classical mathematicians. En route, I take a detour to prove that, given strictly intuitionistic principles, classical negation cannot exist.

eISSN:
2199-6059
ISSN:
0860-150X
Langue:
Anglais
Périodicité:
4 fois par an
Sujets de la revue:
Philosophie, autres