Логика

ПРОТИВОРЕЧИЕ ДИАЛЕКТИЧЕСКОЕ - категория, выражающая внутренний источник всякого развития, движения. П., понятое как только внешнее, не может быть таким источником. Именно признание внутреннего П., единства внутреннего и внешнего П. отличает диалектику от метафизики. «...Диалектика есть изучение противоречий в самой сущности предметов...» (Ленин В.И. Полн. собр. соч. Т. 29. С. 227). Иначе говоря, диалектика отличается от метафизики не вообще признанием П., а признанием П. именно в сущности предметов, т.е.

ПРОТИВОРЕЧИЕ - в классической логике — название одного из производных отношений по форме между высказываниями. Два высказывания находятся в отношении П., если они не совместимы по истинности и не совместимы по ложности. Например, в отношении П. находятся следующие высказывания: «Все люди смертны» и «Некоторые люди не являются смертными», а также «Это число делится на два и на пять» и «Если это число делится на два, то оно не делится на пять». Если два высказывания находятся в отношении П., то одно из них эквивалентно отрицанию другого...

ПРОТИВОПОЛОЖНОСТЬ - категория, выражающая одну из ступеней развития противоречия. П., как и различие, может быть внешней и внутренней. Внешняя П. есть крайняя степень неодинаковости в чем-то сходных, но внутренне не связанных друг с другом сторон, вещей, процессов и т.п. Внутренняя П. (как и внутреннее различие) предполагает наличие внутренней необходимой связи, внутреннего единства противоположных сторон, вещей, процессов и т.д. Внутренние П. и различия имеют в качестве своих предпосылок те или иные внешние различия и П. Внутренние П. и различия проявляются вовне в виде внешних П.

ПРАЛОГИЧЕСКОЕ МЫШЛЕНИЕ, дологическое мышление — понятие, введенно французским философом Л. Леви-Брюлем (1857—1939) для характеристики «первобытного» мышления (мышления народов, не принадлежащих к современному западном типу общества). Опираясь на идеи французской социологической школы Э. Дюркгейма, Леви-Брюль утверждал, что различию структур человеческих обществ должно соответствовать различие высших умственных способностей принадлежащих к разным типам общества людей.

ВЫВОД ЛОГИЧЕСКИЙ - осуществляемая в рамках логических исчислений в соответствии с точными формальными правилами процедура знаковых преобразований, целью которой является обоснование правомерности, логической корректности перехода от некоторого множества формул к некоторой формуле.

Вывод логический представляет собой формальный аналог рассуждения в естественном языке.

АРГУМЕНТАЦИЯ - полное или частичное обоснование какого-либо положения (суждения, системы суждений, концепции и пр.). То, что обосновывается, называется тезисом А. Положения, используемые для его обоснования, называются аргументами, или основаниями, или доводами. Логическую структуру А., т.е. способ логического обоснования тезиса посредством аргументов, называют формой А. А. бывает доказательной и недоказательной. В доказательной А. (доказательстве) аргументы являются утверждениями, истинность которых установлена, а формой служит демонстративное рассуждение.

АПОРИЯ (греч. ἀπορία - затруднение, безвыходное положение) — кажущееся непреодолимым затруднение, возникающее при обнаружении противоречия в ходе решения проблемы. По Аристотелю, А. есть «равенство противоположных заключений» (Топика, VI 6, 145b). Широко известны А. Зенона Элейского (60-е гг. V в. до н.э.), с помощью которых он хотел доказать тезис своего учителя Парменида о том, что представимое немыслимо и мыслимое непредставимо. Зенону приписывается 45 А., в которых вскрываются противоречия в понятиях движения, множества, пространства и времени.

АНТИНОМИЯ (греч. avrivonia - противоречие закона самому себе) — логически невозможное соединение двух противоречащих друг другу высказываний относительно одного и того же предмета мысли. Первоначально этот термин означал внутреннюю противоречивость отдельного юридического закона. Идея А. была использована в учениях Гераклита и Платона, существенно применена в апориях Зенона. Как философское понятие определяется у Канта в «Критике чистого разума».

АНАЛИЗ (греч. …  - разложение, расчленение) — способ мысленного или реального расчленения объекта познания на части с целью выявления его структурных элементов и отношений между ними. Обычно А. является самым первым этапом рационального исследования, предшествует построению эксперимента и накладывает специфические особенности на его проведение, потому что разные способы А. могут привести к выявлению разных структурных элементов и их связей и отношений. Процедурой, обратной А., является синтез.

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию. Так как работа интеллекта реализуется в языковой форме, исследования в Л. тесно связаны с изучением языковых конструкций с точки зрения выполнения ими тех или иных познавательных функций. Язык в этом случае рассматривается как орудие познания, с помощью которого фиксируется информация о мире, осуществляется преобразование этой информации и изучается окружающий нас мир...