ЛОГИСТИКА: математическая логика в форме алгоритма. Этот термин, выработанный в 1904 г. на Конгрессе логиков в Женеве, пришел на смену таким выражениям, как «математическая логика», или «алгоритмика», «алгебра логики» и т. д. Логистика — современная логика, форма математических комбинаций. Разрабатывалась Венским кружком (Карнап, Тарский, Витгенштейн) и неопозитивизмом или англосаксонским логическим позитивизмом (школа Бертрана Рассела).
ЛОГИЦИЗМ: философская доктрина, сводящая все науки к математической форме и превращающая саму математику в логический инструмент. Один из основателей логицизма — Бертран Рассел.
ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ: выражение появилось в 1930 г. для обозначения философии логического или лингвистического анализа, возникшей в Великобритании в начале XX в. под влиянием Мора и Рассела. Эта философия анализа была подхвачена австрийскими философами Витгенштейном и Дж. Уисдомом. Пик ее славы приходится на промежуток между двумя войнами и связан с именами членов Венского кружка (Шлик, Карнап, Рейхенбах, Нейрат, Крафт, Гемпель), сделавших из нее критику метафизики. Она развивалась также в Польше (Котарбиньский, Лестневский, Тарский). Сегодня этот стиль философствования уже завоевал американскую мысль (Куайн, Гудмен), пытается завоевать германские и северные страны (Аквист, фон Райт, Хинтикка и Хилпинен) и оказывал влияние даже на советскую мысль. Если верить Вюйемену, он представляет собой на сегодняшний день единственную действительно живую философию (к тому же оставшуюся за пределами университетской французской философии, которая плохо его знает). Логический позитивизм считает, что только логический анализ может доказать связность и истинность изложенного. Анализ знания — это ни в коей мере не углубление психологических данных (как у Лашелъе, Ланьо или Бергсона). Физик, отклоняющийся от установленных принципов надежных следствий, прежде всего пытается вычислять: «Он не должен обязательно верить в истинность выводимых им формул; ни даже познавать их в банальном смысле этого слова. Достаточно будет, если он корректно их построит. Истине формулы остается, следовательно, лишь озарить наш разум или поддержать нашу волю» (Вакс). Это «познание без познающего субъекта», вытекающее из диалектики понятий, а не из активности субъекта, составляет главный объект логического позитивизма, сконцентрировавшего свои поиски вокруг понятия смысла. Карнап предложил здесь свои критерии смысла. Предложения должны быть проверяемыми (либо с помощью расчетов, либо опытным путем) или подтверждаемыми (когда у нас есть идея доказательства еще до постановки опыта). Он исключил так называемые «метафизические» идеи как лишенные смысла. Логический анализ предстает как своего рода микрокосм (Фреге), цель которого — выявление смысла и проверка «надежности» изложения. Естественно; что он выливается в анализ языка и углубление семантики (науки об отношениях между языковыми символами и теми внешними объектами, к которым они относятся). Существуют имя и объект (так называемое обозначаемое, или референт), обозначенный этим именем. Фреге добавляет сюда еще и смысл. Например, «Утренняя звезда» и «Вечерняя звезда» обозначают один и тот же референт (планету Венера), но их смысл не одинаков: «Утренняя звезда» означает небесное тело, появляющееся на заре, а «Вечерняя звезда» — звезду, сияющую в сумерках. Фреге углубит различие между анализом языка и анализом смысла: существуют, с одной стороны, вещи, обладающие теми или иными характеристиками (например, «кот мяукает»), с другой стороны—- указывающие на них понятия (понятие «кот» не мяукает, в отличие от его физической реальности), которые сами обладают собственными характеристиками, на которые в свою очередь «указывает» высшее понятие (понятие «млекопитающее», указывающее на характеристики, общие для кота и других животных). С точки зрения формы, логический позитивизм отличается применением символической логики (под влиянием Рассела) к теории познания. Что же касается его содержания, главными темами здесь остаются дихотомии: аналитическая истина (истина языка) — синтетическая истина (истина опыта), истинное — не истинное, научные предложения — метафизические предложения, формальная наука — фактическая наука. Анализируя парадоксы (самый простой: парадокс лжеца, который говорит, что он лжет. Как же он может сказать правду?), Поппер и особенно Тарский и Гёдель (1931) показывают, что невозможно вывести универсальную теорию смысла, который был бы приложим к самому себе (был бы «самореферентен»), а это уже ведет к отказу от философии в качестве общей теории науки. Каковы бы ни были рамки логического позитивизма, он внес важный вклад в развитие современного эмпиризма в англосаксонских странах и отметил исключительно активный период в развитии философской мысли XX в.