Seminář je vstupem do lingvistické disciplíny nazývané formální sémantika (a formální pragmatika), která vznikla zhruba před půlstoletím aplikací analytickofilozofických a logických metod na přirozený jazyk. Cílem semináře je, aby studenti byli schopni aplikovat základní nástroje formální sémantiky při analýze jazyka a aby porozuměli jednodušší formálněsémantické literatuře. Začneme u fundamentálních konceptů jako je význam věty, pravda, pravdivostní podmínky, denotace, vyplývání či princip kompozicionality. Procvičíme se v základech teorie množin, výrokové a predikátové logiky, což jsou nástroje, z nichž formální sémantika čerpá. Od začátku budeme pracovat s jednoduchým jazykovým materiálem a zaměříme se na charakteristiku významu věty i větných členů - subjektu, predikátu, objektu či atributu - a na to, jak komplexní významy vznikají z jednoduchých. V rámci sémantiky jmenné fráze probereme problematiku reference a kvantifikace. Přístupnou formou si také ukážeme, jak lze formulovat význam pomocí matematických funkcí a vysvětlíme a procvičíme si tzv. lambda-notaci, na niž se spoléhá většina literatury. V rámci pragmatiky se zaměříme na presupozici, na Griceovy konverzační maximy a jejich aplikaci v rámci tzv. neo-Griceiánské formální pragmatiky. Ukážeme si rozdíl mezi různými typy inferencí - sémantickým vyplýváním, presupozicí a konverzační implikaturou a také to, jak konverzační principy ovlivňují základní význam jazykových výrazů. Na závěr si ukážeme, jak lze formálněsémantické teorie testovat pomocí moderních kvantitativních a experimentálních metod.
Poslední úprava: Šimík Radek, doc. Mgr., Ph.D. (10.09.2019)
Cíl předmětu
Cílem semináře je, aby studenti byli schopni aplikovat základní nástroje formální sémantiky při analýze jazyka a aby porozuměli jednodušší formálněsémantické literatuře.
Poslední úprava: Šimík Radek, doc. Mgr., Ph.D. (09.09.2019)
Podmínky zakončení předmětu
aktivní účast na semináři
četba zadaných textů (v angličtině)
vypracování domácích cvičení, odevzdání ve stanoveném čase před seminářem
v případě nedostatečných výsledků během semestru závěrečný test
Poslední úprava: Šimík Radek, doc. Mgr., Ph.D. (02.09.2024)
