Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Transparent_Intensional_Logic> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Transparent_Intensional_Logic abstract "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 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.".
- Transparent_Intensional_Logic wikiPageExternalLink til.phil.muni.cz.
- Transparent_Intensional_Logic wikiPageID "5868245".
- Transparent_Intensional_Logic wikiPageLength "2503".
- Transparent_Intensional_Logic wikiPageOutDegree "4".
- Transparent_Intensional_Logic wikiPageRevisionID "629619944".
- Transparent_Intensional_Logic wikiPageWikiLink Category:Philosophical_logic.
- Transparent_Intensional_Logic wikiPageWikiLink Formal_system.
- Transparent_Intensional_Logic wikiPageWikiLink Intensional_logic.
- Transparent_Intensional_Logic wikiPageWikiLink Pavel_Tichý.
- Transparent_Intensional_Logic wikiPageWikiLinkText "Transparent Intensional Logic".
- Transparent_Intensional_Logic wikiPageUsesTemplate Template:Ling-stub.
- Transparent_Intensional_Logic wikiPageUsesTemplate Template:Logic-stub.
- Transparent_Intensional_Logic wikiPageUsesTemplate Template:Primary_sources.
- Transparent_Intensional_Logic subject Category:Philosophical_logic.
- Transparent_Intensional_Logic hypernym System.
- Transparent_Intensional_Logic type Redirect.
- Transparent_Intensional_Logic comment "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.".
- Transparent_Intensional_Logic label "Transparent Intensional Logic".
- Transparent_Intensional_Logic sameAs Q7834783.
- Transparent_Intensional_Logic sameAs Transparentní_intenzionální_logika.
- Transparent_Intensional_Logic sameAs m.0f9xry.
- Transparent_Intensional_Logic sameAs Q7834783.
- Transparent_Intensional_Logic wasDerivedFrom Transparent_Intensional_Logic?oldid=629619944.
- Transparent_Intensional_Logic isPrimaryTopicOf Transparent_Intensional_Logic.