Příspěvky uživatele
- 9. 12. 2014, 23:05 rozdíl historie +13 N Portál:Logika/Teorie množin Založena nová stránka s textem „* Forcing“
- 9. 12. 2014, 23:04 rozdíl historie 0 Portál:Filosofie logiky
- 9. 12. 2014, 23:04 rozdíl historie +224 N Portál:Logika/Filosofie logiky Založena nová stránka s textem „* Úvod do filosofie logiky * Výrazy ve větě * Pravdivost | Nutná pravda * Paradoxy ** Paradox lháře | [[Grellingův paradox]…“
- 9. 12. 2014, 23:00 rozdíl historie +255 N Portál:Logika/Modální logiky Založena nová stránka s textem „* Kripkovská sémantika * Dynamická epistemická logika | Logika veřejných vyhlášení * Kanonický model * Bisimulace | Emulace…“ aktuální
- 9. 12. 2014, 22:58 rozdíl historie +534 N Portál:Logika/Klasická logika Založena nová stránka s textem „* Tautologie | Substituce * Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce * [[Věta o úplnosti]…“ aktuální
- 9. 12. 2014, 22:58 rozdíl historie +201 Portál:Klasická logika aktuální
- 9. 12. 2014, 22:49 rozdíl historie +3 493 Portál:Logika
- 8. 12. 2014, 23:11 rozdíl historie +680 Vyplývání
- 5. 12. 2014, 00:27 rozdíl historie -8 Vyplývání →Syntaktická definice
- 5. 12. 2014, 00:25 rozdíl historie +2 Vyplývání →Tarského modelově teoretická definice
- 5. 12. 2014, 00:24 rozdíl historie +2 039 Vyplývání
- 4. 12. 2014, 23:35 rozdíl historie +1 688 N Vyplývání Založena nová stránka s textem „Jde o něco, co je lidem vlastní už od dětství, není potřeba jej studovat. Existuje intuitivní logické vyplývání. Logika si klade za cíl poskyt…“
- 4. 12. 2014, 23:27 rozdíl historie +19 Portál:Filosofie logiky
- 4. 12. 2014, 23:24 rozdíl historie +632 Paradoxy →Diagonální metoda
- 4. 12. 2014, 23:00 rozdíl historie +1 239 Paradoxy →Diagonalizační metoda
- 4. 12. 2014, 22:24 rozdíl historie -3 Paradoxy →Grellingův paradox
- 4. 12. 2014, 22:23 rozdíl historie +82 Paradoxy →Grellingův paradox
- 4. 12. 2014, 22:15 rozdíl historie +1 550 Paradoxy →Grellingův paradox
- 3. 12. 2014, 22:43 rozdíl historie +20 N Kategorie:Vyčíslitelnost Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 22:42 rozdíl historie +20 N Kategorie:Teorie množin Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 22:42 rozdíl historie +20 N Kategorie:Analytická filosofie Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 22:41 rozdíl historie +20 N Kategorie:Klasická logika Založena nová stránka s textem „Kategorie:Logika“ aktuální
- 3. 12. 2014, 22:41 rozdíl historie 0 Kategorie:Filosofie logiky aktuální
- 3. 12. 2014, 22:39 rozdíl historie +11 Portál:Klasická logika
- 3. 12. 2014, 22:29 rozdíl historie 0 Portál:Intuicionistická logika aktuální
- 3. 12. 2014, 22:29 rozdíl historie -2 Portál:Modální logiky aktuální
- 3. 12. 2014, 22:28 rozdíl historie 0 Portál:Klasická logika
- 3. 12. 2014, 22:27 rozdíl historie +180 Portál:Logika/Specializace aktuální
- 2. 12. 2014, 20:51 rozdíl historie +12 Portál:Filosofie logiky
- 2. 12. 2014, 20:50 rozdíl historie -189 Portál:Logika
- 2. 12. 2014, 20:49 rozdíl historie +397 N Portál:Logika/Specializace Založena nová stránka s textem „<div style="width: 51%; float: left"> * Logiky * Dějiny logiky * Portál:Analytická filosofie|Analytická…“
- 2. 12. 2014, 20:45 rozdíl historie -223 Portál:Logika
- 2. 12. 2014, 20:42 rozdíl historie +223 Portál:Logika
- 2. 12. 2014, 20:33 rozdíl historie 0 Portál:Dějiny logiky aktuální
- 2. 12. 2014, 20:32 rozdíl historie +30 Portál:Logika
- 2. 12. 2014, 20:28 rozdíl historie 0 Portál:Logika/Všeobecné informace aktuální
- 2. 12. 2014, 20:28 rozdíl historie +228 N Portál:Logika/Všeobecné informace Založena nová stránka s textem „<div style="width: 51%; float: left"> * [http://logika.ff.cuni.cz/ Katedra Logiky FF UK] </div> <div style="width: 45%; float: left"> * [http://www.phil.mu…“
- 2. 12. 2014, 20:17 rozdíl historie +803 Portál:Logika
- 23. 11. 2014, 18:43 rozdíl historie -15 Nutná pravda
- 23. 11. 2014, 18:35 rozdíl historie +265 Pravdivost
- 23. 11. 2014, 18:18 rozdíl historie +36 Výrazy ve větě →Logické konstanty
- 23. 11. 2014, 18:13 rozdíl historie +67 Výrazy ve větě →Sloveso být
- 23. 11. 2014, 18:09 rozdíl historie +36 Výrazy ve větě →Obecné výrazy
- 23. 11. 2014, 18:06 rozdíl historie +16 Výrazy ve větě →Obecné výrazy
- 23. 11. 2014, 18:03 rozdíl historie +102 Výrazy ve větě →Vlastní jména
- 23. 11. 2014, 18:01 rozdíl historie +67 Výrazy ve větě →Určité popisy
- 23. 11. 2014, 17:58 rozdíl historie +12 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 23. 11. 2014, 17:58 rozdíl historie +27 Úvod do filosofie logiky →Subjekt predikátová forma věty
- 23. 11. 2014, 17:54 rozdíl historie +92 Úvod do filosofie logiky →Předmět logiky
- 23. 11. 2014, 17:50 rozdíl historie +29 Úvod do filosofie logiky →Myšlení
- 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