Logica

< Filosofie < Wiskunde
 * Wikipedia: https://nl.wikipedia.org/wiki/Logica
 * Zie ook: Logica (doorverwijspagina), kennis engineering

Logica gaat over de wetenschap die zich bezighoudt met de formele regels van het redeneren. Zie ook Wat is redeneren?

Begrippen in de logica
Redeneren begint met het begrijpen van de wereld. Het begrijpen van de semantiek. In de wiskunde wordt gewerkt met semantische modellen die concepten tonen en hun relaties. Aan een semantisch model kun je ook de regels toevoegen hetgeen leidt tot een ontologisch model (zie ontologie voor meer info).

Typen logica

 * Modale logica
 * Predicatenlogica
 * Propositielogica

Index

 * Aandachtspunten
 * Alfabetische index
 * Alfabetische index
 * Leertraject
 * Tooling
 * To-do