Příspěvky uživatele
- 17. 3. 2015, 22:03 rozdíl historie +106 Pravdivost →Závětná teorie
- 17. 3. 2015, 21:58 rozdíl historie +237 Pravdivost →Deflační teorie pravdy
- 17. 3. 2015, 21:51 rozdíl historie +27 Pravdivost →Tarského sémantická teorie pravdy
- 17. 3. 2015, 21:50 rozdíl historie -1 Pravdivost →Korespondenční teorie pravdy
- 17. 3. 2015, 21:49 rozdíl historie +337 Pravdivost →Inflační teorie pravdy
- 17. 3. 2015, 21:28 rozdíl historie +84 Pravdivost →Inflační teorie pravdy
- 29. 1. 2015, 22:01 rozdíl historie +329 Pravdivost
- 27. 1. 2015, 23:05 rozdíl historie 0 Pravdivost
- 27. 1. 2015, 21:54 rozdíl historie +421 Pravdivost
- 19. 1. 2015, 21:18 rozdíl historie +1 Nutná pravda →Alfred Jules Ayer
- 19. 1. 2015, 00:05 rozdíl historie +56 Uživatel:Veronika.Kovrzkova aktuální
- 18. 1. 2015, 23:09 rozdíl historie +1 Možné světy →Teorie counterpartů
- 18. 1. 2015, 23:02 rozdíl historie +3 Problémy klasické logiky →Alternativní přístupy
- 18. 1. 2015, 23:00 rozdíl historie +817 Problémy klasické logiky
- 18. 1. 2015, 22:56 rozdíl historie -164 Problémy klasické logiky →Dispoziční vlastnosti
- 18. 1. 2015, 22:46 rozdíl historie +557 Problémy klasické logiky
- 18. 1. 2015, 22:29 rozdíl historie +2 091 Problémy klasické logiky
- 7. 1. 2015, 08:24 rozdíl historie +8 Portál:Filosofie logiky aktuální
- 7. 1. 2015, 08:23 rozdíl historie +8 Portál:Logika/Filosofie logiky
- 11. 12. 2014, 23:37 rozdíl historie +5 022 N Možné světy Založena nová stránka s textem „Pojem možného světa se v logice vyskytuje již ve scholastice, dále se s ním setkáváme například u Leibnize,…“
- 11. 12. 2014, 22:40 rozdíl historie +46 Portál:Filosofie logiky
- 11. 12. 2014, 22:39 rozdíl historie +46 Portál:Logika/Filosofie logiky
- 11. 12. 2014, 22:24 rozdíl historie +101 Vyplývání
- 11. 12. 2014, 22:17 rozdíl historie +219 Vyplývání →Definice logického vyplývání
- 11. 12. 2014, 22:04 rozdíl historie -1 Wikisofia:Kontakt
- 11. 12. 2014, 22:03 rozdíl historie -229 Uživatel:Veronika.Kovrzkova
- 11. 12. 2014, 22:01 rozdíl historie +821 N Uživatel:Veronika.Kovrzkova Založena nová stránka s textem „<nowiki>'''</nowiki>Veronika Kovrzková<nowiki>'''</nowiki> je studentka třetího ročníku Logiky na FF UK a správce tohoto oboru na WikiSofii. <nowiki…“ Značka: editace z Vizuálního editoru
- 10. 12. 2014, 16:15 rozdíl historie +21 Booleova algebra →Dualita operací aktuální
- 10. 12. 2014, 16:11 rozdíl historie -1 Grellingův paradox
- 9. 12. 2014, 23:18 rozdíl historie +18 Portál:Vyčíslitelnost aktuální
- 9. 12. 2014, 23:17 rozdíl historie +455 Portál:Vyčíslitelnost
- 9. 12. 2014, 23:17 rozdíl historie +12 Portál:Logika/Vyčíslitelnost aktuální
- 9. 12. 2014, 23:16 rozdíl historie +460 N Portál:Logika/Vyčíslitelnost Založena nová stránka s textem „* Algoritmus* Věta o rekurzi | Riceova věta* Rekurzívní funkce | Rekurzívně spočetná množina | Ordinální rekurze* Výv…“
- 9. 12. 2014, 23:08 rozdíl historie +274 Portál:Struktury a algebry aktuální
- 9. 12. 2014, 23:07 rozdíl historie +273 Portál:Logika/Struktury a algebry aktuální
- 9. 12. 2014, 23:01 rozdíl historie +419 Portál:Teorie množin aktuální
- 9. 12. 2014, 22:57 rozdíl historie +419 Portál:Logika/Teorie množin aktuální
- 9. 12. 2014, 22:52 rozdíl historie +519 N Portál:Logika/Analytická filosofie Založena nová stránka s textem „* Externalismus | Internalismus | Individualismus * Teorie reference | Teorie významu | Teorie interpretace | Teorie mluvních a…“ aktuální
- 9. 12. 2014, 22:19 rozdíl historie +29 Portál:Logika
- 9. 12. 2014, 22:07 rozdíl historie +270 N Portál:Logika/Struktury a algebry Založena nová stránka s textem „* Izomorfismus | Homomorfismus * Grupa | Okruh | Těleso * Filtr | Ideál * Svaz | Booleova algebra * Lindenbaum-Tars…“
- 9. 12. 2014, 22:05 rozdíl historie +13 N Portál:Logika/Teorie množin Založena nová stránka s textem „* Forcing“
- 9. 12. 2014, 22:04 rozdíl historie 0 Portál:Filosofie logiky
- 9. 12. 2014, 22: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, 22: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, 21: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, 21:58 rozdíl historie +201 Portál:Klasická logika aktuální
- 9. 12. 2014, 21:49 rozdíl historie +3 493 Portál:Logika
- 8. 12. 2014, 22:11 rozdíl historie +680 Vyplývání
- 4. 12. 2014, 23:27 rozdíl historie -8 Vyplývání →Syntaktická definice
- 4. 12. 2014, 23:25 rozdíl historie +2 Vyplývání →Tarského modelově teoretická definice