метатеория
51Метаязык — (от Мета... одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико математических исчислений, естественных языков, для описания отношений между языками различных… …
52Минимальная логика — логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …
53Опровержение логическое — обоснование, или содержательное Доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к… …
54Постулат — (от лат. postulatum требование) предложение (условие, допущение, Правило), в силу каких либо соображений «принимаемое» без доказательства, но, как правило, с обоснованием, причём именно это обоснование и служит обычно доводом в пользу… …
55Формализация — представление какой либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая …
56ГЕССЕ — • ГЕССЕ см. ПРИЛОЖЕНИЕ. • ГЕССЕ (Hesse) Герман (1877 1962) швейцарско германский (отказался от немецкого подданства в 1923) писатель, лауреат Нобелевской премии (1946). Основные произведения: «Романтические песни» (сборник стихов, 1899),… …
57АЛЬТЮССЕР — (Althusser) Луи (1918 1990) фр. философ марксист. Испытывал влияние структурализма и неорационализма. В своих работах исследует проблемы общественного развития, истории философии, диалектики, гносеологии, соотношения науки, идеологии и философии …
58ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …
59ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …
60МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …
