§ | библиотека – мастерская – | Помощь Контакты | Вход — |
Ивин А.А. Логика: Учебник для гуманитарных вузов. -- М.: "ФАИР-ПРЕСС", 1999. - 320 с.
Стр. 186 Ещё раз подчеркнём, что противоречат друг другу высказывания «Все S есть Р» и «Некоторые S не есть Р» и высказывания «Все S не есть Р» и «Некоторые S есть Р». Высказывания же «Все S есть Р» и «Все S не есть Р», а также высказывания «Некоторые S есть Р» и «Некоторые S не есть Р» не противоречат друг другу. Логические связи категорических высказываний, представляемые логическим квадратом, можно представить также в форме непосредственных умозаключений, т.е. умозаключений из одной посылки. Противоречат друг другу высказывания «Все S есть Р» и «Некоторые S не есть Р», а также высказывания «Все S не есть Р» и «Некоторые S есть Р». Это означает, что являются правильными следующие, в частности, непосредственные умозаключения: Все S есть Р. Неверно, что некоторые S не есть Р. Из высказывания «Все совы – птицы» непосредственно вытекает высказывание «Неверно, что некоторые совы не являются птицами». Некоторые S не есть Р. Неверно, что все S есть Р. Из высказывания «Некоторые учёные не химики» непосредственно вытекает высказывание «Неверно, что все учёные химики». Все S не есть Р. Неверно, что некоторые S есть Р. Из высказывания «Все киты не рыбы» непосредственно вытекает высказывание «Неверно, что некоторые киты – рыбы». Некоторые S есть Р. Неверно, что все S не есть Р. Из высказывания «Некоторые жидкости упруги» непосредственно следует высказывание «Неверно, что все жидкости неупруги». Противные высказывания (SaP и SeP) не могут быть вместе истинными. Все S есть Р. Неверно, что все S не есть Р. Из высказывания «Все летающие имеют крылья» непосредственно вытекает высказывание «Неверно, что все летающие не имеют крыльев». Все S не есть Р. Неверно, что все S есть Р. Из высказывания «Все категорические высказывания не являются условными» непосредственно вытекает высказывание «Неверно, что все категорические высказывания – условные». |
Реклама
|
||