Тезис (НФЭ, 2010)

ТЕЗИС (лат. thesis — положение, утверждение) — 1) в широком смысле любое утверждение, предложенное для доказательства, отстаиваемое при изложении некоторой концепции или теории, или просто в споре (например, в средневековых диспутах на ученые степени в университетах). Такое толкование термина «тезис» закрепилось и в логике, поскольку логика издавна считалась рабочим инструментом в искусстве спора (диалектике).

В дедуктивных теориях, когда логические средства доказательства строго фиксированы, тезисы обычно противопоставляются постулатам и аксиомам этих теорий. При этом они представляют собой некоторую проблему для логики, решение которой состоит в поиске вывода или доказательства тезисов (на основе понятий и средств данной теории), что позволило бы перевести их из класса (обсуждаемых) гипотез в класс теорем данной теории. В этом смысле термин «тезис» нередко используется как синоним термина «теорема»; 2) в узком смысле в тех же дедуктивных теориях тезисами называют утверждения, которые, оставаясь вне рамок самой дедуктивной теории, не являясь выводимыми или доказуемыми в этих теориях (теоремами этих теорий) и не будучи строго формальными, тем не менее полезны для понимания истинной роли вполне строгих (формализуемых) понятий этих теорий. По отношению к понятию «алгоритм» таков, по-видимому, «тезис Чёрча» о совпадении класса алгоритмически вычислимых частичных числовых функций с классом всех частично рекурсивных функций или принцип нормализации Маркова («тезис Маркова»), фактически представляющий собой «вариант тезиса Чёрча, относящийся к нормальным алгорифмам» (Марков А. А., Нагорный Н. М. Теория алгорифмов. М., 1984, §27).

М. М. Новосёлов

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. IV, с. 22.