отношения по логическому квадрату это отношения между категорическими суждениями по их
Логические отношения между простыми категорическими суждениями по логическому квадрату.
Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, 0; стороны и диагонали — отношения между суждениями.
Среди сравнимых различают совместимые и несовместимые суждения.
Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости: эквивалентность (полная совместимость), частичная совместимость (субконтрарность) и подчинение.
●Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и туже выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
●Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
● Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
● Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Для противоречия характерна строгая, или альтернативная, несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего.
Отрицание суждений.
●Законы отрицания (образования противоречащих суждений):
1) Просты категорических суждений
15. Умозаключение как форма мысли: определение, логическая структура и условия истинности. Классификация умозаключений.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
Например: «Судья не может участвовать в рассмотрении дела, если он является потерпевшим (1). Судья Н. — потерпевший (2). Значит, он не может участвовать в рассмотрении дела (3)».
В этом умозаключении 1-е и 2-е суждения являются посылками, 3-е суждение — заключением.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу («значит», «поэтому» и т.п.) под чертой обычно не пишутся. В соответствии с этим приведенный пример примет следующий вид:
Судья не может участвовать в рассмотрении дела, если он является потерпевшим.
Судья Н. — потерпевший.
Судья Н. не может участвовать в рассмотрении дела.
●Отношения логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, исходные суждения — посылки умозаключения должны быть истинными; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения.
●Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т. е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. По характеру связи между знанием различной степени общности, выраженному в посылках и заключении, различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Отношения между простыми категорическими суждениями по истинности. Логический квадрат
В разнообразных жизненных ситуациях бывает очень важно быстро формулировать и узнавать противоположные суждения, суждения, несовместимые с ранее высказанными и, наоборот, необходимо следующие из уже доказанных. Для этого нужно научиться оперировать отношениями суждений по истинности, изученными и систематизированными логикой.
Если в одном суждении встречается хотя бы один термин, не входящий в другое суждение, то такие два суждения несравнимы.
Суждения сравнимы, если их термины совпадают.
1. Подчинение. Частные суждения подчиняются общим. Из этого следует:
а) Истинность подчиняющего (общего) суждения обусловливает истинность подчинённого (частного).
Примеры: Если верно, что «Ни одно сражение Суворова не было проиграно», то верно суждение «Некоторые сражения Суворова не были проиграны».
То же для утвердительных суждений ( А) и ( I ).
б) Ложность подчинённого суждения влечёт ложность подчиняющего.
Примеры: Если ложью является утверждение «Некоторые люди могут обходиться без воды и пищи», то, тем более ложным будет высказывание «Все люди могут обходиться без воды и пищи».
торые ученики готовятся ко всем урокам».
2. Субконтрарность. Отношение двух частных суждений (I) и (О) состоит в том, что они могут быть оба истинны, но не могут быть оба ложны.
Субконтрарность проявляется в следующих отношениях:
а) Если одно из субконтрарных суждений ложно, то другое необходимо истинно.
Пример: Неверно, что «Некоторые учащиеся отказываются изучать логику». Значит, истинно, что «Некоторые учащиеся не отказываются изучать логику».
б) Из истинности одного из субконтрарных суждений следует неопределённость истинности другого.
3. Противоположность (контрарность).Отношения общих суждений (А) и (Е), которые не могут быть одновременно истинными, но бывают оба ложны.
а) Из истинности одного суждения следует ложность другого.
б) Из ложности одного суждения следует неопределённость относительно истинности другого.
Примеры: Если истинно: «Некоторые птицы не летают», значит, ложно «Все птицы летают» и наоборот. Если ложно: «Ни один человек не боится смерти», значит, истинно «Некоторые люди боятся смерти».
Логический квадрат (отношения между суждениями)
Сравнимые (идентичные по материалу) суждения имеют одинаковые субъекты и предикаты, но могут отличаться кванторами и связками. Например, суждения Все школьники изучают математику, Некоторые школьники не изучают математику являются сравнимыми, так как у них совпадают субъекты и предикаты, а кванторы и связки различаются.
Несравнимые суждения имеют разные субъекты и предикаты. Например, суждения: Все школьники изучают математику, Некоторые спортсмены – это олимпийские чемпионы являются несравнимыми, так как субъекты и предикаты у них не совпадают.
Сравнимые суждения бывают, как и понятия, совместимыми и несовместимыми и могут находиться в различных отношениях между собой.
Совместимыми называются суждения, которые могут быть одновременно истинными. Например, суждения Некоторые люди – это спортсмены, Некоторые люди – это не спортсмены являются одновременно истинными и представляют собой совместимые суждения.
Несовместимыми называются суждения, которые не могут быть одновременно истинными: истинность одного из них обязательно означает ложность другого. Например, суждения Все школьники изучают математику, Некоторые школьники не изучают математику не могут быть одновременно истинными и являются несовместимыми (истинность первого суждения с неизбежностью приводит к ложности второго).
Совместимые суждения могут находиться в отношениях равнозначности, подчинения или частичного совпадения.
Равнозначность – это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения Москва является древним городом, Столица России является древним городом находятся в отношении равнозначности.
Подчинение – это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода. Например, суждения Все растения являются живыми организмами, Все цветы (некоторые растения ) являются живыми организмами находятся в отношении подчинения.
Несовместимые суждения могут находиться в отношениях противоположности или противоречия.
Противоположность – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения Все люди являются правдивыми и Все люди не являются правдивыми находятся в отношении противоположности. В этом отношении могут быть только общие суждения – общеутвердительные (Д) и общеотрицательные (Е ).
Важным признаком противоположных суждений является то, что они не могут быть одновременно истинными, но могут быть одновременно ложными. Вернемся к приведенным выше суждениям и убедимся в этом: неправда, что все люди являются правдивыми, но также неправда, что все люди не являются правдивыми. Противоположные суждения могут быть одновременно ложными, потому что между ними, обозначающими какие-то крайние варианты, всегда есть третий, средний, промежуточный вариант.
Если этот средний вариант будет истинным, то два крайних окажутся ложными. Между противоположными (крайними) суждениями Все люди являются правдивыми и Все люди не являются правдивыми есть третий, средний вариант Некоторые люди являются правдивыми, а некоторые не являются таковыми, который, будучи истинным суждением, обусловливает одновременную ложность двух крайних противоположных суждений.
Противоречие – это отношение между двумя суждениями, у которых предикаты совпадают, связки различны, а субъекты отличаются своими объемами, т. е. находятся в отношении подчинения (вида и рода). Например, суждения Все люди являются правдивыми и Некоторые люди не являются правдивыми находятся в отношении противоречия.
Важным признаком противоречащих суждений, в отличие от противоположных, является то, что между ними не может быть третьего, среднего, промежуточного варианта. В силу этого два противоречащих суждения не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них обязательно означает ложность другого, и наоборот, ложность одного обусловливает истинность другого. К противоположным и противоречащим суждениям мы еще вернемся, когда речь пойдет о логических законах противоречия и исключенного третьего.
Рассмотренные отношения между простыми сравнимыми суждениями изображаются схематически с помощью логического квадрата (рис. 32), который был разработан еще средневековыми логиками.
Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. Так, суждения вида А и вида I, а также суждения вида Е и вида О находятся в отношении подчинения. Суждения вида А и вида Е находятся в отношении противоположности, а суждения вида I и вида О – частичного совпадения. Суждения вида А и вида О, а также суждения вида Е и вида I находятся в отношении противоречия.
Неудивительно, что логический квадрат не изображает отношение равнозначности, потому что в этом отношении находятся одинаковые по виду суждения, т. е. равнозначность – это отношение между суждениями А и А, I и I, Е и Е, О и О.
Чтобы установить отношение между двумя суждениями, достаточно определить, к какому виду относится каждое из них. Например, надо выяснить, в каком отношении находятся суждения Все люди изучали логику и Некоторые люди не изучали логику. Видя, что первое суждение является общеутвердительным (А ), а второе частноотрицательным (О ), мы без труда устанавливаем отношение между ними с помощью логического квадрата – это противоречие.
Суждения Все люди изучали логику (А ) и Некоторые люди изучали логику (I ) находятся в отношении подчинения, а суждения Все люди изучали логику (А ) и Все люди не изучали логику (Е ) находятся в отношении противоположности.
Как уже говорилось, важным свойством суждений (в отличие от понятий) является то, что они могут быть истинными или ложными. Что касается сравнимых суждений, то истинностные значения каждого из них определенным образом связаны с истинностными значениями остальных. Так, если суждение вида А является истинным или ложным, то три других (I, Е, О ), сравнимых с ним суждения (имеющих сходные с ним субъекты и предикаты), в зависимости от этого (от истинности или ложности суждения вида А ) тоже являются истинными или ложными.
Например, если суждение вида А: Все тигры – это хищники – истинно, то суждение вида I. Некоторые тигры – это хищники – также истинно (если все тигры – хищники, то и часть из них, т. е. некоторые тигры, – это тоже хищники); суждение вида Е Все тигры – это не хищники – ложно, и суждение вида О: Некоторые тигры – это не хищники – также является ложным. Таким образом, в данном случае из истинности суждения вида А вытекает истинность суждения вида I и ложность суждений вида Е и вида О (разумеется, речь идет о сравнимых суждениях, т. е. имеющих одинаковые субъекты и предикаты).
Логические отношения между суждениями (логический квадрат)
Основу отношений между суждениями составляет их сходство по смыслу и логическим значениям (истинности и ложности). В силу этого отношения устанавливаются не между любыми, а лишь между сравнимыми, т.е. имеющими общий смысл, суждениями.
Несравнимыми среди простых являются суждения, имеющие:
Таковы, например, два суждения:
«Среди космонавтов есть летчики »; «Среди космонавтов есть женщины ».
Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором (суждения одинаковой материи):
Среди сравнимых различают совместимые и несовместимые суждения.
Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом.
Логический квадрат
Вершины логического квадрата символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями:
Отношение совместимости
Виды совместимости:
Эквивалентные суждения имеют одинаковые логические характеристики:
С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
Различия между высказываниями, содержащими простые эквивалентные суждения, проявляются главным образом словесно.
Например, различными словами могут быть выражены кванторы: «некоторые», «иногда», «как правило» и т.п.; использованы синонимы для выражения субъекта или предиката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table».
Эту особенность эквивалентных суждений надо учитывать при анализе правовых контекстов, при переводах с одного языка на другой, при сравнении словесно различных утверждений в процессе дискуссии.
Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
При ложности одного из них другое будет истинным. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми».
В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным.
Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости:
Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права».
При истинности суждения «Ни один кооператив не относится к государственным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям».
Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».
При подчинении остаются неопределенными следующие зависимости:
Отношение несовместимости
Несовместимыми являются суждения
которые одновременно не могут быть истинными.
Виды несовместимости:
Противоположными (контрарными) являются суждения А и Е, которые одновременно
Истинность одного из противоположных суждений определяет ложность другого. Например, истинность суждения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим».
При ложности же одного из противоположных суждений другое остается неопределенным — оно может быть как истинным, так и ложным. Так, например, при ложности суждения «Все птицы улетают зимой в теплые края» ему противоположное «Ни одна птица не улетает зимой в теплые края» тоже оказывается ложным. В другом случае при ложности суждения «Ни один судья не является юристом» ему противоположное «Все судьи — юристы» будет истинным.
Для противоречия характерна строгая, или альтернативная несовместимость:
Отношения между такими суждениями регулируются законом исключенного третьего.
Например, если признается истинным суждение «Все принципиальные люди признают свои ошибки», то ложным будет ему альтернативное: «Некоторые принципиальные люди не признают своих ошибок».
Следует отметить, что несовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
Например, суждения «Суд вынес обвинительный приговор по делу Л.» и «Суд не вынес обвинительного приговора по делу Л.» находятся в отношении противоречия: если первое суждение истинно, то признается ложность второго, и наоборот.
Отношения между простыми категорическими суждениями по истинности. Логический квадрат
В разнообразных жизненных ситуациях бывает очень важно быстро формулировать и узнавать противоположные суждения, суждения, несовместимые с ранее высказанными и, наоборот, необходимо следующие из уже доказанных. Для этого нужно научиться оперировать отношениями суждений по истинности, изученными и систематизированными логикой.
Если в одном суждении встречается хотя бы один термин, не входящий в другое суждение, то такие два суждения несравнимы.
Суждения сравнимы, если их термины совпадают.
1. Подчинение. Частные суждения подчиняются общим. Из этого следует:
а) Истинность подчиняющего (общего) суждения обусловливает истинность подчинённого (частного).
Примеры: Если верно, что «Ни одно сражение Суворова не было проиграно», то верно суждение «Некоторые сражения Суворова не были проиграны».
То же для утвердительных суждений ( А) и ( I ).
б) Ложность подчинённого суждения влечёт ложность подчиняющего.
Примеры: Если ложью является утверждение «Некоторые люди могут обходиться без воды и пищи», то, тем более ложным будет высказывание «Все люди могут обходиться без воды и пищи».
торые ученики готовятся ко всем урокам».
2. Субконтрарность. Отношение двух частных суждений (I) и (О) состоит в том, что они могут быть оба истинны, но не могут быть оба ложны.
Субконтрарность проявляется в следующих отношениях:
а) Если одно из субконтрарных суждений ложно, то другое необходимо истинно.
Пример: Неверно, что «Некоторые учащиеся отказываются изучать логику». Значит, истинно, что «Некоторые учащиеся не отказываются изучать логику».
б) Из истинности одного из субконтрарных суждений следует неопределённость истинности другого.
3. Противоположность (контрарность).Отношения общих суждений (А) и (Е), которые не могут быть одновременно истинными, но бывают оба ложны.
а) Из истинности одного суждения следует ложность другого.
б) Из ложности одного суждения следует неопределённость относительно истинности другого.
Примеры: Если истинно: «Некоторые птицы не летают», значит, ложно «Все птицы летают» и наоборот. Если ложно: «Ни один человек не боится смерти», значит, истинно «Некоторые люди боятся смерти».
Сложные суждения
Сложные суждения — это суждения, состоящие из двух и более простых суждений, соединённых логическими постоянными (связками).
Логические постоянные (союзы) определяют виды сложных суждений и обозначаются символами:
Логические союзы могут соединять любое количество даже не связанных по смыслу суждений, истинность сложного суждения при этом будет зависеть только от истинности простых, составляющих его суждений и не будет зависеть от содержания, количества и качества этих суждений. Истинность и ложность сложных суждений устанавливается при помощи так называемых «таблиц истинности»:
1. Соединительное суждение аÙ b (конъюнкция)
| а | b | a Ù b |
| и | и | и |
| л | и | л |
| и | л | л |
| л | л | л |
а) Я прогулял уроки и написал реферат. План выполнен, сложное
суждение оказалось истинным.
2. Разделительное (не исключающее) суждение а v b (дизъюнкция)
| a | b | a Ú b |
| и | и | и |
| и | л | и |
| л | и | и |
| л | л | л |
б) Уехал в Италию и забыл о монастырях. Поскольку планировалось одно из двух, суждение истинно.
в) Не уехал в Италию, постригся в монахи. Суждение снова истинно.
г) И уехать не собрался, и монахом стать не решился. Обещание не выполнено. Суждение ложно.
Правилонестрогой дизъюнкции: суждения этого вида бывают ложными только в случае ложности всех составляющих простых суждений.
а) Пошёл дождь вперемешку со снегом, т.е. дождь и снег. Союз «либо» не оправдался, суждение ложно.
б) Дождь пошёл, снега нет. Предположение сбылось, суждение истинно.
в) Вместо дождя пошёл снег. Произошло одно из двух. Суждение истинно.
г) Тучи висят, но ни дождя, ни снега. Предположение, а вместе с ним и суждение, оказалось ложным.
Правило: строгая дизъюнкция ложна, когда совпадают значения истинности входящих в неё простых суждений, и истинна, когда они различны.
| а | b | a Ú b |
| и | и | л |
| и | л | и |
| л | и | и |
| л | л | л |
| а | b | a ® b |
| и | и | и |
| и | л | л |
| л | и | и |
| л | л | и |
Как она проявляется в различных ситуациях:
а) Некто много работал и действительно добился больших результатов. Суждение подтвердилось, импликация истинна.
б) Некто много работал, но ничего не добился. Этот вариант опровергает истинность суждения, импликация ложна.
в) Некто, не работая, всего добился. Несмотря на то, что основанием его успеха были не собственные усилия (ложность основания), результат (истинность следствия) говорит о том, что в целом суждение истинно.
г) Некто ничего не делал и ничего не добился. Значит, народная мудрость была права, суждение истинно.
Важныйвывод: импликативное суждение бывает ложным тогда и только тогда, когда из истинного основания вытекает ложное следствие.
5. Эквивалентное суждение аº b (эквиваленция)
| a | b | a º b |
| и | и | и |
| и | л | л |
| л | и | л |
| л | л | и |
а) Одновременно наличие свободы и независимости делает эквивалентное суждение истинным.
в) Также ложно и отсутствие свободы при наличии независимости.
Вывод: эквивалентные суждения истинны тогда и только тогда, когда значения истинности простых суждений совпадают.
6. Отрицательные суждения состоят из одного суждения и союза, его отрицающего. Поэтому таблица очень проста:
а
Сложные категорические суждения и выводы из них являются предметом логики высказываний. Другие сложные суждения и выводы из них исследуются модальной логикой.
Модальные суждения
Реальное общение осуществляется не только, и даже не столько через категорические высказывания (суждения), сколько посредством более содержательных по смыслу, разнообразных по интонации и более тесно связанных с культурно-историческими традициями и повседневными правилами поведения модальных суждений.
сильной отрицательной — «опровергнуто», «невозможно», «никогда», «плохо», «хуже», «неизвестно», «запрещено».
Слова, выражающие модальность, называются в логике, или модальными понятиями, или модальными операторами, или модальными функторами.
Одним из первых обратил внимание на существование модальных суждений Аристотель. Он сформулировал ряд правил употребления модальных понятий «необходимо», «возможно», «случайно», «невозможно». В средние века У. Шервуд, У. Оккам, Ж. Буридан, занимаясь модальными выводами, говорили о функторах «действительно», «неизбежно», «истинно», «ложно», «неразрешимо», стремясь свести их к трём основным: «необходимость», «возможность», «невозможность». В восемнадцатом веке И. Кант по признаку модальности разделил все суждения на ассерторические (суждения действительности), аподиктические (суждения всеобщности и необходимости) и проблематические (суждения возможности). В современной логике общей теории модальных систем пока нет. В рамках символической (математической) логики разработано множество аксиоматических систем, использующих методы исчисления высказываний, связанных с многозначной и вероятностной логиками.
По сферам применения все модальные понятия распадаются на группы, число которых, в принципе, не ограничено, но логика занимается лишь важнейшими из них. К ним относятся:
Логическая модальность
Логически необходимо любое высказывание, отрицание которого противоречит законам логики.
Пример: Логически необходимо, что если идёт дождь, то идёт дождь.
Логически возможно всё, что внутренне непротиворечиво.
Если логически возможно как высказывание, так и его отрицание, т.е. не нарушены законы логики, то оно называется логически случайным.
Логически невозможным является высказывание внутренне противоречивое.
Пример: Логически невозможно, что если этот человек спит, то он не спит.
Основными законами отношений логических модальностей являются:
— если высказывание логически необходимо, то оно истинно, но не наоборот;
— если высказывание логически необходимо, то оно логически возможно, но не наоборот;
— если высказывание истинно, то оно логически возможно, но не наоборот.
Законы логики, т.е. логически необходимые истины, являются абсолютно необходимыми, независимо ни от каких обстоятельств, они надприродны. Например, логически возможно, что люди ходят по потолку, хотя по природным законам это невозможно.
Физическая модальность
Физическую модальность называют также онтологической, т.е. присущей бытию, и каузальной (основанной на причинно-следственных закономерностях).
Физически необходимо то, отрицание чего нарушает законы природы, т.е. невозможно физически.
Пример: Физически необходимо, что всё живое рождается и умирает.
Физически возможно высказывание, не противоречащее законам природы. При этом, если физически возможно как данное высказывание, так и его отрицание, то оно является физически случайным.
Примеры: Физически возможно, что Кутузов одержал победу при Малоярославце. Физически случайно, что наш дом построен на горе.
Физически невозможно высказывание, противоречащее природным законам.
Эпистемическая модальность
доказано то, что получило научное обоснование и практическое подтверждение.
Пример: Доказано, что сбалансированное питание благоприятно влияет на экстерьер собак;
проблематично то, что на данный момент может оказаться как истинным, так и ложным.
опровергнуто означает, что доказано обратное (противоречащее данному).
Отношения эпистемических модальностей аналогичны алетическим. Основные их законы:
— ничто не может быть доказанным и опровергнутым одновременно;
— что доказано, то не может быть проблематично, и наоборот;
— что проблематично, то не может быть опровергнуто, и наоборот;
— «знание проблематично» означает, что это знание не доказано и не опровергнуто, и наоборот.
Деонтическая модальность
Обязательно или нормативно необходимо всё, что вытекает из законов и норм общества.
Пример: Обязательно выполнять военные команды, соблюдать правила уличного движения и платить налоги.
Разрешено любое действие, не являющееся ни нормативно обязательным, ни нормативно запрещённым.
Пример: Разрешено обедать дома без галстука.
Запрещено всё, что противоречит нормативно обязательному и то, что является предметом нормативного запрета.
Примеры: Запрещено не платить налоги. Запрещено курить в салоне для некурящих.
Законы отношений деонтических модальностей аналогичны эпистемическим, но если познавательные истины являются всеобщими, то деонтические высказывания уместны только в пределах данной нормативной системы права, религии, морали и т. п., и с точки зрения другой системы могут быть отвергнуты.
Живите по правилу: МАЛО ЛИ ЧТО НА СВЕТЕ СУЩЕСТВУЕТ? Я неслучайно подчеркиваю, что место в голове ограничено, а информации вокруг много, и что ваше право.
ЧТО ПРОИСХОДИТ ВО ВЗРОСЛОЙ ЖИЗНИ? Если вы все еще «неправильно» связаны с матерью, вы избегаете отделения и независимого взрослого существования.
ЧТО ПРОИСХОДИТ, КОГДА МЫ ССОРИМСЯ Не понимая различий, существующих между мужчинами и женщинами, очень легко довести дело до ссоры.
Не нашли то, что искали? Воспользуйтесь поиском гугл на сайте: