Dissertation committee:
Γιάννης Στεφάνου, Επίκουρος Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Κώστας Δημητρακόπουλος, Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Ελένη Μανωλακάκη, Επίκουρη Καθηγήτρια, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Δούκας Καπάνταης, Διευθυντής Ερευνών της Ακαδημίας Αθηνών
Δήμητρα Χριστοπούλου, Επίκουρη Καθηγήτρια, Τμήμα Μαθηματικών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Στάθης Ψύλλος, Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Αθανάσιος Τζουβάρας, Καθηγητής, Τμήμα Μαθηματικών, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Summary:
I formulate a formal semantic theory for languages that contain vague predicates, based on specific philosophical assumptions about the nature of the vagueness phenomenon and the characteristics of vague expressions. On the basis of this I define a specific non-classical logic as the one governing vague languages, I study its characteristics, and I identify two syntactical proof systems for which I give proofs of correctness and completeness. Finally, I enrich the language with an operator, that translates into natural language as "definitely", and study the phenomenon of higher order vagueness.
Keywords:
Vagueness, Logic, Higher order vagueness, sorites paradox, philosophical logic