On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency

Axioms 5 (15) (2016)
  Copy   BIBTEX

Abstract

In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has proved that the theories T+, T−, and T′ are equivalent.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Teoria zdań odrzuconych.Urszula Wybraniec-Skardowska - 1969 - Dissertation, Opole University
Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.
Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.
Consistent inconsistency theories.Bradley Armour‐Garb - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):639 – 654.
On the measure of conflicts: an argumentation-based framework.Badran Raddaoui - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):240-259.

Analytics

Added to PP
2019-04-02

Downloads
239 (#77,432)

6 months
41 (#83,096)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
On Consequence and Rejection as Operators.Alexei Muravitsky - 2023 - Logica Universalis 17 (4):443-460.

Add more citations

References found in this work

No references found.

Add more references