Loogika mõisteid

Siin on loetletud loogika mõisteid.

AA posse ad esse non valet consequentia - Ab esse ad posse valet, a posse ad esse non valet consequentia - Ab absurdo - Abduktsioon - Absurdsus - Aleetilised modaalsused - Algmõiste - Analüütiline otsustus - Analüütiline propositsioon - Argumentum ad hominem - Argumentum ad verecundiam - Arutlus - Arutlusviga

CCirculus vitiosus- Curry paradoks
- Curry-Howardi vastavus

D
Deduktiivne arutlus - Deduktsioon - Deontiline loogika - Dihhotoomia - Disjunktiivne süllogism - Disjunktsioon

E
Eeldus - Eelduse eitamine - Eksemplar - Eksemplar-lause - Eristamatud - Ex falso quodlibetF
Filosoofiline loogika - Formaalne arutlusviga - Füüsiline paratamatus - Füüsiline võimalikkus - Füüsiline võimatus

H
Habemeajaja paradoks - Hägusloogika

IIdem per idem - Ignoratio elenchi - Implikatsioon - Induktiivne arutlus - Induktiivne loogika - Induktiivne tugevus - Induktsioon - Insolubiilid - Intuitsionistlik loogika

J
Ja - Järeldamine - Järeldus - Järeldus (traditsiooniline loogika)  - Järelduse jaatamine

K
Kahevalentne loogika
- Kasutamine ja mainimine 
- Keel 
- Kehtestatav valem
- Kehtetu arutlus - Kehtetus - Kehtiv arutlus - Kehtivus - Kesktermin - Klassikaline loogika 
- Kogum 
- Kolmevalentne loogika
- Kompaktsusteoreem - Konjunktsioon - Konnektor - Kontradiktoorsus - Konnotatsioon - Kontingentne propositsioon - Kontingentsus - Koopula - Kvantifikatsioon - Kvantor

L
Lambdaarvutus - Lause - Lausung - Liigierisus - Logitsism - Logos - Loogik - Loogikatehe - Loogiline paratamatus - Loogiline võimalikkus - Loogiline võimatus

M
Mainimine 
- Maskiga mehe eksitus 
- Metakeel 
- Metateooria 
- Mitmevalentne loogika
- Modaalne loogika 
- Modus ponens'' 
- Mudel
- Mõtestatud lause

O
Olemasolukvantor - Osaeitav otsustus - Osajaatav otsustus - Otsustus

P
Paarismõiste - Piisav tingimus - Piisav ja tarvilik tingimus - Porphyriose puu - Predikaat - Predikaatloogika - Predikatsioon - Presupositsioon - Propositsioon - Põhjend - Püsipunktioperaator

R
Russelli paradoks
S
Siis ja ainult siis, kui - Sisu - Soo-liigisuhe - Soomõiste ja liigierisus - Subjekt - Sõna - Sõne -  Süllogism - Süllogistika

T
Tarvilik ja piisav tingimus - Tarvilik tingimus - Tautoloogia - "Teine analüütika" - Teooria - Termin - Tunnus - Tõene - Tõepredikaat - Tõestus - Tõesus - Tõeväärtus - Tõeväärtustabel - Tõeväärtustabeli meetod - Tüüp - Tüüp-lause - Tüüp-sõna

V
Valesus - Valetaja lause - Valetaja paradoks - Vastuolulisus - Vastuväiteline tõestus - Venni diagramm - Välistatud kolmanda reegel - Välistav disjunktsioon -  Väär - Väärus

Õ
Õigsus

Ü
Üksikmõiste - Üksiktermin - Üldeitav otsustus - Üldjaatav otsustus - Üldmõiste

Y
Yablo paradoks


Kategooria:Mõistete loendid