Ultralogic as Universal? is a seminal text in non-classcial logic. Richard Routley presents a hugely ambitious program: to use an 'ultramodal' logic as a universal key, which opens, if rightly operated, all locks. It provides a canon for reasoning in every situation, including illogical, inconsistent and paradoxical ones, realized or not, possible or not. A universal logic, Routley argues, enables us to go where no other logic—especially not classical logic—can. Routley provides an expansive and singular vision of how a universal (...) logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more. It circulated in typescript in the late 1970s before appearing as the Appendix to Exploring Meinong's Jungle and Beyond. With engaging, forceful prose, unsparing criticism of entrenched institutions, and many tantalizing proof sketches, Ultralogic? has had a major influence on the development of paraconsistent and relevant logic. This new edition makes this work available for a modern audience, newly typeset and corrected, along with extensive notes, and new commentary essays. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

ABSTRACT In ‘Properties, Propositions, and Conditionals’ Field [2021] advances further on our understanding of the logic and meaning of naive theories – theories that maintain, in the face of paradox, basic assumptions about properties and propositions. His work follows in a tradition going back over 40 years now, of using Kripke fixed-point model constructions to show how naive schemas can be (Post) consistent, as long as one embeds in a non-classical logic. A main issue in all this research is the (...) question of finding a suitable conditional for the naive schemas, an implication connective that is well-behaved enough to be useful but weak enough to maintain coherence when there are paradoxes in the surrounding aether. Field takes several cues from the exemplary work of Ross Brady. Brady's work is predominantly concerned with models for naive theories in relevant logic. Field's considered view is that ‘relevant conditionals are just the wrong tool for naive theories’ [ibid.: 140]. In this note, I reply that a relevant conditional is an indispensable tool for at least one very important job: giving identity conditions for properties. (shrink)

Even if you were the last person on Earth, you should not cut down all the trees—or so goes the Last Man thought experiment, which has been taken to show that nature has intrinsic value. But ‘Last Man’ is caught on a dilemma. If Last Man is too far inside the anthropocentric circle, so to speak, his actions cannot be indicative of intrinsic value. If Last Man is cast too far outside the anthropocentric circle, though, then value terms lose their (...) cogency. The experiment must satisfy conditions in a seemingly impossible ‘goldilocks’ zone. To this end I propose a new version, the Ultramodal Last Man, which appeals to Routley's work in metaphysics and non-classical logic. With this ‘Last Last Man’, I argue that the Local/Global dilemma is resolved: impossible equations balance in ultramodal space. For defenders and critics alike, this helps to clarify the demands of intrinsic value, and renews a role for non-standard logics in value theory. (shrink)

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set theory, leads (...) to triviality. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises (...) of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...) this paper, I explore the limits of what a relevant connective is, showing how some basic criteria motivated by the ideology of relevant logicians provide robust limits on potential connectives. These criteria provide some plausible necessary conditions on being a relevant connective. (shrink)

Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a (...) discussion of constant and variable domains. (shrink)

In this paper, we build on earlier work by Standefer (Logic J IGPL 27(4):543–569, 2019) in investigating extensions of substructural logics, particularly relevant logics, with the machinery of justification logics. We strengthen a negative result from the earlier work showing a limitation with the canonical model method of proving completeness. We then show how to enrich the language with an additional operator for implicit commitment to circumvent these problems. We then extend the logics with axioms for D, 4, and 5, (...) which requires additional justification term operators, following the work of Pacuit (in proceedings of the fifth panhellenic logic symposium, 2005) and Rubtsova (in Grigoriev D, Harrison J (eds) Computer science—theory and applications, CSR 2006; J Logic Comput 16(5):671–684, 2006), and present the required modifications to the frame semantics. We present a simplification of the neighborhood frames from the earlier work and we close by investigating the distinctive contribution of the + operator to the logic. (shrink)

An intrinsic property, as David Lewis puts it, is a property "which things have in virtue of the way they themselves are", as opposed to an extrinsic property, which things have "in virtue of their relations or lack of relations to other things".1 Having long hair is an intrinsic property; having a long-haired brother is not. Intuitive as this notion is (and valuable in doing philosophy, I might add), it seems to resist analysis. Analysis, that is, to “quasi-logical” notions such (...) as necessity, spatiotemporal location: using stronger tools, Lewis has given an analysis of intrinsicality that I take to be roughly correct. Lewis initially described intrinsic properties in his 1983 paper "Extrinsic Properties" as follows. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false. In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the slingshot (...) argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false . In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the (...) slingshot argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

I would like to start my paper with the following statement of Barry Smith: “Relevance logic has become ontologically fertile.”.

The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime theory (...) T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the ω-rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## ⊆ TR ⊆ T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A ⊃ C and A are theorems of R## but C is a non-theorem. (shrink)

Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's Semantics for Quantified Relevance Logic (Journal of Philosophical Logic 17 (1988)).

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...) and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

We begin to fill a lacuna in the relevance logic enterprise by providing a foundational analysis of identity in relevance logic. We consider rival interpretations of identity in this context, settling on the relevant indiscernibility interpretation, an interpretation related to Dunn's relevant predication project. We propose a general test for the stability of an axiomatisation of identity, relative to this interpretation, and we put various axiomatisations to this test. We fill our discussion out with both formal and philosophical remarks on (...) identity in relevance logic. (shrink)

We critically investigate and refine Dunn's relevant predication, his formalisation of the notion of a real property. We argue that Dunn's original dialectical moves presuppose some interpretation of relevant identity, though none is given. We then re-motivate the proposal in a broader context, considering the prospects for a classical formalisation of real properties, particularly of Geach's implicit distinction between real and ''Cambridge'' properties. After arguing against these prospects, we turn to relevance logic, re-motivating relevant predication with Geach's distinction in mind. (...) Finally we draw out some consequences of Dunn's proposal for the theory of identity in relevance logic. (shrink)

A sentence mentioning an object can be regarded as saying any one of several things about that object, without thereby being ambiguous. Some of the (logical) repercussions of this commonplace observation are recorded, and some critical discussion is provided of views which would appear to go against it.

A sentence mentioning an object can be regarded as saying any one of several things about that object, without there by being ambiguous. Some of the repercussions of this commonplace observation are recorded, and some critical discussion is provided of views which would appear to go against it.

The semantic characterization of the (syllogistic) relations of contrariety and subcontrariety is problematic, as the present discussion illustrates here by attending to some suggestions of D. H. Sanford.

Several intrinsic/extrinsic distinctions amongst properties, current in the literature, are discussed and contrasted. The proponents of such distinctions tend to present them as competing, but it is suggested here that at least three of the relevant distinctions (including here that between non-relational and relational properties) arise out of separate perfectly legitimate intuitive considerations: though of course different proposed explications of the informal distinctions involved in any one case may well conflict. Special attention is paid to the question of whether a (...) single notion of property is capable of supporting the various distinctions. (shrink)

An intrinsic property, according to one important account, is a property that is had by all of one's duplicates. Instead, one might choose to characterize intrinsic properties as those that can be had in the absence of all distinct individuals. After reviewing the problems with these earlier accounts, the author presents a less problematic analysis. The goal is to clarify the rough idea that an intrinsic property is a special sort of non-relational property; having the property does not consist in (...) any relation one bears to distinct individuals. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...) relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

Pour introduire à l’article de Lewis et Langton sur la définition des propriétés intrinsèques, il faut rappeler que les propriétés intrinsèques diffèrent d’autres notions comme les propriétés essentielles, les propriétés monadiques, les propriétés catégoriques, les propriétés qualitatives. Les propriétés intrinsèques sont définies selon David Lewis à partir de la notion plus primitive de propriété « naturelle », ce qu’il a continué à modifier jusqu’à des textes plus récents.

We collect together some misgivings about the logic R of relevant inplication, and then give support to a weak entailment logic $DJ^{d}$ . The misgivings centre on some recent negative results concerning R, the conceptual vacuousness of relevant implication, and the treatment of classical logic. We then rectify this situation by introducing an entailment logic based on meaning containment, rather than meaning connection, which has a better relationship with classical logic. Soundness and completeness results are proved for $DJ^{d}$ with respect (...) to a content semantics, which embraces the concept of meaning containment. (shrink)

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

In the paper a theory of relevant properties is developed. The theory permits us to distinguish between properties that are relevant to an object and the properties that are irrelevant to it. Predication is meaningful only if a property is relevant to an object. On the base of introducing a special negative type of predication as opposed to usual sentential negation, a new notion of generalization for properties is defined. Context-free, as weIl as context-depended relevance of properties are considered.