Year: 2022
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Batchelor, Roderick
Institution: Universidade de São Paulo
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4299702121