Универсальное создание экземпляров
- Введение/устранение двойного условия, конъюнкции и дизъюнкции в логике предикатов.
- Универсальное создание экземпляров (UI) — правило вывода из истины о классе индивидов к конкретному человеку.
- UI задается как правило количественной оценки для универсального квантора.
- Универсальное создание примеров вытекает из вариантов правил «естественной дедукции».
- Универсальное создание экземпляров и экзистенциальное обобщение являются двумя аспектами единого принципа.
- Принцип связывает количественные показатели и единичные утверждения, относящиеся к ним как к примерам.
Полный текст статьи: