Наши партнеры
— в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предиката. Общая схема О. выглядит следующим образом:
S есть Р.
Р есть S.
Напр., из суждения «Птицы есть позвоночные» мы путем О. получаем вывод «Позвоночные есть птицы». Общеутвердительные суждения «Все S есть Р» (типа A) обращаются в частноутвердительные «Некоторые Р есть S» (типа I), напр., суждение «Все рыбы дышат жабрами» обращается в суждение «Некоторые дышащие жабрами есть рыбы»; общеотрицательные суждения «Ни одно S
не есть Р» (типа Е) обращаются в общеотрицательные «Ни одно Р не есть S» (типа Е), напр., суждение «Ни один кит не является рыбой» обращается в суждение «Ни одна рыба не есть кит»; частноутвердительные суждения «Некоторые S есть P» (типа I) обращаются в частноутвердительные «Некоторые Р есть S», напр., суждение «Некоторые металлы — жидкости» обращается в суждение «Некоторые жидкости — металлы»; наконец, из частноотрицательного суждения нельзя сделать вывод путем О.
ОБЩЕЕ ПОНЯТИЕ, см.: Понятие.
ОБЩЕЕ СУЖДЕНИЕ, см.: Суждение.