Что такое семантическая категория в логике

Семантические категории языка

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

Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.

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

Имена – слова и словосочетания, являющиеся знаками предметов.

Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикаторы) и отношения (многоместные предикаторы).

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

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

Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.

Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».

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

Рис. 1. Семантические категории языка

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

Виды имен

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

В классе общих имен выделяют универсальные, т.е. такие общие имена, объемом которых является весь универсум рассуждения.

Пример. Имя «человек, знающий некоторые иностранные языки или не знающий ни одного иностранного языка» – универсальное. Здесь универсум рассуждения – множество (всех) людей, а объем имени – то же самое множество. В отличие от этого имя «человек, знающий какие-то иностранные языки» не универсальное, поскольку его объем не совпадает с множеством (всех) людей.

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

Описательные и неописательные имена. Как общие, так и единичные имена делятся на описательные (сложные) и неописательные (простые). Простыми (неописательными) являются имена, которые не имеют собственного смысла и могут иметь лишь приданный смысл («Эверест», «гора», «река», «Волга»). Сложными (описательными) являются имена, которые имеют собственный смысл («самая большая река в Европе», «плоская, замкнутая, ограниченная тремя сторонами фигура»).

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

Источник

семантическая категория

Смотреть что такое «семантическая категория» в других словарях:

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

семантическая функция речи — речь: функция семантическая использование речи с целью передачи смысла, скрытого в мысли и отражающего смыслозначимые свойства предметов, явлений, действий и отношений между ними во внешнем мире. Словарь практического психолога. М.: АСТ,… … Большая психологическая энциклопедия

Семантическая оптимизация запросов СУБД — процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие представлений; Преобразование подзапросов в … Википедия

Семантическая роль — имени при предикате в языкознании: часть семантики предиката, отражающая общие свойства аргумента предиката участника называемой предикатом ситуации[1]. Описание в терминах семантических ролей отражает сходства моделей управления… … Википедия

Связность речи как текстовая категория — – 1) свойство речи или целого текста (см. Текстовая категория), реализуемое специализированными или функционально ориентированными на выражение этого свойства разноуровневыми языковыми единицами; 2) семиологическая категория, представляющая собой … Стилистический энциклопедический словарь русского языка

отношение — семантическая категория, выражающая смысловые связи между предметами, процессами и признаками … Толковый переводоведческий словарь

предмет — семантическая категория, включающая вещи и живые существа, участвующие в процессах … Толковый переводоведческий словарь

процесс — семантическая категория, означающая действия, события, проишествия … Толковый переводоведческий словарь

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

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

Источник

Предмет логики и ее основные семантические категории

Предмет логики и ее основные семантические категории

Логика-наука о законах и формах мышления

Объектом формальной логики является абстрактное мышление, а предметом- законы и формы правильного мышления

2)Отражение действительности в обобщенных образах (мышление выделяет и фиксирует в предметах общее, существенное и повторяющееся).

3) Опосредованное отражение действительности (мышление опосредованно чувственными данными, прошлым опытом).

1) предложения: повествовательные, побудительные, вопросительные;

2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.К дескриптивным(описательным) семантическим категориям языка относятся: имена (знаки предметов), nредикаторы (знаки свойств и отношений), функциональные знаки.

А). Имена— это слова или словосочетания, обозначающие какой-либо предмет.

Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», И описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однородных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например«действующий вулкан».

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

Число имен, к которым относится предикатор, называется его местностью.

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

Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».

Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».

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

Имеются функторы, преобразующие имена в предложения, предложения в предложения, имена в имена и предложения в имена. Имеются также более сложные функторы, преобразующие одни функторы в другие.

Безотносительные и соотносительные понятия

Безотносительными называются понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения с другими предметами (студент, государство, за­кон).

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

Отрицание суждений.

●Законы отрицания (образования противоречащих суждений):

1) Просты категорических суждений

15. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.

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

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

Например: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. — потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».

В этом умозаключении 1-е и 2-е суждения являются посылка­ми, 3-е суждение — заключением.

При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посы­лок и обозначающей логическое следование. Слова «следователь­но» и близкие ему по смыслу («значит», «поэтому» и т.п.) под чер­той обычно не пишутся. В соответствии с этим приведенный при­мер примет следующий вид:

Судья не может участвовать в рассмотрении дела, если он яв­ляется потерпевшим.

Судья Н. — потерпевший.

Судья Н. не может участвовать в рассмотрении дела.

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

●Умозаключения делятся на следующие виды.

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

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

Индуктивные умозаключения: определение, особенности, структура. Полная и неполная индукция. Особенности популярной индукции. Факторы, влияющие на повышение степени вероятности выводов популярной индукции.

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

● точное знание числа предметов или явлений, подлежащих изучению;

● убеждение, что признак принадлежит каждому элементу класса;

● небольшое число элементов изучаемого класса;

● целесообразность и рациональность.

Возьмем для логического анализа следующие правила русского языка.

Именительный падеж выражает грамматические отношения между словами.

Родительный падеж выражает грамматические отношения между словами.

Дательный падеж выражает грамматические отношения между словами.

Винительный падеж выражает грамматические отношения между словами.

Творительный падеж выражает грамматические отношения между словами.

Предложный падеж выражает грамматические отношения между словами.

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

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

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

Слово «молоко» изменяется по падежам

Слово «библиотека» изменяется по падежам

Слово «врач» изменяется по падежам

Слово «чернила» изменяется по падежам

−Вероятно, все имена существительные изменяются по падежам

По способам обоснования заключения различают следующие виды неполной индукции: популярную и научную.

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

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

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

1. Поспешное обобщение.

2. «После этого, значит, по причине этого». Кроме того, данная ошибка лежит в основе многих суеверий и предрассудков.

3. Подмена условного безусловным.

По отношению к тезису

-истинность (доказываемый тезис должен быть истинным)

-определенность (тезис должен быть строго определенным, ясно и точно сформулированным)

— тождественность (тезис должен оставаться одним и тем же на протяжении всего доказательства)

По отношению к аргументам

-истинность (аргументы, приводимые для доказательства тезиса, должны быть истинными)

— независимость (истинность аргументов должна быть установлена независимо от тезиса)

— противоречивость (аргументы не должны противоречить друг другу)

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

По отношению к демонстрации

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

●Ошибки

По отношению к тезису

— потеря тезиса (при перечислении аргументов забывают о тезисе, о том, что собирались доказать)

— подмена тезиса (вместо одного тезиса доказывается другой)

По отношению к аргументам

-основное заблуждение (использование ложных или сомнительных аргументов)

— предвосхищение оснований (использование аргументов, истинность которых еще не установлена)

— круг в доказательстве (тезис доказывается с помощью аргументов, а аргументы с помощью тезиса)

— нарушение правила меры (недостаточность аргументов, поспешное или слишком широкое обобщение; избыточность аргументов, кто доказывает слишком много, тот не доказывает ничего)

По отношению к демонстрации

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

Отношения между суждениями.

4. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ

Атрибутивные простые суждения по содержанию делятся на сравнимые и несравнимые. Несравнимые суждения – суждения, имеющие разные S или Р, или то и другое вместе: «Космос безграничен», «Драконовские законы жестоки».

Сравнимые суждения обладают одинаковыми S и Р, но могут различаться по качеству и количеству. Они делятся на совместимые и несовместимые. Совместимые суждения содержат одну и туже мысль – полностью или частично. Между ними возникают такие логические отношения: а) эквивалентности, б) подчинения, в) частичной совместимости.

а) Эквивалентность (равнозначность) – это отношение между суждениями, у которых S и Р выражены одними и теми же равнозначными понятиями, хотя и разными словами. «Все адвокаты – юристы» – «Все защитники в суде правоведы».

Последующие отношения между атрибутивными – A, E, I, O для наглядности изображаются в виде логического квадрата

Таблицы истинности

Отрицаний применяется к одному суждению. Это суждение может быть истинным или ложным.

Если исходное суждение истинно, то его отрицание мы договариваемся считать ложным; если же исходное суждение ложно, то его отрицание мы договариваемся считать истинным.

Таблицы истинности для остальных логических связок мы для удобства приводим все вместе:

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

Наиболее отчетливо различие между логическими связками и союзами естественного языка выступает в случае импликации. Союз «если. то. » обязательно предполагает смысловую, содержательную связь между простыми суждениями, которые он соединяет. Импликация же эту связь игнорирует, для нее безразлично содержание суждений a и b, соединенных знаком «®», важны лишь значения их истинности. Поэтому мы с полным правом можем утверждать, что импликация «Если Луна сделана из зеленого сыра, то Лондон находится во Франции» истинна, т. к. оба входящих в нее простых суждения ложны.

12. Преобразование сложных суждений.

1. Конъюнкция может быть выражена через дизъюнкцию: отрицание конъюнкции эквивалентно дизъюнкции отрицаний: ù (А L В) =

ù А V ù В. «Неверно, что Попцов следователь и в то же время судья» равнозначно суждению «Попцов не следователь или он не судья».

2. Дизъюнкция может быть выражена через конъюнкцию: отрицание дизъюнкции эквивалентно конъюнкции отрицаний: ù (А V В) =

ù А L ù В. «Неверно, что Смирнов изучал историю в вузе, или что он изучал ее самостоятельно» равнозначно суждению «Смирнов не изучал историю в вузе, и он не изучал ее самостоятельно».

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

3. Импликация может быть выражена через конъюнкцию: импликация эквивалентна отрицанию конъюнкции основания и ложного следствия: А→В = ù (А L ù В). «Если Петров милиционер, то он умеет стрелять». «Неверно, что Петров милиционер, и он не умеет стрелять».

4. Импликация может быть выражена через дизъюнкцию: импликация эквивалентна дизъюнкции ложного основания и следствия: А → В =

«Если Смирнов судья, то он имеет специальное юридическое образование» «Или Смирнов не судья, или он имеет специальное юридическое образование».

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

Установить же эквивалентность суждений можно при помощи таблиц истинности. Например, если мы сравним таблицы истинности конъюнкции и слабой дизъюнкции, то видно, что сложное суждение конъюнкции А L В истинно только тогда, когда истинны оба исходных суждения А и В; суждения дизъюнкции А V В ложны только в том случае, когда ложны и А, и В. Таким образом, логические союзы конъюнкции L и дизъюнкции V находятся, можно сказать, в обратной зависимости. Зная это, конъюнкцию можно выразить через дизъюнкцию, а дизъюнкцию через конъюнкцию. Получается именно эквивалентные формы, т.е. такие, которые истинны и ложны при одних и тех же значениях составляющих их суждений.

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

Закон О. де Моргана

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

Определение [править]

Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения:

not (P and Q) = (not P) or (not Q)

not (P or Q) = (not P) and (not Q)

Обычная запись этих законов в формальной логике:

В исчислении предикатов:

Если существует операция логического умножения двух и более элементов, операция «и» — (A&B), то для того, чтобы найти обратное от всего суждения

(A&B), необходимо найти обратное от каждого элемента и объединить их операцией логического сложения, операцией «или» — (

B). Закон работает аналогично в обратном направлении:

Закон Дунса Скота

закон логики классической, характери­зующий логическое противоречие и импликацию материальную. За­кон можно передать так: ложное высказывание влечет (имплици­рует) любое высказывание. Напр.: «Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит». Первое упоминание закона принадлежит средневековому фило­софу и логику Дунсу Скоту, прозванному «тонким доктором» схо­ластики. Амер. философ и логик К. И. Льюис (1883-1964), поло­живший начало исследованию модальной логики, отнес данный закон к парадоксальным положениям классической логики. В пред­ложенной самим К. И. Льюисом новой теории логического следо­вания — т. наз. теории строгой импликации — 3. Д. С. не­доказуем. Но в этой теории есть собственный аналогичный парадокс, говорящий уже о логической невозможности: логически невоз- можное высказывание влечет любое высказывание. Напр.: «Если снег бел и вместе с тем не бел, трава бывает только черной». С использованием символики логической (р, q — некоторые выска­зывания;

— отрицание, «неверно, что»; —> импликация, «если, то») 3. Д. С. выражается формулой:

p->(p->q), если неверно, что p, то если р, то q; или эквивалентной ей в класси­ческой логике формулой: (p&

p)->q, если р и не-р, то q. Если принимаются высказывание и его отрицание, то, исполь­зуя данные формулы в качестве схем вывода, можно получить лю­бое высказывание. В подобного рода переходах есть элемент пара­доксальности. Особенно заметным он становится, когда в качестве следствия берется явно ложное и совершенно не связанное с по-сылками высказывание. Напр.: «Если Солнце и звезда, и не звезда, то Луна сделана из зеленого сыра». 3. Д. С. есть своего рода предостережение против принятия лож­ного высказывания: введение в научную теорию такого высказыва­ния ведет к тому, что в ней становится доказуемым все что угодно и она перестает выполнять свои функции. Однако предостережение не настолько очевидно, чтобы стать одним из правил логического следования. Не все современные описания следования принимают 3. Д. С. в качестве правомерного способа рассуждения. Уже построены теории логических связей, в которых этот и подобные ему способы рассуждения считаются недопустимыми. Если 3. Д. С. не принимается, то появление противоречия в сис­теме утверждений становится допустимым. Такое более «терпи­мое» отношение к противоречию лежит в основе логических тео­рий, получивших название паранепротиворечивой логики.

Закон Клавия характеризует связь импликации и отрицания. Он читается так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или, короче: высказывание, вытекающее из своего собственного отрицания, истинно. Или иначе: если необходимым условием ложности некоторого высказывания является его истинность, то это высказывание истинно. Например, если условием того, чтобы машина не работала, является её работа, то машина работает.

Закон назван именем Клавия — учёного-иезуита, жившего в XVI в., одного из изобретателей григорианского календаря. Клавий первым обратил внимание на этот закон в своём комментарии к «Геометрии» Евклида. Одну из своих теорем Евклид доказал, выведя из её допущения, что она является ложной.

Символически закон Клавия представляется формулой:

если не-А имплицирует А, то верно А.

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

Эту схему рассуждения использовал однажды древнегреческий философ Демокрит в споре с софистом Протагором. Последний утверждал, что истинно все то, что кому-либо приходит в голову. На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания: «Не все высказывания истинны». И значит, это отрицание, а не положение Протагора, на самом деле истинно.

Закон Клавия — один из случаев общей схемы косвенного доказательства: из отрицания утверждения выводится само это утверждение, оно составляет вместе с отрицанием логическое противоречие; это означает, что отрицание ложно, а верным является само утверждение.

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

Предмет логики и ее основные семантические категории

Логика-наука о законах и формах мышления

Источник