Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Hartley Slater (2005). Choice and Logic. Journal of Philosophical Logic 34 (2).There is a little known paradox the solution to which is a guide to a much more thoroughgoing solution to a whole range of classic paradoxes. This is shown in this paper with respect to Berrys Paradox, Heterologicality, Russells Paradox, and the Paradox of Predication, also the Liar and the Strengthened Liar, using primarily the epsilon calculus. The solutions, however, show not only that the first-order predicate calculus derived from Frege is inadequate as a basis for a clear science, and should be replaced with Hilbert and Bernays conservative extension. Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. And further modifications must be made, so as to insist that predicates are parts of sentences rather than forms of them, and that truth is a property of propositions rather than their sentential expressions. In all, a thorough reworking of what has been called logic in recent years must be undertaken, to make it more fit for use.
Discussion of Hartley Slater, Choice and logic
Nothing in this forum yet.
Similar books and articles
The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema True(A)A, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in ordinary contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A (...)
In my reading list
| Discuss this article | Edit | Categorize | My bibliography
| Export citation | Other links: springerlink.com | Scholar | More..
| | Other links: springerlink.com | Scholar | More.. Grelling’s Paradox is the paradox which results from considering whether heterologicality, the word-property which a designator has when and only when the designator does not bear the word-property it designates, is had by ‘ ȁ8heterologicality’. Although there has been some philosophical debate over its solution, Grelling’s Paradox is nearly uniformly treated as a variant of either the Liar Paradox or Russell’s Paradox, a paradox which does not present any philosophical challenges not already presented by the two better known paradoxes. The (...)
Hartry Field’s book, Saving Truth from Paradox, is without question among the best works on truth and the liar paradox in the analytic tradition—it should become the standard reference on the liar paradox for years to come. Field offers lucid, technically accurate, but accessible discussions of most of the approaches to the liar paradox that are currently being debated in the literature. He also defends his favored approach, which requires a change from classical to paracomplete logic. After a brief flirtation (...)
In my reading list
| Discuss this article | Edit | Categorize | My bibliography | Export citation | Other links: interscience.wiley.com | Scholar | More..
| | Other links: interscience.wiley.com | Scholar | More.. We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial (...)
The aim of this paper is to show that Graham Priest's dialetheic account of semantic paradoxes and the paraconsistent logics employed cannot achieve semantic universality. Dialetheism therefore fails as a solution to semantic paradoxes for the same reason that consistent approaches did. It will be demonstrated that if dialetheism can express its own semantic principles, a strengthened liar paradox will result, which renders dialetheism trivial. In particular, the argument is not invalidated by relational valuations, which were brought into paraconsistent logic (...)
An ontology''s theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions Ri. The power of PPL is illustrated by (...)
Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while the (...)
Consider the following sentences: The neighbouring sentence is not true. The neighbouring sentence is not true. Call these the no-no sentences. Symmetry considerations dictate that the no-no sentences must both possess the same truth-value. Suppose they are both true. Given Tarski’s truth-schema—if a sentence S says that p then S is true iff p—and given what they say, they are both not true. Contradiction! Conclude: they are not both true. Suppose they are both false. Given Tarski’s falsity-schema—if a sentence S (...)
In Rabern and Rabern (2008) we presented a two question solution to 'the hardest logic puzzle ever' (as presented in Boolos (1996)), which relied on self-referential questions. In this note we respond to several worries related to this solution. We clarify our claim that some yes-no questions cannot be answered by the gods and thus that asking such questions of the gods will result in head explosion. We argue that the inclusion of exploding head possibilities is neither cheating nor ad (...)
Graham Priest (1994) has argued that the following paradoxes all have the same structure: Russell’s Paradox, Burali-Forti’s Paradox, Mirimanoff’s Paradox, König’s Paradox, Berry’s Paradox, Richard’s Paradox, the Liar and Liar Chain Paradoxes, the Knower and Knower Chain Paradoxes, and the Heterological Paradox. Their common structure is given by Russell’s Schema: there is a property φ and function δ such that..
In my reading list
| Discuss this article | Edit | Categorize | My bibliography | Export citation | Other links: jstor.org mind.oxfordjournals.org | Scholar | More..
| | Other links: jstor.org mind.oxfordjournals.org | Scholar | More.. 
