Portál:Logika

Otevřít všechny portály

otevřít editovat

Oborové disciplíny

• Klasická logika
• Modální logiky
• Intuicionistická logika
• Dějiny logiky
• Filosofie logiky

• Analytická filosofie
• Teorie množin
• Vyčíslitelnost
• Struktury a algebry

otevřít editovat

Klasická logika

• Tautologie | Substituce
• Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce
• Věta o úplnosti | Věta o dedukci | Věta o kompaktnosti
• Normální formy formule | Eliminace kvantifikátorů
• Lindenbaumovo lemma
• Lemma o konstantách
• Axiomatická teorie | Henkinovská teorie
• Schéma specifikace
• Robinsonova aritmetika | Peanova aritmetika
• Rosserova věta | První Gödelova věta a Druhá Gödelova věta

otevřít editovat

Intuicionistická logika

otevřít editovat

Filosofie logiky

• Úvod do filosofie logiky
• Výrazy ve větě
• Pravdivost | Nutná pravda
• Paradoxy
  • Paradox lháře | Grellingův paradox | Russellův paradox | Cantorův paradox
• Vyplývání
• Možné světy
• Problémy klasické logiky

otevřít editovat

Teorie množin

• Axiomy teorie množin
• Cantorova věta | Cantor-Bernsteinova věta
• Axiom výběru | Princip maximality | Princip dobrého uspořádání
• Transfinitní indukce | Fundované univerzum
• Ordinální čísla | Ordinální aritmetika
• Kardinální čísla | Kardinální aritmetika
• Hypotéza kontinua
• Regulární a singulární kardinály | Kofinalita
• Forcing

otevřít editovat

Modální logiky

• Kripkovská sémantika
• Dynamická epistemická logika | Logika veřejných vyhlášení
• Kanonický model
• Bisimulace | Emulace
• Minimální normální modální logika
• Logika S5 | Logika C
• Logika otázek

otevřít editovat

Dějiny logiky

otevřít editovat

Analytická filosofie

• Externalismus | Internalismus | Individualismus
• Teorie reference | Teorie významu | Teorie interpretace | Teorie mluvních aktů
• Gottlob Frege
• Bertrand Russell
  • Teorie přímé reference
• Peter Strawson | Keith Donnellan
  • Teorie deskripcí
• Saul Kripke
  • Kauzální teorie vlastních jmen
• John Searle | Hillary Putnam | Tyler Burge | Donald Davidson | Akeel Bilgrami | Paul Grice | Willard Quine | John Austin

otevřít editovat

Vyčíslitelnost

• Algoritmus
• Věta o rekurzi | Riceova věta
• Rekurzívní funkce | Rekurzívně spočetná množina | Ordinální rekurze
• Vývojové diagramy
• Churchova teze
• Diagonální metoda
• Univerzální funkce
• Věta o projekci
• Postova věta
• Věta o parametrech | m-převeditelnost | m-kompletnost
• Produktivní množiny | Kreativní množiny
• Problém zastavení
• Aritmetická hierarchie

otevřít editovat

Struktury a algebry

• Izomorfismus | Homomorfismus
• Grupa | Okruh | Těleso
• Lagrangeova věta
• Filtr | Ideál
• Částečné uspořádání | Svaz | Booleova algebra
• Lindenbaum-Tarského algebry | Regulární podalgebra | Clopen algebra topologického prostoru
• Topologický prostor
• Celularita
• Věty o reprezentaci
  • Stoneova dualita | Stoneova věta
• Rasiowé-Sikorského lemma
• Löwenheim-Skolemovy věty
• Morleyho věta
• Ultraprodukt | Ultramocnina

otevřít editovat

Všeobecné informace

• Katedra Logiky FF UK

• Logika na FF MU