Энциклопедия эпистемологии и философии науки

МЕТАЛОГИКА

МЕТАЛОГИКА(от греч. meta - после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. Поскольку современное развитие логики привело к тому, что сами рассуждения образуют те или иные логические системы, то основной целью М. становится изучение свойств этих систем, напр. таких какнепротиворечивость,полнота и не полнота (см.Полнота логических исчислений),разрешимость и неразрешимость (см.Разрешения проблема).Все это потребовало развития теории доказательств, которая называется метаматематикой, а иногда - М. Обратим внимание на одну особенность такой М.: напр., изучение свойств классической логики может производится как средствами этой логики, так и средствами др. логики, напр.,конструктивной логики,или, наоборот, доказательство полноты дляинтуиционистской логикиможет быть классическим или конструктивным. Характеризация фундаментальных логических систем, напр., таких как первопорядовая логика (см.Логика предикатов)в терминах ее глобальных свойств (компактность, категоричность и т.д.), также является предметом М., хотя традиционно это относится ктеории моделей.Отдельным полем деятельности М. является рассмотрение различных взаимоотношений между логическими системами и, в первую очередь, погружение одних логических систем в др. При этом по свойствам одной системы выявляются свойства др. системы. В последнее время все более актуальным становится исследование не отдельных логических систем, какими интересными они не были бы, а изучение целых классов (порой континуальных) систем, упорядоченных решеточным образом. Свойства этих решеток, элементами которых являются всевозможные логические системы или логические теории (см.Теория в логике), -совершенно новый аспект М., хотя впервые на такой подход указал А. Тарскии. Основные работы в области М. принадлежат Г. Фреге, Э. Посту, Т. Сколему, представителямЛьвовско-Варшавской школылогиков, Д. Гильберту, К. Геделю, П. Линдстрему, А. Черчу, Р. Карнапу и др.
А.С. Карпенко
Лит.:Клини С.К.Введение в метаматематику. М., 195 7.

  1. металогика—МЕТАЛОГИКА от мета. iчасть ло гики посвящнная изучению метатеоре тическими средствами см. Метатеория N. Y. L. Т а г s k i A. Logic semantics metamathematics Oxf. Martin...Большая советская энциклопедия
  2. металогика—от Мета. часть логики посвященная изучению метатеоретическими средствами см. Метатеория строения и свойств различных логических теорий. Возникшая на рубеже и вв. в связ...Большая Советская энциклопедия II
  3. металогика—сущ. жен. рода...Большой русско-украинский словарь
  4. металогика—область метатеоретических исследований проблем логики. См.Метатеория....Большой энциклопедический словарь II
  5. металогика—МЕТАЛОГИКА область метатеоретических исследований проблем логики. См. Метатеория....Большой энциклопедический словарь III
  6. металогика—МЕТАЛОГИКА область метатеоретических исследований проблем логики. См. Метатеория....Большой Энциклопедический словарь V
  7. металогика—часть логики посвященная изучению свойств научных исследований их средств и методов. Часть логики науки....Глоссарий философских терминов
  8. металогика—логика используемая в рассуждениях о формальной аксиоматич. теории в рамках пекрой метатеории.i В основаниях математики к метатеории часто предъявляются специфич. требова...Математическая энциклопедия
  9. металогика—приставка МЕТА корень ЛОГ суффикс ИК окончание А Основа слова МЕТАЛОГИКВычисленный способ образования слова Приставочносуффиксальный или префиксальносуффиксальный МЕ...Морфемный разбор слова по составу
  10. металогика—Начальная форма Металогика слово обычно не имеет множественного числа единственное число женский род именительный падеж неодушевленное...Морфологический разбор существительных
  11. металогика—металогика металогика и...Орфографический словарь
  12. металогика—u ж...Орфографический словарь русского языка
  13. металогика—металогика...Орысша-қазақша «Математика» терминологиялық сөздік
  14. металогика—Орфографическая запись слова металогика Ударение в слове металогика Деление слова на слоги перенос слова металогика Фонетическая транскрипция слова металогика [митлогк] ...Полный фонетический разбор слов
  15. металогика—металогика и...Русский орфографический словарь
  16. металогика—metalogic...Русско-английский словарь по электронике
  17. металогика—металогка...Русско-белорусский математический словарь
  18. металогика—Металогка...Русско-белорусский словарь
  19. металогика—металогка жен.i...Русско-белорусский словарь II
  20. металогика—металогика...Русско-казахский терминологический словарь «Философия и политология»
  21. металогика—...Русско-китайский словарь
  22. металогика—матем. наук. металогка...Русско-украинский политехнический словарь
  23. металогика—металогика...Слитно или раздельно? Орфографический словарь-справочник
  24. металогика—металогика и...Слитно. Раздельно. Через дефис. Словарь-справочник
  25. металогика—методология дедуктивных наук часть логики посвящнная изучению метатеоретич. см. Метатеория средствами свойству различных логич. систем и логики в целом. К М. нередко отно...Советский философский словарь
  26. металогика—МЕТАЛОГИКА область метатеоретических исследований проблем логики. См. Метатеория....Современный энциклопедический словарь
  27. металогика—Ударение в слове металогикаУдарение падает на букву оБезударные гласные в слове металогика...Ударение и правописание
  28. металогика—МЕТАЛОГИКА раздел логики в котором изучаются логические исчисления и формализованные логические теории.В рамках данного раздела изучаются все те универсальные отношения ...Философская энциклопедия
  29. металогика—область логики в крой метатеоретич. средствами см. Метатеория изучается строение логич. теорий. М. возникла в связи с исследованиями оснований дедуктивных наук в особенно...Философская Энциклопедия (в 5 томах)
  30. металогика—греч. meta после за и logos слово понятие рассуждение теория исследующая системы и понятия Метатеория совр. формальной логики. Разрабатывает вопросы теории доказательс...Философский энциклопедический словарь
  31. металогика—Омлетика Омлет Омет Омела Омег Олим Олег Олеат Окат Ока Мотка Моталка Мот Моки Могилка Могила Млеко Мка Миот Мио Мило Милка Мила Мик Мигалка Миг Метол Метла Метко Метка М...Электронный словарь анаграмм русского языка
  32. металогика—МЕТАЛОГИКА область метатеоретических исследований проблем логики. См. Метатеория....Энциклопедический словарь естествознания