DC FieldValueLanguage
dc.contributor.authorΚοτσίκου, Ειρήνη-
dc.date.accessioned2023-10-13T06:36:30Z-
dc.date.available2023-10-13T06:36:30Z-
dc.date.issued2020-11-27-
dc.identifier.urihttps://uniwacris.uniwa.gr/handle/3000/258-
dc.description.abstractΗ ιστορία της επιστήμης της λογικής ανάγεται πολλούς αιώνες πίσω, στην εποχή του Αριστοτέλη, ο οποίος υπήρξε και θεμελιωτής της. Τους δύο τελευταίους αιώνες η εξέλιξη της ήταν ραγδαία και πλέον αποτελεί απαραίτητο στοιχείο σε όλες τις επιστήμες. Από τα τέλη του 19ου αιώνα, η μαθηματική λογική ανέκυψε ως φυσικό επακόλουθο της ανάγκης κατασκευής μιας αυστηρής γλώσσας για την περιγραφή περίπλοκων μαθηματικών θεωριών. Η μαθηματική λογική συναντάται και ως τυπική λογική, λόγω του αυστηρού χαρακτήρα της και συμβολική, λόγω των συμβόλων που χρησιμοποιεί αντί για λέξεις. Τα δύο σημαντικότερα είδη μαθηματικής λογικής είναι ο προτασιακός λογισμός και ο κατηγορηματικός λογισμός. Στην παρούσα εργασία περιγράφουμε τη γλώσσα του κατηγορηματικού λογισμού και πιο συγκεκριμένα το συντακτικό, τη σημασιολογία και τους μηχανισμούς εξαγωγής συμπερασμάτων της. Στη συνέχεια επιχειρείται η μετατροπή προτάσεων φυσικής γλώσσας στην τυπική γλώσσα του κατηγορηματικού λογισμού. Πιο συγκεκριμένα, οι προτάσεις φυσικής γλώσσας που θα μεταγραφούν στη κατηγορηματική γλώσσα έχουν προέλθει από τους φιλοσοφικούς διαλόγους του Πλάτωνα. Σε αυτά τα έργα γίνεται μια προσπάθεια ορισμού μιας έννοιας, όπου από διάφορες προκείμενες προτάσεις καταλήγουν σε ένα συμπέρασμα. Τέλος, με το βασικό μηχανισμό εξαγωγής συμπερασμάτων της κατηγορηματικής λογικής, θα ελέγξουμε την ορθότητα αυτών των συμπερασμάτων.-
dc.format.extent70-
dc.language.isoel-
dc.publisherUniversity of West Attica (UNIWA)-
dc.rightsΑναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 4.0 Διεθνές-
dc.subjectΚατηγορηματικός Λογισμός-
dc.subjectΚατηγορηματική Λογική-
dc.subjectΛογική Πρώτου Βαθμού-
dc.subjectΠρωτοβάθμια Λογική-
dc.subjectΛογική-
dc.subjectΠλατωνικοί Διάλογοι-
dc.subjectΠλατωνικά Έργα-
dc.subjectΕπεξεργασία Φυσικής Γλώσσας-
dc.subjectPredicate Logic-
dc.subjectPredicate Calculus-
dc.subjectFirst-Order Logic-
dc.subjectLogic-
dc.subjectPlatonic Dialogues-
dc.subjectPlatonic Works-
dc.subjectNatural Language Processing-
dc.titleΑνάλυση φιλοσοφικού λόγου στην τυπική γλώσσα του Κατηγορηματικού Λογισμού-
dc.typeMSc Thesis-
dc.relation.deptDepartment of Archival, Library and Information Studies-
dc.relation.facultySchool of Administrative, Economics and Social Sciences-
dc.relation.programΜεταπτυχιακές διπλωματικές εργασίες ΠΜΣ Διαχείριση Πληροφοριών σε Βιβλιοθήκες, Αρχεία, Μουσεία-
dc.contributor.committeememberKyriaki - Manessi, Daphne-
dc.contributor.committeememberGiannakopoulos, Georgios-
dc.linkhttp://dx.doi.org/10.26265/polynoe-5-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.grantfulltextnone-
item.languageiso639-1el-
item.openairetypeMSc Thesis-
item.cerifentitytypePublications-
Appears in Collections:Master Theses / Μεταπτυχιακές Εργασίες
CORE Recommender
Show simple item record

Page view(s)

11
checked on Aug 15, 2024

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.