Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15456
Τίτλος: | Τυποποίηση Των Principia Metaphysica Σε Isabelle/hol |
Συγγραφείς: | Κωνσταντίνος Πουλιάσης Παπασπύρου Νικόλαος |
Λέξεις κλειδιά: | μαθηματική λογική αποδείκτης θεωρημάτων φιλοσοφική λογική principia metaphysica τροπική λογική κωδικοποίηση γλωσσών αυτοματοποίημένη απόδειξη υπολογιστική μεταφυσική |
Ημερομηνία έκδοσης: | 22-Ιου-2009 |
Περίληψη: | Σκοπός της διπλωματικής αυτής εργασίας είναι η κωδικοποίηση και ηαπόδειξη βασικών θεωρημάτων των Principia Metaphysica στον αποδείκτη Ιsabelle/HOL. Η τυποποίηση αυτή επιτρέπει έλεγχο ορθότητας των αποδείξεων των Principia Μetaphysica και παρέχει ένα χρήσιμο και επεκτάσιμο αποδεικτικό περιβάλλον που μπορεί να χρησιμεύσει στην απόδειξη ολόκληρης της θεωρίας. Τα Principia Μetaphysica (γνωστά και ως Θεωρία Αφηρημένων Αντικειμένων) είναι μία θεωρία τυπικής μεταφυσικής που χρησιμοποιεί τη γλώσσα της μαθηματικής λογικής προκειμένου να παρουσιάσει τα αξιώματα της, να ορίσει μεταφυσικά αντικείμενα και να προχωρήσεισε αποδείξεις για τις ιδιότητες αυτών. H τυπική γλώσσα της θεωρίας σε συνδυασμό με την ενσωμάτωση της σε αυτόματους αποδείκτες (όπως το Isabelle/HOL) παρέχει τη δυνατότητα για υπολογιστική μεταφυσική και επιστημολογίαπραγματώνοντας, σ' ένα βαθμό, την πρόβλεψη του Leibniz για φιλοσοφία ως υπολογιστική διαδικασία. Παρουσιάζονται η κωδικοποίηση της γλώσσας, των μεταθεωρητικών εννοιών, των βασικών αξιωμάτων καθώς και αποδείξεις βασικών θεωρημάτωντων Principia σε Isabelle/HOL, παράλληλα με την πρωτότυπη θεωρία όπως παρουσιάζεται στο mally.stanford.edu/principia.pdf.. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15456 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Μέγεθος | Μορφότυπος | |
---|---|---|---|
DT2009-0193.pdf | 314 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.