Kategooria:Loogika

• Loogika
• Loogika mõisteid

A

• Ab absurdo
• Ab esse ad posse valet, a posse ad esse non valet consequentia
• Abduktsioon
• Absurdsus
• Aleetilised modaalsused
• Analüütiline otsustus
• Antetsedent
• Apodiktiline otsustus
• Argument
• Arutlus
• Arutlusviga

B

• Boole'i algebra

C

• Charmides (dialoog)
• Curry-Howardi vastavus

D

• De interpretatione
• De Morgani seadused
• Deduktiivne arutlus
• Deduktiivne loogika
• Deduktsioon
• Deontiline loogika
• Dialektiline loogika
• Dialektiline loogika (Iljenkov)
• Digitaalloogika
• Dilemma
• Disjunktiivne süllogism
• Disjunktsioon

E

• Eitus
• Eksemplar
• Eksplikatsioon (loogika)
• Ekstensionaalne kontekst
• Ekstensionalism
• Ekvivalents
• Entümeem
• Episteemiline loogika
• Euthydemos
• Euthyphron

F

• Filosoofiline loogika
• Formaalloogika

G

• Gorgias (Platoni dialoog)

H

• Hippias (lühem)
• Hägusloogika

I

• Idem per idem
• Implikatsioon
• Induktiivne arutlus
• Insolubiilid
• Intuitsionistlik loogika

J

• Jäik tähistaja

K

• Kahevalentne loogika
• Kasutamine ja mainimine
• Kategooriad
• Kategooriad (Peirce)
• Keel (loogika)
• Kehtestatav valem
• Kehtetus
• Kehtivus
• Kesktermin
• Klassikaline loogika
• Kompaktsusteoreem
• Konjunktsioon
• Konkretiseering
• Konnektor (keeleteadus)
• Konsekvent
• Kontingentsus
• Kontradiktoorsus
• Koopula
• Kratylos
• Kvantifikatsioon (loogika)

L

• Laches
• Lambda-arvutus
• Lauseloogika
• Liigierisus
• Logitsism
• Loogikaanalüsaator
• Loogikateadus
• Loogikatehe
• Loogiline võimalikkus
• Loogilis-filosoofiline traktaat
• Loogilised uurimused (Frege)
• Loogilised uurimused (Trendelenburg)
• Lvivi-Varssavi loogikakoolkond
• Lysis

M

• Matemaatiline loogika
• Menon (dialoog)
• Metakeel
• Metateooria
• Mitmevalentne loogika
• Mitteklassikaline loogika
• Modaalne loogika
• Modaalsus
• Modus ponens
• Modus tollens
• Mudel (loogika)
• Mõiste
• Määramatus

N

• Negatiivne määratlus

O

• Olemasolukvantor
• Operatsionaalsus
• Organon
• Otsustus

P

• Paradoks
• Parajasti siis, kui
• Parima seletuse järeldamine
• Philebos
• Piisav tingimus
• Porphyriose puu
• Predikaat
• Predikaatloogika
• Presupositsioon
• Printsiip
• Programmeeritav loogikakontroller
• Protagoras (Platoni dialoog)
• Püsipunktikombinaator

R

• Reductio ad absurdum
• Riigimees

S

• Sisu (loogika)
• Skolastiline meetod
• Sofist (Platoni dialoog)
• Subjekt (loogika)
• Subjekt ja predikaat
• Summaator
• Suurem Hippias
• Süntaktika

Š

• Šura-Bura seadused

T

• Tarvilik tingimus
• Tautoloogia
• Teine analüütika
• Teooria (loogika)
• Termin (loogika)
• Traditsiooniline loogika
• Tulemus
• Tuletusreegel
• Turingi masin
• Tõepredikaat
• Tõestus
• Tõestusassistent
• Tõesus
• Tõetagaja ja valetagaja
• Tõeväärtus
• Tõeväärtustabel
• Tüübiteooria
• Tüüp-sõna

V

• Vastuolulisus
• Vastuväiteline tõestus
• Venni diagramm
• Võimalik maailm
• Välistatud kolmanda seadus
• Välistav disjunktsioon
• Väär
• Väärus

Ü

• Üldisuskvantor
• Üldmõiste

Y

• Yablo paradoks