About: Cardinality of the set of tautologies.     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • 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.
  • 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. (en)
Title
  • Cardinality of the set of tautologies. (en)
  • Kardinalita množiny tautologií.
  • Kardinalita množiny tautologií. (cs)
skos:prefLabel
  • Cardinality of the set of tautologies. (en)
  • Kardinalita množiny tautologií.
  • Kardinalita množiny tautologií. (cs)
skos:notation
  • RIV/67985955:_____/02:36020099!RIV/2003/AV0/A36003/N
http://linked.open.../vavai/riv/strany
  • 97;99
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • Z(AV0Z9009908)
http://linked.open...iv/cisloPeriodika
  • 9
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 650482
http://linked.open...ai/riv/idVysledku
  • RIV/67985955:_____/02:36020099
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • philosophy (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • SK - Slovenská republika
http://linked.open...ontrolniKodProRIV
  • [CCBA7AA09CB5]
http://linked.open...i/riv/nazevZdroje
  • Organon F
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...ocetUcastnikuAkce
http://linked.open...nichUcastnikuAkce
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • N/A
http://linked.open...iv/tvurceVysledku
  • Materna, Pavel
http://linked.open...n/vavai/riv/zamer
issn
  • 1335-0668
number of pages
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software