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

Найдено 4 определения
Показать: [все] [проще] [сложнее]

Автор: [российский] [зарубежный] Время: [советское] [постсоветское] [современное]

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ
исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

Источник: Словарь науки. Общенаучные термины и определения. 2008 г.

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 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-х т.

ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
Исчисление, символы и правила которого могут быть интерпретированы в терминах логики. Любое исчисление представляет собой знаковую систему, которая, как чисто синтаксическая структура, однозначно определяется двумя порождающими процедурами: 1) образованием элементов синтаксических категорий, т. е. правильных выражений языка исчисления, из символов его алфавита (множества исходных символов исчисления); 2) преобразованием синтаксических выражений исчисления посредством системы аксиом и правил вывода. Аксиомы представляют собой фиксируемый в языке исчисления набор исходных выражений, принимаемых непосредственно (как постулаты). Правила вывода – это правила вида «из формул F1 ,...,F m выводима формула G», символическая запись: (F1 ,...,F m )|—G.Формулы F1 ,...,F m называются посылками вывода, a G – заключением вывода. В каждом конкретном правиле формулы F1 ,...,F m , G имеют конкретный вид, число посылок (m) также принимает конкретное значение. Приписывание символам исчисления значений, т. е. интерпретация, превращает исчисление в семантическую систему (формализованный язык). Логическое исчисление представляет собой логически интерпретированное исчисление, изучение которого предполагает тщательное построение и анализ трех металогических уровней языка: синтаксического, семантического и прагматического. Доказательством формулы в логическом исчислении называется последовательность формул, в которой каждая формула либо аксиома исчисления, либо выводима из некоторых предыдущих (т. е. уже доказанных) формул с помощью одного из правил вывода. Для каждого логического исчисления важное значение имеют вопросы о его непротиворечивости (в непротиворечивом исчислении невыводимы одновременно какое-либо выражение и его отрицание), полноте (исчисление является полным, если множество его истинных утверждений совпадает с множеством утверждений, доказуемых в нем), решении проблемы разрешимости (исчисление является разрешимым, если существует алгоритм, позволяющий для любого утверждения определять, выводимо оно в нем или нет) и др. Решение данных вопросов определяет возможность его интерпретации и является необходимым условием его практической реализуемости. Различные теории вывода представляют логические исчисления, отличающиеся своими свойствами. Логические исчисления составляют основу формализованных научных теорий. Выражая научную теорию в виде исчисления, важно ставить содержательный вопрос адекватности данного исчисления данной теории. Но на определенном этапе с исследовательской точки зрения необходимо анализировать само исчисление в качестве предмета научной рефлексии, независимо от какой-либо возможной интерпретации, просто как систему знаков и операций с последовательностями этих знаков. Теория знаковых рядов (синтаксических систем) позволяет совершенно автономно рассматривать произвольное исчисление так же, как мы рассматриваем систему правил различных интеллектуальных игр, напр., таких, как крестики-нолики, реверси, шахматы и др. Правда здесь есть один очень важный нюанс. Правила игры мы можем относительно легко изменить, напр., договориться, что в крестики-нолики теперь будет проигрывать, а вовсе не выигрывать, тот, кто будет вынужден построить линию из своих знаков. Вряд ли такие «негативные» крестики-нолики станут популярными, но они все равно останутся интеллектуальной комбинаторной игрой. Модификация принципов какого-либо исчисления также возможна, но останемся ли мы тогда в пределах привычной интерпретации? Это достаточно редко можно гарантировать заранее. Знаменитый «toleranz prinzip» Р. Карнапа здесь неуместен, и конвенционалистское отождествление исчисления и теории, проводимое ранними логическими позитивистами, к сожалению, спровоцировало несправедливо негативное отношение философов к формальным средствам анализа. Содержательная теория не есть исчисление, она лишь может быть выражена в форме исчисления. Любое исчисление модифицируемо различными способами, а сама возможность модификаций приводит к обобщению этого исчисления. Но обобщенное исчисление не обязано представлять какую бы то ни было содержательную теорию. Обобщение формальной теории традиционной геометрии привело к учению о многомерных пространствах.
Но пространство более трех измерений не есть пространство в прежнем значении слова, а лишь система зависимостей, которая может быть актуализирована в различных сферах знания. Так же обстоит дело и с появлением неевклидовых геометрий и неклассических логик. Причем здесь важно не впасть в универсалистскую крайность «единственности интерпретации». Ни евклидова геометрия, ни классическая логика не оказались единственными и универсальными. Само по себе исчисление ничего не выражает, и при автономном его рассмотрении знаки алфавита не выполняют обозначающую функцию. Исчисление в этом смысле есть лишь форма для возможных интерпретаций: слепок с некоторых из уже имеющих место теорий и заготовка для потенциальных. В этом есть свои преимущества, так как автономное рассмотрение исчислений: исключает при интерпретации все неявно содержащиеся в теории предпосылки, позволяя работать с чистой теорией; развивает сам аппарат формализации, модифицируя различные классы исчислений, выясняя их внутренние возможности и повышая уровень общности подхода; позволяет «впрок» накапливать исчисления, готовясь к потребности в самых неожиданных интерпретациях для нового теоретического знания.
Таким образом, интеллектуальная работа заключается не только исключительно в конструировании исчисления, адекватного для выражения конкретной содержательной теории, но и в генерировании формальных теорий, которые могли бы стать основой интерпретации какого-либо исчисления. А. Г. Кислов

Источник: История философии науки и техники.