docII - Katedra logiky - Univerzita Karlova
download 
Stížnost Podobné dokumenty
René Descartes - společenské vědy
už jen dětská skládačka. Funguje to jako hodiny (oblíbený příměr Descartův a všech
mechanicistů). Jakmile jednou začneme vycházet z nedoloženého subjektivního
závěru (tj. ze závěru, který není pozn...
MO X
Hippodamie (trilogie s antickým námětem, motiv viny a trestu; Z. Fibich – melodram), Noc
na Karlštejně; JULIUS ZEYER: Radúz a Mahulena
X - Jarda Peregrin
|– G ⇔ |– Dk(⎡G⎤) ⇔ |– ¬G; a tedy ani |– G, ani |– ¬G. Avšak G 'říká' sám o sobě, že je
dokazatelný, a tudíž je pravdivý – existuje tedy pravdivý nedokazatelný výrok.
[Nedokázali jsme ovšem právě G...
Fregovo místo v dějinách logiky a západní filosofie
S=m, T=n, m+n=p pak S+T=p; S=p, T=p pak S=T
c) záleží na tom, + funkční symbol takže se předpokládá, že mu odpovídá fce, pro kterou
navíc P (ty by mohly být ovšem s funkcí neslučitelné x– pak sporn...
Logika jako součást předmětu „Základy společenských
ţivlem a logikou jako řádem. Hlavním cílem této práce je ukázat, ţe i nematematik toto
napětí chtě nechtě pociťuje a ţe je uţitečné si ho uvědomovat a vyuţívat ho: k jazykovým
hrátkám, v běţné argu...
Matematická logika
Potřebné prvky jazyka
Logika, která umí postihnout úsudek se Sókratem (ale hlavně také
usuzování matematiků), je logika predikátová (někdy také prvořádová).
Pokud chceme formalizovat výše uved...
Co je to sémantika?
chápáním jazyka – chápeme-li význam například jako roli – je toto vymezení nepoužitelné.
(Předesílám, že v tomto článku nechci propagovat to či ono pojetí jazyka; chci hledat definici
