дедуктивна теорія

Див. Також в інших словниках:

Теорія - (грец. Θεωρία розгляд, дослідження) вчення, система ідей або принципів. Є сукупністю узагальнених положень, що утворюють науку або її розділ. Теорія виступає як форма синтетичного знання, в межах якої окремі ... ... Вікіпедія

Теорія - Теорія ♦ Théorie Сучасне значення слова «теорія» далеко пішло від свого грецького «прабатька» (Theoria). Для нас теорія - не стільки споглядання, скільки праця, не тільки радість пізнання, скільки розумове зусилля. Так що ж таке ... ... Філософський словник Спонвіль

Дедуктивної логіки - дедуктивної логіки розділ логіки, в якому вивчаються способи міркування, що гарантують істинність висновку при істинності посилок. Дедуктивна логіка іноді ототожнюється з формальною логікою. Поза межами дедуктивної логіки знаходяться т ... Філософська енциклопедія

ТЕОРІЯ ПІЗНАННЯ - Гносеологія (від грец. Gno sis знання, logos слово, поняття), епістемології і я (від грец. Episteme знання) розділ філософії, який досліджує природу людського пізнання, його джерела і передумови, ставлення знання до предмету пізнання, умови ... ... філософська енциклопедія

ТЕОРІЯ - (від грец. Theoria розгляд, дослідження) сукупність висловлювань, замкнутих щодо логічного слідування. Таке гранично загальне і найбільш абстрактне визначення Т. дає логіка. З логічної точки зору теорією можна назвати будь-який ... ... Філософська енциклопедія

Дедуктивна система - це спосіб завдання безлічі шляхом вказівки вихідних елементів (аксіом обчислення) і правил виведення, кожне з яких описує, як будувати нові елементи з вихідних. Використовуються різні терміни для позначення поняття дедуктивної системи: ... ... Вікіпедія

здійсненне теорія - теорія, для якої існує ефективна процедура (алгоритм), що дозволяє про кожного затвердження, сформульованому в термінах цієї теорії, вирішити, що виводиться воно в теорії чи ні (див. Дозволи проблема). Р. т. Є, напр. елементарна ... ... Словник термінів логіки

гипотетико-дедуктивна модель теорії - гіпотетико дедуктивного МОДЕЛЬ ТЕОРІЇ модель наукової теорії, що репрезентує її концептуальну структуру у вигляді системи взаємопов'язаних гіпотез і виводяться з них дедуктивних наслідків. Формування теорій як складноорганізованих ... Енциклопедія епістемології і філософії науки

Формальна теорія - формальна (аксіоматична) теорія, формальне числення це поняття, розроблене в рамках формальної логіки в якості основи для формалізації теорії докази. Формальна теорія різновид дедуктивної теорії, де безліч теорем ... ... Вікіпедія

Гіпотетико-дедуктивний МОДЕЛЬ - (HYPOTHETICO DEDUCTIVE MODEL) Загальноприйнятий погляд на побудову теорії і пояснення в природничих науках полягає в наступному. Вчені придумують теорію, яка може пояснити деякі явища. Потім з неї логічним шляхом виводяться ... ... Соціологічне словник

Схожі статті