Influential work on proper names, most centrally associated with Kripke (1980), has had a significant influence in the literature on singular thought. The dominant position among contemporary singularists is that we can think singular thoughts about any object we can refer to by name and that, given the range of cases in which it is possible to refer using a name, name use in fact enables singular thought about a name's referent. I call this the extended name-based thought thesis (extended-NBT). (...) This chapter outlines the reasoning and presumptions of theorists who adopt extended NBT, and also outlines a set of reasons to resist it. The piece is distinctive in approaching the question of the relation between names and singular thought by focusing on the function of names and what this function entails (or doesn’t) about the kinds of thoughts (singular or descriptive) we have when we use names to communicate. In short, thinking about the function of names tells against the claim that name-use enables singular thought. (shrink)

Fictional names present unique challenges for semantic theories of proper names, challenges strong enough to warrant an account of names different from the standard treatment. The theory developed in this paper is motivated by a puzzle that depends on four assumptions: our intuitive assessment of the truth values of certain sentences, the most straightforward treatment of their syntactic structure, semantic compositionality, and metaphysical scruples strong enough to rule out fictional entities, at least. It is shown that these four assumptions, taken (...) together, are inconsistent with referentialism, the common view that names are uniformly associated with ordinary individuals as their semantic value. Instead, the view presented here interprets names as context-sensitive expressions, associated in a context of utterance with a particular act of introduction, or dubbing, which is then used to determine their semantic value. Some dubbings are referential, which associate names with ordinary individuals as their semantic values; others are fictional, which associate names, instead, with sets of properties. Since the semantic values of names can be of different sorts, the semantic rule interpreting predication must be complex as well. In the body of the paper, I show how this new treatment of names allows us to solve our original puzzle. I defend the complexity of the semantic predication rule, and address additional worries about ontological commitment. (shrink)

MILLIANISM and DESCRIPTIVISM are without question the two most prominent views with respect to the semantics of proper names. However, debates between MILLIANS and DESCRIPTIVISTS have tended to focus on a fairly narrow set of linguistic data and an equally narrow set of problems, mainly how to solve with Frege's puzzle and how to guarantee rigidity. In this article, the author focuses on a set of data that has been given less attention in these debates—namely, so-called predicative uses, bound uses, (...) and shifted uses of names. The author first shows that these data points seem to favor a DESCRIPTIVIST view over a MILLIAN view, but the author then introduces an alternative view of names that not only provides a simple and elegant way of dealing with the data, but also retains rigidity without becoming subject to the problems raised by Frege's puzzle. This is the view that names are variables, also called VARIABILISM. (shrink)

As he recalls in his book Naive Physics, Paolo Bozzi’s experiments on naïve or phenomenological physics were partly inspired by Aristotle’s spokesman Simplicio in Galileo’s Dialogue. Aristotle’s ‘naïve’ views of physical reality reflect the ways in which we are disposed perceptually to organize the physical reality we see. In what follows I want to apply this idea to the notion of a group, a term which I shall apply as an umbrella expression embracing ordinary visible collections (of pieces of fruit (...) in the fruit bowl), but also families, populations, kinds, categories, species and genera. I will try to determine to what extent we can understand what groups, in this broad sense, have in common and how they are distinguished from two sorts of entities with which they are standardly confused, namely sets and wholes. (shrink)

From the apparently trivial problem of homonyms, I argue that proper names as they occur in natural languages cannot be characterised as strings of sounds or characters. This entails, first, that the proper names philosophers talk about are not physical entities, like strings, but abstractions that, second, may be better characterised as triples (s, m, C), where s is the string that conveys the meaning m in a set of contexts C. Third, the generality principle of compositionality may be put (...) into question, for apparently its converse holds in some cases. Finally, the prominence of context for determining the meaning expressed by a sign suggests a strong connection between proper names and indexicals. This connection has been largely overlooked by the analytic tradition, in spite that both proper names and indexicals have been among their hottest topics. This may be because the analytic literature about proper names has been decisively influenced by Frege’s work, which was better suited for formal languages. Izydora Dąmbska and Jerzy Pelc, with their semiotic background, were able to have a finer understanding of this quasi-indexical character of proper names. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ (...) ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Abstract. On the Direct Reference thesis, proper names are what I call ‘genuine terms’, terms whose sole semantic contributions to the propositions expressed by their use are the terms’ semantic referents. But unless qualified, this thesis implies the false consequence that sentences containing names that fail to refer can never express true or false propositions. (Consider ‘The ancient Greeks worshipped Zeus’, for instance.) I suggest that while names are typically and fundamentally used as genuine terms, there is a small class (...) of names, which I call ‘descriptive names’, whose reference is fixed by commonly associated definite descriptions, and I also suggest that there is an idiom of natural language on which such names can be used as abbreviated definite descriptions in a limited set of sentential contexts, including (1) positive and negative existentials, (2) cognitive ascriptions, and (3) uses of names to talk about myth. Uses of empty descriptive names in such contexts can then be either true or false. Relying on Gregory Currie’s theory of truth in fiction, I also propose an idiom on which fictional names can be used as short for a certain type of description in talk about fiction. Along the way, I provide arguments that names are used as short for descriptions in substantive existential statements as well as in both metamythic and metafictive contexts. I also discuss and criticize alternative views of these matters, including the views of David Braun, Saul Kripke, Peter van Inwagen, and others. (shrink)

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

Controlling the names of places, environments, and species is one way in which settler colonial ontologies delimit the intelligibility of ecological relations, Indigenous peoples, and environmental injustices. To counter this, this article amplifies the voices of Native American scholars and foregrounds a philosophical account of Indigenous naming. First, I explore some central characteristics of Indigenous ontology, epistemic virtue, and ethical responsibility, setting the stage for how Native naming draws these elements together into a complete, robust philosophy. Then I point toward (...) leading but contingent principles of Native naming, foregrounding how Native names emerge from and create communities by situating (rather than individuating) the beings that they name within kinship structures, including human and nonhuman agents. Finally, I outline why and how Indigenous names and the knowledges they contain are crucial for both resisting settler violence and achieving environmental justice, not only for Native Americans, but for their entire animate communities. (shrink)

A wide variety of ontologies relevant to the biological and medical domains are available through the OBO Foundry portal, and their number is growing rapidly. Integration of these ontologies, while requiring considerable effort, is extremely desirable. However, heterogeneities in format and style pose serious obstacles to such integration. In particular, inconsistencies in naming conventions can impair the readability and navigability of ontology class hierarchies, and hinder their alignment and integration. While other sources of diversity are tremendously complex and challenging, agreeing (...) a set of common naming conventions is an achievable goal, particularly if those conventions are based on lessons drawn from pooled practical experience and surveys of community opinion. We summarize a review of existing naming conventions and highlight certain disadvantages with respect to general applicability in the biological domain. We also present the results of a survey carried out to establish which naming conventions are currently employed by OBO Foundry ontologies and to determine what their special requirements regarding the naming of entities might be. Lastly, we propose an initial set of typographic, syntactic and semantic conventions for labelling classes in OBO Foundry ontologies. Adherence to common naming conventions is more than just a matter of aesthetics. Such conventions provide guidance to ontology creators, help developers avoid flaws and inaccuracies when editing, and especially when interlinking, ontologies. Common naming conventions will also assist consumers of ontologies to more readily understand what meanings were intended by the authors of ontologies used in annotating bodies of data. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

Persons with aphasia suffer from a loss of communication ability as a consequence of a brain injury. A small strand of research indicates effec- tiveness of dialogic interventions for communication development for persons with aphasia, but a vast amount of research studies shows its effectiveness for other target groups. In this paper, we describe the main parts of the hitherto technological development of an application named Dialogica that is (i) aimed at facilitating increased communicative participation in dialogic settings for (...) persons with aphasia and other communication disorders, (ii) based on comput- er game technology as well as on theory in dialogic education and argumenta- tion theory, and (iii) designed for mobile devices with larger screens. (shrink)

This dissertation sets out to answer the question ''What fixes the semantic values of context-sensitive referential terms—like names, demonstratives, and pronouns—in context?'' I argue that it is the speaker's intentions that play this role, as constrained by the conventions governing the use of particular sorts of referential terms. These conventions serve to filter the speaker's intentions for just those which meet these constraints on use, leaving only these filtered-for intentions as semantically relevant. By considering a wide range of cases, (...) including many involving confused and deceptive speakers, I argue that this 'constraint theory' provides a better account of linguistic reference than does any extant alternative, whether intentionalist or non-intentionalist. Along the way, I argue that semantics cannot depend on the reactions of idealized listeners, that speaker meaning is far less clear, and helpful, a notion than it is standardly taken to be, and that speakers needn't aim to be cooperative in order to fix the meaning of their terms in context. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

In the tradition stemming from Aristotle through Aquinas, rational decision making is seen as a complex structure of distinct phases in which reasoning and will are interconnected. Intention, deliberation, and decision are regarded as the fundamental steps of the decision-making process, in which an end is chosen, the means are specified, and a decision to act is made. Based on this Aristotelian theoretical background, we show how the decision-making process can be modeled as a net of several patterns of reasoning, (...) involving the classification of an action or state of affairs, its evaluation, the deliberation about the means to carry it out, and the decision. It is shown how argumentation theory can contribute to our understanding of the mechanisms involved by formalizing the steps of reasoning using argumentation schemes, and setting out the value-based criteria underlying the evaluation of an action. Representing each phase of the decision-making process as a separate scheme allows one to identify implicit premises and bring the roots of ethical dilemma to light along with the means to resolve them. In particular, we will show the role of framing and classification in triggering value-based reasoning, and how argumentation theory can be used to represent and uproot the grounds of possible manipulations. (shrink)

Philosophical counselling is typically conceptualised as a praxis going beyond academic and theoretical philosophy. However, two problems soon follow, namely the lack of agreed-upon methods and a substantial neglect of different philosophical traditions informing its practice. In this article, I propose reconceptualising philosophical counselling as a distinct method through which academic philosophy can be practised. This allows me to introduce an understanding of African philosophy, inspired by African philosophers Chimakonam and Serequeberhan, that might encourage the philosophical counsellor to render academic (...) philosophy more applicable to the counselee. Moreover, it allows for embodied voices talking from an embedded African lifeworld to create new and more relevant concepts that emerge from that lifeworld. (shrink)

In this paper we propose an informal exposition of the structure approach in the philosophy of science. Scientific knowledge is here considered as a collection of scientific theories. Each scientific theory has logico-linguistic, model-representing, pragmatic-procedural, and problem-heuristical subsystems and a subsystem of ties. The pivotal methodological concept for the exact description of these subsystems is the named set. We also outline the possibility of applying the structure-nominative approach to certain problems in the philosophy of science.

The article examines the participation and assistance of the Orthodox Church in solving problems that allowed to give a scientific justification for the cooperation of health care and Orthodox religious institutions, to determine their role in the historical context and structure of modern healthcare in Russia. The article presents an algorithm for organizing sisters of mercy, their system of upbringing. Particular attention is given to the possibility of teaching the course "Foundations of Orthodox Culture" in secular educational institutions. -/- Research (...) materials can serve as a basis for the formation of morally sound positions of medical workers and the population on the main problems of medical activity. -/- Based on the study, the authors published a series of articles in which the experience of the work of the Orthodox Church in the charitable sphere has been summarized. This experience can be used to create new charitable institutions, including those who provided medical assistance. -/- In preparing the article, the authors used concrete historical, civilizational, formational and social methods of research that allowed us to uncover facts, phenomena and processes in the interconnection and unity of the past, present and future. (shrink)

In Emotions, Values & Agency, Christine Tappolet develops a sophisticated, perceptual theory of emotions and their role in wide range of issues in value theory and epistemology. In this paper, we raise three worries about Tappolet's proposal.

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.

The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of semantics. Fregean (...) logictics is a metalogical theory, based on the quadruple <particular (individual), predicate, equality, sequence>; it generates predicate logic. Ultrafregean logictics is based on the quadruple <particular, function, representation, sequence>, where the notion of a function is a generalization of the notion of a predicate and the notion of representation is a generalization of the notion of equality; this logictics generates functional logic. For the completely correct denotation of the functional values, we need the Churchian symbolics with parenthesis. Predicates are usually identified with relations. A relation is the derived and even definable category of ultra-Fregean logictics. Namely, relations are representations by functions (of one of their arguments). We show that Frege could really establish this definition and the notion (category) of representation but, unfortunately, rejected this course of thought. Next, we show that every n-ary relation can be resolved for some of its arguments via some (n-1)-ary function. A set, or class, is a derived and not definable category of ultra-Fregean logistics. The universal way to introduce the sets is Frege’s abstraction principle. We formulate this principle for functional logic and show that the notion of a set is quantified, so there is the dual existential notion of a nonempty subset, involved by the same abstraction principle. (shrink)

Against the background of a conventionalist theory, and staged as a defense of a naturalistic notion of names and naming, the critique of language developed in Plato’s Cratylus does not only propose that human language, in contrast to the language of the gods, is bound to the realm of myth and lie. The dialogue also concludes by offering a set of reasons to think that knowledge of reality is not within the reach of our words. Interpretations of the dialogue’s long (...) etymological sections often neglect this critique and tend to end up with an overly optimistic assessment of the theory of language on offer. In the light of one of the dialogue’s central etymological accounts, Socrates’ etymology of the name Hermes, this paper discusses two recent and influential versions of such a view: David Sedley’s theory of onomatopoetic encapsulation and Franco Trivigno’s qualified referentialism. It argues that the complex relation between language and reality expressed in the Cratylus cannot be exhaustively captured by either of these theories because Plato considers all names to be semantically underdetermined until they are put to use. It suggests that Plato rather works with a functionalistic notion of names and naming, and that the dialogue’s account of natural and correct naming is to be understood in these terms. (shrink)

What are the conditions for fixing the reference of a proper name? Debate on this point has recently been rekindled by Scott Soames, Robin Jeshion, and others. In this paper, I sketch a new pragmatic approach to the justification of reference-fixing procedures, in opposition to accounts that insist on an invariant set of conditions for fixing reference across environments and linguistic communities. Comparing reference to other relations whose instances are introduced through "initiation" procedures, I outline a picture in which the (...) procedures that are successful for fixing the reference of proper names depend in part on regularities in the actual environment. (shrink)

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

Neutrosophic set has been derived from a new branch of philosophy, namely Neutrosophy. Neutrosophic set is capable of dealing with uncertainty, indeterminacy and inconsistent information. Neutrosophic set approaches are suitable to modeling problems with uncertainty, indeterminacy and inconsistent information in which human knowledge is necessary, and human evaluation is needed. Neutrosophic set theory firstly proposed in 1998 by Florentin Smarandache, who also developed the concept of single valued neutrosophic set, oriented towards real world scientific and engineering applications. Since then, the (...) single valued neutrosophic set theory has been extensively studied in books and monographs introducing neutrosophic sets and its applications, by many authors around the world. (shrink)

The article sets out a primitive ontology of the natural world in terms of primitive stuff—that is, stuff that has as such no physical properties at all—but that is not a bare substratum either, being individuated by metrical relations. We focus on quantum physics and employ identity-based Bohmian mechanics to illustrate this view, but point out that it applies all over physics. Properties then enter into the picture exclusively through the role that they play for the dynamics of the (...) primitive stuff. We show that such properties can be local, as well as holistic, and discuss two metaphysical options to conceive them, namely, Humeanism and modal realism in the guise of dispositionalism. 1 Introduction2 Primitive Ontology: Primitive Stuff3 The Physics of Matter as Primitive Stuff4 The Humean Best System Analysis of the Dynamical Variables5 Modal Realism about the Dynamical Variables6 Conclusion. (shrink)

In this paper, we set out to investigate the following question: if science relies heavily on induction, does philosophy of science rely heavily on induction as well? Using data mining and text analysis methods, we study a large corpus of philosophical texts mined from the JSTOR database (n = 14,199) in order to answer this question empirically. If philosophy of science relies heavily on induction, just as science supposedly does, then we would expect to find significantly more inductive arguments than (...) deductive arguments and abductive arguments in the published works of philosophers of science. Using indicator words to classify arguments by type (namely, deductive, inductive, and abductive arguments), we search through our corpus to find patterns of argumentation. Overall, the results of our study suggest that philosophers of science do rely on inductive inference. But induction may not be as foundational to philosophy of science as it is thought to be for science, given that philosophers of science make significantly more deductive arguments than inductive arguments. Interestingly, our results also suggest that philosophers of science do not rely on abductive arguments all that much, even though philosophers of science consider abduction to be a cornerstone of scientific methodology. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

In this paper, we set out to test empirically an idea that many philosophers find intuitive, namely that non-moral ignorance can exculpate. Many philosophers find it intuitive that moral agents are responsible only if they know the particular facts surrounding their action. Our results show that whether moral agents are aware of the facts surrounding their action does have an effect on people’s attributions of blame, regardless of the consequences or side effects of the agent’s actions. In general, it was (...) more likely that a situationally aware agent will be blamed for failing to perform the obligatory action than a situationally unaware agent. We also tested attributions of forgiveness in addition to attributions of blame. In general, it was less likely that a situationally aware agent will be forgiven for failing to perform the obligatory action than a situationally unaware agent. When the agent is situationally unaware, it is more likely that the agent will be forgiven than blamed. We argue that these results provide some empirical support for the hypothesis that there is something intuitive about the idea that non-moral ignorance can exculpate. (shrink)

Brian Leftow sets out to provide us with an account of Aquinas’s metaphysics of modality. Drawing on some important recent work, which is surely close to the spirit (if not quite the letter) of Aquinas’s thought, he frames his discussion in terms of “truthmakers”: what is it that makes true claims about possibility and necessity—that is to say, what serves as their ontological ground or ultimate metaphysical explanation? Leftow’s main thesis is that, for Aquinas, all true modal claims are (...) made true by one and the same thing—namely, God. Along the way, however, he also attempts to show that Aquinas’s endorsement of this thesis commits him to an objectionable form of Platonism about possible worlds. (shrink)

So far, color-naming studies have relied on a rather limited set of color stimuli. Most importantly, stimuli have been largely limited to highly saturated colors. Because of this, little is known about how people categorize less saturated colors and, more generally, about the structure of color categories as they extend across all dimensions of color space. This article presents the results from a large Internet-based color-naming study that involved color stimuli ranging across all available chroma levels in Munsell space. These (...) results help answer such questions as how English speakers name a more complex color set, whether English speakers use so-called basic color terms (BCTs) more frequently for more saturated colors, how they use non-BCTs in comparison with BCTs, whether non-BCTs are highly consensual in less saturated parts of the solid, how deep inside color space basic color categories extend, or how they behave on the chroma dimension. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

This paper sets out to accomplish two goals. First, drawing on the Irish perspective, it reconceptualises one of the enduring legacy-based harms of epistemic colonisation, in this case, ‘linguicism’, in terms of ‘hermeneutical injustice’. Second, it argues that otherwise well-meaning attempts to combat epistemic colonisation through the inclusion of marginalised testimony can, in certain circumstances, lead to cases of ‘epistemic exploitation’, which, in turn, can result in ‘ontic burnout’. Both linguicism and epistemic exploitation, this paper theorizes, have the potential (...) to bring about ontic burnout. Here is the plan: to set the scene, section I briefly surveys some key arguments supporting the call for higher education institutions (HEIs) to engage in epistemic decolonising, focusing on the importance of striking a balance between two extremes: (i) abandoning all forms of Eurocentric/colonial knowledge through the elimination of inherited thinking and conceptual schemes which result from colonization, in particular, those which remain in our thinking “owing to inertia rather than to our own reflective choices” (Wiredu 2002, p.56); (ii) the other—pursuing a more positive project where we seek to, “exploit as much as is judicious the resources of indigenous conceptual schemes” (Wiredu 1996: p.136). From here, it moves to consider harms associated with a subset of ‘epistemicide’, that is, ‘linguicism’—a phenomenon where the language and culture of the colonizer become part of the ‘civilising project’ and, in more extreme cases of linguicide, forcibly replaces indigenous languages. Section II then explores the subtleties of harmful by-products deriving from ‘inclusion’, namely that which scholars refer to as ‘epistemic exploitation’. Situations where marginalised scholars are finally ‘at the table but still on the menu’ arise when privileged persons, compel marginalised knowers to educate them [and others] about the nature of their oppression (Berenstain, 2016). Habitual requests to turn themselves inside out for emancipatory principles give rise to a phenomenon known as ontic burnout (Dunne and Kotsonis, 2022, p.9)—“a form of dissociative explanatory fatigue culminating in oppressed persons engaging in a conscious or unconscious decoupling from their socially constructed identity, from the burdens and injustices associated with being a member of a certain social kind”. This harm is, I argue, rarely discussed in the literature and worthy of further analysis. (shrink)

Rather than set out an overarching view or take a stand on the debunking of morality tout court, in what follows I’ll explore a divide and conquer strategy. First, I will briefly sketch a debunking argument that, instead of targeting all of morality or human moral nature, has a more narrow focus—namely, the intuitive moral authority of disgust. The argument concludes that as vivid and compelling as they can be while one is in their grip, feelings of disgust should be (...) granted no power to justify moral judgments. Importantly, the argument is grounded in empirical advances concerning the character of the emotion itself. Next, I will step back and consider the argument’s general form. I then point to arguments that others have made that seem to share this form and selective focus, and comment on what such arguments do and do not presuppose. Finally, I locate the selective strategy with respect to other approaches moral debunking. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

The claim has often been made that passing the Turing Test would not be sufficient to prove that a computer program was intelligent because a trivial program could do it, namely, the “Humongous-Table (HT) Program”, which simply looks up in a table what to say next. This claim is examined in detail. Three ground rules are argued for: (1) That the HT program must be exhaustive, and not be based on some vaguely imagined set of tricks. (2) That the HT (...) program must not be created by some set of sentient beings enacting responses to all possible inputs. (3) That in the current state of cognitive science it must be an open possibility that a computational model of the human mind will be developed that accounts for at least its nonphenomenological properties. Given ground rule 3, the HT program could simply be an “optimized” version of some computational model of a mind, created via the automatic application of program-transformation rules [thus satisfying ground rule 2]. Therefore, whatever mental states one would be willing to impute to an ordinary computational model of the human psyche one should be willing to grant to the optimized version as well. Hence no one could dismiss out of hand the possibility that the HT program was intelligent. This conclusion is important because the Humongous-Table Program Argument is the only argument ever marshalled against the sufficiency of the Turing Test, if we exclude arguments that cognitive science is simply not possible. (shrink)

A science of metaphysics adhering to Immanuel Kant's critical demands as set forth in his "Critique of Pure Reason", and "Prolegomena to Any Future Metaphysic...." The work includes an Appendix that quotes Kant's most relevant remarks in this regard, along with his criterion for objective validity that, given the technical jargon, can be next to impossible to interpret even for those most familiar with Kant. The Appendix allows Kant to interpret himself, the point being that many secondary works enter into (...) conflict with Kant. This can be seen most notably with respect to the somewhat understandable notion that Kant was opposed to speculative metaphysics; but Kant's criterion for objective validity undermines this closed-to-speculative-metaphysics interpretation. As a science in the Kantian sense this work (in this latest edition there is a 2/3 page abstract diagram of the science that makes it more conceptually clear) offers an opportunity for those inclinec to shy away from speculative metaphysics to reexamine their interpretations, for as yet there is just as Kant states, no such thing as metaphysics, aside from such a science (Hegel notwithstanding). The objectives are as Kant mentions in the introduction to his CPR: God, Freedom, and Immortality; and that these problems can be dealt with rationally can be seen in this work; and without fear of violating Kant's reasonable and justifiable strictures, the main one being that where anything offered in the name of pure reason is concerned, it must be such that it helps us to make sense of our phenomenal world. And as to Kant's prerequisite test: "How are synthetic cognitions, a priori possible?" I refer only to my essay "Beyond Kant and Hegel (In Answer to the Question ...)" ... in "The Review of Metaphysics", March 2013. The premise advanced in the essay may be seen to be fully apparent in this science of metaphysics. (shrink)

Kant’s theory of cognition aimed to explain the possibility of scientific knowledge. Aesthetics and life science were not considered by Kant in the context of cognition. By contrast, Cassirer set himself a philosophical task to extend Kant’s theory of cognition to all forms of culture, including pre-scientific knowledge and aesthetics. The present study demonstrates how Cassirer explained the possibility of different objective forms, named symbolic, by employing and transforming Kant’s theory of cognition. For this goal, Cassirer took the following (...) steps: modified the definitions of a priori synthesis (the act of understanding) and pure intuition (the forms of space and time) - main building blocks of Kant’s cognition; indicated the necessary correlation of intuition and synthesis; characterized a priori synthesis and the intuition as notions which include contradicted meanings. Cassirer called this contradiction “twofold oppositions” as characteristic of a priori synthesis. The first argument of the article is that the possibility of various synthetic acts is rooted in the nature of a priori synthesis which carries together two different meanings: the act of uniting elements and the initial unity. One synthetic act forms the world of nature and is connected to scientific space and time, and the other is the product of immediate perceptional space and time, from which the world of myth and aesthetics appears. Thus, Cassirer expanded the scope of “pure” synthesis. The second argument is that Cassirer specified a priori synthesis and pure intuition as a functional concept. The functional concept belongs to the model of concept as-relation that Cassirer has elaborated. It includes moments that are separated and united simultaneously. This definition of concept breaks the rules of consistency. The concept of as-relation justifies the contradictory characteristics of a priori synthesis and pure intuition, which include both the combination of moments in a synthesizing act and the initial unity of intuition. (shrink)

In this paper, a special type of polysemantic words, that is, words with multiple meanings for the same part of speech, are analyzed under the name of neutrosophic words. These words represent the most dif cult cases for the disambiguation algorithms as they represent the most ambiguous natural language utterances. For approximate their meanings, we developed a semantic representation framework made by means of concepts from neutrosophic theory and entropy measure in which we incorporate sense related data. We show the (...) advantages of the proposed framework in a sentiment classification task. (shrink)

This paper shows that several live philosophical and scientific hypotheses – including the holographic principle and multiverse theory in quantum physics, and eternalism and mind-body dualism in philosophy – jointly imply an audacious new theory of free will. This new theory, "Libertarian Compatibilism", holds that the physical world is an eternally existing array of two-dimensional information – a vast number of possible pasts, presents, and futures – and the mind a nonphysical entity or set of properties that "read" that physical (...) information off to subjective conscious awareness (in much the same way that a song written on an ordinary compact-disc is only played when read by an outside medium, i.e. a CD-player). According to this theory, every possible physical “timeline” in the multiverse may be fully physically deterministic or physically-causally closed but each person’s consciousness still entirely free to choose, ex nihilo, outside of the physical order, which physically-closed timeline is experienced by conscious observers. Although Libertarian Compatibilism is admittedly fantastic, I show that it not only follows from several live scientific and philosophical hypotheses, I also show that it (A) is a far more explanatorily powerful model of quantum mechanics than more traditional interpretations (e.g. the Copenhagen, Everett, and Bohmian interpretations), (B) makes determinate, testable empirical predictions in quantum theory, and finally, (C) predicts and explains the very existence of a number of philosophical debates and positions in the philosophy of mind, time, personal identity, and free will. First, I show that whereas traditional interpretations of quantum mechanics are all philosophically problematic and roughly as ontologically “extravagant” as Libertarian Compatibilism – in that they all posit “unseen” processes – Libertarian Compatibilism is nearly identical in structure to the only working simulation that human beings have ever constructed capable of reproducing (and so explaining) every general feature of quantum mechanics we perceive: namely, massive-multiplayer-online-roleplaying videogames (or MMORPGs). Although I am not the first to suggest that our world is akin to a computer simulation, I show that existing MMORPGs (online simulations we have already created) actually reproduce every general feature of quantum mechanics within their simulated-world reference-frames. Second, I show that existing MMORPGs also replicate (and so explain) many philosophical problems we face in the philosophy of mind, time, personal identity, and free will – all while conforming to the Libertarian Compatibilist model of reality. -/- I conclude, as such, that as fantastic and metaphysically extravagant as Libertarian Compatibilism may initially seem, it may well be true. It explains a number of features of our reality that no other physical or metaphysical theory does. (shrink)

The dispute between realists about color and anti-realists is actually a dispute about the nature of color properties. The disputants do not disagree over what material objects are like. Rather, they disagree over whether any of the uncontroversial facts about material objects--their powers to cause visual experiences, their dispositions to reflect incident light, their atomic makeup, and so on--amount to their having colors. The disagreement is thus about which properties colors are and, in particular, whether colors are any of the (...) properties in a particular set that is acknowledged on both sides to exhaust the properties of material objects. In a previous paper we discussed at length one attempt to identify colors with particular properties of material objects--namely, with their dispositions to cause visual experiences. Here we shall discuss a different and perhaps more influential version of realism, which says that the colors of material objects are microphysical properties of their surfaces. We shall call this theory physicalism about color (physicalism, for short). In order to evaluate this theory, however, we shall first have to clarify some methodological issues. Our hope is that we can bring some further clarity to the question of color realism, whether or not we succeed in our critique of the physicalists' answer. (shrink)

In this paper we propose the notion of “subjective reference” as a conceptual tool that explains how and why human-robot sexual interactions could reframe users approach to human-human sexual interactions. First, we introduce the current debate about Sexual Robotics, situated in the wider discussion about Social Robots, stating the urgency of a regulative framework. We underline the importance of a social-relational approach, mostly concerned about Social Robots impact in human social structures. Then, we point out the absence of a precise (...) framework conceptualizing why Social Robots, and Sexual Robots in particular, may modify users’ sociality and relationality. Within a psychological framework, we propose to consider Sexual Robots as “subjective references”, namely objects symbolically referring to human subjects: we claim that, for the user experience, every action performed upon a Sexual Robot is symbolically directed toward a human subject, including degrading and violent practices. This shifting mechanism may transfer the user relational setting from human-robot interactions to human-human interactions. (shrink)

The doctrine that Christ is really present in the Eucharist appears to entail that Christ's body is not only multiply located but present in different ways at different locations. Moreover, the doctrine poses an even more difficult meta-question: what makes a theological explanation of the Eucharist a ‘real presence’ account? Aquinas's defence of transubstantiation, perhaps the paradigmatic account, invokes Aristotelian metaphysics and the machinery of Scholastic philosophy. My aim is not to produce a ‘rational reconstruction’ of his analysis but rather (...) to suggest a metaphysically innocent alternative that will ‘save the phenomena’ of religious belief and practice.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. The real presenceVolume 49, Issue 1H. E. BABER DOI: https://doi.org/10.1017/S0034412512000121Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

It can seem natural to say that, when in pain, we undergo experiences which present to us certain experience-dependent particulars, namely pains. As part of his wider approach to mind and world, John McDowell has elaborated an interesting but neglected version of this account of pain. Here I set out McDowell’s account at length, and place it in context. I argue that his subjectivist conception of the objects of pain experience is incompatible with his requirement that such experience be presentational, (...) rationalizing, and classificatory. (shrink)

Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative principles (...) are directed second-order obligations and, in particular, that the requirement related to deductive closure is directed to the norm-applier role rather than to the norm-giver role. The approach has been applied to the case of pure derogation yielding a new result, namely, that an independence property is a perfection-property of a norm-set in view of possible derogation. This paper in a polemical way touches upon several points raised by Kristan in his recent paper. (shrink)