Shrnutí na Úvod do logiky

## Úvod Logika je věda o správném myšlení a o vztahu mezi výrazy, jejich významem a skutečností. Tento materiál představuje základy logiky, vysvětluje klíčové pojmy, rozdíly mezi druhy logiky a ukazuje praktické příklady, jak logika pomáhá v komunikaci, filozofii a vědě. ## Co je logika? > **Definice:** Logika je formální věda o správném usuzování a o pravidlech, kterými se z premis odvozují závěry. - Logika zkoumá, jak z předpokladů (premis) vzniká závěr. - V praxi slouží k tomu, abychom si vzájemně správně rozuměli a dokázali identifikovat chybná uvažování. ### Příklad jednoduchého usuzování - Premisa 1: Všichni lidé mají oči. - Premisa 2: Sokrates je člověk. - Závěr: Sokrates má oči. Další příklad: - Premisa 1: Všechny předměty podléhají gravitaci. - Premisa 2: Fix je předmět. - Závěr: Fix je vázán gravitací. ## Jazyk, smysl a denotát > **Definice:** Smysl je mentální obsah (obraz nebo myšlenka), který si vybavíme při vyslovení slova; denotát je to, co výraz přímo označuje ve skutečnosti. - Slova mohou mít široký nebo vícečetný smysl (např. "list" může znamenat část stromu nebo stránku v knize). - Denotát jedinečného jména je konkrétní objekt; denotát obecného jména je třída objektů; denotát výrokové věty je pravdivostní hodnota. Příklad: "ranní hvězda" a "večerní hvězda" vyvolají odlišné smysly, ale mohou mít stejný denotát (planeta Venuše). > Fregeho trojúhelník: znak → smysl → význam (reálná věc). Smysl je cesta, jak se dostaneme k významu. ## Druhy logiky | Druh logiky | Hlavní zaměření | Použití | | --- | --- | --- | | Formální logika | Studium stabilních struktur usuzování a formálních pravidel | Matematika, formální dokazování | | Neformální logika | Analýza argumentace v přirozeném jazyce s psychologickým pohledem | Debaty, kritické myšlení, rétorika | - Formální logika vytváří obecné vzorce myšlení, podle kterých odvozujeme závěry z premis. - Neformální logika hodnotí kvalitu argumentů a odhaluje chyby v běžné mluvě. V tomto materiálu se vyhýbáme detailnímu rozboru tematicky vyhrazeného obsahu "Logika výroků a argumentace" (ten je pokryt jinde). ## Běžné problémy v jazyce a uvažování - **Definice kruhem:** pojem je vysvětlen jiným pojmem, který se vrací k původnímu, takže nedojde k objasnění (např. "Štěstí je stav, kdy je člověk šťastný"). - **Vágnost:** nejasné hranice pojmů; pojmy jako "mladý" nebo "krátký film" nemají přesné hranice. Praktické důsledky: - Nejasnosti v pojmech vedou k nedorozuměním v diskuzích a při učebním procesu. - Proto je důležité definovat pojmy před diskuzí. Věděli jste, že jazyk přirozeně obsahuje spoustu vágních výrazů, proto právní a technické texty často obsahují přesné definice, aby se předešlo nejasnostem? Věděli jste, že jazyk přirozeně obsahuje spoustu vágních výrazů, proto právní a technické texty často obsahují přesné definice, aby se předešlo nejasnostem? ## Historie a významní autoři 1. Starověk - Kořeny logiky lze vystopovat u Eleatů (Parmenides, Zenón) a sofistů. Sofisté se soustředili na jazyk a přesvědčování. - Aristoteles (Organon) položil základy klasické logiky a představil sylogismus — odvozování jednoho výroku z dvou premis. 2. Hellenistická a římská doba - Stoikové (např. Chrýsippos) rozpracovali logiku spojek a výroků. 3. Středověk - William z Ockhamu — nominalismus a princip úspornosti zvaný Occamova břitva: upřednostňujme vysvětlení, která nepřidávají zbytečné předpoklady. - Příklad: mokrý stůl — pravděpodobnější je, že na něj někdo vylil vodu, než-li kvantová fluktuace v kuchyni. 4. Novověk - René Descartes — metodická skepsa, "Cogito, ergo sum"; snaha o jasné a zřetelné pravdy. 5. Moderní logika (přelom 19. a 20. století) - Gottlob Frege — zakladatel moderní formální logiky, analytické logiky. - Logický empirismus/novopozitivismus (Vídeňský kruh): zdůraznění faktů a formálních metod. - Bertrand Russell, Rudolf Carnap, Ludwig Wittgenstein — rozvoj symbolické logiky a pravdivostních tabulek. Fun fact: Gottlob Frege položil