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

Высказывания людей часто бывают корявыми и непонятными из-за того, что плохо выражены по форме. Пол беды, когда люди просто общаются между собой. А когда свою мысль коряво излагает студент, он получает низкую оценку. Ещё важнее чёткие мысли в науке, бизнесе, в оформлении юридических документов. Чтобы этого достигнуть, необходимо усвоить понятие «логическая форма мысли». С ее помощью высказывание разбивают на смысловые блоки.

Так вот, в каждом высказывании можно выделить логическую форму и фактическое содержание.

ЛОГИЧЕСКАЯ ФОРМА – это способ связи элементов высказывания, его структура.

Она образуется из логических терминов (или логических констант). Такое название они получили потому, что являются постоянными элементами любого высказывания. Логическая форма образуется в результате отвлечения от смысла всех остальных терминов высказывания. Поскольку всякий раз это могут быть различные понятия, их и называют логическими переменными.

Основные логические константы.

1. конъюнкция – логический союз «И»; обозначение – «·», «Ù», «&»; этот знак заменяет союзы естественного языка: И, А, ДА, НО, ХОТЯ и др., а также запятую при перечислении;
2. дизъюнкция – логический союз «ИЛИ»; обозначение – «Ú»;
3. импликация – логический союз «ЕСЛИ…, ТО…» «ЗНАЧИТ» и т.п.; обозначение – «®», «É»; читается «имплицирует», «влечет»;
4. эквиваленция – логический союз «ЕСЛИ И ТОЛЬКО ЕСЛИ…, ТО…»; обозначение – «º», ««»;
5. утверждение – «ЕСТЬ», в русском языке чаще используется тире «-»; речь идет об утверждении наличия какого-либо свойства у обсуждаемого объекта;
6. отрицание – «НЕ ЕСТЬ», «v», «~ w», «Ø w»;здесь буква обозначает какое-то свойство объекта или все высказывание об объекте;если отрицается высказывание, то отрицание читается «неверно, что…»;
7. квантор общности – «" x», заменяет слова «все», «любой», «ни один» и аналогичные им;
8. квантор существования – «$ х», заменяет слова «некоторые», «существуют», «иногда» и аналогичные им.

Логические термины при выявлении логической формы обозначаются указанными символами. Остальные термины высказывания (логические переменные) обозначаются какими-либо буквами. Например, высказывания «Все металлы – теплопроводны», «Все рыбы живут в воде», «Все люди – смертны» имеют логическую форму: "S есть P.

Т.о. можно убедиться, что логическая форма относительно независима от фактического содержания. Правильное употребление логических форм обеспечивает четкость рассуждений и истинность выводов. Достижение этих целей в рамках естественного языка затруднено из-за многозначности слов и выражений.

Итак, соблюдение логической формы обеспечивает правильность мысли. Однако правильность мысли не всегда соответствует истинности этой мысли.

Дата добавления: 2014-01-11