| The sentential, or propositional, logic SL
consists of a sentential language, SL, a semantic interpretation of that language, and a
sentential derivation system, SD (and SD+).
One might use SL to examine the logical relations
among molecular or (compound) sentences generated from atomic
(or simple) sentences.
From SL's perspective, only molecular sentences
have structure or form, and, therefore, SL is a logic that deals with relations obtaining
among molecular sentences in virtue of their structure or form.
Later, in PL, the predicate logic, we shall
examine a logic that incorporates SL, but which also looks into the internal structure of
atomic sentences. |
