Металогика

Метало́гика

(от Мета...)

часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 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.

Ю. А. Гастев, В. К. Финн.

Источник: Большая советская энциклопедия на Gufo.me


Значения в других словарях

  1. Металогика — Логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек-рых употребительных математич. Математическая энциклопедия
  2. МЕТАЛОГИКА — МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория. Большой энциклопедический словарь
  3. МЕТАЛОГИКА — МЕТАЛОГИКА – раздел современной логики, в котором исследуются способы построения различных логических теорий, свойства, присущие им, а также отношения, существующие между ними. Новая философская энциклопедия
  4. металогика — МЕТАЛОГИКА (от греч. meta — после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. Энциклопедия эпистемологии и философии науки
  5. металогика — орф. металогика, -и Орфографический словарь Лопатина
  6. металогика — Мета/ло́г/ик/а. Морфемно-орфографический словарь