Wenn P, dann Q

"In der modernen Logik werden für eine möglichst exakte logische Analyse von Argumenten (einer bestimmten Art) sog. logische Systeme konstruiert.§§Die Anwendung klassischer Logiksysteme in der konditionalen Logik wird oft mit dem Hinweis auf kontraintuitive Ergebnisse - nämlich auf die sog. ""Paradoxien der materialen Implikation"" - kritisiert. Allerdings haben auch die anderen Logiksysteme, die in der konditionalen Logik die klassischen Systeme ersetzen sollen, ihre ""Paradoxien"". Reinhard Kamitz jun. geht in seiner Arbeit der Frage nach, ob und wie man die kontraintuitiven Resultate der miteider konkurrierenden Logiksysteme im Vergleich zueider gewichten kann."