Логическая форма рассуждения
Логическая форма рассуждения
Определение логической формы. Формализированный язык. Метод формализации
Основными компонентами логической формы рассуждения являются:
♦логические сроки;
♦нелогичные сроки.
Логические сроки в естественном языке обычно выражают с помощью таких слов и словосочетаний : «всякий*, »некоторый«, »есть*, «неверно, что.»., «если..., тогда.»., «...и.»., «...или.». и тому подобное.
В нелогичных сроках фиксируется определенная информация, о которой идет речь в высказывании. Это могут быть как отдельные слова, словосочетание, так и целые предложение.
Как видим, содержание рассуждения выражается именно в нелогичных сроках. В связи с этим можно уточнить понятие логической формы.
Логическая форма рассуждения — это его структура, которая оказывается в результате абстрагирования от значений нелогичных сроков.
Для того, чтобы выяснить логическую форму рассуждения, необходимо:
1) возобновить рассуждение в полном виде, то есть выявить все его предпосылки и вывод;
2) выяснить логические сроки, которые входят в состав предпосылок и вывода рассуждения;
3) заменить простые высказывания, которые входят в состав предпосылок и вывода, на определенные символы;
4) изобразить логическую форму рассуждения с помощью соответствующей схемы.
♦!♦ Рассмотрим для примера такое рассуждение: «Это должностное лицо совершило преступление, потому что она получила хабар*.
1.Возобновим его в полном виде. В результате имеем:
Если должностное лицо получило взятку,
то она совершила преступление.
Это должностное лицо получило взятку.
Это должностное лицо совершило преступление.
2.В состав первой предпосылки рассуждение входит один логический срок: «если, ... то*.
3.Заменим высказывание: «Должностное лицо получило взятку» на переменную р, а высказывание «Должностное лицо совершило преступление» — на переменную ц.:
4. Изобразим логическую форму рассуждения с помощью такой схемы; Если р, тогда ^.
Р
Вернуться назад