СЛОВНИК - МІНІМУМ

Умовиводом називається таке міркування, в якому з одного або кількох суджень виводиться нове судження, яке містить у собі нове знання.

Засновки - це судження, із яких виводиться нове знання.

Висновок - судження, виведене із засновків.

Дедуктивним (від латинського слова deductio — виведення) називається умовивід, у якому висновок про окремий предмет класу робиться на підставі висловлювання про клас предметів у цілому.

Більший засновок - засновок, шо має загальне положення або правило, під яке підводиться частковий випадок.

Менший засновок - засновок, у якому ідеться про той окремий предмет або частковий випадок, який підводиться під загальне положення.

Категоричним силогізмом називається такий дедуктивний умовивід, у якому обидва засновки є категоричними судженнями.

Менший термін - поняття, яке займає місце суб'єкта у висновку.

Більший термін - поняття, яке займає місце предиката у висновку.

Середнім терміном називається поняття, яке входить до двох засновків і відсутнє у висновку.

Умовним силогізмом називається силогізм, у якому один або обидва засновки є умовними судженнями.

Умовно-категоричним силогізмом називається силогізм, у якому більший засновок є судженням умовним, а менший — категоричним.

Суто умовний силогізм - це такий силогізм, у якому засновки є судженнями умовними.

Скорочений силогізм, або ентимема - це силогізм, у якому пропущений один із засновків чи висновок.