Λογική και Σημασιολογία για γλώσσες που περιέχουν ασαφή κατηγορήματα

Διδακτορική Διατριβή uoadl:2878860 351 Αναγνώσεις

Μονάδα:
Τμήμα Ιστορίας και Φιλοσοφίας της Επιστήμης (ΙΦΕ - πρώην ΜΙΘΕ)
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Ημερομηνία κατάθεσης:
2019-07-15
Έτος εκπόνησης:
2019
Συγγραφέας:
Τριανταφύλλου Ευάγγελος
Στοιχεία επταμελούς επιτροπής:
Γιάννης Στεφάνου, Επίκουρος Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Κώστας Δημητρακόπουλος, Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Ελένη Μανωλακάκη, Επίκουρη Καθηγήτρια, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Δούκας Καπάνταης, Διευθυντής Ερευνών της Ακαδημίας Αθηνών
Δήμητρα Χριστοπούλου, Επίκουρη Καθηγήτρια, Τμήμα Μαθηματικών, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Στάθης Ψύλλος, Καθηγητής, Ιστορίας και Φιλοσοφίας Επιστήμης, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών
Αθανάσιος Τζουβάρας, Καθηγητής, Τμήμα Μαθηματικών, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Πρωτότυπος Τίτλος:
Λογική και Σημασιολογία για γλώσσες που περιέχουν ασαφή κατηγορήματα
Γλώσσες διατριβής:
Ελληνικά
Μεταφρασμένος τίτλος:
Λογική και σημασιολογία για γλώσσες που περιέχουν ασαφή κατηγορήματα
Περίληψη:
Διατυπώνω μια τυπική σημασιολογική θεωρία για γλώσσες που περιέχουν ασαφή κατηγορήματα, βασιζόμενος σε συγκεκριμένες φιλοσοφικές παραδοχές όσον αφορά την φύση του φαινομένου της ασάφειας και τα χαρακτηριστικά των ασαφών εκφράσεων. Βάσει αυτής προσδιορίζω μια συγκεκριμένη μη κλασική λογική ως αυτή που διέπει τις ασαφείς γλώσσες, μελετώ τα χαρακτηριστικά της, και προσδιορίζω δύο συντακτικά συστήματα αποδείξεων για τα οποία δίνω αποδείξεις ορθότητας και πληρότητας. Τέλος, εμπλουτίζω την γλώσσα με έναν τελεστή ο οποίος μεταφράζεται στην φυσική γλώσσα ως 'ξεκάθαρα', και μελετώ το φαινόμενο της ασάφειας ανώτερης τάξης, βασιζόμενος σε μια κατασκευή που αποτελείται από μια άπειρη ιεραρχία ασαφών γλωσσών.
Κύρια θεματική κατηγορία:
Φιλοσοφία- Ψυχολογία
Λέξεις-κλειδιά:
Ασάφεια, Λογική, Ασάφεια ανώτερης τάξης, παράδοξο σωρείτη, φιλοσοφική λογική
Ευρετήριο:
Όχι
Αρ. σελίδων ευρετηρίου:
0
Εικονογραφημένη:
Όχι
Αρ. βιβλιογραφικών αναφορών:
222
Αριθμός σελίδων:
295
ΛΟΓΙΚΗ ΚΑΙ ΣΗΜΑΣΙΟΛΟΓΙΑ ΓΙΑ ΓΛΩΣΣΕΣ ΠΟΥ ΠΕΡΙΕΧΟΥΝ ΑΣΑΦΗ ΚΑΤΗΓΟΡΗΜΑΤΑ (Τελικό Παραδοτέο).pdf (3 MB) Άνοιγμα σε νέο παράθυρο