Imagine a sculptor who molds a lump of clay to create a statue. Hylomorphism claims that the statue and the lump of clay are two different colocated objects that have different forms, even though they share the same matter. Recently, there has been some discussion on the requirements of consistency for hylomorphist theories. In this paper, we focus on an argument presented by Maegan Fairchild, according to which a minimal version of hylomorphism is inconsistent. We argue that the argument is (...) unsound or, at best, it just points to a well-known problem for hylmorphist theories. Additionally, we explore some general consequences of this fact. (shrink)

Many philosophers of physics think that physical rates of change, like velocity or acceleration in classical physics, are extrinsic. Many philosophers of mind think that phenomenal properties, which characterize what it’s like to be an agent at a time, are intrinsic. I will argue that these two views can’t both be true. Given that these two views are in tension, we face an explanatory challenge. Why should there be any interesting connection between these physical quantities and consciousness in the (...) first place? In a speculative spirit, I close by developing a panpsychist view which promises to explain this connection in a particularly satisfying way. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than (...) the correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to (...) 3 suggest a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its (...) associated labelled calculus. (shrink)

Four simple postulates are presented, from which we derive a (3+1)‑dimensional structure, interpreted as ordinary space and time. We then derive further properties of space: isotropy and homogeneity; a rapid expansion within the first instant of time (i.e. inflation); and a continual and uniform expansionary pressure, due to a continual influx of (non-zero-point) energy that is uniformly distributed (i.e. dark energy). In addition, the time dimension is shown to have an "arrow". These results suggest that the four postulates may (...) be fundamental to the construction of the physical universe. (shrink)

The paper argues that the assumption that there are property designators, together with two theoretically innocent claims, leads to a puzzle, whose solution requires us to reject the position that all (canonical) property designators are rigid. But if we deny that all (canonical) property designators are rigid, then the natural next step is to reject an abundant conception of properties and with it the suggestion that properties are the semantic values of predicates.

The reason for physics’ failure to find a final theory of the universe is examined. Problems identified are: the lack of unequivocal definitions for its fundamental elements (time, length, mass, electric charge, energy, work, matter-waves); the danger of relying too much on mathematics for solutions; especially as philosophical arguments conclude the universe cannot have a mathematical basis. It does not even need the concept of number to exist. Numbers and mathematics are human inventions arising from the human predilection for measurement. (...) Following Aristotle, a single fundamental cause is proposed to explore the efficacy of using pure non-mathematical philosophy to explain the universe, contrary to current quantum physical views. The cause is taken as Time, which is then defined, surprisingly leading automatically to a definition of a three-dimensional space answering the question into what can a universe be placed (space before space seems non-sensical). This enables the philosophical arguments to derive a universal rule giving clear-cut descriptions (definitions) of force (both gravitational and electromagnetic), motion, energy, and particles. The formation of atomic nuclei and atomic properties together with an unexpected role for neutrinos follow. In particular, a Popper-test can be prepared by introducing the concept of measurement to allow the philosophy arguments to be tested in another discipline - mathematics. The solution agrees with human physical observations to a remarkable degree of accuracy, automatically explaining and predicting values for Planck’s and the fine-structure constants. Although mathematical, it is included as confirming the efficacy of philosophy in attaining a final theory. (shrink)

Spinoza’s conatus doctrine, the main proposition of which claims, “[e]ach thing, to the extent it is in itself, strives [conatur] to persevere in its being” (E3p6), has been the subject of growing interest. This is understandable, for Spinoza’s psychology and ethics are based on this doctrine. In my paper I shall examine the way Spinoza argues for E3p6 in its demonstration which runs as follows: "For singular things are modes by which God’s attributes are expressed in a certain and determinate (...) way (by 1p25c), i.e. (by 1p34), things that express, in a certain and determinate way, God’s power, by which God is and acts. And no thing has anything in itself by which it can be destroyed, or which takes its existence away (by p4). On the contrary, it is opposed to everything which can take its existence away (by p5). Therefore, to the extent it can, and is in itself, it strives to persevere in its being." This argument has been severely criticized for being defective in many ways. E3p6d contains four items, E1p25c, 1p34, 3p4, and 3p5. Most often, only the two last mentioned are regarded as doing any real work in the demonstration. However, I shall argue that having a proper grasp of Spinoza’s concept of power enables us see that the demonstration’s beginning, built on E1p25c and 1p34, brings forth a certain dynamic framework in which finite things are centers of causal power, capable of producing effects in virtue of their essences. My examination of this framework shows the beginning of the demonstration to be irreplaceable: in the end, conatus is one form of power, and E1p25c and 1p34 not only bring the notion of power into play, but also inform us on how finite things’ power should be understood in the monistic system. So, I disagree with such commentators as Jonathan Bennett, Edwin Curley, Daniel Garber, Michael Della Rocca, and Richard Manning, who see Spinoza as trying to derive the conatus doctrine from E3p4 and 3p5 alone; and I agree with Alexandre Matheron, Henry Allison, and Martin Lin, who stress the importance of E1p25c and 1p34. -/- However, this still leaves us the task of reconstructing the whole derivation and showing how its various ingredients fit together. If E1p25c and 1p34 are so important, could E3p6 not be derived from them alone, as Martin Lin has argued? In other words, why are E3p4 and 3p5 needed at all? To answer these questions I shall provide an interpretation of E3p6d that explains how the argument is supposed to work. E1p25c and 1p34 say that finite things are, in essence, dynamic causers, which, in case of opposition, truly resist opposing factors with their power and do not simply cease their causal activities whenever facing obstacles; in other words, they strive against any opposition. However, this is not enough to guarantee that they could not act self-destructively or restrain their own power, which would make them incapable of self-preservation. But this would go against E3p4, “No thing can be destroyed except through an external cause,” and Spinoza uses it to claim, “no thing has anything in itself by which it can be destroyed, or which takes its existence away.” So all this allows Spinoza to hold that finite things are consistent causers, that is, entities endowed with power and, insofar they cause effects solely in virtue of their essence, they never use their power self-destructively. The significance and role of the final item in the demonstration, E3p5 (“Things are of a contrary nature, i.e., cannot be in the same subject, insofar as one can destroy the other”), still needs to be determined. Indeed, considering its content and the way it is used in the demonstration, it seems to be a surprisingly decisive ingredient in the argument. Namely, what “each thing, to the extent it is in itself,” that is, insofar as any thing is considered disregarding everything external to it, strives to preserve, is its being (esse), not simply its present state. This together with E3p5’s view of subjecthood – which I shall explicate in my paper – suggests that we should rethink what kind of “being” or “existence” is meant in E3p6. Indeed, for Spinoza, each subject has a definable essence from which, as far as the subject in question is in itself, certain properties or effects necessarily follow; consequently a subject’s full being involves not only instantiating a certain essence, but also those properties inferable from the essence-expressing definition. Thus, E3p5 is meant to bring forward that things are not merely non-self-destroyers but subjects from whose definitions properties follow; and as Spinoza thinks to have shown (by E1p25c and 1p34) that finite modifications are entities endowed with power, any subject has true power to produce the properties or effects derivable from its definition, which, Spinoza claims, implies opposing everything harmful. In other words, things exercise power as their definition states, i.e. according to their definitions, and thus bringing in the idea of things as expressers of power enables Spinoza to convert logical oppositions (of E3p5) into real ones (of E3p6). To summarize, Spinoza reasons that each true finite thing is, in itself, an expresser of power (E1p25c, 1p34) that never acts self-destructively (E3p4) but instead strives to drive itself through opponents to produce effects as they follow from the definition of the thing in question (E1p25c, 1p34, and 3p5). Therefore, “each thing, to the extent it is in itself, strives to persevere in its being.” The demonstration of E3p6 has its roots deep in Spinoza’s ontology, and since its concept of power is supposed to provide the metaphysical grounding for real opposition, the importance of E1p25c and 1p34 should not be underestimated just because Spinoza – as often happens – puts his point exceedingly briefly. Moreover, the derivation is basically valid and contains no superfluous elements. Finally, all this tells us something decisive about the meaning of Spinoza’s doctrine: according to it, things are active causers whose “power to exist and act” has conatus character in temporality, amounting not only to striving to prolong the duration of one’s actualization but also to striving to be as active or autonomous as possible, that is, to attain a state determined by the striving subject’s essence alone. (shrink)

The traditional approach in cognitive sciences holds that cognition is a matter of manipulating abstract symbols followingcertain rules. According to this view, the body is merely an input/output device, which allows the computationalsystem—the brain—to acquire new input data by means of the senses and to act in the environment following its com-mands. In opposition to this classical view, defenders of embodied cognition (EC) stress the relevance of the body inwhich the cognitive agent is embedded in their explanation of cognitive processes. (...) From a representationalist frameworkregarding our conscious experience, in this article, I will offer a novel argument in favor of EC and show that cognitionconstitutively—and no merely causally—depends upon body activity beyond that in the brain. In particular, I will arguethat in order to solve the problem derived from the empirical evidence in favor of the possibility of shifted spectrum,representationalist should endorse the view that experiences concern its subject: the content of experience isde se.Ishow that this claim perfectly matches the phenomenological observation and helps explaining the subjective characterof the experience. Furthermore, I argue that entertaining this kind of representation constitutively depends on bodilyactivity. Consequently, insofar as cognition depends on consciousness, it is embodied. (shrink)

This Thesis engages with contemporary philosophical controversies about the nature of dispositional properties or powers and the relationship they have to their non-dispositional counterparts. The focus concerns fundamentality. In particular, I seek to answer the question, ‘What fundamental properties suffice to account for the manifest world?’ The answer I defend is that fundamental categorical properties need not be invoked in order to derive a viable explanation for the manifest world. My stance is a field-theoretic view which describes (...) the world as a single system comprised of pure power, and involves the further contention that ‘pure power’ should not be interpreted as ‘purely dispositional’, if dispositionality means potentiality, possibility or otherwise unmanifested power or ability bestowed upon some bearer. The theoretical positions examined include David Armstrong’s Categoricalism, Sydney Shoemaker’s Causal Theory of Properties, Brian Ellis’s New Essentialism, Ullin Place’s Conceptualism, Charles Martin’s and John Heil’s Identity Theory of Properties and Rom Harré’s Theory of Causal Powers. The central concern of this Thesis is to examine reasons for holding a pure-power theory, and to defend such a stance. This involves two tasks. The first requires explaining what plays the substance role in a pure-power world. This Thesis argues that fundamental power, although not categorical, can be considered ontologically-robust and thus able to fulfil the substance role. A second task—answering the challenge put forward by Richard Swinburne and thereafter replicated in various neo-Swinburne arguments—concerns how the manifestly qualitative world can be explained starting from a pure-power base. The Light-like Network Account is put forward in an attempt to show how the manifest world can be derived from fundamental pure power. (shrink)

In "Morals by Agreement", David Gauthier attempts to derive property rights from a moral principle called the Lockean proviso. The derivation fails, and the true implications of the moral principles which Gauthier invokes are quite different. These principles imply that persons have extensive liberties to use physical materials, but relatively few rights against interference by others in this use. Robert Nozick argues for an extensive system of property rights in "Anarchy, State, and Utopia"; his argument fails for similar reasons.

An attractive picture of the world is that some features are metaphysically fundamental and others are derivative, with the derivative features grounded in the fundamental features. But how do we have justified beliefs about which features are fundamental? What is the epistemology of fundamentality? I sketch a response in this paper. The guiding idea is that the same properties cause the same experiences. I argue that a probabilistic connection between epistemic fundamentality and metaphysical fundamentality is sufficient for justified beliefs (...) about the metaphysically fundamental. (shrink)

The additive presupposition of particles like "too"/"even" is uncontested, but usually stipulated. This paper proposes to derive it based on two properties. (i) "too"/"even" is cross-linguistically focus-sensitive, and (ii) in many languages, "too"/"even" builds negative polarity items and free-choice items as well, often in concert with other particles. (i) is the source of its existential presupposition, and (ii) offers clues regarding how additivity comes about. (i)-(ii) together demand a sparse semantics for "too/even," one that can work with different kinds (...) of alternatives (focus, subdomain, scalar) and invoke suitably different further operators. (shrink)

The number of independent messages a physical system can carry is limited by the number of its adjustable properties. In particular, systems that have only one adjustable property cannot carry more than a single message at a time. We demonstrate this is the case for the single photons in the double-slit experiment, and the root of the fundamental limit on measuring the complementary aspect of the photons. Next, we analyze the other ‘quantal’ behavior of the systems with a single (...) adjustable property, such as noncommutativity and no-cloning. Finally, we formulate a mathematical theory to describe the dynamics of such systems and derive the standard Hilbert-space formalism of quantum mechanics. Our derivation demonstrates the physical foundation of the quantum theory. (shrink)

The purpose of my paper is to show the derivation of what is sometimes called the ‘new liberalism’ (or ‘progressive liberalism’) from the basic principles of classical liberalism, through a reading of John Locke’s treatment of the right to property in his Second Treatise of Government. Locke’s work sharply distinguishes between the natural right to property in the ‘state of nature’ and the societal right to property as established in a socio-economic political system. Whereas the former does not depend on (...) the consent of others, it is qualified by strict limits on the amount of property that may be rightly acquired. The societal right to property lifts these limits but is justified only under the principle of universal consent. This principle, I argue, implies the Rawlsian difference principle; i.e., that the regulation and distribution of property must be such as would elicit the freely proffered consent of society’s least advantaged members. (shrink)

We analyze the properties of optimum portfolios, the price of which is considered a new quantum variable and derive a quantum analog of the Black-Scholes formula for the price of financial variables in assumption that the market dynamics can by considered as its continuous weak measurement at no-arbitrage condition.

This article attempts to elucidate the phenomenon of time and its relationship to consciousness. It defends the idea that time exists both as a psychological or illusory experience, and as an ontological property of spacetime that actually exists independently of human experience.

In this paper I offer a unified causal account of natural kinds. Using as a starting point the widely held view that natural kind terms or predicates are projectible, I argue that the ontological bases of their projectibility are the causal properties and relations associated with the natural kinds themselves. Natural kinds are not just concatenations of properties but ordered hierarchies of properties, whose instances are related to one another as causes and effects in recurrent causal processes. (...) The resulting account of natural kinds as clusters of core causal properties that give rise to clusters of derivative properties enables us to distinguish genuine natural kinds from non-natural kinds. For instance, it enables us to say why some of the purely conventional categories derived from the social domain do not correspond to natural kinds, though other social categories may. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic (...) properties, but each property could have had an instance, and would have been located in its instances if it had any. (shrink)

Many ordinary things are made up of material things. For example, the statue of Ferdousi in the University of Tehran is made up of a particular piece of bronze. Calling the relation between the statue of Ferdousi and that piece of bronze material constitution, many philosophers have claimed that this relation between a material thing and the thing that it constitutes is identity. Baker, in contrast, believes that these things have genuine unity without necessary identity. In this article, I first (...) illustrate the principles of Baker’s theory and his explanation of this relation. Then I will assess the theory against objections. I will conclude that this theory can successfully explain relation between many of material things, but concerning things belonging to human beings, the theory fails to introduce a criterion for constitution. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

1) Introduction. 2) The key libertarian insight into property and orthodox libertarianism’s philosophical confusion. 3) Clearer distinctions for applying to what follows: abstract liberty; practical liberty; moral defences; and critical rationalism. 4) The two dominant (‘Lockean’ and ‘Hobbesian’) conceptions of interpersonal liberty. 5) A general account of libertarianism as a subset of classical liberalism and defended from a narrower view. 6) Two abstract (non-propertarian, non-normative) theories of interpersonal liberty developed and defended: ‘the absence of interpersonal initiated imposed constraints on want-satisfaction’, (...) abbreviated to ‘no initiated imposed costs’; and ‘no imposed costs’. 7) Practical implications for both main abstract conceptions of liberty derived and compared. 8) How this positive analysis relates to morals. 9) Concluding conjectures: the main abstract theory of liberty captures the relevant interpersonal conception; the new paradigm of libertarianism solves the old one’s problems. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

According to the worm theory, persons are (maximal) aggregates of person-stages existing at different times. Personites, on the other hand, are non-maximal aggregates of stages that are nonetheless very much like persons. Their existence appears to make instances of prudential self-sacrifice morally problematic: the personites that exist at the time of the sacrifice but not at the time of the reward seem to be unfairly exploited. Instances of punishment appear to give rise to a similar problem. We argue that these (...) impressions arise from a mistaken assumption about which beings are the primary bearers of properties such as suffering, receiving compensation (in the future) and having (previously) committed a crime. According to the worm theory, stages, rather than persons or personites, possess these properties. Persons and personites have these properties only in a derivative sense. As we show, once this clarification and related ones are made, the apparent moral problems raised by the existence of personites dissolve. (shrink)

A slew of conceivability arguments have been given against physicalism. Many physicalists try to undermine these arguments by offering accounts of phenomenal concepts that explain how there can be an epistemic gap, but not an ontological gap, between the phenomenal and the physical. Some complain, however, that such accounts fail to do justice to the nature of our introspective grasp of phenomenal properties. A particularly influential version of this complaint comes from David Chalmers (1996; 2003), who claims, in opposition (...) to the accounts of phenomenal concepts described above, that phenomenal concepts have primary and secondary intensions that coincide in all worlds. In this paper, I construct an argument that casts doubt upon Chalmers' claim. At the heart of this argument is an idea that Chalmers shows some affinity for: namely, that introspection doesn't reveal whether phenomenal properties are fundamental properties or whether they are derived from more basic protophenomenal properties. I argue that this claim implies that the primary and secondary intensions of our phenomenal concepts do not coincide in all worlds. In this way, I show that a plausible idea about the powers of introspection – an idea that Chalmers himself is drawn to – is a reason for rejecting the claim that phenomenal concepts have primary and secondary intensions that coincide in all worlds. (shrink)

The main aim of this article is to pose and consider the following question: Does the reasoning that led to Kripkenstein’s sceptical paradox undermine all versions of materialism, including nonreductive materialism? First, I present other versions of materialism in the philosophy of mind. Then I point out that, according to nonreductive materialists, one can neither define mental properties in terms of physical properties nor derive psycho‑physical laws from the laws of physics. The presently‑understood thesis of materialism is confined (...) by the following claim: the same distribution of physical properties entails the same distribution of mental properties. In other words, the mental properties supervene upon physical properties. This account then leads to the following formulation of the main question: Assuming that Kripkenstein is right, do mental properties supervene upon physical properties? Taking into account that answering this question requires a discussion of the notions of supervenience and Kripkenstein’s paradox, I devote two parts of my paper to these topics. The conclusion which I reach is as follows: If the reasoning that led to Kripkenstein’s paradox is correct, mental properties can only globally supervene upon physical properties, and consequently no version of materialism can be empirically justified. (shrink)

In this article I examine several related views expressed by Robin Hendry concerning molecular structure, emergence and chemical bonding. There is a long-standing problem in the philosophy of chemistry arising from the fact that molecular structure cannot be strictly derived from quantum mechanics. Two or more compounds which share a molecular formula, but which differ with respect to their structures, have identical Hamiltonian operators within the quantum mechanical formalism. As a consequence, the properties of all such isomers yield (...) precisely the same calculated quantities such as their energies, dipole moments etc. The only means through which the difference between the isomers can be recovered is to build their structures into the quantum mechanical calculations, something that is carried out by the application of the Born-Oppenheimer approximation. Consequently, it has been argued by many authors that molecular structure is written in ‘by hand’ rather than derived. Robin Hendry is one such author, but he goes a great deal further by proposing that this situation implies the existence of emergence and downward causation. In the current article I argue that there are alternative explanations which render emergence and downward causation redundant. Such an alternative lies in the notion of quantum decoherence and the appeal to work in the foundations of physics, which posits that the various isomers exist as a superposition until their wavefunctions are collapsed either by observation or by interacting with their environment. Hendry also alludes to a debate among chemists as to whether chemical bonds are real or not, in the sense of directional connections between two or more nuclei in any given molecule. I reject this view and propose that the structural and energetic views of chemical bonding, that have been discussed by some philosophers of chemistry including Hendry, do not refer to any essential ontological differences. I agree that chemists view bonding in a more realistic fashion and may consider bonds to be in some senses real, while physicists may consider bonding in more abstract energetic terms. However, I do not believe that such differences in scientific practice and attitudes should be considered to offer a window as to the ontological status of bonding or whether bonding is real. Finally, I discuss the kinetic energy school of chemical bonding which would seem to challenge any notion of bonds as directional entities, since bonding is no longer regarded as being primarily due to the build-up of electron density between nuclei. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

Provocatively, David Armstrong's properties are supposed to be both universals and spatio-temporal. What does this amount to? I consider four of Armstrong's views, in order of ascending plausibility: (1) the exemplification account, on which universals are exemplified by space-times; (2) the location account, on which universals are located at space-times; (3) the first constituent account, on which spatio-temporal relations are elements of what I call the form of time; and, the true view, (4) the second constituent account, on which (...) universals are spatio-temporal only 'derivatively' by being constituents of states of affairs which are so 'primarily'. The first two accounts are rejected because they entail that space-times must be substantival. In making plausible the second constituent account, I distinguish primitive and derivative spatio-temporality. Something is primitively spatio-temporal when it is at a space-time, or stands in spatio-temporal relations. Something is derivatively spatio-temporal when it is a constituent of something primitively spatio-temporal. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed most extensively by (...) Romero and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists (...) in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

For Humean atomists, cosmic contents supervene on a spatiotemporal mosaic of modally insulated, freely recombinable local qualities. One piecemeal subspecies of Humean atomism promises more than global supervenience—somehow or other—on a separable base; it constrains how exactly elemental inputs yield everything else. Roughly, the distribution of basic local qualities across elements in one part of our cosmos metaphysically suffices for the complete local physical state of that part: anything sharing this part’s basic elemental decoration should share its more complete contents, (...) regardless of what may be happening elsewhere. On a non-piecemeal alternative, derivative contents can be recognizably local to, or manifest within, one part of our cosmos while reflecting some more global elemental base. To develop this alternative, non-piecemeal Humeans can borrow inspiration from some critics of Humean supervenience, who already distinguish a broader notion of locality from strict Humean intrinsicality. (shrink)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression and (...) marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

Wigner's quantum-mechanical classification of particle-types in terms of irreducible representations of the Poincaré group has a classical analogue, which we extend in this paper. We study the compactness properties of the resulting phase spaces at fixed energy, and show that in order for a classical massless particle to be physically sensible, its phase space must feature a classical-particle counterpart of electromagnetic gauge invariance. By examining the connection between massless and massive particles in the massless limit, we also derive a (...) classical-particle version of the Higgs mechanism. (shrink)

The evolution of the human mind through natural selection mandates that our conscious experiences are causally potent in order to leave a tangible impact upon the surrounding physical world. Any attempt to construct a functional theory of the conscious mind within the framework of classical physics, however, inevitably leads to causally impotent conscious experiences in direct contradiction to evolution theory. Here, we derive several rigorous theorems that identify the origin of the latter impasse in the mathematical properties of ordinary (...) differential equations employed in combination with the alleged functional production of the mind by the brain. Then, we demonstrate that a mind--brain theory consistent with causally potent conscious experiences is provided by modern quantum physics, in which the unobservable conscious mind is reductively identified with the quantum state of the brain and the observable brain is constructed by the physical measurement of quantum brain observables. The resulting quantum stochastic dynamics obtained from sequential quantum measurements of the brain is governed by stochastic differential equations, which permit genuine free will exercised through sequential conscious choices of future courses of action. Thus, quantum reductionism provides a solid theoretical foundation for the causal potency of consciousness, free will and cultural transmission. (shrink)

The hard problem of consciousness arises in most incarnations of present day physicalism. Why should certain physical processes necessarily be accompanied by experience? One possible response is that physicalism itself should be modified in order to accommodate experience: But, modified how? In the present work, we investigate whether an ontology derived from quantum field theory can help resolve the hard problem. We begin with the assumption that experience cannot exist without being accompanied by a subject of experience (SoE). While (...) people well versed in Indian philosophy will not find that statement problematic, it is still controversial in the analytic tradition. Luckily for us, Strawson has elaborately defended the notion of a thin subject—an SoE which exhibits a phenomenal unity with different types of content (sensations, thoughts etc.) occurring during its temporal existence. Next, following Stoljar, we invoke our ignorance of the true physical as the reason for the explanatory gap between present day physical processes (events, properties) and experience. We are therefore permitted to conceive of thin subjects as related to the physical via a new, yet to be elaborated relation. While this is difficult to conceive under most varieties of classical physics, we argue that this may not be the case under certain quantum field theory ontologies. We suggest that the relation binding an SoE to the physical is akin to the relation between a particle and (quantum) field. In quantum field theory, a particle is conceived as a coherent excitation of a field. Under the right set of circumstances, a particle coalesces out of a field and dissipates. We suggest that an SoE can be conceived as akin to a particle—a SelfOn—which coalesces out of physical fields, persists for a brief period of time and then dissipates in a manner similar to the phenomenology of a thin subject. Experiences are physical properties of selfons with the constraint (specified by a similarity metric) that selfons belonging to the same natural kind will have similar experiences. While it is odd at first glance to conceive of subjects of experience as akin to particles, the spatial and temporal unity exhibited by particles as opposed to fields and the expectation that selfons are new kinds of particles, paves the way for cementing this notion. Next, we detail the various no-go theorems in most versions of quantum field theory and discuss their impact on the existence of selfons. Finally, we argue that the time is ripe for a rejuvenated Indian philosophy to begin tackling the three-way relationship between SoEs (which may become equivalent to jivas in certain Indian frameworks), phenomenal content and the physical world. With analytic philosophy still struggling to come to terms with the complex worlds of quantum field theory and with the relative inexperience of the western world in arguing the jiva-world relation, there is a clear and present opportunity for Indian philosophy to make a worldcentric contribution to the hard problem of experience. (shrink)

It may seem that when you have an emotional response to a perceived object or event that makes it seem to you that the perceived source of the emotion possesses some evaluative property, then you thereby have prima facie, immediate justification for believing that the object or event possesses the evaluative property. Call this view ‘dogmatism about emotional justification’. We defend a view of the structure of emotional awareness according to which the objects of emotional awareness are derived from (...) other experiences such as bodily sensation, inner awareness, sensory perception, memory, and imagination. On this basis, we argue that dogmatism about emotional justification is an untenable position, regardless of whether the special feature of an immediate justifier that makes it an immediate justifier is its presentational phenomenology or its evidence insensitivity. (shrink)

Neutrosophic set has been derived from a new branch of philosophy, namely Neutrosophy. Neutrosophic set is capable of dealing with uncertainty, indeterminacy and inconsistent information. Neutrosophic set approaches are suitable to modeling problems with uncertainty, indeterminacy and inconsistent information in which human knowledge is necessary, and human evaluation is needed. Neutrosophic set theory was firstly proposed in 1998 by Florentin Smarandache, who also developed the concept of single valued neutrosophic set, oriented towards real world scientific and engineering applications. Since (...) then, the single valued neutrosophic set theory has been extensively studied in books and monographs, the properties of neutrosophic sets and their applications, by many authors around the world. Also, an international journal - Neutrosophic Sets and Systems started its journey in 2013. Neutrosophic triplet was first defined in 2016 by Florentin Smarandache and Mumtaz Ali and they also introduced the neutrosophic triplet groups in the same year. For every element “x” in a neutrosophic triplet set A, there exist a neutral of “x” and an opposite of “x”. Also, neutral of “x” must be different from the classical neutral element. Therefore, the NT set is different from the classical set. Furthermore, a NT of “x” is showed by . This first volume collects original research and applications from different perspectives covering different areas of neutrosophic studies, such as decision making, Triplet, topology, and some theoretical papers. This volume contains three sections: NEUTROSOPHIC TRIPLET, DECISION MAKING, AND OTHER PAPERS. (shrink)

[This is an earlier (1997), much longer and more detailed version of my entry on LOTH in the _Stanford Encyclopedia of Philosophy_] The Language of Thought Hypothesis (LOTH) is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation (...) that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

The study of complex systems, although an interdisciplinary endeavor, it is considered as an integrating part of physical sciences. Contrary to the historical fact that the eld is already mature, it still lacks a clear and unambiguous denition of its main object of study. Here, I propose a denition of complex systems based on the conceptual clarications made by Edgar Morin about the bidirectional non-separability of parts and whole produced by the nature of interactions. The concept to which I arrived (...) here is clear, not circular, neither too cryptic nor to explicit, and does not include any accompanying features of the own system dened. It allows, as shown in the paper, to derive some of the main properties that such systems must have as well as to propose its mathematical formalization. (shrink)

Schlenker (Semant Pragmat 2(3):1–78, 2009; Philos Stud 151(1):115–142, 2010a; Mind 119(474):377–391, 2010b) provides an algorithm for deriving the presupposition projection properties of an expression from that expression’s classical semantics. In this paper, we consider the predictions of Schlenker’s algorithm as applied to attitude verbs. More specifically, we compare Schlenker’s theory with a prominent view which maintains that attitudes exhibit belief projection, so that presupposition triggers in their scope imply that the attitude holder believes the presupposition (Karttunen in Theor Linguist (...) 34(1):181, 1974; Heim in J Semant 9(3):183–221, 1992; Sudo in The art and craft of semantics: a festschrift for Irene Heim, MIT Press, 2014). We show that Schlenker’s theory does not predict belief projection, and discuss several consequences of this result. (shrink)

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision (...) by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (shrink)

Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable (...) fixed throughout a quantificational context while the other allows them to vary. Inspired by Dynamic Plural Logic and Dependence Logic, we propose Plural Predicate Logic as an extension of Predicate Logic to formalize this difference. We suggest that temporal <i>for</i>-adverbials are sensitive to aspect because of the way they manipulate quantificational contexts, and that analogous manipulations occur with spatial <i>for</i>-adverbials, habituals, and the quantifier <i>all</i>. (shrink)

It is often argued that higher-level special-science properties cannot be causally efficacious since the lower-level physical properties on which they supervene are doing all the causal work. This claim is usually derived from an exclusion principle stating that if a higher-level property F supervenes on a physical property F* that is causally sufficient for a property G, then F cannot cause G. We employ an account of causation as difference-making to show that the truth or falsity of (...) this principle is a contingent matter and derive necessary and sufficient conditions under which a version of it holds. We argue that one important instance of the principle, far from undermining non-reductive physicalism, actually supports the causal autonomy of certain higher-level properties. (shrink)

The goals of this paper are two-fold: I wish to clarify the Aristotelian conception of the law of non-contradiction as a metaphysical rather than a semantic or logical principle, and to defend the truth of the principle in this sense. First I will explain what it in fact means that the law of non-contradiction is a metaphysical principle. The core idea is that the law of non-contradiction is a general principle derived from how things are in the world. For (...) example, there are certain constraints as to what kind of properties an object can have, and especially: some of these properties are mutually exclusive. Given this characterisation, I will advance to examine what kind of challenges the law of non-contradiction faces; the main opponent here is Graham Priest. I will consider these challenges and conclude that they do not threaten the truth of the law of non-contradiction understood as a metaphysical principle. (shrink)

The Integrated Information Theory of consciousness (IIT) claims that consciousness is identical to maximal integrated information, or maximal Φ. One objection to IIT is based on what may be called the intrinsicality problem: consciousness is an intrinsic property, but maximal Φ is an extrinsic property; therefore, they cannot be identical. In this paper, I show that this problem is not unique to IIT, but rather derives from a trilemma that confronts almost any theory of consciousness. Given most theories of consciousness, (...) the following three claims are inconsistent. INTRINSICALITY: Consciousness is intrinsic. NON-OVERLAP: Conscious systems do not overlap with other conscious systems (a la Unger’s problem of the many). REDUCTIONISM: Consciousness is constituted by more fundamental properties (as per standard versions of physicalism and Russellian monism). In view of this, I will consider whether rejecting INTRINSICALITY is necessarily less plausible than rejecting NON-OVERLAP or REDUCTIONISM. I will also consider whether IIT is necessarily committed to rejecting INTRINSICALITY or whether it could also accept solutions that reject NON-OVERLAP or REDUCTIONISM instead. I will suggest that the best option for IIT may be a solution that rejects REDUCTIONISM rather than INTRINSICALITY or NON-OVERLAP. (shrink)

In the _Meditations_ and related texts from the early 1640s, Descartes argues that the self can be correctly considered as either a mind or a human being, and that the self’s properties vary accordingly. For example, the self is simple considered as a mind, whereas the self is composite considered as a human being. Someone might object that it is unclear how merely considering the self in different ways blocks the conclusion that a single subject of predication—the self—is both (...) simple and composite, which is contradictory. In response to this objection, this paper develops a reading of Descartes’s various ways of considering the self. I argue that the best reading of Descartes’s qualified claims about the self, i.e., about the self _qua_ mind or the self qua human being, presupposes an account of the unqualified self, that is, of the self _simpliciter_. I argue that the self _simpliciter_ is not a mind, and that it is not a human being either. This result might suggest the pessimistic conclusion that Descartes’s view of the self is incoherent. To avoid this result, I introduce a new metaphysical account of the Cartesian self. On my view, the self is individuated by a unified mental life. The self is constituted by the beings that jointly produce this mental life, and derives its unity from it. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.

A prominent view holds that perception and memory are distinguished at least partly by their temporal orientation: Perception functions to represent the present, while memory functions to represent the past. Call this view perceptual presentism. This chapter critically examines perceptual presentism in light of contemporary perception science. I adduce evidence for three forms of perceptual sensitivity to the past: (i) shaping perception by past stimulus exposure, (ii) recruitment of mnemonic representations in perceptual processing, and (iii) perceptual representation of present objects (...) as possessing past properties. I argue that forms (i) and (ii) are consistent with perceptual presentism, while form (iii) poses a genuine threat to the view. While the empirical case for form (iii) remains inconclusive, I suggest that the most serious challenges to perceptual presentism derive from representations that integrate mnemonic and present-tensed elements in the performance of canonical perceptual functions, such as perceiving object continuity over time. (shrink)