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