Heartspring, William (2019) Modal logic NL for common language. [Preprint]

Preview

Text commonlanglogic.pdf Download (197kB) | Preview

Abstract

Despite initial appearance, paradoxes in classical logic, when comprehension is unrestricted, do not go away even if the law of excluded middle is dropped, unless the law of noncontradiction is eliminated as well, which makes logic much less powerful. Is there an alternative way to preserve unrestricted comprehension of common language, while retaining power of classical logic? The answer is yes, when provability modal logic is utilized. Modal logic NL is constructed for this purpose. Unless a paradox is provable, usual rules of classical logic follow. The main point for modal logic NL is to tune the law of excluded middle so that we allow for a sentence and its negation to be both false in case a paradox provably arises. Curry's paradox is resolved differently from other paradoxes but is also resolved in modal logic NL. The changes allow for unrestricted comprehension and naive set theory, and allow us to justify use of common language in formal sense.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Heartspring, William bheartspring@gmail.com
Keywords:	provability logic, modal logic, unrestricted comprehension, naive set theory, liar paradox, Russell's paradox, knower paradox, Curry's paradox, no-no paradox, law of excluded middle
Subjects:	Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic
Depositing User:	William Heartspring
Date Deposited:	14 Jul 2019 15:17
Last Modified:	14 Jul 2019 15:17
Item ID:	16219
Subjects:	Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic
Date:	13 July 2019
URI:	https://philsci-archive.pitt.edu/id/eprint/16219

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item