Λογική μηχανή

μικρογραφία|Το λογικό πιάνο του Τζέβονς στο Μουσείο Powerhouse του Σίδνεϊ το 2006
Μια **λογική μηχανή** ή **λογικός άβακας** είναι ένα εργαλείο που περιέχει ένα σύνολο μερών που χρησιμοποιεί ενέργεια για την εκτέλεση πράξεων της τυπικής λογικής μέσω της χρήσης πινάκων αλήθειας. Οι πρώιμες λογικές μηχανές ήταν μηχανικές συσκευές που εκτελούσαν βασικές πράξεις στην άλγεβρα Μπουλ. Τα κύρια παραδείγματα τέτοιων μηχανών είναι αυτά των Γουίλιαμ Στάνλεϊ Τζέβονς (*λογικό πιάνο*),  John Venn,  και Allan Marquand. 

Οι σύγχρονες λογικές μηχανές είναι ηλεκτρονικά προγράμματα που βασίζονται σε υπολογιστές και παρέχουν βοήθεια στην απόδειξη θεωρημάτων της μαθηματικής λογικής. Στον 21ο αιώνα, αυτά τα προγράμματα-βοηθοί κατασκευής αποδείξεων έχουν οδηγήσει στην δημιουργεία ενός νέου πεδίου μελέτης που ονομάζεται διαχείριση μαθηματικής γνώσης.

## Προέλευση
Οι πρώτες λογικές μηχανές ήταν μηχανικές κατασκευές που φτιάχτηκαν στα τέλη του 19ου αιώνα. Ο Γουίλιαμ Στάνλεϊ Τζέβονς εφηύρε την πρώτη λογική μηχανή το 1869, το λογικό πιάνο. Το 1883, ο Allan Marquand εφηύρε μια νέα λογική μηχανή που εκτελούσε τις ίδιες λειτουργίες με το λογικό πιάνο του Jevons, αλλά με βελτιώσεις στην απλοποίηση του σχεδιασμού, τη φορητότητα και τους ελέγχους εισόδου-εξόδου. 

Ένας λογικός άβακας κατασκευάζεται για να παρουσιάζει όλους τους πιθανούς συνδυασμούς ενός συνόλου λογικών όρων με τις αρνήσεις τους, καθώς και τον τρόπο με τον οποίο αυτοί οι συνδυασμοί επηρεάζονται από την προσθήκη χαρακτηριστικών ή άλλων περιοριστικών λέξεων, δηλαδή για να απλοποιεί μηχανικά τη λύση λογικών προβλημάτων. Όλα αυτά τα εργαλεία αποτελούν, σε μικρότερο ή μεγαλύτερο βαθμό, εξελίξεις της «λογικού πίνακα», στον οποία αναγράφονταν σε κάθετες στήλες όλοι οι συνδυασμοί συμβόλων ή γραμμάτων που μπορούσαν να σχηματιστούν λογικά από έναν συγκεκριμένο αριθμό όρων. Αυτοί συγκρίνονταν με οποιεσδήποτε δεδομένες προκείμενες, και όσοι ήταν ασυμβίβαστοι διαγράφονταν. Στον άβακα, οι συνδυασμοί είναι χαραγμένοι ο καθένας σε ένα μόνο κομμάτι ξύλου ή παρόμοιας ουσίας, το οποίο μετακινείται με ένα κλειδί. Οι ασύμβατοι συνδυασμοί μπορούν έτσι να αφαιρεθούν μηχανικά κατά βούληση, σύμφωνα με οποιαδήποτε δεδομένη σειρά προϋποθέσεων.

## Δείτε επίσης

* Λογική της υπολογισιμότητας (Computability)
* Διαδηλωτής Stanhope

## Αναφορές


## Βιβλιογραφία

* 
* Marquand, Allan
** "A Machine for Producing Syllogistic Variation" [Μια μηχανή για την παραγωγή συλλογιστικών παραλλαγών]. Στο: C. S. Peirce, επιμ., *Studies in Logic*, σελ. 12–15, μαζί με το "Note on an Eight-Term Logical Machine" [Σημείωση για μια λογική μηχανή οκτώ όρων], σελ. 16. Google Books . Επανέκδοση του βιβλίου το 1983 με εισαγωγή του Max Fisch.
** (1886), "A New Logical Machine" [Μια νέα λογική μηχανή], *Proceedings of the American Academy of Arts and Sciences* **21**: 303–07. Google Books Eprint.
* Peirce, C. S. 
** (επιστολή 1886), Επιστολή, ο Peirce προς τον A. Marquand, 30 Δεκεμβρίου 1886, δημοσιεύτηκε το 1993 στο: Kloesel, C. κ.ά., επιμ., *Writings of Charles S. Peirce: A Chronological Edition* [Συγγράμματα του Charles S. Peirce: Μια χρονολογική έκδοση], Τόμ. 5. Indiana Univ. Press, σελ. 421–3. Google BooksPreview.
** (1887), "Logical Machines" [Λογικές μηχανές], *The American Journal of Psychology* τόμ. 1, αρ. 1, Βαλτιμόρη: N. Murray, σελ. 165–70. Google Books Eprint. Επανεκδόθηκε στο (1976) *The New Elements of Mathematics* τόμ. III, μέρ. 1, σελ. 625–32· (1997) *Modern Logic* 7:71–77, Project Euclid Eprint; και (2000) *Writings of Charles S. Peirce* τόμ. 6, σελ. 65–73.
* Baldwin, Mark James (1902), "Logical Machine" [Λογική μηχανή], *Dictionary of Philosophy and Psychology*, σελ. 28–30. Google Books . *Classics in the History of Psychology* Eprint.
* Ketner, Kenneth Laine (1984), "The early history of computer design: Charles Sanders Peirce and Marquand's logical machines" [Η πρώιμη ιστορία του σχεδιασμού υπολογιστών: Οι λογικές μηχανές του Charles Sanders Peirce και του Marquand], με τη βοήθεια του Arthur Franklin Stewart, *Princeton University Library Chronicle*, τόμ. 45, αρ. 3, σελ. 186–211. PULC 15MB PDF Eprint.
* Dalakov, Georgi (χωρίς χρονολογία), "Charles Peirce and Allan Marquand", *History of Computers and Computing*. Eprint.

## Περαιτέρω ανάγνωση

*  &#x2014; Από την σελίδα 55 και ύστερα, ο Jevons παρουσιάζει μια περιγραφή του λογικού του άβακα.
Κατηγορία:Μαθηματική λογική