Symbolic logic
Symbolische logica De tak van wetenschap, waar men zich bezighoudt met geldige argumenten en bewerkingen, met gebruikmaking van een kunstmatige taal, die is ontworpen om de dubbelzinnigheden en de logische tekortkomingen van natuurlijke talen te vermijden.