Электронный учебник по логике 2

Материал из ПримаВики
Перейти к: навигация, поискTEST

Логика как наука



Логика - это наука о законах и формах человеческого мышления. Логика - наука древняя. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока, но в основе современной логики лежат учения, созданные древнегреческими мыслителями.

Аристотель


Основоположником науки о верных умозаключениях считают древнегреческого мыслителя Аристотеля, жившего в 342-322 годах до нашей эры. Аристотель рассмотрел мышление с формальной стороны, пытаясь ответить на вопрос, как мы рассуждаем. Он заметил, что логика в некотором роде похожа на математику, а ее положения могут быть выражены в виде определенных правил, подобных математическим. Философ попытался отразить это в своих трактатах. Так зародилась формальная логика.


Аристотель

Основоположником математической логики считают великого немецкого математика и философа Вильгельма Лейбница.Он первым пытался построить логические исчисления и высказал мысль о возможности применения двоичной системы счисления в вычислительной математике. Лейбниц мечтал создать особый язык для выражения мыслей в чистом виде, с помощью которого можно было бы математически строго выразить любую мысль. Он надеялся, что придет время, когда философы вместо того, чтобы спорить, станут брать бумагу и вычислять, кто из них прав.

Прозорливый Лейбниц оказался прав. Двоичное представление сыграло огромную роль в формализации логики и посроения языка, который стал основой для автоматизации вычисления истинности высказывания.



Аристотель

Но этим идеям Лейбница суждено было получить дальнейшее развитие лишь в середине XIX века в трудах другого великого математика-самоучки Джорджа Буля . В своих работах он представил своеобразную алгебру - алгебру логики.В отличие от обычной, в ней символами обозначают не числа, а высказывания.



Аристотель

Спустя почти 70 лет после кончины Буля американский ученый и инженер Клод Шеннон в своей дипломной работе применил булеву алгебру для описания электротехнических цепей. Он также показал как электрические цепи могут быть использованы для решения логических задач. Так зародилась идея построения компьютера.


Автор учебника Селихова Татьяна Юрьевна

Главная страница| Уроки | Контроль| Логика как наука | Головоломки