Логика

ПРОТИВОРЕЧИВЫЙ (CONTRADICTOIRE). Опровергающий что-либо или самого себя. В частности, в логике противоречивыми называют два такие высказывания, одно из которых является отрицанием второго (р и не-р суть противоречивые высказывания) либо включает в себя это отрицание (если р включает не-q, р и q могут быть названы противоречивыми). Например, высказывание «Все люди смертны» противоречит высказыванию «Не все люди смертны», точнее (поскольку второе высказывание двусмысленно), высказыванию «Некий человек не смертен».

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

ОТРИЦАНИЕ — определенный момент процесса развития, выражающий диалектическую связь двух последовательных стадий развивающегося объекта. Суть отрицания состоит в том, что утверждение последующей стадии развития предполагает в качестве своего условия исчезновение, разрушение предыдущей и вместе с тем сохранение, удержание некоторых ее существенных элементов, составляющих.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 299.

ОПРЕДЕЛЕНИЕ, дефиниция— логический прием, позволяющий: 1) формулировать критерии отличия изучаемого объекта от других объектов, специфические способы его отыскания, построения, употребления; 2) формировать значение вновь вводимого знакового выражения или уточнять значение имеющегося выражения в каком-либо языке. Поскольку результаты изучения объекта отображаются в соответствующих понятиях, определение можно рассматривать как формулирование содержания этих понятий.

ОБЩАЯ ТЕОРИЯ СИСТЕМ — специально-научная и логико-методологическая концепция, предложенная австрийским биологом Л. Берталанфи (1901-1972). Основная цель Общей теории систем — разработка аппарата понятий, позволяющего анализировать объекты как системы. Общая теория систем возникла у Берталанфи в русле защищаемого им «организмического» мировоззрения как известное обобщение разработанной им в 30-х годы XX века теории открытых систем, в рамках которой живые организмы рассматривались как системы, постоянно обменивающиеся со средой веществом и энергией.

НЕПОЛНАЯ ИНДУКЦИЯ, проблематическая, обобщающая, расширяющая индукция — основной вид индуктивных умозаключений. Важнейшая особенность Неполной индукции в том, что заключение в ней всегда содержит большую информацию, чем посылки, именно поэтому ее нередко называют расширяющей индукцией. Поскольку связь между посылками и заключением Неполной индукции носит вероятностный или проблематический характер, в современной логике ее часто называют проблематической индукцией.

МЫШЛЕНИЯ ЗАКОНЫ, логические — законы связи между суждениями и понятиями, законы формирования и развития мысли, определяющие правильные формы и методы познания действительности на ступени абстрактного мышления. Целью изучения Мышления законов является выяснение объективных условий истинности познания. Мышления законы определяются исключительно содержанием мысли, однако не конкретным содержанием отдельных мыслей, а тем общим, что имеется в содержании различных мыслей, т. е., в конечном счете, некоторыми общими чертами отражаемых в мышлении предметов и отношений действительности.

МОДЕЛЬ [фр. modele, от лат. modus — образец] — условный образ (изображение, схема, описание и т. п.) какого-либо объекта (или системы объектов). Служит для выражения отношения между человеческими знаниями об объектах и этими объектами; понятие модели широко применяется в семантике, логике, математике, физике, химии, кибернетике, лингвистике и других науках (главным образом технических) и их приложениях в различных, хотя и тесно связанных между собой, смыслах.

МНОГОЗНАЧНАЯ ЛОГИКА — область современной логики, охватывающая логические исчисления (исчисления высказываний и предикатов), в которых высказываниям приписывается любое конечное (большее, чем два) или бесконечное множество значений истинности. В многозначной логике исследуются также свойства этих исчислений (независимость основных функций, полнота и т. п.) и отношения между ними.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 236.

МЕТАЯЗЫК — понятие современной логики, используемое при исследовании языков различных логико-математических исчислений и естественнонаучных языков, при описании взаимоотношений языков различного «уровня» и при характеристике отношения между рассматриваемыми языками и описываемыми с их помощью предметными областями. Метаязык называется язык, на котором происходит рассмотрение какого-либо другого языка, изучение строения выражений этого языка, доказательство теорем о его дедуктивных свойствах и об отношении его к другим языкам и т. д.