Дедуктивна система – це
Дедуктивна система - це спосіб завдання множини шляхом вказівки вихідних елементів (аксіом обчислення) і правил виведення, кожне з яких описує, як будувати нові елементи з вихідних. Використовуються різні терміни для позначення поняття дедуктивної системи: ... Вікіпедія
Дедуктивна теорія — Синонім теорія фокусу Зміст 1 Визначення та різновиди 2 Різновиди дедуктивних теорій … Вікіпедія
ФОРМАЛЬНА СИСТЕМА — дедуктивна система, математич. логіці неінтерпретоване літочислення, що задається правилами освіти виразів цього літочислення та правилами побудови висновків у цьому обрахунку. Висловлювання Ф. с. розглядаються як суто формальні… Математична енциклопедія
Формальна система — неінтерпретоване Обчислення, клас виразів (формул) якого задається зазвичай індуктивно – за допомогою завдання вихідних («елементарних», або «атомарних») формул і правил освіти (побудови) формул, а підклас формул, що доводяться. Велика Радянська Енциклопедія
ФОРМАЛЬНА СИСТЕМА — неінтерпретоване літочислення, клас виразів (формул) якого задається зазвичай індуктивно – за допомогою завдання вихідних ( елементарних , або атомарних ) формул і правил освіти (побудови) формул, а підклас доведених формул (теорем) –… … Філософська енциклопедія
ПОВНАТА ДЕДУКТИВНА - властивість формальної системи (обчислення), що характеризує достатність його дедуктивних засобів з т. зр. деяких фіксованих критеріїв (змістовних або формальних). Залежно від характеру вибраного критерію приходять до тієї чи іншої... Філософська енциклопедія
ГІПОТЕТИКО-ДЕДУКТИВНА МОДЕЛЬ — ГІПОТЕТИКО ДЕДУКТИВНА МОДЕЛЬ (у методології науки) концепція пізнавального процесу у науціта структури наукового знання, що виходить із уявлення про наукове знання як про систему дедуктивно пов'язаних між собою гіпотетичних тверджень … Філософська енциклопедія
гіпотетико-дедуктивна модель теорії — ГІПОТЕТИКО ДЕДУКТИВНА МОДЕЛЬ ТЕОРІЇ модель наукової теорії, що репрезентує її концептуальну структуру у вигляді системи взаємопов'язаних гіпотез і дедуктивних наслідків, що виводяться з них. Формування теорій як складноорганізованих … Енциклопедія епістемології та філософії науки
Формальна система — (формальна теорія, аксіоматична теорія) результат суворої формалізації теорії, що передбачає повну абстракцію від змісту слів мови, що використовується, причому всі умови, що регулюють вживання цих слів у теорії, явно висловлені… … Вікіпедія
обчислення - ▲ система ↑ обчислення обчислення, дедуктивна система система обчислення; сукупність правил оперування з к л. символами; математична модель процесу переходу від посилок до слідства, який проводиться за деякими правилами виведення (матем. … … Ідеографічний словник української мови