more on this theme
|
more from this thinker
Single Idea 7796
[filed under theme 4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
]
Full Idea
Modal logics were, for a long time, studied in terms of axiom systems. The advent of possible worlds semantics made it possible to study them in a semantic way as well.
Gist of Idea
Modal logics were studied in terms of axioms, but now possible worlds semantics is added
Source
Rod Girle (Modal Logics and Philosophy [2000], 6.5)
Book Ref
Girle,Rod: 'Modal Logics and Philosophy' [Acumen 2000], p.92
The
15 ideas
from 'Modal Logics and Philosophy'
7786
|
Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations
[Girle]
|
7787
|
Possible worlds logics use true-in-a-world rather than true
[Girle]
|
7788
|
Modal logic has four basic modal negation equivalences
[Girle]
|
7789
|
Necessary implication is called 'strict implication'; if successful, it is called 'entailment'
[Girle]
|
7790
|
If an argument is invalid, a truth tree will indicate a counter-example
[Girle]
|
7792
|
A world has 'access' to a world it generates, which is important in possible worlds semantics
[Girle]
|
7793
|
◊p → □◊p is the hallmark of S5
[Girle]
|
7795
|
S5 has just six modalities, and all strings can be reduced to those
[Girle]
|
7794
|
There are seven modalities in S4, each with its negation
[Girle]
|
7799
|
Proposition logic has definitions for its three operators: or, and, and identical
[Girle]
|
7798
|
There are three axiom schemas for propositional logic
[Girle]
|
7797
|
Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems
[Girle]
|
7796
|
Modal logics were studied in terms of axioms, but now possible worlds semantics is added
[Girle]
|
7800
|
Analytic truths are divided into logically and conceptually necessary
[Girle]
|
7801
|
Possibilities can be logical, theoretical, physical, economic or human
[Girle]
|