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

UptoLike

ВУЗ: 

ОмГТУ | Омск

Составители: 

Рубрика: 

71
Рис. 14
Таким образом, формализованный язык классической логики высказываний
(ЯКЛВ) помимо технических знаков содержит только один тип нелогических
символов, замещающих простые высказывания естественного языка и называе-
мых пропозициональными переменными (их принято обозначать прописными бу-
квами латинского алфавита, например, p, q, r, s или a, b, c, d и т. д.). А также —
только один тип
логических символов (∧; ∨; ⊃; ≡; ¬ и т. п.), имеющих прототи-
пами союзы естественного языка и называемых пропозициональными связками.
Пример
Приведённые в предыдущем примере сложные высказывания имеют логиче-
скую форму:
(p∧q)⊃r.
При этом первое и второе из высказываний составлено из трёх общеутверди-
тельных простых суждений, а
третье — как из общеутвердительных («Зимой в
Омске стоит жара» и «Зимой в Омске замерзает лёд на Иртыше»), так и частноут-
вердительного («Некоторые пьют минеральную воду»).
Организующим эту форму началом (равно как и любую логическую форму в
классической логике высказываний) являются пропозициональные (т. е. высказы-
вательные) связки, понимаемые в качестве
операций, позволяющих из каких-то
суждений (высказываний) строить новые суждения (высказывания).
Семантические категории логики высказываний
Сложное
высказывание
Выражения, играющие определённую роль
в составе сложного высказывания
Дескриптивные
термины
Логические
термины
Пропозициональные
пе
р
еменные
Пропозициональные
связки
Технические
знаки
Левая скобка
Запятая
П
р
авая скобка 
                   Семантические категории логики высказываний


      Сложное           Выражения, играющие определённую роль                               Технические
    высказывание           в составе сложного высказывания                                     знаки




                                                                                   Левая скобка


                                                                                                  Правая скобка


                                                                                                                  Запятая
                          Дескриптивные                     Логические
                             термины                         термины




                              Пропозициональные




                                                               Пропозициональные
                                 переменные




                                                  Рис. 14            связки

   Таким образом, формализованный язык классической логики высказываний
(ЯКЛВ) помимо технических знаков содержит только один тип нелогических
символов, замещающих простые высказывания естественного языка и называе-
мых пропозициональными переменными (их принято обозначать прописными бу-
квами латинского алфавита, например, p, q, r, s или a, b, c, d и т. д.). А также —
только один тип логических символов (∧; ∨; ⊃; ≡; ¬ и т. п.), имеющих прототи-
пами союзы естественного языка и называемых пропозициональными связками.

     ™ Пример
   Приведённые в предыдущем примере сложные высказывания имеют логиче-
скую форму:

                                                  (p∧q)⊃r.

   При этом первое и второе из высказываний составлено из трёх общеутверди-
тельных простых суждений, а третье — как из общеутвердительных («Зимой в
Омске стоит жара» и «Зимой в Омске замерзает лёд на Иртыше»), так и частноут-
вердительного («Некоторые пьют минеральную воду»).

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



                                                    71

Страницы