Filmedy: Nahrazení textu „ *“ textem „**“

2025-06-03T03:05:25Z

Nahrazení textu „ *“ textem „**“

← Starší verze		Verze z 3. 6. 2025, 05:05
Řádek 30:		Řádek 30:
	* '''[[Argument (logika)\|Argument]]:''' Soubor předpokladů a závěru, které se snaží doložit pravdivost závěru.		* '''[[Argument (logika)\|Argument]]:''' Soubor předpokladů a závěru, které se snaží doložit pravdivost závěru.
	* '''[[Platnost (logika)\|Platnost]] (validita):''' Charakteristika argumentu, kdy z pravdivých předpokladů NUTNĚ vyplývá pravdivý závěr. Platnost je dána formou argumentu, nikoli jeho obsahem.		* '''[[Platnost (logika)\|Platnost]] (validita):''' Charakteristika argumentu, kdy z pravdivých předpokladů NUTNĚ vyplývá pravdivý závěr. Platnost je dána formou argumentu, nikoli jeho obsahem.
	* Příklad platného argumentu: "Všichni lidé jsou smrtelní. Sókratés je člověk. Tudíž Sókratés je smrtelný." (Závěr nutně vyplývá z předpokladů, bez ohledu na to, zda Sókratés skutečně existuje).		** Příklad platného argumentu: "Všichni lidé jsou smrtelní. Sókratés je člověk. Tudíž Sókratés je smrtelný." (Závěr nutně vyplývá z předpokladů, bez ohledu na to, zda Sókratés skutečně existuje).
	* '''[[Správnost (logika)\|Správnost]] (korektnost):''' Charakteristika argumentu, který je platný A zároveň mají jeho předpoklady pravdivostní hodnotu pravda. Správný argument má nutně pravdivý závěr.		* '''[[Správnost (logika)\|Správnost]] (korektnost):''' Charakteristika argumentu, který je platný A zároveň mají jeho předpoklady pravdivostní hodnotu pravda. Správný argument má nutně pravdivý závěr.
	* '''[[Indukce (logika)\|Indukce]]:''' Metoda usuzování, která z jednotlivých pozorování vyvozuje obecný závěr. Závěr je pravděpodobný, nikoli nutný.		* '''[[Indukce (logika)\|Indukce]]:''' Metoda usuzování, která z jednotlivých pozorování vyvozuje obecný závěr. Závěr je pravděpodobný, nikoli nutný.
Řádek 39:		Řádek 39:
	1. '''[[Formální logika]]:'''		1. '''[[Formální logika]]:'''
	Zabývá se strukturou a formou argumentů. Jejím cílem je vytvořit systémy, které umožní ověřit platnost argumentů nezávisle na jejich obsahu. Využívá [[symbolika\|symboly]] a [[matematika\|matematické]] zápisy k reprezentaci logických vztahů. Dělí se na:		Zabývá se strukturou a formou argumentů. Jejím cílem je vytvořit systémy, které umožní ověřit platnost argumentů nezávisle na jejich obsahu. Využívá [[symbolika\|symboly]] a [[matematika\|matematické]] zápisy k reprezentaci logických vztahů. Dělí se na:
	* '''[[Výroková logika]]:''' Zabývá se vztahy mezi celými výroky, které jsou považovány za nedělitelné jednotky (buď pravda, nebo nepravda). Používá logické spojky (a, nebo, jestliže... pak, ne).		** '''[[Výroková logika]]:''' Zabývá se vztahy mezi celými výroky, které jsou považovány za nedělitelné jednotky (buď pravda, nebo nepravda). Používá logické spojky (a, nebo, jestliže... pak, ne).
	* '''[[Predikátová logika]]:''' Rozšiřuje výrokovou logiku a analyzuje vnitřní strukturu výroků, včetně [[predikát (logika)\|predikátů]] a [[kvantifikátor (logika)\|kvantifikátorů]] (pro všechny, existuje alespooň jeden).		** '''[[Predikátová logika]]:''' Rozšiřuje výrokovou logiku a analyzuje vnitřní strukturu výroků, včetně [[predikát (logika)\|predikátů]] a [[kvantifikátor (logika)\|kvantifikátorů]] (pro všechny, existuje alespooň jeden).

	2. '''[[Neformální logika]]:'''		2. '''[[Neformální logika]]:'''

Filmedy: založena nová stránka s textem „{{K rozšíření}} {{Infobox Vědecká disciplína | Název = Logika | Obor = Filozofie, Matematika, Informatika, Lingvistika | Předmět studia = Úsudky, argumentace, inference, pravdivost | Hlavní obory = Formální logika, Neformální logika, Matematická logika, Filozofická logika | Historické etapy = Starověká logika (Aristotelés), Středověká logika, Moderní logika (…“

2025-05-30T23:17:55Z

založena nová stránka s textem „{{K rozšíření}} {{Infobox Vědecká disciplína | Název = Logika | Obor = Filozofie, Matematika, Informatika, Lingvistika | Předmět studia = Úsudky, argumentace, inference, pravdivost | Hlavní obory = Formální logika, Neformální logika, Matematická logika, Filozofická logika | Historické etapy = Starověká logika (Aristotelés), Středověká logika, Moderní logika (…“

Nová stránka

{{K rozšíření}}
{{Infobox Vědecká disciplína
| Název = Logika
| Obor = [[Filozofie]], [[Matematika]], [[Informatika]], [[Lingvistika]]
| Předmět studia = [[Úsudek|Úsudky]], [[argumentace]], [[inference]], [[pravdivost]]
| Hlavní obory = [[Formální logika]], [[Neformální logika]], [[Matematická logika]], [[Filozofická logika]]
| Historické etapy = [[Starověká logika]] (Aristotelés), [[Středověká logika]], [[Moderní logika]] (Boole, Frege, Russell)
| Používané metody = Analýza jazyka, symbolické zápisy, formální systémy, důkazy
| Klíčové pojmy = [[Předpoklad (logika)|Předpoklad]], [[Závěr (logika)|závěr]], [[platnost (logika)|platnost]], [[správnost (logika)|správnost]], [[kauzalita|kauzalita]], [[modus ponens]], [[modus tollens]]
| Představitelé = [[Aristotelés]], [[Gottlob Frege]], [[Bertrand Russell]], [[Alfred Tarski]], [[Kurt Gödel]]
}}

'''Logika''' (z [[řečtina|řeckého]] ''logos'' – slovo, řeč, rozum, zákon, smysl) je [[vědecká disciplína|vědní disciplína]], která se zabývá [[úsudek|úsudky]], [[argumentace|argumentací]] a [[inference|inferencí]] (vyvozováním závěrů z předpokladů). Jejím hlavním cílem je studium správných (platných) forem [[usuzování]], bez ohledu na konkrétní obsah daných tvrzení. Logika se snaží odhalit principy, na jejichž základě lze rozlišit platné [[argumentace|argumenty]] od neplatných.

Jako taková je [[logika]] základem [[racionální myšlení|racionálního myšlení]] a má klíčovou roli v mnoha dalších oborech, jako je [[filozofie]], [[matematika]], [[informatika]] a [[lingvistika]].

== Historie logiky ==
Vývoj logiky má dlouhou a bohatou historii, sahající až do [[starověk]]:

* '''[[Starověká logika]]:''' Za zakladatele formální logiky je považován [[Aristotelés]] (4. stol. př. n. l.), jehož dílo ''Organon'' systematizovalo [[Sylogismus|sylogismy]] a zavedlo principy [[predikátová logika|predikátové logiky]]. Další významné příspěvky pocházejí od [[stoicismus|stoiků]] (výroková logika) a v [[Indie|Indii]] a [[Čína|Číně]] se také rozvíjely nezávislé logické tradice.
* '''[[Středověká logika]]:''' V [[středověk|středověku]] logika navazovala na Aristotelovo dílo, ale byla rozvíjena i v [[islámský svět|islámském]] a [[Evropa|evropském]] kontextu (např. [[scholastika]]). Byly rozpracovány otázky [[modalita|modality]], [[implikace|implikace]] a sémantiky.
* '''[[Moderní logika]]:''' Přelom nastal v [[19. století]] s prací [[George Boole|George Boolea]], který položil základy [[symbolická logika|symbolické logiky]] a zavedl [[algebra|algebraický]] přístup. Klíčový byl pak [[Gottlob Frege]] koncem 19. století, který vytvořil moderní [[formální logika|formální logiku]] a zavedl kvantifikátory. Ve [[20. století]] k rozvoji přispěli např. [[Bertrand Russell]], [[Alfred Tarski]] nebo [[Kurt Gödel]], kteří se zabývali [[matematická logika|matematickými základy logiky]] a jejími [[úplnost (logika)|limity]].

== Základní pojmy logiky ==
Logika pracuje s řadou klíčových pojmů:

* '''[[Tvrzení (logika)|Tvrzení]] (propozice):''' Výrok, který může být buď [[pravda|pravdivý]], nebo [[nepravda|nepravdivý]].
* '''[[Předpoklad (logika)|Předpoklad]] (premisa):''' Tvrzení, které slouží jako východisko pro vyvozování závěru.
* '''[[Závěr (logika)|Závěr]] (konkluze):''' Tvrzení, které je odvozeno z předpokladů.
* '''[[Argument (logika)|Argument]]:''' Soubor předpokladů a závěru, které se snaží doložit pravdivost závěru.
* '''[[Platnost (logika)|Platnost]] (validita):''' Charakteristika argumentu, kdy z pravdivých předpokladů NUTNĚ vyplývá pravdivý závěr. Platnost je dána formou argumentu, nikoli jeho obsahem.
* Příklad platného argumentu: "Všichni lidé jsou smrtelní. Sókratés je člověk. Tudíž Sókratés je smrtelný." (Závěr nutně vyplývá z předpokladů, bez ohledu na to, zda Sókratés skutečně existuje).
* '''[[Správnost (logika)|Správnost]] (korektnost):''' Charakteristika argumentu, který je platný A zároveň mají jeho předpoklady pravdivostní hodnotu pravda. Správný argument má nutně pravdivý závěr.
* '''[[Indukce (logika)|Indukce]]:''' Metoda usuzování, která z jednotlivých pozorování vyvozuje obecný závěr. Závěr je pravděpodobný, nikoli nutný.
* '''[[Dedukce (logika)|Dedukce]]:''' Metoda usuzování, která z obecných předpokladů vyvozuje konkrétní závěr. Závěr je nutný.

== Hlavní odvětví logiky ==

1. '''[[Formální logika]]:'''
Zabývá se strukturou a formou argumentů. Jejím cílem je vytvořit systémy, které umožní ověřit platnost argumentů nezávisle na jejich obsahu. Využívá [[symbolika|symboly]] a [[matematika|matematické]] zápisy k reprezentaci logických vztahů. Dělí se na:
* '''[[Výroková logika]]:''' Zabývá se vztahy mezi celými výroky, které jsou považovány za nedělitelné jednotky (buď pravda, nebo nepravda). Používá logické spojky (a, nebo, jestliže... pak, ne).
* '''[[Predikátová logika]]:''' Rozšiřuje výrokovou logiku a analyzuje vnitřní strukturu výroků, včetně [[predikát (logika)|predikátů]] a [[kvantifikátor (logika)|kvantifikátorů]] (pro všechny, existuje alespooň jeden).

2. '''[[Neformální logika]]:'''
Studuje argumenty tak, jak se objevují v [[přirozený jazyk|přirozeném jazyce]]. Zaměřuje se na analýzu [[rétorika|rétoriky]], [[Logický klam|logických klamů]] a přesvědčivosti argumentů v každodenním [[komunikace|komunikaci]].

3. '''[[Matematická logika]]:'''
Obor, který se pohybuje na pomezí [[matematika|matematiky]] a logiky. Zkoumá formální systémy, [[teorie důkazu|teorie důkazu]], [[teorie modelů]], [[teorie vyčíslitelnosti]] a základy matematiky.

4. '''[[Filozofická logika]]:'''
Aplikuje logické metody na řešení filozofických problémů, jako jsou otázky [[pravda|pravdy]], [[existence]], [[modalita|modality]] (nutnost, možnost), [[časová logika|časových aspektů]] a [[epistemologie|poznání]].

== Aplikace logiky ==
Logika má široké uplatnění v různých oblastech:

* '''[[Filozofie]]:''' Základní nástroj pro kritické myšlení, analýzu pojmů a konstrukci [[filozofický systém|filozofických systémů]].
* '''[[Matematika]]:''' Logika je jejím pilířem; zajišťuje konzistenci a správnost důkazů.
* '''[[Informatika]]:''' Neoddělitelná součást [[programování]], [[umělá inteligence|umělé inteligence]], [[databáze|databázových systémů]] a [[digitální elektronika|digitální elektroniky]].
* '''[[Lingvistika]]:''' Pomáhá analyzovat strukturu [[přirozený jazyk|přirozených jazyků]] a významové vztahy.
* '''[[Právo]]:''' Uplatňuje se při interpretaci zákonů, vytváření právních argumentů a hodnocení důkazů.
* '''[[Věda]]:''' Klíčová pro formulaci hypotéz, navrhování experimentů, analýzu dat a vyvozování platných závěrů.

== Pro laiky ==
Představte si, že jste [[detektiv]] a snažíte se zjistit, jestli je něco pravda. Když někdo řekne: "Dneska pršelo a tráva je mokrá," a vy víte, že "když prší, tráva je mokrá," tak z toho můžete logicky usoudit, že to, co řekl, dává [[smysl]].

'''Logika''' je taková "pravidla hry" pro naše [[myšlení]]. Je to věda o tom, jak správně uvažovat, abychom z toho, co už víme, vyvodili něco nového a pravdivého. Logika nám pomáhá poznat, jestli naše [[úsudek|úsudky]] "sedí" a jestli se nám v tom, co si myslíme, neobjevují nějaké [[chyba|chyby]].

Nezajímá ji, jestli něco je ve skutečnosti pravda (to je práce jiných věd), ale zajímá ji, jestli to, co říkáme, na sebe logicky navazuje. Třeba:
* Všichni [[pes|psi]] štěkají.
* [[Alík]] je pes.
* Takže Alík štěká.

Tohle je logicky '''platné''' (správné) uvažování, i když by Alík byl třeba [[ryba]] a ne pes. Logika se dívá jen na tu "formu", na to, jak na sebe věty navazují. Kdyby Alík byl pes, a my bychom věděli, že předpoklady jsou pravdivé, pak by byl celý úsudek '''správný'''.

Logika je důležitá, protože nám pomáhá myslet jasně, rozpoznat [[podvod|klamné argumenty]] a dělat lepší [[rozhodnutí]]. Je to takový náš [[kompas]] v džungli [[informace|informací]].

== Externí odkazy ==
* [https://cs.wikipedia.org/wiki/Logika Logika na české Wikipedii]
* [https://plato.stanford.edu/entries/logic-ancient/ Starověká logika na Stanford Encyclopedia of Philosophy (anglicky)]
* [https://www.britannica.com/science/logic Logika na Britannica.com (anglicky)]
* [https://www.mathsisfun.com/logic/introduction.html Úvod do logiky (anglicky, pro začátečníky)]

[[Kategorie:Logika]]
[[Kategorie:Filozofie]]
[[Kategorie:Matematika]]
[[Kategorie:Teorie poznání]]
[[Kategorie:Vědecká metoda]]
[[Kategorie:Abstraktní vědy]]

Logika - Historie editací

Filmedy: Nahrazení textu „ *“ textem „**“