Fred Sommers TFL 'Traditional Formal Logic'
Manchmal frage ich mich, ob nicht alles ganz anders sein könnte. Zum Beispiel verfolgte Fred Sommers eine Logik, deren Schlüsse nur Sätze enthalten, die in Subjekt und Prädikat aufgeteilt sind, wobei das Subjekt kein Eigenname im Fregeschen Sinne ist. Jeder Satz in einem Schluss habe die Form ‚some/every S is/isn’t P‘.
„Leibniz’s theory is within the tradition of scholastic logics which treats all categorical propositions – singular as well as general – as assertions or denials of expressions of form ‚some/every S is/isn’t P‘. According to this traditional theory, a genuine logical subject is an expression of form ‘some S’ or ‘every S’, and the subjects of singular propositions are no exception.” (Fred Sommers, “The Logic of Natural Language”, Clarendon Press 1982; S. 17).
Hat sich jemand damit befasst, versteht jemand die Motivation?