Eine Einführung in die formale Logik
Modale Logik
S1 F23:
Fügen Sie Ihrem Vokabular für Prädikate erster Ordnung zwei neue Operatoren hinzu: ein Symbol für Möglichkeit und ein weiteres für Notwendigkeit. Diese ermöglichen es Ihnen, mit modalen Begriffen umzugehen, d. h. mit bedingten oder notwendigen Wahrheiten. Sehen Sie, wie Philosophen die Modallogik zur Untersuchung ethischer Verpflichtungen verwendet haben.