2015-10-22
330
| "Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении" |
формулой 
|
| записывается |
| формулируется |
| Закон непротиворечия |
| 3.Противоречащие (контрадикторные) суждения |
| К противоположным суждениям относятся: |
| 1. Противные (контрарные) суждения, которые оба могут быть ложными, поэтому не являются отрицающими друг друга |
| 2. Единичные суждения: "Это S есть Р" и "Это S не есть Р", которые являются отрицающими, так как если одно из них истинно, то другое обязательно ложно |
| Закон достаточного основания |
| формулы для этого закона нет, ибо он имеет содержательный характер |
| В качестве аргументов для подтверждения истинности мысли могут быть использованы: истинные суждения, статистические данные, законы науки, аксиомы, теоремы |
| формулируется |
| записывается |
| "Всякая истинная мысль должна быть достаточно обоснованной" |
| формулой а V ā, знак "V" обозначает нестрогую дизъюнкцию, союз "или") |
| "Ни одно S не есть Р" и "Некоторые S есть Р" |
| ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО |
| формулируется |
| записывается |
| "Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано" |
| Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то самое об этом же предмете отрицается, поэтому они не могут быть оба истинными или оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга |
| Отрицающими являются пары суждений: |
| "Это S есть Р" и "Это S не есть Р" (единичные суждения) |
| "Все S есть Р" и "Некоторые S не есть Р" |
