David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 64 (3):365-403 (2000)
On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Zach Weber (2010). Transfinite Numbers in Paraconsistent Set Theory. Review of Symbolic Logic 3 (1):71-92.
Zach Weber (2010). Extensionality and Restriction in Naive Set Theory. Studia Logica 94 (1):87 - 104.
Zach Weber (2011). Reply to Bjørdal. Review of Symbolic Logic 4 (1):109-113.
Peter Verdée (2013). Non-Monotonic Set Theory as a Pragmatic Foundation of Mathematics. Foundations of Science 18 (4):655-680.
Similar books and articles
John Bacon (1982). First-Order Logic Based on Inclusion and Abstraction. Journal of Symbolic Logic 47 (4):793-808.
Sven Ove Hansson (2008). Specified Meet Contraction. Erkenntnis 69 (1):31 - 54.
Richard B. White (1993). A Consistent Theory of Attributes in a Logic Without Contraction. Studia Logica 52 (1):113 - 142.
Greg Restall (1993). How to Bereally Contraction Free. Studia Logica 52 (3):381 - 391.
Andreja Prijatelj (1995). Connectification Forn-Contraction. Studia Logica 54 (2):149 - 171.
Sven Ove Hansson (2010). Multiple and Iterated Contraction Reduced to Single-Step Single-Sentence Contraction. Synthese 173 (2):153 - 177.
W. V. Quine (1937). Logic Based on Inclusion and Abstraction. Journal of Symbolic Logic 2 (4):145-152.
Raghav Ramachandran, Abhaya C. Nayak & Mehmet A. Orgun (2012). Three Approaches to Iterated Belief Contraction. Journal of Philosophical Logic 41 (1):115-142.
Added to index2009-01-28
Total downloads16 ( #116,578 of 1,410,463 )
Recent downloads (6 months)1 ( #177,872 of 1,410,463 )
How can I increase my downloads?