Incomplete assertions
β
B. H. Slater
π
Article
π
1982
π
Springer Netherlands
π
English
β 287 KB
Frege~n logic has difficulty with certain argnments 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 standurd quanriflers with explicit existential statements, and turns standarc1