Логика и теория аргументации. Скачков А.С. - 17 стр.

снег», 2) «завтра пойдёт дождь», 3) «выезд на природу состоится», соединённых
союзами «или» (1-е и 2-е), «если… то» (первые два с третьим), при использовании
выраженного словом «не» отрицания последнего предложения. И если мы усло-
вимся обозначать выявленные простые предложения прописными буквами латин-
ского алфавита (например, p, q, r, s и т. д.), отрицание – символом «¬», конъюнк-
цию – «∧», дизъюнкцию – «∨», импликацию – «⊃» и т. д., то логическая форма
анализируемого высказывания будет выражена следующим образом:

                                   (p∨q)⊃¬r

   (записанная формула читается: «если p или q, то не r»).

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

      ™ Пример
   Предложения «Когда мы мстим или страдаем, то нет нам дела до любви», «Не
будет счастья, коли слаб иль глуп» имеют логическую форму, выражаемую в ви-
де уже выявленной формулы (p∨q)⊃¬r.

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

     ™ Пример
   Для высказывания «Все предложения состоят из слов» получаем формулу

                                ∀x(P1(x)⊃Q1(у)),

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

   Логическую форму рассмотренных высказываний можно вскрыть посредст-
вом более простого анализа, который предполагает замену нелогических терми-
нов в его составе параметрами (большими латинскими буквами). И если мы обо-
значим понятие о предмете суждения символом «S» (субъект), понятие о призна-
ке предмета символом «P» (предикат), связь между S и P термином «есть», а
также учтём кванторное слово и отсутствие или наличие отрицания, то примени-
тельно к приведённым выше высказываниям получим структуру:

                                       17