Матемаг комментирует: Принцип тождества (каждая мысль должна быть тождественна самой себе). Принцип непротиворечия (два

16 февраля в 14:15

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

Чистые названия, причём тут вообще "мысль"? Вы откуда это берёте? Не мысль, а высказывание. Историческое название, повторюсь. "верно, что А = А" - это, ну, сложно назвать "принципом" даже в отрыве от терминологии. Так же, как и "Неверно, что А и не А" и так далее. Это аксиомы. Внимательно приглядевшись, вы можете с удивлением обнаружить, что есть логики, в которых нет аксиомы исключения третьего или даже нет аксиомы непротиворечивости.

Принцип достаточного основания (любая истинная мысль должна быть обоснована)

Никак не относится к логике, это философия.

Комментарий к сообщению