что такое логическая форма в логике
логическая форма
Полезное
Смотреть что такое «логическая форма» в других словарях:
Логическая форма — Логическая форма в логике: то же, что форма мышления. Логическая форма в генеративной лингвистике: один из «интерфейсных» уровней, посредством которого грамматика сообщается с мыслительными механизмами интерпретации … Википедия
форма логическая — ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… … Энциклопедия эпистемологии и философии науки
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
ФОРМА ЛОГИЧЕСКАЯ — (форма в логике) – та сторона рассуждения (доказательства, вывода, аргументации и т.п.), к рая не зависит от содержания данного рассуждения; Ф. л. в языке фиксируется посредством логич. констант и образуемых с их помощью отд. фраз и их сочетаний… … Философская энциклопедия
Форма — I Форма (лат. forma – форма, вид, образ) 1) очертания, внешний вид, контуры предмета. 2) Внешнее выражение какого либо содержания (см. Содержание и форма). 3) Приспособление для придания чему либо определённых очертаний (например,… … Большая советская энциклопедия
ФОРМА — свойства и отношения определенных процессов, явлений, одинаковые (изоморфные) для них и не связанные однозначно с другими свойствами и отношениями этих предметов, процессов, явлении. Отсюда следует, что 1) понятие формы всегда относительно (то… … Философия науки: Словарь основных терминов
Логическая уловка — Логическая уловка в логике, философии и пр. науках, изучающих познание, заведомо ошибочный способ обоснования тезиса, который в силу учёта психологических особенностей собеседника обладает убеждающим воздействием[1]. Ошибочность обусловлена … Википедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ФОРМА — (лат. forma) внешнее очертание, фигура, наружность, образ, а также план, модель, штамп. В философии данное понятие использовалось Цицероном и Августином в смысле вид (более узкий класс в рамках более широкого класса рода). Понятие «Ф.» Платон… … Философская энциклопедия
ЛОГИЧЕСКАЯ ФОРМА
– способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название «формальная логика» подчеркивает, что эта логика интересуется только формой рассуждения. Л. ф. представляется посредством логических констант и переменных. Логические константы, подобные «и», «или», «если, то» и т. д., не имеют самостоятельного содержания, но с их помощью из одних содержательных выражений могут быть получены новые содержательные выражения. Переменные, входящие в Л. ф., представляют выражения, обладающие самостоятельным содержанием: высказывания, имена (см.: Символы собственные и несобственные).
Напр., высказывания «Все лошади едят овес» и «Все реки впадают в море» различны по своему содержанию, причем первое истинно, а второе ложно. Отвлекаясь от содержания высказываний, можно заменить их части переменными S и Р. Получим, что данные высказывания имеют одну и ту же логическую форму: «Все S есть Р». Содержательно разные высказывания «Если есть огонь, то есть дым» и «Если математика – наука, то она устанавливает законы» также имеют одинаковую логическую форму: «Если А, то В».
Следующие два вывода, различающиеся своим содержанием, совпадают по своей логической форме: «Если сейчас день, то светло. Сейчас день. Следовательно, светло» и «Если 13 – простое число, оно делится только на себя и на единицу. 13 – простое число. Следовательно, 13 делится только на себя на и на единицу». Заменив высказывания, входящие в данные выводы, переменными, получаем, что в обоих случаях рассуждение идет по одной и той же схеме: «Если А, то В. А. Следовательно, В». Это – схема правильного рассуждения: какие бы конкретные высказывания ни подставлялись вместо A и В, если посылки истинны, заключение также будет истинным (см.: Логическая правильность).
Различие между Л. ф. и содержанием не является абсолютным. То, что в одном случае считается относящимся к форме, в другом может оказаться содержательным компонентом рассуждения, и наоборот.
Интерес логики к Л. ф. не означает отвлечение ее от всякого содержания. Сама Л. ф. обладает определенным абстрактным содержанием, его иногда называют «формальным», чтобы отличить от «конкретного содержания». Скажем, форма «Все S есть Р» указывает, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р.
Понятие Л. ф. является центральным в логике. С ним связаны понятия логического закона, правила вывода, логического следования и др.
ФОРМА ЛОГИЧЕСКАЯ
Полезное
Смотреть что такое «ФОРМА ЛОГИЧЕСКАЯ» в других словарях:
форма логическая — ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… … Энциклопедия эпистемологии и философии науки
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
Форма — I Форма (лат. forma – форма, вид, образ) 1) очертания, внешний вид, контуры предмета. 2) Внешнее выражение какого либо содержания (см. Содержание и форма). 3) Приспособление для придания чему либо определённых очертаний (например,… … Большая советская энциклопедия
Логическая уловка — Логическая уловка в логике, философии и пр. науках, изучающих познание, заведомо ошибочный способ обоснования тезиса, который в силу учёта психологических особенностей собеседника обладает убеждающим воздействием[1]. Ошибочность обусловлена … Википедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ФОРМА — (лат. forma) внешнее очертание, фигура, наружность, образ, а также план, модель, штамп. В философии данное понятие использовалось Цицероном и Августином в смысле вид (более узкий класс в рамках более широкого класса рода). Понятие «Ф.» Платон… … Философская энциклопедия
Логическая форма — Логическая форма в логике: то же, что форма мышления. Логическая форма в генеративной лингвистике: один из «интерфейсных» уровней, посредством которого грамматика сообщается с мыслительными механизмами интерпретации … Википедия
логическая форма — способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название формальная … Словарь терминов логики
ФОРМА — свойства и отношения определенных процессов, явлений, одинаковые (изоморфные) для них и не связанные однозначно с другими свойствами и отношениями этих предметов, процессов, явлении. Отсюда следует, что 1) понятие формы всегда относительно (то… … Философия науки: Словарь основных терминов
Логическая форма
Логическая форма — это способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от содержания мысли, то есть от того, какие именно индивиды, свойства, отношения, классы, ситуации и тому подобное являются предметами данной мысли. В качестве механизма подобного отвлечения рассматривают процедуру замены переменными (параметрами) отдельных дескриптивных составляющих языкового контекста, выражающего данную мысль.
Указанное интуитивное понятие логической формы получает в современной логике (см. Логика) серьёзные уточнения. Считается, что анализ формы концептуальных образований (понятий, суждений, рассуждений и тому подобные) не может осуществляться вне языка и существенным образом зависит от выбора языковых средств. Предполагается, что мысленные конструкции адекватно оформлены в виде осмысленных выражений естественного языка. Для фиксации их логической формы используют особые искусственные языки логики, которые, во-первых, должны иметь точный синтаксис, то есть точно заданные алфавит и правила образования сложных выражений, и, во-вторых, основываться на определённой системе семантических категорий с чётким подразделением исходных символов на логические и нелогические, указанием типов возможных значений для различных сортов нелогических символов, фиксацией значений логических символов и формулировкой точных семантических правил установления значений сложных выражений.
Процедура выявления логической формы мысли может рассматриваться как процесс перевода выражающего мысль естественно-языкового контекста в искусственный логический язык — формализованный язык. При этом переводе дескриптивные термины или целиком простые высказывания в составе исходного контекста замещаются нелогическими символами (параметрами) искусственного языка соответствующих семантических категорий, причём одинаковые выражения замещаются одинаковыми символами, а разные — разными, а также воспроизводится порядок и способ связи дескриптивных составляющих в соответствии с синтаксическими правилами логического языка. Полученное в результате указанной процедуры выражение как раз и фиксирует логическую форму мысли. Его нельзя рассматривать как лишённое содержания, оно содержит информацию, выражаемую логическими терминами, а также информацию о категориях дескриптивных терминов исходного контекста, об их тождестве и различии и о специфике их сочленения.
Логическую форму не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Её исследование во многом обусловлено категориальными особенностями искусственного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие. Анализ логической формы может иметь различную степень глубины. Так, при выражении формы естественно-языковых контекстов в языке логики высказываний (см. Логика высказываний) производится замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики (см. Силлогистика) и логики предикатов (см. Логика предикатов) позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий (в обычной силлогистике имеется лишь один тип нелогических терминов — общие термины, знаки классов, в то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций), поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой S a P («Всякий S есть P»), где параметрами S и P замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы ∀x (Q 1 (x) ⊃ R 2 (x, a)), где параметр Q 1 соответствует знаку свойства «быть планетой», R 2 — знаку отношения «вращается вокруг», a — имени «Солнце».
Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е. Д. Смирновой «Формализованные языки и проблемы логической семантики» (1982), в которой различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами соответствующих категорий и способной быть представленной в виде графа, и логической формы второго уровня, представленной в виде обобщённого дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант.
Понятие логической формы является одним из наиболее фундаментальных в логике, так как особенность её предмета — в исследовании мыслительных феноменов, познавательных приёмов, языка с точки зрения их структуры, формы. Определения таких наиболее важных логических терминов, как «правильное дедуктивное умозаключение», «логически истинное высказывание», и другие существенным образом опираются на понятие логической формы. Законы логических теорий (см. Законы логики) являются не чем иным, как логическими формами высказываний естественного языка, принимающими при любых допустимых интерпретациях дескриптивных символов значение «истина».
Логическая форма
 | Cписок значений слова или словосочетания со ссылками на соответствующие статьи. Если вы попали сюда из другой статьи Википедии, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на статью. |
Смотреть что такое «Логическая форма» в других словарях:
логическая форма — способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название формальная … Словарь терминов логики
форма логическая — ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… … Энциклопедия эпистемологии и философии науки
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
ФОРМА ЛОГИЧЕСКАЯ — (форма в логике) – та сторона рассуждения (доказательства, вывода, аргументации и т.п.), к рая не зависит от содержания данного рассуждения; Ф. л. в языке фиксируется посредством логич. констант и образуемых с их помощью отд. фраз и их сочетаний… … Философская энциклопедия
Форма — I Форма (лат. forma – форма, вид, образ) 1) очертания, внешний вид, контуры предмета. 2) Внешнее выражение какого либо содержания (см. Содержание и форма). 3) Приспособление для придания чему либо определённых очертаний (например,… … Большая советская энциклопедия
ФОРМА — свойства и отношения определенных процессов, явлений, одинаковые (изоморфные) для них и не связанные однозначно с другими свойствами и отношениями этих предметов, процессов, явлении. Отсюда следует, что 1) понятие формы всегда относительно (то… … Философия науки: Словарь основных терминов
Логическая уловка — Логическая уловка в логике, философии и пр. науках, изучающих познание, заведомо ошибочный способ обоснования тезиса, который в силу учёта психологических особенностей собеседника обладает убеждающим воздействием[1]. Ошибочность обусловлена … Википедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ФОРМА — (лат. forma) внешнее очертание, фигура, наружность, образ, а также план, модель, штамп. В философии данное понятие использовалось Цицероном и Августином в смысле вид (более узкий класс в рамках более широкого класса рода). Понятие «Ф.» Платон… … Философская энциклопедия