Μάθημα : Δεοντική Λογική
Κωδικός : PHILOSOPHY848
-
Θεματικές Ενότητες
-
Σύντομη Ιστορία της Λογικής
-
Κλασική Προτασιακή Λογική, Ι
-
Κλασική Προτασιακή Λογική, ΙΙ
-
Βασική Τροπική Λογική, Ι
-
Βασική Τροπική Λογική, ΙΙ
-
Πρότυπη Δεοντική Λογική, Ι
-
Πρότυπη Δεοντική Λογική, ΙΙ
-
Πρότυπη Δεοντική Λογική, ΙΙΙ
-
Δεοντική Λογική Anderson-Kanger, I
-
Δεοντική Λογική Anderson-Kanger, IΙ
-
Παράδοξα στη Δεοντική Λογική, Ι
-
Παράδοξα στη Δεοντική Λογική, ΙΙ
-
Σύντομη Ιστορία της Λογικής
Βασική Τροπική Λογική, ΙΙ
Θα αναφερθούμε συνοπτικά στον τρόπο τυπικού χειρισμού τροπικών προτασιακών τύπων, μέσω της υιοθέτησης κανόνων για την κατασκευή παραγωγικών πινάκων (tableaux), και θα παραθέσουμε παραδείγματα τυπικών θεωρημάτων και αντιπαραδειγμάτων.