Лекция
Привет, Вы узнаете о том , что такое логическая форма, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое логическая форма , настоятельно рекомендую прочитать все из категории Логика.
логическая форма — это способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от содержания мысли, то есть от того, какие именно индивиды, свойства, отношения, классы, ситуации и тому подобное являются предметами данной мысли. В качестве механизма подобного отвлечения рассматривают процедуру замены переменными (параметрами) отдельных дескриптивных составляющих языкового контекста, выражающего данную мысль.
Указанное интуитивное понятие логической формы получает в современной логике (см. Логика) серьезные уточнения. Считается, что анализ формы концептуальных образований (понятий, суждений, рассуждений и тому подобные) не может осуществляться вне языка и существенным образом зависит от выбора языковых средств. Предполагается, что мысленные конструкции адекватно оформлены в виде осмысленных выражений естественного языка. Для фиксации их логической формы используют особые искусственные языки логики, которые, во-первых, должны иметь точный синтаксис, то есть точно заданные алфавит и правила образования сложных выражений, и, во-вторых, основываться на определенной системе семантических категорий с четким подразделением исходных символов на логические и нелогические, указанием типов возможных значений для различных сортов нелогических символов, фиксацией значений логических символов и формулировкой точных семантических правил установления значений сложных выражений.
Рис. 1.3. Понятие формы мышления (логические формы)
Процедура выявления логической формы мысли может рассматриваться как процесс перевода выражающего мысль естественно-языкового контекста в искусственный логический язык — формализованный язык. При этом переводе дескриптивные термины или целиком простые высказывания в составе исходного контекста замещаются нелогическими символами (параметрами) искусственного языка соответствующих семантических категорий, причем одинаковые выражения замещаются одинаковыми символами, а разные — разными, а также воспроизводится порядок и способ связи дескриптивных составляющих в соответствии с синтаксическими правилами логического языка. Полученное в результате указанной процедуры выражение как раз и фиксирует логическую форму мысли. Его нельзя рассматривать как лишенное содержания, оно содержит информацию, выражаемую логическими терминами, а также информацию о категориях дескриптивных терминов исходного контекста, об их тождестве и различии и о специфике их сочленения.
Логическую форму не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Ее исследование во многом обусловлено категориальными особенностями искусственного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие. Об этом говорит сайт https://intellect.icu . Анализ логической формы может иметь различную степень глубины. Так, при выражении формы естественно-языковых контекстов в языке логики высказываний (см. Логика высказываний) производится замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики (см. Силлогистика) и логики предикатов (см. Логика предикатов) позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий (в обычной силлогистике имеется лишь один тип нелогических терминов — общие термины, знаки классов, в то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций), поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой S a P («Всякий S есть P»), где параметрами S и P замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы ∀x (Q1 (x) ⊃ R2 (x, a)), где параметр Q1 соответствует знаку свойства «быть планетой», R2 — знаку отношения «вращается вокруг», a — имени «Солнце».
Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е. Д. Смирновой «Формализованные языки и проблемы логической семантики» (1982), в которой различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами соответствующих категорий и способной быть представленной в виде графа, и логической формы второго уровня, представленной в виде обобщенного дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант.
Понятие логической формы является одним из наиболее фундаментальных в логике, так как особенность ее предмета — в исследовании мыслительных феноменов, познавательных приемов, языка с точки зрения их структуры, формы. Определения таких наиболее важных логических терминов, как «правильное дедуктивное умозаключение», «логически истинное высказывание», и другие существенным образом опираются на понятие логической формы. Законы логических теорий (см. Законы логики) являются не чем иным, как логическими формами высказываний естественного языка, принимающими при любых допустимых интерпретациях дескриптивных символов значение «истина».
Что такое логические формы? Рассмотрим следующие рассуждения:
1) Если a = b, то a2 = b2. Следовательно, если a2 ≠ b2, то a ≠ b.
2) Если по проводнику течет электрический ток, то вокруг проводника образуется электромагнитное поле. Следовательно, если вокруг проводника не образуется электромагнитное поле, то по нему не течет электрический ток.
Эти рассуждения имеют разное содержание, но их объединяет схема построения или логическая форма.
Пусть X и Y – переменные, вместо которых можно подставить конкретное значение в виде повествовательных предложений. Логическая форма наших двух предложений такова:
Если X, то Y
Следовательно, если не Y, то не X
Логику интересуют прежде всего логические истины или логические законы.
Такова, например, рассмотренная нами выше форма.
Но, к примеру, форма
Если X, то Y
Следовательно, если не X, то не Y
Не является логической истиной.
Пример.
Подставив вместо Х предложение "a = b", вместо Y предложение "a2 = b2", получим:
Если a = b, a2 = b2. Следовательно, если a ≠ b, то a2 ≠ b2
Но: 2 ≠-2, а 22 = (-2)2. Противоречие!
Установить, какие из следующих предложений имеют одинаковую логическую форму:
1) Иванов выиграл шахматный турнир и стал чемпионом
2) Неверно, что столица Белоруссии это не Минск
3) Если четырехугольник параллелограмм, то его диагонали, пересекаясь, делятся пополам
4) Неверно, что спорынья не содержит яд
5) Если a = b, то a2 = b2
6) Мой друг закончил институт и получил диплом инженера
7) Если диагонали прямоугольника, пересекаясь, не делятся пополам, то этот четырехугольник не параллелограмм
8) Если a ≠ b, то a2 ≠ b2
Одинаковую логическую структуру имеют предложения
1-6
2-4
3-5
7-8
Если рассуждение «Если все люди смертны, а все греки – люди, то все греки смертны» является правильным, то правильны ли следующие рассуждения?(ответы можно увидеть в конце теста, нажав на кнопку "click here")
1) Если все квадраты подобны, а все трапеции – квадраты, то все трапеции подобны.
2) Если все драконы лукавы, а все ящерицы драконы, то все ящерицы лукавы
3) Если все глокие куздры свирепы, а все бокры – глокие куздры, то все бокры свирепы
Исследование, описанное в статье про логическая форма, подчеркивает ее значимость в современном мире. Надеюсь, что теперь ты понял что такое логическая форма и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Логика
Из статьи мы узнали кратко, но содержательно про логическая форма
Комментарии
Оставить комментарий
Логика
Термины: Логика