Словарь Логики

Вербальное Определение — определение, сформулирован­ное в языке с помощью слов или специальных знаков. В.о. проти­вопоставляются остенсивным определениям с помощью указания на объект или явление. Напр., когда вас спрашивают «Что такое собака?», вы можете дать В.о.: «Собака есть домашнее животное из...
Верификация(от лат. verificatio — доказательство, подтвер­ждение)  - понятие, используемое в логике и методологии науч­ного познания для обозначения процесса установления истинно­сти научных утверждений посредством их эмпирической проверки. Проверка заключается в соотнесении утверждения с реальным...
Вероятностная Логика — разновидность многозначной ло­гики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или подтверждения. Истинным высказы­ваниям...
Вероятность — количественная мера возможности появле­ния некоторого события при определенных условиях. Существует несколько интерпретаций понятия В. Классическая концепция В. рассматривает В. как отноше­ние числа благоприятствующих случаев к общему числу всех воз­можностей. Напр., при бросании...
Возможность Логическая - одна из модальных характе­ристик высказывания, наряду с «необходимостью», «невозмож­ностью» и «случайностью»; высказывание возможно, если его от­рицание не является логически необходимым. В. л. обычно выражается оборотом «возможно, что A» (A — какое-то высказывание), но...
Возражение - обоснованное отрицание (отклонение) к.-л. мысли, к.-л. положения, утверждения, предложения; выска­зывание, в котором выражается несогласие с кем-либо или с чем-либо; опровержение чьего-либо мнения или суждения.
Вопрос — предложение, выражающее недостаток информации о к.-л. объекте, обладающее особой формой и требующее ответа, объяснения. В языке В. выражается в вопросительном предложе­нии, напр.: «Когда на Марс ступит первый житель Земли?» В. не является суждением, ибо для суждения характерно утверждение...
Вопросов Логикаили: Эротетическая, интеррогативная логика,  — раздел современной символической логи­ки, исследующий логико-семантические свойства вопросительных предложений. Существуют два подхода к построению формальной теории вопросов, которые условно называются «лингвистическим» и «ком­пьютерным...
Вывод Логический — рассуждение, в ходе которого из к.-л. исходных суждений — посылок — с помощью логических правил получают заключение — новое суждение. Напр., из суждений «Все люди смертны» и «Кай — человек» мы можем вывести с помощью правил простого категорического силлогизма новое суждение: «Кай...
Высказывание - грамматически правильное повествователь­ное предложение, взятое вместе с выражаемым им смыслом. В логике употребляется несколько понятий В., существенно раз­личающихся между собой. Прежде всего это понятие В. дескриптивного, или описатель­ного, основной задачей которого является...
Высказывание (предложение) Контрфактическое(от лат. contra — против, factum — событие)  — сложное высказывание, в котором с помощью союза «если бы..., то бы...» объединяются два высказывания A и В. В естественном языке ему соответствуют пред­ложения, имеющие форму условно-сослагательного наклонения...
Высказывание Дескриптивное(от англ. description - опи­сание), или: Высказывание описательное,  — высказыва­ние, главной функцией которого является описание действитель­ности. Если описание, даваемое высказыванием, соответствует реальному положению дел, высказывание считается истинным, если не...
Высказывание Категорическое - высказывание, в кото­ром предикат утверждается или отрицается относительно субъек­та без ограничения к.-л. условиями и вполне определенно. В. к. обычно противопоставляются условным высказываниям и раздели­тельным высказываниям. В традиционной логике В.к., как правило,...
Гёделя Теорема - важнейший результат, полученный авст­рийским логиком и математиком К. Гёделем (1906-1978). В 1931 г. в статье «О формально неразрешимых предложениях Principia Mathematica и родственных систем» Гёдель доказал теорему о неполноте: если система Z (содержащая арифметику натуральных...
Герменевтика(от греч. hermeneuo - разъясняю, истолковы­ваю)  - искусство истолкования, перевода литературных текстов, основанное на грамматическом исследовании языка, изучении конкретных типов литературных произведений и связанных с ними исторических данных, помогающее раскрыть внутренний, глубин­...
Гипостазирование(от греч. hypostasis - сущность, субстан­ция)  - логическая (семантическая) ошибка, заключающаяся в опредмечивании абстрактных сущностей, в приписывании им ре­ального, предметного существования. Эту ошибку допускает, напр., тот, кто считает, что наряду со здо­ровыми и больными...
Гипотеза(от греч. hipothesis - основание, предположение)  -положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предполо­жение о существовании некоторого явления. Г. может касаться су­ществования объекта, причин его возникновения, его...
Гипотетико-дедуктивный Метод - метод научного по­знания и рассуждения, основанный на выведении (дедукций) зак­лючений из гипотез и других посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении зна­чение истинности переносится на заключение, а посылками слу­жат...
Гипотетическое Утверждение - утверждение, которое высказывается не как установленная истина, а как некое предпо­ложение, способное оказаться как истинным, так и ложным, напр.: «Возможно, что Наполеон был отравлен», «По-видимо­му, завтра будет хорошая погода». Важной разновидностью Г. у. является...
Гомоморфизм Изоморфизм — логико-математические понятия, выражающие уподобление (гомоморфизм) либо одина­ковость (изоморфизм) строения систем. Две системы А и В назы­ваются изоморфными, если между их элементами, а также функ­циями, свойствами и отношениями, имеющими смысл для этих систем, существует...

Реклама