.

0 (hodnocen0 x )

(2) Půjčeno:4x 

BK

1. vyd.

Olomouc : Univerzita Palackého, 2000

134 s. ; 21 cm

ISBN 80-244-0109-6 (brož.)

Dotisk 2003

Obsahuje bibliografie a bibliografické odkazy

000195254

Úvod // I. Co JE LOGIKA, CO JE ‘FILOZOFICKÁ LOGIKA’ // 1. Logika jako nauka o vyplýváni // 2. Změna významu výrazů “matematická/symbolická // logika” // 3. ‘Filozofická logika’ // 4. Logika: nástroj, nebo ‘otevřená teorie’? // II. Proč nová cesta? // 1. Negativní stránky formalismu // 2. Logika a (přirozený) jazyk // 3. Objektové pojetí logiky // III. Základní východiska TIL // 1. Logika jako teorie konstruování složených abstraktních objektů z jednoduchých // 2. Funkcionální pojetí // 3. Prostá teorie typů // 4. Konstrukce // 5. Rozvětvená hierarchie typů // IV. Aplikace na analýzu jazyka // 1. Výraz - smysl - objekt (denotát) // 2. Příklady // Dodatek: Dedukce v transparentní intenzionální logice // Dl Inspirace a motivace // D2 Aparát // D3 Prostředky dedukce // Poznámky // Bibliografie

(OCoLC)45679832

cnb000976415