TIL AS A TOOL OF LOGICALLY ANALYZING LANGUAGE
This is a short outline of the main notions and principles of Transparent intensional logic (TIL). It begins by a characteristic of the philosophical starting points of TIL (realism, intensional essentialism, antiactualism, anti-contextualism, anti-formalism) and goes on by an overview of fundamenta...
| Main Author: | |
|---|---|
| Format: | Electronic Article |
| Language: | Italian |
| Check availability: | HBZ Gateway |
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Edizioni Studio Domenicano
2010
|
| In: |
Divus Thomas
Year: 2010, Volume: 113, Issue: 1, Pages: 97-183 |
| Online Access: |
Volltext (lizenzpflichtig) |
| Parallel Edition: | Non-electronic
|
| Summary: | This is a short outline of the main notions and principles of Transparent intensional logic (TIL). It begins by a characteristic of the philosophical starting points of TIL (realism, intensional essentialism, antiactualism, anti-contextualism, anti-formalism) and goes on by an overview of fundamental notions and principles: definitions of types, intensions, constructions, introduction of higher-order types (ramified hierarchy), explanation of 'semantic triangle' accompanied by rejecting the so-called reference shift, introduction of the key distinction between use and mention, distinguishing conceptual and denotational level and within the latter intensional (in particular de dicto) and extensional (in particular de re) use of constructions. A procedural theory of concepts is defined and application of TIL to particular topics (existence, requisites) is suggested. L'articolo rappresenta una breve presentazione delle nozioni e dei principi principali della logica trasparente intensionale (LTI). S'incomincia caratterizzando i punti di partenza filosofici della LTI (realismo, essenzialismo intensionale, antiattualismo, anticontestualismo, antiformalismo) e si procede con una sinossi delle nozioni e dei principi fondamentali: definizione dei tipi, intensioni, costruzioni, introduzione dei tipi di ordini superiori (gerarchia ramificata), esplanazione del "triangolo semantico" accompagnata dal rifiuto del cosiddetto reference shift, introduzione della distinzione chiave fra uso e menzione assieme alia distinzione fra il livello concettuale e quello denotazionale, in cui si distingue ulteriormente l'uso intensionale (in particolare de dicta) e estensionale (in particolare de re) delle costruzioni. Viene definita una teoria proceduale dei concetti e si propongono applicazioni della LTI ai problemi concreti (esistenza, requisiti). |
|---|---|
| Contains: | Enthalten in: Divus Thomas
|