Transparentní intenzionální logika - Transparent intensional logic - Wikipedia

Transparentní intenzionální logika (často zkráceno jako TIL) je logický systém vytvořil Pavel Tichý. Díky svému bohatství procedurální sémantika TIL je zvláště vhodný pro logickou analýzu přirozeného jazyka. Z formálního hlediska je TIL hyperintenzivní, částečná, zadaný lambda kalkul.

Aplikace TIL pokrývají širokou škálu témat od formální sémantika, filozofie jazyka, epistemická logika, filozofický, a formální logika. TIL poskytuje zastřešující sémantický rámec pro všechny druhy diskurzu, ať už hovorového, vědeckého, matematického nebo logického. Sémantická teorie je procedurální, podle níž je smyslem abstraktní před lingvistický postup, který podrobně popisuje, jaké operace se mají použít u jakých procedurálních složek, aby se dospělo k produktu postupu (pokud existuje).

Procedury TIL, známé jako stavby, jsou hyperintenzně individualizované. Konstrukce je nejdůležitějším pojmem transparentní intenzionální logiky, která je filozoficky dobře motivovanou a formálně propracovanou koncepcí Frege Pojetí způsobu prezentace. Konstrukce a entity, které vytvářejí, jsou organizovány do teorie rozvětveného typu zahrnující jednoduchou teorii typů. Sémantika je přizpůsobena nejtěžšímu případu, jak jej tvoří hyperintenzivní kontexty, a odtud generalizována na intenzionální a rozšiřující kontexty. Základní logika je funkce / argument Fregeova stylu, která zachází s funkcemi spíše než s relacemi nebo sadami jako s primitivními, společně s Kostel logika stylu zaměřená na operace funkční abstrakce a aplikace.

Klíčová omezení informující TIL přístup k sémantické analýze jsou kompozičnost a anti-kontextualismus. Přiřazení konstrukcí k výrazům jako jejich významům je kontextově invariantní. V závislosti na druhu logického kontextu, ve kterém se konstrukce vyskytuje, je kontextově závislá spíše logická manipulace s příslušným významem než přiřazení významu.

Viz také

Bibliografie

externí odkazy