Глоссарий по логике

ФАЛЬСИФИКАЦИЯ (от лат. falsus — ложный, facio - делаю) - процедура, устанавливающая ложность теории или гипотезы в результате эмпирической проверки. Понятие Ф. является фундаментальным в методологической концепции К. Поппера, который обосновал важность этой процедуры для развития науки.

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

Ц

ЦЕЛЕВОЕ ОБОСНОВАНИЕ  - обоснование позитивной оценки какого-то объекта ссылкой на то, что с его помощью может быть получен другой объект, имеющий позитивную ценность.

Ч

ЧАСТНОЕ СУЖДЕНИЕ - суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение). Примерами частных суждений могут быть: «Некоторые металлы являются жидкими» (1), «Некоторые металлы электропроводны» (2), «Некоторые металлы не являются жидкими» (3), «Некоторые киты не являются рыбами» (4). Словно «некоторые» в случае Ч. с. употреблено в смысле «по меньшей мере некоторые (а может быть, и все)». Это означает, что допускаются случаи, когда Ч. с. являются истинными и соответствующие им общие суждения также являются истинными. Таковы суждения (2) и (4). Суждение «Некоторые металлы электропроводны» считается истинным, хотя и соответствующее ему общее суждение «Все металлы электропроводны» также является истинным. Более адекватно смысл частноутвердительного суждения выражается структурой «Существуют такие элементы множества S, которые обладают свойством Р», смысл же частноотрицательного суждения более адекватно выражается структурой «Существуют такие элементы множества S, которые не обладают свойством Р». Эта структура охватывает все случаи употребления слова «некоторые» в частных суждениях: и в смысле «только некоторые», и случаи, когда слово «некоторые» в частных суждениях не исключает того, что одновременно и «все S суть (не есть) Р».

Э

ЭВРИСТИКА (от греч. heurisko - отыскиваю, открываю) - совокупность приемов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач. Э. называют также специальную научную область, изучающую специфику творческой деятельности. Эвристические методы противопоставляются рутинному, формальному перебору вариантов по заданным правилам. В сущности при решении любой задачи человек всегда использует те или иные методы, сокращающие путь к решению, облегчающие его нахождение. Напр., при доказательстве теорем геометрии мы обычно используем в качестве эвристического средства чертеж; решая математическую задачу, мы стараемся вспомнить и использовать решения других похожих задач; в качестве эвристических средств используются общие утверждения и формулы, индуктивные методы, аналогии, правдоподобные умозаключения, наглядные модели и образы, мысленные эксперименты и т. п.

ЭЙЛЕРА КРУГИ  - геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью кругов. Если круг A иллюстрирует объем понятия «студенты», а круг В иллюстрирует объем понятия «спортсмены», то отношение между объемами этих понятий можно изображать в виде двух пересекающихся кругов (см. рис.). Заштрихованная общая площадь круга A и круга В будет обозначать объем студентов, являющихся одновременно спортсменами.

ЭКВИВАЛЕНТНОСТЬ, или: Равнозначность, - общее название отношений, являющихся рефлексивными, симметричными и транзитивными (см.: Отношение типа равенства). Таковы, напр., отношения равночисленности, подобия, изоморфизма и др.

Ю

«ЮМА ПРИНЦИП» - принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой «есть» к утверждениям со связкой «должен». Принцип назван именем англ. философа Д. Юма (1711-1776), указавшего, что этика постоянно совершает грубую ошибку, полагая, что из описания того, что имеет место, можно вывести какие-то утверждения о моральном добре и долге. С начала XX в. «Ю. п.» привлекает пристальное внимание этиков, теоретиков права и др. Нередко ему отводится главная роль в методологии наук, стремящихся обосновать определенные ценности и требования. Иногда даже утверждается, что в силу «Ю. п.» этика не способна перейти от наблюдения моральной жизни к ее кодификации, так что все системы (нормативной) этики в равной мере не опираются на факты и в этом смысле автономны и равноценны.

Я

ЯЗЫК - знаковая система, используемая для целей коммуникации и познания. Системность Я. выражается в наличии в каждом языке помимо словаря также синтаксиса и семантики. Природа и значение языкового знака не могут быть поняты вне языковой системы.

ЯЗЫКА ФУНКЦИИ, или Употребление языка - основные задачи, решаемые с помощью языка в процессе коммуникации и познания. Идея проведения различия между Я. ф. принимается в большинстве теорий языка; реализуется она, однако, по-разному.

ЯЗЫК ЛОГИКИ - специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Я. л. является языком формализованным. Построение его предполагает принятие особой теории логического анализа.

ЯСНОСТЬ - характеристика термина (понятия) с точки зрения определенности, отчетливости его смысла. Понимание термина, успешная его интерпретация предполагают знание его смысла и его денотации, т. е. класса тех объектов, к которым он отсылает. Если этот класс является четко очерченным и слагается из хорошо специфицированных объектов, о термине говорят, что он точен (см. Точность). Если смысл термина определен отчетливо и однозначно, термин называется содержательно ясным или просто ясным.