логическая форма

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "логическая форма" в других словарях:

  • Логическая форма — Логическая форма  в логике: то же, что форма мышления. Логическая форма  в генеративной лингвистике: один из «интерфейсных» уровней, посредством которого грамматика сообщается с мыслительными механизмами интерпретации …   Википедия

  • форма логическая —         ФОРМА ЛОГИЧЕСКАЯ способ связи составных частей содержания мысли в отличие от самого этого содержания, результат отвлечения от «материи» мысли, т.е. от того, какие именно индивиды, свойства, отношения, классы, ситуации и т.п. являются… …   Энциклопедия эпистемологии и философии науки

  • Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… …   Большая советская энциклопедия

  • форма — ы, ж. forme f. , нем. Form <лат. forma. 1. Очертания, контуры, внешние границы предмета, определяющие его наружный вид, внешний облик. БАС 1. Груды утесов, .. разные формы камней, особливо при месячном свете; спуски, всходы. Гриб. Путев. зап.… …   Исторический словарь галлицизмов русского языка

  • ФОРМА ЛОГИЧЕСКАЯ — (форма в логике) – та сторона рассуждения (доказательства, вывода, аргументации и т.п.), к рая не зависит от содержания данного рассуждения; Ф. л. в языке фиксируется посредством логич. констант и образуемых с их помощью отд. фраз и их сочетаний… …   Философская энциклопедия

  • Форма — I Форма (лат. forma – форма, вид, образ)         1) очертания, внешний вид, контуры предмета. 2) Внешнее выражение какого либо содержания (см. Содержание и форма). 3) Приспособление для придания чему либо определённых очертаний (например,… …   Большая советская энциклопедия

  • ФОРМА — свойства и отношения определенных процессов, явлений, одинаковые (изоморфные) для них и не связанные однозначно с другими свойствами и отношениями этих предметов, процессов, явлении. Отсюда следует, что 1) понятие формы всегда относительно (то… …   Философия науки: Словарь основных терминов

  • Логическая уловка — Логическая уловка  в логике, философии и пр. науках, изучающих познание, заведомо ошибочный способ обоснования тезиса, который в силу учёта психологических особенностей собеседника обладает убеждающим воздействием[1]. Ошибочность обусловлена …   Википедия

  • ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …   Философская энциклопедия

  • ФОРМА — (лат. forma) внешнее очертание, фигура, наружность, образ, а также план, модель, штамп. В философии данное понятие использовалось Цицероном и Августином в смысле вид (более узкий класс в рамках более широкого класса рода). Понятие «Ф.» Платон… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»