- Вклад Чарльза Перса
- 3 види умовиводу
- 1- Відрахування
- Приклад
- 2- Індукція
- Приклад
- 3- Викрадення
- Приклад
- Список літератури
Умовивід є висновок або думка , що досягається з урахуванням відомо доказів чи фактів. У логіці умовивід визначається як процес отримання логічних наслідків з припущених приміщень.
Передумова також визначається як пропозиція, подана як істинна, і з якої робиться висновок.
У деяких випадках умовивід не є логічно виведеним із припущених приміщень, але має певну ступінь ймовірності щодо них.
Слово умовивід походить від середньовічної латинської інфекції, що означає "нести в себе". Цей термін часто використовується синонімом аргументу.
Висновок - це механізм, за допомогою якого відбувається міркування. Ці двоє йдуть рука об руку, і важливо дотримуватися належного процесу висновку, щоб забезпечити обґрунтованість міркувань.
Вклад Чарльза Перса
Дослідження висновків та аргументів збагатилися роботами філософа і математика Чарльза Сандерса Перса (1839-1914).
Він зробив вагомий внесок у теорію та методологію індукції та виявив третій тип міркувань чи умовиводів: викрадення.
Таким чином, класифікація Перса охоплювала три принципово різні, але не зовсім незалежні типи умовиводів: дедукцію, індукцію та викрадення.
Незважаючи на те, що на пізніх етапах свого життя він розглядав їх як три різні етапи дослідження, а не різні типи висновків, ця класифікація все-таки дотримується.
3 види умовиводу
1- Відрахування
Дедукція - це процес виведення висновку із заданих аксіом та фактів. Тобто зробіть висновок на основі наявних знань та спостережень.
Висновок можна зробити, застосувавши правило modus ponens. Це правило висновку стверджує, що якщо і P, і P → Q, як відомо, є правдою, можна зробити висновок, що Q також повинен бути істинним. Висновок шляхом виведення також відомий як логічний умовивід.
Приклад
Аксіома: Усі ссавці мають молочні залози.
Факт / приміщення: Кити - це ссавці.
Підсумок: у китів є молочні залози.
2- Індукція
Зі свого боку, індукція передбачає отримання загального правила (також званого аксіомою) з конкретних або конкретних спостережень.
Цей тип міркувань протилежний дедуктивним. В основному це означає робити висновки або умовиводи з різних даних, переходячи від конкретних до загальних. Вчені використовують індуктивне міркування для формування гіпотез та теорій.
Приклад
Дані:
- Хуан спить менше шести годин і прокидається втомлений.
- Люція спить менше шести годин і прокидається втомленою.
- Марія спить менше шести годин і прокидається втомленою.
- Карлос спить менше шести годин і прокидається втомленим.
Висновок: Якщо людина спить менше шести годин, вона прокидається втомленою.
3- Викрадення
Цей тип висновку починається з неповного набору спостережень, в результаті чого можливе найбільш ймовірне пояснення.
Він заснований на складанні та тестуванні гіпотез, використовуючи найкращу доступну інформацію. Це часто включає припущення після спостереження за явищем, для якого немає чіткого пояснення.
Приклад
Прикладом цього є медичні діагнози на основі результатів тестів. Інший приклад - рішення присяжних у судових процесах на основі представлених їм доказів.
Список літератури
- Висновок. (с / ф). На Dictionary.com Невизначений. Отримано 27 листопада 2017 року з Dictionary.com
- Висновок. (2017 р., 8 листопада). На Merriam Webster.com. Отримано 27 листопада 2017 року з merriam-webster.com
- Iannone, AP (2013). Словник світової філософії. Лондон: Routledge.
- Беллуччі, Ф. та Пієтарінен, А. В. (с / ф). Чарльз Сандерс Перс: Логіка. Інтернет-енциклопедія філософії. Отримано 27 листопада 2017 року з iep.utm.edu
- Кулкарні, П. і Джоші, П. (2015). Штучний інтелект: побудова інтелектуальних систем. Делі: Навчання PHI.
- Джонсон, Г. (2017). Аргумент і умовивід: вступ до індуктивної логіки. Массачусетс: MIT Press.
- Velleman, DJ (2006) Як це довести: структурований підхід. Нью-Йорк: Cambridge University Press.
- Бредфорд, А. (2017, 24 липня). Дедуктивна аргументація vs. Індуктивне обґрунтування
живої науки. Отримано 27 листопада 2017 року з сайта lifecience.com