Anselm von Canterbury (1033 – 1109)
Der Theologe, Philosoph und Logiker Anselm von Canterbury war wurde im Jahre 1093 Erzbischof von Canterbury.Er ist Anhänger eines extremen Realismus und behauptete, dass die Begriffe (darunter auch die Universalien) den Einzeldingen vorausgehen, unabhängig von diesen existieren und ihr Wesen ausmachen.
Anselm von Canterbury kritisierte die Nominalisten und untersuchte Sätze die solche modalen Funktoren wir bekannt, zweifelhaft, möglich, notwendig enthalten, sowie Funktoren des Typs es ist verboten, es ist obligat. Er ist damit ein Vorläufer der deontischen Logik.
Im göttlichen Denken, sagt Anselm von Canterbury, sind Urbilder aller Dinge als ewige und unveränderliche göttliche Ideen gegeben. Er versuchte die Glaubensdogmen rational begründen. Berühmt ist sein Satz Credo, ut intelligam (ich glaube, um zu erkennen).
Die in sich selbst ruhende, eigentliche Wahrheit ist mit Gott identisch. Erkenntnis des Wahren ist Wirkung der Wahrheit.
Bekannt geworden ist Anselm von Canterbury durch seinen ontologischen Gottesbeweis.