Attributes | Values |
---|
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
| |
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
| |
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
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://localhost/t...ganizacniJednotka
| |