Λογική και σημασιολογία για γλώσσες που περιέχουν ασαφή κατηγορήματα
Περίληψη
Διατυπώνεται μια τυπική σημασιολογική θεωρία για γλώσσες που περιέχουν ασαφή κατηγορήματα, βάσει συγκεκριμένων φιλοσοφικών παραδοχών -όσον αφορά την φύση του φαινομένου της ασάφειας και τα χαρακτηριστικά των ασαφών εκφράσεων- που προκύπτουν έπειτα από κατάλληλη φιλοσοφική διερεύνηση τόσο του υπό εξέταση φαινομένου όσο και των υπολοίπων θεωριών που έχουν μέχρι αυτό το σημείο προταθεί. Βάσει αυτής προσδιορίζεται ένα συγκεκριμένο σύστημα μη κλασικής λογικής που διέπεται από μια μη μεταβατική σχέση συνέπειας, μελετώνται τα χαρακτηριστικά του και προσδιορίζονται δύο συντακτικά συστήματα αποδείξεων, για τα οποία επιπλέον δίνονται αποδείξεις ορθότητας και πληρότητας. Τέλος, ερευνώνται συγκεκριμένες επεκτάσεις της γλώσσας με επιπλέον εκφράσεις, οι οποίες συνοδεύονται από κατάλληλο εμπλουτισμό της περιγραφής της αντίστοιχης σημασιολογικής δομής εντός της μεταγλώσσας. Εμπλουτίζεται έτσι η γλώσσα αντικείμενο με έναν τελεστή ο οποίος μεταφράζεται στην φυσική γλώσσα ως 'ξεκάθαρα', κάτι που επιτρέπε ...
περισσότερα
Περίληψη σε άλλη γλώσσα
A formal semantic theory is formulated, based on specific philosophical assumptions -in regards to the nature of the phenomenon of vagueness and the characteristics of vague expressions- that are the product of appropriate philosophical investigations, both of the phenomenon in question aswell as of the relevant theories that have up to that point been proposed. Based on these, a specific non classical system of logic is developed, governed by a non transitive consequence relation. The characteristics of the system are then studied, two syntactic proof systems are outlined, and, moreover, the appropriate proofs of soundness and completeness are given. Finally, specific extensions of the object language are developed and studied, accompanied by an appropriate enrichment of the corresponding semantic structure and its description in the classical metalanguage. The object language is thusly enriched with an operator that can be translated in narural language as 'Definitely', something tha ...
περισσότερα
Κατεβάστε τη διατριβή σε μορφή PDF (3.52 MB)
(Η υπηρεσία είναι διαθέσιμη μετά από δωρεάν εγγραφή)
|
Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.
|
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.