Металогика
(от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. В связи с исследованиями оснований дедуктивных наук (прежде всего математики), М. В ходе дальнейшей специализации этих исследований разделилась на синтаксическую и семантическую «ветви». К первой из них, посвященной рассмотрению чисто структурных свойств исчислений, относятся прежде всего теория (формальных) доказательств (См. Доказательства) (или Метаматематика) и теория определимости понятий. Вторая «ветвь» М., распадающаяся на теорию смысла и теорию референции (теорию значения), — это Логическая семантика. Уже из основополагающей для неё работы А.
Тарского (См. Тарский), посвященной исследованию понятия истины (истинности) в формализованных языках (См. Формализованный язык), выделилась вскоре самостоятельная теория алгебраического содержания — т. Н. Моделей теория. К М. Относится и интересная проблема соотношения между экстенсиональными и интенсиональными языками, явившаяся отправным пунктом новой дисциплины — прагматики (см. Семиотика). Лит. Тарский А., Введение в логику и методологию дедуктивных наук, пер. С англ., М., 1948. Карнап Р., Значение и необходимость, пер. С англ., М., 1959. Чёрч А., Введение в математическую логику, пер. С англ., т. 1, М., 1960 (введение). Carnap R., The logical syntax of language, N. Y. — L., 1937. Tarski A., Logic, semantics, metamathematics, Oxf., 1956.
Martin R., Towards to systematic pragmatics, Amst., 1959. Ю. А. Гастев, В. К. Финн.
Дополнительный поиск Металогика
На нашем сайте Вы найдете значение "Металогика" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Металогика, различные варианты толкований, скрытый смысл.
Первая буква "М". Общая длина 10 символа