Логика

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

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

ЛОГИЧЕСКИЙ ЭМПИРИЗМ – самоназвание логического позитивизма, получившее широкое распространение, начиная с 1930-х гг., особенно после переезда ведущих представителей австро-немецкого логического позитивизма в США. Сам термин «логический эмпиризм» призван был продемонстрировать независимость концепции его сторонников, претендовавших на радикальную «революцию в философии» и создание подлинной философии современной науки, от всех разновидностей прежней философии, не исключая и позитивизма, и подчеркнуть ориентацию на собственно научную эмпирию. Поздний логический эмпиризм 1950-х гг.

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

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

ЛОГИЧЕСКИЙ АТОМИЗМ – философская концепция, сформулированная Б. Расселом в его работах «Наше познание внешнего мира» (1914), «Философия логического атомизма» (1918), «Мистицизм и логика» (1918) и др., а также Л. Витгенштейном в «Логико-философском трактате» (1921). Является уникальным по своей прозрачности примером проекции определенной концепции логической структуры языка на реальность и создания соответствующей этой структуре онтологической доктрины. Как указывал сам Рассел: «Я постараюсь сформулировать... определенный вид логической доктрины и на основе этого...

РАЗРЕШЕНИЯ ПРОБЛЕМА – возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести некоторые построения циркулем и линейкой. Общая формулировка проблемы разрешения следующая: дан класс методов Ф, дан класс проблем Р. Можно ли найти единый метод f ∈Φ (разрешающий метод), позволяющий решить каждую из проблем Р, для которой в принципе существует решение?..

ЛОГИЧЕСКИЕ СВЯЗКИ – символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие логические связки, как конъюнкция (союз «и», символические обозначения: &, ∧ и точка в виде знака умножения, которые часто опускают, записывая конъюнкцию А и В как AB), дизъюнкция (нестрогий союз «или», обозначается как «∨»), импликация («если..., то», обозначается с помощью знака «⊃» и различного рода стрелок), отрицание («неверно, что...», обозначается: , ~ или чертой над отрицаемым выражением). Из перечисленных отрицание является одноместной (унарной) связкой. Другие являются двухместными (бинарными). В принципе логические связки могут быть сколь угодно местными, но на практике более, чем бинарные, используются очень редко...

ЛОГИЧЕСКИЕ ОШИБКИ – ошибки, связанные с нарушением логической правильности рассуждений. Состоят в том, что утверждается истинность ложных суждений (либо ложность истинных суждений), или логически неправильные рассуждения рассматриваются как правильные (либо логически правильные рассуждения – как неправильные), или недоказанные суждения принимаются за доказанные (либо доказанные – за недоказанные), или, наконец, неверно оценивается осмысленность выражений (бессмысленные выражения принимаются за осмысленные либо осмысленные – за бессмысленные).

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