Формализъм е това определение формализъм
склонност да изразяват логично и абстрактно, да изтегли всички философските проблеми в една формула. Кант, например, намалява всички проблеми на въпроса: "Как може априори синтетични съдебни решения." Етичната Кант доктрина е модел формализъм, тъй като дава само общ принцип морално действие (акт с добро намерение), не посочи конкретните и специфични мита. Моралът - това е само инсталацията ", разпределението на волята" е, че ние естествено правим в живота: тя засяга не неприкосновеността на личния живот, но абстрактна единица на социалния живот. Формално морал се противопоставя на конкретен морал (Фихте) или "материали етика" (Шелер). Формализъм в изкуството бележи прекомерен склонност към абстракция, пренебрегването на "обективен изкуство".
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
в логиката и математиката, един от най-DOS. тенденции в математиката и логиката основания, изтъкнати като гл. проблемът за обосноваване на тези дисциплини за изграждането им под формата на оценки на специални инструменти. теория (на името на основателя на формализма на Хилберт metamathematics или доказателство теория).
Гилбърт развива в 1922-39 metamatematich програма. основите на математиката (и логика), обявени на възможността за "спасяването" на всички класически. математика, т. е. по математика, изградена на базата на теория на множествата на Cantor, безусловно се радва на абстракция на действителното безкрайност и целия арсенал от инструменти за дедуктивно Трад. логика. Чрез Hubert план, липсата на парадоксите в избраните siste.me аксиоми на теория на множествата може да се гарантира, че мета-език, на ром, могат да извършват доказателство за нейната последователност, ще съдържа само ограничен, край (не е свързан с използване на "действителното безкрайност" концепция) изразителни и дедуктивни средства абсолютно безупречни от гледна точка на тяхната яснота и убедителност.
Metamatematich. програма Хилберт, в хода на рояк от собствените си и неговата школа (П. Bernays, W. Акерман, Г. Gentzen, и др.) Получава редица важни резултати (вж. еднородност, изчерпателност), е бил критикуван от други. Directions математика бази, най-вече intuitionism (вж. също Logicism). В същото време фундаментално откритие на Гьодел (1931), с който се установява несъвместимост на изискванията за последователност и пълнота доста богат (с т. Sp., Техните изразителни и дедуктивни средства) логическо-математически изчисления показват основните ограничения на концепцията F.
Въпреки metamatematich. принципи, съчетани с идеите на другите, както и апаратурата. посоки (напр. конструктивна посока) се използват за развитието на теорията на проблеми доказателства (напр. Амер. логик Г. Kreisel близо бухали. логици). Вижте. Също аксиоматична метод, Metatheory.
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
посока във философията на математиката, чийто основател е Хилберт. Основните усилия на формалистите са насочени към преодоляване на основите на математиката, доказателство за неговата последователност. Те не са доволни от философски възгледи за природата на математиката, нито logicist нито intuitionists. Те изхожда от факта, че старата, класическа математиката е с добро качество, последователно и истинската наука. В знак на протест към intuitionist, Гилбърт възкликна: "Махнете математици право на изключеното от средата - това е като че забранявам боксьори използвайки юмруците си." Все пак, за да се предотврати тежестта на съмнение в качеството фактор на класически математика, всички от неговите основни теории (евклидовата геометрия и смятане на естествените числа, на първо място) трябваше да бъде напълно оформено, че е налице (дисплей) под формата на официални, синтактични системи, а след това да се докаже, чисто краен означава логическа последователност, пълнота (по отношение на техните модели на съдържание) и независимост на аксиоми официалните системи. В официално дисплея всеки смислен математическа система ние сме напълно отвлече вниманието от смислено тълкуване на собствените си и логически условия, за да го представи като чисто синтактичен строеж и едва след това ще видим нейната фундаментална математическа единица, всички необходими и достатъчни за мотивите си. Самият Хилберт формализирана значителна част от евклидовата геометрия и резултатът показа липса на аксиоматична основа на класическата геометрия на Евклид. Въпреки това, първите сериозни опити да завършат формализация на най-простите математически теории - аритметиката на естествените числа - формалисти донесоха разочарование. К. Гьодел, опитайте се да се реши проблема с аргументи в рамките на формализма на аритметични програми, дойде в края на краищата до обратния резултат - доказателство за невъзможността на неговата реализация. Той се оказа невъзможността на пълно формализация на съдържанието на аритметиката на естествените числа в рамките на същата формална система, както и невъзможността да се докаже неговата съгласуваност с помощта на самата официална система. Доказателството за абсолютна съгласуваност на математиката се оказа невъзможно по принцип. Резултатите от Гьодел са от голямо философ стойност откос. Въпреки това, невъзможността за осъществяване на формализма на програмата в своята цялост не отрича огромната стойност на много формализирането на математически знания. (Вж. Форма, философия на математиката).
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция
един от четирите основни области в основите на математиката, както и effekpshvizmom, intuitionism logicism. Основателят на формализъм е Хилберт, който е вложил в три точки проблем в основите на математиката, известни като програма Хилберт: 1. Признават, че голяма част от абстрактни математически обекти (виж абстрактен обект.) - това е перфектен дизайн, не разполагат с точна интерпретация на външния свят и въвежда главно като интелигентни инструменти за работа с реални обекти. Освен това, не всички математически твърдения за реални обекти могат да се считат за истински. Назначаване на идеални обекти и отчети - за изграждане на мост от единия към другия реални отчети.
2. По същия начин до края формализира приемливи методи за справяне с въображаемия строителството, за да се избегне тук се хареса на интуицията си и се хареса на смислен смисъл. По този начин. Математика трябва да се превърнат в смятане.
3. Създаване на metamathematics, който ще се занимава с специалния случай на реални обекти - математически апарат и стриктно оправдано с помощта на възможно най-много прост, интуитивно ясно и не се съмнявам, методите конструктивистите (крайни методи) възможността за премахване на основните идеални обекти и отчет на данни реален отчет. А математическа теория, разработена за нуждите на metamathematics, Хилберт, наречена теория доказателства. Като метод на изследването е да се докаже, последователността, доколкото е възможно и пълнотата на математически апарат.
Възползвайки се от постиженията на logicism, особено творбите на Уайтхед и Бъртранд Ръсел, Хилберт училище още през 20-те години. точно формулирана официално смятане за аритметика и стимулира работата на официалната axiomatization на теория на множествата. Интензивни изследвания бяха проведени в посока на последователност и пълнота конструирани аритметично изчисление. Под силното влияние на формализъм, Tarski и Carnap дефинирали понятието за истина и с Л. Vshpgenshteynom формулира най-важните понятия и верифицируемост falsifitsiruemoesti (вж. Фалшифициране) свързване на общите отчети до реалното. Философската същност на тях е, че всяко изявление следва да се предотврати прякото или непрякото процедура, за да потвърди или отрече. Отчети, които не могат да бъдат проверени, дори косвено - псевдо.
Парадоксално е, че един от първите теоретични конструкти тествани използвайки формалистичната методи е много Хилберт програма. теоремата на непълноти Gödel демонстрира, че целта на максимална е недостижима и е (Gödel) недоказуема теорема на последователността - че е фалшифицирана и предложените средства на Gilbert. По този начин. програма Хилберт не се ограничава до псевдо и е истинска програма за научни изследвания. Както е известно, най-често водят до важни резултати от теоретична програма с непостижими, но наистина проверими цели. Въпреки защитата от Брауер, които в други случаи, рязко го критикува, но се съгласи с целите на програмата на Хилберт, научната общност приел резултатите от разпадането на програма Гьодел Хилберт. Може би най-слабото място на програма Хилберт е цялостната инсталация на обосновката и спасението на съществуващите математиката, които са възникнали в резултат на отговор Хилберт да го перифразирам Brouwer идеи и някои частни разговори с него (той не чете произведенията на Гилбърт Брауер). В този момент на оригиналния формализма е свързана с математическата платонизма, което беше vulgarized версия на абстрактни математически обекти от типа "абсолютни идеи" на Платон. Ето защо, математически апарат на Platonists тълкува като молитва, рецитация, която ще им позволи да освети своята дейност в бъдеще няма да промени нищо. Тя е тази настройка е сломена от теоремата на Гьодел, което показва, че математиката възстановяване все още имат и че винаги има място за съмнение.
методи формализъм бяха разследвани и некласически предимно интуиционистки, системата, която е позволила да се покаже на съвместимостта на идеи Brouwer е за творчески темата и умишлено невежеството на по-традиционните идеални математически понятия. Разграничаването на идеалните и реалните обекти, като проправи пътя за нова методология за своите раздели математика като нестандартен анализ, в който реалната ос или друга структура обекта попълват по-висока степен идеалност м. О. За да се запази всичко за експресия в официални езикови свойства. Разделяне на език и метаезик е ползотворно не само в логиката и философията, но също така и в нови дисциплини, като например когнитивната наука и компютърни науки. Четири нива metalinguistic описания се използват по-специално в практическа система за изграждане на UML модели на сложни системи.
Бе пропуснат ограниченост на мета-език и мета-език ограничение Хилберт сега може да е всяка система.
За да се покаже как тези формализъм методи във физиката да се направи прогноза дълбочината на разбиране на Кант за априори математически понятия, свързани с физическото. Оказа се, че цялата съвременна физика е логично следва от решението да се измери стойността на реални числа, и в този смисъл Кант оправдава парадоксално твърдение, че умът диктува законите на природата. Приложение формализъм в психологията е довело до развитието на когнитивната наука.
↑ Отлично дефиниция
Непълно ↓ дефиниция
↑ Отлично дефиниция
Непълно ↓ дефиниция