Kardinalita množiny tautologií.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F02%3A36020099" target="_blank" >RIV/67985955:_____/02:36020099 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Kardinalita množiny tautologií.
Popis výsledku v původním jazyce
Tautologie musíme odlišit od formulí, jinak bychom říkali, že máme různé tautologie, i v případě, že bychom měli jen různé zápisy téže tautologie. Tautologie také nejsou funkce, jejichž hodnota je PRAVDA pro každé ohodnocení: pak bychom (pro každé n) měli jen jednu tautologii. Nezbývá než odlišit funkce od způsobu, jakým jsou konstruovány. To ukázal přesvědčivě Tichý ve svém referátu o Wittgensteinově Traktátu. Je tedy tolik tautologií, kolik je konstrukcí, tj. spočetně nekonečně mnoho.
Název v anglickém jazyce
Cardinality of the set of tautologies.
Popis výsledku anglicky
Tautologies have to be distinguished from the formulas: otherwise distinct notations would mean that there are more tautologies where we know that there are only more ways how to write down one and the same tautology. Neither are tautologies functions whose value is TRUE on any valuation: then we would have (for any n) only one tautology. What remains is to distinguish functions from the ways they are constructed. This has been convincingly shown in Tichý's paper on Wittgenstein's Tractatus. So there are so many tautologies how many constructions there are, i.e., countably infinitely many.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—

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ů

Podobné výsledky(10)