ΛΟΓΙΚΗ

ΛΟΓΙΚΗ

Υπάρχει μια γενική κοινή άποψη στην Σημερινή εποχή ότι η λογική δεν είναι και τόσο σπουδαία για τη ζωή μας και είναι μονό θεωρητικού χαρακτήρα και καμιάς πρακτικής σημασίας. Η λογική όμως είναι τεράστιας πρακτική σημαίας. Όλοι θέλουμε να αποκτήσουμε << αληθείς>> απόψεις για τους εαυτούς μας και τον κόσμο γύρο μας. Και αυτό γιατί αλληλεπιδρούμε με το περιβάλλον και πρέπει να ενδιαφερόμαστε για το κατά ποσό οι πεποιθήσεις μας αντανακλούν πίστα τον κόσμο. Δεν μπορούμε να είμαστε αδιάφοροι για την αλήθεια των πεποιθήσεων μας η να νομίζουμε ότι η αλήθεια των απόψεων μας είναι υπόθεση του πως αισθανόμαστε για τα πράγματα και όχι για το πώς τα πράγματα είναι Σ’ αυτόν την περίπτωση το αποτέλεσμα θα ήταν καταστροφικό για τον άνθρωπο. Οι τεχνικές της τυπικής λογικής δεν μπορούν να μας πουν ποιες  πεποιθήσεις είναι αληθείς και ποιες ψευδής. Η αλήθεια είναι συνήθως υπόθεση του πως ο κόσμος είναι και η λογική δεν μας το λέει αυτό. Όμως οι τεχνικές της λογικής (μαθηματικά ) μπορούν να μας βοηθήσουν να αποφασίσουμε εάν οι πεποιθήσεις μας η εικασίες που μας ενδιαφέρουν συγκροτούν ένα συνεπές σύνολο. Μια ομάδα πεποιθήσεων είναι συνεπές  σύνολο αν και μονό αν είναι δυνατόν όλα τα μελή του συνόλου να είναι αληθή ταυτόχρονα.

Διαφορετικά λεμέ ότι έχουμε ασυνεπές (αντιφατικό) σύνολο.