Что означает слово логика в переводе с древнегреческого
Значение слова «логика»
1. Наука о законах и формах мышления. Формальная логика. Диалектическая логика.
2. Ход рассуждений, умозаключений. Это был человек безукоризненной логики, всегда лучше других умевший обосновать то, в чем он был убежден. Сергеев-Ценский, Пушки выдвигают. После долгих споров, после обидных и резких разговоров Коля сдался; железная логика и опыт прожитых лет победили. Вирта, Закономерность. || Правильность, разумность умозаключений. [Пахотин] судит обо всем часто наперекор логике, но владеет софизмом с необыкновенною ловкостью. И. Гончаров, Обрыв. Логика его выводов была безупречной, и он имел мало конкурентов у доски, на которой выстукивал мелом схемы опытов или решал дифференциальные уравнения. Чижевский, Вся жизнь.
3. чего или какая. Внутренняя закономерность. Логика событий. По логике вещей. □ Законы социальной жизни обладают гораздо большей точностью, гораздо большим удобством, большей логикой, чем законы природы. Макаренко, Книга для родителей. Переводчик должен стремиться к тому, чтобы 196 каждая фраза, переведенная им, звучала по-русски, подчиняясь логике и эстетике русского языка. К. Чуковский, Высокое искусство.
[От греч. λογική — наука о мышлении]
Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека
Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.
В любой науке логика служит одним из основных инструментов. Кроме философии, логика также является подразделом математики, а булева алгебра одной из основ информатики.
ЛО’ГИКА, и, ж. [греч. logikē от logos — слово, разум]. 1. Наука об общих законах развития объективного мира и познания (филос.). Логика есть учение не о внешних формах мышления, а о законах развития «всех материальных, природных и духовных вещей», т. е. развития всего конкретного содержания мира и познания его, т. е. итог, сумма, вывод истории познания мира. Лнн. Формальная л. идеалистической философии считает общие понятия и формы познания неизменными, раз навсегда данными. Л. диалектического материализма утверждает, что формы познания меняются вместе с изменением объективного мира, и потому является наукой об историческом развитии человеческого мышления, как отражения в сознании развития объективного мира. 2. Разумность, правильность умозаключений. Говорить с неотразимой логикой. 3. Внутренняя закономерность. Л. вещей. Л. событий. Неумолимая л. истории. В его поступках нет никакой логики.
Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека
Значение слова логика
Словарь Ушакова
2. Разумность, правильность умозаключений. Говорить с неотразимой логикой.
3. Внутренняя закономерность. Логика вещей. Логика событий. Неумолимая логика истории. В его поступках нет никакой логики.
Этимологический Словарь Русского Языка
Слово ведет свое происхождение из греческого языка. Первоисточник – греческое слово, в переводе означающее «разум».
Путем добавления суффикса было образовано греческое слово logike. Из греческого языка слово перешло в латинский (logica), затем – в немецкий (Logik). В русском языке слово появилось в XVII в. путем заимствования из немецкого.
Начала Современного Естествознания. Тезаурус
Педагогический терминологический словарь
(Бим-Бад Б.М. Педагогический энциклопедический словарь. — М., 2002. С. 134)
Гаспаров. Записи и выписки
♦ Я его боюсь, потому что он обо всем говорит только с середины. См. Несомненно.
♦ «Парфянский народ весьма лживым почитался для того, что, по свидетельству Геродотову, учреждены были у них жесточайшие законы против лжецов» (Кантемир, 496).
♦ «Как атеист смеет комментировать Достоевского?» — мысль И. Золотусского в ЛГ, 17.06.92. А как нам комментировать Эсхила?
♦ «Можно ли сомневаться в искренности крещения Мандельштама, если он в это время писал: В спокойных пригородах снег сгребают дворники лопатами. » Говорилось на конференции «Кризис России XX в.», что заседала под путч 1991 г. Нехорошо мне ходить на совет благочестивых.
♦ В восп. Чуковского. Мережковский сказал: «Люди делятся на умных, глупых и молдаванов; ваш Репин — молдаван». Гиппиус из соседней комнаты крикнула: «И Блок тоже молдаван!» Самое замечательное: «В ту минуту мне показалось, что я их понял».
♦ Виды медов были: вишневый, смородинный, мозжевельный, обварный, приварный, красный, белый, белый-паточный, малиновый, черемховый, старый, вешний, с гвоздикой, княжий и боярский. (Терещенко, Быт рус. народа, 204). («Квас черствый, квас сладкий, квас выкислый» перечислял Ремизов в «Учителе музыки»).
♦ Был тест на классификацию карточек с картинками, дерево и таракан оказались в одной группе. Испытуемый объяснил: потому что никто не знает, откуда взялись деревья и откуда взялись тараканы. (Рассказывала Б. Зейгарник) Неизвестно, читал ли он обэриутов.
♦ «Не ищите логики там, куда вы ее не клали», сказали мне, когда я слишком долго старался понять статью НН.
Философский словарь (Конт-Спонвиль)
Логику можно было бы назвать наукой о разуме (logos), если бы такая наука была возможна. За неимением таковой мы называем логикой науку о рассуждениях, в частности о формальных условиях надежности рассуждений. Логика в наше время все больше математизируется, что не освобождает философов от необходимости ее изучения.
Вестминстерский словарь теологических терминов
♦ ( ENG logic)
изучение принципов рассуждения и аргументации. Используется в теологическом дискурсе как средство утверждения обоснованности точек зрения.
Энциклопедический словарь
Словарь Ожегова
ЛОГИКА, и, ж.
1. Наука о законах и формах мышления. Формальная л. Диалектическая л.
2. Ход рассуждений, умозаключений. У этого человека своя л. Женская л. (непоследовательная, непонятная; шутл.).
3. Разумность, внутренняя закономерность чегон. Л. вещей. Л. событий.
| прил. логический, ая, ое. Л. вывод. Логическая ошибка.
Словарь Ефремовой
Энциклопедия Брокгауза и Ефрона
(от λόγος, разум, слово, мышление) — по мнению одних, наука о доказательстве, по мнению других, наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи, следует обратиться к истории.
I. Л. есть продукт греческого ума. Признавать здесь первенство индусов нет серезных оснований (см. Индийская философия). Творцом Л. считается по справедливости Аристотель, хотя в греческой философии, в особенности у Сократа и Платона, и раньше были затронуты некоторые логические вопросы. Диалектика элеатов, учение софистов, опровержение их Сократом и Платоном дали богатый материал, из которого Аристотель мог создать свое дивное логическое построение. Его «Органон» состоит из пяти сочинений: категорий, учения об истолковании, двух аналитик, топики и софистических доказательств. Категории отчасти соответствуют той части Л., которую теперь называют учением о понятиях; в сочинении об истолковании излагается учение о суждениях, в аналитиках — учение о силлогизме и о научном доказательстве, в топике, наиболее устаревшем из всех логических сочинений Аристотеля, — о диалектических доказательствах и вероятных заключениях; наконец, в софистических доказательствах приводятся примеры ложных умозаключений и показаны пути, как избавиться от софистических ошибок. Важнейшая заслуга Аристотеля и в то же самое время наиболее самостоятельная его работа состоит в разъяснении различных видов силлогизма и в анализе различных способов научного доказательства. Аристотеля обыкновенно считают творцом того логического направления, которое называется формальным и занимается анализом понятий, суждений и умозаключений, рассматривая их совершенно независимо от самого содержания понятий и суждений. Возможность такого отвлеченного рассмотрения заключается, по-видимому, в том, что во всяком познании можно различить два момента: материальный (то, что мыслится) и формальный (как оно мыслится), и эти моменты в известной степени отделимы друг от друга. История Л. есть в значительной степени история формального логического направления; тем не менее несправедливо упрекать Аристотеля в формализме. Отделения содержания от формы мысли в том виде, в котором мы его встречаем позднее, по преимуществу в средневековой Л., у Аристотеля еще нет; поэтому можно только утверждать, что формальная Л. вышла из Аристотелевской, но нельзя говорить, что Аристотель есть творец формальной Л. После-Аристотелевская греческая Л. не имеет большого значения. Стоики пополнили силлогистику учением об условном и разделительном умозаключении и положили основание учению о восприятии как элементе познания; но эти труды не получили в истории значения и дальнейшего развития. В средневековой схоластической философии, в которой бедность реального содержания искупалась строгостью логических форм, Л. стала формальным учением о понятии, суждении и умозаключении, причем силлогизм признан единственной формой научного доказательства. Типичный учебник средневековой Л. — «Summulae» Петра Испанского. Связь логических вопросов с общефилософскими, гносеологическими выразилась в знаменитой борьбе двух направлений — реализма и номинализма, состоящей в выяснении того значения, которое следует давать общим понятиям, т. е. субъективны ли они или же имеют и объективное бытие, как учил Платон. Самая оригинальная попытка реформы логики в средние века принадлежит Раймунду Люллию (1284-1315); но так как она не относится к формальному направлению, то о ней будет сказано ниже. Под влиянием эпохи Возрождения и постепенного накопления реального знания, формальная Л. подверглась различным видоизменениям, но как школьный учебный предмет она существует и до настоящего времени и в XIX. стол. достигла своего полного развития в послекантовой философии, а именно в школе Гербарта, который считает Л. наукой выяснения понятий и их сочетаний в суждениях и умозаключениях. Гербарт совершенно отделяет Л. от философии и не рассматривает в Л. значения различных форм мышления. Завершение формального направления мы имеем в так назыв. математической Л., созданной англичанами, которую иногда считают особым логическим направлением, хотя по существу это та же формальная Л. Бентам и Гамильтон считаются ее творцами; де Моран, Буль и Джевонс более или менее тесно примыкают к этому направлению. Сущность его состоит в учении о квантификации предиката, вследствие которой суждение принимает характер уравнения — а это ведет к некоторым упрощениям и видоизменениям форм умозаключения. В каждом суждении мы различаем всегда его количество (т. е. оно бывает общим, частным и единичным) и качество (т. е. оно бывает утвердительным и отрицательным). Но количественный элемент обыкновенно относится в суждении к одному только подлежащему, в сказуемом же остается некоторая неопределенность в количественном отношении; если устранить эту неопределенность, то все суждения будут представлять собою такие отношения подлежащего к сказуемому, которые могут быть выражены совершенно точно; благодаря этому можно придать простейшую форму всем выводам, руководствуясь законом тождества и противоречия. За математической Л. следует признать заслугу сведения всех выводов к закону тождества и противоречия, но крайность этого направления не позволяла ему понять и описать многообразие всех выводов и их характерных особенностей. Этот недостаток устранен в классическом сочинении М. И. Каринского (см.): «Классификация выводов» (СПб., 1880).
II. Когда интерес к реальному знанию возрос, когда люди стали изучать природу и себя самих не по книгам только, а по живой действительности, тогда схоластическая Л. оказалась неудовлетворительной в двояком, главным образом, отношении: во-первых, она, по-видимому, не давала никаких средств для изучения природы; во-вторых, рассматривая лишь готовое знание в форме понятий, суждений и умозаключений, она не беспокоилась о том, откуда берутся познания человека и в каком отношении стоят они к реальному бытию. Л. доказательства должна была поэтому уступить место Л. открытия истины, а формальное изучение мысли должно было стать гносеологией, т. е. изучением происхождения, границ и значения человеческого познания. 1) Scientia est potentia — провозгласил Бакон и в своем «Новом Органоне» хотел указать пути, которыми можно приобресть знание, а вместе с тем и господство над природой. Не Бакон, конечно, создал Л. открытия; его предшественниками в этом отношении были Петр Рамюс и Леонардо да Винчи, а также ученые XVI и начала XVII столетий (напр. Галилей), показавшие, как следует изучать природу; тем не менее Бакона считают творцом индуктивной Л., так как он наиболее полно выразил ее тенденции в XVII веке. Силлогизм следует отбросить, ибо он непригоден для исследования; нужно довериться индукции, собирать факты, группировать их, делать обобщения и таким путем подниматься до познания высших законов природы. Характерная особенность Л. Бакона состоит в его учении об отрицательных и преимущественных инстанциях, т. е. случаях, в которых наиболее полно выразилось какое-либо явление и которые благодаря этому могут заменять собой целый ряд однородных фактов и, таким образом, сокращать путь исследования. По пути, намеченному Баконом, пошел целый ряд исследователей; благодаря трудам Гершеля, Уэвеля, в особенности Милля и Клода Бернара создалась так наз. индуктивная Л., типичным представителем которой обыкновенно считается Милль. Его учение о том, что возможность индукции покоится на вере в однообразный порядок явлений в природе и что самое исследование ведется посредством четырех основных методов (согласия, различия, остатков и сопутствующих изменений), пользуется очень большим распространением и уважением. Рассматривая индуктивную Л. в целом, приходится, однако, сказать, что она не есть Л. открытия, а представляет собой лишь отвлеченное описание тех путей, которыми открытия были делаемы. Самая мысль создать Л. открытия вряд ли осуществима, ибо всякое открытие действительных отношений явлений между собою есть творческий процесс исследователя, который, как всякое творчество, зависит от природных дарований и которому научиться нельзя. Лучшие и точнейшие методы в руках недаровитого исследователя останутся без результатов, а процесс творчества представляет тайну даже для самого исследователя. Превратить Л. в искусство можно разве лишь в смысле формальной Л., т. е. в искусство находить ошибки, в критику. Второй существенный недостаток индуктивной Л. объясняется исторически. Индуктивная Л. развилась в борьбе с силлогизмом и желала стать на место силлогизма. Обособление индукции от формальной Л. хотя и понятно, но неосновательно. Борьба Бакона против сил логизма, как и критика Локка, основаны на недоразумении, а учение Милля о силлогизме как о заключении от частного к частному же вытекает из недостаточно глубокого анализа процессов умозаключении. Индуктивный вывод есть только один из видов заключений — а все они покоятся одинаково на известных аксиоматических предпосылках и на законах тождества и противоречия. К этому же направлению логики следует отнести оригинальную попытку Декарта (нашедшую себе более полное выражение в соч. Марютта) заменить школьную Л. некоторыми простейшими правилами исследования.
2) Во втором из указанных нами направлений новой Л. — в теории познания — вновь была восстановлена связь Л. с философией, существовавшая в греческой Л. и уничтоженная схоластической философией. Декарт задался мыслью об основе нашего познания, о его достоверности, и предложил в знаменитой формуле «cogito — ergo sum» рационалистическое решение, которое вызвало критику со стороны эмпиризма и попытку примирения двух основных философских направлений — рационализма и эмпиризма — в критицизме Канта. В сущности, борьба указанных школ относится не к истории Л. в тесном смысле, а к истории философии; это видно уже из того, что различные мыслители указанных школ смотрели на задачи Л. одинаково, т е. Л. сохраняла отчасти свое самостоятельное существование и не сливалась вполне с теорией познания, хотя и получила значительное обогащение благодаря психологическим и гносеологическим исследованиям. У Канта, напр., мы встречаемся с двумя Л.: с одной стороны — с формальной Л., примыкающей к Аристотелю, в которой Кант заявляет, что Л. в течение двух тысячелетий не сделала никаких успехов; с другой стороны — с трансцендентальной Л., частью «критики чистого разума», в которой Кант исследует чистые понятия рассудка (категории), делающие возможным опыт и принадлежащие a priori человеку основоположения рассудка и идеи разума. Под влиянием новых, по преимуществу психологических элементов, внесенных в Л., она может потерять свой нормативный характер. Как формальная, так и индуктивная Л. признают своей задачей установку правил, определяющих собою истинное мышление; если же смотреть на Л. как на теорию мышления, если разбирать условия возникновения мысли, описывать процессы, из которых слагается мысль, то историю возникновения мысли легко смешать с действительным ее значением и принять ассоциационные законы за законы мышления. Это действительно и случилось с некоторыми английскими исследователями (в России эту точку зрения защищал Н. Я. Грот: «К вопросу о реформе Л.», Лпц., 1880, 8°). Между тем, ассоциации управляют лишь воспроизведением элементов сознания, а не живым мышлением. Мышление творит ассоциации, но ассоциации создать мысли не могут.
III. Чего не могла сделать индуктивная Л., т. е. построить Л. открытия, за то взялась так назыв. метафизическая Л. Уже знаменитая Ars lulliana, которою восхищался Джордано Бруно, была попыткой такого рода. Луллий хотел путем сочетания некоторых основных понятий о вещах и их свойствах указать путь к открытию нового знания о вещах. Эта попытка могла бы быть удачной лишь при обладании такими категориями, которые исчерпывали бы всю полноту бытия; но так как опыт мог ежеминутно показать неполноту выбранных Луллием понятий, то можно было лишь удивляться его остроумию, признавая попытку его неудавшейся. Цель Луллия своебразно видоизменил Гегель: исходя из положения о тождестве бытия и познания, он отождествил Л. с метафизикой, т. е. предположил тождество там, где теория познания утверждала лишь связь. Л. есть наука о чистых понятиях, которые a priori присущи человеку; именно поэтому они и имеют применение к бытию. Из этой мысли развилась гегелевская Л. Гегелю принадлежит лишь путь нахождения чистых понятий, который назван им диалектическим методом. Но и у Гегеля, который, по-видимому, совершенно отождествил Л. с онтологией и сделал субъективные категории стадиями развития самого бытия, формальная Л. все же не совершенно уничтожена, а является вновь в учении о понятии, которое развивается в трех моментах: а) субъективное понятие, б) объект и в) идея. Субъективное понятие представляет три момента диалектического развития: понятие как такое, суждение и умозаключение. Таким образом, в этом величественном построении, в котором мысль, по-видимому, творит свой объект, и старая школьная Л. нашла себе место. В общем, о Л. Гегеля следует сказать, что она представляет собой гениальную, но безнадежную попытку. Основная предпосылка ошибочна, и потому все здание должно было оказаться построенным на песке. Человек не обладает творческою мыслью, а только исследующею; творчество человека (в сфере научной) только и проявляется в исследовании существующего, а не в создании его.
Итак, первоначальная Аристотелевская логика в историческом развитии подвергалась многим реформам, которые отчасти обогатили ее (напр. в методологическом и психологическом отношениях), отчасти же исказили ее сущность (в метафизическом направлении). Отсюда можно вывести заключение, что главный предмет Л. остался неизменным: Л. есть учение о доказательствах, описание же законов и форм мысли есть скорее предмет психологии, чем Л.
Литература: по истории Л.: Prantl, «Geschichte d. Logik» (Лейпциг, 1885-1870) и Ueberweg, «System der Logik» (Бонн, 1874; глава об истории Л.). Из Л. формального направления: «Organon» Аристотеля (изд. Вайца) и «Elementa logices Aristoteleae» (изд. Treudelenburg’a, Б., 1868); Arnauld, «L’art de penser» (П., 1664, изд. часто); Drobisch, «Logik» (Лпц., 1850); Rabier, «Logique» (П. 1886). Из индуктивных Л., кроме «Novum Organon» Бакона: «А system of logic rationative and inductive» Милля (Л., 1843, изд. часто; есть рус. перев.); Claude Bernard, «Introducti on à l’étude de la médecine expé rimentale» (П., 1865); Sigwart, «Logik» (Тюбинген; 1873). По математической Л.: Liard, «Les logiciens anglais» (П., 1878); Boole, «An investigation of the laws of thought» (Л., 1854). К гносеологической Л. относятся, кроме классических соч. Декарта, Лейбница, Локка, Канта — Wundt, «Logik» (Штуттгардт, 1880; 1896 г. третье издание); Shuppe, «Erkenntnisstheoretische L.» (1878); Lotze, «Logik» (Лпц., 1874). По метафизической Л., кроме гегелевской: Kuno Fischer, «System der Logik u. Metaphysik» (2 изд., Гейдельберг, 1865).
В России Л. составляла издавна предмет преподавания как в духовных академиях, так и в университетах, почему различных сочинений по Л. сравнительно много, но из них только одно вполне оригинально (Каринский, «Классификация выводов»). Другие, наиболее крупные: Бакман, «Система Л.»; Новицкий, «Руководство по Л.» (Киев, 1841); Карпов, «Систематическое изложение Л.» (СПб., 1856); Владиславлев, «Л.» (СПб., 1872); Троицкий, «Учебник Л.» (М., 1885). Переведенных, кроме Л. Милля, «Л.» Минто (М. 1895). Обзор логических направлений дает Лейкфельд: «Различные направления в Л. и основные задачи этой науки» (Харьков, 1890, 8°); он же печатал в «Ж. М. Н. Пр.» за 1895 г. «Историю индуктивной Л.».
История логики
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция. Из них только трактовка логики в древнегреческой философии, детально рассмотренная в сочинении Аристотеля «Органон», принята и нашла широкое применение в современной науке и математике. В Древней Греции логика была известна как диалектика или аналитика.
В дальнейшем логика Аристотеля была развита исламскими и затем средневековыми европейскими логиками, и наибольшего подъёма достигла в середине XIV века. С XIV века до начала XIX века логика находилась в упадке, историки логики считают этот период непродуктивным. [1]
Логика была возрождена в середине XIX века и успешно трансформировалась в строгую и формальную дисциплину, идеальным вариантом которой были точные методы доказательства, используемые в математике. Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества. [2]
Прогресс в истории логики первой половины XX века связан, в частности, с работами Гёделя и Тарского, и оказал значительное влияние на аналитическую философию и философскую логику, в особенности с 1950-х гг., благодаря развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и релевантная логика.
Содержание
Предыстория логики
Правильные рассуждения можно встретить в продолжение всего периода ранней истории человечества. С другой стороны попутно происходило изучение принципов правильного мышления, вывода и доказательства. Вероятно, идея доказательства утверждений впервые возникла в связи с геометрией, которая буквально означает «измерение земли». В частности, древние египтяне эмпирическим путём получили некоторые геометрические знания, например, формулу для расчёта объёма усечённой пирамиды. Другое происхождение связывают с Вавилонией. Эсагиль-кин-апли в медицинском Руководстве по диагностике XI века до н. э. приводит множество аксиом и допущений. Вавилонские астрономы VIII и VII веков до н. э. применяли внутреннюю логику внутри их предсказательной планетарной системы — важный вклад в философию науки.
Логика в древнегреческой философии
До Платона
В то время, как древние египтяне опытным путём открыли отдельные истины геометрии, величайшим достижением древних греков стала замена эмпирических методов науками, построенными на доказательствах. Систематические изыскания в этом направлении, по всей видимости, начинаются с школы Пифагора в конце VI века до н. э. Три основных принципа геометрии: определённые положения должны быть приняты без доказательств, другие положения выводятся из них и вывод должен быть формальным, независимость того или иного рассматриваемого предмета. Фрагменты ранних доказательств сохранились в трудах Платона и Аристотеля, и идея дедуктивной системы, возможно, была известна в пифагорейской школе и Платоновской Академии.
Отдельно от геометрии идея стандартного метода аргументации усматривается в Reductio ad absurdum (приведение к абсурду) у Зенона Элейского — философа-досократика V века до н. э. Это правило заключается в выводе очевидно ложного, невозможного или абсурдного положения из утверждения того, что положение ложно. Платон в диалоге Парменид изображает Зенона, который написал сочинение, защищающее монизм Парменида и доказывающее абсурдность существования многого. Другие философы, которые также практиковали так называемые диалектические рассуждения, среди них младшие сократики, включая Евклида из Мегары, надо полагать были последователями Парменида и Зенона. Философов этой школы называют «диалектиками» (от греческого слова, означающего «искусство спорить, вести рассуждения»).
Дальнейшие свидетельства о том, как мыслители до Аристотеля применяли принципы логических рассуждений найдены в отрывках сочинения Dissoi Logoi, предположительно написанного в начале IV века и представляющего собой часть продолжительных споров об истине и лжи.
Логика Платона
Из дошедших до нас сочинений знаменитого философа Платона (428—347) ни одно не относится к формальной логике, но они содержат важный вклад в развитие философской логики. Платон ставит три вопроса:
Первый вопрос появляется в диалоге Теэтет, где Платон отождествляет мысль или мнение с разговором или рассуждением (logos). Второй вопрос является результатом платоновской теории форм. Формы — это не вещи в обычном смысле или определённые идеи субъективного сознания, они соотносятся с тем, что позже назвали универсалиями, общие абстрактные имена, вместо которых можно подставлять имена конкретные. В диалогах Государство и Софист Платон предполагает необходимую связь между посылкой и следствием в рассуждениях в соответствии с необходимой связью между «формами». Третий вопрос о понятии. Многие диалоги Платона относятся к поиску некоторых важных понятий (справедливость, истина и благо); очевидно, на Платона оказала влияние значимость определений в математике. Форма, согласно Платону, лежит в основе каждого понятия, и общая сущность проявляется в частных вещах. Так понятие отражает высшую степень нашего понимания и основу всех валидных умозаключений. Взгляды Платона оказали сильное влияние на Аристотеля.
Логика Аристотеля
Логика Аристотеля, в частности его теория силлогизма, имела огромное влияние на западную мысль. Его труды по логике, называемые Органон, представляют самое раннее исследование формальной логики и началом традиции, преемственность которой прослеживается до современности. Точная датировка затруднительна, но предположительно порядок работ Аристотеля по логике следующий:
Эти труды имеют выдающееся значение для истории логики. Аристотель был первым логиком, который попытался провести системный анализ логического синтаксиса. В Категориях он классифицирует все возможные виды того, что может быть субъектом и предикатом суждения. Это послужило основой его философского сочинения Метафизика. Он первый последовательно применяет законы противоречия и исключённого третьего. Он первый показывает принципы аргументации, лежащие в основе логических форм умозаключений, с помощью переменных (основоположник формальной логики); исследует отношение зависимости, которое характеризуют необходимые условия вывода и различает валидность этих отношений. В Первой аналитике содержится его изложение силлогистики и впервые в истории примененены три важнейших принципа: применение переменных, чисто формальное рассмотрение и использование аксиоматической системы. В сочинениях Топика и »О софистических опровержениях также рассматривается неформальная логика (например, исследование логических ошибок).
Логика стоиков
В стоицизме развивается другая значительная школа логики в Древней Греции. Логика стоиков имеет корни в конце V века до н. э. в философии Евклида из Мегары, ученика Сократа и старшего современника Платона. Ученики и последователи Евклида из Мегары были названы «мегариками» или «эристиками», позже «диалектиками». Наиболее значительными диалектиками Мегарской школы были Диодор Крон и Филон из Мегары (конец IV века до н. э.) Стоики переняли мегарскую логику и систематизировали её. Одним из самых известных представителей стоической школы стал Хрисипп ((278—206 гг. до н. э.), третий глава школы, который формализовал доктрину стоиков. Он написал приблизительно 700 трудов, практически только девять сохранились. В сравнением с Аристотелем, у мегариков и ранних стоиков теория логики осталась незавершённой, и мы можем руководствоваться позднейшими оценками (иногда враждебными), данными в III веке Секстом Эмпириком.
К трём важным вкладам стоической школы в историю логики относятся: (1) их трактовка модальности, (2) теория материальной импликации и (3) оценка смысла и истины.
Логика в странах Востока
Логика в Индии
Формальная логика возникла независимо и продолжала развиваться до Нового времени без влияния древнегреческой логики. Медхатитхи Гаутама (VI в. до н. э.) основал школу логики анвикшики. Махабхарата (12.173.45), около V в. до н. э., ссылается на школы логики анвикшики и тарка. Панини (V в. до н. э.) развил вид логики (который имеет некоторое сходство с булевой логикой для его разработки грамматики санскрита. Логика, описанная Чанакья (350—283 гг. до н. э.) в его Артха-шастра, независима от анвикшики.
Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания, из этого проблемного поля и выделилась логика.
Само название школы «ньяя» значит «логика». Главным её достижением и была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе). Основным текстом школы были Ньяя-сутры Акшапады Гаутамы (II век н. э.). Поскольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания (четыре праманы): восприятие, умозаключение, сравнение и свидетельство. Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод.
Буддийская философия (не входившая в число шести ортодоксальных школ) была главным оппонентом ньяиков в логике. Нагарджуна, основатель мадхьямики («срединного пути»), развил рассуждение, известное как «катускоти», или тетралемма. Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания.
у Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Центральным пунктом их анализа было установление (определение) необходимой логической присущности (включённости в определение), «вьяпти», также известное как «неизменное следование» или «убеждение». Для этой цели они развили учение об «апоха» или различении, о правилах включения признаков в определение или исключения их из него.
Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Гангешей Упадхьяей из Митхилы, автора трактата «Таттвачинтамани» («Исполняющий желания драгоценный камень категорий»), который опирался на работы своих предшественников.
Логика в Китае
Средневековая логика
Логика в исламской философии
По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.).
Логика в средневековой Европе
Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
Логика в эпоху Возрождения и в Новое время
Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.
Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть Индукции(Обобщения) в том, что знания нужно возводить в принципы. Также необходимо искать причину своих ошибок.
В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
Современная логика
В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.
Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.
В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логического моделирования логических устройств и средств вычислительной техники.
В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.
В 80-ые годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения и разработка учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.