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...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kuchyňka, Petr, 1974- (Autor práce)
Další autoři: Materna, Pavel, 1930-2024 (Vedoucí práce)
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/
Obálka
LEADER 05371ctm a22009857a 4500
001 MUB01000845760
003 CZ BrMU
005 20200727171402.0
008 121129s2012 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2020-06-08 
035 |a (ISMU-VSKP)184212 
040 |a BOD114  |b cze  |d BOD001 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 16  |2 MRF 
080 |a 164.04  |2 MRF 
080 |a 161.15:81’37  |2 MRF 
080 |a 81  |2 MRF 
080 |a (043.3)  |2 MRF 
100 1 |a Kuchyňka, Petr,  |d 1974-  |7 mzk2014830805  |% UČO 7765  |4 dis 
242 1 0 |a Rules, language and logic  |y eng 
245 1 0 |a Pravidla, jazyk a logika  |h [rukopis] /  |c Petr Kuchyňka 
260 |c 2012 
300 |a 66 s. 
500 |a Vedoucí práce: Pavel Materna 
502 |a Dizertace (Ph.D.)--Masarykova univerzita, Filozofická fakulta, 2012 
520 2 |a 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  |% cze 
520 2 9 |a 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  |9 eng 
650 0 7 |a logická sémantika  |7 ph172905  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a pravidla (filozofie)  |7 ph273335  |2 czenas 
650 0 7 |a teorie jazyka  |7 ph126561  |2 czenas 
650 0 9 |a logical semantics  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a rules (philosophy)  |2 eczenas 
650 0 9 |a theory of language  |2 eczenas 
655 7 |a disertace  |7 fd132024  |2 czenas 
658 |a Filozofie (čtyřleté)  |b Filozofie  |c FF D-PH4 PH (PH)  |2 CZ-BrMU 
700 1 |a Materna, Pavel,  |d 1930-2024  |7 jk01080700  |% UČO 111  |4 ths 
710 2 |a Masarykova univerzita.  |b Katedra filozofie  |7 olak2002113683  |4 dgg 
856 4 1 |u http://is.muni.cz/th/7765/ff_d/ 
CAT |c 20121129  |l MUB01  |h 0422 
CAT |a HANAV  |b 02  |c 20121203  |l MUB01  |h 1455 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1520 
CAT |a POSPEL  |b 02  |c 20130619  |l MUB01  |h 0807 
CAT |a HANDL  |b 02  |c 20130806  |l MUB01  |h 0955 
CAT |a HANDL  |b 02  |c 20130806  |l MUB01  |h 1030 
CAT |a SVOBODOVA  |b 02  |c 20130813  |l MUB01  |h 0738 
CAT |a POSPEL  |b 02  |c 20130828  |l MUB01  |h 1239 
CAT |a POSPEL  |b 02  |c 20140116  |l MUB01  |h 1058 
CAT |a POSPEL  |b 02  |c 20140122  |l MUB01  |h 0735 
CAT |c 20140127  |l MUB01  |h 1921 
CAT |c 20140911  |l MUB01  |h 1610 
CAT |c 20140912  |l MUB01  |h 1105 
CAT |c 20150703  |l MUB01  |h 1214 
CAT |a POSPEL  |b 02  |c 20150813  |l MUB01  |h 0754 
CAT |c 20150901  |l MUB01  |h 1449 
CAT |a POSPEL  |b 02  |c 20150910  |l MUB01  |h 0749 
CAT |c 20150921  |l MUB01  |h 1411 
CAT |a POSPEL  |b 02  |c 20150922  |l MUB01  |h 0745 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0345 
CAT |a POSPEL  |b 02  |c 20160913  |l MUB01  |h 1442 
CAT |a POSPEL  |b 02  |c 20170328  |l MUB01  |h 1152 
CAT |a POSPEL  |b 02  |c 20170808  |l MUB01  |h 0743 
CAT |a POSPEL  |b 02  |c 20180215  |l MUB01  |h 0752 
CAT |a POSPEL  |b 02  |c 20180717  |l MUB01  |h 1015 
CAT |a POSPEL  |b 02  |c 20190212  |l MUB01  |h 1518 
CAT |a POSPEL  |b 02  |c 20190808  |l MUB01  |h 0840 
CAT |a POSPEL  |b 02  |c 20190808  |l MUB01  |h 0843 
CAT |a POSPEL  |b 02  |c 20200218  |l MUB01  |h 0746 
CAT |c 20200608  |l MUB01  |h 1212 
CAT |a SVERAKOVAX  |b 02  |c 20200724  |l MUB01  |h 1321 
CAT |a HANAV  |b 02  |c 20200727  |l MUB01  |h 1714 
CAT |a POSPEL  |b 02  |c 20200913  |l MUB01  |h 1202 
CAT |c 20210614  |l MUB01  |h 1002 
CAT |c 20210614  |l MUB01  |h 1950 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1218 
CAT |a POSPEL  |b 02  |c 20220629  |l MUB01  |h 0113 
CAT |a POSPEL  |b 02  |c 20230213  |l MUB01  |h 0629 
CAT |a POSPEL  |b 02  |c 20230213  |l MUB01  |h 0629 
CAT |a POSPEL  |b 02  |c 20230213  |l MUB01  |h 0630 
CAT |a POSPEL  |b 02  |c 20231109  |l MUB01  |h 1956 
CAT |a BATCH-UPD  |b 02  |c 20241112  |l MUB01  |h 2351 
M54 |a 16 
LOW |a POSLANO DO SKCR  |b 2020-06-08