Przejrzysta logika intensywna
Przezroczysta logika intencjonalna (często w skrócie TIL ) to system logiczny stworzony przez Pavla Tichégo . Ze względu na bogatą semantykę proceduralną TIL jest szczególnie przydatny do logicznej analizy języka naturalnego. Z formalnego punktu widzenia TIL jest hiperintensyjnym, częściowym, typowanym rachunkiem lambda .
Aplikacje TIL obejmują szeroki zakres tematów, od semantyki formalnej , filozofii języka , logiki epistemicznej , po logikę filozoficzną i formalną . TIL zapewnia nadrzędne ramy semantyczne dla wszystkich rodzajów dyskursu, czy to potocznego, naukowego, matematycznego czy logicznego. Teoria semantyczna jest teorią proceduralną, zgodnie z którą sens jest abstrakcyjną, przedjęzykową procedurą wyszczególniającą, jakie operacje zastosować do jakich składników proceduralnych, aby dojść do produktu (jeśli taki istnieje) procedury.
Procedury TIL, zwane konstrukcjami , są zindywidualizowane hiperintensywnie. Konstrukcja jest najważniejszym pojedynczym pojęciem przejrzystej logiki intensjonalnej, będąc dobrze umotywowaną filozoficznie i formalnie wypracowaną koncepcją fregowskiego pojęcia sposobu prezentacji. Konstrukcje i konstruowane przez nie byty są zorganizowane w rozgałęzioną teorię typów obejmującą prostą teorię typów. Semantyka jest dostosowana do najtrudniejszego przypadku, na który składają się konteksty hiperintensywne, i stamtąd uogólniona na konteksty intensjonalne i ekstensjonalne . Podstawową logiką jest funkcja/argument w stylu Fregego, traktująca funkcje, a nie relacje lub zbiory, jako prymitywne, razem z logiką w stylu Churcha , skoncentrowaną na operacjach funkcjonalnej abstrakcji i zastosowania .
Kluczowymi ograniczeniami leżącymi u podstaw podejścia TIL do analizy semantycznej są kompozycyjność i antykontekstualizm . Przypisanie konstrukcji do wyrażeń jako ich znaczeń jest niezależne od kontekstu. W zależności od rodzaju logicznego kontekstu, w którym pojawia się konstrukcja, tym, co jest zależne od kontekstu, jest logiczna manipulacja samym odpowiednim znaczeniem, a nie przypisanie znaczenia.
Zobacz też
Bibliografia
- P. Tichý (1988): Podstawy logiki Fregego . De Gruyter, Berlin i Nowy Jork 1988, 333 s.
- M. Duží, B. Jespersen i P. Materna: Semantyka proceduralna dla logiki hiperintensywnej . Podstawy i zastosowania TIL. Springera, 2010.