Логика. 5.
Логика занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления понятий, вероятностными и статистическими рассуждениями, парадоксами и логическими ошибками и т. д.
Но главные темы логических исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.
Правильным является, напр., рассуждение, следующее схеме: "Если есть первое, то есть и второе; есть первое, значит, есть и второе" (см.: Модус поненс). По этой схеме из высказываний "Если сейчас день, то светло" и "Сейчас день" вытекает высказывание "Сейчас светло".
Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно будет истинным
В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон.
Рассуждать логически правильно - значит рассуждать в соответствии с законами Логики.
Логика не просто перечисляет некоторые схемы правильного рассуждения. Она выявляет различные типы таких схем, устанавливает общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д
Но главные темы логических исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.
Правильным является, напр., рассуждение, следующее схеме: "Если есть первое, то есть и второе; есть первое, значит, есть и второе" (см.: Модус поненс). По этой схеме из высказываний "Если сейчас день, то светло" и "Сейчас день" вытекает высказывание "Сейчас светло".
Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно будет истинным
В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон.
Рассуждать логически правильно - значит рассуждать в соответствии с законами Логики.
Логика не просто перечисляет некоторые схемы правильного рассуждения. Она выявляет различные типы таких схем, устанавливает общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д