Логика

ДЕСКРИПЦИЯ (от лат. descriptio — описание), описательное определение (характеристика) единичных объектов посредством общих понятий (имён, свойств и отношений), выполняющее ту же функцию, что и называние собств. именем. Употребление дескрипции в логике аналогично употреблению артиклей или заменяющих артикли выражений типа «тот, который» (например, «тот, который словом скор, тот в работе редко спор») в естественных языках. Однако логическая дескрипция отличается от описательных форм выражений естественного языка определённостью экстенсионального (см.

ИНТЕНСИОНАЛ — одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания этих выражений — смысл (Sinn) и денотат (Bedentung).

В работе «Значение и необходимость» вместо фрегевского метода отношения именования (см. Именования теория) Р. Карнап предлагает свой метод семантического анализа. Семантика Карнапа является трехплоскостной. Как средство семантического анализа значения он вводит пару понятий (экстенсионал и интенсионал), соответствующих двум компонентам значения у Фреге. Понятия «денотат» и «смысл», как полагает Карнап, служатэкспликатами таких понятий, как «означение» (denotation) и «соозначение» (connotation) у Дж. Ст. Милля...

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ, одна из основных абстракций (идеализации) классической (теоретико-множественной) математики и классической математической логики. Состоит в отвлечении от невозможности полного обозрения какого-либо бесконечного образования (бесконечной совокупности элементов какого-либо рода; знаковых конструкций, возникающих в ходе неограниченно продолжаемого конструктивного процесса; см. Конструктивное направление) и в рассмотрении его в качестве единого объекта — актуально бесконечного множества (например, множества всех натуральных чисел, континуума точек отрезка, множества всех формул любой длины логического исчисления)...

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

АБСТРАКЦИИ ПРИНЦИП, логический принцип, лежащий в основе определений через абстракцию и связывающий три типа универсалий — классы, свойства и отношения равенства (подобия). Согласно абстракции принципу, любое отношение равенства, определённое на некотором множестве, производит разбиение этого множества, т. е. делит, классифицирует его на попарно непересекающиеся и непустые части равных (в данном отношении) элементов. Указанные части наз. классами абстракции, а само разбиение (семейство этих классов) — фактор-множеством по данному отношению.

ОПРЕДЕЛЕНИЕ, дефиниция (от лат. «definitio» – «предел», «граница») – логическая процедура придания строго фиксированного смысла терминам языка. Так как значения терминов зависят от их смыслов, то всякий раз, придавая через определение какой-либо смысл (содержание) языковому выражению, одновременно с этим указывают и его значение (экстенсионал), то есть в некотором универсуме очерчивается (определяется) граница того класса предметов, которые подпадут под него. Иначе говоря, каждое определение задает не только смысл термина, но и его значение.

УМОЗАКЛЮЧЕНИЕ, умственное действие, связывающее в ряд посылок и следствий мысли различного содержания; умозаключение реализует в плане «внутренней речи» присущие индивидуальному (или общественному) сознанию нормы и типы такой связи, которые и являются в каждом отдельном случае психологической основой умозаключения. Если эти нормы и типы совпадают, соответственно, с правилами и законами логики (см. Логический закон), умозаключение по своему результату равносильно логическому выводу, хотя, вообще говоря, логический вывод и умозаключение — качественно различны.

СМЫСЛ в философии и традиционной логике, то же, что значение. В логической семантике термины «смысл» и «значение» также часто рассматриваются как синонимы, но в наиболее распространённой теории значения имён Г. Фреге — А. Чёрча, лежащей в основе большинства современных металогических (см. Металогика) концепций, эти понятия различают: значением (предметным значением, денотатом) некоторого имени называют обозначаемый (называемый) этим именем предмет или класс предметов (объём именуемого понятия), а смысл имени (концепт его денотата) — содержание того же понятия, т. е.

ОТНОШЕНИЕ – связь между некоторой сущностью и тем, что с ней соотнесено. Считается, что категорию отношения в философию ввел Аристотель (Аристотель. Соч., т. 2. М., 1978, с. 66), писавший, что нечто «есть то, что оно есть», лишь «в связи с другим или находясь в каком-то ином отношении к другому». Для соотнесенного существовать – значит находиться в каком-либо отношении к другому. По Аристотелю, сущность есть условие возможности отношений. Подразумевается, что всякое отношение соотносит сущности определенных видов (или сортов, как принято говорить в прикладной логике).

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