ЛОГИЧЕСКАЯ ФОРМА

Найдено 5 определений
Показать: [все] [проще] [сложнее]

Автор: [российский] Время: [советское] [постсоветское] [современное]

 Логическая форма
способ строения мысли, специфическая связь между ее содержательными компонентами.

Источник: Традиционная логика. Словарь по книге

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

Источник: Словарь по логике

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

Источник: Энциклопедия эпистемологии и философии науки

ФОРМА ЛОГИЧЕСКАЯ
форма в логике) – та сторона рассуждения (доказательства, вывода, аргументации и т.п.), к-рая не зависит от содержания данного рассуждения; Ф. л. в языке фиксируется посредством логич. констант и образуемых с их помощью отд. фраз и их сочетаний – схем рассуждения (форм вывода, выражающих связь посылок и заключения), в к-рых может воплощаться разное содержание. Именно к логич. формам – к "формальной" стороне рассуждений – относятся устанавливаемые в (формальной, математической) логике логич. законы (законы логики, см. Мышления законы) и правила логич. перехода (см. Правило вывода), а также многие исследуемые в ней проблемы. Среди последних центр. место занимает проблема уточнения понятия логич. следования, исходным пунктом к-рой как раз и является констатация того, что логически правильная (логически убедительная) схема рассуждения не зависит от того, истинны или ложны утверждения, к к-рым они применяются: "Рассуждение может быть верным несмотря на то, что утверждения, из которых оно построено, ложны, и как раз тогда, когда мы констатируем эту независимость, мы и отделяем форму от содержания" (Черч ?., Введение в математическую логику, М., 1960, с. 15). Именно тем, что предметом исследования в логике являются Ф. л., объясняется распространенная ее квалификация как ф о р м а л ь н о й логики. Отделение Ф. л. от содержания – абстракция (отвлечение) формы от реально осуществляемого в мышлении и естеств. языке рассуждения – связано с трудностями, к-рые проистекают, в частности, из обычно "сокращенного" (энтимематического, см. Энтимема) характера таких рассуждений (нек-рые составные части к-рых могут пропускаться, т.к. "подразумеваются сами собой") и нередко неоднозначности смысла участвующих в них выражений. В логике эти трудности преодолевают с помощью логических исчислений, к-рые, помимо прочего, служат и для уточнения Ф. л. (наиболее известные из исчислений такого рода – это исчисления логики высказываний и логики классов, предикатов исчисление). Ф. л., будучи независимыми от содержания конкретных рассуждений, зависят от содержания мышления в более общем смысле: в конечном счете они являются отображением наиболее простых и общих черт объектов реальности (того, что объекты бывают одинаковы или различны, что они образовывают классы, обладают теми или иными свойствами, вступают в те или иные отношения и т.д.); с этими общими чертами объектов реальности естественно связывать образование и применение в познании понятий и суждений, субъектно-предикатную структуру высказываний, осуществление логич. переходов от одних истин к другим (см. Умозаключение),– словом, функционирование в познании того, что в философии и нематематич. логике носит название "основных форм мышления". Современная формальная логика, как правило, не использует понятие "основной формы мышления"; но в анализе логич. форм она идет дальше традиц. логики, раскрывая богатство понятий, суждений и умозаключений как Ф. л. В частности, создаваемые в ее рамках формализованные языки позволяют раскрывать и уточнять различные аспекты Ф. л., проводить анализ Ф. л. с различной (определяемой задачами исследования) степенью глубины и т.п. Существенно, что всякий формализованный язык означает принятие соответствующего метода логического анализа рассуждений, т.е. метода выделения в них стороны, относящейся к Ф. л., и отделения ее от стороны, относящейся к содержанию. При этом обнаруживаются – особенно при исследовании семантики формализованного языка – связи этих сторон и, в более общем гносеологич. смысле, зависимость Ф. л. от содержания, но только не от содержания отдельных, конкретны х рассуждений или процессов мышления, а от "обобщенного" содержания всей данной области науки или практики, от общего характера постановок и решений возникающих в данной области науч. задач и т.п. Этим – зависимостью логич. средств от "обобщенного" содержания тех или иных фрагментов реальности и (или) методов их исследования в науке,– в частности, и объясняется многообразие логич. концепций, различных "логик" формализованных языков, лишь вся развивающаяся совокупность к-рых служит отображению в науке "формальной" (формальнологической, относящейся к Ф. л.) стороны рассуждений и доказательств. Б. Бирюков. Москва.

Источник: Философская Энциклопедия. В 5-х т.

ФОРМА ЛОГИЧЕСКАЯ
способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т. е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т п. являются предметами данной мысли. В качестве механизма подобного отвлечения рассматривают процедуру замены переменными (параметрами) отдельных дескриптивных составляющих языкового контекста, выражающего данную мысль.
Приведенное интуитивное понятие логической формы получает в современной логике серьезные уточнения. Считается, что анализ формы концептуальных образований (понятий, суждений, рассуждении и т. п.) не может осуществляться вне языка и существенным образом зависит от выбора языковых средств. Предполагается, что мысленные конструкции адекватно оформлены в виде осмысленных выражений естественного языка. Для фиксации их логической формы используют особые искусственные языки логики, которые, во-первых, должны иметь точный синтаксис, т. е. точно заданные алфавит и правила образования сложных выражений, и, во-вторых, основываться на определенной системе семантических категорий (см. Семантических категорий теория) с четким подразделением исходных символов на логические и нелогические, указанием типов возможных значений для различных сортов нелогических символов, фиксацией значений логических символов и формулировкой точных семантических правил установления значений сложных выражений.
Процедура выявления логической формы мысли может рассматриваться как процесс перевода выражающего мысль естественно-языкового контекста в искусственный логический язык — формализованный язык. При этом переводе дескриптивные термины или целиком простые высказывания в составе исходного контекста замещаются нелогическими символами (параметрами) искусственного языка соответствующих семантических категорий, причем одинаковые выражения замещаются одинаковыми символами, а разные — разными, а также воспроизводится порядок и способ связи дескриптивных составляющих в соответствии с синтаксическими правилами логического языка. Полученное в результате указанной процедуры выражение как раз и фиксирует логическую форму мысли. Его нельзя рассматривать как лишенное содержания, оно содержит информацию, выражаемую логическими терминами, а также информацию о категориях дескриптивных терминов исходного контекста, об их тождестве и различии и о специфике их сочленения.
Логическую форму не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Ее исследование во многом обусловлено категориальными особенностями искусственного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие. Анализ логической формы может иметь различную степень глубины. Так, при выражении формы естественно-языковых контекстов в языке логики высказываний производится замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики и логики предикатов позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий (в обычной силлогистике имеется лишь один тип нелогических терминов — общие термины, знаки классов, в то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций), поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой SaP («Всякий Десть Р»), где параметрами S и P замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы Vx ((x) з ^(х, а)), где параметр соответствует знаку свойства «быть планетой». R2 — знаку отношения «вращается вокруг», а — имени «Солнце».
Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е. Д. Смирновой «Формализованные языки и проблемы логической семантики» (М., 1982), в которой различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами соответствующих категорий и способной быть представленной в виде графа, и логической формы второго уровня, представленной в виде обобщенного дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант.
Понятие логической формы является одним из наиболее фундаментальных в логике, т. к. особенность ее предмета — в исследовании мыслительных феноменов, познавательных приемов, языка с точки зрения их структуры, формы. Определения таких важнейших логических терминов, как «правильное дедуктивное умозаключение», «логически истинное высказывание», и др. существенным образом опираются на понятие логической формы. Законы логических теорий (см. Закон логический) являются не чем иным, как логическими формами высказываний естественного языка, принимающими при любых допустимых интерпретациях дескриптивных символов значение «истина».
В. И. Маркин

Источник: Новая философская энциклопедия

Найдено научных статей по теме — 14

Читать PDF
16.21 мб

Логическая форма и обыденное мышление

Вострикова Екатерина Васильевна
Данная статья представляет собой рецензию на книгу Е.Г. Драгалиной-Черной «Неформальные заметки о логической форме». Предлагается обзор структуры и основных идей книги.
Читать PDF
347.68 кб

Логические основания формального реализма

Ладов Всеволод Адольфович
Рассматриваются различные виды парадоксальности и различные трактовки обоснования возникновения логических парадоксов.
Читать PDF
277.85 кб

ФОРМАЛЬНО-ЛОГИЧЕСКИЙ АНАЛИЗ ФЕНОМЕНА "ЕВРАЗИЙСТВО"

Бабаскин С.А.
В статье даётся анализ идейного направления «евразийство» и степени его соответствия требованиям научной теории. «Евразийство» рассматривается в его классической трактовке начала двадцатого столетия.
Читать PDF
386.04 кб

Логический позитивизм и современная формальная философия науки

Архиереев Николай Львович
Статья посвящена анализу стратегии формализации и аксиоматизации научного знания, предложенной в рамках программы логического позитивизма.
Читать PDF
137.16 кб

Развитие высших психических функций. Часть 1. Формально-логический подход

Кайдановская Ирина Анатольевна
В генетической психологии предметом исследований является интеллект.
Читать PDF
200.15 кб

Формально-логическое противоречие: выражение «А и не-А» и логика Роговского

Стешенко Николай Иванович
Анализируется отношение между «А и не-А» и формальным противоречием. Показано, что при логической интерпретации не отвергается методологический принцип непротиворечия
Читать PDF
112.68 кб

Формально-логическое моделирование в исследовании целостных социальных систем

Сомкин А. А.
Выявляется специфика формально-логическогомоделирования целостных социальныхсистем, к которым относятся личностьи социум.
Читать PDF
252.84 кб

Формально-логическое мышление дошкольников при разном уровне культурной конгруэнтности

Баянова Лариса Фаритовна, Мустафин Тимур Равильевич
Обсуждаются результаты эмпирического исследования особенностей формально-логического мышления дошкольников при разном уровне культурной конгруэнтности.
Читать PDF
398.07 кб

Проблема референции теоретических терминов и формальная программа логического позитивизма

Архиереев Николай Львович
Элементами программы логического позитивизма была дихотомия предложений научной теории на аналитические и синтетические, а также кумулятивная модель развития научного знания.
Читать PDF
190.99 кб

Опыт математического представления музыкально-логических закономерностей в книге Я. Ксенакиса «Форма

Горбунова Ирина Борисовна, Заливадный Михаил Сергеевич
Анализируется математическая интерпретация логических закономерностей музыки, осуществленная в книге выдающегося французского композитора и архитектора греческого происхождения Янниса Ксенакиса (1922–2001).
Читать PDF
1.42 мб

Пространственно-логическая модель формализации политического выбора американского избирателя: опыт д

Петров Артур Игоревич
Итоги 58-х президентских выборов в США, прошедших 8 ноября 2016 г., для многих оказались неожиданными.
Читать PDF
409.80 кб

Фундаментальное обобщение формально-логической концепции «Пропозициональных установок» Бертрана Расс

Лобовиков Владимир Олегович
В двузначной алгебре формальной этики обосновывается формально-аксиологическая эквивалентность соответствующих «пропозициональных установок» как морально-правовых ценностных функций от двух переменных.
Читать PDF
216.36 кб

2015.03.017. КРААЛ А. ПОЯВЛЕНИЕ ЛОГИЧЕСКОЙ ФОРМАЛИЗАЦИИ В ФИЛОСОФИИ РЕЛИГИИ: ГЕНЕЗИС, КРИЗИС И РЕАБИ

Боброва Л.А.
Читать PDF
103.79 кб

Диалектический материализм в «Цифровом формате» (дискретная математическая модель логически непротив

Лобовиков Владимир Олегович
Исследуется дискретная математическая модель диалектического материализма как формально-аксиологической системы ценностных функций от конечного числа ценностных переменных.

Похожие термины: