Categorie:Logica

A

• [+] Automatisch redeneren (0)

D

• [+] Digitale techniek (1)
• [+] Drogreden (0)

L

• [+] Logicus (0)

M

• [+] Methodoloog (0)
• [+] Modale logica (0)

P

• [+] Paradox (1)

S

• [+] Semantiek (2)

V

• [+] Verzamelingenleer (0)

• Logica
• Geschiedenis van de logica

A

• A contrario
• A fortiori
• Absoluut
• Afleidingsregel
• Analytica posteriora
• Analytica priora
• Analytisch oordeel
• Antwoord
• Argument (argumentatieleer)
• Atoom (logica)
• Axioma

B

• Betekenis
• Bewijs door contrapositie
• Bewijs door deductie
• Booleaanse algebra
• Booleaanse operator
• Boomstructuur
• Bulverisme

C

• Catch-22 (logica)
• Categorie (filosofie)
• Categorietheorie (wiskunde)
• Cirkelredenering
• Clausule (logica)
• Conclusie
• Conjunctieve normaalvorm
• Consistent
• Contingentie
• Contradictie
• Contradictio in terminis
• Cyclus

D

• Dan en slechts dan als
• Deductie
• Deductie versus inductie
• Definitie
• Demodulatie (afleidingsregel)
• Dilemma
• Disjunctieve normaalvorm
• Domein (wiskunde)
• Driewaardige logica
• Drogreden

E

• Enthymeem
• Epicheireem
• Epistemologisch objectivisme
• Exclusieve disjunctie
• Existentie
• Existentiële generalisatie

E (vervolg)

• Existentiële instantiatie
• Explananda

F

• Fuzzy logic

G

• GIGO
• Geldigheid en gezondheid
• Gevolg
• Gevolgtrekking

H

• Hempel-Oppenheim-Schema
• Horn clausule

I

• Identiek
• Inductie (filosofie)
• Inductie (wiskunde)
• Intuïtionisme

K

• Karnaugh-diagram
• Kip-en-eiprobleem
• Klassieke logica
• Kwantor

L

• Lambdacalculus
• Literal
• Logische conjunctie
• Logische constante
• Logische disjunctie
• Logische equivalentie
• Logische implicatie
• Logische negatie
• Logische nor

M

• Meerwaardige logica
• Modeltheorie
• Modus ponens
• Modus tollens

N

• Negatie als falen
• Negatieve terugkoppelingsfactor
• Nexus
• Niet-monotone logica
• Non sequitur
• Noodzakelijke en voldoende voorwaarde
• Noodzakelijkheid

O

• Omgekeerde Poolse notatie
• Onvolledigheidsstellingen van Gödel
• Onzinregel
• Oorzaak
• Oorzakelijkheid
• Operator
• Operator (wiskunde)
• Organon (Aristoteles)
• Over de Categorieën
• Over de Interpretatie

P

• Paradox (logica)
• Port-Royal (Parijs)

P (vervolg)

• Positieve terugkoppelingsfactor
• Pragmatische paradox
• Predicatenlogica
• Preferentiële logica
• Prefix- en suffixnotatie
• Premisse (logica)
• Prenex-normaalvorm
• Principia Mathematica
• Propositie
• Propositielogica

Q

• Quod erat demonstrandum
• Quod non

R

• Ratrace (begrip)
• Recursie
• Redenering
• Reductio ad absurdum
• Relatief
• Resolutie (logica)

S

• Samenvatting
• Semantisch tableau
• Sofistische weerleggingen
• Syllogisme
• Lijst van wiskundige symbolen
• Syntaxis (logica)
• Systematiek

T

• Tautologie (logica)
• Tijdslogica
• Topos (filosofie)
• Tseitin-transformatie
• Tweewaardige logica

U

• Uniciteit
• Universalia
• Universaliteit
• Universele generalisatie
• Universele instantiatie

V

• Variabelenbereik
• Vervulbaarheid
• Vervulbaarheidsequivalentie
• Vicieuze cirkel
• Vicieuze cirkels van Van Dijk
• Voortschrijdend gemiddelde
• Vraag (taal)

W

• Waarheid
• Waarheidstabel
• Waarheidswaarde
• Wet van de non-contradictie
• Wet van de uitgesloten derde
• Wetten van De Morgan
• Wiskundige logica