Законы логики (законы формальной логики) – описание таких отношений между мыслями, которые отражают принципы бытия и поэтому при любых истинных входных данных обеспечивают истинность выводов. Законы логики в мышлении проявляются как соответствующие свойства мышления: определенность, непротиворечивость, последовательность и обоснованность.
1. Закон тождества (определенность):Если предмет мышления не определён или многозначен, то правильное мышление невозможно.
2. Закон противоречия (непротиворечивость):Если одно суждение противоположно другому, значит одно из них является ложным или ложными являются оба, а истинным является возможный третий вариант.
3. Закон исключённого третьего (последовательность):Если одно суждение является прямым отрицанием другого, то одно из них обязательно является истинным, третий вариант невозможен.
4. Закон достаточного основания (обоснованность):Если суждение не имеет достаточных оснований, то оно не может быть признано истинным.
» Словарь