Στοιχεία επταμελούς επιτροπής:
Δημητρακόπουλος Κωνσταντίνος Καθηγητής,(Επιβλέπων) Κούτρας Κωνσταντίνος Αναπληρωτής Καθηγητής, Ζάχος Ευστάθιος Καθηγητής, Κολέτσος Γεώργιος Καθηγητής
Περίληψη:
Στο πρώτο κεφάλαιο γίνεται μια επισκόπηση στις επιστημικές τροπικές λογικές
(ΕΤΛ) των Lenzen και Stalnaker, παρουσιάζεται η ισοδύναμη ΕΤΛ S4.2 μαζί με τον
επικρατέστερο ορισμό της πεποίθησης συναρτήσει της γνώσης, και περιγράφονται τα
Kripke μοντέλα της S4.2. Στο δεύτερο κεφάλαιο εισάγεται η έννοια των KBp-δομών
σε αντιδιαστολή με τις σταθερές θεωρίες κατά Stalnaker, και αποδεικνύεται ότι
σε αντίθεση με ό,τι συμβαίνει στις τελευταίες, οι KBp-δομές δεν έχουν την
ιδιότητα της «επίγνωσης της άγνοιας», και είναι συνεπείς με την S4.2. Επίσης,
αποδεικνύονται θεωρήματα χαρακτηρισμού των KBp-δομών από την S4.2. Στο τρίτο
κεφάλαιο ορίζεται η διτροπική λογική KBE για μια γλώσσα που, εκτός του τροπικού
τελεστή K που περιγράφει γνώση και του παραγόμενου τελεστή B που περιγράφει
πεποίθηση, διαθέτει επίσης τον E που περιγράφει εκτίμηση. Δίνεται ο ορισμός των
ασθενών υπερφίλτρων, με τη βοήθεια των οποίων ορίζονται τα kbe-πλαίσια και
μοντέλα, τα οποία είναι Kripke ως προς τον τελεστή K, και τροποποιημένα,
γενικευμένα Scott-Montague ως προς E. Κατόπιν, αποδεικνύονται κάποιες
χαρακτηριστικές ιδιότητες της KBE, καθώς και θεωρήματα ορθότητας και πληρότητάς
της ως προς τα kbe-πλαίσια. Στο τελευταίο κεφάλαιο γίνεται προσπάθεια να
περιγραφεί μέσω μιας ΕΤΛ η αλλαγή στην επιστημική κατάσταση του αντιλήπτορα-
agent (δηλ. στο τι γνωρίζει/πιστεύει/εκτιμά εκείνος) με την πρόσληψη νέας
πληροφορίας από κάποιες πηγές. Έτσι, επεκτείνεται η γλώσσα της KBE ώστε να
περιέχει δύο «αντίγραφα» των τελεστών της (ένα για πριν την πληροφόρηση, και
ένα για μετά), καθώς και τόσους τελεστές I, όσες είναι οι πηγές πληροφόρησης.
Κατόπιν, ορίζεται η ΕΤΛ KBEI που προσπαθεί να περιγράψει αυτήν τη δυναμική
κατάσταση, και αποδεικνύονται κάποιες αναμενόμενες ιδιότητές της. Μετά,
ορίζονται τα πλαίσια kbei και τα αντίστοιχα μοντέλα, ενώ τέλος αποδεικνύεται η
ορθότητα και η πληρότητά της ως προς τα πρώτα.
Λέξεις-κλειδιά:
Επιστημική Τροπική Λογική, Μοντέλα Kripke, Επίγνωση της Άγνοιας, Σταθερές Θεωρίες, Εκτίμηση
