Метаматематика і металогіка розглядаються як синоніми й вивчаються в рамках математичної логіки. Завдання теорії — встановити межі області застосування теорії, яку вона досліджує, відповісти (якщо це можливо на даному етапі розвитку науки) на запитання про її несуперечність та повноту, вивчити (або встановити) способи введення у ній нових понять і доведень її тверджень тощо. Необхідність створення метаматематики виникла насамперед у застосуванні до математики.
Виникла необхідність з'ясування сенсу понять доведення, аксіома, теорема, дослідження структури математичних теорій і питання про їхню істинність в будь-яких інтерпретаціях (семантика) і, нарешті, проблеми їхньої несуперечності (метаматематика). Назву метаматематика запровадив Давид Гільберт. Програма Гільберта допускала лише так звані фінітні методи, тобто методи, в яких використовуються лише скінченні конструкції і висновки: наочно представлені предмети і ефективно здійсненні процеси. Отже, не допускається абстракція актуальної нескінченності і потрібно, щоб доведення існування будь-яких об'єктів носили конструктивний характер, це означає, що повинен бути вказаний, хоча б неявно, метод побудови розглянутого об'єкта. Інакше кажучи, фінітизм вимагає, щоб математичні предмети були вказані в явній формі, — або ж повинен бути даний спосіб їхнього конструювання. Ці предмети повинні бути «наочні», тобто складатися з експонованих, що розрізняються і ототожнюються, елементів. Будуючи свою теорію доведень, Гільберт виходив з того, що правила, котрі містяться в ній, повинні виражати «техніку нашого мислення». «Основна ідея моєї теорії зводиться до опису діяльності нашого розуму, інакше кажучи, це протокол про правила, згідно з якими фактично діє наше мислення» («Підстави геометрії», М.-Л., 1948, с. 382).
Див. також
- (Метатеорія) — теорія, що аналізує методи й властивості іншої теорії — так званої предметної або об'єктної теорії.
- Метафізика — це вчення про надчуттєві, недоступні досвідові принципи і начала буття (існування світу). Згідно з Кантом, «Метафізика — це частина філософії, що визначає апріорні умови пізнання».
- Метапсихологія в перекладі з грецької мови означає: «meta» — після, або за, «psiche» і «logos» — це вчення про душу. В метапсихології викладені засади, на яких будується дане психологічне знання, а на цій основі мають розв'язуватися часткові психологічні проблеми. Метапсихологія пов'язана з філософською онтологією людини.
- — це вчення про надчуттєві, недоступні досвідові принципи і начала; це наука про речі, спосіб з'ясування світоглядних питань які не піддаються осягненню за допомогою експерименту та методів конкретних наук; це концепція розвитку, метод пізнання.
- Металогіка — вивчення метатеорії логіки. На відміну від логіки металогіка досліджує властивості самих логічних систем. Виділяють синтаксис логічний і семантику в логіці. Область дослідження металогіки: формальні мови, формальні системи та їх інтерпретації.
- (Метафілософія).
Література
- ВРЕ
- Металогика — статья из «Философия: Энциклопедический словарь». Под ред. А. А. Ивина. — М.: Гардарики, 2004
- Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971
- Гастев Ю. Метаматематика // БСЭ.
- Гильберт Д. Основания геометрии. — М.—Л.: ГИТТЛ, 1948 . — 491 с.
- Энгелер Э. Метаматематика элементарной математики. — М.: Мир, 1987 . — 128 с.
- Клини С. К. Введение в метаматематику / Пер. с англ. — М.: Иностранная литература, 1957 . — 526 с.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет