Логика

ЛОГИЧЕСКАЯ ФОРМА - способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. оттого, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются предметами данной мысли.

ЛОГИЧЕСКАЯ СЕМАНТИКА - раздел логики, в котором изучаются отношения языковых знаков к обозначаемым ими объектам и выражаемому ими содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации знаковых систем любых типов, то Л.с. имеет дело с особого рода знаковыми системами — языками, построенными для целей логики. Приписывание значений выражениям исследуемого (объектного) языка осуществ-ляется посредством особого рода правил, на-зываемых семантическими. Эти правила, в свою очередь, описываются в каком-то заранее интерпретированном языке, называемом метаязыком (для данного объектного языка), который содержит как термины, относящиеся к описанию выражений объектного языка, так и термины, описывающие внеязыковые (по отношению к объектному языку) сущности...

ЛОГИЦИЗМ — философия математики, в основе которой лежит представление о логической природе математических понятий и суждений. Основной логицистский тезис сводится к тому, что математика не содержит в себе ничего, кроме комбинаторного усложнения понятий и принципов, содержащихся в логике. Математика, по мнению Рассела, есть только более зрелая логика. Л. принимает в качестве исходных следующие два положения: а) Каждое математическое понятие может быть определено в понятиях логики; б) Каждое математическое утверждение может быть представлено в форме общезначимого суждения в непротиворечивом логическом исчислении...

ЛОГИКА СОБЫТИЙ - концепция английского философа, логика и математика А.Н. Уайтхеда, в центре которой стоит герменевтическая проблема понимания. По его мнению, понимание может быть достигнуто двумя способами. Если понимаемое положение дел является сложным, то его можно понимать, рассматривая отдельно составляющие его факторы, синтез которых дает нам полную картину. Второй способ понимания выражается в том, что положение дел понимается как целое непосредственно, без промежуточных ступеней анализа и независимо оттого, доступно оно анализу или нет.

РЕЛЕВАНТНАЯ ЛОГИКА - одно из направлений современной неклассической логики, сформировавшееся во второй половине XX в. Ее возникновение связано с попыткой решить проблему формализации логического следования и условной связи средствами интенсиональной логики.

В классической логике условная связь («Если..., то...») выражается посредством материальной импликации (⊃). Соответствие между материальной импликацией и логическим следованием выражается через соотношение (I) A ⌈ B ⇔ ⌈ А ⊃ В.

РАССУЖДЕНИЕ - процедура выведения некоторого высказывания из других высказываний. Р. представляет собой познавательный прием, позволяющий с помощью вербальных, языковых средств осуществлять обоснование утверждения, опираясь на некоторое известное знание и используя различные логические методы преобразования имеющейся информации.

Утверждение, которое подвергается обоснованию, выводится в ходе Р., называют тезисом, а используемые в этом процессе исходные положения — аргументами.

РАЗЛИЧИЕ — категория, выражающая одну из сторон развития. Р. — необходимый момент развития, диалектического раздвоения единого. Р. не существует без тождества. Как и тождество, Р. бывает внешним и внутренним. Внешнее Р. есть Р. вещей, предметов, процессов и т.п., поскольку они внутренне не связаны, не едины друг с другом. Внутреннее Р. — Р. вещей, предметов, процессов и т.п., внутренне связанных друг с другом, единых. Оно означает, что данная вещь (предмет, процесс и т.п.) образуется из чего-то иного и превращается в нечто иное, оставаясь вместе с тем до поры до времени самой собой.

ПСИХОЛОГИЗМ - общее название для обозначения философско-методологического движения, которое может быть прослежено в истории развития логики, философии, интеллекгуальной культуры в целом, по крайней мере в течение последних 150 лет. Стремление показать особое место и значение психологии в логике, философии и методологии науки породило движение антипсихологизма, что, в свою очередь, повлекло за собой необходимость оттачивания аргументации по оправданию каждой из возникших сторон антитезы «психологизм — антипсихологизм» в качестве единственно правильной, с точки зрения представителей соответствующих сторон. Вместе с тем критическая реконструкция данного спора позволяет утверждать, что его основные идеи могут быть прослежены в истории логики и философии в течение последних четырех столетий, начиная с философских размышлений Дж. Локка и Р. Декарта. Циклы спадов и подъемов споров вокруг идей П., включая современность, порождают своеобразные «миры» П. и антипсихологизма в культуре. Понятия же «П.» и «антипсихологизм», представляющие эти миры, оказываются нечеткими множествами, своеобразными открытыми системами, все еще продолжающими накапливать свои элементы...

ПРОТОКОЛЬНЫЕ ПРЕДЛОЖЕНИЯ - термин, введенный логическими позитивистами для обозначения предложений, которые должны составить основание (логическое, а не временное) научного познания («Проблема протокольных предложений есть новейшая форма... поиска последнего основания знания». М. Шлик). В качестве основания может быть выбрана любая совокупность предложений, поэтому поиск базиса знания состоит, по сути, в поиске критерия истинности, т.е. в выделении таких предложений, с которыми будут сверяться все остальные предложения теории.

ПРОТИВОРЕЧИЕ ДИАЛЕКТИЧЕСКОЕ - категория, выражающая внутренний источник всякого развития, движения. П., понятое как только внешнее, не может быть таким источником. Именно признание внутреннего П., единства внутреннего и внешнего П. отличает диалектику от метафизики. «...Диалектика есть изучение противоречий в самой сущности предметов...» (Ленин В.И. Полн. собр. соч. Т. 29. С. 227). Иначе говоря, диалектика отличается от метафизики не вообще признанием П., а признанием П. именно в сущности предметов, т.е.