About: Transparent intensional logic     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/7MadJ65MJM

Transparent intensional logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus.

AttributesValues
rdfs:label
  • Transparentní intenzionální logika (cs)
  • Transparent intensional logic (en)
rdfs:comment
  • Transparentní intenzionální logika (TIL) je logika, která měla některé rysy společné s logikou, kterou formuloval v sedmdesátých letech 20. století americký logik , ale v některých důležitých ohledech ji překročila. TIL byla vytvořena českým logikem Pavlem Tichým, který jí dal první systematickou podobu v knize The foundations of Frege's Logic (de Gruyter 1988), ale jejíž základní obrysy formuloval již roce 1968 ve stati Smysl a procedura (Filosofický časopis 16, 222–232). Cestu k uvedené monografii vykonal již v emigraci jako profesor sídlící ve městě Dunedin na Novém Zélandu. (cs)
  • Transparent intensional logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus. (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Transparentní intenzionální logika (TIL) je logika, která měla některé rysy společné s logikou, kterou formuloval v sedmdesátých letech 20. století americký logik , ale v některých důležitých ohledech ji překročila. TIL byla vytvořena českým logikem Pavlem Tichým, který jí dal první systematickou podobu v knize The foundations of Frege's Logic (de Gruyter 1988), ale jejíž základní obrysy formuloval již roce 1968 ve stati Smysl a procedura (Filosofický časopis 16, 222–232). Cestu k uvedené monografii vykonal již v emigraci jako profesor sídlící ve městě Dunedin na Novém Zélandu. v hesle Intensional Logic ve Stanford Encyclopedia of Philosophy, verze 2011, říká:"For one thing, intensions depend not only on worlds, but also on times. For another, in addition to intensions and extension Tichý also considers constructions, which will be discussed further here... Unfortunately his work did not become widely known." (cs)
  • Transparent intensional logic (frequently abbreviated as TIL) is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus. TIL applications cover a wide range of topics from formal semantics, philosophy of language, epistemic logic, philosophical, and formal logic. TIL provides an overarching semantic framework for all sorts of discourse, whether colloquial, scientific, mathematical or logical. The semantic theory is a procedural one, according to which sense is an abstract, pre-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure. TIL procedures, known as constructions, are hyperintensionally individuated. Construction is the single most important notion of transparent intensional logic, being a philosophically well-motivated and formally worked-out conception of Frege’s notion of mode of presentation. Constructions, and the entities they construct, are organized into a ramified type theory incorporating a simple type theory. The semantics is tailored to the hardest case, as constituted by hyperintensional contexts, and generalized from there to intensional and extensional contexts. The underlying logic is a Frege-style function/argument one, treating functions, rather than relations or sets, as primitive, together with a Church-style logic, centred on the operations of functional abstraction and application. Key constraints informing the TIL approach to semantic analysis are compositionality and anti-contextualism. The assignment of constructions to expressions as their meanings is context-invariant. Depending on the sort of logical context in which a construction occurs, what is context-dependent is the logical manipulation of the respective meaning itself rather than the meaning assignment. (en)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is main interest of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git147 as of Sep 06 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 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 76 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software