Cтраница 3
Метатеория) изучается строение логич. Вывод в математической логике, Доказателъстко), теории определимости понятий, теории моделей, теории истинности в формализованных языках и др. К числу осн. [31]
А ( х) и, вообще говоря, дальнейшей информацией, нужной для восполнения сообщения А ( х) для этого х ( если А ( х), также является неполным сообщением); понимания импликации А эВ как неполного сообщения, восполняемого путем задания эффективного общего метода получения информации, восполняющей В, по данной информации, восполняющей А, и аналогично для др. логич. Метатеория, это, по существу, та самая, исходящая от К. Геделя, идея, к-рая была положена в практич. [32]
Метатеория, Метод аксиоматический, Формализм. [33]
Утверждения метатеории должны быть понимаемы. Ее выводы должны убеждать. Они должны состоять в интуитивных умозаключениях, а не в применении установленных правил, как выводы в формальной теории. Чтобы формализовать предметную теорию, были установлены правила, но теперь без всяких правил мы должны понимать, как эти правила действуют. Интуитивная математика необходима даже для определения формальной. [34]
Значение и смысл), синонимия, аналитическая истинность и др.), определяются относительно всех возможных интерпретаций данного языка. При метатеоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. Тарский, описание семантических свойств языка в рамках этого же самого языка приводит К семантическим антиномиям типа лжец. [35]
Значение и смысл), синонимия, аналитическая истинность п др.), определяются относительно всех возможных интерпретаций данного языка. При метатеоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. Тарский, описание семантических свойств языка в рамках этого же самого языка приводит к семантическим антиномиям. [36]
Наиболее отчетливо определены основания математики и метаматематика, которые изучаются на математико-механи-ческих факультетах как учебные дисциплины. В рамках философии существует метатеория, которую называют метафилософией, философией философии или теорией философского знания [ Алексеев. Основными проблемами этой науки являются: предмет философии, ее мировоззренческие и методологические функции, аспекты философского знания. Имеются публикации по метахимии, метабиологии, метапсихологии и другим метанаукам. [37]
МЕТАЛОГИКА - логика, используемая в рассуждениях о формальной аксиоматич. В основаниях математики к метатеории часто предъявляются споцнфич. Примерами таких подвергающихся критике абстракций являются абстракция актуальной бесконечности, абстракция отчуждения, ответственная за появление антиномий, и др. Это, как правило, приводит к тому, что в метатеории используется логика, отличная от классической, напр, модальная логика или интуиционистская логика, если метатеория строится в рамках интуиционизма. [38]
В соответствии с определением метатеории, приведенным в начале данного раздела, к метаэкономике можно отнести проблемы, связанные с областью и методами исследования экономических наук, их структурой и взаимосвязями с другими науками. К основаниям экономических наук относятся следующие основные проблемы: исходные понятия и утверждения; модели человека, его деятельности, распределения доходов; взаимоотношений в экономических системах, динамики этих систем. Следует отметить, что указанные границы весьма условны. В частности, система исходных понятий и утверждений является пограничной между метаэкономикой и основаниями экономических наук. [39]
Базис языка LOTOS представляет формальная семантика, разработке которой было уделено особое внимание. Формальная семантика обеспечивает возможность математической трактовки языковых элементов, формируя метатеорию спецификации. [40]
Термин теория употребляется нами в двух смыслах. В первом - это теория специального математического обеспечения управления, которую следует рассматривать как метатеорию. [41]
Особую, отличную от изложенной, проблему составляет анализ логического О. Об этом см. ст. Выьод ( в математической логике), Доказательство ( в формальной логике), Математическая логика, Метатеория, Метод аксиоматический и лит. [42]
Предлагаемая вниманию читателя книга Р. Р. Столла может быть рекомендована в качестве первоначального пособия - помимо тех категорий читателей, которые указывает в своем предисловии автор - каждому, кто хочет ознакомиться с основными понятиями, идеями, методами и результатами математической логики и теории множеств; элементарному изложению этих вопросов посвящены первые две главы книги. Несколько более трудна ( по степени абстракции и сложности излагаемых в ней концепций) третья глава, в которой разъясняются важнейшие установки аксиоматического метода, затрагиваются проблематика оснований математики и взаимоотношения между формализованными логико-математическими теориями, их метатеориями и интерпретациями; изложение этих вопросов носит более эскизный характер, нежели в первых двух главах. Заключительная, четвертая глава иллюстрирует содержание предыдущих глав на богатом и разнообразном материале теории булевых алгебр; некоторые из аксиоматических рассмотрений этой главы, быть может, окажутся небезынтересными и для математиков. [43]
Чем же обусловлена постановка этой проблемы. В конце сороковых годов известный австрийский биолог фон Берталанфи, переехавший примерно в это же время в Канаду, обобщил развивавшуюся им в течение многих лет теорию так называемых открытых систем и выступил с общей теорией систем, претендующей на роль метатеории - теории, подводящей единую базу под все науки. Спустя несколько лет под руководством Берталанфи было создано научное общество, которое начиная с 1956 г. регулярно издает годичные сборники трудов, посвященных общей теории систем. [44]
Логической противоречивости - при условии, конечно, правильного логического мышления-не должно быть п п в экономическом, н и в политическом анализе. Совместимость, Метатеория, Мышления законы и лит. [45]