Structuralism in the philosophy of mathematics

MENŠÍK, Josef. Structuralism in the philosophy of mathematics. 2016.

Základní údaje

• Originální název: Structuralism in the philosophy of mathematics
• Autoři: MENŠÍK, Josef.
• Vydání: 2016.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Účelové publikace
• Obor: 60300 6.3 Philosophy, Ethics and Religion
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Klíčová slova česky: Filosofie matematiky, matematický strukturalismus, teorie kategorií, kategoriální strukturalismus, implicitní strukturalismus, formalistický strukturalismus, modelový strukturalismus, strukturalismus univerzálií, modální strukturalismus
• Klíčová slova anglicky: Philosophy of Mathematics, Mathematical structuralism, Category theory, Category structuralism, Implicit structuralism, Formalist structuralism, Model structuralism, Universals structuralism, Modal structuralism
• Příznaky: Mezinárodní význam

Anotace

This bachelor's thesis enquires into the approach of mathematical structuralism, the differentiation within this approach and the nature and the relevance of its criticisms. Particular attention is given to the still unresolved issue of the relation between category theory and mathematical structuralism. It turned out that there exists a general agreement in the philosophy of mathematics that mathematical thinking is structural. Opposition is almost nonexistent and the few concerned voices only amount to adding that mathematics is done by actual people capable of applying the structural thinking in varying contexts. There are five principal approaches to mathematical structuralism endorsed at the most general level - implicit structuralism, formalist structuralism, model structuralism, universals structuralism and modal structuralism. Category structuralism, while representing special case of all the previous, provides structuralists with a valuable tool of strictly structural external descriptions.

Anotace česky

Bakalářská práce se zabývá přístupem strukturalismu ve filosofii matematiky, jeho vnitřní diferenciací a podstatou a relevantností jeho kritik. Zvláštní pozornost je věnována stále otevřenému problému vztahu teorie kategorií a matematického strukturalismu. Ukázalo se, že existuje obecná shoda ve filosofii matematiky pokud jde o to, že matematické myšlení je strukturalistické. Opozice v podstatě neexistuje, ojedinělé kritické hlasy pouze doplňují základní příspěvky matematických strukturalistů připomínkou, že matematika je lidskou aktivitou a lidé jsou schopni aplikovat strukturalistické vhledy v měnících se kontextech. Existuje pět základních přístupů matematického strukturalismu na nejobecnější úrovni: implicitní strukturalismus, formalistický strukturalismus, modelový strukturalismus, strukturalismus univerzálií a modální strukturalismus. Kategoriální strukturalismus, který lze vnímat jako speciální případ každého z předchozích, poskytuje strukturalismu cenný nástroj striktně strukturálních externích deskripcí.