It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...) fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

A dialetheia is a sentence, A, such that both it and its negation, ¬A, are true (we shall talk of sentences throughout this entry; but one could run the definition in terms of propositions, statements, or whatever one takes as her favourite truth-bearer: this would make little difference in the context). Assuming the fairly uncontroversial view that falsity just is the truth of negation, it can equally be claimed that a dialetheia is a sentence which is both true and false.

There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...) hold unrestrictedly – that in peculiar circumstances the same thing may at the same time be and not be, and contradictions may obtain in the world. This book opens with an examination of the famous logical paradoxes that appear to speak on behalf of contradictions (e.g., the Liar paradox, the set-theoretic paradoxes such as Cantor’s and Russell’s), and of the reasons for the failure of the standard attempts to solve them. It provides, then, an introduction to paraconsistent logics – non-classical logics in which the admission of contradictions does not lead to logical chaos –, and their astonishing applications, going from inconsistent data base management to contradictory arithmetics capable of circumventing Gödel’s celebrated Incompleteness Theorem. The final part of the book discusses the philosophical motivations and difficulties of dialetheism, and shows how to extract from Aristotle’s ancient words a possible reply to the dialetheic challenge. How to Sell a Contradiction will appeal to anyone interested in non-classical logics, analytic metaphysics, and philosophy of mathematics, and especially to those who consider challenging our most entrenched beliefs the main duty of philosophical inquiry. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

After an introduction in which I rehearse some of the main elements of Stoic physics and psychology, I set out the evidence for the Stoic doctrine that the individual soul is both analogous to the cosmic soul and a part of it, as was held by the early exponents of the school (Section I). I argue that the doctrine threatened to land the Stoics in trouble, unless they were ready to qualify it by applying to it certain distinctions (Section II). (...) Then I consider the doctrine’s historical origins, discussing several possible antecedents of it, with a focus on a Socratic report in Xenophon and on Plato’s dialogues, and showing that the Stoics went beyond all their predecessors (Section III). After this historical excursus I turn to examine some of the arguments advanced by the early Stoics to prove that the cosmos has a soul, including one which compares the relation between the cosmos and the individual human beings to that between a father and his offspring (Section IV). This leads me to analyse in more detail this comparison, which occurs also in other contexts and is sometimes problematically connected with the notion that the individual soul is a part of the cosmic soul (Section V). One of the texts which are relevant to this issue, a report in Sextus Empiricus, is the object of a separate discussion in the final Appendix. (shrink)

In De int. 9 Aristotle argues that some declarative sentences are neither true nor false. This raises the problem of how we should understand the words of ch. 4, which introduces the declarative sentence as ‘that in which being true or being false holds’. In this paper I remove the contradiction by arguing that in ch. 4 Aristotle does not intend to claim that *all* declarative sentences are either true or false, but rather that *only* they are either true or (...) false, unlike other kinds of sentence; I defend the soundness of this interpretation on the linguistic and textual level; and I show how we can make good philosophical sense of it. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

Towards biodeconstruction -- Between life and death: différance -- The absolute programme -- The text and the living -- Between life and death: the bond -- Beyond life death: autoimmunity -- Living on: the arche-performative.

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, (...) proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks. (shrink)

Drawing on different suggestions from the literature, we outline a unified metaphysical framework, labeled as Modal Meinongian Metaphysics (MMM), combining Meinongian themes with a non-standard modal ontology. The MMM approach is based on (1) a comprehension principle (CP) for objects in unrestricted, but qualified form, and (2) the employment of an ontology of impossible worlds, besides possible ones. In §§1–2, we introduce the classical Meinongian metaphysics and consider two famous Russellian criticisms, namely (a) the charge of inconsistency and (b) the (...) claim that naïve Meinongianism allows one to prove that anything exists. In §3, we have impossible worlds enter the stage and provide independent justification for their use. In §4, we introduce our revised comprehension principle: our CP has no restriction on the (sets of) properties that can characterize objects, but parameterizes them to worlds, therefore having modality explicitly built into it. In §5, we propose an application of the MMM apparatus to fictional objects and defend the naturalness of our treatment against alternative approaches. Finally, in §6, we consider David Lewis’ notorious objection to impossibilia, and provide a reply to it by resorting to an ersatz account of worlds. (shrink)

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...) state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

For four decades, research on the role and responsibilities of business in society has centered on the business case for corporate social responsibility (CSR) and an increasing number of studies on the corporate social performance (CSP)—corporate financial performance (CFP) link emerged leading to controversial results. Heeding the call for a deeper understanding of the mechanisms linking certain CSR efforts to certain performance outcomes, this study provides a stakeholder-based organizing framework rooted in an extensive review of existing literature on the link (...) between CSP and CFP. In so doing, we aim at guiding research and practice toward less simplistic understandings of the CSP–CFP connection, thus advancing the debate over the consequences of voluntary integrating CSR into business operations and into relationships with stakeholders. By disentangling specific drivers and outcomes of the CSP–CFP link, we underline the importance of setting clear boundaries and specifying levels of analysis to generate comparable results. (shrink)

David Lewis famously proposed to model conventions as solutions to coordination games, where equilibrium selection is driven by precedence, or the history of play. A characteristic feature of Lewis Conventions is that they are intrinsically non-normative. Some philosophers have argued that for this reason they miss a crucial aspect of our folk notion of convention. It is doubtful however that Lewis was merely analysing a folk concept. I illustrate how his theory can (and must) be assessed using empirical data, and (...) argue that it does indeed miss an important aspect of real-world conventions. (shrink)

The pseudo-Platonic Definitions seems to ascribe to ὄνοµα, ‘name’, the function of signifying two kinds of predicate. This is problematic, and I propose an emendation of the text, arguing that a definition of ῥῆµα, ‘verb’, has fallen out.

pt. I. Autori noti. V. 1* [Academici-Cyrenaici] V. 1*** in 2 vols. (v. 2(?): Nicolaus Damascenus-PLatonis Fragmenta; pt. 1. 2. Cultura e filosofia (Galenus-Isocrates) (2 v.); v. 3(?) : Platonis Testimonia-Zeno Tarsensis) -- pt. 3. Commentari -- pt. 4.1. Indici -- pt. 4.2. Tavole (I.1 e III). Tavole (I.2 Galenus-Isocrates).

This paper shows the state of the art regarding the possibilities of intervention for the economic and social inclusion of young people Not engaged in Employment, Education, or Training through Massive Open Online Courses in the countries of the European Union, in order to identify and compare good practices and didactic models aimed to contrast the social and economic vulnerabilities of young people. The systematic review, carried out on both generalist and more properly educational databases, has revealed the poor relationship (...) between the two topics in literature, each one moreover only recently made the subject of articulated research. The field of study is therefore open and invites further reflection on its possible developments. Matching NEETs’ needs and business companies’ requirements, students’ motivation during the learning path, keeping balance between e-learning and face-to-face lectures, tutors’ involvement along the course, and relationships with stakeholders remain the main issues identified in the various papers reviewed. (shrink)

We consider the class of pointed varieties of algebras having a lattice term reduct and we show that each such variety gives rise in a natural way, and according to a regular pattern, to at least three interesting logics. Although the mentioned class includes several logically and algebraically significant examples (e.g. Boolean algebras, MV algebras, Boolean algebras with operators, residuated lattices and their subvarieties, algebras from quantum logic or from depth relevant logic), we consider here in greater detail Abelian ℓ-groups, (...) where such logics respectively correspond to: i) Meyer and Slaney’s Abelian logic [31]; ii) Galli et al.’s logic of equilibrium [21]; iii) a new logic of “preservation of truth degrees”. (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to (...) be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

According to Chomsky, creativity is a critical property of human language, particularly the aspect of ?the creative use of language? concerning the appropriateness to a situation. How language can be creative but appropriate to a situation is an unsolvable mystery from the Chomskyan point of view. We propose that language appropriateness can be explained by considering the role of the human capacity for Mental Time Travel at its foundation, together with social and ecological intelligences within a triadic language-grounding system. Our (...) proposal is based on the change of perspective from the analysis of individual sentences to the flux of speech in which the temporal dimension of language is much more relevant. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

The connection between economics and ethics is as old as economics itself, and central to both disciplines. It is an issue that has recently attracted much interest from economists and philosophers. The connection is, in part, a result of the desire of economists to make policy prescriptions, which clearly require some normative criteria. More deeply, much economic theory is founded on the assumption of utility maximization, thereby creating an immediate connection between the foundations of economics and the philosophical literature on (...) utilitarianism and reasons for action. In fact, some influential contemporary approaches to ethics advocate decision-theoretic or game-theoretic foundations of some sort for moral principles, while several economic theorists are now prepared to take into account the ethical dimensions of rational decisions. As a result, it appears that economics and ethics are somehow inextricably linked through theories of rational decision-making. Most of us would probably find it disturbing to concede that there are contradictions between the prescriptions of rationality and the requirements of moral `rightness'. The essays included in the present volume provide a detailed analysis of the connections between ethics and economics as viewed from several different - sometimes conflicting - perspectives. This book, the outcome of a joint meeting of philosophers and economists, has three main themes: the validity of utilitarianism much used by economists, the notion of fairness and equity, and the coherence of the rationality postulate of economics. The book does not reach any final conclusions, but it greatly illuminates the exact areas of possible disagreement and indeed the open-ended nature of ethical reasoning. There is much that economists, and especially welfare economists, can learn from these papers - not least circumspection. (shrink)

Examines the relationship of Derrida’s writings on architecture to his methodology of deconstruction and to deconstrutivism in architecture. Between 1984 and 1994 Jacques Derrida wrote and spoke a great deal about architecture both in his academic work and in connection with a number of particular building projects around the world. He engaged significantly with the work of architects such as Bernard Tschumi, Peter Eisenman, and Daniel Libeskind. Derrida conceived of architecture as an example of the kind of multidimensional writing that (...) he had theorized in Of Grammatology, identifying a rich common ground between architecture and philosophy in relation to ideas about political community and the concept of dwelling. In this book, Francesco Vitale analyzes Derrida’s writings and demonstrates how Derrida’s work on this topic provides a richer understanding of his approach to deconstruction, highlighting the connections and differences between philosophical deconstruction and architectural deconstrutivism. “Although there has been some discussion of the intersection of deconstruction and architecture in the past, mostly among architects and architectural critics, Vitale’s work is distinguished by the fact that it is written by a true philosopher who has a much more acute sense than has usually been the case of the philosophical underpinnings of Derrida’s exchanges with Tschumi, Eisenman, and others. Vitale is throughout concise, precise, insightful, and often brilliant.” — Geoffrey Bennington, author of Interrupting Derrida. (shrink)

It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.

I present a formal framework historically faithful to Leibniz's analysis of relational sentences, which: (i) engrafts thematic roles and the non-truth-functional connective insofar as (quatenus) into the monadic fragment of first-order logic; (ii) suggests a plausible ontological picture of thematic roles and relational facts; (iii) supports argument deletion and related inferential patterns that are not taken into account by standard first-order logic.

Konolige''s technical notion of belief based on deduction structures is briefly reviewed and its usefulness for the design of artificial agents with limited representational and deductive capacities is pointed out. The design of artificial agents with more sophisticated representational and deductive capacities is then taken into account. Extended representational capacities require in the first place a solution to the intensional context problems. As an alternative to Konolige''s modal first-order language, an approach based on type-free property theory is proposed. It considers (...) often neglected issues, such as the need for a more general account of thede dicto-de re distinction, and quasi-indicators. Extended deductive capacities require a subdivision of Konolige''s notion of belief into two distinct technical notions,potential anddispositional belief. The former has to do with what an artificial agent could in principle come to actively believe, given enough time and its specific logical competence; the latter with what an agent can be assumed to believe with respect to a specific goal to be fulfilled. (shrink)

In this paper I examine G. R. Carone's interpretation of the mind-body problem in late Plato, published in a recent issue of this review. Against Carone's attempt to attribute Plato with a reductionist thesis, whereby the soul can be reduced to the body, I argue that a careful reading of the Timaeus confirms that Plato held a dualist thesis, the soul consisting of an incorporeal substance which cannot be reduced to the corporeal substance the body consists of.

Corporate social responsibility (CSR) is gaining momentum in the business world, but several issues continue to challenge managers in charge of sustainability. Supply chain management is one area in which CSR-related activities could potentially drive the process of sustainability within firms. This case presents the way that illycaffè, an Italian coffee producer, has approached CSR. Since 1991, the company has focused on developing a new relationship with Brazilian coffee producers based on networking translated into knowledge transfer—Brazilian producers became responsible for (...) their operations all along the supply line—and innovation translated into quality—one supplier talks about how illycaffè persuaded him he was capable of producing a Ferrari among coffees instead of a Fiat. These two factors not only drive the supplier relationship, but also serve as the drivers of illycaffè’s sustainability strategy. Lessons for managers relate to benefits for the business, for society and for stakeholders, and questions arise about how to replicate illycaffè’s success and create value through values. (shrink)

Scientific philosophy is a sui generis project and it is not possible to assimilate it into analytic philosophy tout court, nor, a fortiori, into the philosophy of science. Scientific philosophy was practised during the early stage of the Vienna Circle before the influence of Wittgenstein’s thought became decisive. Afterwards, there was a quick transition to philosophy intended as subsidary to science, as a mere classification of meaning, coming, in the end, to its liquidation with Carnap’s logical syntax. Different was the (...) path of the Lvov-Warsaw School, which remained committed to Brentano’s original programme and never abandoned the idea of the possibility of scientific philosophy. Decisive, here, was the absence of Wittgenstein’s influence and the utter irrelevance of that of Mach. It is in Poland that at the present days it has its strongest roots and there we find considerable trends of thought inspired by it. (shrink)

According to the tradition of natural law justice is inherent to, and should always be observed in, all interpersonal relations: the science of natural law is nothing more or less than the expression of such principles of justice. The theoretical peculiarities that crop up regarding the lawfulness of appropriation are determined by the indirect interpersonal relations that take place within the process of appropriation: though appropriation is an action directed not towards another person or his property, but towards tangible external (...) goods, this action may have important consequences for other people. Therefore Locke's theory of appropriation is a theory of justice.Locke's solution is made possible by the methodological improvement which allows a clear separation between the natural law and the historical and empirical conditions of its application: this improvement is a consequence of the distinction between modes and substances established in Locke's Essay. (shrink)