Meaning of μεταλογική | Babel Free

Ορισμοί

η μεταθεωρία της λογικής· το πεδίο μελέτης/η μελέτη των ιδιοτήτων/χαρακτηριστικών των λογικών συστημάτων.

Παραδείγματα

“(έχει σκέλος φιλοσοφικό και μαθηματικό, συχνά συνδυαστικά· βλ. Bertrand Russell)”

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

Επίπεδο CEFR