Nástin logiky - Outline of logic
Logika je formální věda o používání důvod a je považována za větev obou filozofie a matematika a v menší míře počítačová věda. Logika zkoumá a klasifikuje strukturu výroků a argumentů, a to jak prostřednictvím studia formální systémy inference a studium argumentů v přirozený jazyk. Rozsah logiky proto může být velmi velký, od základních témat, jako je studium omyly a paradoxy, ke specializovaným analýzám uvažování jako např pravděpodobnost, správné uvažování a zahrnutí argumentů kauzalita. Jedním z cílů logiky je identifikovat správné (nebo platný ) a nesprávné (nebo klamný ) závěry. Logici studují kritéria pro hodnocení argumenty.
Základy logiky
- Analyticko-syntetický rozdíl
- Antinomie
- A priori a a posteriori
- Definice
- Popis
- Příjem
- Identita (filozofie)
- Odvození
- Logická forma
- Logické důsledky
- Logická pravda
- Logický důsledek
- název
- Nutnost
- Materiál podmíněný
- Význam (lingvistický)
- Význam (mimojazykový)
- Paradox (seznam )
- Možný svět
- Předpoklad
- Pravděpodobnost
- Kvantifikace
- Důvod
- Uvažování
- Odkaz
- Sémantika
- Přísně podmíněné
- Syntaxe (logika)
- Pravda
- Hodnota pravdy
- Platnost
Filozofická logika
Neformální logika a kritické myšlení
Neformální logikaKritické myšleníTeorie argumentace
- Argument
- Mapa argumentů
- Přesnost a preciznost
- Ad hoc hypotéza
- Dvojznačnost
- Analýza
- Útok na chybné odůvodnění
- Víra
- Předpojatost víry
- Zaujatost
- Kognitivní zaujatost
- Potvrzení zkreslení
- Důvěryhodnost
- Kritická pedagogika
- Kritické čtení
- Decidophobia
- Rozhodování
- Dispoziční a aktuální víra
- Emocionální uvažování
- Důkaz
- Expert
- Vysvětlení
- Vysvětlující síla
- Skutečnost
- Klam
- Myšlení vyššího řádu
- Poptávka
- Interpretační diskuse
- Narativní logika
- Occamova břitva
- Názor
- Praktický úsudek
- Přesné výslechy
- Propaganda
- Propagandistické techniky
- Opatrnost
- Pseudofilosofie
- Uvažování
- Relevantnost
- Rétorika
- Přísnost
- Sokratovské výslechy
- Důvěryhodnost zdroje
- Kritika zdroje
- Teorie ospravedlnění
- Aktuální logika
- Neurčitost
Deduktivní uvažování
Teorie dedukce
- Anti-psychologismus
- Konceptualismus
- Konstruktivismus
- Konvencionalismus
- Teorie protějšku
- Deflační teorie pravdy
- Dialetismus
- Fiktivní
- Formalismus (filozofie)
- Herní teorie
- Illuminationist filozofie
- Logický atomismus
- Logický holismus
- Logika
- Modální fikcionismus
- Nominalismus
- Teorie objektů
- Polylogismus
- Pragmatismus
- Preintuionismus
- Teorie důkazů
- Psychologie
- Ramismus
- Sémantická teorie pravdy
- Sofismus
- Maličkost
- Ultrafinitismus
Klamy
- Klam (seznam ) - nesprávná argumentace v uvažování vedoucí k mylné představě nebo domněnce. Nehodou nebo záměrem mohou klamy využít emoční spouštěče u posluchače nebo partnera (odvolání k emocím) nebo využít sociální vztahy mezi lidmi (např. Argument od autority). Klamné argumenty jsou často strukturovány pomocí rétorických vzorů, které zakrývají jakýkoli logický argument. Klam lze použít k získání argumentů bez ohledu na zásluhy. Existují desítky druhů omylů.
Formální logika
- Formální logika - Matematická logika, symbolická logika a formální logika jsou do značné míry, ne-li zcela synonymní. Základní vlastností tohoto pole je použití formální jazyky vyjádřit myšlenky, jejichž logická platnost se studuje.
Symboly a řetězce symbolů
Logické symboly
Logické spojky
- Konverzní implikace
- Konverzní neimplikace
- Exkluzivní nebo
- Logické NOR
- Logická biconditional
- Logická spojka
- Logická disjunkce
- Materiální implikace
- Zjednodušení materiálu
- Negace
- Shefferova mrtvice
 | ||
 Filozofický portál | ||
Řetězce symbolů
Druhy propozic
- Analytická nabídka
- Axiom
- Atomová věta
- Klauzule (logika)
- Podmíněná nabídka
- Rozpor
- Logická pravda
- Výrokový vzorec
- Pravidlo závěru
- Věta (matematická logika)
- Následující
- Prohlášení (logika)
- Tautologie
- Teorém
Pravidla odvození
- Dvoupodmínečná eliminace
- Dvojpodmínečný úvod
- Analýza případů
- Komutativita spojení
- Úvod do spojení
- Konstruktivní dilema
- Contraposition (tradiční logika)
- Konverze (logika)
- De Morganovy zákony
- Destruktivní dilema
- Odstranění disjunkce
- Úvod do disjunkce
- Disjunktivní úsudek
- Odstranění dvojí negace
- Zobecnění (logika)
- Hypotetický úsudek
- Zákon vyloučeného středu
- Zákon totožnosti
- Modus ponendo tollens
- Modus ponens
- Modus tollens
- Obversion
- Princip rozporu
- Rozlišení (logika)
- Zjednodušení
- Transpozice (logika)
Formální teorie
Výrazy v jazyce objektu
Výrazy v metajazyku
Výroková a logická logika
Výroková logika
- Absorpční zákon
- Klauzule (logika)
- Deduktivní uzavření
- Příjem
- Pravidlo formace
- Funkční úplnost
- Střední logika
- Doslovný (matematická logika)
- Logické pojivo
- Logický důsledek
- Negativní normální forma
- Otevřená věta
- Výrokový počet
- Výrokový vzorec
- Propoziční proměnná
- Pravidlo závěru
- Přísně podmíněné
- Substituční instance
- Pravdivá tabulka
- Logika nulového řádu
Logická logika
- Booleova algebra (seznam )
- Logická logika
- Booleova algebra (struktura)
- Booleovské algebry kanonicky definovány
- Úvod do booleovské algebry
- Kompletní booleovská algebra
- Zdarma booleovská algebra
- Monadická booleovská algebra
- Resolovaná booleovská algebra
- Dvouprvková booleovská algebra
- Modální algebra
- Derivační algebra (abstraktní algebra)
- Vztahová algebra
- Absorpční zákon
- Formální zákony
- De Morganovy zákony
- Algebraická normální forma
- Kanonická forma (booleovská algebra)
- Booleovský spojovací dotaz
- Booleovský model
- Booleovská doména
- Booleovský výraz
- Booleovský prsten
- Booleovská funkce
- Funkce s booleovskou hodnotou
- Paritní funkce
- Symetrická booleovská funkce
- Podmíněná disjunkce
- Pole množin
- Funkční úplnost
- Implicitně
- Logická abeceda
- Logická redundance
- Logické pojivo
- Logická matice
- Termín produktu
- Skutečně kvantifikovaný booleovský vzorec
- Pravdivá tabulka
Predikátová logika a vztahy
Predikátová logika
- Atomový vzorec
- Atomová věta
- Doména diskurzu
- Prázdná doména
- Rozšíření (predikátová logika)
- Logika prvního řádu
- Predikát prvního řádu
- Pravidlo formace
- Volné proměnné a vázané proměnné
- Zobecnění (logika)
- Monadický predikátový počet
- Predikát (matematická logika)
- Predikátová logika
- Proměnná predikátu
- Kvantifikace
- Predikát druhého řádu
- Věta (matematická logika)
- Univerzální instance
Vztahy
- Konečný vztah
- Antisymetrický vztah
- Asymetrický vztah
- Bijekce
- Bijekce, injekce a surjekce
- Binární relace
- Složení vztahů
- Vztah kongruence
- Konverzní vztah
- Coreflexivní vztah
- Krycí vztah
- Cyklický řád
- Hustý vztah
- Závislostní vztah
- Závislostní vztah
- Řízená sada
- Vztah ekvivalence
- Euklidovský vztah
- Homogenní vztah
- Idempotence
- Nepřenosnost
- Intuutivní vztah
- Vztah částečné ekvivalence
- Částečná funkce
- Částečně objednaná sada
- Předobjednávka
- Prewellordering
- Výroková funkce
- Kvazitranzitivní vztah
- Reflexivní vztah
- Surjektivní funkce
- Symetrický vztah
- Ternární vztah
- Celkový vztah
- Přechodný vztah
- Trichotomie (matematika)
- Opodstatněný vztah
Matematická logika
Teorie množin
- Aleph null
- Bijekce, injekce a surjekce
- Binární sada
- Cantorův diagonální argument
- Cantorův první důkaz nespočetnosti
- Cantorova věta
- Mohutnost kontinua
- Základní číslovka
- Kodoména
- Doplněk (teorie množin)
- Konstruktivní vesmír
- Hypotéza kontinua
- Počitatelná sada
- Rozhodnutelná sada
- Vyčíslitelná sada
- Nesouvislé sady
- Nespojitá unie
- Doména funkce
- Efektivní výčet
- Element (matematika)
- Prázdná funkce
- Prázdná sada
- Výčet
- Roztažnost
- Konečná sada
- Nutí (matematika)
- Funkce (teorie množin)
- Složení funkce
- Zobecněná hypotéza kontinua
- Sada indexů
- Nekonečná sada
- Intension
- Průnik (teorie množin)
- Inverzní funkce
- Velký kardinál
- Löwenheim – Skolemova věta
- Mapa (matematika)
- Multiset
- Morseova-Kelleyova teorie množin
- Naivní teorie množin
- Osobní korespondence
- Objednaný pár
- Rozdělení sady
- Špičatá sada
- Napájecí sada
- Projekce (teorie množin)
- Správná podmnožina
- Správná nadmnožina
- Rozsah funkce
- Russellův paradox
- Sekvence (matematika)
- Sada (matematika)
- Sada všech sad
- Jednoduché věty v algebře množin
- Singleton (matematika)
- Paradox Skolem
- Podmnožina
- Nadmnožina
- Tuple
- Nespočetná sada
- Unie (teorie množin)
- Von Neumann – Bernays – Gödel teorie množin
- Teorie množin Zermelo
- Teorie množin Zermelo – Fraenkel
Metalogic
Metalogic - Studie metateorie logiky.
- Úplnost (logika)
- Syntaxe (logika)
- Konzistence
- Rozhodnutelnost (logika)
- Deduktivní systém
- Výklad (logika)
- Cantorova věta
- Církevní věta
- Církevní teze
- Efektivní metoda
- Formální systém
- Gödelova věta o úplnosti
- Gödelova první věta o neúplnosti
- Gödelova druhá věta o neúplnosti
- Nezávislost (matematická logika)
- Logický důsledek
- Löwenheim – Skolemova věta
- Metajazyk
- Metasyntaktická proměnná
- Metatheorem
- Jazyk objektu
- Symbol (formální)
- Rozdíl mezi typem a tokenem
- Použití - uveďte rozdíl
- Dobře formulovaný vzorec
Teorie důkazů
Teorie důkazů - Studium deduktivní aparát.
- Axiom
- Deduktivní systém
- Formální důkaz
- Formální systém
- Formální věta
- Syntaktický důsledek
- Syntaxe (logika)
- Pravidla transformace
Teorie modelů
Teorie modelů - Studium interpretace formálních systémů.
- Výklad (logika)
- Logická platnost
- Nestandardní model
- Normální model
- Modelka
- Sémantický důsledek
- Hodnota pravdy
Teorie vypočítatelnosti
Teorie vypočítatelnosti - obor matematické logiky, který vznikl ve třicátých letech 20. století studiem vypočítatelných funkcí a Turingovy stupně. Tato oblast se rozrostla o studium všeobecné vypočítatelnosti a definovatelnosti. Základní otázky řešené teorií rekurze jsou: „Co to znamená, když lze vypočítat funkci z přirozených čísel na sebe?“ a "Jak lze nepočitatelné funkce klasifikovat do hierarchie na základě jejich úrovně nepočitatelnosti?". Odpovědi na tyto otázky vedly k bohaté teorii, která je stále aktivně zkoumána.
- Teorie alfa rekurze
- Aritmetická sada
- Církev – Turingova teze
- Logika vypočítatelnosti
- Vypočitatelná funkce
- Výpočet
- Rozhodovací problém
- Efektivní metoda
- Entscheidungsproblem
- Výčet
- Vynucení (teorie rekurze)
- Zastavení problému
- Dějiny církve - Turingova teze
- Lambda kalkul
- Seznam nerozhodnutelných problémů
- Problém s korespondencí
- Postova věta
- Primitivní rekurzivní funkce
- Rekurze (informatika)
- Rekurzivní jazyk
- Rekurzivní sada
- Rekurzivně vyčíslitelný jazyk
- Rekurzivně vyčíslitelná sada
- Redukce (teorie rekurze)
- Turingův stroj
Klasická logika
- Vlastnosti klasické logiky:
- Termínová logika
- Obecné pojmy v klasické logice
- Baralipton
- Baroko
- Bivalence
- Logická logika
- Funkce s booleovskou hodnotou
- Kategorická věta
- Rozdělení pojmů
- Konec termínu
- Enthymeme
- Okamžitý závěr
- Zákon protikladů
- Logické pojivo
- Hlavní termín
- Střednědobý termín
- Menší termín
- Organon
- Polysyllogismus
- Port-Royal Logic
- Předpoklad
- Předchozí analytika
- Relativní termín
- Paradox Soritů
- Náměstí opozice
- Součet logiky
- Sylogismus
- Tetralemma
- Funkce pravdy
Neklasická logika
- Afinní logika
- Hromadná logika
- Logika vypočítatelnosti
- Teorie rozhodování
- Logika popisu
- Deviantní logika
- Logika zdarma
- Fuzzy logika
- Herní teorie
- Intenzionální logika
- Intuicionistická logika
- Lineární logika
- Mnohocenná logika
- Minimální logika
- Non-monotónní logika
- Nekomutativní logika
- Parakonzistentní logika
- Teorie pravděpodobnosti
- Kvantová logika
- Logika relevance
- Přísná logika
- Substrukturální logika
Modální logika
Koncepty logiky
- Teorie důkazů
- Teorie množin
- Formální systém
- Booleova algebra
- Aristotelská logika
- Non-aristotelská logika
- Neformální logika
- Fuzzy logika
- Infinitární logika
- Kategorická logika
- Lineární logika
- Metalogic
- objednat
- Objednaná logika
- Časová logika
- Sekvenční logika
- Logika prokazatelnosti
- Kvantová logika
- Relevantní logika
- Důsledek
- Potvrzující důsledek
- Předchůdce
- Popření předchůdce
- Teorém
- Axiom
- Axiomatický systém
- Axiomatizace
- Podmíněný důkaz
- Neplatný důkaz
- Stupeň pravdy
- Pravda
- Podmínka pravdy
- Funkce pravdy
- Dvojitá negace
- Klam
- Teorie typů
- Herní teorie
- Sémantika hry
- Pravidlo závěru
- Postup odvození
- Pravidlo odvození
- Pravidlo úvodu
- Zákon vyloučeného středu
- Zákon o nerozporu
- Logická konstanta
- Logická brána
- Tautologie
- Logické tvrzení
- Logické podmíněné
- Logická biconditional
- Logická rovnocennost
- Logické AND
- Negace
- Logické NEBO
- Logické NAND
- Logické NOR
- Rozpor
- Logika
- Polysyllogismus
- Sylogismus
- Hypotetický úsudek
- Hlavní předpoklad
- Menší předpoklad
- Období
- Singulární termín
- Hlavní termín
- Střednědobý termín
- Kvantifikace
- Množné číslo
- Logický argument
- Inverzní (logika)
- Nenásledují
- Tolerance
- Splnitelnost
- Logický jazyk
- Paradox
- Polská notace
- Principia Mathematica
- Quod erat demonstrandum
- Reductio ad absurdum
- Rétorika
- Vlastní reference
- Nezbytné a dostatečné
- Dostatečný stav
- Nepředvídatelnost
- Occamova břitva
- Sokratovský dialog
- Sokratova metoda
- Argument
- Logické programování
- Unifikace
Historie logiky
Literatura o logice
Časopisy
Knihy
- Systém logiky
- Útok na chybné odůvodnění
- Begriffsschrift
- Kategorie (Aristoteles)
- Charles Sanders Peirce bibliografie
- De Interpretatione
- Gödel, Escher, Bach
- Úvod do matematické filozofie
- Jazyk, pravda a logika
- Formální zákony
- Novum Organum
- K formálně nerozhodnutelným návrhům Principia Mathematica a souvisejících systémů
- Organon
- Filozofie aritmetiky
- Polská logika
- Port-Royal Logic
- Zadní analýza
- Principia Mathematica
- Principy matematické logiky
- Předchozí analytika
- Rétorika (Aristoteles)
- Sofistikované vyvrácení
- Součet logiky
- Umění mít pravdu
- Základy aritmetiky
- Témata (Aristoteles)
- Tractatus Logico-Philosophicus
Logické organizace
Logici
Viz také
- Rejstřík logických článků
- Matematika
- Filozofie
- Nástin diskrétní matematiky - pro úvodní teorii množin a další podpůrný materiál
externí odkazy
- Taxonomie logických klamů
- forall x: úvod do formální logiky tím, že P.D. Magnus, zahrnuje sentenciální a kvantifikovanou logiku
- Tipy na překlad, autor Peter Suber, za překlad z angličtiny do logické notace
- Matematika a logika: Historie formálních matematických, logických, jazykových a metodologických myšlenek. v Slovník dějin myšlenek.
- Logický test Vyzkoušejte své logické dovednosti
- Logic Self-Taught: A Workbook (původně připraveno pro online logickou instrukci)
| Pole |
| ||||
|---|---|---|---|---|---|
| Nadace | |||||
| Seznamy |
| ||||