Refutation Systems for a System of Nonsense-Logic
Journal Title: Logic and Logical Philosophy - Year 2011, Vol 20, Issue 3
Abstract
In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule - the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems.
Authors and Affiliations
Robert Sochacki
Keywords
Related Articles
- EP ID EP86260
- DOI 10.12775/LLP.2011.013
- Views 63
- Downloads 0
Composition, identity, and emergence
Composition as Identity (CAI) is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently...
Simple cut elimination proof for hybrid logic
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...
The Case of Dialetheism
The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees wit...
Informal Fallacies as Abductive Inferences
All who teach logic are familiar with informal fallacies such as ad ignorantium (appeal to ignorance) and ad populum (appeal to popularity). While it is easy to give clear examples of poor reasoning of this sort, instruc...