Attributes | Values |
---|
rdf:type
| |
Description
| - This paper is devoted to the memory of the outstanding, original and gifted logician Pavel Tichý, one of the greatest ever born not only in then-Czechoslovakia but also in the world. Tichý was the founder of a theory that he called Transparent Intensional Logic, known today as TIL. Thanks to Tichý, there are a number of TILians (as we call ourselves, tongue-in-cheek) who actively continue Tichý’s work by further developing his theory as well as discovering new applications of it, and TIL is becoming a widely known and respected theory in the world of analytic philosophy and philosophical logic. Here we are not going to provide a detailed study of Tichý’s work, nor details from his biography. Rather, we want to point out the most important features of his brainchild TIL as of 2014. Indexing the development of TIL to a particular year is essential now that there are more people than ever working on the theory.
- This paper is devoted to the memory of the outstanding, original and gifted logician Pavel Tichý, one of the greatest ever born not only in then-Czechoslovakia but also in the world. Tichý was the founder of a theory that he called Transparent Intensional Logic, known today as TIL. Thanks to Tichý, there are a number of TILians (as we call ourselves, tongue-in-cheek) who actively continue Tichý’s work by further developing his theory as well as discovering new applications of it, and TIL is becoming a widely known and respected theory in the world of analytic philosophy and philosophical logic. Here we are not going to provide a detailed study of Tichý’s work, nor details from his biography. Rather, we want to point out the most important features of his brainchild TIL as of 2014. Indexing the development of TIL to a particular year is essential now that there are more people than ever working on the theory. (en)
|
Title
| - In memory of Pavel Tichý
- In memory of Pavel Tichý (en)
|
skos:prefLabel
| - In memory of Pavel Tichý
- In memory of Pavel Tichý (en)
|
skos:notation
| - RIV/61989100:27240/14:86090252!RIV15-MSM-27240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
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/61989100:27240/14:86090252
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Tichý Pavel; TIL; Transparent Intensional Logic (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| - Duží, Marie
- Jespersen, Bjorn
|
http://linked.open...ain/vavai/riv/wos
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |