Сформулируем закон тождества в наиболее компактной ^ форме : мысли о предметах , свойствах или отношениях должны оставаться неизменными по содержанию в процессе всего рассуждения о них . Символически закон тождества можно записать как А = А .
Наряду с неумышленными нарушениями закона тождества встречается также сознательное искажение смысла высказываний . Например , в дискуссии , когда вместо поиска истины начинается соревнование амбиций , оппоненты намеренно усиливают слабые черты противоположной стороны , искажая подлинный смысл утверждений .
Неточный смысл слов и выражений становится бедствием для логического процесса и науки в целом . В таком случае мышление перескакивает с предмета на предмет или , начиная анализировать какие-то признаки , смещает акцент на другие .
При этом , естественно , не идет и речи о получении правильных , обоснованных выводов и утверждений . Чтобы избежать такой путаницы мысли , следует точно и однозначно формулировать понятия , используемые в процессе рассуждения , и в дальнейшем строго придерживаться ими заданного содержания . Именно это и выражается с помощью формулы Л = А .
Исключенное третье
Два понятия находятся е отношении , контрарности , если они максимально противоположны , что выражается в двух аспектах : признак , присущий одному из понятий , во-первых , отсутствует у другого , и , во-вторых , вместо этого признака у него имеется несовместимый с ним (« добрый » и « злой »).
Отношение контрадикторности , или противоречия , возникает , когда у другого понятия отмечается только отсутствие признака , и не говорится о том , какой вместо него признак этому понятию присущ , например : « маленький » и « не-маленький », « закат » и « не-закат » и т . п . Противоречащие понятия делят все родственные предметы на две разновидности : обладающих каким-то признаком и не обладающих им .
Сформулируем закон исключенного третьего : из двух противоречащих суждений одно истинно , другое ложно , а третьего не дано .
Закон исключенного третьего неприменим к событиям и тлениям лишь возможным , в частности к будущему . Этот закон действует только в отношении противоречащих ( контрадикторных ) суждений и его можно записать с помощью дизъюнкции : рv-р . где р - любое высказывание , ~ р - отрицание высказывания р .
Последовательность , непротиворечивость мышления выражает закон исключенного третьего . Он устанавливает , что два противоречащих суждения не могут быть не только одновременно ложными , но и истинными одновременно : если ложно одно из них , то другое необходимо истинно , третьего не дано . Этот закон не может точно указать , какое из данных суждений является истинным , но дает информацию о том , что возможно только два решения вопроса , причем одно из них ( и только одно ) необходимо истинно .