Formalizmus milyen formalizmus meghatározás
hajlandóság kifejezni logikusan és elvont, hogy húzza a filozófiai problémát egy formula. Kant, például csökkenti az összes problémát, hogy a kérdést: „Hogyan lehet a priori szintetikus ítéletek.” Etikai Kant tana egy olyan modell, formalizmus, hiszen csak általános elv erkölcsi cselekvés (törvény jó szándékkal), és nem határozza meg a specifikus vámot. Erkölcs - ez csak a telepítés, „a hajlam az akarat”, hogy mi természetesen csinálni az életben: befolyásolja sem a magánélet, de az absztrakt egysége a társadalmi élet. Formai erkölcs szemben egy bizonyos erkölcsi (Fichte) vagy „anyag etikai” (Scheler). Formalizmus art jelzi a túlzott hajlam absztrakció, a elhanyagolása „objektív art”.
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓
A logika és a matematika, az egyik a DOS. trendek matematika és a logika alapján beterjesztett Ch. A probléma, hogy alátámassza ezek a tudományágak építeni őket formájában becslések speciális eszközöket. elmélet (névadója az alapító a formalizmus Hilbert metamatematika vagy igazolást elmélet).
Gilbert kidolgozott 1922-1939 metamatematich programot. a matematika alapjait (logikai) nyilvánította a lehetősége, hogy „mentés” minden klasszikus. matek, t. e. matematika, épül alapján halmazelmélet Cantor, feltétel nélkül örvend absztrakció tényleges végtelenben és az egész arzenálját deduktív eszközök tradicionális. logika. Hubert terv hiányában a paradoxonok a kiválasztott siste.me axiómák halmazelmélet lehetne biztosítani, hogy a meta-nyelv, a rum, ami elvégzi a bizonyítéka annak következetesség tartalmazna csak véges, végére (ha nem alkalmazzák a „tényleges végtelen” fogalma) kifejező és deduktív úton teljesen kifogástalan szempontjából a világosság és meggyőző erejét.
Metamatematich. Hilbert program során egy raj a saját és az iskola (P. Bernays, W. Ackermann, G. Gentzen, és mások.) Kaptunk számos fontos eredmények (lásd. Konzisztencia, teljesség), bírálták mások. Directions matematika alapjait, elsősorban intuitionism (lásd. még Logicism). Ugyanakkor az alapvető felfedezése Gödel (1931), amely létrehozta az összeférhetetlenségét a követelmények következetesség és a teljesség igen gazdag (t. Sp., Expresszív és deduktív módon) logikai-matematikai számítások azt mutatták, az alapvető korlátja a fogalom F.
Azonban metamatematich. elvek, együtt a gondolatok mások, és a berendezés. irányok (pl. építő irány) használnak a fejlesztés az elmélet a bizonyítékok problémák (pl. Amer. logikus G. Kreisel közelében baglyok. logikusok). Lásd. Szintén axiomatikus módszer, Metaelmélet.
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓
irányban a matematika filozófiája, melynek alapítója volt Hilbert. A fő erőfeszítései formalisták célozták kezelése a matematika alapjait, annak bizonyítékát, hogy a következetesség. Ezek nem elégedett a filozófiai nézeteit a természet a matematika sem logicista sem intuicionisták. Úgy indult ki, hogy a régi, klasszikus matematika egy jó minőségű, egységes és igaz tudomány. Ellenzi az intuícionista, Gilbert felkiáltott: „Vegyétek el a matematikusok kizárt harmadik elve - ez olyan, mint amelyek megtiltják a bokszolók segítségével az öklüket.” Azonban annak érdekében, hogy megakadályozzák a tömeg kétség a minőségi tényező a klasszikus matematika, annak minden alapvető elméletek (euklideszi geometria és az aritmetika természetes számok az első helyen) kellett teljesen hivatalossá, hogy jelen van (megjelenítés) formájában formális, szintaktikai rendszerek, majd bizonyítani a tisztán véges jelenti logikai konzisztencia, teljesség (vonatkozásában azok tartalmát modelleket) és függetlenségét az axiómák a formális rendszerek. A hivatalos kijelzőn minden értelmes matematikai rendszer már teljesen elvonja érdemben értékelni saját és logikai szempontból bemutatni, mint tisztán szintaktikai építési és csak akkor látni fogjuk, az alapvető matematikai entitás, annak minden szükséges és elégséges okok miatt. Hilbert maga formalizált jelentős része az euklideszi geometria és az eredmény azt mutatta hiánya axiomatikus alapján klasszikus euklideszi geometria. Azonban az első komoly kísérlet befejezéséhez hivatalossá a legegyszerűbb matematikai elméletek - a számtani a természetes számok - formalisták hozta csalódás. K. Gödel, próbálja megoldani a problémát a igazolás keretében a formalizmus aritmetikai programok jönnek a végén, hogy az ellenkező eredményt - a bizonyítéka, hogy lehetetlen a megvalósítása. Bebizonyította, hogy lehetetlen a teljes hivatalossá tartalmának számtani a természetes számok belül ugyanolyan formális rendszer, valamint a képtelenség bizonyítani konzisztenciája révén formális rendszer maga. A bizonyíték az abszolút konzisztencia matematika kiderült, hogy lehetetlen elvileg. Az eredmények Gödel van nagy filozófus ferde értéket. Azonban lehetetlen a megvalósítása a formalizmus a program teljes egészében nem szünteti meg az óriási értéke a nagyon hivatalossá matematikai tudás. (Lásd. Form, matematikafilozófiát).
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓
az egyik a négy fő terület a matematika alapjait, valamint effekpshvizmom, intuitionism logicism. Az alapító formalizmus Hilbert, aki tett egy háromágú probléma a matematika alapjait ismert Hilbert program: 1. Elismerik, hogy sok az absztrakt matematikai objektumok (lásd absztrakt objektum.) - ez a tökéletes design, nincs pontos értelmezése a külvilág és bevezette elsősorban intelligens eszközökkel dolgozni valós tárgyak. Ráadásul nem minden matematikai állítások valós tárgyakat lehet valósnak. Kijelölése ideális tárgyak és nyilatkozatok -, hogy hidat építsünk az egyik a másik valós kimutatásokat.
2. Hasonlóképpen a végén hivatalossá elfogadható módszerekkel foglalkozó képzeletbeli építési elkerülése érdekében itt fellebbezni intuíció és fellebbezni értelmes értelme. Így. Matematika kell alakítani a fogkő.
3. Készítsen metamatematika, amely foglalkozik a speciális esetben, valós tárgyak - matematikai formalizmus, és szigorúan indokolt a lehető legnagyobb mértékben az egyszerű, intuitív egyértelmű és nem kétséges, a konstruktivizmus módszerekkel (véges módszerek) a lehetőséget, hogy kiküszöböljék az alapvető ideális tárgyak és nyilatkozatok a bizonyítékok valós megállapítás. Egy matematikai elméletet dolgoztak ki a szükségleteit metamatematika, Hilbert úgynevezett bizonyítékokat elmélet. Ennek módja ez a tanulmány bizonyította a következetesség, amennyire csak lehetséges, és a teljesség matematikai formalizmus.
Kihasználva az eredményeket logicism, különösen a művek Whitehead és Bertrand Russel Hilbert iskola már a 20-es években. pontosan megfogalmazott formális kalkulus az aritmetikai és stimulált munka formális axiomatizálása halmazelmélet. Intenzív vizsgálatokat végeztek abban az irányban a következetesség és a teljesség épített aritmetikai számítások. Az erős befolyása a formalizmus, Tarski és Carnap meghatározta az igazság fogalma, valamint L. Vshpgenshteynom megfogalmazott legfontosabb fogalmakat és ellenőrizhetőség falsifitsiruemoesti (lásd. Hamisítás) összekötő közös nyilatkozatok a tényleges. A filozófiai lényege őket, hogy olyan nyilatkozatot kell megakadályozni a közvetlen vagy közvetett eljárást megerősíteni, sem cáfolni. Azon megállapítások, nem lehet ellenőrizni akár közvetett módon - ál.
Paradox módon, az egyik az első elméleti konstrukciók alkalmazásával teszteltük formalista módszerek nagyon Hilbert programot. Gödel-tétel befejezetlenség bizonyította, hogy a cél a maximális ez elérhetetlen, és ez (Gödel) bizonyíthatatlan tétel a következetesség -, hogy a hamisított és a javasolt eszközök Gilbert. Így. Hilbert program nem korlátozódik a pszeudo és egy valódi program a tudományos kutatás. Mint ismeretes, a legtöbb gyakran vezetnek jelentős eredményeket elméleti program elérhetetlen, de tényleg igazolható célkitűzéseket. Annak ellenére, hogy a védelem által Brouwer, akik más esetekben élesen bírálta őt, de egyetértett azzal a céllal, Hilbert program, a tudományos közösség elfogadta az eredmények az összeomlás Gödel Hilbert program. Talán a leggyengébb pontja a Hilbert program átfogó telepítés indokoltságát és megváltás a meglévő matematika folytán keletkeztek Hilbert válasz parafrázis neki Brouwer ötletek és néhány magán beszélgetések vele (ő nem olvassa el a munkáit Gilbert Brouwer). Ezen a ponton az eredeti formalizmus kapcsolatban volt a matematikai platonizmus, ami egy vulgarizált változata absztrakt matematikai objektumok típusának „abszolút ötletek” Platón. Ezért a matematikai formalizmus platonisták értelmezni, mint egy ima, szavalat, amely lehetővé teszi számukra, hogy megszentelje tevékenységüket a jövőben nem változtat semmin. Ez a beállítás volt összetört Gödel-tétel, azt mutatja, hogy a matematika újjáépíteni még, és hogy mindig van fér kétség.
Formalizmus módszereket vizsgáltunk nonclassical elsősorban intuitionistic, a rendszer lehetővé tette, hogy bemutassák a kompatibilitás Brouwer elképzeléseit kreatív tárgya és szándékos tudatlanság a hagyományos ideális matematikai fogalmakat. Megkülönböztető ideális és valós objektumok, például megnyitotta az utat az új módszer annak szakaszok matematika nem szabványos elemzési, amelyben a valódi tengelynek vagy más szerkezetű tárgyat feltöltik magasabb fokú idealitás m. O. Annak érdekében, hogy minden kifejezhető hivatalos nyelv tulajdonságait. Szétválasztása nyelv és metanyelv óta gyümölcsöző nemcsak a logika és a filozófia, hanem az új tudományágak, mint például a kognitív tudomány és a számítástechnika. Négy szinten metanyelvi leírások alkalmazására, különösen a gyakorlati rendszer építése UML modellek komplex rendszerek.
Elvetették korlátozás Hilbert végessége a meta-nyelv és metanyelv lehet most olyan rendszer.
Annak igazolására, hogy egy ilyen formalizmus módszerek a fizikában azt lehet becsülni a mélység Kant betekintést a priori matematikai fogalmak vonatkozásában a fizikai. Kiderült, hogy az egész modern fizika logikailag következik a döntés értékének mérése valós számok, és ebben az értelemben Kant indokolja a paradox kijelentés, hogy az elme diktálja a természet törvényei. Függelék formalizmus pszichológia kifejlesztéséhez vezetett a kognitív tudomány.
↑ Kiváló felbontású
Hiányos meghatározás ↓
↑ Kiváló felbontású
Hiányos meghatározás ↓