Λογική (αποσαφήνιση)

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

Ο όρος λογική μπορεί επίσης να αναφέρεται:

Στη λογική, τη φιλοσοφία και τα μαθηματικά

• Κλάδοι της λογικής επιστήμης:
  • Επαγωγική λογική, λέγεται και επαγωγή ή επαγωγική σκέψη, η εξαγωγή συμπερασμάτων για το γενικό από τα ειδικά
  • Κοινή λογική, ο τρόπος σκέψης και η αντίληψη κανόνων ζωής που είναι αποδεκτά από την πλειοψηφία σε κάθε εποχή
  • Παραγωγική λογική, η εξαγωγή συμπερασμάτων για το ειδικό από το γενικό
• Κλάδοι των μαθηματικών:
  • Συμβολική λογική, ο κλάδος των μαθηματικών που μελετά τις αμιγώς τυπικές ιδιότητες των συμβολοσειρών
  • Μαθηματική λογική, ο κλάδος των μαθηματικών που αναπτύχθηκε από τη συμβολική λογική
• Κάποιο συγκεκριμένο λογικό σύστημα ή οικογένεια τέτοιων συστημάτων στη μαθηματική λογική όπως:
  • Προτασιακή λογική, όπου οι τύποι κτίζονται από «άτομα»
  • Κατηγορηματική λογική, όπου οι τύποι μπορεί να περιέχουν κατηγορούμενα και μεταβλητές που μπορούν να ποσοτικοποιηθούν
  • Λογική υψηλού βαθμού, όπου και οι μεταβλητές των κατηγορημάτων μπορούν να ποσοτικοποιηθούν
  • Διαισθητική λογική, η οποία απορρίπτει την «Αρχή της του τρίτου αποκλείσεως»
• Κλάδοι της φιλοσοφίας:
  • Λογική όρων, παραδοσιακή λογική ή φιλοσοφική λογική, που ξεκινά με τον Αριστοτέλη στην Κλασσική Ελληνική φιλοσοφία
  • Κλασσική λογική, η οποία περιλαμβάνει την «Αρχή της του τρίτου αποκλείσεως» (P OR NOT P)

Στην επιστήμη υπολογιστών

• Λογική προγράμματος, η χρήση της μαθηματικής λογικής για συλλογισμούς που αφορούν προγράμματα υπολογιστών

Στην τεχνολογία υπολογιστών

• Λογική πύλη, μια ηλεκτρονική συσκευή ικανή να συνδυάζει και να επεξεργάζεται σύμβολα σε ψηφιακά κυκλώματα
• Ψηφιακή λογική, η κατηγορία ψηφιακών κυκλωμάτων που χαρακτηρίζονται από την τεχνολογία των λογικών τους πυλών
  • Λογική διόδων, η χρήση διόδων για την υλοποίηση πυλών
  • Λογική αντίστασης-τρανζίστορ, η χρήση αντιστάσεων σε συνδυασμό με τρανζίστορ
  • Λογική διόδου-τρανζίστορ, η χρήση διόδων (και αντιστάσεων) σε συνδυασμό με τρανζίστορ
  • Λογική τρανζίστορ-τρανζίστορ, όμοια με τη λογική διόδου-τρανζίστορ, αλλά όπου οι δίοδοι αντικαθιστώνται από τρανζίστορ

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