Сложные суждения: логическая структура и виды
Сложные суждения – это суждения, образованные их простых посредством той или иной логической связи. Структура сложных суждений отличается от структуры простых суждений.Основными структурообразующими элементамиздесь выступают не понятия (термины – субъект и предикат), а самостоятельныепростые суждения, внутренняя субъектно-предикатная структура которых уже не учитывается. Связь между элементами сложного суждения осуществляется с помощью логических союзов: «и», «или»; «если..., то...»; «если и только если..., то»; «неверно, что...», которые близки к соответствующим грамматическим союзам, но полностью с ними не совпадают. Главное их отличие состоит в том, что логические союзы однозначны, тогда как грамматические союзы имеют множество смыслов и оттенков.
Эти типы связи простых суждений выражаются соответствующими логическими связками: конъюнкцией («и»), дизъюнкцией («или»), строгой дизъюнкцией(«либо, ...либо»), импликацией («если..., то»), эквиваленцией(тогда и только тогда, когда...», отрицанием («неверно, что...»). Логические связки обозначают символами: ~ соответственно. Каждый из этих логических союзов, за исключением отрицания, является бинарным, т.е. соединяет только два суждения, независимо от того простые они или сами, в свою очередь, сложные, имеющие внутри себя собственные союзы.
Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений, входящих в него, а также от характера связи этих суждений. Характер связи определяется смыслом логических союзов, который состоит в ответе на вопрос: при каких условиях сложное суждение будет истинно, а при каких – ложно. Иначе говоря, при каких сочетаниях истинности и ложности простых суждений, входящих в сложное, данный логический союз дает истинную связь, а при каких - ложную. Смысл логических союзовможно определить с помощью, так называемой истинностной таблицы, в которой на входе (см. Табл.1, столбцы 1,2) выписываются все возможные комбинации истинностных значений простых суждений (входящих в рассматриваемое сложное), а на выходе (Таблица 1 – столбцы 3 – 9) – значения сложного суждения, образованного из данных простых с помощью соответствующего логического союза.При этом, исходные простые суждения обозначают буквами: А,В,С,D..., а значения истинности символами: «и» - истино; «л» - ложно.
Таблица 1.
NN | |||||||||
А | В | А В | А В | А В | А В | А В | ~А | ~В | |
1. | и | и | и | и | л | и | и | л | л |
2. | и | л | л | и | и | л | л | л | и |
3. | л | и | л | и | и | и | л | и | л |
4. | л | л | л | л | л | и | и | и | и |
Дата добавления: 2022-05-27; просмотров: 120;