First‐order logics over fixed domain
Bibliographic Data
| ID | 20143552 |
|---|---|
| Authors | R Gregory Taylor (0000-0002-0983-7523, Department of Philosophy Baruch College New York NY USA, corresponding author) |
| Year | 2022 |
| Volume | 88 |
| Issue | 3 |
| Pages | 584-606 |
| Publication date | 2022-06-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/theo.12382 |
| OpenAlex | W4229053875 |
| Language | EN |
| References cited | 17 |
What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain‐dependent generality. Whereas a logic, or family of such, can be of interest for any of a variety of reasons, we suggest that one of those reasons might be that said logic fosters some clarification regarding just what qualifies as a logical concept , a logical operation , or a logical law
Domain (mathematical analysis) · Economics · Epistemology · Generality · Logical consequence · Order (exchange) · Variety (cybernetics) · Artificial Intelligence · Computer Science · Mathematics · Philosophy · Philosophy and History of Science · Philosophy and Theoretical Science · Pragmatism in Philosophy and Education · Psychology
| Citation velocity | historical |
|---|---|
| Highly cited | No |