This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

Abstract Theories are metaphysically equivalent just if there is no fact of the matter that could render one theory true and the other false. In this paper I argue that if we are judiciously to resolve disputes about whether theories are equivalent or not, we need to develop testable criteria that will give us epistemic access to the obtaining of the relation of metaphysical equivalence holding between those theories. I develop such ?diagnostic? criteria. I argue that correctly inter-translatable (...) theories are metaphysically equivalent, and what we need are ways of determining whether a putative translation is correct or not. To that end I develop a number of tools we can employ to discern whether a translation is a correct one. (shrink)

William James declared a moral war, Charles Peirce a metaphysical one: "fall into the ranks then" was his battle cry, follow your colonel. Keep your one purpose steadily and alone in view, and you may promise yourself the attainment of your sole desire, which is to hasten the chariot wheels of redeeming love. (6.448:1893) Peirce's was a war not against war, but against the metaphysical equivalent of war, individuation. In the field of social philosophy, Peirce's enemy appeared under (...) the alias of Darwinism, which Peirce fought with Christian Love. In the field of metaphysics, it appeared under the alias of nominalism, which Peirce fought with his special brand of pragmatic realism. But most challenging of all, the enemy appeared within Peirce's own thought under the alias of what I call Kantian conceptualism, and it took Peirce most of his career to win the battle. (shrink)

Review of Meta-Metaphysics: On Metaphysical Equivalence, Primitiveness, and Theory Choice (Springer, Synthese Library, 2016). By Jiri Benovsky.

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this (...) paper, I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

For many years I have maintained that I learned to philosophize by translating Francisco Suárez’s Metaphysical Disputation V from Latin into English. This surely is a claim that must sound extraordinary to the members of this audience or even to most twentieth century philosophers. Who reads Suárez these days? And what could I learn from a sixteenth century scholastic writer that would help me in the twentieth century? I would certainly be surprised if one were to find any references (...) to some of Suárez’s works in any of the works of twentieth-century major philosophers. One of the reasons for my claim is the great difficulty I had in figuring out what Suárez’s text means and how to render it understandable to English readers. Translating the text forced me to think in ways that were quite different from those I was used to think in Spanish, my native tongue, or English, my adoptive tongue. In fact, the translation I produced after having completed many drafts continued, and still continues to this day, to appear to me unsatisfactory, and that dissatisfaction was the key to understanding things I had understood very differently before. I hope to make clear why in what follows. The thesis that I defend is that semantic equivalence between texts of philosophy in different languages is difficult, if not impossible in some cases, to achieve and, therefore, that it is a mistake to restrict doing analytic philosophy to English, as Gustavo Rodríguez-Pereyra argues we should do in a recent article (2013). (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with (...) first-order quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...) I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical (...) consequence. I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

Recently, Dewar (2019) has suggested that one can apply the strategy of 'sophistication' - as exemplified by sophisticated substantivalism as a response to the diffeomorphism invariance of General Relativity - to gauge theories such as electrodynamics. This requires a shift to the formalism of fibre bundles. In this paper, I develop and defend this suggestion. Where my approach differs from previous discussions is that I focus on the metaphysical picture underlying the fibre bundle formalism. In particular, I aim to (...) affirm the physical reality of gauge properties. I argue that this allows for a local and separable explanation of the Aharonov-Bohm effect. Its puzzling features are explained by a form of holism inherent to fibre bundles. (shrink)

In this paper I argue that both defence and criticism of the claim that humans act ‘under the guise of the good’ neglects the metaphysical roots of the theory. I begin with an overview of the theory and its modern commentators, with critics noting the apparent possibility of acting against the good, and supporters claiming that such actions are instances of error. These debates reduce the ‘guise of the good’ to a claim about intention and moral action, and in (...) so doing have become divorced from the theory's roots in classical and medieval philosophy. Aristotle and Aquinas’ ‘guise of the good’ is primarily a metaphysical claim resting on the equivalence between actuality and goodness, from which conclusions about moral action are derived. I show the reasoning behind their theory and how it forms the basis for the claims about intention and action at the centre of the modern debate. Finally, I argue that the absence of its original foundation is apparent in recent attacks on the ‘guise of the good’. It is unsurprising that modern action theory and ethics have not always been able to comfortably accommodate the ‘guise of the good’; they are only telling half of the story. (shrink)

This essay develops a interpretation of Leibniz’ theory of motion that strives to integrate his metaphysics of force with his doctrine of the equivalence of hypotheses, but which also supports a realist, as opposed to a fully idealist, interpretation of his natural philosophy. Overall, the modern approaches to Leibniz’ physics that rely on a fixed spacetime backdrop, classical mechanical constructions, or absolute speed, will be revealed as deficient, whereas a more adequate interpretation will be advanced that draws inspiration from (...) an invariantist conception of reality and recent non-classical theories of physics. (shrink)

The monograph is an English, expanded and revised version of the book Cheshko, V. T., Ivanitskaya, L.V., & Glazko, V.I. (2018). Anthropocene. Philosophy of Biotechnology. Moscow, Course. The manuscript was completed by me on November 15, 2019. It is a study devoted to the development of the concept of a stable evolutionary human strategy as a unique phenomenon of global evolution. The name “An Evolutionary Metaphysics (Cheshko, 2012; Glazko et al., 2016). With equal rights, this study could be entitled “Biotechnology (...) as a result and factor of the evolutionary processˮ. The choice in favor of used “The Evolutionary Metaphysics of Human Enhancement Technologiesˮ was made in accordance with the basic principle of modern post-academician and human-sized science, a classic example of which is biotechnology. The “Metaphysics of Evolution” and “Evolutionary Metaphysics” concepts are used in several ways in modern philosophical discourse. In any case, the values contain a logical or associative reference to the teleological nature of the evolutionary process (Hull, 1967, 1989; Apel, 1995; Faye, 2016; Dupre, 2017; Rose, 2018, etc). In our study, the “evolutionary metaphysics” serves to denote the thesis of the rationalization and technologization of global evolution and anthropogenesis, in particular. At the same time, the postulate of an open future remains relevant in relation to the results of the evolutionary process. The theory of evolution of complex, including the humans system and algorithm for its constructing are а synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science. ln other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based оn the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined bу descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot bе instrumental reduced to others ones. Resulting volume of both parameters define the vectors of blological, social, cultural and techno-rationalistic human evolution Ьу two gear mechanism genetic and cultural co-evolution and techno-humanitarian balance. The resultant each of them сап estimated Ьу the ratio of socio-psychological predispositions of humanization / dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the blological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). It is seem necessary to make three clarifications. First, logical construct, “evolutionary metaphysics” contains an internal contradiction, because it unites two alternative explanatory models. “Metaphysics”, as a subject, implies deducibility of the process from the initial general abstract principle, and, consequently, the outcome of the development of the object is uniquely determined by the initial conditions. Predicate, “evolutionary”, means stochastic mechanism of realizing the same principle by memorizing and replicating random choices in all variants of the post-Darwin paradigm. In philosophy, random choice corresponds to the category of “free will” of a reasonable agent. In evolutionary theory, the same phenomenon is reflected in the concept of “covariant replication”. Authors will attempt to synthesize both of these models in a single transdisciplinary theoretical framework. Secondly, the interpretation of the term “evolutionary (adaptive) strategyˮ is different from the classical definition. The difference is that the adaptive strategy in this context is equivalent to the survival, i.e. it includes the adaptation to the environment and the transformation (construction) of the medium in accordance with the objectives of survival. To emphasize this difference authors used verbal construction “adaptiveˮ (rather than “evolutionaryˮ) strategy as more adequate. In all other cases, the two terms may be regarded as synonymous. Thirdly, the initial two essays of this series were published in one book in 2012. Their main goal was the development of the logically consistent methodological concept of stable adaptive (evolutionary) strategy of hominines and the argumentation of its heuristic possibilities as a transdisciplinary scientific paradigm of modern anthropology. The task was to demonstrate the possibilities of the SESH concept in describing and explaining the evolutionary prospects for the interaction of social organization and technology (techno-humanitarian balance) and the associated biological and cultural mechanisms of the genesis of religion (gene-cultural co-evolution). In other words, it was related to the sphere of cultural and philosophical anthropology, i.e. to the axiological component of any theoretical constructions describing the behavior of self-organizing systems with human participation. In contrast, the present work is an attempt to introduce this concept into the sphere of biological anthropology and, consequently, its main goal is to demonstrate the possibility of verification of its main provisions by means of procedures developed by natural science, i.e. refers to the descriptive component of the same theoretical constructions. The result of this in the future should be methods for assessing, calculating and predicting the risk of loss of biological and cultural identity of a person, associated with a permanent and continuously deepening process of development of science and technology. (shrink)

My departed point is the assessment that plurality in broadest sense characterizing any post- (for example: post-modernity, post-metaphysical, etc.) context is first of all plurality of whole. We may speak about wholes, movement of whole, and lack of any universal whole. Part do not already belongs to whole implicitly granted and common of all other parts. Now we may speak of parts in another relation: non of parts as parts of some common of all parts whole, but parts of (...) difference wholes, and at the same time without any universal whole common of all the wholes. The paper is devoted concretely to the influence of such a comprehension of whole upon some basic notion of physics (especially quantum mechanics and information, relativity) and mathematics, namely probability, set, movement,time. Their changes exert influence upon the fundamental pbilosophical concepts of being and time, knowledge and being-in-the-world. The new conception of fractal, and its meaning in philosophy points out, too. Constancy and always existing of whole is equivalent to Newton time, energy conservation law, local realism and ''hidden parameters" of any correlations, a union of sets exists always if the two sets are granted. (shrink)

The basic principles of Cipra's metaphysics (according to his book "Metamorphoses of Metaphysics") are analyzed with respect to Cipra's request for the revision of classical logical principles (of identity, excluded middle and contradiction). In Cipra's metaphysics, the principle of identity holds for being, necessity and past only, the principle of excluded middle does not hold for coming-to-be, possibility and present, and the principle of contradiction does not hold for the actuality, reality (freedom) and future. A propositional and first-order temporal model (...) and semantics are defined for such a concept of metaphysical time. The propositional ockhamistic branching time model is extended, in a first-order model, with a non-empty set of object shapes and an equivalence relation between object shapes in time, so that, for example, different, previously equivalent object shapes can in future contradict one another. (shrink)

According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

The mathematical structure of realist quantum theories has given rise to a debate about how our ordinary 3-dimensional space is related to the 3N-dimensional configuration space on which the wave function is defined. Which of the two spaces is our (more) fundamental physical space? I review the debate between 3N-Fundamentalists and 3D-Fundamentalists and evaluate it based on three criteria. I argue that when we consider which view leads to a deeper understanding of the physical world, especially given the deeper topological (...) explanation from the unordered configurations to the Symmetrization Postulate, we have strong reasons in favor of 3D-Fundamentalism. I conclude that our evidence favors the view that our fundamental physical space in a quantum world is 3-dimensional rather than 3N-dimensional. I outline lines of future research where the evidential balance can be restored or reversed. Finally, I draw lessons from this case study to the debate about theoretical equivalence. (shrink)

Amie Thomasson challenges advocates of layered conceptions of reality to explain “how layers are distinguished” and “what holds them together” by “examining the world” (2014). One strategy for answering such questions is mereological, treating inter-layer relations as parthood relations, where layers exist whenever composition does, and the number of layers will be equivalent to the number of answers to Peter Van Inwagen’s Special Composition Question, while answers to his General Composition Question explain what holds the layers together (1987). Various answers (...) have been proffered for these questions, from the physicalist atomism of Richard Feynman (2015), Hilary Putnam (1958), and Kit Fine (1992) to the holism of Jonathan Schaffer (2010), the two-layer emergentism of Van Inwagen himself (1995), Tim Maudlin’s three-layered “flash ontology” (2011), and Rob Koons two-layered “thermal substances” (2019). In this PhD project, I seek to meet Thomasson’s challenge by identifying which of these proposals are compatible with plausible interpretations of quantum physics. Atomist answers may have difficulty with relativity, while holistic and emergentist models have trouble giving an account of experimental conditions. Maudlin and Koons’ views, meanwhile, may make testable predictions about the scope of entanglement. Examining the world can lead us to sharply winnow our theories about how layers are distinguished and what holds them together. (shrink)

Metaphysical theories heavily rely on the use of primitives to which they typically appeal. I will start by examining and evaluating some traditional well-known theories and I will discuss the role of primitives in metaphysical theories in general. I will then turn to a discussion of claims of between theories that, I think, depend on equivalences of primitives, and I will explore the nature of primitives. I will then claim that almost all explanatory power of metaphysical theories (...) comes from their primitives, and so I will turn to scrutinize the notion of "power" and "explanatory". (shrink)

In this chapter, I argue that Kant can be read as holding that "ought" judgments follow from certain "is" judgments by mere analysis. More specifically, I defend an interpretation according to which (1) Kant holds that “S ought to F” is analytically equivalent to “If, as it can and would were there no other influences on the will, S’s faculty of reason determined S’s willing, S would F” and (2) Kant’s notions of reason, the will, and freedom are all fundamentally (...) non-normative. Not only does this reading have significant textual support, but, I claim, it also sheds light on why Kant takes freedom and morality to mutually imply one another. Moreover, while Kant does take there to be a gap between moral judgments and empirical descriptive statements, that gap is consistent with the analysis in question. I conclude by arguing that this rejection of the is-ought gap is not as philosophically implausible as it might seem, with a focus on G.E. Moore and Hume’s arguments for certain ‘gaps’ between the normative and the non-normative. (shrink)

The quantum information introduced by quantum mechanics is equivalent to that generalization of the classical information from finite to infinite series or collections. The quantity of information is the quantity of choices measured in the units of elementary choice. The qubit can be interpreted as that generalization of bit, which is a choice among a continuum of alternatives. The axiom of choice is necessary for quantum information. The coherent state is transformed into a well-ordered series of results in time after (...) measurement. The quantity of quantum information is the ordinal corresponding to the infinity series in question. Number and being (by the meditation of time), the natural and artificial turn out to be not more than different hypostases of a single common essence. This implies some kind of neo-Pythagorean ontology making related mathematics, physics, and technics immediately, by an explicit mathematical structure. (shrink)

Is there a difference between recollecting episodes from the past and recalling autobiographically? Both in the philosophical and psychological literature, it does not seem that there is a consensus on whether autobiographical memories should be considered as a metaphysically equivalent concept to episodic memories or a different category of memory entirely. In this article, I give reasons to believe that autobiographical memories do not relate to the recollection of past episodes since they do not have an associated subjective experience and (...) the consequential experience of mental time travel. Autobiographical memories, I argue, are presented as a narrative that is constructed propositionally, thus differing substantially from episodic memory in its subjective property, the reference to the self, and the content in which each one is grounded. To do so, first I use data from the psychological literature on amnesic patients as evidence for both the difference in phenomenology and content. And second, I use insights from recent philosophical literature on memory and the self, to defend that what is referred here as “autobiographical memory” is indeed a different kind of memory that differs substantially from episodic memory and slightly from semantic memory. (shrink)

Several metaphysical debates have typically been modeled as oppositions between a relationist approach and a substantivalist approach. Such debates include the Bundle Theory and the Substratum Theory about ordinary material objects, the Bundle (Humean) Theory and the Substance (Cartesian) Theory of the Self, and Relationism and Substantivalism about time. In all three debates, the substantivalist side typically insists that in order to provide a good treatment of the subject-matter of the theory (time, Self, material objects), it is necessary to (...) postulate the existence of a certain kind of substance, while the other side, the relationist one, characteristically feels that this is an unnecessary expense and that one can get the job done in an ontologically cheaper way just with inter-related properties or events. In this paper I shall defend the view that there is much less of a disagreement between relational ontologies and substantival ontologies than it is usually thought. I believe that, when carefully examined, the two sides of the debate are not that different from each other, in all three cases of pairs of views mentioned above. As we will see, both the relational side and the substantival side work in the same way, suffer from and answer the same objections, and are structurally extremely similar. It will be an important question – one that I shall discuss in detail, and that is indeed the main point of interest for me in this paper – whether this means that the two sides of the debate are somehow 'equivalent' or not, and what 'equivalent' could mean. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

Philosophers sometimes give arguments that presuppose the following principle: two theories can fail to be empirically equivalent on the sole basis that they present different “thick” metaphysical pictures of the world. Recently, a version of this principle has been invoked to respond to the argument that composite objects are dispensable to our best scientific theories. This response claims that our empirical evidence distinguishes between ordinary and composite-free theories, and it empirically favors the ordinary ones. In this paper, I ask (...) whether this response to the dispensability argument is tenable. I claim that it is not. This is because it presupposes an indefensible thesis about when two empirical consequences are distinct or the same. My argument provides some insight into what our empirical consequences are, and I conclude that empirical evidence is radically metaphysically neutral. This gives us some insight into the significant content of our scientific theories—the content that a scientific realist is committed to—and I show how this insight relates to questions about theoretical equivalence more broadly. (shrink)

Can We Ever See a Chair in its Totality? Synopsis of Chapter Submitted -/- Ayad Gharbawi 2023 Submission - Philosophy – Can we ever see a chair in its totality? Key Words: Metaphysics; Vision; Mind; Unity of Vision; Limitations of Man’s Perception. Word Count: 3,036 Words. Dear Sir/Madam; I hope this email finds you well. -/- My book represents a fundamental break from the conventional methodologies of psychology as it aims to be far more precise in describing the attributes of (...) the various ‘bits’ of the mind, such as – memories, vision, scent, sounds, thoughts, dreams and so on, which, in their turn, as stated, are equivalent to some sub-atomic particle quantum laws. Ultimately the book defines with strict specificity what the ‘I’, the ‘Self’ is in light of the multitudes of attributes of the parts that ultimately compose our mind, or our personality, both directly and indirectly [in other words our public and private ‘faces.’] As per this specific manuscript, I am sending you one chapter from my book – Can we ever see the ‘total’ vision of an object, say, a chair in its totality? -/- In this particular article, we note evidence that no observer can ever see the totality of any observed object because of the infinite number of variables that render it impossible for any human being to see the totality of a chair or of any perceived entity. -/- These ‘variables’ are listed in our manuscript – such as being stationary or not; optical accuracy; the angle from which the observer views the chair; the distance from which the observer views the chair; the fact that no human can see the chair from every position and angle and if the observer is not stationary and/or the chair is not stationary, those variables will also change the image of the perceived entity. -/- These variables are infinite in number which leads one to the conclusion that no perceived entity can ever be seen in its entirety given the innumerable and infinite factors that strictly govern and enforce the limitations of the vision of the observing agent in question. -/- That is of course but one mere fraction of the limitations that the observing agent has to accept. -/- Hence there is no totality of vision as per any object. No entity can ever be seen or ‘known’ in its entirety. -/- The ‘unity’ and reality of any vision of any phenomena and/or object is therefore impossible and that is one more cause why defining ‘reality’ is such a difficult if not an impossible task. -/- Thus, when we ask, ‘What does a chair look like?’ the answer is meaningless. -/- And what are the implications? -/- 1. Reality cannot be defined in any wholesome, unified manner. 2. Even though on a day-to-day basis we believe we know our minds and we see our environments, in truth, humans are severely restricted and limited to what they can know and see in their minds and their surroundings. 3. All we know and see as per our minds and our surroundings are changing discrete quantized snippets and slivers of so-called ‘reality’ – and I put the latter in those terms because reality is not and cannot be a unified, whole entity in any way and in any circumstance. -/- . (shrink)

The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the (...) class='Hi'>equivalence argument, explain the idealizing assumptions involved in it and sketch a version of the conceivability approach which weakens these assumptions in order to show that the notion of correct conceivability can still play a specific limited role in the epistemology of modality. (shrink)

This essay is the first part of an analysis on the form and matter in the works of Aristotle. Within the whole analysis, I shall examine passages taken from different works of Aristotle that are relevant to the investigation on form and matter. In this essay, I shall focus exclusively on the chapter Metaphysics Zeta 3. The concepts of substance, matter, ontological subject, form, composite substance, this something and separated, which are consistently used by Aristotle within the development of the (...) mentioned chapter, will be part of my survey of the contents of the chapter. The central argument of Metaphysics Zeta 3, which maintains the equivalence between substance and the feature represented by ontological subject, and which leads, through this first equivalence and through the equivalence between matter and ontological subject, to the result that matter is (the only) substance, will be investigated step by step so that all presuppositions, entailments, and consequences of the argument itself can be clearly shown. The problems which are caused by the mentioned equivalence of substance and ontological subject will be pointed out during my look at the chapter’s contents. In particular, Aristotle cannot accept that, in spite of the ontological subject being a correct feature of substance qua substance, substance is therewith reduced to matter. Being the ontological subject does not represent the only ontological feature of substance qua substance; the ontological features too of substance qua substance that are represented by being a this something and being separated belong to the concept of substance: they can never be forgotten within a right interpretation of substance. The identification of substance only with matter can never be accepted. Only the ontological values of substance represented by the form and by the composite substance possess the ontological features “being a this something” and “being separated”. Therefore, the ontological values of substance as form and as a composite substance must always be reckoned with in a correctly interpreted ontology. Neither of these values can be forgotten within an accurate inquiry of ontology. Hence, regardless of whether matter is substance and is correctly interpreted as substance, the values of substance as form and as composite substance must belong, in Aristotle’s view, to any right ontological system whatsoever. The plurality of values for substance, which I personally advocate, finds confirmation thanks to chapter Metaphysics Zeta 3: Matter, form, and composite substance all represent values for substance, despite the differences which they have as regards their own ontological features. (shrink)

In a recent paper, Jiri Benovsky argues that the bundle theory and the substratum theory, traditionally regarded as ‘deadly enemies’ in the metaphysics literature, are in fact ‘twin brothers’. That is, they turn out to be ‘equivalent for all theoretical purposes’ upon analysis. The only exception, according to Benovsky, is a particular version of the bundle theory whose distinguishing features render unappealing. In the present reply article, I critically analyse these undoubtedly relevant claims, and reject them.

The purpose of this article is to introduce, interpret, and develop two incompatible process -ontological theories of personal identity that have received little attention in analytic metaphysics. The first theory derives from the notion of personal identity proposed in Alfred North Whitehead’s philosophy, but I interpret this notion differently from previous commentators. The Whiteheadian theory may appeal to those who believe that personal identity involves an entity or entities that are essentially dynamic, but has nothing to do with diachronic objectual (...) identity : the binary equivalence relation that every entity bears to itself, and only to itself, even after undergoing intrinsic change. The Whiteheadian theory may also find favor with those who, like Whitehead, reject the possibility of pure processes and hold that in every becoming, something—which need not be an object, thing, or individual substance—becomes. The second theory derives from the notion of recurrent dynamics presented in Johanna Seibt’s General Process Theory. The Seibtian theory may appeal to those who believe that personal identity involves not only an entity or entities that are essentially dynamic, but also the relation of diachronic objectual identity. The Seibtian theory may also find favor with those who, like Broad and Sellars, find reason to postulate pure processes. (shrink)

This is a book about normativity -- where the central normative terms are words like 'ought' and 'should' and their equivalents in other languages. It has three parts: The first part is about the semantics of normative discourse: what it means to talk about what ought to be the case. The second part is about the metaphysics of normative properties and relations: what is the nature of those properties and relations whose pattern of instantiation makes propositions about what ought to (...) be the case true. The third part is about the epistemology of normative beliefs: how we could ever know, or even have rational or justified belief in, propositions about what ought to be the case. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

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

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

Daniel Dennett's distinction between personal and subpersonal explanations was fundamental in establishing the philosophical foundations of cognitive science. Since it was first introduced in 1969, the personal/subpersonal distinction has been adapted to fit different approaches to the mind. In one example of this, the ‘Pittsburgh school’ of philosophers attempted to map Dennett's distinction onto their own distinction between the ‘space of reasons’ and the ‘space of causes’. A second example can be found in much contemporary philosophy of psychology, where Dennett's (...) distinction has been presumed to be equivalent to Stephen Stich's distinction between doxastic and subdoxastic states. Both these interpretations of the personal/subpersonal distinction, and also Dennett's own philosophical views of the mind, go beyond the personal/subpersonal distinction itself. They each involve supplementing the distinction between personal and subpersonal explanations with metaphysical claims about the relationship between the two kinds of explanation and the entities they posit. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance (...) is objective but contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

The main claim that I want to defend in this paper is that the there are logical equivalences between eternalism and perdurantism on the one hand and presentism and endurantism on the other. By “logical equivalence” I mean that one position is entailed and entails the other. As a consequence of this equivalence, it becomes important to inquire into the question whether the dispute between endurantists and perdurantists is authentic, given that Savitt (2006) Dolev (2006) and Dorato (2006) (...) have cast doubts on the fact that the debate between presentism and eternalism is about “what there is”. In this respect, I will conclude that also the debate about persistence in time has no ontological consequences, in the sense that there is no real ontological disagreement between the two allegedly opposite positions: as in the case of the presentism/eternalism debate, one can be both a perdurantist and an endurantist, depending on which linguistic framework is preferred. (shrink)

This essay explains various significant errors, imprecisions, and omissions concerning libertarianism in Long 2013. The “right not to be aggressed against” is not, as such, the libertarian right because the ‘right to liberty’ must be that right (although not being aggressed against can charitably be interpreted as equivalent). There are non-libertarian rights, but they don’t override the right to liberty. Unsupported assumptions are inevitable because justifications are impossible. Rights should not be “defined” but, rather, morally and metaphysically theorised—with criticism permanently (...) invited. Moral and legal permissibility need to be clearly distinguished. The conceptions of “aggression” and “force” are normative and confused. It is possible to advocate the right to liberty on no grounds whatsoever and also to conjecture that liberty (deontologically) and welfare (consequentially) are systematically compatible in practice for theoretical and causal reasons. The rejection of positive rights is “privileging” and not “conceptual”. Libertarian property needs to be derived from an explicit, non-normative, theory of libertarian liberty. Long 2013’s overall account is “mysterious” and “one-sided”. (shrink)

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things easier (...) for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

How does the critical Kant view ontology? There is no shared scholarly answer to this question. Norbert Hinske sees in the Critique of Pure Reason a “farewell to ontology,” albeit one that took Kant long to bid (Hinske 2009). Karl Ameriks has found evidence in Kant’s metaphysics lectures from the critical period that he “was unwilling to break away fully from traditional ontology” (Ameriks 1992: 272). Gualtiero Lorini argues that a decisive break with the tradition of ontology is essential to (...) Kant’s critical reform of metaphysics, as is reflected in his shift from “ontology” to “transcendental philosophy,” two notions that Lorini takes to be related by mere “analogy” (Lorini 2015). I agree with Lorini that a thorough reform of ontology is a pivotal part of Kant’s critical plan for metaphysics and that ontology somehow “survives within the critical philosophy” (Lorini 2015: 76). To make this case, however, I deem it important to identify “ontology” and “transcendental philosophy” in the sense of extensional equivalence. While we can detect this identification in Kant’s writings, only from his metaphysics lectures can we get a full sense of its historical and philosophical significance. In this chapter I focus on how it represents a definitive turn from as well as notable continuity with traditional treatments of ontology, particularly the Wolffian one. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted (...) as being centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and (...) causal powers. (shrink)

This paper engages with the following closely related questions that have recently received some attention in the literature: what is the status of the equivalence principle in general relativity?; how does the metric field obtain its property of being able to act as a metric?; and is the metric of GR derivative on the dynamics of the matter fields? The paper attempts to complement these debates by studying the spin-2 approach to gravity. In particular, the paper argues that three (...) lessons can be drawn from the spin-2 approach: different from what is sometimes claimed in the literature, central aspects of the non-linear theory of GR are already derivable in classical spin-2 theory; in particular, ‘universal coupling’ can be considered a derived ‘theorem’ in both the classical and the quantum spin-2 approach; this provides new insights for the investigation of the equivalence principle; the ‘second miracle’ that Read et al. argue characterises GR is explained in the classical as well as in the quantum version of the spin-2 approach; the spin-2 approach allows for an ontological reduction of the metrical part of spacetime to the dynamics of matter fields. (shrink)

It seems that no philosopher these days wants a theory of truth which can be accused of being metaphysical. But even if we agree that grandiose metaphysics is to be spurned, even if we agree that our theory of truth should be a deflated one, the controversy does not die down. A variety of deflationist options present themselves. Some, with Richard Rorty, take the notion of truth to be so wedded to metaphysics that we are advised to drop it (...) altogether. Others, with Paul Horwich, take the disquotational or equivalence schema—'p' is T if and only if p—to completely capture the content of the predicate 'is true'. And others argue that there is a conception of truth to be had which is non-metaphysical but which goes beyond the triviality expressed by the disquotational schema. (shrink)

Recently we proposed “quantum language”, which was not only characterized as the metaphysical and linguistic turn of quantum mechanics but also the linguistic turn of Descartes = Kant epistemology. And further we believe that quantum language is the only scientifically successful theory in dualistic idealism. If this turn is regarded as progress in the history of western philosophy (i.e., if “philosophical progress” is defined by “approaching to quantum language”), we should study the linguistic mind-body problem more than the epistemological (...) mind-body problem. In this paper, we show that to solve the mind-body problem and to propose “measurement axiom” in quantum language are equivalent. Since our approach is always within dualistic idealism, we believe that our linguistic answer is the only true solution to the mindbody problem. (shrink)

Since J. McTaggart’s paper on “The Unreality of Time” the opposition of “A-theorists” and “B-theorists” establishes a focal point in the modern debate on the metaphysics of time: While “A-theorists” claim the existence of an objective present, moving along time positions, “B-theorists” maintain that time is just a set of ontologically equivalent coordinates, “now” being merely the indexical of the speaker’s position. Contemporary attempts to resolve the issue by resorting to the analysis of language or to the theory of science (...) seem to deliver no definite results. By contrast, practical and existential aspects of the two models promise to be more univocal guides in deciding between them. Particularly, C. D. Broad’s hybrid conception of a “growing block theory” attains special attractiveness in this regard. (shrink)

It seems that there is a general principle in Aristotle’s philosophy that ‘all things are referred to that which is primary (πὰντα πρὸς τὸ πρῶτον ἀναφέρεται).’ (Met., Γ, 1004a25-26) This referring relation, however, may be in a different way for each thing: ‘After distinguishing the various senses of each, we must then explain by reference to what is primary in each term, saying how they are related to it; some in the sense that they possess it, others in the sense (...) that they produce it…’ (Met., Γ, 1004a28-31) This general principle is asserted about: a) One: ‘All things which are one are referred to the primary one.’ (Met., Γ, 1004a26-27; 1005a6-7) As Aristotle always makes ‘one’ and ‘being’ close to each other subject of the same rules and attributes, he makes the subject of referring interchangeable as well: ‘It makes no difference whether that which is be referred to being or to unity. For even if they are not the same but different, they are convertible.’ (Met., K, 1061a15-18) b) The same. (Met., Γ, 1004a27) c) The contraries. (Met., Γ, 1004a28) d) Being, healthy and medical: It is a crucial thesis of Aristotle’s Metaphysics that being (τὸ ὄν) is said in referring to a primary being, that is substance. And to do this, he repeatedly takes ‘healthy’ and ‘medical’ as examples: ‘There are many ways in which a thing is said ‘being’ but they are referred to some one and unitary nature (πρὸς ἓν καὶ μίαν τινὰ φύσιν) but not homonymously. Everything which is healthy is related to health, one thing in the sense that it preserves health, another in the sense that it produces it, another in the sense that it is a symptom of health, another because it is capable of it. And that which is medical is relative to the medical art, one thing in the sense that it possesses it, another in the sense that it is naturally adopted to it, another in the sense that it is a function of medical art. So, too, there are many senses in which a thing is said to be, but all refer to one starting point; some things are said to be because they are substances, others because they are affections of substances, others because they are a process towards substances, or destructions or privations …’ (Met., Γ, 1003a33-b10; cf. K, 1060b36-1061a6; Z, 1030b2-3) Thus, all of the categories refer to the primary being, i.e. substance because ‘it is in virtue of the formation of substance that the others are said to be quantity and quality and the like; for all will be found to contain the formula of substance.’ (Met., Θ, 1045b27-30) Also, Aristotle speaks of becoming of all things referring to one common: ‘Everything that is may become referring to some one common nature.’ (Met., K, 1061a10-11) e) Contraries: all contraries refer to the primary differences and contraries: ‘Since everything that is may become referring to some one common nature, each of the contraries also may become referring to primary differences and contraries of being, whether the first differences of being are plurality any unity or likeness and unlikeness, or some other differences.’ (Met., K, 1061a10-15; cf Met., K, 1061b11-15; Met., Γ, 1005a6-8) f) Potentialities: ‘All potentialities that conform to the same type are starting points, and are called potentialities in reference to one primary kind. (Met., Θ, 1046a9-14) g) Soul and body refer to the same thing. (Met., H, 1043a35-37) 1) Referral unity versus universal unity Aristotle distinguishes referral (πρὸς ἓν) unity from the unity that is found in universal, which is the same in all of its instances: ‘If being or unity is not a universal and the same in every instance … the unity is in some cases that of referring to one (πρὸς ἓν), in some cases that of serial succession.’ (Met., Γ, 1005a8-11) Thus, we can say that the unity present in pros hen must be distinguished from the unity that is found in the instances of a universal: while in all of these instances the universal is the same, in those that are one by referring to the one, there is nothing which is the same in all. Aristotle says this also by using ‘based on one’ (καθ᾽ ἓν) and common: while in one the instances are one ‘based on one’ thing, they are one in the other by referring to one: ‘For not only in the case of things that are said based on one there is knowledge investigating one subject, but also in case of things that are said referring to one nature.’ Nonetheless, Aristotle thinks that ‘referring to one’ unity is somehow kind of ‘based on one’ unity: ‘For even that [i.e. being said ‘referring to one’] is a kind of being said based on one.’ (Met., Γ, 1003b12-15) In Nicomachean Ethics (1096b23-9) Aristotle opposes being derived from one thing to referring to one thing: ‘In what sense are different things called good? … Is it because they are all derivative of a single thing (ἀφ’ ἑνος εἶναι), or [i.e. equivalently] because they are all derived towards a single thing (πρὸς ἓν συντελεῖν) …? (See: EEt., H2, 1236a15-23) . (shrink)

You and I can differ in what we say, or believe, even though the things we say, or believe, are logically equivalent. Discussing what is said, or believed, requires notions of content which are finer-grained than sets of (metaphysically or logically) possible worlds. In this paper, I develop the approach to fine-grained content in terms of a space of possible and impossible worlds. I give a method for constructing ersatz worlds based on theory of substantial facts. I show how this (...) theory overcomes an objection to actualist constructions of ersatz worlds and argue that it naturally gives rise to useful notions of fine-grained content. (shrink)