A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. A method of comparing different logics is presented and the concept of equivalent logics introduced. Lastly a proof is given for Lindström's theorem, which provides a characterization of elementary logic, also known as first-order logic, as the strongest logic for which both the compactness property and the Löwenheim-Skolem property, holds.
| Identifer | oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:uu-505845 |
| Date | January 2023 |
| Creators | Bengtsson, Niclas |
| Publisher | Uppsala universitet, Algebra, logik och representationsteori |
| Source Sets | DiVA Archive at Upsalla University |
| Language | English |
| Detected Language | English |
| Type | Student thesis, info:eu-repo/semantics/bachelorThesis, text |
| Format | application/pdf |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | U.U.D.M. project report ; 2023:18 |
Page generated in 0.0023 seconds