Метатеория

Cтраница 1

Метатеория), причем логическая семантика выросла уже в самостоят, дисциплину ( иногда даже не связываемую непосредственно с С. Мартина, в значит, степени может быть выражена синтаксическими и семантическими средствами. [1]

В метатеории мы будем применять только те методы, которые формалисты называют финитными ( finitary) и которые используют только интуитивно представляемые предметы и осуществимые процессы. Мы переводим немецкое finit словом финитный 3); русское конечный 4) соответствует немецкому endlich. Мы никогда не будем рассматривать бесконечный класс как завершенное целое. Каждое доказательство существования будет давать, хотя бы неявно, метод для построения предмета, существование которого доказывается ( ср. [2]

Пользуясь в метатеории этим предикатом ( у) Т1 ( х, х, у) как осмысленным, мы не предполагаем, что каждое его значение истинно или ложно. Тезиса II и тех фактов, которые можно установить при помощи только финитного рассмотрения этого предиката, достаточно для того, чтобы убедиться в невозможности корректной и гайшой формальной системы для последнего. [3]

Структура коммуникативного знания. [4]

На статус метатеории, соответствующей предельному ( философскому) уровню обобщения может претендовать общая теория коммуникации - теоретический синтез не только социально-коммуникационных, но и естественно-научных и научно-технических знаний. Ее предметом является всеобщее в природных, социальных и технических системах коммуникационных связей. Это наиболее абстрактная теория отличается от конкретных степенью общности законов и категорий. Такая теория должна оперировать самыми общими понятиями: коммуникация, информация, информационный обмен, коммуникативное пространство и др., рассматривать универсальный механизм информационного обмена и разрабатывать универсальную модель коммуникационного процесса, определять его необходимые элементы, выявлять всеобщие закономерности коммуникационных процессов в. [5]

Та часть метатеории, к-рая исследует формальную структуру предметной теории ( независимо от к. [6]

При мета-теоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мп. [7]

При метатеоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. Львовско-Вар - шавская школа польских логиков, а также Карнап, В. [8]

При метатеоретическом ( Метатеория) рассмотрении формализованных языков с необходимостью приходится обращаться к семантическому анализу, поскольку мн. [9]

С точки зрения метатеории, предметная теория является вовсе не теорией в прежнем смысле этого слова, а системой бессодержательных предметов, аналогичных позициям в шахматной игре, над которыми проделываются механические манипуляции, аналогичные шахматным ходам. Предметная теория описывается и изучается как система символов и предметов, построенных из символов. Для определенности мы можем представлять себе их конкретно как знаки на бумаге, или, точнее, как абстракции от нашего обращения со знаками на бумаге. Теория доказательств должна быть в известной мере абстрактна, потому что она предполагает выполнимыми построения произвольно длинных последовательностей символов, хотя количество бумаги и чернил во всем мире ограничено. По определению, этим исчерпывается роль формальной системы как предмета изучения метаматематики. [10]

Сформулирована в качестве универсальной метатеории т.н. теория реалий, для изложения которой предложен рефлексивный номинативный язык символической логики, основанный на субъективных модальностях, который использован для представления администратвных стратегий в виде морфологического ящика. [11]

Обычно выделяются два основных вида метатеорий: те, которые служат предпосылками выработки социологической теории, и те, которые, связаны с ее дальнейшим развитием. [12]

Экономическую науку можно определить как метатеорию - теорию о теориях, создаваемых людьми для уяснения того, как наиболее эффективно обнаруживаются и используются различные средства для достижения всевозможных целей. [13]

В экономическом подходе он усматривает метатеорию, способную вобрать в себя в качестве частных подотраслей сопредельные социальные дисциплины. [14]

Конструктивное направление, Метод аксиоматический, Метатеория. [15]

Страницы: 1 2 3 4