Дедуктивната система е
Дедуктивната система е начин за уточняване на набор чрез уточняване на начални елементи (аксиоми на смятане) и правила за извод, всяко от които описва как да се изградят нови елементи от оригиналните. Използват се различни термини за означаване на концепцията за дедуктивна система: ... ... Wikipedia
Дедуктивна теория - Синоним на теория на фокуса Съдържание 1 Определение и разновидности 2 Разновидности на дедуктивни теории ... Уикипедия
ФОРМАЛНА СИСТЕМА - дедуктивна система, в математиката. логика, неинтерпретирано смятане, дадено от правилата за образуване на изрази на това смятане и правилата за правене на заключения в това смятане. Изразите на Ф. с. се разглеждат като чисто формални ... ... Математическа енциклопедия
Формална система - неинтерпретирано смятане, чийто клас от изрази (формули) обикновено се задава индуктивно - чрез задаване на първоначалните („елементарни“ или „атомарни“) формули и правила за образуване (конструкция) на формули и подклас от доказуеми формули ... ... Велика съветска енциклопедия
ФОРМАЛНА СИСТЕМА - неинтерпретирано смятане, класът от изрази (формули), към който обикновено се задава индуктивно - чрез задаване на първоначалните (елементарни или атомарни) формули и правилата за образуване (конструкция) на формули и подклас от доказуеми формули (теореми) - ... ... Философска енциклопедия
ДЕДУКТИВНАТА ПЪЛНОТА е свойство на формална система (изчисление), което характеризира достатъчността на нейните дедуктивни средства по отношение на sp. някои фиксирани критерии (съществени или формални). В зависимост от естеството на избрания критерий те стигат до един или друг ... ... Философска енциклопедия
ХИПОТЕТИЧНО-ДЕДУКТИВЕН МОДЕЛ — ХИПОТЕТИЧНО-ДЕДУКТИВЕН МОДЕЛ (в методологията на науката) концепцията за когнитивния процес в наукатаи структурата на научното познание, основано на идеята за научното познание като система от дедуктивно взаимосвързани хипотетични твърдения ... Енциклопедия на философията
хипотетично-дедуктивен модел на теория — ХИПОТЕТИЧНО-ДЕДУКТИВЕН МОДЕЛ НА ТЕОРИЯ модел на научна теория, представящ нейната концептуална структура под формата на система от взаимосвързани хипотези и дедуктивни следствия, произтичащи от тях. Формиране на теории като сложно организирани ... Енциклопедия на епистемологията и философията на науката
Формална система - (формална теория, аксиоматична теория) резултат от строга формализация на теорията, което предполага пълно абстрахиране от значението на думите на използвания език и всички условия, управляващи използването на тези думи в теорията, са ясно посочени ... ... Уикипедия
изчислително смятане — ▲ система ↑ изчислително смятане, дедуктивна система изчислителна система; набор от правила за работа с до л. символи; математически модел на процеса на преход от предпоставки към следствие, осъществяван по определени правила за умозаключение (Мат. ... ... Идеографски речник на българския език