ТЕОРЕМА ПРО ДЕДУКЦІЮ
ТЕОРЕМА ПРО ДЕДУКЦІЮ - теорема дедукції, - одне з найважливіших змістовних тверджень математичної логіки, що визначає зв'язок між логічно правильними (аподиктичними) міркуваннями (або висновками, або висновками) і законами (доведеними формулами) логіки, ... ...
ТЕОРЕМА - (від грец. Theoreo - розглядаю) науковий стан. Філософський енциклопедичний словник. 2010. ТЕОРЕМА (грец. ϑεώρημα, від ϑεωρέω – розглядаю, досліджу … Філософська енциклопедія
ДЕДУКЦІЇ ТЕОРЕМУ — ДЕДУКЦІЇ ТЕОРЕМУ метатеоретичне твердження про формальну логічну теорію (обчислення) Т, відповідно до якого існування в обчисленні Т виведення логічного формули В з званих гіпотезами формул Ai, Ai, . А„ (символічно: Αι … Філософська енциклопедія
ТЕОРЕМА ДЕДУКЦІЇ - ТЕОРЕМА ДЕДУКЦІЇ див. Дедукції теорема. Нова філософська енциклопедія: У 4 тт. М: Думка. За редакцією В. С. Степіна. 2001 … Філософська енциклопедія
дедукції теорема - ДЕДУКЦІЇ ТЕОРЕМУ (від латів. deductio виведення) твердження про властивості логічної теорії. Д. т. говорить: «Якщо є висновок Г, А (В, то є також і висновок Г J А > В, де знак імплікації, Г довільне (можливо порожнє) ... ... Енциклопедія епістемології та філософії науки
ДЕДУКЦІЇ ТЕОРЕМУ — загальна назва низки теорем, що дозволяють встановлювати доказовість імплікації у разі, коли дано логічний висновок формули Віз формули А. У найпростішому випадку класичного, інтуїціоністського і т. п. обчислень висловлювань Д. т. стверджує: якщо … … Математична енциклопедія
СИНТАКСИЧНА ТЕОРЕМА - теорема синтаксичного мови, тобто теорема про формалізовану теорію. Приклади С. т.: теорема дедукції для обчислення предикатів, теоремаГеделя про неповноту арифметики. Ці теореми відносяться до елементарного синтаксису. Прикладом неелементарної С.… … Математична енциклопедія
ПРЕДИКАТІВ ЛІКУВАННЯ — загальна назва обчислень математичної логіки, що є формалізацією тих розділів суч. логіки, які вивчають суб'єктно предикатну структуру речень (висловлювань), що розуміється в ширшому, ніж у традиціях. логіці, сенсі: окрім теорії … Філософська енциклопедія
МЕТАТЕОРІЯ — (від грец. meta після, за, позаду) теорія, що вивчає мову, структуру та властивості деякої ін. теорії. Теорія, властивості якої досліджуються М., називається предметної, чи об'єктної, теорією. Найбільш розвинуті М. у логіці та математиці (металогіка І … Філософська енциклопедія
Метатеорема — (від Мета. теорема щодо об'єктів (понять, визначень, аксіом, доказів, правил виведення, теорем та ін.) якоїсь наукової теорії (т. зв. предметної, або об'єктної, теорії), що доводиться засобами метатеорії… … Велика радянська енциклопедія
ФОРМАЛЬНА ЛОГІКА - наука, що займається аналізом структури висловлювань і доказів, що звертає основну увагу на форму відволікання від змісту. Визначення «формальна» було запроваджено І. Кантом із наміром підкреслити провідну особливість Ф.Л. у підході до … … Філософська енциклопедія