Металогика
Логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек-рых употребительных математич. абстракций с целью повышения философской убедительности метатеории. Примерами таких подвергающихся критике абстракций являются абстракция актуальной бесконечности, абстракция отчуждения, ответственная за появление антиномий, и др. Это, как правило, приводит к тому, что в метатеории используется логика, отличная от классической, напр, модальная логика или интуиционистская логика, если метатеория строится в рамках интуиционизма. С другой стороны, в доказательств теории интуиционистские и другие неклассические логич. теории часто исследуются и традиционными математич. средствами без всяких специфич. ограничений, напр, средствами теории множеств. В этом случае в роли М. выступает классич. логика. А. Г. Драгалин.
Значения в других словарях
- МЕТАЛОГИКА — МЕТАЛОГИКА – раздел современной логики, в котором исследуются способы построения различных логических теорий, свойства, присущие им, а также отношения, существующие между ними. Новая философская энциклопедия
- металогика — Мета/ло́г/ик/а. Морфемно-орфографический словарь
- Металогика — (от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. Большая советская энциклопедия
- металогика — орф. металогика, -и Орфографический словарь Лопатина
- металогика — МЕТАЛОГИКА (от греч. meta — после и логика). Если предметом логики являются рассуждения, то предметом М. являются рассуждения о рассуждениях. Энциклопедия эпистемологии и философии науки
- МЕТАЛОГИКА — МЕТАЛОГИКА — область метатеоретических исследований проблем логики. См. Метатеория. Большой энциклопедический словарь