The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.

In this book, we approach different topics related to neutrosophics, such as: Neutrosophic Set, Intuitionistic Fuzzy Set, Inconsistent Intuitionistic Fuzzy Set, Picture Fuzzy Set, Ternary Fuzzy Set, Pythagorean Fuzzy Set, Atanassov’s Intuitionistic Fuzzy Set of second type, Spherical Fuzzy Set, n-HyperSpherical Neutrosophic Set, q-Rung Orthopair Fuzzy Set, truth-membership, indeterminacy-membership, falsehood-nonmembership, Regret Theory, Grey System Theory, Three-Ways Decision, n-Ways Decision, Neutrosophy, Neutrosophication, Neutrosophic Probability, Refined Neutrosophy, Refined Neutrosophication, Nonstandard Analysis; (Theory, NeutroTheory, AntiTheory), S-denying an Axiom, Multispace with Multistructure, and so (...) on. (shrink)

The impossibility of an indeterministic evolution for standard relativistic quantum field theories, that is, theories in which all fields satisfy the condition that the generators of space-time translation have spectra in the forward light-cone, is demonstrated. The demonstration proceeds by arguing that a relativistically invariant theory must have a stable vacuum and then showing that stability of the vacuum, together with the requirements imposed by relativistic causality, entails deterministic evolution, if all degrees of freedom are standard degrees of (...) freedom. (shrink)

A new non-Archimedean approach to interacted quantum fields is presented. In proposed approach, a field operator φ(x,t) no longer a standard tempered operator-valued distribution, but a non-classical operator-valued function. We prove using this novel approach that the quantum field theory with Hamiltonian P(φ)_4 exists and that the corresponding C^*­ algebra of bounded observables satisfies all the Haag-Kastler axioms except Lorentz covariance. We prove that the λ(φ^2n )_4,n≥2 quantum field theory models are Lorentz covariant.

In the present paper the philosophical and mathematical continuity alleged by A. Robinson in Nonstandard Analysis (1966) between his theory and Leibniz’s calculus is investigated. In Section 1, after a brief overview of the history of analysis, we expose the historical, mathematical and philosophical aspects of Leibniz’s calculus. In Section 2 the main technical aspects of nonstandard analysis are presented, and Robinson’s philosophy is discussed. In Section 2.1 we claim the absence of a complete and direct continuity and (...) the only possibility of a conceptual similarity between Leibniz’s and Robinson’s theories, both at the philosophical and at the mathematical level. (shrink)

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as (...) Fermat’s last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

This article is primarily concerned with the articulation of a defensible position on the relevance of phenomenological analysis with the current epistemological edifice as this latter has evolved since the rupture with the classical scientific paradigm pointing to the Newtonian-Leibnizian tradition which took place around the beginning of 20th century. My approach is generally based on the reduction of the objects-contents of natural sciences, abstracted in the form of ideal objectivities in the corresponding logical-mathematical theories, to the content of (...) meaning-acts ultimately referring to a specific being-within-the-world experience. This is a position that finds itself in line with Husserl’s gradual departure from the psychologistic interpretations of his earlier works on the philosophy of logic and mathematics and culminates in a properly meant phenomenological foundation of natural sciences in his last major published work, namely the Crisis of European Sciences and the Transcendental Phenomenology. Further this article tries to set up a context of discourse in which to found both physical and formal objects in parallel terms as essentially temporal-noematic objects to the extent that they may be considered as invariants of the constitutional modes of a temporal consciousness. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the (...) existence of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace (...) of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (shrink)

Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them (...) radical: they can either deny that epistemic modal claims have probability at all, or they can move to a nonstandard probability theory. (shrink)

Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the relation (...) of set theory and arithmetic are demonstrated. (shrink)

We present a new justification for methodological triangulation (MT), the practice of using different methods to support the same scientific claim. Unlike existing accounts, our account captures cases in which the different methods in question are associated with, and rely on, incommensurable theories. Using a nonstandard Bayesian model, we show that even in such cases, a commitment to the minimal form of epistemic conservatism, captured by the rigidity condition that stands at the basis of Jeffrey’s conditionalization, supports the (...) practice of MT. (shrink)

The second volume of “Advancing Uncertain Combinatorics through Graphization, Hyperization, and Uncertainization: Fuzzy, Neutrosophic, Soft, Rough, and Beyond” presents a deep exploration of the progress in uncertain combinatorics through innovative methodologies like graphization, hyperization, and uncertainization. This volume integrates foundational concepts from fuzzy, neutrosophic, soft, and rough set theory, among others, to further advance the field. Combinatorics and set theory, two central pillars of mathematics, focus on counting, arrangement, and the study of collections under defined rules. Combinatorics excels in handling (...) uncertainty, while set theory has evolved with concepts such as fuzzy and neutrosophic sets, which enable the modeling of complex real-world uncertainties by addressing truth, indeterminacy, and falsehood. These advancements, when combined with graph theory, give rise to novel forms of uncertain sets in "graphized" structures, including hypergraphs and superhypergraphs. Innovations such as Neutrosophic Oversets, Undersets, and Offsets, as well as the Nonstandard Real Set, build upon traditional graph concepts, pushing both theoretical and practical boundaries. The synthesis of combinatorics, set theory, and graph theory in this volume provides a robust framework for addressing the complexities and uncertainties inherent in both mathematical and real-world systems, paving the way for future research and application. In the first chapter, “A Review of the Hierarchy of Plithogenic, Neutrosophic, and Fuzzy Graphs: Survey and Applications”, the authors investigate the interrelationships among various graph classes, including Plithogenic graphs, and explore other related structures. Graph theory, a fundamental branch of mathematics, focuses on networks of nodes and edges, studying their paths, structures, and properties. A Fuzzy Graph extends this concept by assigning a membership degree between 0 and 1 to each edge and vertex, representing the level of uncertainty. The Turiyam Neutrosophic Graph is introduced as an extension of both Neutrosophic and Fuzzy Graphs, while Plithogenic graphs offer a potent method for managing uncertainty. The second chapter, “Review of Some Superhypergraph Classes: Directed, Bidirected, Soft, and Rough”, examines advanced graph structures such as directed superhypergraphs, bidirected hypergraphs, soft superhypergraphs, and rough superhypergraphs. Classical graph classes include undirected graphs, where edges lack orientation, and directed graphs, where edges have specific directions. Recent innovations, including bidirected graphs, have sparked ongoing research and significant advancements in the field. Soft Sets and their extension to Soft Graphs provide a flexible framework for managing uncertainty, while Rough Sets and Rough Graphs address uncertainty by using lower and upper approximations to handle imprecise data. Hypergraphs generalize traditional graphs by allowing edges, or hyperedges, to connect more than two vertices. Superhypergraphs further extend this by allowing both vertices and edges to represent subsets, facilitating the modeling of hierarchical and group-based relationships. The third chapter, “Survey of Intersection Graphs, Fuzzy Graphs, and Neutrosophic Graphs”, explores the intersection graph models within the realms of Fuzzy Graphs, Intuitionistic Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. The chapter highlights their mathematical properties and interrelationships, reflecting the growing number of graph classes being developed in these areas. Intersection graphs, such as Unit Square Graphs, Circle Graphs, and Ray Intersection Graphs, are crucial for understanding complex graph structures in uncertain environments. The fourth chapter, “Fundamental Computational Problems and Algorithms for SuperHyperGraphs”, addresses optimization problems within the SuperHypergraph framework, such as the SuperHypergraph Partition Problem, Reachability, and Minimum Spanning SuperHypertree. The chapter also adapts classical problems like the Traveling Salesman Problem and the Chinese Postman Problem to the SuperHypergraph context, exploring how hypergraphs, which allow hyperedges to connect more than two vertices, can be used to solve complex hierarchical and relational problems. The fifth chapter, “A Short Note on the Basic Graph Construction Algorithm for Plithogenic Graphs”, delves into algorithms designed for Plithogenic Graphs and Intuitionistic Plithogenic Graphs, analyzing their complexity and validity. Plithogenic Graphs model multi-valued attributes by incorporating membership and contradiction functions, offering a nuanced representation of complex relationships. The sixth chapter, “Short Note of Bunch Graph in Fuzzy, Neutrosophic, and Plithogenic Graphs”, generalizes traditional graph theory by representing nodes as groups (bunches) rather than individual entities. This approach enables the modeling of both competition and collaboration within a network. The chapter explores various uncertain models of bunch graphs, including Fuzzy Graphs, Neutrosophic Graphs, Turiyam Neutrosophic Graphs, and Plithogenic Graphs. In the seventh chapter, “A Reconsideration of Advanced Concepts in Neutrosophic Graphs: Smart, Zero Divisor, Layered, Weak, Semi, and Chemical Graphs”, the authors extend several fuzzy graph classes to Neutrosophic graphs and analyze their properties. Neutrosophic Graphs, a generalization of fuzzy graphs, incorporate degrees of truth, indeterminacy, and falsity to model uncertainty more effectively. The eighth chapter, “Short Note of Even-Hole-Graph for Uncertain Graph”, focuses on Even-Hole-Free and Meyniel Graphs analyzed within the frameworks of Fuzzy, Neutrosophic, Turiyam Neutrosophic, and Plithogenic Graphs. The study investigates the structure of these graphs, with an emphasis on their implications for uncertainty modeling. The ninth chapter, “Survey of Planar and Outerplanar Graphs in Fuzzy and Neutrosophic Graphs”, explores planar and outerplanar graphs, as well as apex graphs, within the contexts of fuzzy, neutrosophic, Turiyam Neutrosophic, and plithogenic graphs. The chapter examines how these types of graphs are used to model uncertain parameters and relationships in mathematical and real-world systems. The tenth chapter, “General Plithogenic Soft Rough Graphs and Some Related Graph Classes”, introduces and explores new concepts such as Turiyam Neutrosophic Soft Graphs and General Plithogenic Soft Graphs. The chapter also examines models of uncertain graphs, including Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Graphs, all designed to handle uncertainty in diverse contexts. The eleventh chapter, “Survey of Trees, Forests, and Paths in Fuzzy and Neutrosophic Graphs”, provides a comprehensive study of Trees, Forests, and Paths within the framework of Fuzzy and Neutrosophic Graphs. This chapter focuses on classifying and analyzing graph structures like trees and paths in uncertain environments, contributing to the ongoing development of graph theory in the context of uncertainty. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

This is a short piece of humor (I hope) on nonstandard set theories. An earlier version appeared in Bull. EATCS 45: 146-147 (1991).

Revolutionary violence stems from the conatus of survival, from the appetite for life and joy rather than from the desire to destroy and the hubristic pretension to punish. It is an incursion of one's desire to affirm life and annihilate pain. Following Laruelle's methodology of nonstandard philosophy, I conclude that revolutionary violence is the product of an intensive expansion of life. Pure violence, conceived in non-philosophical terms, is a pre-lingual, presubjective force affected by the “lived,; analogous to Badiou's void (...) and it is radically revolutionary. It is fundamentally different from Benjamin's lawmaking “divine violence; and its appropriations by Žižek. Revolutionary experience is inevitably translated into language. What preserves the revolutionary substance in a post-revolution political discourse is that it is constantly checked by the sense of fidelity to the experience of the revolutionary event. Agamben, Benjamin, Schmidt and Žižek are discussed from an essentially non-philosophical stance, informed by Laruelle's theory that has been supplemented in some aspects by Badiou's concept of the pre-lingual event. (shrink)

Gives two pared-down versions of the argument from design, which may prove more persuasive as to a Creator, discusses briefly the mathematics underpinning disbelief and nonbelief and its misuse and some proper uses, moves to why the full argument is needed anyway, viz., to demonstrate Providence, offers a theory as to how miracles (open and hidden) occur, viz. the replacement of any particular mathematics underlying a natural law (save logic) by its most appropriate nonstandard variant. -/- Note: This is (...) an extended abstract; there are no present plans to complete it. (shrink)

This article argues that Nietzsche’s transvaluation project refers not to a mere inversion or negation of a set of nihilism-prone, Judeo-Christian values but, instead, to a different conception of what a value is and how it functions. Traditional values function within a standard logical framework and claim legitimacy and “bindingness” based on exogenous authority with absolute extension. Nietzsche regards this framework as unnecessarily reductive in its attempted exclusion of contradiction and real opposition among competing values. I propose a nonstandard, (...) dialetheic model of valuation that requires a value to be both true and false as well as neither true nor false.In our Europe, life is no longer quite so uncertain, contingent, nonsensical. [...] The power man has achieved now allows a reduction of those means of discipline of which the moral interpretation was the strongest.— KSA 12:5[71]The logic of our conscious thinking is only a crude and facilitated form of the thinking needed by our organism [...] A simultaneity-thinking [ein Zugleichdenken], for example, is needed of which we have hardly an inkling. [...] We are still growing continually, our sense of time and place, etc., is still developing.— KSA 11:34[124]. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

'Epistemic' theories of vagueness notoriously claim that (despite the appearances to the contrary) all of our vague terms have sharp boundaries, it's just that we can't know what they are. Epistemic theories are typically criticized for failing to explain (1) the source of the ignorance postulated, and (2) how our terms could come to have such precise boundaries. Both of these objections will, however, be shown to rest on certain 'presentist' assumptions about the relation between use and meaning, (...) and if allows that the meaning constitutive elements of our linguistic practices can extend into the future, the possibility of a new sort of 'normative epistemicism' emerges. (shrink)

This chapter describes the attributionist approach to moral responsibility. Works by Pamela Hieronymi, T.M. Scanlon, Angela Smith, and Matthew Talbert are taken to representative of this approach. On the interpretation given here, attributionism is committed to the following: assessments of moral responsibility are, and ought to be, centrally concerned with the morally significant features of an agent’s orientation toward others that are attributable to her, and an agent is eligible for moral praise or blame solely on the basis of these (...) attributions. Attributionism is presented as rejecting the claim that agents are morally responsible only for what is under their voluntary control, as well as the claim that agents are responsible for wrongdoing only if they could have responded to the moral considerations that spoke against your behavior. These supposed conditions on moral responsibility are rejected for the same reason: agents may reveal features of their selves, in a way that is sufficient for moral responsibility, even in cases in which these conditions are not met. (shrink)

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

In a recent article, Bernáth and Tőzsér (2021) defend what they call the Bias Argument, a new skeptical argument from expert peer disagreement. They argue that the best contrastive causal explanation for disagreement among leading experts in philosophy is that they adopt their positions in a biased way. But if the leading experts are biased, non-experts either are also biased or only avoid bias through epistemic inferiority. Recognizing this is expected to prompt one to decrease one‘s confidence in one‘s philosophical (...) beliefs. This paper argues that some beliefs are immune to a key premise of the Bias Argument. To show this, the paper develops the concepts of self-favoring theories, decisive support, and standing-incommensurable disagreements. A plausible example of a self-favoring theory, dubbed Mere Reformed Protestantism, is sketched. Many disagreements over self-favoring theories and over beliefs decisively supported by self-favoring theories are shown to be standing-incommensurable. It is then argued that when non-experts are in standing-incommensurable disagreements with experts, the standards of assessing expertise are themselves controverted. This result undercuts the move in the Bias Argument from expert bias to non-expert bias. Finally, a couple reservations about the role of self-favoring theories in philosophy are addressed. (shrink)

Non‐Humean theories of natural necessity invoke modally‐laden primitives to explain why nature exhibits lawlike regularities. However, they vary in the primitives they posit and in their subsequent accounts of laws of nature and related phenomena (including natural properties, natural kinds, causation, counterfactuals, and the like). This article provides a taxonomy of non‐Humean theories, discusses influential arguments for and against them, and describes some ways in which differences in goals and methods can motivate different versions of non‐Humeanism (and, for (...) that matter, Humeanism). In short, this article provides an introduction to non‐Humeanism concerning the metaphysics of laws of nature and natural necessity. (shrink)

In this paper, I argue that no theory of consciousness can simultaneously respect four initially plausible metaphysical claims – namely, ‘first-person realism’, ‘non-solipsism’, ‘non-fragmentation’, and ‘one world’ – but that any three of the four claims are mutually consistent. So, theories of consciousness face a ‘quadrilemma’. Since it will be hard to achieve a consensus on which of the four claims to retain and which to give up, we arrive at a landscape of competing theories, all of which (...) have pros and cons. I will briefly indicate which kinds of theories correspond to the four horns of the quadrilemma. (shrink)

In this chapter, we provide an opinionated introduction to contemporary trope bundle theories of substance. We assess different trope bundle theories on the grounds of their two main aims: to provide an adequate account of substances or objects by means of tropes and a reductive analysis of inherence, that is, object's having tropes as their properties. Our discussion begins by a presentation of Donald C. Williams’ and Keith Campbell's paradigmatic trope theories, which maintain that tropes are independent (...) existents. After highlighting the central problems of paradigmatic trope theories, we discuss two more recent developments of trope bundle theory that also take non-relational tropes as independent existents, Anna-Sofia Maurin's and Douglas Ehring's independence theories. Finally, we present two alternative trope bundle theories, according to which tropes are dependent existents, dependence theories, namely, Arda Denkel's Saturation theory and our Strong Nuclear Theory (SNT). Although the latter two theories introduce existential dependencies among tropes, we argue that dependence theories provide a more satisfactory account of substances dividing into natural kinds than independence theories. (shrink)

Should philosophers prefer simpler theories? Huemer (Philos Q 59:216–236, 2009) argues that the reasons to prefer simpler theories in science do not apply in philosophy. I will argue that Huemer is mistaken—the arguments he marshals for preferring simpler theories in science can also be applied in philosophy. Like Huemer, I will focus on the philosophy of mind and the nominalism/Platonism debate. But I want to engage with the broader issue of whether simplicity is relevant to philosophy.

Given that conspiracies exist, can we be justified in dismissing conspiracy theories without concerning ourselves with specific details? I answer this question by focusing on contrarian conspiracy theories, theories about conspiracies that conflict with testimony from reliable sources of information. For example, theories that say the CIA masterminded the assassination of John F. Kennedy, 9/11 was an inside job, or the Freemasons are secretly running the world are contrarian conspiracy theories. When someone argues for a (...) contrarian conspiracy theory, their options are to appeal to eyewitness testimony, incriminating documents, photographs, audio recordings, video recordings, allegedly scientific evidence, anomalies, or considerations of cui bono (who benefits). Most laypeople don’t know how to adequately respond to arguments for contrarian conspiracy theories, but this doesn’t mean that it’s dogmatic to reject them. I argue that many laypeople are defeasibly justified in rejecting a variety of contrarian conspiracy theories based on testimony and this justification is rarely defeated by arguments for contrarian conspiracy theories even if we don’t know how to respond to these arguments. (shrink)

Subjectivity theories of consciousness take self-reference, somehow construed, as essential to having conscious experience. These theories differ with respect to how many levels they posit and to whether self-reference is conscious or not. But all treat self-referencing as a process that transpires at the personal level, rather than at the subpersonal level, the level of mechanism. -/- Working with conceptual resources afforded by pre-existing theories of consciousness that take self-reference to be essential, several attempts have been made (...) to explain seemingly anomalous cases, especially instances of alien experience. These experiences are distinctive precisely because self-referencing is explicitly denied by the only person able to report them: those who experience them deny that certain actions, mental states, or body parts belong to self. The relevant actions, mental states, or body parts are sometimes attributed to someone or something other than self, and sometimes they are just described as not belonging to self. But all are referred away from self. -/- The cases under discussion here include somatoparaphrenia, schizophrenia, depersonalization, anarchic hand syndrome, and utilization behavior; the theories employed, Higher-Order Thought, Wide Intrinsicality, and Self-Representational. Below I argue that each of these attempts at explaining or explaining away the anomalies fails. Along the way, since each of these theories seeks at least compatibility with science, I sketch experimental approaches that could be used to adduce support for my position, or indeed for the positions of theorists with whom I disagree. -/- In a concluding section I first identify two presuppositions shared by all of the theorists considered here, and argue that both are either erroneous or misleading. Second, I call attention to divergent paths adopted when attempting to explain alienation experiences: some theorists choose to add a mental ingredient, while others prefer to subtract one. I argue that alienation from experience, action, or body parts could result from either addition or subtraction, and that the two can be incorporated within a comprehensive explanatory framework. Finally, I suggest that this comprehensive framework would require self-referencing of a sort, but self-referencing that occurs solely on the level of mechanism, or the subpersonal level. In adumbrating some features of this “subpersonal self,” I suggest that there might be one respect in which it is prior to conscious experience. (shrink)

Some sensory experiences are pleasant, some unpleasant. This is a truism. But understanding what makes these experiences pleasant and unpleasant is not an easy job. Various difficulties and puzzles arise as soon as we start theorizing. There are various philosophical theories on offer that seem to give different accounts for the positive or negative affective valences of sensory experiences. In this paper, we will look at the current state of art in the philosophy of mind, present the main contenders, (...) critically compare and contrast them. In particular, we want to examine how they handle the reason-giving power of affective states. We will look into two representationalist proposals (Evaluativism and Imperativism) and a functionalist proposal, and argue that, contrary to their own advertisements, the representationalist proposals don’t have good accounts of why and how sensory affect can motivate, rationalize, and justify subsequent behavior and intentional mental activity. We will show that our own functionalist proposal does a much better job in this regard, and that when the representationalist proposals are modified to do a better job, they fare better not because of their representationalist credentials but due to their functionalist ones. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and (...) logical consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

This article presents theories of attention that attempt to derive their answer to the question of what attention is from their answers to the question of what it is for some activity to be done attentively. Such theories provide a distinctive account of the difficulties that are faced by the attempt to locate processes in the brain by which the phenomena of attention can be explained. Their account does not share the pessimism of theories suggesting that the (...) concept of attention is defective. Instead it reconstrues the explanatory relationship between attention and the processes that constitute it, in a way that is illustrated here by considering the relationship between attention and the processes that are identified by the biased competition theory. After considering some of the ways in which an adverbialist approach might be developed, the article concludes by suggesting some possible solutions to a problem concerning distraction, by which prominent adverbialist theories of attention have been dogged. (shrink)

Conspiracy theories are spreading faster than ever and pose a real danger to our societies. It is natural to accuse the consumers of conspiracy theories of irrationality – that they are either not looking at or appropriately sensitive to all the available evidence. In this paper, I attempt to determine if we can make sense of this general idea. I argue that we cannot: conspiracy theories do not spread because the people who believe them are irrational – (...) at least, not necessarily so. In addition, I explore some alternative strategies for responding to the problem of the spread of conspiracy theories. I argue that in addition to confrontational strategies such as social shaming, we need more constructive programs of community activism to battle the spread of conspiracy theories. (shrink)

Conpiracy theories are widely deemed to be superstitious. Yet history appears to be littered with conspiracies successful and otherwise. (For this reason, "cock-up" theories cannot in general replace conspiracy theories, since in many cases the cock-ups are simply failed conspiracies.) Why then is it silly to suppose that historical events are sometimes due to conspiracy? The only argument available to this author is drawn from the work of the late Sir Karl Popper, who criticizes what he calls (...) "the conspiracy theory of society" in The Open Society and elsewhere. His critique of the conspiracy theory is indeed sound, but it is a theory no sane person maintains. Moreover, its falsehood is compatible with the prevalence of conspiracies. Nor do his arguments create any presumption against conspiracy theories of this or that. Thus the belief that it is superstitious to posit conspiracies is itself a superstition. The article concludes with some speculations as to why this superstition is so widely believed. (shrink)

In this article I offer a three-pronged defense of Millian theories, all of which share the rough idea that all there is to a proper name is its referent, so it has no additional sense. I first give what I believe to be the first correct analysis of Kripke’s puzzle and its anti-Fregean lessons. The main lesson is that the Fregean’s arguments against Millianism and for the existence of semantically relevant senses (that is, individuative elements of propositions or belief (...) contents that are sensitive to our varying personal conceptions of the referents of those elements) are viciously circular. Thus, the Fregean must give new arguments for her central claims. Second, I offer an original, positive argument for the Millian idea that the thoughts that Cicero was bald and that Tully was bald are identical. Incredibly, the argument appeals to nothing but highly intuitive, pre-theoretical principles regarding folk psychological usage—traditionally the source of Fregean intuitions. Third, I examine one of the most important recent papers on Kripke’s puzzle, that by David Sosa (1996). Sosa claims to have found a way to turn the tables on Kripke’s puzzle by using it to argue against Millian theories. I argue that Sosa’s argument on behalf of the Fregean is question-begging. I conclude that Millian theories can be seriously defended without any use of theoretical constructs such as guises or Russellian propositions, and Fregeans need to start over arguing for their theory’s central claims. (shrink)

I propose an account of desire that reconciles two apparently conflicting intuitions about practical agency. I do so by exploring a certain intuitive datum. The intuitive datum is that often when an agent desires P she will seem to immediately and conclusively know that there is a reason to bring P about. Desire-based theories of reasons seem uniquely placed to explain this intuitive datum. On this view, desires are the source of an agent’s practical reasons. A desire for P (...) grounds conclusive knowledge of a reason to bring P about because that desire makes it true that there is a reason to do so. However, this implies that a basic desire for P can never be in error about there being at least some reason to bring P about. We have the conflicting intuition that basic desires sometimes rationally count for nothing. The guise of the good explains this intuition about the fallibility of desires. On this view, a desire for P represents P as good in some respect. Desires and reasons are independent, so a desire might misrepresent one’s reasons. But this independence is usually taken to rule out that desires ever provide conclusive knowledge of reasons. Capturing the intuition about conclusive knowledge rules out capturing the intuition about fallibility, and vice versa. I propose an epistemological disjunctivist version of the guise of the good that reconciles fallibility with the possibility of conclusive knowledge. (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the (...) the posterior probabilities will be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

The field of bioethics is replete with applications of moral theories such as utilitarianism and Kantianism. For a given dilemma, even if it is not clear how one of these western philosophical principles of right (and wrong) action would resolve it, one can identify many of the considerations that each would conclude is relevant. The field is, in contrast, largely unaware of an African account of what all right (and wrong) actions have in common and of the sorts of (...) factors that for it are germane to developing a sound response to a given bioethical problem. My aim is to help rectify this deficiency by first spelling out a moral theory grounded in the mores of many sub-Saharan peoples, and then applying it to some major bioethical issues, namely, the point of medical treatment, free and informed consent, standards of care and animal experimentation. For each of these four issues, I compare and contrast the implications of the African moral theory with utilitarianism and Kantianism, my overall purposes being to highlight respects in which the African moral theory is distinct and to demonstrate that the field should take it at least as seriously as it does the Western theories. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on (...) selected systematic issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Conspiracy theories are rather a popular topic these days, and a lot has been written on things like the meaning of _conspiracy theory_, whether it’s ever rational to believe conspiracy theories, and on the psychology and demographics of people who believe conspiracy theories. But very little has been said about why people might be led to posit conspiracy theories in the first place. This paper aims to fill this lacuna. In particular, I shall argue that, in (...) open democratic societies, citizens justifiably presuppose that the epistemic authorities—journalists, academics, scientists, and so on—are engaged in a good faith pursuit of the truth. This presupposition generates certain normative expectations on the behaviors of the epistemic authorities—they ought to be open to new evidence, possess a healthy degree of skepticism, be willing to engage with opponents, and so on. So, when an epistemic authority is presented with some putatively anomalous data or an alternative hypothesis for some event or phenomena, people expect the epistemic authority to respond in a way that is consonant with these norms. In some instances, however, the epistemic authorities do not respond in this way and instead are dogmatic, dismissive, and engage in _ad hominem_. From the point of view of the citizen, there’s a tension here between how the epistemic authorities ought to behave and how they have, in fact, behaved which is best resolved either by taking the epistemic authorities less seriously or by positing a conspiracy theory. Put another way, the failure of the epistemic authorities to adhere to the norms by which we take them to be governed when presented with apparent anomalies or alternative hypotheses is one reason for which one might initially posit a conspiracy theory. (shrink)

Theorists of aesthetic value since Hume have traditionally aimed to justify at least some comparative judgments of aesthetic value and to explain why we thereby have more reason to appreciate some aesthetic objects than others. I argue that three recent theories of aesthetic value—Thi Nguyen’s and Matthew Strohl’s engagement theories, Nick Riggle’s communitarian theory, and Dominic McIver Lopes’ network theory—face a challenge to carry out this explanatory task in a satisfactory way. I defend a monotonicity principle according to (...) which the strength of our aesthetic reasons to appreciate varies monotonically with aesthetic value and claim that these theories, because they do not respect the principle, are non-monotonic. If they cannot find a plausible way to preserve the link between the aesthetic goodness of an object and our aesthetic reasons to appreciate it, these non-monotonic theories should be rejected. (shrink)

Critical review of Buddhist theories of free will published between 2000 and 2014.

This chapter argues that the only tenable unconscious inferences theories of cognitive achievement are ones that employ a theory internal technical notion of representation, but that once we give cash-value definitions of the relevant notions of representation and inference, there is little left of the ordinary notion of representation. We suggest that the real value of talk of unconscious inferences lies in (a) their heuristic utility in helping us to make fruitful predictions, such as about illusions, and (b) their (...) providing a high-level description of the functional organization of subpersonal faculties that makes clear how they equip an agent to navigate its environment and pursue its goals. (shrink)

In this paper, three theories of progress and the aim of science are discussed: the theory of progress as increasing explanatory power, advocated by Popper in The logic of scientific discovery ; the theory of progress as approximation to the truth, introduced by Popper in Conjectures and refutations ; the theory of progress as a steady increase of competing alternatives, which Feyerabend put forward in the essay “Reply to criticism. Comments on Smart, Sellars and Putnam” and defended as late (...) as the last edition of Against method. It is argued that, contrary to what Feyerabend scholars have predominantly assumed, Feyerabend's changing attitude towards falsificationism—which he often advocated at the beginning of his career, and vociferously attacked in the 1970s and 1980s—must be explained by taking into account not only Feyerabend's very peculiar view of the aim of science, but also Popper's changing account of progress. (shrink)

Scientific theories are used for a variety of purposes. For example, physical theories such as classical mechanics and electrodynamics have important applications in engineering and technology, and we trust that this results in useful machines, stable bridges, and the like. Similarly, theories such as quantum mechanics and relativity theory have many applications as well. Beyond that, these theories provide us with an understanding of the world and address fundamental questions about space, time, and matter. Here we (...) trust that the answers scientific theories give are reliable and that we have good reason to believe that the features of the world are similar to what the theories say about them. But why do we trust scientific theories, and what counts as evidence in favor of them? (shrink)

Dawes (2013) claims that we ought not to believe but to accept our best scientific theories. To accept them means to employ them as premises in our reasoning with the goal of attaining knowledge about unobservables. I reply that if we do not believe our best scientific theories, we cannot gain knowledge about unobservables, our opponents might dismiss the predictions derived from them, and we cannot use them to explain phenomena. We commit an unethical speech act when we (...) explain a phenomenon in terms of a theory we do not believe. (shrink)

Using the example of recent attempts to engineer the concept of conspiracy theory, I argue that philosophers should be far more circumspect in their approach to conceptual engineering than we have been – in particular, that we should pay much closer attention to the history behind and context that surrounds our target concept in order to determine whether it is a site of what I have elsewhere called ‘conceptual domination’. If it is, we may well have good reason to avoid (...) engineering. In their recent ‘What is a Conspiracy Theory?’, M. Giulia Napolitano and Kevin Reuter argue that the disagreement between generalists and particularists in the literature on conspiracy theories is best characterized as a set of dueling conceptual engineering projects. While I agree with their turn to this metaphilosophical literature, I give a very different account of its applicability. Particularists, on my account, are better read as aiming to diagnose the ways in which many discussions of the concept of conspiracy theories are a form of conceptual domination, where this broader context should then prompt us to abandon or block any concept of conspiracy theory that treats its referents as inherently defective. Broader metaphilosophical lessons are drawn. (shrink)