Pravidla, jazyk a logika
Cílem disertační práce je podat adekvátní explikaci pojmu pravidla (tj. nahradit intuitivní, pre-teoretický pojem nějakým jiným, přesně specifikovaným pojmem; první pojem se nazývá explikandum, druhý se označuje jako explikát prvního). Explikaci podávám v systému algebry (monadických) podmínek a akc...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2012
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/7765/ff_d/ |
| Shrnutí: | Cílem disertační práce je podat adekvátní explikaci pojmu pravidla (tj. nahradit intuitivní, pre-teoretický pojem nějakým jiným, přesně specifikovaným pojmem; první pojem se nazývá explikandum, druhý se označuje jako explikát prvního). Explikaci podávám v systému algebry (monadických) podmínek a akcí. Pomocí explikátu vyjasňuji pojem normy a zkoumám možnosti logiky imperativů a deontické logiky. Dále kritizuji myšlenku, že chování podle pravidla, které spňuje Turingův test, je postačující pro rozumění jazyku. Docházím k závěru, že pravidla jazyka nejspíš spojují výrazy s procedurami určujícími jejich denotáty. Práci zakončuji zavedením systému Transparentní intenzionální logiky, která umožňuje zkoumat vlastnosti těchto procedur a vztahy mezi nimi The aim of this thesis is to offer an adequate explication of the concept of rule (the task of explication consists in replacing an intuitive, pre-theoretical concept with a concept that is exactly determined by explicit rules for its use; the former concept is called the explicandum and the latter concept is called an explicatum of the former one). The explication is given in the system of the algebra of (monadic) conditions and actions. By means of the given explicatum I explicate the concept of norm and investigate the possibilities of a logic of imperatives and deontic logic. Next, I criticize the idea that following a rule that passes the Turing test is sufficient for understanding a language. I conclude that rules of language are most likely to associate expressions with procedures for determining their denotata. In the end, I introduce the system of Transparent intensional logic by which it is possible to study such procedures |
|---|---|
| Popis jednotky: | Vedoucí práce: Pavel Materna |
| Fyzický popis: | 66 s. |