Dieses Buch bietet eine umfassende Darstellung der logischen Theorien des frühmittelalterlichen Philosophen (und Theologen) Abaelard. Die wesentlichsten logischen Innovationen Abaelards umfassen die Unterscheidung zweier verschiedener Formen der Negation, durch die das traditionelle Logische Quadrat zu einem Logischen Oktagon erweitert wird, sowie die Einführung einer ?relevanten? Implikation, durch die die Paradoxien der strikten Implikation vermieden bzw. die Geltung der (zuerst von Aristoteles formulierten) Grundgesetze einer ?konnexiven Logik? gesichert werden sollen.