anonymousGastVerfasst am: 15. Aug 2022 00:27 Titel: Modallogik
Meine Frage:
Hallo zusammen!
ich habe gerade mich mit Modallogik beschäftigt, bei Wikipedia usw.
Man unterscheidet dort zwischen möglich und notwendig.
Beispiel:
?Es ist nicht möglich, dass Sokrates Philosoph ist? (Aussage ist falsch) bedeutet etwas anderes als ?Es ist möglich, dass Sokrates kein Philosoph ist? (Aussage ist wahr).
... zu notwendig:
?Es ist möglich, dass Sokrates Philosoph ist? ist gleichbedeutend mit
?Es ist nicht notwendig, dass Sokrates kein Philosoph ist.?
usw.
Nun wollte ich ein logisches System, welches eindeutig ist und mein Eindruck ist,
dass es sehr viele verschiedene Systeme ("Deutungen") gibt.
Also erstmal die Frage: ist mein Eindruck richtig? oder gibt es eine 'eindeutige' Modallogik?
Und wemm es eine gibt; kennt ihr einen Link?
Meine Ideen:
Meine Idee is NLP. Das ist natürlich besser, wenn es ein einziges System gäbe...