Логіка - Дуцяк І.3. - 3.1. Виведення знань та його види. Алгоритм виявлення правил виведення
3.1. Виведення знань та його види. Алгоритм виявлення правил виведення
Отримання одних знань з інших поділяють на два види - виведення і доведення. Виведення відрізняється від доведення тим, що в цьому разі висновок не є попередньо відомий. У випадку доведення, те положення, яке хочуть отримати з інших за допомогою певних правил, відоме попередньо. До цього попереднього положення (тези) підшукують аргументи, тобто засновки, і правила виведення, які можна застосувати, щоб отримати з підібраних аргументів тезу як висновок.
Обгрунтування, виконувані шляхом виведення, поділяють на доведення та спростування. У разі доведення обгрунтовують істинність тези, а в разі спростування - її хибність.
Доведення поділяють на пряме і непряме. У випадку прямого доведення істинність тези отримують як безпосередній висновок з підібраних аргументів. У разі непрямого доведення приймають, що істинним є заперечення тези, й обгрунтовують хибність цієї запереченої тези. Після цього роблять висновок: якщо заперечене твердження хибне, то твердження без заперечення (а це теза, яку прагнули довести, тобто істинність якої прагнули обгрунтувати) є істинне.
Першим непряме доведення застосував давньогрецький філософ Парменід (після нього непряме доведення почали широко використовувати). Доведення, сформульоване Парменідом, було пов'язане з вирішенням такої проблеми - оскільки всі речі змінюються, тобто кожна річ перетворюється в інші, то всі речі повинні містити щось спільне, результатом перетворення чого вони саме є. Тож постало питання, що є тим першоелементом, з якого складене все, що існує? Парменід почав пошук відповіді з формулювання альтернативи. Є два об'єкти, які потенційно можуть бути об'єктом мислення: те, що є (те, що існує, тобто буття), і те, що не є (небуття, неіснуюче). Водночас те, що не існує, насправді не можна помислити. Тож залишається лише один варіант - об'єктом мислення може бути тільки буття. Оскільки мислення і те, про що мислять, згідно з Парменідом, тотожні, то він отримав висновок - існує лише буття. Міркування відбувається за такою схемою. Є два варіанти. Якщо припустімо, що один з них істинний, то отримаємо суперечність. Отже, істинним повинен бути інший варіант.
Низку непрямих доведень сформулював послідовник Парменіда Зенон. Зокрема, всі його апорії (утруднення в міркуваннях, які важко подолати) побудовані за таким самим принципом. Наприклад, припустімо, що рух існує. Якщо існує рух, то Ахіллес може наздогнати черепаху. Однак для цього йому треба пройти принаймні половину відстані між ним і нею. За цей час вона пройде далі. Наступним кроком йому знову треба пройти принаймні половину відстані, тоді як черепаха теж просунеться далі. Такий хід думки можна продовжити до нескінченності, тому насправді Ахіллес не може навіть наздогнати черепаху. Оскільки отримали суперечність, то початкову тезу треба визнати хибною, тобто рух насправді не існує, це лише видимість.
Виведення - це дія чи послідовність дій, унаслідок якої з одних істинних тверджень за допомогою певних правил отримують інші істинні твердження. Ті твердження, з яких виконують виведення, називають засновками. Твердження, отримані внаслідок виведення, називають висновками. Сукупність засновків і висновків називають виводом. Вивід може містити не тільки кінцеві висновки, а Й проміжні. Дедукція - формулювання в явному вигляді знань, заданих у неявному вигляді.
Щоб висновок був фактично істинним, потрібне дотримання таких умов:
1) кожен зі засновків повинен бути фактично істинним;
2) виведення повинно відповідати правилам виведення;
3) правила виведення повинні бути обгрунтованими. Це обгрунтування має полягати в формальному підтвердженні наявності між засновками і висновком відношення логічного випливання. (Відношення логічного випливання - це таке відношення між засновками Аг, А2, Л3, Ап і висновком Ат, за якого в усіх випадках, коли кожен зі засновків є істинним, висновок також є істинним. Детальніше це відношення буде проаналізовано далі).
Схожі статті
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 3. Виведення знань
3.1. Виведення знань та його види. Алгоритм виявлення правил виведення Отримання одних знань з інших поділяють на два види - виведення і доведення....
-
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Для виявлення, чи є аналізоване складне твердження суперечливим, треба...
-
Логіка - Дуцяк І.3. - Розвиток логіки
Як завершену теоретичну систему, як науку логіку сформував давньогрецький філософ Арістотель. Що таке теоретична система у логіці? Яку теоретичну систему...
-
Логіка - Дуцяк І.3. - 2.1. Види несумісності знань
2.1. Види несумісності знань Є різні види несумісності висловів. Один із видів несумісності - несумісність тверджень (логічна хибність тверджень), тобто...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 2. Виявлення несумісності знань
2.1. Види несумісності знань Є різні види несумісності висловів. Один із видів несумісності - несумісність тверджень (логічна хибність тверджень), тобто...
-
Логіка - Дуцяк І.3. - Формалізація - метод логіки
У традиційній логіці вважали, що існують певні закони та правила мислення, які властиві людині від народження, вони певним чином закладені в людському...
-
Логіка - Дуцяк І.3. - Предмет і статус логіки
Від часу появи логіки її предметом уважали форми і закони мислення. Таке розуміння предмета логіки виявилося вже в етимології назви: головними значеннями...
-
Логіка - Дуцяк І.3. - Роль та значення логіки у підготовці фахівця
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - 2.3. Суперечливі складні твердження
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Для виявлення, чи є аналізоване складне твердження суперечливим, треба...
-
Логіка - Дуцяк І.3. - Місце логіки серед інших дисциплін
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - 2.4. Закони логіки
Інструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Для виявлення, чи є аналізоване складне твердження суперечливим, треба...
-
Логіка - Дуцяк І.3. - ПЕРЕДМОВА
Роль та значення логіки у підготовці фахівця Для з'ясування ролі та значення логіки у підготовці фахівця треба, насамперед, сформулювати найзагальніші...
-
Логіка - Дуцяк І.3. - ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Тема 1. Логічний аналіз складних тверджень
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Розділ 1. Логічний аналіз тверджень
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - 1.2. Зміст логічних термінів
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - 1.1. Прості та складні твердження
Тема 1. Логічний аналіз складних тверджень ЛЕКЦІЯ 1. Логічні терміни в складних твердженнях 1.1. Прості та складні твердження Для того щоб з'ясувати, що...
-
Логіка - Дуцяк І.3. - Головні завдання, що стоять перед студентом у процесі вивчення логіки
Коли батьки навчають дитину розмовляти, то насправді йдеться не тільки про вивчення мови. Перед ними стоїть ширше завдання - навчити дитину мовити,...
-
Логіка - Дуцяк І.3. - Виникнення логіки
Історія логіки Від формування логіки як науки поширене визначення, що її предметом є форми та закони мислення. Водночас таке визначення предмета логіки...
-
Логіка - Дуцяк І.3. - Історія логіки
Історія логіки Від формування логіки як науки поширене визначення, що її предметом є форми та закони мислення. Водночас таке визначення предмета логіки...
-
Логіка - Дуцяк І.3. - Вступ. Загальні знання про логіку
Історія логіки Від формування логіки як науки поширене визначення, що її предметом є форми та закони мислення. Водночас таке визначення предмета логіки...
-
Логіка - Дуцяк І.3. - 2.2. Суперечність між твердженнями тексту
Нижче описано метод виявлення логічно хибних тверджень у послідовності пов'язаних тверджень, тобто таких, які містять однакові прості...
-
Системи підтримки прийняття рішень, які містять базу знань і розробляються з використанням методів штучного інтелекту, називаються системами підтримки...
-
Фінанси підприємств у запитаннях і відповідях - Данілов О. Д. - Що таке вексель і які є його види?
Акредитив закривається у день отримання повідомлення від банку-емітента. Невикористана сума коштів з акредитивного рахунку повертається банку платника...
-
Логіка - Конверський А. Є. - 2. Формальні та змістовні правила міркування
Наведені приклади яскраво свідчать про те, наскільки важливо знати правила та закони мислення і вміти їх застосовувати у практиці міркувань. Отже,...
-
Класичні експерименти в психології - Копець Л. - 2.2. Експеримент і його види
Експеримент (від лат. experimentum - проба, дослід) - дослідницька стратегія, яка передбачає цілеспрямоване спостереження за певним процесом в умовах...
-
5.1. Виявлення і вивчення альтернатив управлінських рішень Основними етапами підготовки управлінського рішення, як було зазначено раніше, є виявлення...
-
Риторика - Колотілова Н. А. - 2.5.3. Види аргументів
Залежно від модусів публічного виступу розрізняють види аргументів в ораторській промові: O аргументи до логосу; O аргументи до етосу; O аргументи до...
-
Оцінити ступінь досягнення мети можна лише за допомогою відповідного критерію. Критерій, з одного боку, має адекватно відображати ступінь досягнення мети...
-
Логіка - Жеребкін В. Є. - 3.5. Правила поділу
Коли ми маємо справу з поняттями, то нас цікавить не тільки їхній зміст, а й обсяг. Наприклад, вивчаючи державу, ми цікавимось не лише тим, що таке...
Логіка - Дуцяк І.3. - 3.1. Виведення знань та його види. Алгоритм виявлення правил виведення