About: Transparent intensional logic: an introduction     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
  • The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic, and its essential applications. We begin with motivations (e.g. hyperintensional phenomena) for the adoption of the key notions of TIL and its crucial distinctions (e.g. constructions vs. functions). Then we expose the core of the apparatus (constructions, type theory, deduction), explaining and commenting each its part. Finally, we move to applications, especially those in the field of natural language (analysis of meaning) and several important philosophical notions (e.g. conceptual systems).
  • The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic, and its essential applications. We begin with motivations (e.g. hyperintensional phenomena) for the adoption of the key notions of TIL and its crucial distinctions (e.g. constructions vs. functions). Then we expose the core of the apparatus (constructions, type theory, deduction), explaining and commenting each its part. Finally, we move to applications, especially those in the field of natural language (analysis of meaning) and several important philosophical notions (e.g. conceptual systems). (en)
Title
  • Transparent intensional logic: an introduction
  • Transparent intensional logic: an introduction (en)
skos:prefLabel
  • Transparent intensional logic: an introduction
  • Transparent intensional logic: an introduction (en)
skos:notation
  • RIV/00216224:14210/11:00056433!RIV12-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
  • 235872
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14210/11:00056433
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • Transparent Intensional Logic (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [A2774C288026]
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