Directional Deduction
| Autor: | Batchelor, Roderick |
|---|---|
| Rok vydání: | 2022 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | We present some new methods for logical deduction, based on ideas from ground theory. Roughly speaking, in our calculi a typical deduction will proceed as follows: we first analyse the premiss down to its ultimate grounds; then we discard information irrelevant to the conclusion; and then we synthesize the conclusion up from its ultimate grounds. We give a series of calculi for: classical propositional logic (Chapter 1); classical predicate logic (Chapter 2); modal propositional logic and modal predicate logic (Chapter 3); and some relevantistic fragments of these various systems (Chapters 4 and 5). In connection with these fragments we develop also some new semantic constructions, of 'truthmaker semantics' type. Comment: 165 pages |
| Databáze: | arXiv |
| Externí odkaz: |
|