Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2207.03892 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912124747382784 |
|---|---|
| author | Badia, Guillermo Cintula, Petr Behounek, Libor Tedder, Andrew |
| author_facet | Badia, Guillermo Cintula, Petr Behounek, Libor Tedder, Andrew |
| contents | We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion}, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be \emph{used} in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between \emph{multisets}. We motivate and state basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2207_03892 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Relevant Consequence Relations: An Invitation Badia, Guillermo Cintula, Petr Behounek, Libor Tedder, Andrew Logic We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the \emph{use criterion}, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be \emph{used} in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between \emph{multisets}. We motivate and state basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). |
| title | Relevant Consequence Relations: An Invitation |
| topic | Logic |
| url | https://arxiv.org/abs/2207.03892 |