В становление математической логики большой вклад внес
Автор Вера Калинина задал вопрос в разделе Другое
3. Кто является основоположником науки логики? и получил лучший ответ
Ответ от ДИНамовец По духу[гуру]
Основоположником логики как науки является древнегреческий философ и ученый Аристотель (384-322 гг. до н. э.). Он впервые разработал теорию дедукции, то есть теорию логического вывода. Именно он обратил внимание на то, что в рассуждениях мы из одних утверждений выводим другие, исходя не из конкретного содержания утверждений, а из определенной взаимосвязи между их формами, структурами.
Уже тогда в Древней Греции были созданы школы, в которых люди учились дискутировать. Ученики этих школ учились искусству поиска истины и убеждения других людей в своей правоте. Они учились из множества фактов отбирать нужные, строить цепочки рассуждений, связывающие отдельные факты между собой, делать правильные выводы.
Уже с этих времен было принято считать, что логика есть наука о мышлении, а не о предметах объективной истинности.
Древнегреческий математик Евклид (330-275 гг. до н. э. ) впервые предпринял попытку упорядочить накопившиеся к тому времени обширные сведения по геометрии. Он положил начало осознанию геометрии как аксиоматической теории, а всей математики - как совокупности аксиоматических теорий.
На протяжении многих веков различными философами и целыми философскими школами дополнялось, усовершенствовалась и изменялась логика Аристотеля. Это был первый, доматематический, этап развития формальной логики. Второй этап связан с применением в логике математических методов, начало которому положил немецкий философ и математик Г. В. Лейбниц (1646-1716 гг.). Он пытался построить универсальный язык, с помощью которого разрешались бы споры между людьми, а затем и вовсе все «идеи заменить вычислениями» .
Важный период становления математической логики начинается с работы английского математика и логика Джорджа Буля (1815-1864 гг. ) «Математический анализ логики» (1847) и «Исследования законов мышления» (1854). Он применил к логике методы современной ему алгебры - язык символов и формул, составление и решение уравнений. Им была создана своеобразная алгебра - алгебра логики. В этот период она оформилась, как алгебра высказываний и была значительно развита в работах шотландского логика А. де Моргана (1806-1871 гг.) , английского - У. Джевонса (1835-1882 гг.) , американского - Ч. Пирса и др. Создание алгебры логики явилось заключительным звеном в развитии формальной логики.
Значительный толчок к новому периоду развития математической логики дало создание в первой половине XIX века великим русским математиком Н. И. Лобачевским (1792-1856 гг. ) и независимо от него венгерским математиком Я. Бояи (1802-1860 гг. ) неевклидовой геометрии. Кроме того, создание анализа бесконечно малых подвело к необходимости обоснования понятия числа как фундаментального понятия всей математики. Довершали картину парадоксы, обнаруженные в конце XIX века в теории множеств: они отчетливо показали, что трудности обоснования математики являются трудностями логического и методологического характера. Таким образом, перед математической логикой встали задачи, которые перед логикой Аристотеля не возникали. В развитии математической логики сформировались три направления обоснования математики, в которых создатели по-разному пытались преодолеть возникшие трудности.
аристотель
Логика -- одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышле-ния, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логическо-го учения можно обнаружить еще в Индии, в конце II тыся-челетия до н. э. Однако если говорить о возникновении логи-ки как науки, то есть о более или менее систематизирован-ной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Именно здесь в V--IV веках до н. э. в период бурного разви-тия демократии и связанного с ним небывалого оживления общественно-политической жизни трудами Демокрита, Со-крата и Платона были заложены основы этой науки.
Родона-чальником же, «отцом» логики, по праву считается величай-ший мыслитель древности, ученик Платона -- Аристотель (384--322 гг. до н. э.). Именно он в своих трудах, объединенных общим названием «Органон» (орудие познания) , впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений, а именно: формы выводов из так называемых категорических суждений -- категорический силлогизм («Первая аналити-ка») , сформулировал основные принципы научных доказа-тельств («Вторая аналитика») , дал анализ смысла некоторых видов высказываний («Об истолковании») , наметил основ-ные подходы к разработке учения о понятии («Категории»). Серьезное внимание Аристотель уделял также разоблачению различного рода логических ошибок и софистических при-емов в спорах («О софистических опровержениях»).
Основателем логики -- или, как иногда говорят, «отцом логи-ки» -- принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384--322 гг. до н. э. Следует, однако, учитывать, что первое довольно развернутое и системати-ческое изложение логических проблем фактически дал более ран-ний древнегреческий философ и естествоиспытатель Демокрит (460 -- примерно 370 г. до н. э.). Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или О ка-нонах» (от греч. kanon -- предписание, правило) Ивлев Ю. Логика для юристов. - М. : БЕК, 2001. - С. 22. Здесь не только были раскрыты сущность познания, его основные формы и крите-рии истины, но и показана огромная роль логических рассужде-ний в познании, дана классификация суждений, подвергнуты ре-шительной критике некоторые виды выводного знания и предпри-нята попытка разработать индуктивную логику -- логику опытного знания.
К сожалению, этот трактат Демокрита, как и все остальные, до нас не дошел. Однако он был широко использован Аристотелем в его разработке грандиозной системы логики. А от нее непосред-ственно ведет начало современная логика.
Аристотелю принадлежит ряд трактатов по логике, объединен-ных позднее под названием «Органон» от греч. organon -- орудие, инструмент).
B фокусе всех его логических размышлений -- теория выводного знания -- дедуктивных умозаключений и доказательства. Она разра-ботана с такой глубиной и тщательностью, что прошла сквозь тол-щу столетий и в основном сохранила свое значение до наших дней Аристотель дал также классификацию категорий -- наиболее об-щих понятий и близкую к демокритовской классификацию сужде-ний, сформулировал три фундаментальных закона мышления -- закон тождества, закон противоречия и закон исключенного тре-тьего. Логическое учение Аристотеля замечательно тем, что в заро-дыше оно содержит, по существу, все позднейшие разделы, на-правления и типы логики -- индуктивной, символической, диа-лектической. Правда, сам Аристотель называл созданную им науку не логикой, а прежде всего аналитикой, хотя и употреблял термин «логическое». Сам же термин «логика» вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуеди-ным смыслом древнегреческого слова «logos» (и «слово» , и «мысль» ) он объединил и искусство мыслить -- диалектику, и искусство рас-суждать -- риторику.