Morgan, Charles G.: A Finite Row Semantics for First-Order Logic and Counterfactuals

This paper introduces a finite row-based semantics for a non-nested fragment of first-order predicate logic. Rows are assignments of signs to monadic predicates, including projections of polyadic relations, and configurations of rows represent admissible individuals. Quantified formulas constrain configurations, while ground atomic formulas impose relational constraints without assigning constants to fixed individuals. On this basis, we develop a non-metric account of counterfactual conditionals