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

On some extensions of the class of MV-algebras

In the present paper we will ask for the lattice L(MVEx) of subvarieties of the variety defined by the set Ex(MV) of all externally compatible identities valid in the variety MV of all MV-algebras. In particular, we will...

The Need for Pluralism of Causality

It will be shown in this article that a pluralism of causality is needed. Not only, as might be expected, for such different domains as natural sciences and humanities, but even within the domain of physics different cau...

Rational Agency from a Truth-Functional Perspective

The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of ra...

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...

The lattice of Belnapian modal logics: Special extensions and counterparts

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes (or...

Download PDF file
  • EP ID EP86260
  • DOI 10.12775/LLP.2011.013
  • Views 84
  • Downloads 0

How To Cite

Robert Sochacki (2011). Refutation Systems for a System of Nonsense-Logic. Logic and Logical Philosophy, 20(3), 233-239. https://europub.co.uk/articles/-A-86260