Θέματα απο την λογική του G.Frege

Ο Frege κατά την εξέταση ορισμένων περιορισμών που παρουσίαζαν οι μέθοδοι σε προηγούμενες εκδοχές της Λογικής διαπίστωσε ότι, για παράδειγμα, η Αριστοτελική λογική δεν μπορεί πάντα να χρησιμοποιηθεί για την ορθή αξιολόγηση διαδικασιών συναγωγής συμπερασμάτων. Ο ίδιος χρειαζόταν μια πιο πλούσια λογική γλώσσα γι αυτό εισήγαγε μια νέα γλώσσα την Begriffsschrift, η οποία περιείχε εκτεταμένο συμβολισμό και ήταν κατάλληλη για τον Φρεγκεανό Λογικισμό (το εγχείρημα αναγωγής των μαθηματικών στη λογική). Επίσης, ο Frege στόχευε στο να εισαχθεί ένα λογικό σύστημα που θα μπορούσε να καθορίσει αν ένα επιχείρημα είναι έγκυρο και αν μία απόδειξη μιας πρότασης μπορούσε να πραγματοποιηθεί με λογικούς κανόνες και χωρίς κενά. Για την επίτευξη του στόχου του ο Frege εισήγαγε νέα σύμβολα , μορφές επιχειρημάτων καθώς και έννοιες συναρτήσεων. Στόχος του ήταν να αναπαραστήσει διαφορετικές μορφές προτάσεων χωρίς την σχέση υποκειμένου και κατηγορήματος (όπως έκανε η λογική του Αριστοτέλη) αλλά μέσω της σχέσης ορίσματος και συνάρτησης. Στο πλαίσιο της διπλωματικής εργασίας θα διερευνηθούν όλα όσα αναφέρονται παραπάνω καθώς και άλλα καινοτόμα χαρακτηριστικά της λογικής του Frege η οποία αποτέλεσε τη βάση για την ανάπτυξη της σύγχρονης λογικής (20ου αι.). Θα εξετάσουμε δηλαδή τους τρόπους που η Φρεγκεανή λογική υπερέβη τους περιορισμούς προγενέστερων εκδοχών λογικής.

Authors dc:creator

• ΧΑΒΡΕΔΑΚΗΣ ΙΩΑΝΝΗΣ
• CHAVREDAKIS IOANNIS

• Θετικές Επιστήμες
• Science

Language dc:language

Ελληνικά, Greek

Identifier

uoadl:5358973

OAI identifier oai:identifier

oai:lib.uoa.gr:uoadl:5358973