様相論理
Sign in to saveformal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
In the Vinony graph
Within Vinony's link graph, 様相論理 is referenced by 394 other articles, and connects out to first-order logic, Arthur Prior and philosophy.
It is catalogued under topics including Logic, Mathematical logic and Modal logic.
Its subject is documented across 38 Wikipedia language editions.
Wikidata facts
- Part of
- mathematical logic
Show 4 more facts
- topic's main category
- Category:Modal logic
- Commons category
- Modal logic
- influenced by
- predicate logic
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/modal-logic
via Wikidata · CC0
Article · 日本語
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができるが、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子□と、「～は可能である」ことを意味する可能性演算子◇のふたつの演算子が追加される。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
first-order logic
Entity
Arthur Prior
Entity
philosophy
Entity
axiom
Entity
Encyclopædia Britannica
Entity
propositional calculus
Entity
De Morgan's laws
Entity
David Lewis
Entity
possible world
Entity
many-valued logic
Entity
Clarence Irving Lewis
Entity
duality
Entity
deontic logic
Entity
epistemic modal logic
Entity
three-state logic
Entity
subjunctive possibility
Entity
method of analytic tableaux
Entity
closure operator
Entity
Strict conditional
Entity
dynamic logic
Entity