Αξίωμα
To αξίωμα ή αρχή στη λογική, είναι μια πρόταση η οποία δεν αποδεικνύεται, αλλά θεωρείται είτε προφανής, ή αποτέλεσμα κάποιας απόφασης. Έτσι, αξίωμα είναι μια λογική πρόταση, της οποίας η αλήθεια θεωρείται δεδομένη και χρησιμεύει ως αρχικό σημείο για την αναγωγή και το συμπέρασμα άλλων αληθών προτάσεων, ανάλογα με τη θεωρία που εφαρμόζεται. Η λέξη προέρχεται από την αρχαία ελληνική λέξη "ἀξίωμα" , που σημαίνει "αυτό που θεωρείται άξιο ή κατάλληλο".[1][2]
Στα μαθηματικά, ο όρος αξίωμα χρησιμοποιείται με δυο σχετικές αλλά διαφορετικές έννοιες: τα «λογικά» και «μη λογικά» αξιώματα. Και στις δύο περιπτώσεις, αξίωμα είναι μια μαθηματική πρόταση που χρησιμεύει ως αρχή για το συμπέρασμα άλλων προτάσεων με λογικό τρόπο. Αντίθετα με τα θεωρήματα, τα αξιώματα δεν μπορούν γενικά να παραχθούν με αρχές επαγωγής (εκτός αν πλεονάζουν), ούτε γίνεται να αποδειχθούν, αφού αποτελούν αρχικά σημεία: δεν υπάρχει κάτι από το οποίο να απορρέουν (τότε θα ήταν θεωρήματα).
Τα λογικά αξιώματα είναι συνήθως προτάσεις που γίνονται αποδεκτές ως καθολικά αληθείς (π.χ. το Α και Β συνεπάγεται το Α). Τα μη-λογικά αξιώματα (π.χ. a + b = b + a) ορίζουν ιδιότητες για την περιοχή κάποιας συγκεκριμένης μαθηματικής θεωρίας (όπως η Αριθμητική). Όταν χρησιμοποιείται με αυτή την έννοια, η λέξεις «αξίωμα», «αρχή» και «υπόθεση» σημαίνουν το ίδιο. Γενικά, ένα μη-λογικό αξίωμα δεν είναι μια προφανής αλήθεια, αλλά μάλλον μια τυπική λογική έκφραση που χρησιμοποιείται σε επαγωγικούς συλλογισμούς για την ανάπτυξη μιας μαθηματικής θεωρίας. Η διαδικασία του να δειχθεί ότι όλες οι προτάσεις μιας θεωρίας ή ενός συστήματος μπορούν να παραχθούν από ένα μικρό αριθμό από προτάσεις (τα αξιώματα) λέγεται αξιωματικοποίηση της θεωρίας. Συνήθως υπάρχουν πολλοί τρόποι να αξιωματικοποιηθεί μια μαθηματική περιοχή.
Το σύνολο αυτό υπόκειται σε δύο περιορισμούς: α) τα αξιώματα να είναι συμβιβαστά, και β) ανεξάρτητα το ένα από το άλλο. Ακόμη θα πρέπει το πλήθος των αξιωμάτων να είναι όσο το δυνατό λιγότερο.
Εκτός της λογικής και των μαθηματικών, ο όρος «αξίωμα» μπορεί να αναφέρεται αόριστα σε οποιαδήποτε τεκμηριωμένη αρχή.
Ιστορική εξέλιξη
[Επεξεργασία | επεξεργασία κώδικα]Πρώτοι οι Έλληνες
[Επεξεργασία | επεξεργασία κώδικα]λογική-απαγωγική μέθοδος, σύμφωνα με την οποία τα συμπεράσματα (νέες γνώσεις) προκύπτουν από τις προκείμενες ((παλαιότερες γνώσεις)) μέσω της εφαρμογής ορθών επιχειρημάτων (συλλογισμοί, κανόνες συμπερασμού), αναπτύχθηκε από τους αρχαίους Έλληνες και έχει καταστεί η βασική αρχή των σύγχρονων μαθηματικών. Με εξαίρεση τις ταυτολογίες, τίποτα δεν μπορεί να συναχθεί αν δεν υποτεθεί κάτι. Τα αξιώματα και τα υποδείγματα είναι επομένως οι βασικές υποθέσεις που υποκρύπτουν ένα δεδομένο σύνολο αφαιρετικών γνώσεων. Γίνονται αποδεκτά χωρίς απόδειξη. Όλες οι άλλες ισχυρισμοί (θεωρήματα, στην περίπτωση των μαθηματικών) πρέπει να αποδειχθούν με τη βοήθεια αυτών των βασικών υποθέσεων. Ωστόσο, η ερμηνεία της μαθηματικής γνώσης έχει αλλάξει από την αρχαιότητα έως τη σύγχρονη εποχή και, κατά συνέπεια, οι όροι αξίωμα και αξίωμα έχουν μια ελαφρώς διαφορετική σημασία για τους σημερινούς μαθηματικούς από ό,τι είχαν για τον Αριστοτέλη και τον Ευκλείδη.[3]
Οι αρχαίοι Έλληνες θεωρούσαν τη γεωμετρία ως μία από τις πολλές επιστήμες και θεωρούσαν τα θεωρήματα της γεωμετρίας ισάξια με τα επιστημονικά δεδομένα. Ως εκ τούτου, ανέπτυξαν και χρησιμοποίησαν τη λογικο-απαγωγική μέθοδο ως μέσο αποφυγής λαθών, καθώς και για τη δομή και τη μετάδοση της γνώσης. Η μεταγενέστερη ανάλυση του Αριστοτέλη αποτελεί μια καθοριστική έκθεση της κλασικής άποψης. [4]
Ένα «αξίωμα», στην κλασική ορολογία, αναφερόταν σε μια αυτονόητη υπόθεση κοινή σε πολλούς κλάδους της επιστήμης. Ένα καλό παράδειγμα είναι ο ισχυρισμός ότι:
Όταν λαμβάνεται ίση ποσότητα από ίσα, προκύπτει ίση ποσότητα.
Στα θεμέλια των διαφόρων επιστημών βρίσκονταν ορισμένες πρόσθετες υποθέσεις που γίνονταν αποδεκτές χωρίς απόδειξη. Μια τέτοια υπόθεση ονομάστηκε αξίωμα. Ενώ τα αξιώματα ήταν κοινά σε πολλές επιστήμες, τα αξιώματα κάθε συγκεκριμένης επιστήμης ήταν διαφορετικά. Η εγκυρότητά τους έπρεπε να τεκμηριωθεί μέσω της εμπειρίας του πραγματικού κόσμου. Ο Αριστοτέλης προειδοποιεί ότι το περιεχόμενο μιας επιστήμης δεν μπορεί να μεταδοθεί με επιτυχία αν ο μαθητής έχει αμφιβολίες για την αλήθεια των αξιωμάτων[5].
Δείτε επίσης
[Επεξεργασία | επεξεργασία κώδικα]Βιβλιογραφία
[Επεξεργασία | επεξεργασία κώδικα]- Stillwell, John (7 Νοεμβρίου 2017). Elements of Mathematics: From Euclid to Gödel. Princeton University Press. ISBN 978-0-691-17854-7.
- Shoenfield, Joseph R. (2 Μαΐου 2018). Mathematical Logic. CRC Press. ISBN 978-1-351-43330-3.
- Gemignani, Michael C. (1 Ιανουαρίου 2004). Basic Concepts of Mathematics and Logic. Courier Corporation. ISBN 978-0-486-43506-0.
- Nievergelt, Yves (6 Δεκεμβρίου 2012). Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography. Springer Science & Business Media. ISBN 978-1-4612-0125-0.
- Eves, Howard (10 Απριλίου 2012). Foundations and Fundamental Concepts of Mathematics. Courier Corporation. ISBN 978-0-486-13220-4.
- Hazewinkel, M. (11 Νοεμβρίου 2013). Encyclopaedia of Mathematics: Volume 3 Heaps and Semi-Heaps — Moments, Method of (in Probability Theory). Springer. ISBN 978-1-4899-3793-3.
- Penner, R. C. (1999). Discrete Mathematics: Proof Techniques and Mathematical Structures. World Scientific. ISBN 978-981-02-4088-2.
- Stillwell, John (6 Ιουνίου 2019). A Concise History of Mathematics for Philosophers. Cambridge University Press. ISBN 978-1-108-45623-4.
Εξωτερικοί σύνδεσμοι
[Επεξεργασία | επεξεργασία κώδικα]- English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
- Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
- ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου.
- Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
- Θεμελιώδεις Έννοιες των Μαθηματικών -kallipos - Ακαδημαϊκές εκδόσεις
Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- ↑ Cf. axiom, n., etymology. Oxford English Dictionary, accessed 2012-04-28.
- ↑ Stevenson, Angus· Lindberg, Christine A., επιμ. (2015). New Oxford American Dictionary
(3rd έκδοση). Oxford University Press. doi:10.1093/acref/9780195392883.001.0001. ISBN 9780199891535. a statement or proposition that is regarded as being established, accepted, or self-evidently true
- ↑ «Axiom — Powszechna Encyklopedia Filozofii» (PDF). Polskie Towarzystwo Tomasza z Akwinu. Αρχειοθετήθηκε (PDF) από το πρωτότυπο στις 9 Οκτωβρίου 2022.
- ↑ «Aristotle | Biography, Works, Quotes, Philosophy, Ethics, & Facts | Britannica». www.britannica.com (στα Αγγλικά). 8 Οκτωβρίου 2024. Ανακτήθηκε στις 14 Νοεμβρίου 2024.
- ↑ Aristotle, Metaphysics Bk IV, Chapter 3, 1005b "Physics also is a kind of Wisdom, but it is not the first kind. – And the attempts of some of those who discuss the terms on which truth should be accepted, are due to want of training in logic; for they should know these things already when they come to a special study, and not be inquiring into them while they are listening to lectures on it." W.D. Ross translation, in The Basic Works of Aristotle, ed. Richard McKeon, (Random House, New York, 1941)
 |
Αυτό το μαθηματικό λήμμα χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το. |