История и философия науки: основные имена и понятия

ЛОГИКА формальная (греч. λογική, от λογικός – построенный на рассуждении, от λόγος – слово, понятие, рассуждение, разум) – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой обл. знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т.п. Задача Л., к-рую вслед за Кантом обычно наз. формальной Л., историч. сводилась к каталогизации правильных способов рассуждений (способов «обращений с посылками»), позволяющих из истинных суждений-посылок всегда получать истинные суждения-заключения. Известным набором таких способов рассуждений однозначно определялся процесс дедукции, характерный для т.н. традиционной Л., ядро к-рой составляла силлогистика, созданная Аристотелем. Он создал первую классификацию логич. ошибок, первую матем. модель атрибутивных отношений, заложил основы учения о логич. доказательстве (логич. обосновании истинности). По мере изучения особенностей умозаключений и демонстративного (доказывающего) мышления вообще предмет традиционной Л. расширялся за счёт несиллогистических, хотя и дедуктивных способов рассуждений, а также за счёт индукции. Совр. формальная Л. – историч. преемник традиционной Л.

ЛОГИЧЕСКИЙ ПОЗИТИВИЗМ – одно из напр. неопозитивизма, возникшее в 20-х гг. 20 в. на основе Венского кружка (существовал вначале как семинар, организованный в 1922 г. М. Шликом при каф. философии индуктивных наук Венского ун-та). Осн. представители: Р. Карнап, О. Нейрат, Ф. Франк, Г. Фейгл, Х. Рейхенбах, К. Гёдель и др. Л. п. явл-я преемником позитивистской субъективно-идеалистич. традиции, берущей начало от Беркли, Юма и махизма. Вместе с тем Л.п. отказался от характерного для предшествующего позитивизма, дискредитировавшего себя психол. и биол. подходами к познанию, сочетая в себе субъективно-идеалистич. эмпиризм с методом логич. анализа. Подобная ориентация Л.п. была обусловлена реальными проблемами науки – осознанием возрастающей роли знаково-символич. средств, тенденциями математизации и формализации знания, выявлением зависимости методов исследования действительности от типа языка и т.п. Для Л.п. характерен ярко выраженный сциентизм, согласно к-рому спец. – науч. познание является единственно возможным типом науч. – теор. деят-ти и само по себе обеспечивает формирование всеобъемлющего мировоззрения. Со второй половины 30-х гг. (после переезда основных представителей в Англию и США) Л.п. стал известен как логический эмпиризм. С 60-х гг. не существует как самостоятельное направление.

ЛОГИЧЕСКИЙ – относящийся к логике, соответствующий её законам; закономерный. Л. закон – закон, образующий основу дедукции; схема связи высказываний, выражаемая общезначимой формулой логики (аксиомой или теоремой), убедительность к-рой следует из одного только истолкования входящих в неё логических операций и по существу не связана с фактической истинностью «наполняющих» её высказываний. Л. исчисление – исчисление, правила и символы к-рого могут быть интерпретированы в терминах логики. Л. операция – операция над числами, выполняемая компьютерной программой по правилам алгебры логики, наиболее распространены Л. операции дизъюнкции, конъюнкции, отрицания, к к-рым сводятся более сложные Л. операции. Л. ошибка – ошибка, вызванная нарушением правил или законов логики. Л. синтаксис – теория (возможно, аксиоматическая), рассматривающая осн. принципы построения Л. исчислений и их формальную структуру. Л. следствие – суждение (предложение, высказывание, формула), полученное с помощью дедуктивного рассуждения из некоторых исходных суждений. Л. элемент – простейшая структурная единица компьютера, выполняющая опр. Л. операцию над двоичными переменными. Реализуется обычно на электронных приборах (полупроводниковых диодах, транзисторах) и резисторах либо в виде интегральной микросхемы с несколькими входами для приёма сигналов, соответствующих исходным переменным, и выходом для выдачи сигнала, соответствующего результату операций.