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

Министерство  образования и науки Российской Федерации

 

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО  ОБРАЗОВАНИЯ

 

БАШКИРСКИЙ  ГОСУДАРСТВЕННЫЙ ИНСТИТУТ

ИНСТИТУТ  ПРАВА

 

 

 

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

 

 

 

                                                                                        Выполнила: Орлова А.С.

                                                                                        Курс 1 группа «Е»

                                                                                        Преподаватель: Иткулова Л. А.

                                                          

 

 

 

Уфа – 2010

 

 

А

АБСОЛЮТИЗАЦИЯ - мыслительный прием, суть которого заключается в том, что в качестве точного принимается такой предел приближения к действительности, который обусловлен потребностями практики.

АБСУРД (от лат. absurdus — нелепый, глупый) - в логике под А. обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно, как, напр., в высказывании «Тщеславие существует и тщеславия нет». Абсурдным считается также выражение, которое внешне не является противоречивым, но из которого все-таки может быть выведено противоречие. Скажем, в высказывании «Александр Македонский был сыном бездетных родителей» есть только утверждение, но нет отрицания и, соответственно, нет явного противоречия. Но ясно, что из этого высказывания вытекает очевидное противоречие: «Некоторые родители имеют детей и вместе с тем не имеют их». А. отличается от бессмысленного: бессмысленное не истинно и не ложно, его не с чем сопоставить в действительности, чтобы решить, соответствует оно ей или нет. Абсурдное высказывание осмысленно и в силу своей противоречивости является ложным. Напр., высказывание «Если идет дождь, то трамвай» бессмысленно, а высказывание «Яблоко было разрезано на три неравные половины» не бессмысленно, а абсурдно.

Логический закон непротиворечия говорит о недопустимости одновременно утверждения и отрицания. Абсурдное высказывание представляет собой прямое нарушение этого закона.

АКСИОЛОГИЧЕСКАЯ МОДАЛЬНОСТЬ - выражается понятиями «хорошо», «аксиологически безразлично», «плохо», «лучше», «равноценно», «хуже».

АЛГОРИТМ (АЛГОРИФМ) (от Algorithmi - латинизированная форма имени выдающегося среднеазиатского ученого Аль-Хорезми) - конечный набор правил, позволяющих чисто механически решать любую конкретную задачу из некоторого класса однотипных задач. Примерами простейших А. могут служить А. вычитания, сложения, умножения и деления целых чисел в арифметике с десятичной системой счисления.Осуществление алгоритмического процесса может быть передано машине, которая благодаря своему быстродействию способна решать задачи, недоступные человеку. Возможность передать машине осуществление алгоритмических процедур стимулировала создание математической теории алгоритмов, в которой понятие А. было уточнено с помощью таких понятий, как «рекурсивная функция», «машина Тьюринга», «нормальный А.» и т. п.

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

АМФИБОЛИЯ (от греч. amphibolia — двусмысленность, двойственность) - логическая ошибка, в основе которой лежит двусмысленность языковых выражений. Напр.: «Шуба - русское слово, но шуба греет, следовательно, некоторые русские слова греют». Здесь

АНАЛОГИЯ НЕСТРОГАЯ - здесь связь между сходными и переносимыми признаками не является необходимой. Вывод является вероятностным.

АНАЛОГИЯ СТРОГАЯ - имеющиеся сходные признаки необходимо связаны с переносимым признаком. Вывод в этом случае является достоверным.

АРГУМЕНТЫ (ОСНОВАНИЯ ДОКАЗАТЕЛЬСТВА) - совокупность суждений, с помощью которых обосновывается некоторое положение или доказывается истинность какого-либо положения.

АТРИБУТИВНОЕ СУЖДЕНИЕ - суждение, утверждающее или отрицающее принадлежность предмету каких-либо свойств, состояний, видов активности.

АССЕРТОРИЧЕСКИЙ (от лат. asserto - утверждаю) - установленный, достоверный. А. суждение утверждает нечто действительно существующее, установленное, достоверное, напр.: «Волга впадает в Каспийское море»

 

 

 

 

 

Б

БЕССМЫСЛЕННОЕ - языковое выражение, не отвечающее требованиям синтаксиса или семантики языка. Б. представляет собой конфликт с правилами языка, выход за рамки установок, регламентирующих общение людей с помощью языка. Б. не тождественно ложному, оно не истинно и не ложно, истинностное значение имеют только осмысленные высказывания. Б. выражение вообще не сопоставимо с действительностью.

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

В

ВЕРА - в отличие от религиозной традиции, в науке В. понимается как позиция разума, принимающего некоторые положения, которые не могут быть доказаны. В этом смысле В. противоположна знанию. К знанию мы относим то, что может быть проверено, подтверждено, обосновано, доказано. Однако далеко не все убеждения человека могут быть подвергнуты проверке и обоснованы. Часть из них принимается нами без доказательства, так сказать, «на веру», мы верим в то, что эти убеждения истинны, полезны, хороши, хотя и не можем доказать это.

ВЕРБАЛЬНОЕ ОПРЕДЕЛЕНИЕ - определение, сформулированное в языке с помощью слов или специальных знаков. В.о. противопоставляются остенсивным определениям с помощью указания на объект или явление. Напр., когда вас спрашивают «Что такое собака?», вы можете дать В.о.: «Собака есть домашнее животное из семейства псовых», а можете обойтись и остенсивным определением, т. е. указать на какую-то конкретную собаку, сопроводив свое указание словами: «Вот собака».

ВЕРИФИКАЦИЯ (от лат. verificatio — доказательство, подтверждение)  - понятие, используемое в логике и методологии научного познания для обозначения процесса установления истинности научных утверждений посредством их эмпирической проверки. Проверка заключается в соотнесении утверждения с реальным положением дел с помощью наблюдения, измерения или эксперимента. Различают непосредственную и косвенную В. При непосредственной В. эмпирической проверке подвергается само утверждение, говорящее о фактах действительности или экспериментальных данных.  Верифицируемость, т. е. эмпирическая проверяемость, научных утверждений и теорий считается одним из важных признаков научности. Утверждения и теории, которые в принципе не могут быть верифицированы, как правило, не считаются научными.

ВЕРОЯТНОСТНАЯ ЛОГИКА - разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или подтверждения. Истинным высказываниям приписывается истинностное значение (вероятность) 1; ложным высказываниям — значение 0; гипотетическим же высказываниям в качестве значения приписывается любое действительное число из интервала (0,1). Над истинностными значениями (вероятностями) гипотез определяются логические операции: конъюнкция, дизъюнкция, отрицание. Получившаяся система допускает различные аксиоматизации.

ВЕРОЯТНОСТЬ - количественная мера возможности появления некоторого события при определенных условиях. Существует несколько интерпретаций понятия В.

Классическая концепция  В. рассматривает В. как отношение  числа благоприятствующих случаев  к общему числу всех возможностей. Напр., при бросании игральной кости, имеющей 6 граней, выпадения каждой из них можно ожидать с В., равной 1/6, т. к. ни одна грань не имеет преимуществ  перед другой. Однако в реальной практике возможности далеко не всегда являются равными.

Наконец, логическая В. характеризует отношение между посылками и выводом правдоподобного, в частности, индуктивного рассуждения. Степень правдоподобия вывода по отношению к посылкам оценивают с помощью В. В семантических концепциях логическую В. часто определяют как степень подтверждения одного высказывания другим.

ВОЗМОЖНОСТЬ ЛОГИЧЕСКАЯ - одна из модальных характеристик высказывания, наряду с «необходимостью», «невозможностью» и «случайностью»; высказывание возможно, если его отрицание не является логически необходимым.

 

ВОЗРАЖЕНИЕ  - обоснованное отрицание (отклонение) к.-л. мысли, к.-л. положения, утверждения, предложения; высказывание, в котором выражается несогласие с кем-либо или с чем-либо; опровержение чьего-либо мнения или суждения.

ВОПРОС - предложение, выражающее недостаток информации о к.-л. объекте, обладающее особой формой и требующее ответа, объяснения. В языке В. выражается в вопросительном предложении, напр.: «Когда на Марс ступит первый житель Земли?» В. не является суждением, ибо для суждения характерно утверждение или отрицание ч.-л., в то время как В. не выражает ни утверждения, ни отрицания. Поэтому к В. неприменима истинностная характеристика: они не являются истинными или ложными. В. могут быть осмысленными или бессмысленными, корректными или некорректными, правильными или неправильными. Хотя сам В. не выражает суждения, в основе его всегда лежит суждение или совокупность суждений. В частности, приведенный выше В. опирается на суждения о том, что существует Земля и жители Земли, существует планета Марс, имеется принципиальная возможность полета с Земли на Марс. Условием осмысленности В. является истинность тех суждений, на которые он неявно опирается.

ВОПРОСОВ ЛОГИКА, или: Эротетическая, интеррогативная логика - раздел современной символической логики, исследующий логико-семантические свойства вопросительных предложений. Существуют два подхода к построению формальной теории вопросов, которые условно называются «лингвистическим» и «компьютерным».

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

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

 

ВЫСКАЗЫВАНИЕ КАТЕГОРИЧЕСКОЕ - высказывание, в котором предикат утверждается или отрицается относительно субъекта без ограничения к.-л. условиями и вполне определенно. В. к. обычно противопоставляются условным высказываниям и разделительным высказываниям. В традиционной логике В.к., как правило, отождествляются с простыми атрибутивными суждениями (см.: Суждение). Их структура выражается формулой: «S есть (не есть) Р».

 

ВЫСКАЗЫВАНИЕ (ПРЕДЛОЖЕНИЕ) КОНТРФАКТИЧЕСКОЕ (от лат. contra — против, factum — событие) - сложное высказывание, в котором с помощью союза «если бы..., то бы...» объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно-сослагательного наклонения.

 

Г

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

ГЁДЕЛЯ ТЕОРЕМА - важнейший результат, полученный австрийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье «О формально неразрешимых предложениях Principia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных чисел) непротиворечива, то в ней существует такое предложение А, что ни само А, ни его отрицание не могут быть доказаны средствами Z На примере анализа формальной системы, сформулированной в фундаментальном трехтомном труде англ. математиков и логиков А. Уайтхеда и Б. Рассела «Principia Mathematica», Гёдель показал, что в достаточно богатых содержательных нормальных системах имеются неразрешимые предложения, т. е. предложения, которые недоказуемы и одновременно неопровержимы. Значение Г. т. состоит в том, что она показала неосуществимость программы формализации математики, выдвинутой немецким ма­тематиком Д. Гильбертом. Как показывает Г. т., даже арифметику натуральных чисел невозможно формализовать полностью, ибо в формализованной арифметике существуют истинные предложения, которые оказываются неразрешимыми. С философско-мето-дологической точки зрения значение Г. т. заключается в том, что она показывает невозможность полной формализации человеческого знания.