I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same (...) as G), Irreflexivity (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

This paper presents a puzzle about the logic of real definition. In particular, I demonstrate that five principles concerning definition (that it is coextensional and irreflexive, that it applies to its cases, that it permits expansion and that it is itself defined) are incompatible. I then explore the advantages and disadvantages of each principle—one of which must be rejected to restore consistency.

[I argue that a precise definition of emotions is neither necessary nor possible prior to empirical research on emotions. It is not necessary because all that is needed for for fruitful research and successful communication is a working definition of emotions, a description that allows to roughly demarcate the class of emotions. It is not possible because precise emotion definitions are real definitions, empirical claims about the essence of emotions. These claims about the nature of emotion are (...) always formulated against the background of a theory of emotion generation, whose truth they presuppose. The claim that emotions are syndromes of mental and behavioral states is such a theoretical definition of emotion. It is put into question by the finding of low correlations between the proposed syndrome components.] . (shrink)

In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise (...) they would be inapplicable. We point out several errors and false statements by Imamura [21] with respect to the inf/sup of nonstandard subsets, also Imamura’s “rigorous definition of neutrosophic logic” is wrong and the same for his definition of nonstandard unit interval, and we prove that there is not a total order on the set of hyperreals (because of the newly introduced Neutrosophic Hyperreals that are indeterminate), whence the Transfer Principle from R to R* is questionable. After his criticism, several response publications on theoretical nonstandard neutrosophics followed in the period 2018-2022. As such, I extended the NonStandard Analysis by adding the left monad closed to the right, right monad closed to the left, pierced binad (we introduced in 1998), and unpierced binad - all these in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of NonStandard Unit Interval and NonStandard Neutrosophic Logic, together with NonStandard Neutrosophic Operators are presented. (shrink)

The question of how to demarcate science from pseudo-science commands relatively little attention today. In the philosophy of logic, by contrast, the problem of demarcating the logical constants is less skeptically regarded. In aesthetics, where the problem is how to demarcate art from non-art, the question as to whether the problem is a real one or a pseudo-problem also continues to be debated. This paper discusses the hypothesis that the demarcation questions in these three areas are parallel, or at (...) least similar enough to be interesting. Some arguments for the conclusion that the demarcation problem is a pseudo-problem are considered, as are some demarcation proposals of a deflationist or minimalist sort. All are found wanting. (shrink)

Arguments against the Russellian theory of definite descriptions based on cases that involve failures of uniqueness are a recurrent theme in the relevant literature. In this paper, I discuss a number of such arguments, from Strawson (1950), Ramachandran (1993) and Szabo (2005). I argue that the Russellian has resources to account for these data by deploying a variety of mechanisms of quantifier domain restrictions. Finally, I present a case that is more problematic for the Russellian. While the previous cases all (...) involve referential uses of descriptions (or some variations of such uses), the most effective objection to the uniqueness condition draws on genuine attributive uses. (shrink)

The nature of vagueness is investigated via a preliminary definition and a discussion of the classical sorites paradox ; this is carried further by asking for the origins of vagueness and a critique of several attempts to remove it from language. It is shown that such attempts are ill motivated and doomed for failure since vagueness is not just a matter of ignorance but firmly grounded in epistemic and metaphysical facts. Finally, the philosophical interest of real vagueness is (...) illustrated by the concept of “natural kind”, which is essential to realism/anti-realism debates. (shrink)

Some contemporary semantic views defend an asymmetry thesis concerning defi-nite descriptions and indexicals. Semantically, indexicals are devices of singular refer-ence; they contribute objects to the contents of the speech acts made with utterances including them. Definite descriptions, on the other hand, are generalized quantifiers, behaving roughly the way Russell envisaged in “On Denoting”. The asymmetry thesis depends on the existence of a sufficiently clear-cut distinction between semantics and pragmatics, because indexicals and descriptions are often used in ways that apparently contradict (...) the asymmetry thesis; the semantics/pragmatics distinction is invoked to see behind the appearances. The paper critically examines arguments by Schiffer against the asymmetry thesis, based on referential uses of incomplete descriptions. (shrink)

Kant's obscure essay entitled An Attempt to Introduce the Concept of Negative Quantities into Philosophy has received virtually no attention in the Kant literature. The essay has been in English translation for over twenty years, though not widely available. In his original 1983 translation, Gordon Treash argues that the Negative Quantities essay should be understood as part of an ongoing response to the philosophy of Christian Wolff. Like Hoffmann and Crusius before him, the Kant of 1763 is at odds with (...) the Leibnizian-Wolffian tradition of deductive metaphysics. He joins his predecessors in rejecting the assumption that the law of contradiction alone can provide proof of the principle of sufficient reason: -/- In his rejection of the possibility of deducing all philosophic truth from the law of contradiction, however, and in the clear recognition that this impossibility has immediate consequences for defense of the law of sufficient reason, Kant's work most definitely and positively constitutes a line of succession from Hoffmann and Crusius (Treash, 1983, p. 25). -/- The recognition that Kant's Negative Quantities essay is part of a response to the tradition of deductive metaphysics is, without a doubt, an important contribution to the Kant literature. However, there is still more to be said about this neglected essay. The full significance of the paper becomes known through its ties to a second, empiricist line of succession. Clues to this second line of succession can be found in Kant's prefatory remarks concerning Euler's 1748 Reflections on Space and Time and Crusius' 1749 Guidance in the Orderly and Careful Consideration of Natural Events. As I will show, these prefatory remarks suggest a reading of Kant's Negative Quantities paper that reaches beyond German deductive metaphysics to engage a debate regarding the application of mathematics in philosophy initiated by George Berkeley. (shrink)

Spinoza scholars have claimed that we are faced with a dilemma: either Spinoza's definitions in his Ethics are real, in spite of indications to the contrary, or the definitions are nominal and the propositions derived from them are false. I argue that Spinoza did not recognize the distinction between real and nominal definitions. Rather, Spinoza classified definitions according to whether they require a priori or a posteriori justification, which is a classification distinct from either the real/nominal or (...) the intensional/extensional classification. I argue that Spinoza uses both a priori and a posteriori definitions in the Ethics and that recognizing both types of definitions allows us to understand Spinoza's geometric method in a new way. We can now understand the geometric method as two methods, one resulting in propositions that Spinoza considers to be absolutely certain and another resulting in propositions that Spinoza does not consider certain. The latter method makes use of a posteriori definitions and postulates, whereas the former method uses only a priori definitions and axioms. (shrink)

Debates over the reality of race often rely on arguments about the connection between race and science—those who deny that race is real argue that there is no significant support from science for our ordinary race concepts; those who affirm that race is real argue that our ordinary race concepts are supported by scientific findings. However, there is arguably a more fundamental concern here: How should we define race concepts in the first place? The reason I claim that (...) this definitional question is more fundamental is that our handling of the underlying definitional problem often determines the scientific support our ordinary race concepts need, and importantly the likelihood of finding such support. In short, the defini- tional question, “How do we define race?” often undercuts the question of whether race is scientifically meaningful. (shrink)

Abstract: We see, experience, and live our lives in this empirical world. We, ordinary people, perceive the world as real or sattvāvāna. But, Advaitins say, the world is false, it has no actual existence. So, questions, then, arise, do we live in a falsified universe? Or, do the things which are around us have no essential value? Such questions haunt us to look into the meaning and analysis of the Advaitins, and thus, this paper is nothing but an unraveling (...) interpretation of the meaning of falsity presented by Madhusūdana Sarasvatī in his auspicious text, Advaitasiddhi. Not a single among the five definitions given in the book is his definition of Madhusūdna. He just tried to establish the validity of those definitions. Among the five, Pancapādikākāra wrote the first one. Vivaraṇakāra gave the second and the third. Citsukhācāriya wrote the fourth definition of falsity. And the last, i.e., the fifth definition of falsity, is provided by the author of Makaranda, Ᾱnandavodhācāriya. The first definition of falsity presented in the Advaitasiddhi is sadasattvānadhikaraṇatva. That is to say; the property falsity is not the substratum of either existence (sattvā) or non-existence (asattvā). Here, existence (sattvā) means free from contradiction for all the times, i.e., trikālāvādhyatva and non-existence (asattvā) means being the absence or vyatireka of trikālāvādhyatva. In this sense, Brahman is existent as it has the property trikālāvādhyatva. Brahman is never liable to contradiction, while the hare`s horn, sky-lotus, etc. are non-existent because such things cognize nowhere as trikālāvādhyatva. It has been said in the earlier that the first definition of the falsity would be analyzed, which is discussed and explained in Advaitasiddhi. Regarding the interpretations, the opponent leveled many objections which were subdued by Madhusūdana. Hence, I intend to focus only on the validity of the first definition of falsity by rejecting the opponent’s position. (shrink)

In his Treatise of Human Nature, Hume offers two definitions of ‘cause’. The first is framed in terms of the precedence and contiguity of objects. The second also mentions precedence and contiguity of objects but speaks also of the mind’s tendency on the appearance of the first object to form the idea of the second. Scholars disagree as to which constitutes Hume’s definition of cause properly speaking. Some hold that the ‘constant conjunction of objects’ version is Hume’s real (...) definition, while others opt for the second, psychological version. I argue that Hume’s method of analysis holds that we explicate the meaning of words by tracing ideas back to their antecedent impressions. Since there are two different sets of antecedent impressions, one consisting of preceding and continuous objects and the other of such objects plus psychological determination, we must attribute to Hume the existence of two non-equivalent definitions of the term. (shrink)

Kant’s postulate of possibility states that possible is whatever agrees with the formal conditions of experience. As has often been noted, this is a definition of real possibility. However, little attention has been paid to the relation of Kantian real possibility to the German philosophical tradition before him. I discuss three kinds of possibility present in this tradition – internal, external, and (Crusian) real possibility – and argue that Kant endorses internal and external possibility. Furthermore, I (...) show, specifically with respect to the concept of state (Zustand), that the three traditional conceptions are reminiscent of three conceptions of real possibility that Kant implicitly distinguishes. Lastly, I argue that, according to Kant, we need experience to prove real possibility (at least as regards the three conceptions of the real possibility of states) because otherwise we could not know whether the formal conditions of experience obtain. (shrink)

Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which one (...) can identify bad or invalid types of reasoning, abstracting away from the specific content and dialectical context. Such shortcuts for debunking arguments are tempting, but alas, the promise is hardly if ever fulfilled. Different strands of research on the pragmatics of argumentation, probabilistic reasoning and ecological rationality have shown that almost every known type of fallacy is a close neighbor to sound inferences or acceptable moves in a debate. Nonetheless, the kernel idea of a fallacy as an erroneous type of argument is still retained by most authors. We outline a destructive dilemma we refer to as the Fallacy Fork: on the one hand, if fallacies are construed as demonstrably invalid form of reasoning, then they have very limited applicability in real life. On the other hand, if our definitions of fallacies are sophisticated enough to capture real-life complexities, they can no longer be held up as an effective tool for discriminating good and bad forms of reasoning. As we bring our schematic “fallacies” in touch with reality, we seem to lose grip on normative questions. Even approaches that do not rely on argumentation schemes to identify fallacies fail to escape the Fallacy Fork, and run up against their own version of it. (shrink)

We give a mathematical definition of the present or 'what is real' and its duration on McTaggart's A-series future/present/past. This is applicable to at least one conception of the block-world, the growing-block, and presentism.

In lieu of an abstract, here is a brief excerpt of the content:Philosophies versus Philosophy:In Defense of a Flexible DefinitionRein RaudIt is strange that no one has taken up Carine Defoort's clearly formulated and timely argument about the intercultural tensions in interpreting what philosophy is, although the issue deserves at least a roundtable, if not an international conference.1 I doubt that this is because there is a general consensus that the matter is now settled, and I would therefore like to (...) develop the argument a bit further and offer a few additional factors to consider. It is also obvious that the problem is not limited to the subject of Chinese philosophy alone: all traditions of thought from all over the world, but most notably the Indian, Islamic, and Japanese heritages, are affected by the positions we adopt. As in most debates about the commensurability of cultural traditions, we can find differences when we look for them, and similarities if these are what we would like to see, so the "conflict of sensitivities"2 is also a matter of attitudes. My own position is that regardless of what we prefer to call the practice of deeper thought (and 'philosophy' is a very good name), it would be extremely useful for all of its participants, whatever their origin and upbringing, to find a common denominator for them to be able to exchange ideas and mutually enrich each other on its basis. In what follows I shall try to sketch a perspective from which this could, in my opinion, be theoretically grounded.Four PositionsDefoort has identified four possible points of view on the problem of whether classical Chinese thought could or should be called 'philosophy,' which could be summarized as follows.1. Chinese classical thought is not philosophy, because it does not satisfy the conditions of philosophy as it is generally and traditionally understood in the West.2. Chinese classical thought is philosophy, because it reveals the necessary characteristics if analyzed with the help of an appropriate (Western-type) observation language.3. Chinese classical thought can be called philosophy, but only if we redefine philosophy in order to accommodate some of its nontypical or clearly deviant features.4. Chinese classical thought should not be called philosophy, because philosophy is a culturally closed Western phenomenon with a limited scope and incapable of understanding fundamentally different modes of thought. [End Page 618]If we dismiss the birthright variety of the first position, we could label it essentialist, and its weakest point is certainly that Western philosophy has not remained unchanged during the course of history. It is highly doubtful that Socrates, Diogenes, scholastics, Nietzsche, and Gareth Evans could all be members of the same set if the same strict criteria were applied to all periods and all cultural settings in the same way, and, as Defoort herself stresses,3 the fact that seventeenth-century Jesuits (the basis of whose original worldview, we should think, was much farther from the Chinese than ours) had no problem in calling Chinese thought philosophy should show us that the paradigm shift of the thing called 'philosophy' has occurred in the West and is, so to speak, our problem and not theirs.Now, it is also possible that in some circles even some prominent names in the Western tradition do not qualify as real philosophers, in the sense in which Hegel was treated by Bertrand Russell4 and Heidegger was dismissed by Alfred Ayer5 in their respective histories of philosophy (while they nevertheless felt compelled to include chapters or passages on them). A definition of philosophy that puts forward such criteria that a considerable number of thinkers would have to remain outside its borders should be labeled sectarian-and it can still be met, even if ever less often, in some analytical schools of philosophy. It is my conviction, however, that in our globalizing world any definition that would leave non-European philosophy outside the borders of 'philosophy proper' should be considered sectarian in nature. The main problem that I have with Defoort's family model6 is precisely that in it the head of the family, who makes the decisions as to who can be adopted and who cannot, is always Western, and the... (shrink)

The problem with ontological commitment is that when we symbolize the statements that we make about what 'exists' or what is 'real', they do not always translate to exactly that which we intend to express. In this essay, I explore the relation between 'Reality' and how we describe reality. I evaluate the accounts of three prominent philosophers on the topic, address their shortcomings, and introduce my own account; which I call "The Natural Definition of Reality".

The practice of assigning authorship for a scientific publication tends to raise two normative questions: 1) ‘who should be credited as an author?’; 2) ‘who should not be credited as an author but should still be acknowledged?’. With the publication of the revised version of The European Code of Conduct for Research Integrity (ECCRI), standard answers to these questions have been called into question. This article examines the ways in which the ECCRI approaches these two questions and compares these approaches (...) to standard definitions of ‘authorship’ and ‘acknowledgment’ in guidelines issued by the International Committee of Medical Journal Editors (ICMJE) and the World Association of Medical Editors (WAME). In light of two scenarios and the problems posed by these kinds of ‘real-world’ examples, we recommend specific revisions to the content of the ECCRI in order not only to provide a more detailed account of the tasks deserving of acknowledgment, but to improve the Code’s current definition of authorship. (shrink)

Unlike Derrida’s ‘there is no outside text, Lacan approaches the Real, that which lies beyond language, from two sides: the imaginary and the symbolic. In the first part of this work, by drawing upon the imaginary side of Lacanian Real, which is object petit a and by considering some literary and philosophical definitions of the pre-symbolic abyss, it is attempted to illustrate the non-representation artworks’ illustration of the pre-linguistic bodily urges and sensations. Next, by drawing upon symbolic side (...) of the Lacanian Real, which is sinthome, it will be shown how some artists create their own symbolic order and the New by approximating a point of idiomaticty just like what Lacan did with his mathemes. In the second part of the paper, Joe Weight’s Darkest Hour (2017) is analyzed to show how Winston Churchill first turns into an object petit a, and plugs the gap of the symbolic order by being elected as a prime minister; however, the impending fall of England by Nazi attacks strip Churchill of his self-confidence, then he resorts to people and by their hands, he rewrites himself anew turning himself into a sinthome and like Joyce and Lacan, who have created their own symbolic order, Churchill temporarily turns England into his own symbolic order to win the war. (shrink)

In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they (...) would be inapplicable. We pointed out several errors and false statements by Imamura [21] regarding the inf/sup of nonstandard subsets, also Imamura's "rigorous definition of neutrosophic logic" is incorrect, as is his definition of nonstandard unit interval, and we showed that there is no total order in Neutrosophic Computing and Machine Learning , Vol. 23, 2022 Florentin Smarandache, Definición mejorada de la lógica neutrosófica no estándar e introducción a los hiperreales neutrosóficos (Quinta versión) 2 the set of hyperreals (due to the recently introduced Neutrosophic Hyperreals which are indeterminate), so the Transfer Principle from R to R* is questionable. After his critique, several reply posts on non-standard theoretical neutrosophy followed in 2018-2022. As such, I extended the Nonstandard Analysis by adding the right-closed left monad, the left-closed right monad, the punctured binad (which we introduced in 1998), and the nonpunctured binad - all in order to close the newly extended nonstandard space (R*) under nonstandard addition, nonstandard subtraction, nonstandard multiplication, nonstandard division, and nonstandard power operations [23, 24]. Improved definitions of the Nonstandard Unitary Interval and Nonstandard Neutrosophic Logic are presented, along with Nonstandard Neutrosophic Operators. (shrink)

The Oxford English Dictionary (OED) lists 1571 as the year of the first recorded use of the English word ‘masculinity’; the Ancient Greek ανδρεια (andreia), usually translated as ‘courage’, was also used to refer to manliness. The notion of manliness or masculinity is undoubtedly older still. Yet, despite this seeming familiarity, not only is the notion proving to be highly elusive, its understanding by the society being in a constant flux, but also one which is at the root of bitter (...) division and confrontation, and which has tangible and far-reaching real-world effects. At the same time, while masculinity has been attracting an increasing amount of attention in academia, the large body of published work seldom goes to the very foundations of the issue, failing to explicitly and with clarity reach a consensus as to how masculinity ought to be understood. Herein I critique the leading contemporary thought, showing it to be poorly conceived and confounded, and often lacking in substance which would raise it to the level of the actionable and constructive. Hence, I propose an alternative view which is void of the observed deficiencies, and discuss how its adoption would facilitate a conciliation between the currently warring factions, focusing everybody’s efforts on addressing the actual ethical, deconfounded of specious distractions. (shrink)

Firstly, the "Metaverse" possesses two distinctive features, "thickness" and "imagination," promising the public a structure of unknown scenarios but with unclear definitions. Attempts to establish an open framework through incompleteness, however, fail to facilitate interactions between humans and the scenario. Due to the dilemma of "digital twinning," the "Metaverse" cannot be realized as "another universe". Hence, the "Metaverse" is, in fact, only a virtual experiential territory created by aggregating technologies that offer immersion and interactivity. Secondly, when artificial intelligence serves as (...) a key supporting technology for the "Metaverse," it presents multifaceted existential risks, manifested as safety, cognitive, and ethical dilemmas. Finally, we propose that the framework for responsible "Metaverse" governance should be constructed through three pathways: collective responsibility, realism, and the co-governance of the virtual and real. (shrink)

Abstract: This is necessarily an evolutionary work in progress. Its purpose and goal is enabling real progress of science, mathematics, society, and civilization. Thus, to accomplish the mission, upgrading the current sociocultural paradigm is essential. That makes holistic ontology and optimal epistemics essential to ongoing work and to further development of new theory and metatheory. Hence, the current listings of key terms, definitions, and explanations presented here provide some core concepts and supporting theorems, metatheorems, equations, and examples. That enables (...) remedial revision of relevant domains of thought and discourse. The project is also intended to inspire collaborative extension and ongoing refinement of the work. The appendices provide additional perspective. ~ A preprint draft, v.2e, for review and comment only. (shrink)

The high-profile debate between John Milbank and Slavoj Žižek in The Monstrosity of Christ comprises an immensely important work in the contemporary intersection of Church dogmatics and ontology. This study consists of an indirect commentary on this debate, using Milbank and Žižek’s dispute as a foil for mobilizing an ontology favorable to Eastern Orthodox dogmatics. The starting point here is that Orthodoxy simply bypasses Neo-Platonism as the definitive philosophical expression of its dogmatic theology, and, on this score, Žižek’s powerful criticisms (...) of theurgic Neo-Platonism can be embraced and redirected in support of an ontology of the Orthodox dogma of synergy. It will be shown that Milbank’s position that there is a “Catholic Žižek” who embraces theurgy—that is, analogical, Neo-Platonist ontology—is mistaken; the dismantling of the “suspended middle” is necessary for the Žižekian and that, therefore, a Catholic version of this figure does not exist. But it will be suggested that, instead, there is a latent Orthodox Žižek whose criticism of analogical ontology can pave the way for a more profitable dialogue between Žižek and Orthodoxy. The conclusion will provide a playful reading of an Orthodox Žižek—an entirely fictional but ontologically serviceable character—who can begin new conversations between ontology and dogmatic theology. The upshot of the study is the extension of Terry Eagleton’s claim that the historical materialist, but not the dialectical materialist, can legitimately venerate the Virgin Mary—to the surprising suggestion that even the dialectical materialist can justifiably venerate her, too. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...) logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this (...) framework to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

I show that the theory of definition in Definition by Proxy can consistently embrace the principles I show to be inconsistent in Definition.

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)

According to essentialism, metaphysical modality is founded in the essences of things, where the essence of a thing is roughly akin to its real definition. According to potentialism (also known as dispositionalism), metaphysical modality is founded in the potentialities of things, where a potentiality is roughly the generalized notion of a disposition. Essentialism and potentialism have much in common, but little has been written about their relation to each other. The aim of this paper is to understand better (...) the relations between essence and potentiality, on the one hand, and between essentialism and potentialism, on the other. It is argued, first, that essence and potentiality are not duals but interestingly linked by a weaker relation dubbed ‘semi-duality’; second, that given this weaker relation, essentialism and potentialism are not natural allies but rather natural competitors; and third, that the semi-duality of essence and potentiality allows the potentialist to respond to an important explanatory challenge by using essentialist resources without thereby committing to essentialism. (shrink)

In his new book "The Importance of Being Rational", Errol Lord aims to give a real definition of the property of rationality in terms of normative reasons. If he can do so, his work is an important step towards a defense of ‘reasons fundamentalism’ – the thesis that all complex normative properties can be analyzed in terms of normative reasons. I focus on his analysis of epistemic rationality, which says that your doxastic attitudes are rational just in case (...) they are correct responses to the objective normative reasons you possess. For some fact to be an objective normative reason to do something that you possess, you have to be in a position to know this fact and be able to competently use it as a reason to do that thing. Lord’s view is thus a knowledge-first view about possessing normative reasons. Throughout the book, Lord conceptualizes belief in the traditional tripartite way – if you take any attitude at all towards a proposition, then you either believe it, or disbelieve it, or you suspend judgment about it. Lord doesn’t discuss cases in which we’re uncertain. Yet, those cases are ubiquitous. I explore how his view can be extended to them. I first discuss whether his strategy for vindicating coherence requirements in terms of normative reasons can be applied to credences. I then ask how Lord can conceive of the doxastic attitudes that encode uncertainty . (shrink)

Matti Eklund (2017) has argued that ardent realists face a serious dilemma. Ardent realists believe that there is a mind-independent fact as to which normative concepts we are to use. Eklund claims that the ardent realist cannot explain why this is so without plumping in favor of their own normative concepts or changing the topic. The paper first advances the discussion by clarifying two ways of understanding the question of which normative concepts to choose: a theoretical question about which concepts (...) have the abstract property of being normatively privileged and a further practical question of which concepts we are to choose even granting some concepts are thus privileged. I argue that the ardent realist’s best bet for answering the theoretical question while avoiding Eklund’s dilemma is to provide a real definition of this property. I point out the difficulties for providing such a definition. I then argue that even with an answer to the theoretical question, the ardent realist faces a further dilemma in answering the practical question. In sum, though I see no knock-down argument against ardent realism, it may nonetheless die a death by a thousand cuts. I close by considering a deeper reason for why ardent realism is so difficult to defend: every argument starts somewhere. It is unclear how there can be an Archimedean point that makes no reference to any normative concepts that can nonetheless be employed to convince everyone to adopt ours. I then briefly propose two options for someone still inclined towards realism: (i) accept that our normative concepts are normatively privileged without attempting to explain why this is so, or (ii) be less ardent and accept a perspective-dependent account of normativity. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would prevent them (...) from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary identity statements (...) involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

It is widely accepted that if a property is essential then it is necessary. Against this I present numerous counterexamples from biology and chemistry, which fall into two groups: (I) A property is essential to a genus or species, yet some instances of this genus or species do not have this essential property. (II) A property is essential to a genus, yet some species of this genus do not have this essential property. I discuss and reject four minor objections. Then (...) I discuss in depth whether a distinction between constitutive essence and consequential essence is able to handle these counterexamples. I conclude that this distinction is better put as one between (1) the essence, which is necessary, and (2) the essential properties, which are not formally necessary. An essence of an object X is the substantial universal expressed by its real definition. An object X has a property P essentially iff the property P is explanatory and non-trivial, and P follows from the essence of X. (shrink)

Ott (2009) identifies two kinds of philosophical theories about laws: top-down, and bottom-up. An influential top-down reading, exemplified by Ernst Cassirer, emphasized the ‘mere form of law’. Recent bottom-up accounts emphasize the mind-independent natures of objects as the basis of laws of nature. Stang and Pollok in turn focus on the transcendental idealist elements of Kant’s theory of matter, which leads to the question: is the essence of Kantian matter that it obeys the form of law? I argue that Kant (...) has an independent theory of matter in the Metaphysical Foundations of Natural Science, one that gives what Kant himself calls a ‘real definition’ of matter as a theory-independent (if not mind-independent) entity. I argue that this matter theory underpins physical arguments about inertia and impenetrability, which resemble Einstein’s arguments about the unification of fields in general relativity. (shrink)

I provide an analysis of sentences of the form ‘To be F is to be G’ in terms of exact truth-maker semantics—an approach that identifies the meanings of sentences with the states of the world directly responsible for their truth-values. Roughly, I argue that these sentences hold just in case that which makes something F is that which makes it G. This approach is hyperintensional, and possesses desirable logical and modal features. These sentences are reflexive, transitive and symmetric, and, if (...) they are true, then they are necessarily true, and it is necessary that all and only Fs are Gs. I close by defining an asymmetric and irreflexive notion of analysis in terms of the reflexive and symmetric one. (shrink)

A generic grounding claim is a grounding claim that isn’t about any particular entity or fact. For example, consider the claim: an act is right in virtue of maximizing happiness. One natural idea is that generic grounding claims state mere regularities of ground. So if an act is right in virtue of maximizing happiness, then every possible right act is right in virtue of maximizing happiness. The generic claim generalizes over particular grounding relations. In this essay, I argue that this (...) simple story is wrong. Generic grounding claims are not merely quantificational; rather, they express real definitions, where real definitions are (in part) claims about essence. My view has two major upshots: ('i') it makes better sense of debates where generic grounding claims are at issue (like debates about moral laws); ('ii') it clarifies the distinction between reductive and non-reductive metaphysical theories. (shrink)

There is a straightforward view of perception that has not received adequate consideration because it requires us to rethink basic assumptions about the objects of perception. In this paper, I develop a novel account of these objects—the sensible qualities—which makes room for the straightforward view. I defend two primary claims. First, I argue that qualities like color and shape are “ontologically flexible” kinds. That is, their real definitions allow for both physical objects and mental entities to be colored or (...) shaped. Second, a single instance of these qualities can be attributed to more than one entity. Just as we attribute the same instance of a material property to a statue and to the clay that constitutes it, single instances of sensible qualities should be attributed both to the physical objects perceived and to the perceptual states that have those instances as their objects. (shrink)

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our (...) relationship as thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent. (shrink)

Analyticity is a bogus explanatory concept, and is so even granting genuine synonomy. Definitions can't explain the truth of a statement, let alone its necessity and/or our a priori knowledge of it. The illusion of an explanation is revealed by exposing diverse confusions: e.g., between nominal, conceptual and real definitions, and correspondingly between notational, conceptual, and objectual readings of alleged analytic truths, and between speaking a language and operating a calculus. The putative explananda of analyticity are (alleged) truths about (...) essential properties. Real definitions (a la Socrates) are the (alleged) explananda, not the explanans of analyticity. Their truth can be explained neither by conceptual definitions (a la Kant), nor by nominal definitions (a la Frege). The Quinean assault on synonomy is unsuccessful and in any case misplaced, because analyticity turns on the explanatory import of synonomy, not its existence. Synonym substitution in a logical truth cannot yield a necessary truth for it doesn't preserve logical form. Self-identity statements (for properties and/or individuals) differ in logical form from alter-identity statements. (shrink)

Grounding is a powerful metaphysical concept; yet there is widespread scepticism about the intelligibility of the notion. In this paper, I propose an account of an entity’s nature or essence, which I then use to provide grounding conditions for that entity. I claim that an understanding of an entity’s nature, together with an account of how logically complex entities are grounded, provides all we need to understand how that entity is grounded. This approach not only allows us to say what (...) grounds what, it also sheds light on the formal features of the grounding relation. It provides a principled argument for the orthodox view that grounding is irreflexive, asymmetrical, and transitive; but it allows that it may not be well-founded. The resulting approach gives us a powerful framework for understanding nature, grounding, and the relationship between them. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X (...) and Y to be such that there is no real distinction between them is for them to be identical. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to (...) formalise algorithmic computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

I summarize John Hick’s pluralistic theory of the world’s great religions, largely in his own voice. I then focus on the core posit of his theory, what he calls “the Real,” but which I less tendentiously call “Godhick”. Godhick is supposed to be the ultimate religious reality. As such, it must be both possible and capable of explanatory and religious significance. Unfortunately, Godhick is, by definition, transcategorial, i.e. necessarily, for any creaturely conceivable substantial property F, it is neither (...) an F nor a non-F. As a result, Godhick is impossible, as shown by the Self-Identity Problem, the Number Problem, and the Pairing Problem. Moreover, even if Godhick is possible, it faces the Insignificance Problem. The upshot is that, so far as I can see, John Hick’s God is unworthy of any further interest. (shrink)

This paper is on Aristotle's conception of the continuum. It is argued that although Aristotle did not have the modern conception of real numbers, his account of the continuum does mirror the topology of the real number continuum in modern mathematics especially as seen in the work of Georg Cantor. Some differences are noted, particularly as regards Aristotle's conception of number and the modern conception of real numbers. The issue of whether Aristotle had the notion of open (...) versus closed intervals is discussed. Finally, it is suggested that one reason there is a common structure between Aristotle's account of the continuum and that found in Cantor's definition of the real number continuum is that our intuitions about the continuum have their source in the experience of the real spatiotemporal world. A plea is made to consider Aristotle's abstractionist philosophy of mathematics anew. (shrink)

In the course of his philosophy, in various contexts, Kant comes to reject three theses about existence: (i) that the thoroughgoing determination of a thing implies its existence, (ii) that existence is a real predicate or determination of a thing, and (iii) that existence is the complement of inner possibility or essence. Kant’s target here is Baumgarten, who advocates these theses as the criterion, classification, and definition of existence. In this article I seek to clarify Kant’s elusive theory (...) of existence through its opposition to Baumgarten. I will show that Kant’s refutation of (i)–(iii) does not stand alone but is grounded on his own definition of existence as (absolute) positing. Thus contrary to common practice, Kant’s negative claims about what existence is not cannot be understood in isolation but must be taken as jointly dependent on Kant’s positive claim of what existence is. I will show that the theses (i)–(iii) fail because they presuppose that existence contributes to the intension or content of a concept, whereas according to Kant existence in fact posits a (non-empty) extension to the concept. (shrink)

Hallucinations occur in a wide range of organic and psychological disorders, as well as in a small percentage of the normal population According to usual definitions in psychology and psychiatry, hallucinations are sensory experiences which present things that are not there, but are nonetheless accompanied by a powerful sense of reality. As Richard Bentall puts it, “the illusion of reality ... is the sine qua non of all hallucinatory experiences” (Bentall 1990: 82). The aim of this paper is to find (...) out what lends an experience ‘a sense of reality’: what features are required for an experience to feel ‘real’, in the relevant sense? I will investigate the claim that phenomenological features are largely responsible for a sense of reality, and will find this claim wanting. My suggestion is that a sense of reality is created and sustained by the larger nexus of the subject's beliefs. (shrink)

If science disputes the validity or authenticity of religious knowledge it is because both the scientist and the rational man assume that every object of knowledge there is or can be exists as a material percept in time and space. If we assume that knowledge of material objects is definite knowledge – an assumption itself suspect considering that the latest WMAP data indicates that 95.4% of the total matter in our universe is dark matter and dark energy – all scientific (...) knowledge (confined as it is to knowledge of 4.6% of the visible universe) is definite knowledge; but because it’s knowledge is confined to a miniscule fraction of all knowledge there is or can be had in our material universe, it can scarcely be said – as Sir Bertrand Russell claims – that all definite knowledge is scientific knowledge. There are other reasons why all definite knowledge is not in the domain of science. Parts of the universe are; the universe as a whole isn’t. The sentient body is; the Self that is clothed by that body isn’t. Analysis of both these wholes reveals the possibility of the existence of a third entity that is beyond scientific knowledge. This humanity calls God. A detailed investigation not conducted but outlined here reveals that (a) Russell’s claim that science holds a monopoly of definite knowledge is false: he probably meant that science has a monopoly of objectively verifiable knowledge; (b) as objective verifiability is contingent upon objectively real existence, science’s monopoly is over entities that are objectively real; (c) all objects of knowledge are not material objects in time and space: there are objects that, because they are not percepts, are not objectively verifiable. There is nothing indefinite about knowledge of such entities. There is nothing subjective about the knowledge of such entities either: so it is not open to science to dismiss knowledge of such entities as subjective, arising from the state of mind of the observer. Space and time are aspects of objective reality and not of subjective reality. The second part of this paper briefly examines the nature of dimensions. Space, time and Self consciousness are three types of dimensions considered. The third part of this paper speaks of a concept called immutable wholes. This is a logical culmination of the paper because dimensions are the state-giving norms of the wholes that these dimensions define and characterize. Spiritual seekers make these entities (sub specie aeternitatis) objects of their realization. Such entities as the Universe as a Whole, the Self, and God belong to this class of existents. If Universe as a Whole {not parts of it (study of which is in the domain of science), no matter how large those parts are, but the whole. Only a true seeker can tell science why the whole ≠ sum of all its parts – but that would be the subject of another paper}. (shrink)