Přednášky:
Úvod. Logická analýza (přirozeného) jazyka. Co je významem výrazů přirozeného jazyka? Logické vyplývání jako předmět logiky. "Paradoxní" úsudky - nedokonalá analýza premis.
Omezení predikátové logiky 1. řádu: Nedostatečný stupeň expresivity, extenzionalita. Fregeho problém, paradox analýzy.
Frege-Church schéma: O čem mluvíme vs. způsob, jak o tom mluvíme. Denotační sémantika vs. procedurální sémantika.
Transparentní intensionální logika: Charakteristické rysy.
Jednoduchá teorie typů, epistémická báze (možné světy), intenze a extenze.
Klíčový pojem - konstrukce.
Problém (ne)existence, modality.
Analýza otázek.
Rozvětvená teorie typů, význam jako uzavřená konstrukce.
Řešení paradoxu analýzy a paradoxu vševědoucnosti. Význam jako pojem generovaný příslušnou uzavřenou konstrukcí.
Homonymní, synonymní a ekvivalentní výrazy. Analýza výrazů, obsahujících prázdné pojmy, užití a zmiňování pojmu.
Parcialita, presupozice, supozice de re vs. de dicto.
Propoziční a pojmové postoje.
Problémy spojené s užíváním parciálních funkcí.
Cvičení:
Opakování základních pojmů predikátové logiky
Správné úsudky, které nelze ověřit prostředky PL
Typová analýza základních matematických výrazů
Typová analýza (empirických) výrazů přirozeného jazyka
Rozlišení intenzí a extenzí
Nalezení TIL konstrukce - analýza jednoduchých matematických výrazů
Analýza vět o (ne)existenci
Modality (analýza nutnosti a možnosti)
Analýza tázacích vět
Rozvětvená teorie typů, teorie pojmu
Analýza výrazů obsahujících prázdné pojmy, užití a zmiňování pojmu
Presupozice, supozice de dicto / de re
Propoziční a pojmové postoje
Problémy spojené s užíváním parciálních funkcí
Úvod. Logická analýza (přirozeného) jazyka. Co je významem výrazů přirozeného jazyka? Logické vyplývání jako předmět logiky. "Paradoxní" úsudky - nedokonalá analýza premis.
Omezení predikátové logiky 1. řádu: Nedostatečný stupeň expresivity, extenzionalita. Fregeho problém, paradox analýzy.
Frege-Church schéma: O čem mluvíme vs. způsob, jak o tom mluvíme. Denotační sémantika vs. procedurální sémantika.
Transparentní intensionální logika: Charakteristické rysy.
Jednoduchá teorie typů, epistémická báze (možné světy), intenze a extenze.
Klíčový pojem - konstrukce.
Problém (ne)existence, modality.
Analýza otázek.
Rozvětvená teorie typů, význam jako uzavřená konstrukce.
Řešení paradoxu analýzy a paradoxu vševědoucnosti. Význam jako pojem generovaný příslušnou uzavřenou konstrukcí.
Homonymní, synonymní a ekvivalentní výrazy. Analýza výrazů, obsahujících prázdné pojmy, užití a zmiňování pojmu.
Parcialita, presupozice, supozice de re vs. de dicto.
Propoziční a pojmové postoje.
Problémy spojené s užíváním parciálních funkcí.
Cvičení:
Opakování základních pojmů predikátové logiky
Správné úsudky, které nelze ověřit prostředky PL
Typová analýza základních matematických výrazů
Typová analýza (empirických) výrazů přirozeného jazyka
Rozlišení intenzí a extenzí
Nalezení TIL konstrukce - analýza jednoduchých matematických výrazů
Analýza vět o (ne)existenci
Modality (analýza nutnosti a možnosti)
Analýza tázacích vět
Rozvětvená teorie typů, teorie pojmu
Analýza výrazů obsahujících prázdné pojmy, užití a zmiňování pojmu
Presupozice, supozice de dicto / de re
Propoziční a pojmové postoje
Problémy spojené s užíváním parciálních funkcí