доказуемость
31ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …
32ПАРАДОКСЫ СЕМАНТИЧЕСКИЕ — парадоксы (антиномии), обусловленные неограничиваемым употреблением нек рых лингвистич. и семантич. понятий, напр. истинный , самоприменимый или самоотносимый , определяемый и др. П. с. называются также иногда синтаксическими или эпистемоло г и ч …
33ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… …
34ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …
35ДЕДУКЦИИ ТЕОРЕМА — общее название ряда теорем, позволяющих устанавливать доказуемость импликации в случае, когда дан логический вывод формулы Виз формулы А. В простейшем случае классического, интуиционистского и т. п. исчислений высказываний Д. т. утверждает: если… …
36ПАСКАЛЕВА ГЕОМЕТРИЯ — геометрия плоскости, построенной над полем (коммутативным телом). Название этой геометрии связано с тем, что в этой геометрии на плоскости выполняется конфигурационное предложение Пап на Паскаля: если точки 1, 3, 5 и 2, 4, 6 соответственно лежат… …
37противоречие — я; ср. 1. Положение, при котором что л. одно исключает другое, несовместимое с ним. Впасть в п. с прежними утверждениями. П. во взглядах. П. между теорией и практикой, словом и делом, любовью и долгом. Острое, серьёзное, мнимое п. Обнаружить п. в …
38ВЕЩЬ В СЕБЕ — «ВЕЩЬ В СЕБЕ» (нем. Ding an sich, Ding an sich selbst), философское понятие, важнейшее в кантовской философии. Этот термин имел достаточно широкое хождение и до Канта (см. КАНТ Иммануил), в частности, в вольфовской (см. ВОЛЬФ Христиан) школе. В… …
39Логика — Гр …
40Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …
