Incomplete assertions

✍ Scribed by B. H. Slater

• Publisher: Springer Netherlands
• Year: 1982
• Tongue: English
• Weight: 287 KB
• Volume: 41
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf00370350

✦ Synopsis

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 logic into a free one. A validation procedure is provided for the logic.