Abstract
Fregean logic has difficulty with certain arguments in which there is cross-reference between premises and conclusion. In this paper I describe a method of handling arguments of the troublesome kind: It involves replacing standard quantifiers with explicit existential statements, and turns standard logic into a free one. A validation procedure is provided for the logic.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Slater, B.H. Incomplete assertions. Stud Logica 41, 293–296 (1982). https://doi.org/10.1007/BF00370350
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370350