визначення умовиводу
У загальних рисах буде сказано, що умовивід - це вирахування однієї речі з іншої .
Висновок - це суто і виключно продукт нашого розуму , оскільки це оцінка, яка проводиться між тими виразами даної мови, які колись взаємопов’язані інтелектуально, дозволять нам дійти до логічної ідеї . Таким чином, виходячи з істини чи хибності, які пропонують деякі вирази, ми можемо вивести правду чи хибність деяких інших.
Тим часом із вищезазначеної процедури з’явиться постулат.
У традиційній логіці, відомій у народі як аристотелівська, оскільки вона вперше була сформульована відомим грецьким філософом Арістотелем , дотримуються такої форми умовиводу - силогізму . Це тип дедуктивних міркувань, що складається з двох пропозицій як передумов та ще одного як висновку, останній вже випливає з двох інших.
Ми можемо знайти три типи умовиводу; відрахування , дедуктивний аргумент типу прописують при співіснуванні приміщень і висновок по забезпеченню того , щоб останній буде представлений в приміщеннях, наприклад, всі кулі цього мішка червоні, ці повітряні кулі в цій сумці, тому ці повітряні кулі червоні ; індукції , індуктивний аргумент підтримує ймовірне співіснування приміщень і укладення, гарантуючи , що останній, ймовірно , відображаються в приміщеннях, наприклад , повітряні кулі з цього мішка, повітряні кулі червоні, то всі кулі цього мішка вони червоні ; та викрадення, аргумент викрадливого типу пропонує можливе співіснування приміщення та висновку, гарантуючи, що останні потенційно можуть бути представлені у вищезазначених приміщеннях, наприклад: усі повітряні кулі в цій сумці червоні, ці повітряні кулі червоні, тоді ці повітряні кулі відповідають ця сумка .
