About: Truth : An Explication in Transparent Intensional Logic     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
  • I suggest an explication of the notion %22true%22 within the extensive logical framework of Pavel Tichý's Transparent intensional logic (TIL). The notion splits into three basic kinds accordingly to the range of their applicability, viz. to: a. propositions (which can be denotata of expressions), b. (so-called) constructions of propositions (which can be meanings of expressions-sentences), c. expressions. (Constructions are abstract structured entities akin to algorithms. They construct objects, e.g. propositions. Note the hyperintensional individuation of meanings in TIL. Propositions can be construed as facts.) Both notions of kind a. and b. are language independent. Truth of propositions (i.e. of classes of world-time couples) is rather transparent; truth of constructions is defined in terms of it. The notions of kind c. are relative to language; the relativity is either explicit, or implicit.
  • I suggest an explication of the notion %22true%22 within the extensive logical framework of Pavel Tichý's Transparent intensional logic (TIL). The notion splits into three basic kinds accordingly to the range of their applicability, viz. to: a. propositions (which can be denotata of expressions), b. (so-called) constructions of propositions (which can be meanings of expressions-sentences), c. expressions. (Constructions are abstract structured entities akin to algorithms. They construct objects, e.g. propositions. Note the hyperintensional individuation of meanings in TIL. Propositions can be construed as facts.) Both notions of kind a. and b. are language independent. Truth of propositions (i.e. of classes of world-time couples) is rather transparent; truth of constructions is defined in terms of it. The notions of kind c. are relative to language; the relativity is either explicit, or implicit. (en)
Title
  • Truth : An Explication in Transparent Intensional Logic
  • Truth : An Explication in Transparent Intensional Logic (en)
skos:prefLabel
  • Truth : An Explication in Transparent Intensional Logic
  • Truth : An Explication in Transparent Intensional Logic (en)
skos:notation
  • RIV/00216224:14210/12:00060153!RIV13-MSM-14210___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • S
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
  • 175259
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14210/12:00060153
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • semantic paradoxes; Transparent Intensional Logic (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [293D8F590216]
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Raclavský, Jiří
http://localhost/t...ganizacniJednotka
  • 14210
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software