Petrus Mantuanus (15. Jh.)

Der italienische Logiker Petrus Mantuanus ist durch seine Arbeiten zur Theorie des Schließens und zur modalen Logik bekannt geworden.

Er kannt die Regel ad nullam de necessario, d. h. uin heutigen Worten Ein notwendiges Urteil folgt aus der leeren Prämissenmenge.

Petrus Mantuanus benutzte 63 Schlussregeln. Zu diesen gehörten die Regeln, dass man vom Wirklichen auf das Mögliche schließen kann und dass aus der Annahme der Negation eines apodiktischen Urteils auf die Annahme der Möglichkeit des entsprechenden verneinten Urteils (und umgekehrt) geschlossen werden kann.