Logical Grounding: The Case of “if‐then‐else”

Abstract

The paper proposes grounding the ternary connective "if … then … else" (classically interpreted), thus far not considered in the logical grounding literature. In doing so, a new kind of plural grounding, called collective immediate grounding, is proposed as more adequate than the traditional complete immediate grounding in avoiding redundancy. The approach is proof-theoretic.