Page 106 - 4585

певної теорії, що приймається без доведення як вихідне, тобто
таке, що є підставою для логічного доведення інших
тверджень цієї теорії. До системи знань, що побудовані за
допомогою цього методу, ставляться такі вимоги:
- несуперечності;
- повноти;
- незалежності.
Формалізація (від лат. formalis – складений за певною
формою) – це певний перехід від реального об’єкта дослі-
дження до його знакової моделі, у процесі якого всі змістові
терміни і твердження теорії замінюються логічними або
математичними символами та формулами.
Науковий аналіз – спосіб пізнання об’єктивної дійсності.
Спосіб є певною послідовністю дій, прийомів, операцій.
У процесі пізнання очевидні твердження становлять
лише частину всіх істин. Звичайно, для встановлення істини
доводиться в кожному випадку проводити дослідження, тобто
брати до уваги раніше встановлені істини, зібрати необхідні
факти, зіставити досвіди, осмислити їх результат, перевірити
на практиці здогаду.
Встановлення істини можливо й логічним шляхом.
Відбувається це за допомогою міркувань.
Міркуванням називається низка суджень, які ставляться
до певного предмета або питання, ідуть одне за іншим так, що
з попередніх суджень із необхідністю або високою ймовір-
ністю випливають інші, а в результаті виходить відповідь на
поставлене питання. Визнаючи правдивими попередні
судження, необхідно визнавати істинним висновок, що
випливає із них. Та логічна дія, за допомогою якої виявляється
істинність нових суджень, називається умовиводом.
Умовивід – це форма мислення, в якій з одного або
декількох істинних суджень на підставі певних правил
висновку виходить нове судження, що з певним ступенем
ймовірності випливає з них.
105