ЛОГИСТИКА

Большая советская энциклопедия (БЭС)

(от греч. logistike — искусство вычислять, рассуждать)
        1) синоним (несколько архаический) термина Математическая логика. 2) Наименование этапа в развитии математической логики, представленного работами Б. Рассела и его школы (см. Логицизм). В античной математике Л. называли «искусство» вычислений и геометрических измерений, противопоставлявшееся «теоретической» математике. Г. В. Лейбниц употреблял термины logistica и logica mathematica как синонимы для разрабатывавшегося им calculus ratiocinator — исчисления умозаключений, идеи которого получили впоследствии более полное воплощение в современной математической логике. Термин «Л.» имеет ряд производных: логистический метод (способ изложения формальной логики посредством построения формализованных языков), логистическая система (то же, что Формальная система, исчисление) и др.

         Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
         Ю. А. Гастев.

Орфографический словарь Лопатина

лог`истика, лог`истика, -и

Толковый словарь Ефремовой

[логистика]
ж.
1) устар. Математическая логика.
2) Одно из философских направлений математики, обосновывающее возможность сведения всей математики к математической логике.

Философский словарь

первоначально так назывались логические исчисления. Лейбниц нередко говорил о математической логике как Л. Понимание Л. как символической или математической логики было закреплено на философском конгрессе в Женеве в сентябре 1904 по предложению Ительсона, А. Лаланда и Л. Кутюра (Логицизм).

Философский энциклопедический словарь

ЛОГИСТИКА (математическая логика; англ, symbolic logic) – современная форма логики. Она отличается от старой, традиционной логики прежде всего своей формализированностью (т.е. принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и их структурные связи) и тем, что ее осн. методом является логическое исчисление (это значит, что выражения можно преобразовывать согласно строгим правилам чисто формально, с ними можно производить логические выкладки). Не из необходимости, но большей частью исходя из практических соображений она широко использует символику (т.е. отдельные выражения обозначает совершенно определенными знаками) и аксиоматику (т.е. все существующие знаки определяются через несколько осн., и все законы выводятся по определенным правилам выводов из нескольких осн. правил, аксиом). Логистика в широком смысле – это учение о логическом исчислении, его предпосылках и применениях, в узком смысле – только учение о логическом исчислении. Логическое исчисление есть сумма логически интерпретированных исчислений. Исчисление – это система знаков и правил оперирования с ними. Пример такого исчисления дает шахматная игра: поля и фигуры представляют систему символов, правила ходов есть операционные правила. Формальные предпосылки логического исчисления разрабатывает металогика, учение о философских основах логического исчисления; сюда относится синтаксис (учение об отношениях знаков между собой; см. также СЕМИОТИКА), СЕМАНТИКА и прагматика (учение об отношениях между знаками и теми, кто их использует). В логистике можно выделить следующие части:
1. Исчисление высказываний. Оно исследует связи между высказываниями как нерасчлененными целыми (см. ВЫСКАЗЫВАНИЯ) с помощью функторов, которые приблизительно cоответствуют словам «не», «или», «если... то...», «и» и т. д. Эти функторы называются функциями истинности, потому что значение истинности высказывания (Фреге: «Значение истинности высказывания – это истина или ложь»), которое они образуют, зависит в конечном счете от значения истинности, а не от смысла высказываний, которые служат аргументами этих функторов. Функтор «если... то...» называется импликатором, а его применение образует импликацию (p>q, «p включает q»). Др. функции истинности – это: негатор (p, «не-р»), дизъюнктор (pvq, «р или q») (союз «или» понимается здесь в неразделительном смысле), конъюнктор (р • q, «p...[kon]q», приблизительно соответствует «и» в разговорном языке), эквивалентор (р = q, «p равно q»; см. также ЭКВИВАЛЕНТ).
2. Исчисление предикатов. Оно анализирует те высказывания, которые исчисление высказываний рассматривает как целое. Предикат – это имя или внешний знак для обозначения свойств. Подчинение свойства «индивидууму», т.е. определенному отдельному предмету, выражается посредством предикатора, объем этого подчинения – посредством квантификатора; в исчисление входят не сами свойства, а лишь предикаторы или квантификаторы. Свойство, которое обозначается предикатором с одним только аргументом, называется качеством; при нескольких аргументах его называют отношением.
3. Исчисление классов (см. также КЛАСС), причем, напр., класс курильщиков трубок воспринимается как «абстракция» формы выражения «x курит трубку»'; если «f» означает «курить трубки», то x(fx) означает те самые х, для которых верно fx (x курит трубку). Функтор «/» поэтому называется абстрактором (компрегенсором); как аргумент, он обладает формой высказываний и образует поэтому класс.
4. Исчисление отношений анализирует высказывания об отношениях («брат кого-то», «больше, чем», «подобно» и т. д.). Если R обозначает «составитель» и а – «Библия», тогда R'а есть класс составителей Библии; если а – «Гомер», то R'а обозначает класс произв. Гомера.
5. Особые исчисления. Сюда относятся: исчисления модальностей, многозначная логика (см. также ФОРМАЛИЗМ), комбинаторная логика, силлогистика. Кроме приведенных в разделе «Исчисление высказываний» пяти символов, используется примерно еще шестьдесят (кроме больших и малых рим. и греч. букв). Первые попытки в направлении логистики были сделаны Г.В.Лейбницем. Его идеи были подхвачены Г.Плокке, И.Г.Ламбертом; вследствие начавшегося вскоре победного шествия трансцендентальной логики Канта их учения почти не привлекли внимания. Позже, независимо от этих учений, основателем «алгебры логики» явился Дж. Буль, опубликовавший в 1874 «The mathematical analysis of logic, being an assay towards a calculus of deductive reasoning». Дальнейшее развитие она получила в работах Августа де Моргана (1806-1878), Стенли Джевонса, Джона Венна (1834 – 1923), Ч.С.Пирса и др., достигнув вершины в трудах математика Эрнста Шредера (1841-1902; «Der Operationskreis des Logikkalkьls», 1877; «Ьber das Zeichen», 1890; «AbriЯ der Algebra und Logik», 1909). Подлинным основателем современной логистики является Готтлоб Фреге, который, однако, не получил почти никакого признания в Германии. Его мысли были восприняты итал. математиком Джузеппе Пеано (1858-1932; «Formulaire mathematique», 5 vol., 1895-1908), который ввел в употребление простую символику, получившую в настоящее время самое широкое распространение. Пользуясь ее языком, А. Н. Уайтхед и Б. Рассел написали основополагающую в области логистики работу «Principia Mathematica» (1910-1913). Кроме этого, имеется ряд др. направлений в развитии логистики, важнейшие из которых: исчисление модальностей, развитое К. И. Льюисом, многозначная логика Яна Лукасевича и Э. Л. Поста, комбинаторная логика Керри. Развитие аксиоматики и методологии исследования было значительно ускорено благодаря работам Давида Гильберта. Ведущие школы в логистике возникли позже, в период между двумя мировыми войнами, прежде всего в Германии, Польше и США; это привело к быстрому развитию логики, которое продолжается и в настоящее время.

Философский энциклопедический словарь 2

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

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: ЛОГИСТИКА

будет выглядеть так: Что такое ЛОГИСТИКА