ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ

Все темы данного раздела:

МЫШЛЕНИЕ КАК ПРЕДМЕТ ИЗУЧЕНИЯ ЛОГИКИ
Познание как отражение действительности Познание есть диалектический процесс отражения мира в со­знании людей. Это движение мысли от незнания к знанию, от неполного и неточного знания к бо

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

Теоретическое и практическое значение логики
Можно логично рассуждать, правильно строить свои умозак­лючения, опровергать доводы противника и не зная правил логи­ки, подобно тому как нередко люди выражают свои мысли на языке, не зная его грам

ЛОГИКА И ЯЗЫК
Предметом изучения логики являются формы и законы пра­вильного мышления. Мышление есть функция человеческого мо­зга. Труд способствовал выделению человека из среды животных, явился фундаме

Семантические категории
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения

ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
Понятие является одной из форм абстрактного мышления. Конкретные предметы и их свойства отражаются с помощью форм чувственного познания — ощущений, восприятий, предста­влений. Например, в данном ап

ВИДЫ ПОНЯТИЙ
  Понятия можно классифицировать по объему и по содержа­нию. По объему понятия делятся на единичные, общие и пустые. Объем единичного понятия составляет одноэлементный

Конкретные и абстрактные понятия
Конкретными называются понятия, в которых отражены од­ноэлементные или многоэлементные классы предметов (как материальные, так и идеальные). К их числу относятся понятия: «дом», «свидетель»,

Относительные и безотносительные понятия
Относительные — такие понятия, в которых мыслятся пред­меты, существование одного из которых предполагает сущест­вование другого («дети» — «родители», «ученик» — «учитель», «начальник» — «по

Положительные и отрицательные понятия
Положительные понятия характеризуют в предмете наличие того или иного качества или отношения. Например, грамотный человек, алчность, отстающий ученик, красивый поступок, эксп­луататор и т. д

Собирательные и несобирательные понятия
Собирательными называются понятия, в которых группа од­нородных предметов мыслится как единое целое (например, «полк», «стадо», «стая», «созвездие»). Проверяем так. Например, об одном дереве

Типы несовместимости: соподчинение, противоположность, противоречие
Соподчинение (координация) — это отношение между объема­ми двух или нескольких понятий, исключающих друг друга, но принадлежащих некоторому, более общему родовому понятию (например, «ель», «

ОПРЕДЕЛЕНИЕ ПОНЯТИЙ
  Определение (или дефиниция) понятия есть логическая опера­ция, которая раскрывает содержание понятия либо устанавливает значение термина. С помощью определения

Реальные и номинальные определения
Если определяется понятие, то определение будет реальным. Если определяется термин, обозначающий понятие, то определе­ние будет номинальным. Из вышеприведенных определений (1) и (4)—э

Использование определений; понятий в процессе обучения
Определение через род и видовое отличие и номинальное определение широко используются в процессе обучения. Приве­дем ряд примеров, взятых из школьных учебников. К определени­ям через ближайший р

Правила явного определения. Ошибки, возможные в определении
1. Определение должно быть соразмерным, т. е. объем опре­деляющего понятия должен быть равен объему определяемого понятия.

Неявные определения
Вотличие от явных определений, имеющих структуру в неявных определениях просто на место Dfn подставляется контекст,

Определение через аксиомы
В современной математике и в математической логике широ­ко применяется так называемый аксиоматический метод. Приве­дем пример6. Пусть дана система каких-то элементов (обознача­емых х,

Приемы, сходные с определением понятий
Всем понятиям определение дать невозможно (к тому же в этом нет необходимости), поэтому в науке и в процессе обуче­ния используются другие способы введения понятий — приемы, сходные с определением:

Значение определений в науке и в рассуждении
Кроме учета формально-логических требований при опреде­лении понятия надо учитывать и методологические требования к определению. Определение понятия можно сформулировать после всестороннего изучени

Правила деления понятий
Чтобы деление было правильным, необходимо соблюдать следующие правила. 1. Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Например, выс

Виды деления: по видообразующему признаку и дихотомическое деление
При делении понятия по видообразующему признаку основа­нием деления является тот признак, по которому образуются видовые понятия; этот признак является видообразующим. На­пример, по величине углы д

ОГРАНИЧЕНИЕ И ОБОБЩЕНИЕ ПОНЯТИЙ
  Предположим, мы знаем, что некто — ученый, и хотим уточ­нить наши знания о нем. Уточняем: это русский ученый, выда­ющийся русский ученый-физиолог И. П. Павлов. Произведенна

ОБЩАЯ ХАРАКТЕРИСТИКА СУЖДЕНИЯ
Суждение — форма мышления, в которой что-либо утверж­дается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между пред­метами. Пр

Суждение и предложение
Понятия в языке выражаются одним словом или группой слов. Суждения выражаются повествовательными предложени­ями, которые содержат какое-то сообщение, информацию. На­пример, «Буря мглою небо кроет»,

Виды простых суждений
1. Суждения свойства (атрибутивные). В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «У розы приятный за

Распределенность терминов в категорических суждениях
В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исклю

СЛОЖНОЕ СУЖДЕНИЕ И ЕГО ВИДЫ
  Сложные суждения образуются из простых суждений с помо­щью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания. Таблицы истинности этих логическ

Способы отрицания суждений
Два суждения называются отрицающими или противоречащи­ми друг другу, если одно из них истинно, а другое ложно (т. е. они не могут быть одновременно истинными или одновременно ложными)

Отрицание сложных суждений
Чтобы получить отрицание сложных суждений, имеющих в своем составе лишь операции конъюнкции и дизъюнкции, необ­ходимо поменять знаки операций на противоположные (т. е. конъюнкцию на дизъюнкцию, и н

ВЫРАЖЕНИЕ ЛОГИЧЕСКИХ СВЯЗОК (ЛОГИЧЕСКИХ ПОСТОЯННЫХ) В ЕСТЕСТВЕННОМ ЯЗЫКЕ
В мышлении мы оперируем не только простыми, но и слож­ными суждениями, образуемыми из простых посредством логи­ческих связок (или операций) — конъюнкции, дизъюнкции, имп­ликации, эквиваленции, отри

ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ ПО ЗНАЧЕНИЯМ ИСТИННОСТИ
  Суждения, как и понятия, делятся на сравнимые (имеют об­щий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые. В математической

ДЕЛЕНИЕ СУЖДЕНИЙ ПО МОДАЛЬНОСТИ
  В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также сложные сужде­ния, составленные из простых. В них утверждается или отрицае

ПОНЯТИЕ О ЛОГИЧЕСКОМ ЗАКОНЕ
Фундамент материалистической диалектики — наиболее глу­бокого и всестороннего учения о развитии — составляют основ­ные законы: закон взаимного перехода количественных и качест­венных изменений, зак

Закон тождества
Закон тождества является одним из законов правильного мышления, соблюдение этого закона гарантирует определен­ность и ясность мышления. Закон формулируется так: «В процес­се определенного рассуж

Закон непротиворечия
Диалектика исходит из реального онтологического сущест­вования диалектических противоречий во всех предметах дейст­вительности. Но ставя задачу отобразить их, мы должны в силу законов отражения учи

Закон исключенного третьего
Для двузначной логики онтологическим аналогом этого закона является то, что в предмете указанный признак либо присутствует, либо нет. В книге «Метафизика» Аристотель сформулировал закон ис­ключенно

Закон достаточного основания
Этот закон формулируется так: «Всякая истинная мысль должна быть достаточно обоснованной». Речь идет об обоснова­нии именно и только истинных мыслей; ложные же мысли до­казать нельзя. Есть х

ИСПОЛЬЗОВАНИЕ ФОРМАЛЬНО-ЛОГИЧЕСКИХ ЗАКОНОВ В ОБУЧЕНИИ
Формально-логические законы действуют во всяком мышле­нии, но в обучении особенно необходимо их сознательное исполь­зование, поскольку обучение направлено на формирование пра­вильного мышления у уч

ОБЩЕЕ ПОНЯТИЕ ОБ УМОЗАКЛЮЧЕНИИ
  Формами мышления являются понятия, суждения и умозак­лючения. Опосредованно, с помощью многообразных видов умо­заключений, мы можем получать новые знания. Построить умо­заключение м

Понятие логического следования
Выведение следствий из данных посылок — широко распрост­раненная логическая операция. Как известно, условиями истин­ности заключения являются истинность посылок и логическая правильность вывода. Ин

ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
Дедуктивные умозаключения— те умозаключения, у которых между посылками и заключением имеется отношение логичес­кого следования. Определение дедуктивного умозаключения, дан

Понятие правила вывода
Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила вывода или правила преобразования суждений позволяют переходить от посылок (суждений) опред

Превращение
Превращение — вид непосредственного умозаключения, при котором изменяется качество посылки без изменения ее количест­ва, при этом предикат заключения является отрицанием пред­иката посылки.

Противопоставление предикату
Это такое непосредственное умозаключение, при котором (в заключении) предикатом является субъект, субъектом — поня­тие, противоречащее предикату исходного суждения, и связка меняется на противополо

Фигуры категорического силлогизма
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина М в посылках. Различаются четыре фигуры (рис. 44).

Модусы категорического силлогизма
Модусами фигур категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качест­венной и количественной характеристикой входящих в них посы­лок и заключения.

I. Правила терминов
1. В каждом силлогизме должно быть только три термина (S, Р, М). Ошибка называется «учетверение терминов». Ошибочное умозаключение:   Движение вечно. Хождение

СОКРАЩЕННЫЙ КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ (ЭНТИМЕМА)
  Энтимемой, или сокращенным категорическим силлогизмом, называется силлогизм, в котором пропущена одна из посылок или заключение. Термин «энтимема» в переводе с грече

СЛОЖНЫЕ И СЛОЖНОСОКРАЩЕННЫЕ СИЛЛОГИЗМЫ (ПОЛИСИЛЛОГИЗМЫ, СОРИТЫ, ЭПИХЕЙРЕМА)
  Полисиллогизмом (сложным силлогизмом) называются два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них

Формализация эсихейрем с общими посылками
Эпихейремой в традиционной логике называется такой слож­носокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы). Сх

УСЛОВНЫЕ УМОЗАКЛЮЧЕНИЯ
  Чисто условным умозаключением называется такое опосред­ствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, име­ющее с

Условно-категорические умозаключения
Условно-категорическое умозаключение — это такое дедук­тивное умозаключение, в котором одна из посылок — условное суждение, а другая — простое категорическое суждение. Оно имеет два

Простая конструктивная дилемма
Это умозаключение состоит из двух посылок. В первой посыл­ке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке, которая является дизъюн­ктивным сужден

Сложная конструктивная дилемма
Это умозаключение строится из двух посылок. В первой посылке имеются два основания, из которых вытекают соответ­ственно два следствия; во второй посылке, которая представляет собой дизъюнктивное су

Сложная деструктивная дилемма
Дилемма такого вида содержит одну посылку, состоящую из двух условных суждений с разными основаниями и разными следствиями; вторая посылка есть дизъюнкция отрицаний обоих следствий; заключение явля

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

Логическая природа индукции
Дедуктивные умозаключения позволяют выводить из истин­ных посылок при соблюдении соответствующих правил истинные заключения. Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдоп

Математическая индукция
Один из важнейших методов доказательства в математике основан на аксиоме (принципе) математической индукции. Пусть 1) свойство А имеет место при n — 1; 2) из предположения о том, что

ВИДЫ НЕПОЛНОЙ ИНДУКЦИИ
  Неполная индукция применяется в тех случаях, когда мы, во-первых, не можем рассмотреть все элементы интересующего нас класса явлений; во-вторых, если число объектов либо бес­конечно

II вид. Индукция через анализ и отбор фактов
В популярной индукции наблюдаемые объекты выбираются случайно, без всякой системы. В индукции через анализ и отбор фактов стремятся исключить случайность обобщений, так как изучаются планомерно ото

Понятие вероятности
Различаются два вида понятия «вероятность» — объективная и субъективная вероятность. Объективная вероятность — понятие, характеризующее количественную меру возможности появ­ления некоторого

III вид. Научная индукция
Научной индукцией называется такое умозаключение, в кото­ром на основании познания необходимых признаков или необ­ходимой связи части предметов класса делается общее заключе­ние обо всех пре

Понятие причины и следствия
Причина — явление или совокупность явлений, которые непо­средственно обусловливают, порождают другое явление (следст­вие). Причинная связь является всеобщей, так как все явления, да

Методы установления причинной связи
Причинная связь между явлениями определяется посредством ряда методов, описание и классификация которых восходит к Ф. Бэкону и которые были развиты Дж. Ст. Миллем. Метод сходства. Допустим

ДЕДУКЦИЯ И ИНДУКЦИЯ В УЧЕБНОМ ПРОЦЕССЕ
  Как в любом процессе мышления (научного или обыденного), так и в процессе обучения дедукция и индукция взаимосвязаны. «Индукция и дедукция связаны между собой столь же необ­ходимым

УМОЗАКЛЮЧЕНИЕ ПО АНАЛОГИИ И ЕГО ВИДЫ. ИСПОЛЬЗОВАНИЕ АНАЛОГИЙ В ПРОЦЕССЕ ОБУЧЕНИЯ
  Термин «аналогия» означает сходство двух предметов22 (или двух групп предметов) в каких-либо свойствах или отношениях. Умозаключение по аналогии — один из самых древних в

Строгая аналогия
Характерным признаком, отличающим строгую аналогию от нестрогой и ложной, является наличие необходимой связи общих признаков с переносимым признаком. Схема строгой аналогии такова: Предмет

Нестрогая аналогия
В отличие от строгой аналогии нестрогая аналогия дает не достоверное, а лишь вероятное заключение. Если ложное сужде­ние обозначить через 0, а истину — через 1, то степень вероят­ности заключений п

Ложная аналогия
При нарушении указанных выше правил аналогия может дать ложное заключение, т. е. стать ложной. Вероятность заключения по ложной аналогии равна 0 (Р (а) = 0). Ложные аналогии иногда делаются

Использование аналогий в процессе обучения
Аналогии используются на уроках по всем школьным дисцип­линам. Мы приведем лишь некоторые примеры использования аналогий на уроках истории, физики, астрономии, биологии, математики. На уро

ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА
Познание отдельных предметов, их свойств происходит по­средством форм чувственного познания (ощущений и воспри­ятий). Мы видим, что этот дом еще не достроен, ощущаем вкус горького лекарства и т. д.

ПРЯМОЕ И НЕПРЯМОЕ (КОСВЕННОЕ) ДОКАЗАТЕЛЬСТВО
  Доказательства по форме делятся на прямые и непрямые (косвенные). Прямое доказательство идет от рассмотрения ар­гументов к доказательству тезиса, т. е. истинность тезиса непо­средст

ПОНЯТИЕ ОПРОВЕРЖЕНИЯ
  Опровержение — логическая операция установления ложно­сти или необоснованности ранее выдвинутого тезиса. Опровержение должно показать, что: 1) неправильно постро­ено

II. Критика аргументов
Подвергаются критике аргументы, которые были выдвинуты оппонентом в обоснование его тезиса. Доказывается ложность или несостоятельность этих аргументов. Ложность аргументов не означает лож

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

ЛОГИЧЕСКИЕ ОШИБКИ, ВСТРЕЧАЮЩИЕСЯ В ДОКАЗАТЕЛЬСТВЕ И ОПРОВЕРЖЕНИИ
  Если будет нарушено хотя бы одно из перечисленных ниже правил, то могут произойти ошибки, относящиеся к доказыва­емому тезису, аргументам или к самой форме доказательства.

Ошибки, совершаемые относительно доказываемого тезиса
1. «Подмена тезиса». Согласно правилам доказательного рассуждения, тезис должен быть ясно сформулирован и оставать­ся одним и тем же на протяжении всего доказательства или опровержения. При

Ошибки в основаниях (аргументах) доказательства
1. Ложность оснований («Основное заблуждение»). В качестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные. Ошибка может быть непреднамеренн

Ошибки в форме доказательства
1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называ­емая «не следует». Иногда вместо правильного доказательства аргументы со

ПОНЯТИЕ О СОФИЗМАХ И ЛОГИЧЕСКИХ ПАРАДОКСАХ
  Непреднамеренная ошибка, допущенная человеком в мышле­нии, называется паралогизмом. Преднамеренная ошибка (как уже не раз отмечалось), совершаемая с целью запутать противника

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

Парадоксы теории множеств
В письме Готтлобу Фреге от 16 июня 1902 г. Бертран Рассел сообщил о том, что он обнаружил парадокс множества всех нормальных множеств (нормальным множеством называется множество, не содержащее себя

ДОКАЗАТЕЛЬСТВО И ДИСКУССИЯ
  Роль доказательства в научном познании и дискуссиях сводит­ся к подбору достаточных оснований (аргументов) и к показу того, что из них с логической необходимостью следует тезис дока

ГИПОТЕЗА КАК ФОРМА РАЗВИТИЯ ЗНАНИЙ
  В науке, обыденном мышлении мы идем от незнания к зна­нию, от неполного знания к более полному; нам приходится выдвигать и затем обосновывать различные предположения для объяснения

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

ПОСТРОЕНИЕ ГИПОТЕЗЫ И ЭТАПЫ ЕЕ РАЗВИТИЯ
  Гипотезы строятся тогда, когда возникает потребность объяс­нить ряд новых фактов, которые не укладываются в рамки известных ранее научных теорий или других их объяснений. Вначале пр

СПОСОБЫ ПОДТВЕРЖДЕНИЯ ГИПОТЕЗ
  1. Самый действенный способ подтверждения гипотезы — обнаружение предполагаемого объекта, явления или свойства, которое служит причиной рассматриваемого явления. Примерами

ОПРОВЕРЖЕНИЕ ГИПОТЕЗ
  Опровержение гипотез осуществляется путем опровержения (фальсификации) их следствий. При этом может обнаружиться, что многие или все необходимые следствия рассматриваемой гипотезы н

ЛОГИЧЕСКАЯ СТРУКТУРА ВОПРОСА
  Вопрос в познании играет особенно большую роль, так как все познание мира начинается с вопроса, с постановки проблемы.Проблемы перед познанием, в том числе перед различными науками,

Виды вопросов
Обычно различают два вида (типа) вопросов: I тип — уточняющие (определенные, прямые, или «ли» вопросы). Например: «Верно ли, что И. С. Васильев успешно защитил кандидатскую д

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

Правила постановки простых и сложных вопросов
1. Корректность постановки вопроса. Итак, вопросы должны быть правильно поставленными, корректными. Провокационные и неопределенные вопросы недопустимы. 2. Предусмотренные альтернативы отв

Логическая структура и виды ответов
1. Ответы на простые вопросы. Ответ на простой вопрос первого вида (уточняющий, определенный, прямой, «ли»-вопрос) предполагает одно из двух: «да» или «нет». Например, «Является ли Александр

Постановка вопросов в процессе проблемного обучения
Под проблемным обучением понимается такое изучение мате­риала, которое вызывает в сознании учащихся познавательные задачи и проблемы, напоминающие научный поиск3. Разрешение этих проблем

В НАЧАЛЬНОЙ ШКОЛЕ
  Большое значение в процессе обучения придавал логике чешс­кий педагог Я. А. Коменский. Он предлагал знакомить учащихся с краткими правилами умозаключений, подкреплять эти правила яр

РАЗВИТИЕ ЛОГИЧЕСКОГО МЫШЛЕНИЯ МЛАДШИХ ШКОЛЬНИКОВ
  В процессе обучения оперированию понятиями отводится ведущая роль. В третьем классе начальной школы на уроках природоведения учащимся даются простейшие, доступные для их понимания о

Развитое логического мышления на уроках математики
Математика способствует развитию творческого мышления, заставляя учащихся искать решения нестандартных задач, раз­мышлять над парадоксами, анализировать содержание условий теорем и сути их доказате

Развитие логического мышления на уроках истории
В начальной школе при изучении материала по истории при­меняются различные приемы, способствующие развитию мышле­ния, в первую очередь наглядные пособия: картины, диапозити­вы, рисунки на доске, ап

Логика в Древней Индии
История логики Индии связана с развитием индийской фило­софии. Древнейший литературный памятник Индии — Веды (II — начало I тысячелетия до н. э.), а наиболее древняя его часть — Ригведа. С целью ра

Логика в Древней Греции
В Древней Греции логическую форму доказательства в виде цепи дедуктивных умозаключений мы встречаем в элейской шко­ле (у Парменида и Зенона). Гераклит Эфесский выступает с уче­нием о всеобще

Логика в средние века
Средневековая логика (VI—XV вв.) изучена еще недостаточ­но. В средние века теоретический поиск в логике развернулся главным образом по проблеме истолкования природы общих понятий. Так называемые ре

РАЗВИТИЕ ЛОГИКИ В СВЯЗИ С ПРОБЛЕМОЙ ОБОСНОВАНИЯ МАТЕМАТИКИ
  Немецкий математик и логик Готтлоб Фреге (1848—1925) предпринял попытку свести математику к логике. С этой целью в первой своей работе по математической логике «Исчисление понятий»

МНОГОЗНАЧНЫЕ ЛОГИКИ
Если в двузначной логике высказывание бывает истинным или ложным, то в многозначных логиках число значений истинности аргументов и функций может быть любым конечным и даже бесконечным. В настоящем

Трехзначная система Рейтинга
В двузначной логике из закона исключенного третьего выво­дятся: 1)2)

Бесконечнозначная логика как обобщение многозначной системы Поста
Исходя из системы Рщ Поста, мы (А. Г.) строим бесконечнозначную систему Gх0. Значениями истинности являются 1 (ис­тина), 0 (ложь) и все дробные числа в ин

ИНТУИЦИОНИСТСКАЯ ЛОГИКА
  Интуиционистская логика построена в связи с развитием ин­туиционистской математики. Интуиционистская школа основана в 1907 г. голландским математиком и логиком Л. Брауэром (1881—196

КОНСТРУКТИВНЫЕ ЛОГИКИ
  Конструктивная логика, отличная от логики классической, своим рождением обязана конструктивной математике. Конст­руктивная математика может быть кратко охарактеризована как наука о

Конструктивные исчисления высказываний В. И. Гливенко и А. Н. Колмогорова
Первыми представителями конструктивной логики были на­ши отечественные математики — А. Н. Колмогоров (1903— 1987) и В. И. Гливенко (1897—1940). Первое исчисление, не соде­ржащее закона исключенного

Конструктивная логика А. А. Маркова
Проблема конструктивного понимания логических связок, в частности отрицания и импликации, требует применения в ло­гике специальных точных формальных языков. В основе конст­руктивной математической

МОДАЛЬНЫЕ ЛОГИКИ
  В классической двузначной логике рассматривались простые и сложные ассерторические суждения, т. е. такие, в которых не установлен характер связи между субъектом и предикатом. На­при

ПОЛОЖИТЕЛЬНЫЕ ЛОГИКИ
  Положительные логики — это логики, построенные без опе­рации отрицания. Их можно разделить на два вида: 1) положительные логики в широком смысле слова, или квазипозитивные логики. О

ПАРАНЕПРОТИВОРЕЧИВАЯ ЛОГИКА
  Эта логика представляет одно из направлений современной неклассической математической логики. Объективными основа­ми появления паранепротиворечивых логик является стремление отразит