Das von Dir aufgestellte Prinzip "Die Schlussregel für sich allein sollte Sinn ergeben" würde das Aus für die gängigsten Kalküle bedeuten, etwa die Prädikatenlogik oder Gentzen-Kalküle, die alle durch den Kontext bestimmte Schlussregeln haben.-- Wilfried Neumaier 20:16, 2. Okt. 2011 (CEST)