Adaptive Fregean Set Theory

Studia Logica 108 (5):903-939 (2020)
  Copy   BIBTEX

Abstract

This paper defines provably non-trivial theories that characterize Frege’s notion of a set, taking into account that the notion is inconsistent. By choosing an adaptive underlying logic, consistent sets behave classically notwithstanding the presence of inconsistent sets. Some of the theories have a full-blown presumably consistent set theory T as a subtheory, provided T is indeed consistent. An unexpected feature is the presence of classical negation within the language.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-019-09882-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Fregean Extensions of First‐Order Theories.John L. Bell - 1994 - Mathematical Logic Quarterly 40 (1):27-30.
About Properties Of L-inconsistent Theories.Vyacheslav Moiseyev - 2006 - Sorites 17:7-16.
Handling Inconsistencies in the Early Calculus: An Adaptive Logic for the Design of Chunk and Permeate Structures.Jesse Heyninck, Peter Verdée & Albrecht Heeffer - 2018 - Journal of Philosophical Logic 47 (3):481-511.
The adaptive logic of compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
The theory of the process of explanation generalized to include the inconsistent case.Diderik Batens - 2005 - Synthese 143 (1-2):63 - 88.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case.Diderik Batens & Timothy Vermeir - 2002 - Journal of Applied Non-Classical Logics 12 (1):63-84.
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.
On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit.Diderik Batens, Christian Strasser & Peter Verdée - 2009 - Logique Et Analyse 52 (207):281-304.
It might have been Classical Logic.Diderik Batens - 2012 - Logique Et Analyse 55 (218):241.
Well- and non-well-founded Fregean extensions.Ignacio Jané & Gabriel Uzquiano - 2004 - Journal of Philosophical Logic 33 (5):437-465.
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.

Analytics

Added to PP
2019-11-10

Downloads
33 (#473,861)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Diderik Batens
University of Ghent

Citations of this work

Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Transfinite numbers in paraconsistent set theory.Zach Weber - 2010 - Review of Symbolic Logic 3 (1):71-92.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.

View all 18 references / Add more references