История логики

Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями.
Основателем логики считается Аристотель.Он описал законы логики, которые позволяют переходить от одного истинного суждения к другому без риска совершить ошибку. Он впервые отделил логические формы мышления (речи) от его содержания.
За два тысячетелетия со времен Аристотеля традиционная логика не слишком далеко ушла вперед. Великий немецкий философ Иммануил Кант (1724- 1804) даже считал, что эта наука уже полностью завершила свое развитие.
Однако постепенно в логике назревала революция. И подготовил ее другой немецкий философ, математик, физик, изобретатель, юрист, историк, лингвист- Готфрид Вильгельм Лейбниц (1646-1716).
Еще в 1672г., посетив работавшего в Париже голландского изобретателя и физика Христиана Гюйгенса (1692-1695), Лейбниц был обескуражен тем, как много сил и времени расходует тот на осуществление необходимых математических расчетов. Возможно, эти впечатления и стали отправной точкой в размышлениях Лейбница над проблемой вычислений. "Недостойно таких замечательных людей, подобно рабам, терять время на вычислительную работу, которую безусловно можно было бы поручить любому лицу при использовании машины"- писал он позднее. Такую машину Лейбницу удалось создать спустя много лет, в 1694 г. Лейбниц изучал проблему вычислений и теоритически. В 1703 г. он впервые привлек внимание ученого мира к двоичной системе счисления, доказывая ее преимущества перед десятичной системой, так как в последовательностях нулей и единиц гораздо легче обнаружить закономерности их поведения (он называл их "чудесным порядком").
Лейбниц первым заметил, что выполнение арифметических действий ведется с помощью простых правил, для которых не имеет значения смысл чисел, а важно лишь то, как они записаны. Правила эти достаточно очевидны, а их применение дает однозначный результат, следовательно, эти результаты нельзя поставить под сомнение или оспорить. После этого у Лейбница возникла идея: нельзя ли сделать столь же неоспоримыми и производимые человеком умозаключения, представив их как вычисления? Правда, проблему он исследовал больше как философ, предложив девиз:"Будем вычислять".
Идеи Лейбница о математизации умозаключений, значительно опередив время, не оказав заметного влияния на научные воззрения его современников. Потребовалось еще целых полтора столетия, пока в трудах английского математика Джорджа Буля (1815-1864) не были заложены основы математического подхода к логике. Интересно, что Буль не имел математического образования, но это не помешало ему в 1849г. стать профессором кафедры математики в Куинс-колледже в Корке (Ирландия). Его труды "Математический анализ логики" (1847), "Логическое исчисление" (1848), "Исследование законов мышления" (1845) вошли в фундамент современной математической логики.