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



ЗНАЕТЕ ЛИ ВЫ?

Распределенность терминов в атрибутивном суждении.

Поиск

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

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

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

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

В теме 1 указывалось, что используя такие семантические категории, как высказывания и заменяющие их переменные, а также функторы (логические союзы) “неверно, что” (`) или (ù),”и” (Ù), “или” (Ú), “либо..., либо” (Ú ), “если..., то” (É), “тогда и только тогда, когда” («), можно создавать новые высказывания и на этой основе строить особого рода рассуждения. Логическая теория, в которой анализируются такого рода высказывания и рассуждения, называется логикой высказываний (логикой суждений).

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

“Неверно, что” (отрицание) (ù) — логический союз, с помощью которого образуется новое суждение, истинное тогда и только тогда, когда исходное суждение (аргумент) ложно, и ложное, когда исходное суждение (аргумент) истинно.

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

“Или” (неисключающая дизъюнкция) (Ú) — логический союз, с помощью которого образуется сложное суждение, истинное тогда и только тогда, когда истинным является хотя бы один аргумент.

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

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

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

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

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

 

      p ù p      
      и л      
      л и      

 

Остальные логические союзы имеют следующие таблицы истинности:

p Ù q p Ú q p Ú q p É q p « q
и и и и и и и л и и и и и и и
и л л и и л и и л и л л и л л
л л и л и и л и и л и и л л и
л л л л л л л л л л и л л и л

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

Тема 4.

Законы логики.



Поделиться:


Последнее изменение этой страницы: 2016-12-26; просмотров: 382; Нарушение авторского права страницы; Мы поможем в написании вашей работы!

infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.15.10.117 (0.006 с.)