Akademik

ЛОГИСТИКА

ЛОГИСТИКА: — в нач. 20 в. название логики, изучаемой математическими методами, в частности, с использованием аксиоматизации и формализации. Слово «Л.» первоначально означало искусство вычисления или обычную арифметику. Г. Лейбниц употреблял его для обозначения «исчисления умозаключений», которое он пытался развить.
Термин вышел из употребления, уступив место терминам математическая логика, символическая логика, или современная логика.

ЛОГИСТИКА: (греч. ), 1) этап в развитии математич. логики, связанный с работами школы Б. Рассела (см. Логицизм); 2) архаический (идущий от Лейбница) синоним термина «математич. логика»; 3) в антич. математике под Л. понимали совокупность известных в то время вычислит.(в арифметике) и измерит. (в геометрии) алгоритмов — в отличие от развиваемой путём содержат. рассуждений «теоретич. математики». Под логистич. методом понимают метод построения формальной логики путём построения логистич. систем (иначе — исчислений, формальных систем). Ч ё ? ч А., Введение в математич. логику, пер. с англ., т. 1.

ЛОГИСТИКА: (математическая логика; англ, symbolic logic)
современная форма логики. Она отличается от старой, традиционной логики прежде всего своей формализированностью (т.е. принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и их структурные связи) и тем, что ее осн. методом является логическое исчисление (это значит, что выражения можно преобразовывать согласно строгим правилам чисто формально, с ними можно производить логические выкладки). Не из необходимости, но большей частью исходя из практических соображений она широко использует символику (т.е. отдельные выражения обозначает совершенно определенными знаками) и аксиоматику (т.е. все существующие знаки определяются через несколько осн., и все законы выводятся по определенным правилам выводов из нескольких осн. правил, аксиом). Логистика в широком смысле – это учение о логическом исчислении, его предпосылках и применениях, в узком смысле – только учение о логическом исчислении. Логическое исчисление есть сумма логически интерпретированных исчислений. Исчисление – это система знаков и правил оперирования с ними. Пример такого исчисления дает шахматная игра: поля и фигуры представляют систему символов, правила ходов есть операционные правила. Формальные предпосылки логического исчисления разрабатывает металогика, учение о философских основах логического исчисления; сюда относится синтаксис (учение об отношениях знаков между собой; см. также Семиотика), семантика и прагматика (учение об отношениях между знаками и теми, кто их использует). В логистике можно выделить следующие части:

ЛОГИСТИКА: (от греч. λογιστική – искусство вычислять, рассуждать). У древних греков Л. наз. искусство вычислений и геометрич. измерений, т.е. практич. арифметика, противо-поставлявшаяся теоретич. математике. В этом значении этот термин употреблялся в Зап. Европе вплоть до 17 в. Но уже Лейбниц пользовался словом logistica (так же как и термином logica mathematica) как синонимом для calculus ratiocinator (исчисления умозаключений), идею к-рого он выдвинул. В 1904 на Международном филос. конгрессе в Женеве этот термин был предложен (независимо Ительсоном, Лаландом и Кутюра) для обозначения математической логики; в наст. время чаще всего употребляется именно в этом смысле. В лит-ре встречается, однако, и иное его употребление: как название того этапа в логике, к-рый представлен логич. работами Рассела и его школы или "вязанного с этими же работами направления в философии математики, к-рое иначе наз. логицизмом.

От "Л." как названия математич. логики образован ряд важных терминов, употребляемых в логич. и филос. лит-ре. Так, характерный для математич. логики способ формализации посредством построения формализованных языков часто наз. логистическим методом; чисто формальную часть формализованного языка (т.е. неинтерпретированное исчисление) наз. логистической системой (а также формальной системой).

Лит.: Чёрч Α., Введение в математическую логику, [т. ] 1, пер. с англ., М., 1960, с. 48–60, 373–378; Кольман Э. Я., История математики в древности, М., 1961, с. 73–74; "Revue de Métaphysique et de Morale", v. 12, 1904; The dictionary of philosophy, ed. D. Runes, 4 ed., Ν. Υ., 1942.