PhiloDream

Диалектическая логика – название философской теории, основной задачей которой является выявить, систематизировать и обосновать в качестве универсальных основные особенности мышления коллективистического общества (средневекового феодального общества, тоталитарного общества и др.

). Основной принцип ее провозглашает сближение и отождествление противоположностей: имеющегося в разуме и существующего в действительности, количества и качества, исторического и логического, свободы и необходимости и т.д. Результатом ее применения к осмыслению социальных процессов явилась двойственность, мистифицированность социальных структур и отношений: провозглашаемое в тоталитарных государствах право на труд оказывалось одновременно и обязанностью, наука – идеологией, выборы – проверкой лояльности и т.п.

Логика – это наука, исследующая механизм интеллектуальной деятельности человека и имеющая целью получение истинного знания об окружающем мире. Следовательно, она должна оперировать понятиями «истинность мышления» и «правильность рассуждения».

«Правильное мышление» основано на логике. Именно логика, умело подобранная в соответствии с предметом рассмотрения, делает мысли адекватными реальности.

Обычно истинность мышления определяют как соответствие знания объекту. Истина – это адекватная информация об объекте, получаемая посредством его чувственного или интеллектуального постижения либо сообщения о нем и характеризуемая с точки зрения ее достоверности. Таким образом, истина существует как субъективная реальность в ее информационном и ценностном аспектах.

Истина не существует вне человеческого познания, и в этом смысле она зависит от субъекта познания. Однако соответствие и несоответствие результатов познавательного процесса сторонам и свойствам материального мира определяется объективной реальностью.

Таким образом, истинность определяется как адекватное отражение объекта познающим субъектом, воспроизводящей реальность такой, какая она есть сама по себе, вне и независимо от сознания. Истина есть адекватное отражение реальности в динамике ее развития.

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

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