Důkaz je v matematice ukázka toho, že za předpokladu určitých axiomů je nějaké tvrzení nutně pravdivé. Předpokládané axiomy jsou ZFC, pokud není uvedeno jinak. Důkazy používají logiku, ale obvykle zahrnují určité množství přirozeného jazyka, který samozřejmě připouští určitou nejednoznačnost. Ve skutečnosti lze drtivou většinu důkazů v písemné matematice považovat za aplikace neformální logiky. Čistě formální […]
Inteligentní výukový systém (ITS) je počítačový systém, jehož cílem je poskytovat studentům okamžitou a přizpůsobenou výuku nebo zpětnou vazbu, obvykle bez zásahu lidského učitele. Společným cílem ITS je umožnit učení smysluplným a efektivním způsobem s využitím různých výpočetních technologií. Existuje mnoho příkladů, kdy jsou ITS využívány jak ve formálním vzdělávání, tak v profesionálním prostředí, ve
Inteligentní výukový systém Read More »
Existenciální graf je typ diagramatického nebo vizuálního zápisu pro logické výrazy, navržený Charlesem Sandersem Peircem, který napsal svou první práci o grafické logice v roce 1882 a pokračoval ve vývoji této metody až do své smrti v roce 1914. Peirce navrhl tři systémy existenčních grafů: Alfa hnízdí v beta a gama. Beta nehnízdí v gama,
Fuzzy pojem je pojem, jehož obsah, hodnota nebo hranice použití se mohou lišit podle kontextu nebo podmínek, místo toho, aby byly jednou provždy dané. Obvykle to znamená, že pojem je vágní, postrádá pevný, přesný význam, aniž by však byl zcela bezvýznamný. Má význam, nebo spíše více významů (má různé sémantické asociace). Ty se však mohou
Princip distributivity říká, že algebraické distribuční právo je platné pro klasickou logiku, kde logická konjunkce i logická disjunkce jsou nad sebou distribuovány. Princip je platný v klasické logice, ale neplatný v kvantové logice. Článek Je logika empirická? pojednává o tom, že kvantová logika je správná logika, a to na základě toho, že princip distributivity je
Shadows of the Mind: A Search for the Missing Science of Consciousness (Stíny mysli: Hledání chybějící vědy vědomí) je kniha matematického fyzika Rogera Penrose z roku 1994, která navazuje na jeho knihu The Emperor’s New Mind: Concerning Computers, Minds and The Laws of Physics z roku 1989. V knize Penrose vykládá svá předchozí tvrzení, že
Shadows of the Mind: A Search for the Missing Science of Consciousness Read More »
Intuice je kognitivní proces, který má mnoho souvisejících významů, včetně: Sloveso intuit znamená uchopit intuicí. Intuice je transintelektuální, zatímco instinkt je předintelektuální. Intuice jako forma poznání Intuice je nevědomá forma poznání. Je okamžitá a často není otevřená racionálním/analytickým myšlenkovým procesům. Racionalizace intuice a vývoj řetězce logiky, který by strukturálněji demonstroval, proč je platná, může následovat
V historii logiky hraje logika v Číně obzvláště zajímavou roli díky své délce a relativní izolaci od silného proudu vývoje studia logiky v Evropě a islámském světě, i když může mít určitý vliv z indické logiky kvůli šíření buddhismu. Během císařské éry Číny vytvořily dvě filosofie konfucianismu a legialismu mimořádně pokrokovou a efektivní formu vlády.
V článku kritickém k analytickému marxismu Jona Elstera Mandel vysvětluje myšlenku následovně: Dialektický determinismus na rozdíl od mechanického nebo formálně-logického determinismu je také parametrickým determinismem; umožňuje vyznavači historického materialismu pochopit skutečné místo lidského konání ve způsobu, jakým se odvíjí historický proces, a ve způsobu, jakým se rozhoduje o výsledku společenských krizí. Muži a ženy si
Parametrický determinismus Read More »
Jiný význam pojmu hypotéza se používá ve formální logice, k označení předposlední hodnoty tvrzení; tedy v tvrzení „Jestliže P, pak Q“, P označuje hypotézu (nebo předposlední); Q může být nazýváno následným. P je předpoklad v (případně hypotetické) otázce „Co když“. Přídavné jméno hypotetické, které znamená „mít povahu hypotézy“ nebo „předpokládat, že existuje jako bezprostřední důsledek