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

ственно, предметной называется функция, аргументами и значениями которой
являются n-ки последовательностей предметов.

       ™ Пример
    Предметной функцией от одного аргумента (одноместной) является функция
извлечения квадратного корня, сопоставляющая отдельным числам из области
аргументов отдельные числа из области значений (числу 4 – число 2; числу 16 –
число 4 и т. п.), или функция, сопоставляющая каждому человеку его отца (афин-
скому философу Сократу – афинского скульптора-камнетёса Софронска; Сидо-
рову Петру Яковлевичу – Сидорова Якова Александровича и т. п.). Двуместной
предметной функцией является, например, «расстояние» между какими-то объек-
тами (область аргументов), выражаемое в виде чисел с определённой размерно-
стью (область значений), или функция вычитания, сопоставляющая некоторым
предметам (взятым в паре числам) другое число (числам 3 и 2 – число 1; числам 8
и 5 – число 3 и т. п.)

   К функциональным знакам примыкают технические знаки, а именно: левая
скобка – «(», правая скобка – «)», запятая «,».
   Кроме описательных терминов в естественном языке встречаются логические
термины, выражаемые, например, словами и словосочетаниями («и», «или»,
«если… то», «эквивалентно», «не», «неверно, что», «всякий», «некоторые»,
«кроме», «тот… который», «ни… ни», «только и только если» и др. В качестве
основных в многообразии логических терминов выделяют пропозициональные
связки и кванторы.
   Прототипами пропозициональных связок в естественном языке являются сою-
зы «и», «или», «если… то», «не» и др., а также их аналоги. Пропозициональны-
ми связками называются логические союзы, с помощью которых из простых вы-
сказываний получают сложные. К пропозициональным связкам относят отрица-
ние (логический союз «не»), конъюнкцию (логический союз «и»), дизъюнкцию
(логический союз «или»), импликацию (логический союз «если… то») и т. п. Про-
тотипами кванторов в естественном языке являются выражения «всякий» («каж-
дый», «любой», «все» и т. п.), «некоторые» («существует», «многие», «большин-
ство» и т. п.). Кванторами (от лат. quantum - сколько) называются операторы,
осуществляющие функцию указателей на частный или общий характер какого-
либо суждения. К кванторам относят: квантор общности, обозначаемый симво-
лом «∀» (от англ. all – все), и квантор существования «∃» (от exist – существо-
вать).
   Осуществляя определённой глубины анализ языковых выражений и применяя
необходимые символы для обозначения семантических категорий, легко выявить
и выразить структуру мыслей.

      ™ Пример
   Рассмотрев языковое выражение «Если завтра пойдёт снег или дождь, то выезд
на природу не состоится», мы заметим, что оно дано в виде сложного повествова-
тельного предложения, состоящего из трёх простых, а именно: 1) «завтра пойдёт
                                      16