Логическая форма рассуждения


Логическая форма рассуждения

Определение логической формы. Формализированный язык. Метод формализации

Основными компонентами логической формы рассуждения являются:

♦логические сроки;

♦нелогичные сроки.

Логические сроки в естественном языке обычно выражают с помощью таких слов и словосочетаний : «всякий*, »некоторый«, »есть*, «неверно, что.»., «если..., тогда.»., «...и.»., «...или.». и тому подобное.

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

Как видим, содержание рассуждения выражается именно в нелогичных сроках. В связи с этим можно уточнить понятие логической формы.

Логическая форма рассуждения — это его структура, которая оказывается в результате абстрагирования от значений нелогичных сроков.

Для того, чтобы выяснить логическую форму рассуждения, необходимо:

1) возобновить рассуждение в полном виде, то есть выявить все его предпосылки и вывод;

2) выяснить логические сроки, которые входят в состав предпосылок и вывода рассуждения;

3) заменить простые высказывания, которые входят в состав предпосылок и вывода, на определенные символы;

4) изобразить логическую форму рассуждения с помощью соответствующей схемы.

♦!♦ Рассмотрим для примера такое рассуждение: «Это должностное лицо совершило преступление, потому что она получила хабар*.

1.Возобновим его в полном виде. В результате имеем:

Если должностное лицо получило взятку,

то она совершила преступление.

Это должностное лицо получило взятку.

Это должностное лицо совершило преступление.

2.В состав первой предпосылки рассуждение входит один логический срок: «если, ... то*.

3.Заменим высказывание: «Должностное лицо получило взятку» на переменную р, а высказывание «Должностное лицо совершило преступление» — на переменную ц.:

4. Изобразим логическую форму рассуждения с помощью такой схемы; Если р, тогда ^.

Р





Вернуться назад