Basic Variations of the Classic Formalism
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Základní varianty klasického formalismu
Original language description
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.
Czech name
Základní varianty klasického formalismu
Czech description
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.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
V - Vyzkumna aktivita podporovana z jinych verejnych zdroju
Others
Publication year
2002
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
ACTA UNIVERSITATIS PALACKIANAE OLOMUCENSIS, PHILOSOPHICA V
ISSN
1212-1207
e-ISSN
—
Volume of the periodical
5
Issue of the periodical within the volume
1
Country of publishing house
CZ - CZECH REPUBLIC
Number of pages
16
Pages from-to
9-24
UT code for WoS article
—
EID of the result in the Scopus database
—