Логика

Грегор Рейш. «Логика представляет её центральные темы», Margarita Philosophica, 1503/08 (?). Две собаки veritas (с лат. — «истина») и falsitas (с лат. — «ложь») преследуют зайца problema (с лат. — «проблема»), логика, вооружённая мечом силлогизма, спешит позади. Слева внизу в гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию.

Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — нормативная наука о законах, формах и приемах интеллектуальной деятельности^[1].

Логика, как наука, возникла в недрах древнегреческой философии. Начало современной логики, построенной в форме исчисления, положил Г. Фреге в сочинении «Begriffsschrift» («Запись в понятиях», в другом переводе - «Исчисление в понятиях», 1879).^[2].

Формы и приемы интеллектуальной деятельности изучаются не только в логике (ещё например, в психологии, эпистемологии, психолингвистике), поэтому имеется более узкое понимание логики как науке о корректных рассуждениях, в которых основным является форма, а не содержание рассуждений^[3].

Изучение правил корректного мышления с применением символических представлений, является областью исследований символической логики. Представления правил и операций корректного мышления в виде формализованных структур исследуются в формальной логике. Формализованные структуры, отражающие формальные аспекты корректного мышления и удовлетворяющие требованиям к математическим структурам, а также другие близкие к ним математические структуры изучаются в математической логике^[2].

Символы применял ещё Аристотель, а также все последующие учёные-логики.^[4]. Иногда, термин ‘символическая логика’ используется как синоним ‘математическая логика’ ^[5]. Определение ‘формальная’ для логики, занимающейся анализом формальной стороной структуры высказываний и доказательств, было введено И. Кантом, для отграничения ее по главной особенности от других видов логик.^[4]

Математическая логика представляет собой раздел математики, объединяющий исследования логических проблем с применением математических средств, что позволяет изучать формальную сторону корректного связного мышления более точно. Именно, математическая логика в настоящее время понимается, как современная логика. ^[2] Поэтому, часто, в настоящее время, символьная, формальная и математическая логики используются, как синонимы, особенно с добавлением ‘современная’^{[источник не указан 19 дней]}.

Однако, вследствие теоремы Гёделя о неполноте, математическая логика не может дать исчерпывающего решения всех общелогических проблем^{[источник не указан 19 дней]}.

Поэтому исследования логических вопросов с использованием средств естественного языка в философии продолжаются, но уже дополнительно с применением идей и аппарата математической логики. Это позволяет прояснить основания логики более глубоко. Также это позволяет провести более глубокий и точный анализ и осмысление некоторых понятий и проблем философия. Такие исследования в философии дают новые импульсы к развитию современной логики. ^[4]

Логические исследования в современной философии представляют собой отдельные ее фрагменты и не образуют целостной области. Тем не менее, достаточно часто эти исследования объединяются в единый раздел, называемый философской логикой. ^[4] Одновременно, другие исследователи, под философской логикой, точнее, под философскими логиками понимают неклассические логики, в которых изучаются типы рассуждений, а также стороны познавательного процесса, требующие применение модальностей, не учитываемых, в классических логиках базирующихся на двузначном принципе. ^[2]

Поскольку новое знание получают посредством разума, логика также определяется как наука о формах и законах мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Поскольку мышление проявляется только в языке, то логика, исследуя законы мысли, обращается к языку как к единственному доступному ей материалу^[6]. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.

В любой науке логика служит одним из основных инструментов^[7]. Логика является подразделом не только философии, но и математики, а булева алгебра — одной из основ информатики^{[источник не указан 165 дней]}. Исторически логика изучалась как часть философии и риторики. Сейчас символическая логика также изучается как часть математики, информатики.

Основными разделами логики являются теория рассуждений (имеющая 2 варианта: теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогика и логическая методология^[8][1].

В связи с тем, что результаты мыслительной деятельности выражаются в языковой форме, исследования в логике сопряжены с изу­че­ни­ем язы­ко­вых кон­ст­рук­ций. Этим занимается логическая семиотика, которая включает в себя логическую синтактику, ло­ги­че­скую се­ман­ти­ку и логическую прагматику^[1].

Сущность логики[ | код]

Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления. Сфера конкретных интересов логики существенно менялась на протяжении её истории.

Значение слова[ | код]

Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»^[9]. В частности этим словом могут называться следующие вещи в:

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

Неформальная, формальная, символическая и диалектическая логика[ | код]

Неформальная логика (термин принят прежде всего в англоязычной литературе) — исследование аргументации в естественном языке. Одной из главных задач её является исследование логических ошибок — см. Логическая семантика, философская логика, теория аргументации, логический анализ языка. Любой вывод, сделанный на естественном языке, обладает чисто формальным содержанием (смысл рассуждения может быть разделён на форму мысли и собственно содержание), если можно показать, что он является частным применением абстрактного универсального правила, которое отвлекается от всякого конкретного предмета, свойства или отношения. Именно этот вывод с чисто формальным содержанием называют логическим выводом и основным предметом логики. Анализ вывода, который раскрывает это чисто формальное содержание, называется формальной логикой.

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

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

В рамках формальной логики имеется группа логик, именуемых неклассическими (иногда также используется термин «альтернативные логики»). Эта группа логик существенно отличается от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических следствий и логической истины^[10].

Теория рассуждений[ | код]

Важнейшим разделом логики яв­ля­ет­ся тео­рия рас­су­ж­де­ний, в которой наибольшее значение имеет теория детуктивных рассуждений. Здесь оп­ре­де­ля­ют­ся по­ня­тия ло­ги­че­ско­го за­ко­на и ло­ги­че­ско­го сле­до­ва­ния, из которых создаются правила вывода. Использование этих правил гарантирует по­лу­че­ние ис­тин­но­го за­клю­че­ния при применении истинных предпосылок. Справедливость этих пра­вил за­ви­сит исключительно от их ло­гической фор­мы и нисколько не за­ви­сит от со­дер­жа­ния данных рас­су­ж­де­ний^[1].

Различные логические теории рассуждений различаются типами ана­ли­зи­руе­мых в них рас­су­ж­де­ний, ло­гическими пра­ви­ла­ми и ло­гическими за­ко­на­ми^[1]..

По глу­би­не ана­ли­за вы­ска­зы­ва­ний различают ло­ги­ку вы­ска­зы­ва­ний, или про­по­зи­цио­наль­ную логику, и ло­ги­ку предикатов, включающую в себя квантор­ные тео­рии. В отличие от логики предикатов логика высказываний изучает ти­пы рас­су­ж­де­ний, не за­ви­сящие от внутренней струк­ту­ры про­стых пред­ло­же­ний^[1]. Логику предикатов первого порядка расширяют логики высшего порядка.

Законы логики[ | код]

Закон логики — это общезначимый принцип какой-либо логической теории, формула которого принимает значение «истина» при любых допустимых в этой теории значениях нелогических символов. В логических исчислениях их теоремы, доказуемые с использованием дедуктивных средств исчисления, тоже признаются логическими законами. В традиционной логике было четыре основных логических закона^[11]:

• Закон тождества постулирует, что в процессе рассуждения понятия и суждения должны употребляться в одном и том же смысле^[12].
• Закон непротиворечия гласит, что два противоречащих суждения не могут быть одновременно истинными. По крайней мере одно из них ложно^[13]
• Закон достаточного основания говорит о том, что каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным^[14].
• Закон исключённого третьего утверждает, что любое высказывание или истинно, или ложно, третьего не дано^[15].

В некоторых теориях современной логики применимы не все традиционные логические законы^[11].

Металогика[ | код]

Метатеоретические проблемы логики[ | код]

• Непротиворечивость формализованных теорий
• Полнота формализованных теорий
• Разрешимость формализованных теорий
• Независимость аксиом формализованных теорий
• Корректность формальной системы
• Определимость
• Сравнительный анализ логических теорий^{[источник не указан 277 дней]}

Концепции логики[ | код]

Концепции логики^{[источник?]} различаются между собой прежде всего по способам решения метатеоретических проблем логики, связанных с основаниями математики:

• Психологизм
• Логицизм
• Формализм (математика)
• Интуиционизм
• Конструктивная математика
• Консерватизм (логика)^{[источник не указан 277 дней]}

История логики[ | код]

Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и др. — нередко применяются каждым человеком в его мыслительной деятельности неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира и многое другое^[16]. Однако нестрогость мышления ещё не значит, что оно не подчинено логике^[17].

Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты не слишком достоверны (особенно в случае Индии). Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков. Можно выделить следующие исторические и региональные формы логики (приведены также их наименования, исторически существовавшие и принятые в литературе по истории формальной логики)^{[источник не указан 277 дней]}:

• Древнекитайская логика
• Индийская логика
• Европейская и ближневосточная логика: традиционная логика (в широком смысле)
  • Античная и раннесредневековая логика: диалектика
  • Средневековая логика
    • Арабская и еврейская средневековая логика
    • Восточнохристианская средневековая логика
    • Западноевропейская средневековая логика: схоластическая логика, диалектика
  • Логика европейского Возрождения; диалектика
  • Логика Нового времени: традиционная логика (в узком смысле), формальная логика
• Современная логика (общемировая, со второй половины XIX века): математическая логика, символическая логика, логистика (последнее — как правило, в западной литературе).

Логика в своём развитии прошла три порога:

• порог формализации рассуждений (во всех трёх традициях)
• введение условных (символических, буквенных и числовых) обозначений (только европейская традиционная логика)
• научная революция, с которой началась современная логика, — математизация (внесение в логику математических методов).

Логика в Древнем Китае[ | код]

Основные методологические исследования логической тематики древнекитайской философии были направлены на логико-лингвистический анализ и проблемы полемики, в их числе определение терминов, ие­рар­хи­за­ция ка­те­го­рий, вы­яв­ле­ние па­ра­док­сов, клас­си­фи­ка­ция пра­виль­ных вы­ска­зы­ва­ний и многое другое. В целом эти исследования носят протологический характер, относясь к диалектике в изначальном смысле этого слова (использовался термин «бянь», который мог означать, и крас­но­ре­чие, и спор, и диа­лек­ти­ка). Важнейший вклад сделан представителями «шко­лы имён» (мин цзя), шко­лы мо­и­стов (мо цзя) и философом Сюнь-цзы^[1].

Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо»; V—IV вв. до н. э) был известен как основатель моизма (школы мо цзя), представители которой занимались поиском источников достоверного рассуждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. В процессе анализа семантики языка моисты разработали метод классификации имён по степени их общности и деления вещей по видам (метод «трёх правил», «трёх фа»).

Одно из ответвлений моизма, логики (мин цзя, школа имён, V—III вв. до н. э), приступило к исследованию собственно формальной логики (её представители подошли к открытию категорического силлогизма ранее или одновременно с её формулировкой Аристотелем).

Позднее, при династии Цинь, эта линия исследований исчезла в Китае, поскольку тогда философия легизма жестоко подавляла все остальные философские школы. Вновь логика в Китае появилась только с проникновением туда индийской логики буддистов и далее сильно отстала от развития европейской и ближневосточной логики.^{[источник не указан 277 дней]}

Индийская логика[ | код]

Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания, из этого проблемного поля и выделилась логика.

Само название школы «ньяя» значит «логика». Главным её достижением была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе). Основным текстом школы были Ньяя-сутры Акшапады Гаутамы (II век н. э.). Поскольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания (четыре праманы): восприятие, умозаключение, сравнение и свидетельство. Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод.

Буддийская философия (не входившая в число шести ортодоксальных школ) была главным оппонентом ньяиков в логике. Нагарджуна, основатель мадхьямики («срединного пути»), развил рассуждение, известное как «чатушкоти», или тетралемма. Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания.

У Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Центральным пунктом их анализа было установление (определение) необходимой логической присущности (включённости в определение), «вьяпти», также известное как «неизменное следование» или «убеждение». Для этой цели они развили учение об «апоха» или различении, о правилах включения признаков в определение или исключения их из него.

Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Ганешей Упадхьяей из Митилы, автора «Таттвачинтамами» («Сокровище мысли о реальности»). Впрочем, и он опирался на работы своих предшественников X века.^{[источник не указан 277 дней]}

Европейская и ближневосточная логика[ | код]

В истории европейской логики можно выделить этапы:^{[источник не указан 277 дней]}

• аристотелевский (традиционный) продолжался сотни лет, в течение которых логика развивалась очень медленно;
• схоластический этап развития, пик которого приходится на XIV век;
• нововременной этап.

Логика античности[ | код]

Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».

После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.^{[источник не указан 277 дней]}

Логика в Средневековье[ | код]

По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.^{[источник не указан 277 дней]}

Логика в эпоху Возрождения и в Новое время[ | код]

Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.

Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок.

В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.^{[источник не указан 277 дней]}

Современная логика[ | код]

В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.

В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.

В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

В 80-е годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения, и разработке учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.^{[источник не указан 277 дней]}

Основные понятия науки логики[ | код]

Понятия логики, необходимые для понимания предмета:^[18]

Традиционная логика[ | код]

Под традиционной логикой понимаются системы дедуктивной логики, не использующие формализованные языки математической логики. Её сущность содержится в силлогистике^[19]. Развивалась с IV века до н. э. до конца XIX - начала XX века^[20].

Классическая математическая логика[ | код]

Классическая традиционная логика создавалась в первую очередь для нужд математики поэтому её называют также математической логикой^[1].

Классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном для своих целей языке, использует предметное мышление. В ней не предполагается использование контроля прагматических ошибок, погрешностей, нелинейностей используемых систем отсчёта, пограничных ошибок описания, релятивизма масштабирования (относительность предметов и их пространственных характеристик, к примеру: человек велик относительно муравья, но в то же время мал относительно слона) и т. п. Вследствие чего принято считать нормальным факт наличия в её языке парадоксов и априорных утверждений, кустовых эффектов словаря и т. п.

Аппарат математической логики[ | код]

Этот раздел статьи ещё не написан. Согласно замыслу одного или нескольких участников Википедии, на этом месте должен располагаться специальный раздел. Вы можете помочь проекту, написав этот раздел.

Исчисления и логические методы[ | код]

Этот раздел статьи ещё не написан. Согласно замыслу одного или нескольких участников Википедии, на этом месте должен располагаться специальный раздел. Вы можете помочь проекту, написав этот раздел.

• Разрешимость
• Семантическое древо
• Таблицы Бета
• Аксиоматика
• Натуральный вывод
• Исчисление секвенций

Логическая семантика[ | код]

Этот раздел статьи ещё не написан. Согласно замыслу одного или нескольких участников Википедии, на этом месте должен располагаться специальный раздел. Вы можете помочь проекту, написав этот раздел.

• Алгебраические семантики
• Теоретико-множественные семантики
• Реляционные семантики возможных миров
• Проблема содержательности семантик логических систем
• Категорная семантика
• Теория семантических категорий^{[источник не указан 277 дней]}

Теория моделей[ | код]

Этот раздел статьи ещё не написан. Согласно замыслу одного или нескольких участников Википедии, на этом месте должен располагаться специальный раздел. Вы можете помочь проекту, написав этот раздел.

Теория доказательств[ | код]

Этот раздел статьи ещё не написан. Согласно замыслу одного или нескольких участников Википедии, на этом месте должен располагаться специальный раздел. Вы можете помочь проекту, написав этот раздел.

Неклассические логики[ | код]

Этот раздел статьи ещё не написан. Согласно замыслу одного или нескольких участников Википедии, на этом месте должен располагаться специальный раздел. Вы можете помочь проекту, написав этот раздел.

Логики, отменяющие закон исключённого третьего[ | код]

• Интуиционистская логика
• Конструктивная логика
• Логика квантовой механики

Многозначные логики[ | код]

• Многозначная логика
  • Двузначная логика
  • Трёхзначная логика

Недедуктивные логические теории[ | код]

• Индуктивная логика
• Вероятностная логика
• Логика решений
• Логика нечётких понятий (логика нечётких множеств, нечёткая логика)
• Аналогия (умозаключение по аналогии).

Другие неклассические логики[ | код]

• Деонтическая логика (от др.-греч. δέον — долг и логика; ло́гика норм, нормати́вная ло́гика) — раздел модальной логики. Оперирует понятиями: обязательство, разрешение, норма. "Ты обязан это сделать" ("Твой долг это сделать") либо "Ты можешь это сделать".
• Комбинаторная логика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений^[21][22]
• Категориальная логика ^{[источник не указан 277 дней]}
• Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.^{[источник не указан 277 дней]}

Модальная логика[ | код]

Мода́льная ло́гика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности (модальные операторы, другие названия: модальные понятия, модальные отношения, модальные характеристики, оценки).

Логическая теория является модальной, если

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

См. также[ | код]

• Список логических символов
• Логический парадокс
• Определение
• Классификация
• Абстракция
• Идеализация
• Аксиоматизация
• Формализация
• Аргументация
• Методология науки
• Логическое программирование
• Логика в информатике
• Доказательное программирование
• Автоматическое доказательство теорем
• Когнитивная психология
• Аналитическая философия
• Динамическая логика
• Трансцендентальная логика
• Философская логика

Примечания[ | код]

Литература[ | код]

• Логика / В. А. Бочаров // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.

Исследования[ | код]

• Гуссерль Э. Логические исследования. Т. 1 // Философия как строгая наука. — Новочеркасск: Сагуна, 1994. — 357 с. — ISBN ISBN 5-7593-0138-1.
• Васильев Н. А. Воображаемая логика. Избранные труды. — Наука, 1989. — 264 с. — 6200 экз. — ISBN 5-02-007946-4.

Учебная и справочная литература[ | код]

• Гетманова А. Д. Учебник по логике. — М.: Владос, 1995. — 303 с. — ISBN 5-87065-009-7
• Кондаков Н. И.: Логический словарь-справочник. — М.: Наука, 1975. — 720 с.
• Кондаков Н. И. Введение в логику. — М.: Наука, 1967 на сайте Руниверс
• Ивлев Ю. В. Учебник логики: Семестровый курс: Учебник. — М.: Дело, 2003. — 208 с — ISBN 5-7749-0317-6
• Бочаров В. А., Маркин В. И. Основы логики: Учебник. — М.: ИНФРА-М, 2001. — 296 с. — ISBN 5-16-000496-3
• Бочаров В. А., Маркин В. И. Глава I. Предмет и основные понятия логики // Основы логики: учебник. — М.: ИНФРА-М, 1998. — С. 224. — 9 с. — ISBN 5-86225-595-8. Архивная копия от 7 марта 2016 на Wayback Machine
• Ивин А. А. Логика: Учебное пособие. — Изд. 2-е. — М.: Знание, 1998. — (На портале «Философия в России»; на сайте Славы Янко)
• Ивин А. А., Никифоров А. Л. Словарь по логике — М.: Туманит, ВЛАДОС, 1997. — 384 с — ISBN 5-691-00099-3.
• Горский Д. П. Логика: Учебное пособие для педагогических училищ.  (недоступная ссылка) — Изд. 3-е. — М.: Учпедгиз, 1961. — 160 с.
• Челпанов Г. И. Учебник логики. — М., 1994.
• Формальная логика / Под ред. И. Я. Чупахина, И. Н. Бродского. — Л.: ЛГУ, 1977. — 357 с.

Литература по истории логики[ | код]

• Бажанов В. А. История логики в России и СССР. — М.: Канон+, 2007. — 336 с. — ISBN 5-88373-032-9
• Маковельский А. О. История логики. — М., 1967. — 504 с.
• Попов П. С. История логики нового времени. — М., Издательство МГУ, 1960.
• Стяжкин Н. И. Формирование математической логики. — М., 1967.
• Scholtz H. Geschichte der Logik, 1931. (Concise History of Logic. — New York, 1961).

Литература по китайской логике

• Спирин B. C. О «третьих» и «пятых» понятиях в логике древнего Китая // Дальний Восток. Сборник статей по филологии, истории, философии. — М., 1961.
• Кроль Ю. Л. Спор как явление культуры древнего Китая // Народы Азии и Африки. — 1987. — № 2.
• Крушинский А. А. Имена и реалии в древнекитайской логике и методологии (Обзор) // Современные историко-научные исследования: наука в традиционном Китае. — М., 1987.
• Пань Шимо (КНР). Логика Древнего Китая (краткий очерк) // Философские науки. — 1991. — № 12.
• Чжоу Юньчжи. Основные вехи развития древнекитайской логики мин бянь, её главные особенности и реальные достижения // Рационалистическая традиция и современность. Китай. 1993. №. — С. 152—178.
• Крушинский А. А. Логика «И цзина». Дедукция в древнем Китае. — М., 1999.
• Кварталова Н. П. Логические идеи трактата «Гунсунь Лун-цзы» // Человек и духовная культура Востока. Альманах. Вып. I. — М., 2003. — С. 167—172.
• Кобзев А. И. Школа имен (мин цзя): коллизия логики и диалектики // Китай в диалоге цивилизации: К 70-летию академика М. Л. Титаренко. — М. 2004. — С. 550—557.

Ссылки[ | код]

• Институт Логики, Когнитологии и Развития Личности (ИЛКиРЛ)
• Федеральный образовательный портал «Социально-гуманитарное и политологическое образование». Раздел «Философия». Подраздел «Логика»
• Логика в Электронной библиотеке по философии
• Философия в России — философский портал philosophy.ru
• История античной культуры > История и культура Древней Греции > Подвиг Сократа

В сносках к статье найдены неработоспособные викиссылки. Исправьте короткие примечания, установленные через шаблон {{sfn}} или его аналоги, в соответствии с инструкцией к шаблону, или добавьте недостающие публикации в раздел источников. Список сносок: Кондаков, 1971