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

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

      ™ Пример
   Высказывание «На Солнце есть разумная жизнь и государственные образова-
ния, поэтому на это небесное тело в 1911 г. был отправлен посол Соединённых
штатов земного шара» является ложным как в целом, так в составляющих частях,
а именно: положения дел, описываемые в составляющих его трёх простых выска-
зываниях не соответствуют действительности: 1) «На Солнце есть разумная
жизнь» — ложь; 2) «На Солнце есть государственные образования» — ложь; 3)
«На Солнце в 1911 г. был отправлен посол Соединённых штатов земного шара»
— ложь.
   Но это же высказывание имеет такую же логическую форму как другие, на-
пример, уже истинное как в своих частях, так и в целом высказывание «Клубника
является вкусной и полезной ягодой, поэтому пользуется спросом потребителей»,
или истинное в некоторых своих частях и ложное в других частях и в целом вы-
сказывание «Зимой в Омске стоит жара и замерзает лёд на Иртыше, в силу чего
некоторые пьют минеральную воду».
   Из чего легко сделать достоверный вывод, что логическая форма, отвлечённая
от содержания и внутренней структуры простых высказываний, составляющих
какие-то сложные высказывания, не гарантирует истинность построенного по ней
рассуждения, допуская как истинные, так и ложные его варианты.

   Итак, классическая логика высказываний имеет дело с логическими формами
только сложных высказываний.
   Сложным будем считать высказывание, включающее в себя другие высказы-
вания, в противном случае высказывание называется простым. Естественно, что
в состав сложного высказывания могут входить категорические атрибутивные и
иные суждения.
   Поскольку логика высказываний не затрагивает внутреннюю структуру про-
стых высказываний, то в ней можно применять любые виды простых суждений,
что обусловливает предельную сжатость спектра используемых семантических
категорий (рис. 14):




                                     70