Στοιχεία επταμελούς επιτροπής:
Γιάννης Στεφάνου, Επίκουρος Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Κώστας Δημητρακόπουλος, Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Ελένη Μανωλακάκη, Επίκουρη Καθηγήτρια, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Δούκας Καπάνταης, Διευθυντής Ερευνών της Ακαδημίας Αθηνών
Δήμητρα Χριστοπούλου, Επίκουρη Καθηγήτρια, Τμήμα Μαθηματικών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Στάθης Ψύλλος, Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Αθανάσιος Τζουβάρας, Καθηγητής, Τμήμα Μαθηματικών, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Περίληψη:
Διατυπώνω μια τυπική σημασιολογική θεωρία για γλώσσες που περιέχουν ασαφή κατηγορήματα, βασιζόμενος σε συγκεκριμένες φιλοσοφικές παραδοχές όσον αφορά την φύση του φαινομένου της ασάφειας και τα χαρακτηριστικά των ασαφών εκφράσεων. Βάσει αυτής προσδιορίζω μια συγκεκριμένη μη κλασική λογική ως αυτή που διέπει τις ασαφείς γλώσσες, μελετώ τα χαρακτηριστικά της, και προσδιορίζω δύο συντακτικά συστήματα αποδείξεων για τα οποία δίνω αποδείξεις ορθότητας και πληρότητας. Τέλος, εμπλουτίζω την γλώσσα με έναν τελεστή ο οποίος μεταφράζεται στην φυσική γλώσσα ως 'ξεκάθαρα', και μελετώ το φαινόμενο της ασάφειας ανώτερης τάξης, βασιζόμενος σε μια κατασκευή που αποτελείται από μια άπειρη ιεραρχία ασαφών γλωσσών.
Λέξεις-κλειδιά:
Ασάφεια, Λογική, Ασάφεια ανώτερης τάξης, παράδοξο σωρείτη, φιλοσοφική λογική
