Выделяющие и исключающие суждения

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

Общевыделяющие: Все S, и только S, суть Р, Все S, но не только S, суть Р,

Ни одно S, и только S, не есть Р

Частновыделяющие вида 1: Некоторые S, и только S, суть Р,

Некоторые S, и только S, не суть Р2

Существует и другая разновидность частновыделяющих суждений: Только некоторые S суть Р; Только некоторые S не суть Р

Частновыделяющие вида 2: К числу категорических относят также обычно и исклюючающие суждения видов: Все S, кроме R, суть Р;

Ни одно S, кроме R, не суть Р

Исключающие: Эта форма суждения не является естественной и в естественном языке не встречается. Однако более точно суждения приведенных форм следует характеризовать не как категорические, то есть разновидность простых, а как некоторые сложные суждения. Так, Все S , и только S , суть Р означает; Все S суть Р и ни одно не-S не есть Р, то есть сложное суждение — конъюнкция двух высказываний. Например, суждение «Все млекопитающие животные и только млекопитающие являются Теплокровными» имеет смысл: «Все млекопитающие животные суть теплокровные животные и ни одно не млекопитающее животное не является теплокровным.

Суждение вида «Все S , но не только S , суть Р» равнозначно: ≪Все S суть Р и некоторые не-S суть Р≫ Очевидно, что вроде бы простое по внешнему виду уждение «Все металлы, но не только они, проводят электрический ток» равносильно сложному: «Все металлы проводят электрический ток и некоторые неметаллы проводят электрический ток». Первые два из частновыделяющих (вида 1) отличаются от других двух (вида 2) тем, что логическая константа только связана в них с субъектом, в двух других — с кванторным словом ≪некоторые≫ (первые можно было назвать субъектно-выделяющими, а вторые — кванторно-ыделяющими

суждениями). Для первых имеем эквивалентности:

Некоторые S , и только S, суть Р = (Некоторые S суть Р) & (Ни одно не-S не суть Р). Например, ≪Некоторые кислоты и только они образуют соли≫ эквивалентно ≪Некоторые кислоты образуют соли и ни одна не кислота не образует соли≫.

Некоторые S , и только S, не суть Р = (Некоторые S не суть Р) и (Все не-Sсуть Р). Например, ≪Некоторые лодыри и только они не сдадут этот экзамен≫ = Некоторые лодыри не сдадут этот экзамен≫ и ≪Все не-лодыри сдадут его≫. Два других частновыделяющих вида 2 (кванторно-выделяющие) эквивалентны между собой и могут быть истолкованы как конъюнкция: (Некоторые S суть Р) & (Некоторые S

не суть Р). Например, ≪Только некоторые студенты становятся профессорами≫ эквивалентно ≪Некоторые студенты становятся профессорами и некоторые студенты не становятся ими≫. Определенное различие, которое чувствуется в формулировках этих суждений (хотя они объективно и эквивалентны), имеет психологический характер. В одном из них ≪Только некоторые S суть Р≫ центр тяжести падает на второй член конъюнкции ≪Некоторые S не суть Р≫, эквивалент-

ный в свою очередь ≪Неверно, что все S суть Р≫. Поэтому все выделяющее суждение эквивалентно такому: (Некоторые S суть Р) & (Неверно, что все S суть Р).

В суждении формы ≪Только некоторые S не суть Р≫ выделяется первая часть упомянутой конъюнкции (Некоторые S суть Р), эквивалентная ≪Неверно, что ни одно S не суть Р≫. Принимая это во внимание, можно увидеть, что все выделяющее суждение этого вида эквивалентно: (Неверно, что ни одно S не суть Р) & (Некоторые S не суть Р). Упомянутые психологические различия связаны со спецификой ситуаций, в которых высказываются эти суждения. Обычно эти суждения употребляются как возражения на необоснованные обобщения: если, например, студенты заявляют, что никто не сдаст логику, преподаватель может ответить:

≪Только некоторые не сдадут!≫, подчеркивая тот факт — первый член конъюнкции, — это некоторые сдадут. В случае же проявления излишней самонадеянности ≪Все сдадим!≫, естественно возразить: ≪Нет, только некоторые сдадут!≫, оттеняя второй член конъюнкции — ≪Некоторые не сдадут≫. Как видим, логическая константа ≪только≫ употребляется как некоторый ослабленный аналог отрицания (≪Прямым≫ отрицанием в первом случае было бы суждение  Некоторые

сдадут≫, а во втором —≪Некоторые не сдадут≫). Исключающее суждение формы ≪Все S, кроме R, суть Р≫ выражает сложное суждение: (Все S, которые не являются R, суть Р) & (Ни одно R не есть Р). (Более детально, с учетом рода М понятии S, R, Р: ≪Все предметы класса М, обладающие свойством S и не обладающие свойством R, суть предметы М, обладающие свойством Р, и ни один предмет М, обладающий свойством R, не есть предмет М, обладающий свой-

ством Р≫). Так, если кто-то говорит: ≪Все спортсмены, кроме боксеров, вызывают у меня симпатию≫, то фактически он утверждает: ≪Все спортсмены не-боксеры вызывают у него симпатию≫ (1) и ≪Ни один боксер симпатии у него не вызывает≫ (2). (С учетом М — особого рода понятий, играющих роль S, R, Р: 1. Все люди (М), являющиеся спортсменами (S) и при этом не являющиеся боксерами (R) есть люди (М), вызывающие у него симпатию (Р) и 2. Ни один человек (М), являющийся бок-

сером (R) не есть человек (М), вызывающий у него симпатию (Р))- Другая словесная формулировка исключающего суждения этого вида — сходная с выделяющим — ≪Среди S только R не суть Р≫. Аналогичным образом выясняется смысл отрицательного исключающего суждения ≪Ни одно S , кроме R, не суть Р≫.

Сложные суждения.

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

1. Конъюнктивное суждение (конъюнкция) - это сложное суж­дение с соединительным союзом «и», который обозначается в логи­ке условным знаком «Л». С помощью этого знака конъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а /\ в (читается «а и в»), где а и в - это два каких-либо простых суждения. Например, сложное суждение: «Сверкнула молния, и загремел гром», - является конъюнкцией (соединением) двух простых суждений: «Сверкнуламолния», «Загремел гром». Конъ­юнкция может состоять не только из двух, но и из большего числа простых суждений. Например: «Сверкнула молния, и загремел гром, и пошел дождь (а /\ в /\ с)».

2. Дизъюнктивное суждение (дизъюнкция) - это сложное суж­дение с разделительным союзом «или». Вспомним, что, говоря о ло­гических операциях сложения и умножения понятий, мы отмечали неоднозначность этого союза - он может использоваться как в не­строгом (неисключающем) значении, так и в строгом (исключаю­щем). Неудивительно поэтому, что дизъюнктивные суждения делят­ся на два вида:

1. Нестрогая дизъюнкция - это сложное суждение с раздели­тельным союзом «или» в его нестрогом (неисключающем) значении, который обозначается условным знаком «V». С помощью этого зна­ка нестрогое дизъюнктивное суждение, состоящее из двух простых суждений, можно представить в виде формулы: а V в (читается «а или в»), где а и в - это два простых суждения. Например, сложное суждение: «Он изучает английский, или он изучает немецкий», -является нестрогой дизъюнкцией (разделением) двух простых суждений: «Он изучает английский», «Он изучает немецкий». Эти суждения друг друга не исключают, ведь возможно изучать и ан­глийский, и немецкий одновременно, поэтому данная дизъюнк­ция является нестрогой.

2. Строгая дизъюнкция - это сложное суждение с разделитель­ным союзом «или» в его строгом (исключающем) значении, кото­рый обозначается условным знаком «V». С помощью этого знака строгое дизъюнктивное суждение, состоящее из двух простых суж­дений, можно представить в виде формулы: а V в (читается «или а, или в»), где а и в - это два простых суждения. Например, сложное суждение: «Он учится в 9 классе, или он учится в 11 классе», - явля­ется строгой дизъюнкцией (разделением) двух простых суждений: «Онучится в 9 классе», «Онучится в 11 классе». Обратим внимание на то, что эти суждения друг друга исключают, ведь невозможно од­новременно учиться и в 9, и в 11 классе (если он учится в 9 классе, то точно не учится в 11 классе, и наоборот), в силу чего данная дизъ­юнкция является строгой.

Как нестрогая, так и строгая дизъюнкции могут состоять не толь­ко из двух, но и из большего числа простых суждений. Например: «Он изучает английский, или он изучает немецкий, или он изучает французский (а V в V с)», «Он учится в 9 классе, или он учится в 10 классе, или он учится в 11 классе (а Vв V с)».

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

4. Эквивалентное суждение (эквиваленция) - это сложное суж­дение с союзом «если ... то» не в его условном значении (как в слу­чае с импликацией), а в тождественном (эквивалентном). В данном случае этот союз обозначается условным знаком ««—», с помощью которого эквивалентное суждение, состоящее из двух простых суж­дений, можно представить в виде формулы: а — в (читается «если а, то в, и если в, то а»), где а и в - это два простых суждения. Например, сложное суждение: «Если число является четным, то оно делится без остатка на 2», - представляет собой эквивалентное суждение (равенство, тождество) двух простых суждений: «Число является четным», «Число делится без остатка на 2». Нетрудно заметить, что в данном случае два суждения связаны так, что из первого вы­текает второе, а из второго - первое: если число четное, то оно обя­зательно делится без остатка на 2, а если число делится без остатка на 2, то оно обязательно четное. Понятно, что в эквиваленции, в от­личие от импликации, не может быть ни основания, ни следствия, т. к. две ее части являются равнозначными суждениями.

5. Отрицательное суждение (отрицание) - это сложное сужде­ние с союзом «неверно, что...», который обозначается условным зна­ком «—». С помощью этого знака отрицательное суждение можно представить в виде формулы: —а (читается «неверно, что а»), где а -это простое суждение. Здесь может возникнуть вопрос - где же вто­рая часть сложного суждения, которую мы обычно обозначали сим­волом в? В записи: —а, уже присутствуют два простых суждения: а -это какое-то утверждение, а знак «—» - его отрицание. Перед нами как бы два простых суждения - одно утвердительное, другое - отри­цательное. Пример отрицательного суждения: «Неверно, что все мухи являются птицами».

Итак, мы рассмотрели пять видов сложных суждений: конъюнк­цию, дизъюнкцию (нестрогую и строгую), импликацию, эквивален-цию и отрицание.

Союзов в естественном языке много, но все они по смыслу сво­дятся к рассмотренным пяти видам, и любое сложное суждение от­носится к одному из них. Например, сложное суждение: «ЗЖ пол­ночь близится, а Германна все нет», - является конъюнкцией, пото­му что в нем союз «а» употребляется в роли соединительного союза «и». Сложное суждение, в котором вообще нет союза: «Посеешь ве­тер, пожнешь бурю», - является импликацией, т. к. два простых суж­дения в нем связаны по смыслу условным союзом «если...то».

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

Конъюнкция истинна только тогда, когда истинны оба входящих в нее простых суждения. Надо отметить, что конъюнкция, состоящая не из двух, а из большего числа простых суждений, также истинна только в том случае, когда истинны все входящие в нее суж­дения. Во всех остальных случаях она является ложной. Нестрогая дизъюнкция, наоборот, истинна во всех случаях за исключением того, когда оба входящих в нее простых суждения ложны. Нестрогая дизъ­юнкция, состоящая не из двух, а из большего числа простых сужде­ний, также ложна только тогда, когда ложны все входящие в нее про­стые суждения. Строгая дизъюнкция истинна только тогда, когда одно входящее в нее простое суждение истинно, а другое ложно. Строгая дизъюнкция, состоящая не из двух, а из большего числа простых суждений, истинна только в том случае, если истинно только одно из входящих в нее простых суждений, а все остальные ложны. Имп­ликация ложна только в одном случае - когда ее основание является истинным, а следствие ложным. Во всех остальных случаях она ис­тинна. Эквиваленция истинна тогда, когда два составляющих ее про­стых суждения истинны или когда оба являются ложными. Если одна часть эквиваленции истинна, а другая ложна, то эквиваленция лож­на. Проще всего определяется истинность отрицания: когда утверж­дение истинно, его отрицание ложно; когда утверждение ложно, его отрицание истинно.

Проверьте себя:

1. Определите, к какому виду относятся следующие сложные суждения:

2. Живое существо является человеком только тогда, когда оно обладает мышлением.

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

4. Вчера он получил двойку не только по математике, но еще и по русскому.

5. Проводник нагревается, когда через него проходит электри­ческий ток.

6. Окружающий нас мир либо познаваем, либо нет.

7. Или же он совершенно бездарен, или же полный лентяй.

8. Когда человек льстит, он лжет.

9. Вода превращается в лед лишь при температуре от 0 °С и ниже.

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

 

П.З.№10-11.Образование всех типов суждений, пользуясь субъектом и предикатом.

Упражнение 1.

Дайте объединенную классификацию суждений, приведите их схе­мы и принятые в логике обозначения: А, Е, I, О.

Образец: Некоторые сделки являются односторонними. Некоторые S есть Р. - Частноутвердительное суждение (I).

1. Многие следственные действия имеют своей целью профилак­тику правонарушений.

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

3. Ряд важнейших преобразований в России были осуществлены Петром I.

4. Уголовное наказание назначается по приговору суда.

5. Сделка, направленная на ограничение правоспособности, не яв­ляется действительной.

6. Многие поступки диктуются обстоятельствами.

7. Маршал Жуков - выдающийся полководец Второй мировой войны.

8. Некоторые государства не являются унитарными.

9. В здоровом теле здоровый дух.

10. Не все европейские Страны являются республиками.

11. Счастлив, кто посетил сей мир, в его минуты роковые (Тютчев).

12. Не все выдающиеся музыканты имели абсолютный слух.

13. На всех не угодишь.

14. Наука - один из важнейших компонентов духовной культуры.

Упражнение 2.

Дайте объединенную классификацию суждений, изобразите отно­шения между терминами с помощью кругов Эйлера, установите рас­пределенность субъекта и предиката.

Образец: Суждение - форма мышления. - Общеутвердительное суж­дение (Л), S распределен, Р не распределен.

Государственное право - юридическая наука.

Некоторые выпускники МГЮА работают в адвокатуре.                           

Марс - планета Солнечной системы.

На всякого мудреца довольно простоты.

Некоторые трудовые споры рассматриваются городскими суда­ми.

Исполнителем признается лицо, непосредственно совершившее преступление.

Некоторые соглашения не являются выгодными для одной из сторон.

Среди преступников есть особо опасные рецидивисты.

Не все работники суда имеют высшее образование.

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

Ничто не проходит бесследно.

Культура - одна из важнейших характеристик человеческой жизнедеятельности.

П.З.№12-13.  Определение правильности произведённых превращений, суждений предложенных в заданиях. Подбор в литературе различных типов суждений, проведение их превращения и проверка правильности.

П.З.№14-15.  Определение вывода (если это возможно) путём обращения и представления обращения с помощью круговых схем. Выполнение выводов из них путём обращения на примере двух суждений A, E, I, O. Выполнение операции противопоставления предикату предложенных суждений. Выполнение выводов путём противопоставления предикату на примере двух суждений A, E, I, O.

1) Установите количество и качество суждений и придайте им стандартную форму одного из четырёх типов А, Е, I, О. Определите распределенность терминов.

а) Насекомые относятся к беспозвоночным животным.

б) Некоторые насекомые не являются травоядными.

в) Пауки – не насекомые.

г) Некоторые водные личинки насекомых имеют жабры.

д) Не все птицы летают.

е) Некоторые законы РФ направлены на сохранение окружающей среды.

ж) Некоторые страны еще не ратифицировали Киотский протокол (1997), ограничивающий выбросы диоксида углерода (СО2) в атмосферу.

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

и) Не все студенты любят учиться.

к) Всякая кража должна быть наказана.

2). Определите тип суждений (А, Е, I, О). Сформулируйте стандартную форму данных суждений и остальных суждений с теми же субъектом и предикатом по логическому квадрату. Считая данное суждение истинным, что вы можете сказать об истинности других суждений с теми же субъектом и предикатом.

а) Преступников наказывают.

б) Многие грибы являются паразитами.

в) Съедобные грибы специально разводят.

г) Грибы – не растения.

д) Бактерии – это микроорганизмы.

е) Не все современники динозавров вымерли.

ж) Сороконожки – не насекомые.

3). Сформулируйте отрицание данных суждений (противоречие по логическому квадрату):

а) Некоторые океаны имеют пресную воду.

б) Все свидетельские показания подтвердились.

в) Не все проекты удалось реализовать.

г) Все насекомые имеют крылья.

д) Все грамотные люди – культурные люди.

е) Некоторые граждане вправе нарушать закон.

ж) Ни один студент нашей группы не работает.

4) Постройте непосредственные умозаключения - обращение, превращение, противопоставление субъекту и противопоставление предикату.

а) Порядочному человеку чуждо зазнайство.

б) Все безответственные люди не являются надежными.

в) Некоторые россияне являются гражданами других стран.

г) Некоторые законы не являются юридическими.

д) Кальмары – беспозвоночные животные.

е) Всякий благородный человек вежлив.

е) Солидные фирмы высоко ценят свою репутацию.

ж) Многие неуспевающие студенты – безответственны.

5) Укажите выделяющие и исключающие суждения. Запишите их схемы.

Образцы: а)            Президент Российской Федерации является главой государства. Выделяющее суждение: Президент РФ, и только он, является главой государства: S , и только S , есть Р.

б)               Обязанность по опеке и попечительству исполняются безвозмездно, кроме случаев, предусмотренных законом (ГК, ст. 14): Исключающее суждение (Все S (S_b S ₂ , кроме S3) есть Р).

1. Лишь сильное государство обеспечивает свободу своим гражда­нам (Руссо).

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

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

4. Только великие люди могут иметь великие недостатки (Ларош­фуко).

5. Все студенты группы, кроме трех человек, сдали экзамен дос­рочно.

6. Единица - начало всякого числа.

7. Всякое преступление есть общественно опасное деяние.

8. Все жанры хороши, кроме скучного.

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

10. Лишь тот достоин жизни и свободы, Кто каждый день идет за них на бой. (Гете)

11. Только взрослые трудоспособные лица мужского пола, возраст которых составляет очевидно не ниже восемнадцати лет и не выше сорока пяти лет, могут быть привлечены к принудительному или обязательному труду (Конвенция относительно принудительного или обязательного труда).

12. Одни поддельные цветы дождя боятся (Крылов).

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

Образец: Амнистия может быть общей и частичной. - Раздельное (дизъюнктивное) суждение, состоящее из двух простых: 1) амнистия может быть общей (р) и 2) амнистия может быть частичной (q)_t соединенных логической связкой «или». В символической записи: <р V q > - строгая, полная дизъюнкция.

1.В судебном заседании прокурор либо поддерживает обвинение, либо отказывается от него.

2.Мы никогда не будем умны чужим умом и славны чужой славою (Карамзин).

3.Познанья путь и долог и тяжел.

4.Шторма бояться - в море не ходить.

5.Если сегодня пятница, то завтра суббота.

6.Лучше скажи мало, но хорошо.

7. Несовершеннолетние вовлекаются в совершение преступления путем обещаний, обмана, угроз или иным способом.

8. Адвокат может просить либо удовлетворить иск (заявление, жа­лобу) полностью или частично, либо отказать в удовлетворении, либо прекратить производство по делу, либо оставить иск без рассмотрения.

Тема 2.3. Модальность суждений.

П.З.№12. Определение алетической, деонтической, эпистемической модальности суждений, выражение их с помощью операторов

Модальность - это явно или неявно выраженная в суждении до­полнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных его характеристи­ках. К основным видам модальности относятся эпистемическая, де­онтическая и алетическая модальность.

ТИПЫ И ВИДЫ МОДАЛЬНОСТИ

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

Алетические модальности. К ним относятся такие характеристики — виды модальностей — как необходимо, возможно, невозможно, случайно. Впрочем, невозможно скорее надо охарактеризовать не как особый вид модальности, а просто как отсутствие (а в суждении — отрицание возможности).

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

(аналог алетической модальности случайно).

Эпистемические модальности. Это характеристики наших знаний. Среди них выделяются виды: доказано, опровергнуто, возможно (возможно допустить, что истинно некоторое высказывание), не доказано и не опровергнуто (для этого вида нет специального названия — это аналог случайно среди алетических модальностей). По другим основаниям выделяют такие виды: знает, верит, убежден, сомневается. Характеристики некоторых приведенных видов модальностей различных типов могут быть уточнены путем указания взаимосвязи между ними. Для этого используем формы модальных высказываний. Пусть А — какое-то ассерторическое (не модальное) высказывание. Тогда необходимо А (указание на необходимость ситуации, утверждаемой в А) можно обозначать как НА (иногда применяют обозначение DA). Возможность ситуации А выражается в виде МА (или

ОА), случайность можно обозначить как SA (или АА).

Для высказываний с деонтическими модальностями приняты обозначения: обязательно А — ОА (обязательно делать так, чтобы истинно было А), разрешено А — РА (разрешено делать так, чтобы истинно было А), запрещено А — ЗА (запрещено делать так, чтобы было истинно А, то есть чтобы была ситуация А). Запрещено А здесь — аналогично алетической модальности невозможно А, но если последняя по своему выражению означает просто отрицание возможности, то запрещение выступает как самостоятельная модальность. Разрешено естественно понимать не как наличие какого-то предписания, а как отсутствие запрещения.

Эта эквивалентность выражает принцип демократического общества: Разрешено все, что не запрещено. С учетом указанного понимания разрешено и запрещено между деонтическими модальностями могут быть установлены некоторые эквивалентности.

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

представляет, также является всегда необходимой. И в силу этого истинно высказывание фактически необходимо 5 (НФБ). Например, согласно первому закону Кеплера, необходимо, что всякая планета Солнечной системы двигалась вокруг Солнца по эллипсу, в одном из фокусов которого находится Солнце. Но это же необходимо и для Земли и для Марса и т. д. Ф и з и ч е с к у ю н е в о з м о ж н о с т ь выражает высказывание, являющееся отрицанием какого-либо следствия из физического закона, включая, конечно, и отрицание самого этого закона науки, или эквивалентное такому отрицанию. Отсюда ясно, что высказывание выражает физическую возможность, если оно не является эквивалентным отрицанию какого-либо закона науки (а тем самым не является эквивалентным отрицанию какого-либо следствия закона науки, ибо отрицание следствия закона означает также и отрицание самого закона). Высказывание А выражает ф и з и ч е с к у ю случайность, согласно введенному ранее определению, если физически возможно А и физически возможно не-А. Логические модальности зависят от логических форм высказываний, то есть не зависят от значений дескриптивных терминов, входящих в него. О модальных высказываниях этого типа — применительно к высказываниям, выразимым в ЯЛВ и ЯЛП, — речь уже шла в разделах. Для определения того, к какому виду логической модальности относится высказывание естественного языка, необходимо уметь выявить его логическую форму. Для этого необходимо выявить все его смысловые части — употребляемые в нем имена предметов, предикаторы, предметные функторы и логические константы, — которые могут быть не выражены явно. Для осуществления этой операции наиболее естественно перевести

данное высказывание на язык логики высказываний или на язык логики предикатов.

Упражнение

1) Определите эпистемическую модальность суждений, запишите их с помощью операторов «доказано» (V), «опровергнуто» (F), «веро­ятно» (Р). Достоверные суждения выразите с помощью оператора

«опровергнуто», проблематические - с помощью операторов «доказа­но» и «опровергнуто».

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

Установлено, что Н. - организатор преступления.

Вероятно, что в соответствии со статьей 77 Уголовного кодекса РФ обвиняемый будет освобожден от уголовной ответственности.

По мнению ряда ученых, некоторые континенты разобщены в результате дрейфа.

В связи с амнистией Р. освобождается от дальнейшего отбыва­ния наказания.

Есть основания предполагать, что Н. не был соучастником пре­ступления.

С. привлекается к уголовной ответственности по статье 159 УК РФ за мошенничество.

Самым древним объектом культа был, вероятно, огонь.

В шесть часов я постараюсь быть дома.

Лето, по-видимому, будет жаркое.

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

По-видимому, на свете нет ничего, что не могло бы случиться (М. Твен).

Упражнение

Определите деонтическую модальность суждений, запишите их с помощью операторов «обязанность» - 0(d), «запрещение» - F(d), «разрешение» - P(d).

Образцы:

1. Работник обязан соблюдать трудовую дисциплину (ТК, ст. 4). Обязанность.

2. Применение уголовного закона по аналогии не допускается (УК, ст. 3). За­прещение F{d).

3. Заявление о преступлении может быть сделано в устном или письменном виде (УПК, ст. 71). Разрешение Р(ф).

Принудительный труд запрещен (Конституция РФ).

Трудоспособные дети, достигшие 18 лет, должен заботиться о нетрудоспособных родителях.

В общественном транспорте запрещается провозить легковос­пламеняющиеся вещества.

Каждый имеет право на охрану здоровья и медицинскую по­мощь (Конституция РФ, ст. 41).

Помните: бензин опасен, работу с ним лучше проводить на от­крытом воздухе.

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

Зачислить на постоянную работу цеха благоустройства слеса­рем 6-го разряда

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

Человек должен жить и творить, а не прозябать.

Не сотвори себе кумира.

Упражнение

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

Образец: С изменением причины изменяется и следствие. Суждение (р) - фактиче­ски необходимое. Земля обращается вокруг Солнца по планетной орбите.

Земля - центр Вселенной.

Всякое действие равно противодействию.

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

Кратковременные расстройства сна бывают у вполне здоровых людей от переутомления.

Не исключено, что у Мошкина был соучастник. Дыма без огня не бывает.

---

Дата добавления: 2022-01-22; просмотров: 211; Мы поможем в написании вашей работы!

Поделиться с друзьями:

---

---

Мы поможем в написании ваших работ!