51. Закон тождества.

— логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная».

З.т. выражает идею, что каждое высказывание является необходимым и достаточным условием своей собственной истинности.

З.т. принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (А — некоторое имя): «Всякое А есть А» и «Некоторые А есть А». Напр.: «Всякий человек есть человек», «Некоторые квадраты — это квадраты». «Некоторые» здесь означает «по меньшей мере некоторые, а может быть, и все», но не «только некоторые, но не все».

Принцип «Всякое А есть А» иногда называют аристотелевским З.т.

Традиционная ошибка, связанная с З.т., — подмена его требованием устойчивости, определенности мысли в ходе рассуждения. Еще Аристотель писал, что невозможно ничего мыслить, «если не мыслишь (каждый раз) что-нибудь одно». В процессе рассуждения не следует изменять значения понятий и утверждений. Они должны оставаться тождественными самим себе, иначе свойства одного объекта незаметно окажутся приписанными др. объекту. Если мы начали говорить, допустим, о звездах как небесных телах, то слово «звезда» должно, пока мы не оставим эту тему, обозначать именно эти тела, а не звезды на погонах или елочные звезды.

Требование не изменять и не подменять значения в ходе рассуждения справедливо. Но оно не относится к законам логики, точно так же, как не относится к ним совет выделять обсуждаемые объекты по достаточно устойчивым признакам, чтобы уменьшить вероятность подмены в рассуждении одного объекта другим.

Несостоятельно и имеющее долгую традицию истолкование З.т. как одного из законов бытия, говорящего о его относительной устойчивости и определенности. Понятый так закон превращается в утверждение, что вещи всегда остаются неизменными, тождественными самим себе. Такое истолкование является, конечно, недоразумением. З.т. ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается той же, то она остается той же.

52. Правила доказательного рассуждения. Ошибки, совершаемые относительно доказываемого тезиса.

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