Металогика это:

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

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Металогика" в других словарях:

  • металогика — металогика …   Орфографический словарь-справочник

  • МЕТАЛОГИКА — раздел логики, в котором изучаются логические исчисления и формализованные логические теории. В рамках данного раздела изучаются все те универсальные отношения, которые могут иметь место между смысловыми значениями символов того или иного языка;… …   Философская энциклопедия

  • Металогика — Металогика  изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем. К… …   Википедия

  • МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория …   Большой Энциклопедический словарь

  • металогика —         МЕТАЛОГИКА (от греч. meta после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. Поскольку современное развитие логики привело к тому, что сами рассуждения образуют те или иные… …   Энциклопедия эпистемологии и философии науки

  • металогика — область метатеоретических исследований проблем логики. См. Метатеория. * * * МЕТАЛОГИКА МЕТАЛОГИКА, область метатеоретических исследований проблем логики. См. Метатеория (см. МЕТАТЕОРИЯ) …   Энциклопедический словарь

  • МЕТАЛОГИКА — логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек рых употребительных математич. абстракций с …   Математическая энциклопедия

  • металогика — метал огика, и …   Русский орфографический словарь

  • металогика — (1 ж) …   Орфографический словарь русского языка

  • металогика — метало/гика, и …   Слитно. Раздельно. Через дефис.

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»