Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы "и", "или", "если..., то...", отрицание "неверно, что" ("не"), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: "все" ("ни один"), "некоторые", связка "суть" ("есть") и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами, например в словосочетании опустить нелогические термины и поставить вместо них многоточия, штриховые и другие линии. В результате замены из предложения "Все судьи — юристы" получим выражение "Все... суть —".

Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов — различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.

Выявим логические формы следующих рассуждений:

(1) Все преступники подлежат привлечению к уголовной ответственности.

Некоторые жители Москвы подлежат привлечению к уголовной ответственности.

Следовательно, некоторые жители Москвы — преступники.

(2) Судья — юрист. Следовательно, умный судья — умный юрист.

(3) Некоторые жители Москвы — полиглоты. Следовательно, некоторые полиглоты — жители Москвы.

Заменив нелогические термины символами, получим:

(1) Все Рсуть М. Некоторые .У суть Л/. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, SQ есть PQ.

Страницы: 1 | 2 | 3 | 4