Differences
This shows you the differences between two versions of the page.
— |
user:ptacek:fregovska-kvantifikace [2006/04/20 14:11] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Fregovská kvantifikace ====== | ||
+ | výrokové schéma/ | ||
+ | //x je spisovatel a vědec// | ||
+ | |||
+ | 2 možné výroky o schématech | ||
+ | * do schématu lze dosadit term, aby bylo pravdivé | ||
+ | * jaký dosadíme, bude pravdivé | ||
+ | |||
+ | zapisujeme | ||
+ | * < | ||
+ | * < | ||
+ | |||
+ | pozor: toto je substituční chápání, | ||
+ | v denotačním chápání to čteme: | ||
+ | //exituje prvek univerza, že je-li významem x, dá nám ve výsledku pravdivou větu.// | ||
+ | |||
+ | původně (stará kvantifikace): | ||
+ | (B) kvantifikátor //Q// a predikát //P// -> výrok //Q(P)// | ||
+ | (bohužel kvantifikuje jen přes celé //U// a omezit domain v predikátu neumíme) | ||
+ | |||
+ | první možnost zakomponování této kvatifikace: | ||
+ | (B1) predikát //P// a proměnná //x// -> //P(x)// je výrokové schéma | ||
+ | (B2) schéma //S// -> < | ||
+ | nevýhodou je zavedení proměných a schémat jako prvků jazyka | ||
+ | |||
+ | lepší možnost: | ||
+ | (B*) výrok //V// -> < | ||
+ | nevýhodou je vizuální vzdálenost od přirozeného jazyka | ||
+ | (omezení domain: necháme si kvantifikátory (přes celé //U//) a domain omezíme ve výrokovém schématu < | ||
+ | |||
+ | |||
+ | peregrin tvrdí, že | ||
+ | //(the) prezident Ruska je moudrý muž// | ||
+ | zapíše jako < | ||
+ | :!: vyplývání jeho jedinečnosti - subjekt není vyjádřený termem, ale predikátem, | ||
+ | |||
+ | ====== sémantika ====== | ||
+ | < | ||
+ | |||
+ | význam kvantifikátoru : | ||
+ | (shodné s původním ∑ a ∏) | ||
+ | je prvek množiny množin individuí - [[U-> | ||
+ | |||
+ | význam složených výrazů s //Q//: | ||
+ | < | ||
+ | |||
+ | |||
+ | tím jsme definovali jazyk < | ||
+ | |||
+ | při dostatku vynalézavosti LE* stačí i na komplikované jazykové konstrukce |