Металогика

(от Мета...) часть логики, посвященная изучению метатеоретическими средствами (см. Метатеория) строения и свойств различных логических теорий. Возникшая на рубеже 19 и 20 вв. В связи с исследованиями оснований дедуктивных наук (прежде всего математики), М. В ходе дальнейшей специализации этих исследований разделилась на синтаксическую и семантическую «ветви». К первой из них, посвященной рассмотрению чисто структурных свойств исчислений, относятся прежде всего теория (формальных) доказательств (..

МЕТАЛОГИКА - область метатеоретических исследований проблем логики. См. Метатеория.. ..

Область метатеоретических исследований проблем логики. См. Метатеория.. ..

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

(от греч. Metд между, после, вслед за и geometria – землемерие) – геометрия, выходящая за пределы евклидовой и рассматривающая эту последнюю как лишь одну из многих возможных геометрий.. ..

(от греч. Meta между, после, вслед за и kritike – искусство разбирать, судить) – критика критики. В 1799 Гердер опубликовал книгу под названием («Verstand und Erfahrung, Vernunft und Sprache, eine Metakritik zu Kants Kritik der reinen Vernunft», которая была направлена гл. О. Против априоризма Канта и поставила на место «критики разума» физиологию человеческой познавательной способности.. ..

(от греч. Meta между, после, вслед за и logike – логика) – выходящий за пределы логики. О металогике см. Логистика.. ..

(от греч. Metд между, после, вслед за и morphe – форма) – превращение форм, изменение, преобразование (см. Морфология).. ..

МЕТАЛОГИКА. ..