. "1212-9097" . "Pot\u0159ebnost konstrukc\u00ED pro logickou anal\u00FDzu p\u0159irozen\u00E9ho jazyka"@cs . "For controlling logical entailment and for adequate logical semantics of natural language not only intensional entities are needed. It is shown that in the case of analyses of propositional attitudes there are necesseary more fine-grained entities: hyperintensional entities. A suitable candidate for such kind of entites are (rather than Cresswells ordered tuples) Tich\u00FDs constructions (there are not constructions of intuicionists) as tehey are defined in his Transparent intensional logic."@en . . "The Need Of Constructions For The Logical Analysis Of Natural Language"@en . . "RIV/00216224:14210/00:00011275" . "1-12" . . "[E735BA28EFD9]" . . "\u00DAkolem logiky je zkoumat podm\u00EDnky vypl\u00FDv\u00E1n\u00ED, zajistit korektnost \u00FAsudk\u016F. Ji\u017E Frege, zakladatel modern\u00ED logiky, zjistil, \u017Ee pro tento \u00FAkol je zapot\u0159eb\u00ED ur\u010Dit\u00E1 anal\u00FDza v\u011Bt, kter\u00E9 jsou premisami \u010Di z\u00E1v\u011Brem. Jedn\u00EDm z c\u00EDl\u016F logiky je jednoduchost a p\u0159ehlednost t\u011Bchto anal\u00FDz. Proto prost\u0159edky na zaji\u0161t\u011Bn\u00ED vypl\u00FDv\u00E1n\u00ED, toti\u017E r\u016Fzn\u00E9 logick\u00E9 syst\u00E9my, b\u00FDvaj\u00ED form\u00E1ln\u00ED, abstrahuj\u00ED od obsahov\u00E9 str\u00E1nky, zobec\u0148uj\u00ED nad konkr\u00E9tn\u00ED odli\u0161nosti. V pr\u016Fb\u011Bhu stat\u011B si uk\u00E1\u017Eeme, \u017Ee pro anal\u00FDzu v\u011Bt vch\u00E1zej\u00EDc\u00EDch v \u00FAsudky, klasifikuj\u00ED n\u011Bkter\u00E9 logick\u00E9 syst\u00E9my p\u0159\u00EDli\u0161 hrub\u011B, nerozt\u0159\u00EDd\u00ED v\u011Bty podle v\u0161ech relevantn\u00EDch odli\u0161nost\u00ED, \u017Ee jsou tedy pot\u0159eba syst\u00E9my, kter\u00E9 n\u00E1m umo\u017En\u00ED jemn\u011Bj\u0161\u00ED anal\u00FDzu. Hlavn\u00EDmi d\u016Fvody pro to, abychom p\u0159istoupili na pe\u010Dliv\u011Bj\u0161\u00ED, a tedy m\u00E9n\u011B jednoduch\u00FD, logick\u00FD syst\u00E9m, jsou protip\u0159\u00EDklady, kter\u00E9 poukazuj\u00ED, \u017Ee ten \u010Di onen, p\u0159\u00EDpad \u00FAsudku nejde jednodu\u0161\u0161\u00EDm syst\u00E9mem zanalyzovat, prok\u00E1zat korektnost vypl\u00FDv\u00E1n\u00ED. K tomuto slou\u017E\u00ED i to, co bychom mohli nazvat ryze filosofick\u00FDmi argumenty. Na\u010Drtneme si nyn\u00ED jist\u00FD postup, kter\u00FD ved"@cs . "Pot\u0159ebnost konstrukc\u00ED pro logickou anal\u00FDzu p\u0159irozen\u00E9ho jazyka" . "1"^^ . . . "1" . . "1"^^ . "Pro-Fil" . . . "14210" . "logical analysis of natural language; propositional attitudes; procedures; constructions; meaning"@en . . . . "\u00DAkolem logiky je zkoumat podm\u00EDnky vypl\u00FDv\u00E1n\u00ED, zajistit korektnost \u00FAsudk\u016F. Ji\u017E Frege, zakladatel modern\u00ED logiky, zjistil, \u017Ee pro tento \u00FAkol je zapot\u0159eb\u00ED ur\u010Dit\u00E1 anal\u00FDza v\u011Bt, kter\u00E9 jsou premisami \u010Di z\u00E1v\u011Brem. Jedn\u00EDm z c\u00EDl\u016F logiky je jednoduchost a p\u0159ehlednost t\u011Bchto anal\u00FDz. Proto prost\u0159edky na zaji\u0161t\u011Bn\u00ED vypl\u00FDv\u00E1n\u00ED, toti\u017E r\u016Fzn\u00E9 logick\u00E9 syst\u00E9my, b\u00FDvaj\u00ED form\u00E1ln\u00ED, abstrahuj\u00ED od obsahov\u00E9 str\u00E1nky, zobec\u0148uj\u00ED nad konkr\u00E9tn\u00ED odli\u0161nosti. V pr\u016Fb\u011Bhu stat\u011B si uk\u00E1\u017Eeme, \u017Ee pro anal\u00FDzu v\u011Bt vch\u00E1zej\u00EDc\u00EDch v \u00FAsudky, klasifikuj\u00ED n\u011Bkter\u00E9 logick\u00E9 syst\u00E9my p\u0159\u00EDli\u0161 hrub\u011B, nerozt\u0159\u00EDd\u00ED v\u011Bty podle v\u0161ech relevantn\u00EDch odli\u0161nost\u00ED, \u017Ee jsou tedy pot\u0159eba syst\u00E9my, kter\u00E9 n\u00E1m umo\u017En\u00ED jemn\u011Bj\u0161\u00ED anal\u00FDzu. Hlavn\u00EDmi d\u016Fvody pro to, abychom p\u0159istoupili na pe\u010Dliv\u011Bj\u0161\u00ED, a tedy m\u00E9n\u011B jednoduch\u00FD, logick\u00FD syst\u00E9m, jsou protip\u0159\u00EDklady, kter\u00E9 poukazuj\u00ED, \u017Ee ten \u010Di onen, p\u0159\u00EDpad \u00FAsudku nejde jednodu\u0161\u0161\u00EDm syst\u00E9mem zanalyzovat, prok\u00E1zat korektnost vypl\u00FDv\u00E1n\u00ED. K tomuto slou\u017E\u00ED i to, co bychom mohli nazvat ryze filosofick\u00FDmi argumenty. Na\u010Drtneme si nyn\u00ED jist\u00FD postup, kter\u00FD ved" . "1" . "CZ - \u010Cesk\u00E1 republika" . "The Need Of Constructions For The Logical Analysis Of Natural Language"@en . "RIV/00216224:14210/00:00011275!RIV08-GA0-14210___" . "Pot\u0159ebnost konstrukc\u00ED pro logickou anal\u00FDzu p\u0159irozen\u00E9ho jazyka" . . "722383" . . "13"^^ . "Pot\u0159ebnost konstrukc\u00ED pro logickou anal\u00FDzu p\u0159irozen\u00E9ho jazyka"@cs . . "Raclavsk\u00FD, Ji\u0159\u00ED" . "P(GA401/97/0157)" . .