этой причине заключение кажется парадоксальным , что порождается подменой понятий и нарушением закона тождества .
Одним из наиболее известных парадоксов данного типа считается « парадокс лжеца ». Его открыл древнегреческий философ Эвбулид . В его изложении парадокс звучит так : « Критянин Эпименид сказал : " Все критяне лжецы " — Эпименид сам критянин — следовательно , он лжец ».
Далее рассуждение ведется следующим образом : если Эпименид лгун , то его убеждение , гласящее , что « все критяне лгуны » — ложно ; следовательно , критяне не лгуны . Эпименид сам критянин . Следовательно , он не лгун и его утверждение « все критяне лгуны » правильно .
Получается , что « логически правильное рассуждение приводит к взаимоисключающим результатам , которые в равной мере доказуемы и которые нельзя отнести к числу истинных , ни к числу ложных ».
Таким образом , парадокс — это искусственное образование , описывающее теоретически мыслимую , но для действительности не характерную ситуацию .
Это возможно , когда работают с чисто теоретическими понятиями . В приведенном парадоксе лжеца чисто теоретическим понятием является « человек , который врет абсолютно всегда ». В жизни таких людей не бывает , и это чисто логическое , теоретическое понятие .
Традиционно « парадокс лжеца » считается типичным примером трудностей , к которым приводит смешение двух языков : предметного ( на нем говорят о лежащей вне языка действительности ) и метаязыка ( на нем говорят о самом языке ).
Умозаключения
Умозаключение — это мыслительная структура , в которой из двух истинных исходных суждений ( посылок ) на основании определенной логической связи между ними формируется новое истинное суждение .
Умозаключение — это мыслительная форма , позволяющая получать новое истинное знание из уже известного истинного знания . Умозаключение можно также назвать и формой опережающего отражения , которое опосредованно другими мыслями . Оно дает новое истинное знание , опираясь на взаимную связь нескольких исходных мыслей , т . е . опираясь на закономерную логическую связь между ранее известными истинными начальными суждениями . Полученный в результате умозаключения истинный вывод можно получить только тогда , когда исходные мысли истинны , а их взаимные связи логичны или закономерны .
Об истинности и правильности мышления можно говорить только в описанном выше смысле . Мысли , в том числе и используемые в умозаключениях в качестве посылок , истинны только в случае , если их содержание адекватно отражает предмет мысли , т . е . когда оно соответствует действительности . Само мышление и мыслительные формы становятся правильными только в случае , если они построены в соответствии с законами логики о структуре мыслей .