Základní varianty klasického formalismu

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15210%2F02%3A33138828" target="_blank" >RIV/61989592:15210/02:33138828 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Základní varianty klasického formalismu

Popis výsledku v původním jazyce

Formalismus primárně zkoumá, zda výroky matematiky odkazují k nějakému významu. Odpověď na tuto otázku i v rámci formalismu závisí na tom, jakou variantu této vlivné filozofie matematiky bereme v úvahu. První varianta, tzv. termínový formalismus, obhajuje přesvědčení, že předmětem matematiky jsou samotné symboly, respektive systém číslic a jazykových forem. Druhý typ bývá označován jako formalismus jako hra a matematiku přirovnává ke hře založené na pravidlech pro jazykové formy. Třetí varianta, deduktivismus, je spjat se systémem Hilbertových Základů geometrie. Poslední varianta, finitismus, bývá synonymně označována jako Hilbertův program.

Název v anglickém jazyce

Basic Variations of the Classic Formalism

Popis výsledku anglicky

Formalism, as one of the most influential philosophies of mathematics in the 20th century, primarily tries to answer a question whether mathematical statements mean anything. The response to the question depends on what kind of formalism we accept. It implies a historical fact that there are several types of this philosophical strategy for explanation and justification of mathematical statements and (mathematical) ontology. The first type of formalism is so called term formalism which argues that a subject matter of mathematics (if any) represents characters or symbols, i.e. the system of numerals and other linguistic forms. The second type can be characterised as game formalism, a view that likens the practise of mathematics to a game played with linguistic forms. The third and perhaps the most bearing variant, deductivism, is bound up with Hilbert's famous book Grundlagen der Geometrie. And finally finitism - the last modification of formalism well known as Hilbert's program. Kurt Gö

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

V - Vyzkumna aktivita podporovana z jinych verejnych zdroju

Rok uplatnění

2002

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

ACTA UNIVERSITATIS PALACKIANAE OLOMUCENSIS, PHILOSOPHICA V

ISSN

1212-1207

e-ISSN

—

Svazek periodika

5

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

16

Strana od-do

9-24

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—