1. Визначення силогізму як дедуктивного опосередкованого виведення.
2. Структура і загальні правила силогізму.
3. Аксіома силогізму.
4. Список використаної літератури.
3. Аксіома силогізму
Логічним обґрунтуванням правильності виведення типу ПКС є аксіома силогізму. Аксіома - це таке вихідне положення, яке вважається дійсним без доказів. Аксіома силогізму - це те положення, яке кладеться в основу даної форми виведення і встановлює два відносини між поняттями силогізму:
за змістом - між поняттями, що входять в посилки, і поняттями, що входять в висновок. У змістовному плані аксіома силогізму встановлює відношення між предметами і їх ознаками. Її суть: ознака ознаки деякої речі є ознака самої цієї речі; то, що суперечить ознакою деякої речі, суперечить і самої речі. Коротко вона звучить: «ознака ознаки є ознака речі».
за обсягом - між поняттями, що входять в силогізм. Все, що стверджується або заперечується відносно всіх предметів класу, стверджується або заперечується як щодо кожного предмета, так і будь-якій частині предметів цього класу.
Аксіома силогізму - це те положення, яке кладеться в основу даної форми виведення і встановлює відносини між поняттями силогізму за змістом і за обсягом.
1. Вкажіть структуру і перевірте дотримання загальних правил силогізму в наступних умовиводах:
1.1. Кожен, хто вчинив злочин, повинен бути покараний; Х також повинен бути покараний, тому що він скоїв злочин.
1.2. Цукор - вуглевод, значить, він, як і всі вуглеводи, горючий.
1.3. Жоден древній грек не знав латини. Аристотель - древній грек. Аристотель не знав латини.
1.4. Всі хімічні елементи мають атомним вагою. Гелій -хімічний елемент. Гелій володіє атомною вагою.
1.5. Всі фрукти є корисними для здоров'я, і всі морепродукти - теж. Значить, все морепродукти - фрукти.
1. Умовивід вірно і все правила дотримуються.
2. В даному умовиводі порушується перше правило термінів простого силогізму: В силогізм має бути три і тільки три терміни. Двох - недостатньо, а четвертий - зайвий. В даному умовиводі для виведення використовується тільки два терміни. І крайній термін не розподілений ні в одній посилці.
3.
4.
5.