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