" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

МЕТАЛОГИКА

Значение МЕТАЛОГИКА в математической энциклопедии:

- логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек-рых употребительных математич. абстракций с целью повышения философской убедительности метатеории. Примерами таких подвергающихся критике абстракций являются абстракция актуальной бесконечности, абстракция отчуждения, ответственная за появление антиномий, и др. Это, как правило, приводит к тому, что в метатеории используется логика, отличная от классической, напр, модальная логика или интуиционистская логика, если метатеория строится в рамках интуиционизма.

С другой стороны, в доказательств теории интуиционистские и другие неклассические логич. теории часто исследуются и традиционными математич. средствами без всяких специфич. ограничений, напр, средствами теории множеств. В этом случае в роли М. выступает классич. логика.

А. Г. Драгалин.