A Proof Theory for First-order Logic with Definiteness.

The paper presents a proof-theory (in the form of a natural-deduction (ND) proof-system) for definiteness, expressed as the ι-subnector, extending 1-st order logic. The ND-system is proposed as meaning conferring and is shown to qualify as such by being harmonious and stable. Some relationship of this prooftheory with the presupposition of definiteness is pointed out.

Authors

• Nissim Francez
• Bartosz Wieckowski

Keywords

• Definiteness
• iota operator
• proof-theoretic semantics
• harmony