CEU Electronic Theses and Dissertations, 2012
| Author | Pavlovic, Edi |
|---|---|
| Title | Bringing Logic Closer to Natural Language: A Non-model-theoretic Completeness Proof for Hanoch Ben- Yami's Logic of Quantification with Plural Subjects |
| Summary | The topic of this thesis is Hanoch Ben-Yami’s book Logic and Natrural Language, and the natural deduction system for quantified logic with plural subjects developed therein. Unlike standard modern logical systems which take the terms in the subject position as predicative, Ben-Yami treats them as referring. I will examine his and others’ takes on the topic. The goal of this thesis is to present a formalization and develop a completeness proof for Ben-Yami’s system. Instead of the standard model-theoretic completeness proof I use, following Ben- Yami, a substitutional approach. |
| Supervisor | Bodnar Istvan |
| Department | Philosophy MA |
| Full text | https://www.etd.ceu.edu/2012/pavlovic_edi.pdf |
Visit the CEU Library.
© 2007-2021, Central European University