20

λογική + παράδοξα (μέρος β')

Embed Size (px)

Citation preview

Page 1: λογική + παράδοξα (μέρος β')
Page 2: λογική + παράδοξα (μέρος β')

Η σχολή αυτή ιδρύθηκε από τον Χρύσιππο και στα πλαίσια της συνεχίστηκαν οι λογικές μελέτες των Μεγαρικών φιλοσόφων.

Μόνο μικρό μέρος του έργου των Στωικών διασώθηκε.

Η επιρροή της αριστοτελικής λογικής ήταν τόσο μεγάλη που οδήγησε στην υποτίμηση από πολλούς ιστορικούς της συνεισφοράς των Στωικών.

Page 3: λογική + παράδοξα (μέρος β')

Ενώ η λογική του Αριστοτέλη αφορά σε επιχειρήματα μαθηματικού/φιλοσοφικού χαρακτήρα

Η λογική των Μεγαριτών και των Στωικών αφορά επιχειρήματα διαλεκτικού χαρακτήρα

Το έργο των Στωικών αφορά: Λογική Προτάσεων

Page 4: λογική + παράδοξα (μέρος β')

Λογική Προτάσεων:

Εννοούμε τη μελέτη των λογικών σχέσεων μεταξύ προτάσεων λαμβάνοντας κάθε πρόταση ως ένα ιδιαίτερο όλον.

Page 5: λογική + παράδοξα (μέρος β')

Οι Στωικοί φιλόσοφοι ενδιαφέρονταν για κατασκευή παραδόξων, κάποια από τα οποία θα δούμε παρακάτω:

1. Το παράδοξο του ψευδόμενου

Ένας άνθρωπος λέει ότι ψεύδεται. Είναι αυτό αλήθεια ή ψέματα.

Αυτό-αναφορική πρόταση

Page 6: λογική + παράδοξα (μέρος β')

2. Το παράδοξο του φαλακρού

Θα λέγατε ότι ένας άνδρας είναι φαλακρός αν έχει μια τρίχα;

Ναι…. Μέχρι ποιο αριθμό τριχών θα λέγατε ότι είναι φαλακρός;Ασαφείς

εκφράσεις

Page 7: λογική + παράδοξα (μέρος β')
Page 8: λογική + παράδοξα (μέρος β')

Το παράδοξο του Ράσελ δείχνει ένα θεμελιώδες λάθος στην θεωρία Συνόλων.

Σύμφωνα με τον Cantor :«σύνολο είναι μια συλλογή αντικειμένων με κοινή ιδιότητα»

Λόγο της γενικότητας αυτής της ιδέας, μπορεί κανείς να μιλήσειγια σύνολα συνόλων φτάνοντας μέχρι και την έννοια του «συνόλου όλων των συνόλων».

Για τα σύνολα μπορούμε να ορίσουμε την έννοια της αυτό-περιεκτικότητας, της ιδιότητας δηλαδή να περιέχει ένα σύνολο τον εαυτό του.

Page 9: λογική + παράδοξα (μέρος β')

Θα δώσω μια ιδέα…

Φανταστείτε μια πόλη όπου δια νόμου πρέπει…

Page 10: λογική + παράδοξα (μέρος β')

… Κάθε άνδρας να ξυρίζεται καθημερινά.

Page 11: λογική + παράδοξα (μέρος β')

Αλλά δε χρειάζεται να ξυρίζονται μόνοι.

Ο νόμος λέει ακριβώς:«Όποιος δεν ξυρίζεται

μόνος του, τον ξυρίζει ο κουρέας».

…Για όσους δε θέλουν, η

πόλη έχει τον κουρέα της.

Page 12: λογική + παράδοξα (μέρος β')

«Όποιος δεν ξυρίζεται μόνος του, τον ξυρίζει ο κουρέας». Ακούγεται ανώδυνο, ε; Αν όμως ληφθεί κυριολεκτικά,

οδηγεί γραμμή στο παράδοξο!

Γιατί τίθεται το ερώτημα…

Page 13: λογική + παράδοξα (μέρος β')

«Ποιος ξυρίζει τον κουρέα; »

Να ξυριστεί μόνος του σίγουρα δε γίνεται, γιατί…

Page 14: λογική + παράδοξα (μέρος β')

…Δεν ξυρίζουν τον εαυτό τους!

… Βάση του νόμου, οφείλει να ξυρίζει αποκλειστικά και μόνο αυτούς που…

Page 15: λογική + παράδοξα (μέρος β')

Μα δεν μπορεί να «πάει στον κουρέα» γιατί θα ξύριζε τον εαυτό του …που δεν είναι

δουλειά του κουρέα!

Page 16: λογική + παράδοξα (μέρος β')

«Το σύνολο των συνόλων που δεν περιέχουν τον

εαυτό τους, περιέχει τον εαυτό του;» Η απάντηση:

… «Αν ναι, τότε όχι. Και αν όχι τότε ναι!». Αυτό είναι όλο το…

Παράδοξο του Ράσελ!

Ίσως ν΄ ακούγεται σαν σπαζοκεφαλιά. Όμως ανατρέπει τελείως την

έννοια του συνόλου ως συλλογής με κοινή

ιδιότητα……Και

μαζί τη Λογική!

Page 17: λογική + παράδοξα (μέρος β')

Το Παράδοξο του Bertrand Russell αποδόθηκε καλλιτεχνικά από τον M. C. Escher

Page 18: λογική + παράδοξα (μέρος β')

Η κατάσταση του να ισχύει μια πρόταση και το αντίθετό της δεν επιτρέπεται σε ένα καλοφτιαγμένο λογικό σύστημα, καθώς παραβιάζει την θεμελιώδη αρχή της συνέπειας – και αυτή ακριβώς η κατάσταση ονομάζεται παράδοξο.

Οι θεωρίες που περιέχουν παράδοξα πάσχουν στις βασικές αρχές τους, ορισμούς και αξιώματα, και χρειάζεται επαναθεμελίωση.

Τα παράδοξα έπαιξαν σημαντικό ρόλο στην ανάπτυξη των Μαθηματικών στην δημιουργία νέων «εργαλείων» όπως οι απειροσειρές, η θεωρία συνόλων κ.α.

Page 19: λογική + παράδοξα (μέρος β')

Βιβλιογραφία

ΛΟΓΙΚΗ Θεωρία και Πρακτική

Γ΄ Τάξη Ενιαίου Πειραματικού Λυκείου

Logicomix Απ. Δοξιάδης Εκδ.: ΙΚΑΡΟΣ

Page 20: λογική + παράδοξα (μέρος β')