ору (так би мовити, однієї системи координат). p align="justify"> Сумнів вважається фундаментальним відзнакою мислячої і не мислячої природи (кібернетичного пристрою). Завдання, які стоять перед істотами мислячими, мають інваріантний набір рішень, без емпіричних "зважувань" обійтися неможливо. Будь-яке зважування може бути зроблено тільки з допустимою похибкою, в кінцевому рахунку - це означає наявність сумніви в достатній, для даного випадку, точності цього зважування. За своєю природою, обчислювальній машині не властиво сумнів. Стан невизначеності паралізує дію машини. Це в свою чергу означає, що поки обчислювальна машина не почне сумніватися, до того не отримаємо конкурента людського розуму в особі штучного інтелекту. Для такого випадку вчені повинні знайти алгоритм розв'язання рівнянь з безліччю невідомих, програмісти - запрограмувати машину, і якщо машина зможе їх вирішувати, ми отримаємо мисляче кібернетичної пристрій. А це зробити неможливо, в силу неможливості вирішити рівняння з n-ним кількістю невідомих. Таким чином, сумнів є ознакою мислячої істоти. p align="justify"> Умовивід - це виведення з одного або кількох суджень нового судження. Вихідні судження, з яких виводиться, витягується інше судження, називають посилками умовиводи. Найпростішою і типовою формою висновку на основі приватної і спільної посилок є силогізм. Силогізм (від грец. Sillogismos) категоричний - дедуктивний умовивід, у якому з двох суджень, які мають суб'єктно-предикатную форму ("Всі S суть Р", "Жодне S не є Р", "Деякі S суть Р", "Деякі S не є Р"), слід нове судження (висновок), що має також суб'єктно-предикатную форму.
Прикладом силогізму може бути наступне дедуктивний умовивід:
Судження 1: "Всі рідини пружні";
Судження 2: "Ртуть - рідина";
Отже,
Умовивід: "Ртуть пружна".
Розрізняють умовивід: індуктивне, дедуктивне, за аналогією.
індуктивним називається такий умовивід, в якому міркування йде від одиничних фактів до загального висновку.
Дедуктивним називається такий умовивід, в якому міркування здійснюється у зворотному порядку індукції, тобто від загальних фактів до одиничного висновку.
Аналогією називається такий умовивід, в якому висновок робиться на підставі часткового подібності між явищами, без достатнього дослідження всіх умов.
Умовивід можна визначити і як логічну форму вивідного знання, що складається в переході від деяких вихідних суджень до нового знання, що випливає з цих суджень, які є його основою.
Роль раціонального пізнання абсолютизував раціоналізм. Його представники (Декарт, Лейбніц, Гегель і ін) стверджували, що загальні істини не виводяться зі змісту чуттєвого досвіду, а можуть бути почерпнуті тільки з мислення. Неспроможність такої односторонньої о...
