Rejstřík A Abadi, 260 aktuální možný svět, 124 Alchourrón, 131 algoritmický výpočet, 6 analytičnost, 112 Andrews, 66 antecedent sekvent, 231 Aristoteles, 138 Asher, 86 atributivní slovesa, 151 atributy, 82 axiomy komprehenze, 38 reducibility, 41, 57 B báze, 46, 288 báze TIL,80 Barendregt, 257 Bealer, 87 Bedeutung, 89 Beesson, 271 Belnap, 198 Bernays, 198 Bolzano, 285 booleovské objekty, 179 Bradleyho regres, 8 C Cardelli, 260 Carnap, 77, 78, 86, 161 Castañeda, 173 Chihara, 40 Chisholm, 126, 133 chronologie, 83 Church,4,39,44,54,71,86,89,90,100,101,110,159,160, 173, 255, 285 numerály, 63 Church-Rosserova vlastnost, 257 Chwistek, 39 Cmorej, 61, 90, 109 Copi, 40 Cresswell, 87, 141 Crocco, 71 Curien, 260 Curry, 19, 255,257, 258 Curry-Howardův isomorfismus, 40 curryzace, 45, 106 časové intervaly, 138 časové okamžiky, 138 časové spojky, 139 časy, 141, 144 vnořené, 144 (CON),273 D de Bruijn, 256 de Bruinovy indexy, 256 definice, 88 Dekkers, 257 denotát, 90, 196 denotační sémantika, 263 denotické modality, 129 denoting term, 272 derivační pravidla, 171, 287, 288 derivační pravidlo, 88 derivační systémy, 171, 287, 288 nestandardní, 270 standardní, 270 užití, 172 derivace, 10 deskripce, 101 Russellova teorie, 100 Churchova teorie, 101 individuové, 102 nereferující, 102 nevlastní, 102 Tichého teorie, 101 deskripce skryté, 101 determinátor, 79 determinační systémy, 82 determinace, 79 determinately, 208 doba, 138 donkey sentence, 108
306 dovolení, 134 Dowty, 77, 142 držitel úřadu, 109 Duží, 115,209,270, 274 dummy value technika, 190 dvojité exekuce specifikace, 24 E ekvivalence, 91, 255 ekvivalence konstrukcí, 16 epistemické modality, 169 epistemický rámec, 80 epizodická slovesa, 151, 153 epizody, 152 Evans, 96 exekuce dvojité, 24 jednoduché, 22 existenční generalizace, 158, 269 existence, 124, 125 kontingentní, 124 expanze β, 256 β jménem kondicionalizovaná (EXP), 274 β neplatnost, 273 explicitní substituce, 260 explikace, 77 extenzionální entita, 4 (EG), 269 (EXP),274 F fakty, 85 Falsum, 111 Farmer, 45 Feferman, 45 Feys, 19 Fitch, 62,63, 225 Frege,iii,2 5,8,18,38,89,95,100,104,165,166,225,226, 285, 286 frekvenční adverbia, 145 frekvenční adverbium, 141 funkční předpis, 4 funkce charakteristické, 49 implikace, 49 kardinalita, 49 komplementární, 212 multiargumentové, 45 následník, 49 nedefinované, 45 negace, 49 parciální, 45 pravdivostní, 49 propoziční, 44 singularizace, 49 trivializační, 50 funkcionální sestup, 117 (FV(M)), 257 G Gödel, 43, 62,63, 71 gödelizované výrazy, 193 Gahér, 161 Geach, 157 Gentzen, 225 Girard, 5, 227 H Henkin, 263 Henkinovy modely, 263 Hilbert, 198, 225 Hindley, 257 Hintikka, 142, 173 Hintikkova sentence, 108 hlavní konstituenta, 266 Horák, 78, 286 hyperintenzionalita, 85 I identita, 49 kontingentní tvrzení, 264 tvrzení, 104 if_then_else, 191 imperativy, 175, 184 implikování, 127, 210 mezi konstrukcemi, 211 mezi vlastnostmi, 211 impredikativita, 58 indexické výrazy, 96 individua, 81 individuace intenzionální, 17 individuový úřad, 79 inference dvourozměrné pojetí, 226 jednorozměrné pojetí, 226 instanciace, 109 intencionalita postoje, 157 intenze, 79, 83, 122 obecný typ, 83 intenzionální báze, 80, 82 intenzionální entita, 4 intenzionální isomorfismus, 86 intenzionální sestup, 117 (III),276 J Jørgensen, 185
307 Jaśkowski, 225 jazyk, 193 omezená expresivita, 199 univerální logický, 62 jednoduché exekuce specifikace, 22 Jespersen, 161, 270, 274 jména, 93 alternativní, 95 deskripční teorie, 94 historických osob, 94 prázdná, 95 ve fikci, 95 K kódy, 193 k-řádový, 193 hierarchie, 193 Kaplan, 96 kategorické výroky, 122 Kleene, 39, 271 kodenotativnost, 90 koexpresivnost, 90 Kolář, 164 kompozice specifikace, 26 konání, 128 konceptuální schéma, 285 konfluence, 257 kongruence, 16, 255 konjunkce třídy pravdivostních hodnot, 215 třídy propozic, 214 konstrukce, 1, 2, 85 ξ, 37 k-řádové, 41 v-(ne)vlastní, 15 v-kongruence, 16 v-konstruování, 15 (ne)úplné, 35 řádu, 46 druhy, 11, 32 druhy formování, 17 individuace, 17 jednoduché, 18 notace, 12 objektu řádu, 41 otevřené a uzavřené, 35 pod-, 33 stupně, 34 vnitřní typová homogenita, 57 konstruování, 255 kontrafaktuály, 128 kontrakce β, 256 β hodnotou, 270 β jménem, 270 β jménem kondicionalizovaná, 272 β jménem kondicionalizovaná(con), 273 β neplatnost, 271 η neplatnost, 281 kontraktum, 256 konverze, 255 α, 256,280 α k, 280 β, 256 η, 256, 282 η důkaz, 282 koreference, 91 Kripke, 94, 120, 202 Kuchyňka,53,85, 187,193,285,286, 288 Kuchyňka, 83 kumulativit typů řádem, 54 kumulativita konstrukcí řádem, 55 objektů řádem typu, 54 Kuratowski, 61 kvantifikátory částečný, 49 klasické, 106 obecný, 49 zobecněné, 106 kvantifikace extenzivní, 62 omezení, 38 přes řády, 63 přes typy, 64 přes všechny entity, 69 přes valuace, 67 restrikce, 62 L Lappiere, 45 Larson, 86 lemma (III), 276 lemma o nadbytečném předpokladu (lr), 280 lemma o trivializaci(lt), 278 Lepage, 45 Levesque, 167 Levy, 260 Lewis, 86, 124, 126,128 logická adheze, 8 logická analýza, 77, 221 logická forma, 77 logické funkce, 89 logický důsledek, 205 logika, 10 action, 155 deontická, 130 epistemická, 169, 173 erotetická, 176
308 hyperintenzionální, 85 imperativů, 176 konání (action), 128 multimodální, 169 otázek, 176 výroková, 289 Ludlow, 86 λ-kalkul, 39, 255 stypy, 39 typovaný, 39, 68, 257 λ-termy, 13 (lr), 280 (lt),278 M Makinson, 131 Marcusová, 120, 121 Martin-Löf, 40 matematika, 10 Materna, 53, 85,89, 177,179,234,270, 274,286,287 McTaggart, 137 Meaning Driven Grammar, 87 Mill, 126 množinové relace, 89 možné světy, 82 možnost, 110 možnosvětová sémantika, 99, 109 modální paradoxy, 120 modální systémy, 112 modální variabilita, 79 modalita, 109 de dictoade re, 112 modality deontické, 129 epistemické, 169 modifikátory, 97 Moggi, 270, 272 Montague, 7, 77, 78, 85, 99, 159, 163, 166 Moschovakis, 5 Muskens, 87 m-tice, 59 N nahrazení (tn), 276 nedenotující termíny, 103 Nepravda,, 81 nepravdivost, 190 normalizovaný tvar, 257 normalizovatelnost, 257 normativní pojmy, 129 nutnost, 110 O objekty ξ-, 37 typu řádu, 41 obor signifikace, 39 Oddie, 83, 128, 163 odhalenost, 269 odpovědi, 175, 181 (ne)přímé, 181 neúplné, 183 přímé, 183 správné, 182 odvození, 232 se zkratkami, 232 okolnosti, 79 otázky, 175, 177 (ne)empirické, 178 doplňovací, 178 přímé, 178 volné, 178 vylučovací, 178 zjišťovací, 178 otypování, 37 P přesvědčení de dicto, 167 de re, 167 explicitní, 167, 170 implicitní, 173 odůvodnění, 173 třídy, 171 paradox Russellův-Myhillův, 39 paradox vševědoucnosti, 86 paradoxy denotační, 197 deontické logiky, 133 Fitchův poznatelnosti, 169 implicitní, 197 Kleeneho-Rosserův, 71 lháře, 198 modální, 120 Montagueho-Kaplanův, 112 mstivá forma, 201 přičtení, 198 Rossův, 134 Russellův (množinový), 38 sémantické, 197 parciální evaluace, 261 pasívum, 98, 155 Peters, 77 Pezlar, 173, 229 Pierce, 226 platnost úsudku, 220 Plotkin, 270 podkonstrukce, 33 pohostinnost, 267 Poincaré, 41 pojmové systémy, 286
309 předmětná oblast, 286 pojmy, 85, 285, 286 (ne)empirické, 286 jednoduché, 286 jednoduché derivované, 287 jednoduché primitivní, 287 prázdné, 286 složené, 286 spadání pod, 286 the, 286 posloupnosti, 59 postoje intencionální, 157 k extenzím, 157 k intenzím, 158 k propozicím, 163 k vlastnostem, 163 ke konstrukcím, 164 kvantifikace, 161 objekty postojů, 157 přací, 163 přesvědčení, 157, 165 přesvědčeníde dictoade re, 166 přesvědčení explicitní a implicitní, 170 přesvědčení inferenční, 173 pojmové, 158 propoziční, 157 povinnost, 130 pravda, 187 druhy, 188 korespondenční teorie, 187 sémantická koncepce, 187 Pravda,, 81 pravdivost, 187 analytická, 112 konstrukcí, 192 L-,192 propozic, 189 propozic silná, 189, 190 propozic slabá, 189 výrazů, 194 výrazů explicitně v jazyce, 195 výrazů implicitně v jazyce, 195 výrazů v jazyce, 196 pravdivostní hodnoty, 81 pravidla λ-pravidla, 237 0 -pravidla, 238 1 -pravidla, 238 2 -pravidla, 239 aplikační, 236 axiom, 249 dodatečná logická, 242 figura aplikace instance, 245 instanciační, 234 logická, 240, 249 odstraňovací, 233, 234 pravidlo řezu, 250 schéma, 232 strukturální, 235, 249 zaváděcí, 233, 234 pravidlo =E, 240 =I, 240 =INST, 240 -INST, 240 E, 240 I, 240 -INST, 240 E, 240 I, 240 λ-inst, 237 -INST, 240 I, 240 E, 240 I, 240 INST, 240 I, 242 I, 242 0 -E, 238 0 -I, 238 0 -ID, 238 0 -INST,238 0 -VAC, 238 1 -INST,238 2 -E, 239 2 -I, 239 2 -INST,239 a-inst, 236 a-subi, 236 a-sub II, 236 Ax, 249 CON, 237 Ctr, 249 Cut, 250 EG, 158 Exc, 249 EXH, 235 EXP, 237 EXT, 236 L,249 R,249 RM, 235 SI, 158 SIM, 235 TM, 235 TS, 235 VAC, 235 Wk, 249 Prawitz, 228 predikáty, 96 predikace, 96
310 de dictoade re, 116 presupozice, 212 existenční, 213 konstrukční, 213 Priest, 62, 63, 198 princip (uvolněné) bivalence, 206 bivalence klasický, 206 kompenzace, 263 kompozicionality významu, 78 tématu, 78 zachování inferenčních důsledků, 79 Princip bludného kruhu, 41 principy bludného kruhu, 43 exenzionality, 17 specifikace, 42 Prior, 137 problémy (ne)empirické, 177 algoritmické, 177 ekvivalentní, 179 nealgoritmické, 177 procedura, 1 proměnné, 18 specifikace, 19 volné avázané, 35 propozice, 39, 62, 79, 84 časové, 152 bázové, 152 komplementární, 212 konstantní, 111 nutné, 111 podkladová, 140 Q Quine, 120, 121, 158 R Raclavský, 18, 21, 22, 28, 33, 48, 53 55, 57, 58, 63, 77, 78, 82, 83, 85, 90, 94, 95, 102, 103, 106, 108, 109, 113,115,117,119 124,126,137,157,162,163, 168 170,187,190,193,196,197,199,201,212, 213, 215, 216, 219, 281, 285 288 ramifikace, 40 Ramsey, 39, 126 redex, 256 reducibilita, 201 obecná, 58 referenční interval, 141 referent, 90, 196 rekvizity, 122 relace, 59 relevance, 211 Richard, 161, 162 Richards, 142 Ross, 134 Rosser, 39 RTT, 40 Russellovská, 40, 52 Russell, 3, 18, 38 40, 42 44, 52, 57, 58, 62, 94, 100, 101, 160,161, 188,201 řád, 40 explikace, 63 nativní konstrukce, 55 nativní objektu, 54 objektu, 41 řetězce, 25 S sémantické pojmy, 196 nedefinovatelnost, 200 omezenost, 202 sémantické schéma, 90 sémantika hyperintenzionální, 85, 170, 172 možnosvětová, 78 neofregeánská, 94 Schönfinkel, 45 Schönfinkelova redukce, 29, 45 důkaz neplatnosti, 45 schopnost, 128 Schröder, 38 Scott, 263 Segerberg, 141 sekvent, 88, 231 Seldin, 257 shoda, 88, 230 simultánní substituce, 256 singulární termíny, 94 singularizace, 49 Sinn, 89 slovesné časy, 140, 144 slovesné vidy, 154 smysl (ne)přímý, 166 soud Fregeho analýza, 96 splňování, 217 Stalnaker, 126 Statman, 257 Strachey, 263 Strawson, 45, 212, 213 strukturované významy, 87 STT,39, 272 subjunktivní kondicionály, 126 substituční funkce, 259 substituční lemma(sl), 280 substituce, 255, 257, 258 explicitní, 262 simultánní, 273 vnořené, 261
311 sukcedent sekvent, 231 supozice, 266 výrazů de dictoade re, 119 supozice de dictoade re,115 konstrukční koncepce, 117 světamžik, 83 Svoboda, 164 synonymie, 91 (sl), 280 Štěpán, 234 T třídy, 59 Tarski, 14, 18, 187, 188, 198, 200, 205, 217 teorém, 200 temporální parametr, 137 temporální variabilita, 79 temporalita, 137 teorie, 287 teorie přímé reference, 94 teorie typů, 38 intuicionistická, 40 jednoduše rozvětvená, 42 jednoduchá, 39 jednoduchá churchovská, 39 rozvětvená, 40 Tichého, 44 Thomason, 86 Tichého teorie typů, 42 Tichý, 2 11, 13 18, 21 23, 25, 27, 29, 30, 33 35, 39, 42, 44,45,48,52,61,71,77,79 83,87,88,93 95, 98 101, 103, 104, 110 113, 115, 117, 122, 124, 126, 128, 137, 138, 140 146, 148 152, 154, 158 160, 162, 163, 165, 166, 168, 172, 176, 188, 190,193,201,202,207,209,217,218,255,256, 258 265, 269 272, 274, 280 TIL sémantická doktrína, 77 translační test, 86 tranzitiva intenzionální, 158 tranzitivní (epizodická) slovesa, 155 trivializační funkce, 50 trivializace specifikace, 20 TTT, 42, 44,255, 272 definice, 46 instance, 52 meta-teorie, 70 tvrzení identity, 103 tvrzení identity:kontingentní, 103 typická ambiguita, 39 typování Churchovo, 39 Curryho, 39 typy, 37 řádu, 46 atomické, 44 báze, 46 explikace, 65 inference, 68 kartézské, 61 mixní, 39 molekulární, 45 náleží do, 37 nativní konstrukce, 56 nativní objektu, 56 polymorfismus, 39 restrikce, 38, 62 soudy, 67 vzájemně disjunktní, 44 TTT BTIL, 78 (tn),276 U události, 152 univerzum diskurzu, 80 uspořádané m-tice, 59 usuzovací proces, 171 usuzovací schopnosti, 171 uzávěry specifikace, 31 úřady, 84 držitel, 109 individuový, 159 rekvizity, 122 úsudek platnost, 220, 252 V význam, 90, 196 explikace, 197 přisouzení, 197 významové postuláty, 122 významuplnost, 200 významy, 85 explikát, 7 věty, 98 o budoucnosti, 138 o přesvědčení, 165 opřesvědčeníde dictoade re,166 rozkazovací, 184 Vacuum, 111 valuace, 67 van Benthem, iii VCP, 41 funkcionální, 43 funkcionálně-konstrukční, 44 konstrukční, 43 konstrukčně-funkcionální, 44 Verum, 111
312 vlastní jména, 93 vlastnosti, 84 extenze, 109 globální, 163 primární, 152 von Fintel, 213 von Wright, 130 vyplývání, 170, 172, 205, 214, 252 druhy, 205 mezi konstrukcemi pravdivostních hodnot, 217 mezi propozičními konstrukcemi, 216, 218 mezi propozicemi, 215 mezi výrazy, 218, 219 mezi větami, 218 vztahy, 84 v-kongruence, 16 v-konstruování, 15 W Wall, 77 Whitehead, 40 Wiener, 61 Z zákaz, 134 zákon De Morganův, 210 vyloučeného třetího, 208 Zalta, 87 Zlatuška, 61 znalost, 169 zobrazení, 4