Логическая машина
Логическая машина или логические счеты — это инструмент , содержащий набор частей, который использует энергию для выполнения формальных логических операций посредством использования таблиц истинности . Ранние логические машины представляли собой механические устройства, выполнявшие основные операции булевой логики . Основными примерами таких машин являются машины Уильяма Стэнли Джевонса ( логическое фортепиано ), [1] [2] Джон Венн , [3] и Аллан Маркуанд . [4] [5]
Современные логические машины представляют собой компьютерные электронные программы, которые помогают в доказательстве теорем математической логики. В 21 веке эти программы- помощники по доказательству породили новую область исследований, называемую управлением математическими знаниями .
Происхождение
[ редактировать ]Самыми ранними логическими машинами были механические конструкции, построенные в конце 19 века. Уильям Стэнли Джевонс изобрел первую логическую машину в 1869 году — логическое фортепиано. [6] В 1883 году Аллан Маркуанд изобрел новую логическую машину, которая выполняла те же операции, что и логическое фортепиано Джевонса, но с улучшениями в упрощении конструкции, портативности и управлении вводом-выводом. [7]
Логические счеты строятся для того, чтобы показать все возможные комбинации набора логических терминов с их отрицаниями, а также то, как на эти комбинации влияет добавление признаков или других ограничивающих слов, т. е. механически упростить решение. логических задач. Все эти инструменты представляют собой более или менее тщательно продуманные разработки «логической доски», на которой в вертикальных столбцах были записаны все комбинации символов или букв, которые можно было логически составить из определенного числа терминов. Их сравнивали с какими-либо посылками, а несовместимые вычеркивали. На счетах каждая комбинация записывается на отдельном бруске дерева или подобного материала, который перемещается с помощью ключа; несовместимые комбинации, таким образом, могут быть механически удалены по желанию в соответствии с любой данной серией предпосылок.
См. также
[ редактировать ]
Ссылки
[ редактировать ]- ^ Джевонс, Уильям Стэнли . «xxiii». Элементарные уроки логики .
- ^ Барретт, Линдси; Коннелл, Мэтью (2005). «Джевонс и логическое фортепиано » . Резерфордский журнал . 1 .
- ^ Венн, Джон (1894). Символическая логика (2-е изд.). Лондон : Макмиллан. п. 135f – через Интернет-архив .
- ^ Маркванд, Аллан (1883). Исследования в области логики в Университете Джонса Хопкинса .
- ^ Маркванд, Аллан (1885). Американская академия искусств и наук . стр. 303–7.
- ^ Беннетт 2005 , стр. 162–3.
- ^ Беннетт 2005 , с. 163.
Библиография
[ редактировать ]В эту статью включен текст из публикации, которая сейчас находится в свободном доступе : Чисхолм, Хью , изд. (1911). « Абакус ». Британская энциклопедия . Том. 1 (11-е изд.). Издательство Кембриджского университета. стр. 5–6.
- Беннетт, Дебора (2005). Логика стала проще: как понять, что язык вас обманывает . WW Нортон и компания. п. 163 . ISBN 0393326926 .
Логическая машина Аллана Маркванда.
- Маркванд, Аллан
- (1883), «Машина для создания силлогистических вариаций» в издании К.С. Пирса, « Исследования по логике» , стр. 12–15, а также «Заметки о логической машине с восемью терминами», стр. 16. Электронная версия Google Книги . Книга переиздана в 1983 году с предисловием Макса Фиша.
- (1886), «Новая логическая машина», Труды Американской академии искусств и наук 21 : 303–07. Google Книги Электронная версия .
- Пирс, CS
- (письмо 1886 г.), Письмо Пирса А. Маркванду, 30 декабря 1886 г., опубликовано в 1993 г. в Kloesel, C. et al., eds., «Сочинения Чарльза С. Пирса: хронологическое издание» , Vol. 5. Университет Индианы. Пресс, стр. 421–3. Google Книг Предварительный просмотр .
- (1887), «Логические машины», Американский журнал психологии, т. 1, н. 1, Балтимор: Н. Мюррей, стр. 165–70. Google Книги Электронная версия . Перепечатано в (1976) The New Elements of Mathematics v. III, pt. 1, стр. 625–32; (1997) Современная логика 7:71–77, Project Euclid Eprint ; и (2000) Сочинения Чарльза С. Пирса, т. 6, стр. 65–73.
- Болдуин, Марк Джеймс (1902), «Логическая машина», Словарь философии и психологии , стр. 28–30 Google Books Eprint . Классика по истории психологии Епринт .
- Кетнер, Кеннет Лейн (1984), «Ранняя история компьютерного дизайна: логические машины Чарльза Сандерса Пирса и Маркванда», при содействии Артура Франклина Стюарта, Хроники библиотеки Принстонского университета , т. 45, н. 3, стр. 186–211. PULC, 15 МБ, PDF, электронная распечатка .
- Далаков, Георгий (без даты), «Чарльз Пирс и Аллан Маркванд», История компьютеров и вычислений . Эпринт .
Дальнейшее чтение
[ редактировать ]- Джевонс, Уильям Стэнли (1869). Замена подобия, истинный принцип рассуждения, вытекает из модификации изречения Аристотеля . Лондон : Макмиллан – через Интернет-архив . - На стр. 55f Джевонс дает описание своих логических счетов.
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |