Relevance via Topicality in First Order Logics
Abstract We investigate the problem of providing relevance properties for first order logics by expanding on recent work concerning relevance as a topical property in propositional relevant logics. We propose a theory of topic for first order languages, relying on the use of focus markers in an extension of the usual first order language, and suggest how such an enrichment of the language and conceptual apparatus of the logic can provide avenues into the first order relevance problem.
Authors
- Nicholas Ferenz (ORCID: https://orcid.org/0009-0000-0144-121X)
- Andrew Tedder (ORCID: https://orcid.org/0000-0002-2303-003X)
Institutions
- University of Lisbon (PT)
- Ruhr University Bochum (DE)
Publication Details
- Journal
- Erkenntnis
- Published
- 2025-10-25
- DOI
- https://doi.org/10.1007/s10670-025-01012-9
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00