| | |
| | |
Stat |
Members: 3645 Articles: 2'504'928 Articles rated: 2609
25 April 2024 |
|
| | | |
|
Article overview
| |
|
A denotational semantics for a Lewis-style modal system close to S1 | Steffen Lewitzka
; | Date: |
25 Apr 2013 | Abstract: | While possible worlds semantics provides a natural framework for normal modal
logics, there is no such intuitive semantics for modal system S1 designed by C.
I. Lewis as a logic of strict implication. In this paper, we interpret strict
equivalence
$square(varphi
ightarrowpsi)wedgesquare(psi
ightarrowvarphi)$ as
propositional identity $varphiequivpsi$ (read: "$varphi$ and $psi$ denote
the same proposition") and extend S1 by an inference rule which is a natural
generalization of the rule of Substitutions of Proved Strict Equivalents. The
resulting modal system is only slightly stronger than S1 and satisfies the
principles of non-Fregean logic. This enables us to develop an intuitive,
non-Fregean denotational semantics for which the system is sound and complete. | Source: | arXiv, 1304.6983 | Services: | Forum | Review | PDF | Favorites |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
|
| |
|
|
|
| News, job offers and information for researchers and scientists:
| |