ορισμός της λογικής

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

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

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

Βασικά, η άτυπη λογική ξοδεύει όλες τις προσπάθειές της στον εντοπισμό των παραπλανητικών και των παράδοξων και στη σωστή δομή των λόγων.

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

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

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