Logic

Logika je vědní obor, který se zabývá pravidly a principy platného uvažování a argumentace. Zkoumá strukturu a formu myšlenek, jak jsou vyjadřovány v jazyce, a to jak v přirozeném jazyce, tak v symbolických systémech. Logika se tradičně dělí na formální logiku, která se soustředí na strukturu argumentů, a neformální logiku, jež se zabývá běžnými argumentačními praktiky a chybami v uvažování. Mezi klíčové prvky logiky patří výrazy, výrokové a predikátové kalkuly, důkazy a logické systémy, jako je klasická, mnohohodnotová či intuitivní logika. Logika má zásadní význam nejen v filozofii a matematice, ale také v informatice, lingvistice a dalších vědních disciplínách, kde pomáhá vytvářet algoritmy a rozumět jazykovým strukturám. Historie logiky sahá až do starověkého Řecka, kdy ji systematizoval Aristoteles, a od té doby se její studium rozvíjelo napříč různými kulturními a intelektuálními tradicemi. V moderní době byl významný rozvoj logiky spojen s prací matematiků jako je Georg Cantor, Kurt Gödel a Alan Turing. Dnes je logika důležitým nástrojem pro analytické myšlení a kritickou analýzu.