Grounding from a Syntactic Point of View: A Sentential-Logical Approach

We define the term $$\ulcorner $$ ⌜ a set T of sentential-logical formulae grounds a sentential-logical formula A from a syntactic point of view $$\urcorner $$ ⌝ in such a way that A is a syntactic sentential-logical consequence of T , and specific additional syntactic requirements regarding T and A are fulfilled. These additional requirements are developed strictly within the syntactics of sentential-logical languages, the three most important being new, namely: to be atomically minimal, to be minimal in degree, and not to be conjunction-like. Our approach is independent of any specific sentential-logical calculus.