Příspěvky uživatele
- 22. 11. 2014, 22:31 rozdíl historie +12 Portál:Struktury a algebry
- 22. 11. 2014, 22:31 rozdíl historie +11 Portál:Analytická filosofie aktuální
- 22. 11. 2014, 22:30 rozdíl historie +1 Portál:Teorie množin
- 22. 11. 2014, 22:30 rozdíl historie +11 Portál:Vyčíslitelnost
- 22. 11. 2014, 22:29 rozdíl historie +11 Portál:Teorie množin
- 22. 11. 2014, 20:52 rozdíl historie +232 Paradoxy →Zdroje
- 22. 11. 2014, 20:03 rozdíl historie +939 Grellingův paradox
- 22. 11. 2014, 19:45 rozdíl historie +218 Grellingův paradox →Zdroje
- 22. 11. 2014, 19:41 rozdíl historie +939 Grellingův paradox →Znění
- 22. 11. 2014, 19:15 rozdíl historie +722 N Grellingův paradox Založena nová stránka s textem „'''Grellingův heterologický paradox''', pojmenovaný po německé matematikovi a logikovi Kurtu Grellingovi, je jedním ze sémantický…“
- 22. 11. 2014, 18:59 rozdíl historie +175 Paradoxy
- 22. 11. 2014, 18:54 rozdíl historie +1 172 Paradox lháře
- 22. 11. 2014, 01:58 rozdíl historie +12 Portál:Logika
- 21. 11. 2014, 23:39 rozdíl historie +1 716 Paradox lháře
- 21. 11. 2014, 23:05 rozdíl historie +309 Paradox lháře
- 21. 11. 2014, 23:00 rozdíl historie +1 185 N Paradox lháře Založena nová stránka s textem „'''Paradox lháře''' též označován jako '''Epiménidův''', '''Eubulidův''' či '''paradox Kréťana''' je logický paradox, jeden z nejznámějšíc…“
- 21. 11. 2014, 21:36 rozdíl historie +118 Paradoxy →Monty Hallův paradox
- 21. 11. 2014, 21:32 rozdíl historie +131 Paradoxy →Obálkový paradox
- 21. 11. 2014, 21:28 rozdíl historie -21 Paradoxy →Monty Hallův paradox
- 21. 11. 2014, 21:23 rozdíl historie +1 Paradoxy →Paradox hromady
- 21. 11. 2014, 21:23 rozdíl historie +523 Paradoxy →Paradoxy neostrého predikátu
- 21. 11. 2014, 21:04 rozdíl historie +101 Portál:Filosofie logiky
- 21. 11. 2014, 20:47 rozdíl historie +331 Paradoxy →Grellingův paradox
- 21. 11. 2014, 20:38 rozdíl historie +319 Paradoxy →Paradox holiče
- 21. 11. 2014, 20:31 rozdíl historie +667 Paradoxy →Paradox lháře
- 21. 11. 2014, 20:01 rozdíl historie +40 Paradoxy
- 21. 11. 2014, 20:00 rozdíl historie +66 Nutná pravda →Zdroje
- 21. 11. 2014, 20:00 rozdíl historie +66 Pravdivost →Zdroj
- 21. 11. 2014, 19:56 rozdíl historie +463 Paradoxy
- 21. 11. 2014, 19:40 rozdíl historie +93 Nutná pravda →Zdroje
- 21. 11. 2014, 19:35 rozdíl historie +22 Pravdivost →Zdroj
- 21. 11. 2014, 19:34 rozdíl historie -4 136 Pravdivost
- 20. 11. 2014, 22:41 rozdíl historie +10 Nutná pravda
- 20. 11. 2014, 22:39 rozdíl historie +4 571 N Nutná pravda Založena nová stránka s textem „* pravdivost bez ohledu na nás, naše znalosti * nelze falzifikovat * vypovídání '''de dicto''' - mluvíme o větě jako o celku; '''de re''' - mluvím…“
- 20. 11. 2014, 22:37 rozdíl historie +20 Portál:Filosofie logiky
- 20. 11. 2014, 22:34 rozdíl historie +3 742 N Paradoxy Založena nová stránka s textem „* za neproblematického použití běžně používaných a uznávaným metod dojdeme k nepřijatelnému závěru * můžeme-li v nějaké teorii formulova…“
- 20. 11. 2014, 22:13 rozdíl historie 0 Pravdivost →Zdroj
- 20. 11. 2014, 22:04 rozdíl historie +15 Portál:Filosofie logiky
- 20. 11. 2014, 21:57 rozdíl historie +1 379 Pravdivost →Nutná pravda
- 18. 11. 2014, 22:19 rozdíl historie +21 Lindenbaum-Tarského algebry →\mathcal{L}_n(P,\mathfrak{A})
- 18. 11. 2014, 22:18 rozdíl historie +1 Lindenbaum-Tarského algebry →\mathcal{L}_n(P,\mathfrak{A})
- 18. 11. 2014, 22:15 rozdíl historie +48 Lindenbaum-Tarského algebry
- 18. 11. 2014, 21:41 rozdíl historie +1 215 N Ideál Založena nová stránka s textem „Množina <math>\mathcal{I} \subseteq \mathcal{P}(X)</math> je ideál, pokud platí: # <math>\emptyset \in \mathcal{I}, X \notin \mathcal{I}</math> # <math>…“ aktuální
- 15. 11. 2014, 04:34 rozdíl historie +1 396 Lindenbaum-Tarského algebry
- 13. 11. 2014, 19:02 rozdíl historie +4 Filtr →Zdroje aktuální
- 13. 11. 2014, 19:02 rozdíl historie +11 Filtr
- 13. 11. 2014, 19:01 rozdíl historie +232 Filtr
- 13. 11. 2014, 18:46 rozdíl historie +1 096 N Filtr Založena nová stránka s textem „Množina <math>F \subseteq \mathcal{P}(X)</math> je filtr, pokud platí: # <math>\emptyset \notin F, X \in F</math> # <math>A, B \in F \rightarrow A \wedge…“
- 13. 11. 2014, 17:58 rozdíl historie +1 Portál:Struktury a algebry
- 13. 11. 2014, 17:57 rozdíl historie +128 Portál:Struktury a algebry
- 13. 11. 2014, 17:51 rozdíl historie +88 Booleova algebra
- 13. 11. 2014, 15:48 rozdíl historie +164 Pravdivost →Nutná pravda
- 13. 11. 2014, 15:42 rozdíl historie +1 760 Pravdivost →Nutná pravda
- 13. 11. 2014, 15:26 rozdíl historie +93 Pravdivost →Tarského sémantická teorie pravdy
- 13. 11. 2014, 15:22 rozdíl historie +112 Pravdivost →Deflační teorie pravdy
- 12. 11. 2014, 23:03 rozdíl historie 0 Pravdivost →Zdroj
- 12. 11. 2014, 22:58 rozdíl historie +31 N Kategorie:Sociologie Založena nová stránka s textem „Kategorie:Hlavní kategorie“ aktuální
- 12. 11. 2014, 22:52 rozdíl historie 0 Kategorie:Filosofie logiky
- 12. 11. 2014, 22:49 rozdíl historie +31 N Kategorie:Egyptologie Založena nová stránka s textem „Kategorie:Hlavní kategorie“ aktuální
- 12. 11. 2014, 22:06 rozdíl historie -1 Transkripce →Transkripce IPA aktuální
- 10. 11. 2014, 00:18 rozdíl historie -3 Booleova algebra →Dualita operací
- 10. 11. 2014, 00:13 rozdíl historie +290 Booleova algebra →Podalgebra
- 10. 11. 2014, 00:08 rozdíl historie +3 Booleova algebra →Zákon idempotence
- 10. 11. 2014, 00:07 rozdíl historie +5 Booleova algebra →Formule a zákony platné v Booleově algebře
- 10. 11. 2014, 00:06 rozdíl historie +465 Booleova algebra →Dualita operací
- 7. 11. 2014, 20:49 rozdíl historie -1 Pravdivost →Koherenční teorie pravdy
- 7. 11. 2014, 20:44 rozdíl historie +57 Pravdivost →Quineova teorie pravdy
- 7. 11. 2014, 20:42 rozdíl historie +15 Pravdivost →Zdroj
- 7. 11. 2014, 20:41 rozdíl historie +1 753 Pravdivost →Quineova teorie pravdy
- 7. 11. 2014, 19:58 rozdíl historie +4 Adrenalin
- 7. 11. 2014, 19:34 rozdíl historie +29 Pravdivost →Nutná pravda
- 7. 11. 2014, 19:32 rozdíl historie +19 Pravdivost
- 7. 11. 2014, 19:30 rozdíl historie +562 Pravdivost
- 7. 11. 2014, 19:21 rozdíl historie +3 135 Pravdivost
- 4. 11. 2014, 00:42 rozdíl historie +68 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 4. 11. 2014, 00:40 rozdíl historie +801 Výrazy ve větě
- 4. 11. 2014, 00:16 rozdíl historie +17 Portál:Filosofie logiky
- 4. 11. 2014, 00:14 rozdíl historie +120 Pravdivost
- 4. 11. 2014, 00:08 rozdíl historie +2 531 N Pravdivost Založena nová stránka s textem „* úkolem logiky není, aby rozhodovala, která tvrzení jsou pravdivá * pravdivost vět ověřujeme; věta je pravdivá, pokud se věci mají tak, jak uv…“
- 25. 10. 2014, 20:58 rozdíl historie +20 N Kategorie:Struktury a algebry Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 25. 10. 2014, 20:42 rozdíl historie 0 m Rasiowé-Sikorského lemma Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma aktuální
- 25. 10. 2014, 20:42 rozdíl historie +43 N Rasiové-Sikorského lemma Veronika Kovrzková (ver.kovrzkova@centrum.cz) přesunul stránku Rasiové-Sikorského lemma na Rasiowé-Sikorského lemma aktuální
- 25. 10. 2014, 20:42 rozdíl historie 0 Portál:Struktury a algebry
- 25. 10. 2014, 20:41 rozdíl historie +518 Rasiowé-Sikorského lemma
- 25. 10. 2014, 18:35 rozdíl historie -1 Rasiowé-Sikorského lemma
- 25. 10. 2014, 18:34 rozdíl historie +362 N Rasiowé-Sikorského lemma Založena nová stránka s textem „Mějme <math>S_{n}\subseteq \mathbb{B}</math> takové, že <math>\bigwedge S_{n}</math> je definovaná <math>\forall n \in \omega$</math>. Pak existuje utr…“
- 25. 10. 2014, 17:50 rozdíl historie +406 Úvod do filosofie logiky →Výrok
- 25. 10. 2014, 17:41 rozdíl historie +20 N Kategorie:Filosofie logiky Založena nová stránka s textem „Kategorie:Logika“
- 25. 10. 2014, 17:39 rozdíl historie +1 555 Výrazy ve větě
- 25. 10. 2014, 17:27 rozdíl historie +543 Výrazy ve větě →Sloveso být
- 25. 10. 2014, 17:21 rozdíl historie -4 Výrazy ve větě →Obecné výrazy
- 25. 10. 2014, 17:21 rozdíl historie +799 Výrazy ve větě →Obecné výrazy
- 19. 10. 2014, 22:21 rozdíl historie +1 522 Výrazy ve větě
- 19. 10. 2014, 19:17 rozdíl historie +4 014 N Výrazy ve větě Založena nová stránka s textem „Níže si uvedeme podstatné části, které rozlišujeme ve větě. Jde o singulární výrazy, obecné výrazy... == Singulární výrazy == Singulární…“
- 19. 10. 2014, 18:37 rozdíl historie +3 063 N Úvod do filosofie logiky Založena nová stránka s textem „Filosofie logiky se zaměřuje na výchozí pojmy logiky, metody a postupy v logice používané. V historii se setkáváme s různými přístupy a logick…“
- 19. 10. 2014, 18:15 rozdíl historie +57 Portál:Filosofie logiky
- 5. 10. 2014, 19:54 rozdíl historie +1 053 Portál:Filosofie logiky
- 5. 10. 2014, 18:37 rozdíl historie +1 695 N Portál:Filosofie logiky Založena nová stránka s textem „<br /><div class="otherHeadBox" style="background-color: #c0c0c0;"><center>'''Doporučená literatura'''</center></div><br />* HAACK Susan. ''Philosophy of…“
- 5. 10. 2014, 17:52 rozdíl historie +1 Portál:Modální logiky
- 5. 10. 2014, 17:51 rozdíl historie +3 Portál:Modální logiky
- 5. 10. 2014, 17:49 rozdíl historie +433 Portál:Modální logiky
- 5. 10. 2014, 17:35 rozdíl historie +396 Portál:Klasická logika
- 5. 10. 2014, 17:19 rozdíl historie +419 Portál:Teorie množin
- 5. 10. 2014, 17:14 rozdíl historie +570 Portál:Struktury a algebry
- 27. 9. 2014, 17:50 rozdíl historie +415 Booleova algebra
- 27. 9. 2014, 17:31 rozdíl historie -17 Portál:Struktury a algebry
- 27. 9. 2014, 17:15 rozdíl historie +4 Booleova algebra
- 27. 9. 2014, 17:13 rozdíl historie +358 Booleova algebra
- 27. 9. 2014, 16:57 rozdíl historie +80 Booleova algebra
- 27. 9. 2014, 16:48 rozdíl historie +1 006 Booleova algebra
- 25. 9. 2014, 22:52 rozdíl historie +2 Booleova algebra
- 25. 9. 2014, 22:51 rozdíl historie +1 761 N Booleova algebra Založena nová stránka s textem „Booleova algebra (BA), nazvaná podle irského matematika George Boolea, je '''struktura''' <math>\mathbb{B} = (B, \wedge, \vee, 1, 0, -)<…“
- 25. 9. 2014, 19:07 rozdíl historie +158 Portál:Struktury a algebry
- 21. 9. 2014, 21:57 rozdíl historie +7 Hilbertovský kalkul →Důkaz v H aktuální
- 21. 9. 2014, 21:57 rozdíl historie +28 Hilbertovský kalkul →Důkaz v H
- 21. 9. 2014, 21:56 rozdíl historie +1 185 Hilbertovský kalkul
- 15. 9. 2014, 13:53 rozdíl historie +664 Hilbertovský kalkul
- 15. 9. 2014, 13:34 rozdíl historie +41 Hilbertovský kalkul
- 15. 9. 2014, 13:30 rozdíl historie +2 370 N Hilbertovský kalkul Založena nová stránka s textem „'''Hilbertovský kalkulus''' (značme H) je axiomatický formální systém, pojmenovaný po významném německém matematikovi přelomu 19. a 20. stolet…“
- 14. 9. 2014, 20:53 rozdíl historie +332 Portál:Klasická logika
- 14. 9. 2014, 19:29 rozdíl historie +29 Bisimulace
- 10. 9. 2014, 14:04 rozdíl historie 0 Bisimulace
- 10. 9. 2014, 14:03 rozdíl historie +8 Bisimulace
- 10. 9. 2014, 14:00 rozdíl historie +243 Bisimulace
- 10. 9. 2014, 13:53 rozdíl historie +55 Bisimulace
- 10. 9. 2014, 13:51 rozdíl historie -1 Bisimulace
- 8. 9. 2014, 20:35 rozdíl historie 0 Bisimulace
- 8. 9. 2014, 19:54 rozdíl historie +1 713 N Bisimulace Založena nová stránka s textem „== Bisimulace == === Definice === Bisimulace je binární relace ekvivalence mezi dvěma sémantickými modely. <br /> Mějme dva Kripkovská sémanti…“
- 6. 9. 2014, 18:03 rozdíl historie -32 Portál:Logika
- 6. 9. 2014, 18:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 19:02 rozdíl historie +21 N Kategorie:Modální logiky Založena nová stránka s textem „ Kategorie:Logika“ aktuální
- 5. 9. 2014, 19:01 rozdíl historie +32 N Dynamická epistemická logika Založena nová stránka s textem „ Kategorie:Modální logiky“ aktuální
- 5. 9. 2014, 19:01 rozdíl historie 0 Portál:Modální logiky
- 5. 9. 2014, 18:46 rozdíl historie +623 Portál diskuse:Logika
- 5. 9. 2014, 16:15 rozdíl historie +256 Portál:Modální logiky
- 4. 9. 2014, 09:37 rozdíl historie +22 N Portál:Intuicionistická logika Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 09:36 rozdíl historie +22 N Kategorie:Logiky Založena nová stránka s textem „ Kategorie: Logika“ aktuální
- 4. 9. 2014, 09:35 rozdíl historie +23 N Portál:Klasická logika Založena nová stránka s textem „ Kategorie: Logiky“
- 4. 9. 2014, 09:34 rozdíl historie +21 N Portál:Dějiny logiky Založena nová stránka s textem „ Kategorie:Logiky“
- 4. 9. 2014, 09:03 rozdíl historie +2 Portál:Logika
- 4. 9. 2014, 08:58 rozdíl historie +52 Kategorie:Logika aktuální
- 4. 9. 2014, 08:57 rozdíl historie +23 N Portál:Struktury a algebry Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:55 rozdíl historie +23 N Portál:Analytická filosofie Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:54 rozdíl historie +23 N Kategorie:Logika Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:53 rozdíl historie +23 N Portál:Vyčíslitelnost Založena nová stránka s textem „ Kategorie: Logika“
- 4. 9. 2014, 08:53 rozdíl historie -2 Portál:Logika
- 4. 9. 2014, 08:42 rozdíl historie +25 N Portál:Teorie množin Založena nová stránka s textem „ T“
- 4. 9. 2014, 08:40 rozdíl historie +26 m Portál:Logika
- 4. 9. 2014, 08:39 rozdíl historie 0 m Portál:Modální logiky
- 4. 9. 2014, 08:38 rozdíl historie +25 N Portál:Modální logiky Založena nová stránka s textem „ *“
- 3. 9. 2014, 20:15 rozdíl historie +206 Portál:Logika