ИСЧИСЛЕНИЕ КЛАССОВИсчисление понятий

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ

Найдено 2 определения термина ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ

Показать: [все] [краткое] [полное] [предметную область]

Автор: [отечественный] Время: [советское] [постсоветское]

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ

исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1) образованием элементов синтаксических категорий, т. е. правильных выражений языка исчисления из символов его алфавита; 2) преобразованием синтаксических выражений исчисления посредством системы аксиом и правил вывода.

Аксиомы представляют собой фиксируемый в языке исчисления набор исходных выражений, принимаемых непосредственно (как постулаты). Правила вывода - это правила вида "из формул F1, ..., Fm выводима формула G", символическая запись: (F1, ..., Fm) G. Формулы F1, ..., Fm называются посылками вывода, a G - заключением вывода. В каждом конкретном правиле формулы F1, ..., Fm, G имеют конкретный вид, число посылок (m) также принимает конкретное значение.

Приписывание символам исчисления значений, т. е. интерпретация, превращает исчисление в семантическую систему (формализованный язык). И. л. представляет собой логически интерпретированное исчисление, изучение которого предполагает тщательное построение и анализ трех металогических уровней языка: синтаксического, семантического и прагматического. Доказательством формулы F в И. л. называется последовательность формул HI, ..., Hm, F, в которой каждая формула - либо аксиома исчисления, либо выводима из некоторых предыдущих (т. е. уже доказанных) формул с помощью одного из правил вывода. Для каждого И. л. важное значение имеют вопросы о его непротиворечивости (в непротиворечивом исчислении не выводимы одновременно какое-либо выражение и его отрицание), полноте (исчисление является полным, если множество его истинных утверждений совпадает с множеством утверждений, доказуемых в нем), решении проблемы разрешимости (исчисление является разрешимым, если существует алгоритм, позволяющий для любого утверждения определять, выводимо оно в нем или нет) и др. Решение данных вопросов определяет логическую возможность интерпретации исчисления и является необходимым условием его практической реализуемости, Различные теории вывода представляют И. л., отличающиеся своими свойствами.

А. Г. Кислое

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Современный философский словарь

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

исчисление (формальная система), допускающее интерпретации в терминах д е д у к т и в н о й л о г и к и или же с самого начала строящееся в качестве формализации к.-л. содержат, логич. теории. В соответствии с распространенным употреблением термина "исчисление" не только в применении к формальным (хотя, быть может, и интерпретируемым) системам, но и к содержат, математич. и др. теоретич. аппаратам ("дифференциальное исчисление" и т.п.), термин "Л. и." используется также для наименования с о д е р ж а т е л ь н ы х систем логики, особенно в тех случаях, когда они используются в качестве базы для построения более обширных (вообще говоря, нелогич.) теорий. Для обоих пониманий термина "Л. и." наиболее существенным является не различие между ними, а то, что их объединяет, – именно, наличие четкого, "алгоритмического" (см. Алгоритм) логич. а п п а р а т а. В совр. науке общепризнана роль Л. и. как основы для построения более богатых содержанием нелогич. систем. Примерами Л. и., служащих для указанных целей, являются исчисление высказываний (клас-сическое и интуиционистское – см. Интуиционизм, Интуиционистская логика, Логика высказываний), различные виды натурального исчисления, секвенций исчисления; примерами Л. и. служат также т.н. исчисления строгой импликации Льюиса и нем. математика В. Аккермана и др. При построении на базе Л. и. к.-л. (математич.) теории к "чистому" Л. и. обычно присоединяют различные предметные, предикатные и (или) функциональные константы. Полученное в результате Л. и. наз. п р и к л а д н ы м Л. и. Простейшими наиболее важным примером служит и с ч и с л е н и е п р е д и к а т о в с р а в е н с т в о м, получаемое из обычного (классического или интуиционистского) предикатов исчисления путем введения индивидуального предиката равенства и характеризующих его постулатов. Это исчисление многие логики также считают Л. и., полагая, что предикат равенства имеет логич. природу. Независимо от этой характеристики равенства следует отметить, что исчисление предикатов с равенством чаще всего выступает именно в той роли, к-рая была охарактеризована выше как присущая Л. и., – в роли дедуктивной основы более развитых аксиоматич. теорий. То же самое можно сказать и о т.н. логико-арифметических исчисле- н и я х (напр., об исчислении, описанном в соч. С. К. Клини "Введение в метаматематику", рус. пер. 1957), поскольку формальная (т.е. построенная на аксиоматич. основе) арифметика может быть положена (и фактически кладется) в основу др. разделов математики, а также о различных системах аксиоматич. теории множеств. Исчисления такого рода (никем, кроме последоват. логицистов, не характеризуемые как логические) интерпретируются (см. Интерпретация) в соответствующих предметных областях. Для логико-арифметич. исчислений такой областью служит натуральный ряд чисел (см. Математическая индукция), для аксиоматич. теорий множеств – множества (и иногда, к л а с с ы множеств). Исследование таких логико-математич. исчислений играет важнейшую роль для проблем обоснования как математики, так и самой логики (см. Метод аксиоматический, Непротиворечивость, Парадоксы). С др. стороны, их теория в известном смысле более элементарна, чем теория "чисто" Л. и., поскольку понятия последних являются результатом более высоких абстракций. Кроме перечисл. примеров логич. и логико-математич. исчислений, основанных на т.н. двузначной логике (т.е. исходящих из различения двух "значений истинности" – "истины" и "лжи"), большое распространение получили также различные системы многозначной логики. Значит, вклад в развитие общей теории Л. и. внесли нем. математики Д. Гильберт, Гедель, Г. Генцен, амер. математики Клини, Дж. Б. Россер, Э. Пост, Черч, Керри, польские ученые Лукасевич, Тарский, Мостовский, норв. математик Т. Сколем, голл. математик А. Гейтинг, сов. ученые П. С. Новиков, А. А. Марков, Н. А. Шанин и др. Исследование различных Л. и. имеет первостепенное филос. значение, содействуя, по выражению Гильберта, изучению "техники нашего мышления" (см. "Основания геометрии", M.–Л., 1948, с. 382). Лит. см. при статьях: Исчисление, Логика высказываний, Предикатов исчисление. Ю. Гастев. Москва.

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Философская Энциклопедия. В 5-х т.

Найдено схем по теме ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — 0

Найдено научныех статей по теме ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — 0

Найдено книг по теме ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — 0

Найдено презентаций по теме ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — 0

Найдено рефератов по теме ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ — 0