Комплекс «посылки-заключение»

В каждом случае образует определенную структуру, которая выявляется как связь или именных, или пропозициональных переменных*, но не тех и других вместе взятых. Умозаключения, в посылках и  структуру включают только именные переменные, а умо­заключения, построенные на отношениях между высказывания­ми, включают только пропозициональные переменные. Если в приведенном выше примере имена «зубр», «млекопи­тающее животное» и «позвоночное животное» заменить соответ­ственно переменными то его структура предстанет в таком виде: если. Если далее вместо связки есть использовать знак включения класса в класс  знак конъюнкции, а вместо союза «если, то» — знак импликации, то эта структура выразится формулой которая не содержит выражений естественного языка. Приведем пример умозаключения, основанного на отноше­ниях между высказываниями: «Если гражданин нарушает закон, то он совершает преступление, а если он совершает— символы простых выска­зываний в составе сложного должен быть привлечен к ответственности. Следователь­но, если гражданин нарушает закон, то он должен быть привлечен к ответственности». Заменив простые высказывания символами: р — «гражданин нарушает закон», — «он совершает преступление», г — «он должен быть привлечен к ответственнос­ти», получим общую схему подобного рода умозаключений: если р, то q, и если q, то г, а если /?, то г. Заменив словесные выраже­ния логических союзов их знаками, получим формулу, которая представляет структуру этого умозаключения: Обосновывающее знание не входит в состав умозаключения в виде особого высказывания. Оно содержится в аксиомах и пра­вилах разного рода умозаключений и дает ответ на вопрос, по­чему в одних случаях вывод является правомерным и следует из посылок с необходимостью, а в других случаях этого не про­исходит.

Комментарии запрещены.