ΛΟΓΟΣ
ΛΕΞΑΡΙΘΜΙΚΗ ΜΗΧΑΝΗ
ΦΙΛΟΣΟΦΙΚΕΣ
ἀπόδειξις (ἡ)

ΑΠΟΔΕΙΞΙΣ

ΛΕΞΑΡΙΘΜΟΣ 440

Η ἀπόδειξις —«ἡ ἐκ λόγων βεβαία ἐπίγνωσις»— είναι για τον Ἀριστοτέλη η κορωνίδα της επιστήμης. Δεν αρκεί να γνωρίζει κανείς ότι κάτι είναι· πρέπει να γνωρίζει γιατί είναι αναγκαστικά έτσι. Η απόδειξη είναι ο συλλογισμός που ξεκινά από αληθή, πρωταρχικά και γνωστά μας αρχικά δεδομένα και καταλήγει σε νέες αλήθειες. Η ελληνική μαθηματική παράδοση —ο Ευκλείδης πάνω απ' όλους— έδειξε στην πράξη τι σημαίνει αποδεικτική επιστήμη. Από αυτή την ιδέα γεννήθηκε η δυτική επιστημονική σκέψη.

ΑΝΑΦΟΡΑ ΣΦΑΛΜΑΤΟΣ

Ορισμός

Κατά το Λεξικό Liddell-Scott-Jones, ἡ ἀπόδειξις σημαίνει «επίδειξη, φανέρωση, απόδειξη λογική». Σχηματίζεται από το ἀπό (από, έξω) και τη δεῖξις (δείξιμο, επίδειξη, από το ρ. δείκνυμι = δείχνω). Η αρχική κυριολεκτική σημασία είναι «το να δείχνει κανείς κάτι φανερά, ξεκάθαρα» — σωματική επίδειξη, δημόσια παρουσίαση.

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

Η φιλοσοφική της διάσταση ανήκει στον Ἀριστοτέλη. Στους Αναλυτικούς Υστέρους, ορίζει την ἀπόδειξιν ως τον «συλλογισμὸ ἐπιστημονικό»: αληθής συλλογισμός που ξεκινά από αληθή, πρωταρχικά, άμεσα, προγενέστερα και γνωστά προκείμενα και οδηγεί με αναγκαιότητα σε νέα γνώση. Η απόδειξη αποδίδει όχι μόνο το ὅτι αλλά και το διότι. Στη μαθηματική παράδοση (Ευκλείδης), η ἀπόδειξις γίνεται η καρδιά κάθε γεωμετρικού θεωρήματος: η λογική αλυσίδα από τα αξιώματα στα νέα συμπεράσματα.

Ετυμολογία

ἀπόδειξις ← ἀποδείκνυμι ← ἀπό (από) + δείκνυμι (δείχνω)
Η ρίζα δεικ- / δειξ- (ινδοευρ. *deyḱ-) είναι κοινή με το λατ. dico, dicere (λέω, δείχνω) και το αγγλ. token. Η αρχική έννοια είναι του «δείχνω με το χέρι, επιδεικνύω». Το πρόθεμα ἀπό δίνει την έννοια του «από την πλευρά κάποιου» ή του «εις το ύπαιθρο» — φανερώνω, επιδεικνύω. Η κατάληξη -σις παράγει αφηρημένο ουσιαστικό δράσης: η πράξη και το αποτέλεσμα της επιδείξεως. Έτσι, ἀπόδειξις είναι τόσο η διαδικασία όσο και το τελικό προϊόν — μια καθιερωμένη αλήθεια.

Συγγενικές λέξεις: δείκνυμι, ἐπιδείκνυμι, δεῖγμα, παράδειγμα, δεικτικός, ἀποδεικτικός, ἀναπόδεικτος, ὑπόδειγμα. Λατινικά παράλληλα: demonstratio, probatio. Συναφείς όροι: συλλογισμός, ἐπαγωγή, τεκμήριον, μαρτυρία.

Οι Κύριες Σημασίες

  1. Φανέρωση, επίδειξη — Η αρχική κυριολεκτική σημασία — η δημόσια παρουσίαση ενός προσώπου, γεγονότος ή πράγματος.
  2. Ρητορική απόδειξη — Το τμήμα της αγορεύσεως όπου ο ρήτορας υποστηρίζει τη θέση του με επιχειρήματα και μαρτυρίες.
  3. Αποδεικτικός συλλογισμός (Αριστοτέλης) — Συλλογισμός από αληθή, πρωταρχικά, προγενέστερα προκείμενα που αποδίδει επιστημονική γνώση.
  4. Γεωμετρική απόδειξη — Η λογική αλυσίδα από αξιώματα και ορισμούς στη διατύπωση ενός νέου θεωρήματος — το πρότυπο της αποδεικτικής επιστήμης.
  5. Δικαστική απόδειξη — Στο δικανικό συστήμα, η παρουσίαση τεκμηρίων, μαρτυριών και εγγράφων για τη θεμελίωση κάποιας αξίωσης.
  6. Ιστορική απόδειξη — Στον Ηρόδοτο, οι ἀποδείξεις ἔργων ανδρῶν — η παρουσίαση των κατορθωμάτων των ιστορικών προσώπων.
  7. Επαγωγική απόδειξη — Σε αντιδιαστολή με την αυστηρή αριστοτελική απόδειξη, η επαγωγική ή εμπειρική υποστήριξη μιας θέσης.
  8. Μαθηματική απόδειξη (σύγχρονη) — Στη σύγχρονη μαθηματική λογική, η τυπική παραγωγή μιας πρότασης μέσα σε αξιωματικό σύστημα με κανόνες συμπερασμού.

Η Φιλοσοφική Διαδρομή

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

6ος–5ος ΑΙ. Π.Χ.
Θαλής, Πυθαγόρειοι
Η πρώτη μαθηματική απόδειξη στην ιστορία αποδίδεται στον Θαλή (π.χ. ότι κάθε διάμετρος διχοτομεί τον κύκλο). Οι Πυθαγόρειοι αναπτύσσουν συστηματική αποδεικτική σκέψη.
5ος ΑΙ. Π.Χ.
Ζήνων ὁ Ἐλεάτης
Στα παράδοξά του χρησιμοποιεί την εις άτοπον απαγωγή — μέθοδο αποδείξεως με άρνηση. Δείχνει πώς λογική ανάλυση μπορεί να παραγάγει αντιφατικά συμπεράσματα.
5ος ΑΙ. Π.Χ.
Ιπποκράτης ὁ Χῖος
Μαθηματικός που κατήρτισε τα πρώτα Στοιχεία — προδρομικό έργο στον Ευκλείδη. Ανέπτυξε την απόδειξη της τετραγωνισμού των Μηνίσκων.
4ος ΑΙ. Π.Χ.
Πλάτων
Στην Πολιτεία (510c-511e), η διαλεκτική μέθοδος εξηγείται ως κίνηση από υποθέσεις στην ανυπόθετη αρχή. Η μαθηματική απόδειξη είναι ατελής σε σχέση με τη διαλεκτική.
4ος ΑΙ. Π.Χ.
Ἀριστοτέλης
Στους Αναλυτικούς Υστέρους (Α 2, 71b) ορίζει την αποδεικτική επιστήμη. Η απόδειξη πρέπει να παρέχει το διότι, όχι μόνο το ότι. Τα θεμέλια πρέπει να είναι άμεσα.
3ος ΑΙ. Π.Χ.
Εὐκλείδης
Στα Στοιχεία παρουσιάζει το πρότυπο μοντέλο της αποδεικτικής επιστήμης: αξιώματα → ορισμοί → θεωρήματα με λογική απόδειξη. Το έργο θα παραμείνει πρότυπο για 2000 χρόνια.
3ος ΑΙ. Π.Χ.
Ἀρχιμήδης, Ἀπολλώνιος
Συνεχίζουν την ελληνική αποδεικτική παράδοση με νέες τεχνικές απόδειξης — η μέθοδος της εξαντλήσεως του Αρχιμήδη προαναγγέλλει τον ολοκληρωτικό λογισμό.
19ος–20ός ΑΙ. Μ.Χ.
Frege, Hilbert, Gödel
Ο Frege τυποποιεί την ιδέα της λογικής απόδειξης. Ο Hilbert φιλοδοξεί πλήρη αξιωματοποίηση των μαθηματικών. Ο Gödel αποδεικνύει τα θεωρητικά όρια των αποδεικτικών συστημάτων.

Λεξαριθμική Ανάλυση

Ο λεξάριθμος της λέξης ΑΠΟΔΕΙΞΙΣ είναι 440, από την πρόσθεση των τιμών των γραμμάτων:

Α = 1
Άλφα
Π = 80
Πι
Ο = 70
Όμικρον
Δ = 4
Δέλτα
Ε = 5
Έψιλον
Ι = 10
Ιώτα
Ξ = 60
Ξι
Ι = 10
Ιώτα
Σ = 200
Σίγμα
= 440
Σύνολο
1 + 80 + 70 + 4 + 5 + 10 + 60 + 10 + 200 = 440

Το 440 αναλύεται σε 400 (εκατοντάδες) + 40 (δεκάδες) + 0 (μονάδες).

Οι 18 Μέθοδοι

Η εφαρμογή των 18 παραδοσιακών μεθόδων λεξαριθμικής ανάλυσης στη λέξη ΑΠΟΔΕΙΞΙΣ:

ΜέθοδοςΑποτέλεσμαΣημασία
Συναρίθμηση440Βασικός λεξάριθμος
Αριθμολογία Δεκάδας8
Αριθμός Γραμμάτων9
Αθροιστική0/40/400Μονάδες 0 · Δεκάδες 40 · Εκατοντάδες 400
Περιττός/ΖυγόςΖυγόςΘηλυκή δύναμη
Αριστερό/Δεξί ΧέριΔεξίΘεϊκό πεδίο (≥100)
ΠηλίκονΣυγκριτική μέθοδος
ΠαλινδρομικάΌχι
ΟνοματομαντείαΣυγκριτική
Σφαίρα ΔημοκρίτουΜαντική με σεληνιακή ημέρα
Ζωδιακή ΙσοψηφίαΚρόνος ♄ / Τοξότης ♐440 mod 7 = 6 · 440 mod 12 = 8

Ισόψηφες Λέξεις (440)

Στο λεξικό LSJ υπάρχουν συνολικά 73 λέξεις με λεξάριθμο 440. Για τον πλήρη κατάλογο και AI σημασιολογικό φιλτράρισμα, δες το διαδραστικό εργαλείο.

Πηγές & Βιβλιογραφία

  • Liddell, H. G., Scott, R., Jones, H. S.A Greek-English Lexicon. Oxford: Clarendon Press, 1940, s.v. ἀπόδειξις.
  • AristotleAnalytica Posteriora A, Β. Loeb Classical Library.
  • EuclidElementa. Έκδοση J. L. Heiberg, Teubner.
  • Heath, T. L.The Thirteen Books of Euclid's Elements. Cambridge University Press, 1908.
  • Barnes, JonathanAristotle's Posterior Analytics. Oxford: Clarendon Press, 1993.
  • Netz, RevielThe Shaping of Deduction in Greek Mathematics. Cambridge University Press, 1999.
  • Gödel, KurtÜber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. 1931.
Εξερεύνησε τη λέξη στο διαδραστικό εργαλείο
AI φιλτράρισμα ισόψηφων + όλες οι μέθοδοι ενεργές
ΑΝΟΙΞΕ ΤΟ ΕΡΓΑΛΕΙΟ →
← Όλες οι λέξεις
Αναφορά Σφάλματος
Συνεχίστε δωρεάν
Για να συνεχίσετε την έρευνα, ολοκληρώστε τη δωρεάν εγγραφή.
ΔΩΡΕΑΝ ΕΓΓΡΑΦΗ