Логика

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

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

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

Закон исключенного третьего обусловлен свойствами самих вещей, °ч отражает тот простой факт, что предмет не может иметь и не иметь одновременно то или иное свойство.

21

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

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

А есть либо В, либо не В. В математической логике этот закон выражается такой формулой:

Ам~А, т. е. А или не А, третьего не дано (tertium поп datur).

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

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

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

Закон исключенного третьего обусловлен свойствами самих вещей, °ч отражает тот простой факт, что предмет не может иметь и не иметь одновременно то или иное свойство.

21

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

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

А есть либо В, либо не В. В математической логике этот закон выражается такой формулой:

Ам~А, т. е. А или не А, третьего не дано (tertium поп datur).