Differences
This shows you the differences between two versions of the page.
user:ptacek:uvod [2006/04/06 16:41] |
user:ptacek:uvod [2006/04/06 16:41] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ~~NOTOC~~ | ||
+ | ==== 4 možnosti substancialní povahy významu: ==== | ||
+ | |||
+ | * hmatatelné předměty světa | ||
+ | * předmět myšlenkového světa mluvčího | ||
+ | * předmět světa objektivních abstrakt | ||
+ | * význam není předmětem (jako ' | ||
+ | |||
+ | ==== 2 a 1/2 pravdivosti: | ||
+ | |||
+ | * nutná - analytická - sémantická: | ||
+ | * empirická - kontingentní: | ||
+ | * (u empirických nutné znát někdy mluvčího a dobu promluvy: včera sem byl v kině) | ||
+ | |||
+ | ==== vyplývání ==== | ||
+ | věta < | ||
+ | |||
+ | **nutná pravdivost a vyplývání: | ||
+ | nutná pravdivost => vyplývání z < | ||
+ | vyplývání z < | ||
+ | |||
+ | **význam a empirická pravdivost**\\ | ||
+ | < | ||
+ | |||
+ | ==== Princip verifundace významu ==== | ||
+ | rozdílnost pravdivostních hodnot -> rozdílnost významu\\ | ||
+ | obráceně ne (mám 2 pravdivé a ruzného významu) | ||
+ | |||
+ | ====== Strukturální rysy významu ====== | ||
+ | |||
+ | **princip kompozicionality**\\ | ||
+ | < | ||
+ | ke gramatickému pravidlu skládání < | ||
+ | < | ||
+ | |||
+ | **princip zaměnitelnosti synonym**\\ | ||
+ | < | ||
+ | |||
+ | **princip zaměnitelnosti synonym salva veritate**\\ | ||
+ | stejné významy všech částí < | ||
+ | důkaz: stejný význam celých vět ze zaměnitelnosti synonym, stejná pravdivost celých vět z verifundace | ||
+ | |||
+ | **princip Occamovy břitvy**\\ | ||
+ | v rámci metafyziky nepředpokládej existenci více jsoucen, než je bezpodmínečně nutné | ||
+ | |||
+ | **Leibnizův princip**\\ | ||
+ | zaměnitelnost salva veritate je nejenom nutná, ale možná i postačující podmínka | ||
+ | |||
+ | ====== Modelování významu ====== | ||
+ | //motto: zjistit, co význam dělá, a pak najít něco, co dělá totéž// | ||
+ | |||
+ | formální jazyk: | ||
+ | * slovník | ||
+ | * gramatika | ||
+ | |||
+ | * část dobře utvořených výrazů jsou pak výroky - jsou //V// nebo //F// | ||
+ | * každá množina výroků je teorie v tomto jazyce | ||
+ | |||
+ | |||
+ | interpretace/ | ||
+ | * přiřazení objektů-denotátů (objekty zpravidla z teorie množin) k výrazům jazyka | ||
+ | * pro každý výrok je určen denotát | ||
+ | * mezi těmito denotáty se vybere množina, která vymezuje splněné výroky | ||
+ | * (např: denotáty výroku = //V,F//, splněné jsou ty s //V//) | ||
+ | |||
+ | ====== Výrokový počet ====== | ||
+ | * výrokové konstanty A, B, C, ... | ||
+ | * logické operátory < | ||
+ | * gramatické jsou konstanty a výrazy vzniklé z výroků předřazením negace, nebo spojením 2 výroků pomocí bin. operátorů | ||
+ | * interpretace //I// tohoto jazyka je libovolné přiřazení //V,F// **pro konstanty** | ||
+ | * splnovaní je definováno **pro výroky** tabulkama pro každou operaci a pravdivostní hodnoty složek | ||
+ | |||
+ | * jiná interpretace < | ||
+ | * konstantám dávám //V,F// | ||
+ | * operátorům dávám funkce unární: [B->B] a binární: [BxB->B] | ||
+ | * výrokům dávám to co vrací odpovídající funkce na složku/y | ||
+ | * výrok je interpretací < | ||
+ | |||
+ | ====== Monadický predikátový MP1- ====== | ||
+ | * výroky jsou jen složené | ||
+ | * termy //T// jako ' | ||
+ | * unární predikátové konstanty //P// jako ' | ||
+ | * gramatika je jako VP + výrokem je i //P(T)// | ||
+ | |||
+ | * univerzum //U// interpretace např. < | ||
+ | * interpretace //I// je fce, [T->U] a [P-> | ||
+ | * splnování jako VP + //P(T)// je splnováno //I// <=> //I(T)// < | ||
+ | |||
+ | ====== Monadický predikátový MP1 ====== | ||
+ | * jako MP1- | ||
+ | * termy dvého druhu: konstanty jako v MP1- + proměnné | ||
+ | * kvantifikátory: | ||
+ | * výroky obsahující proměnné nazýváme // | ||
+ | * v gramatice navíc: výrok je i posloupnost: | ||
+ | |||
+ | * interpretace //I// je zas zobrazení konstant do //U// a predikátů do potence(// | ||
+ | * valuace //V// je zobrazení proměnných do //U// | ||
+ | * //I// a //V// splnují výrok pokud: | ||
+ | * jako v MP1- a navíc | ||
+ | * //I// a //V// splnují výrok P(x), jestliže < | ||
+ | * //I// a //V// splnují výrok < | ||
+ | * //I// a //V// splnují výrok < | ||
+ | |||
+ | Výrokové formule neodpovídají ničemu z přirozeného jazyka, tady se logika vzdaluje sémantice. | ||
+ | |||
+ | ====== Montagueho 4 komponenty jazyka ====== | ||
+ | * slovník - konečná množina element. výrazů | ||
+ | * gramatika - konečná množina pravidel na vytváření složitějších výrazů | ||
+ | |||
+ | * přiřazení množinových objektů - významů pro elementární výrazy | ||
+ | * pravidla pro sestrojení významu složeného výrazu z jeho významů jeho složek | ||
+ | |||