The CMI Millennium “P vs NP Problem” can be resolved e.g. if one shows at least one counterexample to the "P = NP" conjecture. A certain class of problems being such counterexamples will be formulated. This implies the rejection of the hypothesis that "P = NP" for any conditions satisfying the formulation of the problem. Thus, the solution "P is different from NP" of the problem in general is proved. The class of counterexamples can be interpreted as any quantum superposition (...) of any finite set of quantum states. The Kochen-Specker theorem is involved. Any fundamentally random choice among a finite set of alternatives belong to "NP" but not to "P". The conjecture that the set complement of "P" to "NP" can be described by that kind of choice exhaustively is formulated. (shrink)

Throughout this paper, we prove TC + CON(TC*)ͰP ≠ NP. To do that, firstly we introduce the definition of scope∗ . This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face finite number of efficient computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach to a world (...) of computation, in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P ≠ NP and P* ≠ NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)

Here we discuss about the following results: 1.

This paper continues and extensive exploration of the QG and TOE resulting from the PF interpretation of QM. Some highlights are an exploration of symmetries of the Standard Model, outlines of testable predictions of implications for QG, that this theory can simultaneously give an account of dark matter and dark energy, probabilities and statevector collapse vs. gravity, applications of the causal interaction tensor Cαβγδ(Fi, Fj). Note the first section mentions qualia but this is not a psychological theory this is an (...) ontic theory. (shrink)

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some equality (...) may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

The nature of linguistic understanding is a much-debated topic. Among the issues that have been discussed, two questions have recently received a lot of attention: (Q1) ‘Are states of understanding direct (i.e. represent solely what is said) or indirect (i.e. represent what is said as being said/asserted)?’ and (Q2) ‘What kind of mental attitude is linguistic understanding (e.g. knowledge, belief, seeming)?’ This paper argues that, contrary to what is commonly assumed, there is no straightforward answer to either of these questions. (...) This is because linguistic understanding cannot be identified with a single mental attitude towards a particular representation. Instead, we should characterize states of linguistic understanding as involving complex representational structures generated by a dual-stream process. The first stream operates on direct representations of what is said, while the second operates on representations of what is said as being said/asserted by a given source. Both these streams feed a situation model, i.e. a complex representation of a state of affairs described by a given piece of discourse. (shrink)

The essays in this special issue focus on connecting the relevant aspects of Lowe’s metaphysics to issues in philosophical theology. In this regard, the essays focus on Trinity, divine causal agency, atonement, embodied existence, physicalism vs. dualism, natural science, and theological claims.

There has been considerable debate in the literature as to whether work in experimental philosophy actually makes any significant contribution to philosophy. One stated view is that many X-Phi projects, notwithstanding their focus on topics relevant to philosophy, contribute little to philosophical thought. Instead, it has been claimed the contribution they make appears to be to cognitive science. In contrast to this view, here we argue that at least one approach to X-Phi makes a contribution which parallels, and also extends, (...) historically salient forms of philosophical analysis, especially contributions from Immanuel Kant, William James, Peter F. Strawson and Thomas Nagel. The framework elaborated here synthesizes philosophical theory with empirical evidence from psychology and neuroscience and applies it to three perennial philosophical problems. According to this account, the origin of these three problems can be illuminated by viewing them as arising from a tension between two distinct types of cognition, each of which is associated with anatomically independent and functionally inhibitory neural networks. If the parallel we draw, between an empirical project and historically highly influential examples of philosophical analysis, is viewed as convincing, it follows that work in the cognitive sciences can contribute directly to philosophy. Further, this conclusion holds whether the empirical details of the account are correct or not. (shrink)

With regard to recent historical developments, the Social Model has been of enormous emancipatory significance, chiefly as a counter-agent against rigid definitions of dis-/ability and the traditional role (marked by misfortune) imposed on disabled people. Based on underdetermined notions of “social construction”, this model presently threatens to unduly narrow reflections on the existential conditions of disabled agents, and to obscure crucial questions facing just social orders of the future. These notions imply an overemphasis on linguistic/mental and cultural acts in the (...) shaping of life courses, whereas physical, practical and existential pre-conditions of life come to be disregarded as purportedly freely available, (natural) features. Conversely, this argumentation sketch – a contribution to DisKo18 – works towards a reconceptualisation of disability rooted in external realism, assuming partially autonomous agents. The paper asks: What is the place of disabled people in the world, given that the elementary conditions and problems of life are not primarily of human origin, but arise out of a complex interaction with elements of external reality? What space remains to them in view of extant impairment-related restrictions? Based on a critique of constructionist tenets, possibilities for a just social order are discussed, considering (a) disabilities vs. (b) external, pre-social factors that limit the range of possible social solutions, with special regard to available resources. This approach is exemplified by placing disability in contexts of ecological sustainability. (Paper in German, short version). (shrink)

Psychopathy, which is characterized by a constellation of antisocial behavioral traits, may be subdivided on the basis of etiology: “primary” (low-anxious) psychopathy is viewed as a direct consequence of some core intrinsic deficit, whereas “secondary” (high-anxious) psychopathy is viewed as an indirect consequence of environmental factors or other psychopathology. Theories on the neurobiology of psychopathy have targeted dysfunction within ventromedial prefrontal cortex (vmPFC) as a putative mechanism, yet the relationship between vmPFC function and psychopathy subtype has not been fully explored. (...) In this study, we administered two laboratory decision-making tasks (the Ultimatum Game and the Dictator Game) to a group of prisoners (n=47) to determine whether the different subtypes of psychopathy (primary vs. secondary) are associated with characteristic patterns of economic decision-making, and furthermore, whether either subtype exhibits similar performance to patients with vmPFC lesions. Comparing primary psychopaths (n=6) to secondary psychopaths (n=6) and non-psychopaths (n=22), we found that primary psychopathy was associated with significantly lower acceptance rates of unfair Ultimatum offers and lower offer amounts in the Dictator Game. Moreover, primary psychopaths were quantitatively similar to vmPFC lesion patients in their response patterns. These results support the purported connection between psychopathy and vmPFC dysfunction, bolster the distinction between primary and secondary psychopathy, and demonstrate the utility of laboratory economic decision-making tests in differentiating clinical subgroups. (shrink)

I prove both the mathematical conjectures P ≠ NP and the Continuum Hypothesis are eternally unprovable using the same fundamental idea. Starting with the Saunders Maclane idea that a proof is eternal or it is not a proof, I use the indeterminacy of human biological capabilities in the eternal future to show that since both conjectures are independent of Axioms and have definitions connected with human biological capabilities, it would be impossible to prove them eternally without the creation and widespread (...) acceptance of new axioms. I also show that the same fundamental concepts cannot be used to demonstrate the eternal unprovability of many other mathematical theorems and open conjectures. Finally I investigate the idea’s implications for the foundations of mathematics including its relation to Godel’s Incompleteness Theorem and Tarsky’s Undefinability Theorem. (shrink)

One of the possible hypotheses about time is to consider any instant of time as a fuzzy number so that two instances of time could be overlapped. Historically, some Mathematicians and Philosophers have had similar ideas. Brouwer and Husserl are two examples. This article studies the impact of this change on the Theory of Computation and Complexity Theory. In order to rebuild the Theory of Computation in a more successful and productive approach to solve some major problems in Complexity Theory, (...) the present research is done. This novel theory is called here, the fuzzy time theory of computation, TC*. Here, we show the situation of some major problems in Complexity theory and Quantum complexity theory in the new model, and how some major problems would be solved. (shrink)

Throughout this paper, in a nutshell we try to show a way to check Fuzzy time in general and Fuzzy time-Particle interpretation of Quantum Mechanics, experimentally. . -/- .

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)

This is a presentation about the impacts of Logic and Theory of Computation. It starts by some explanations about Theory of Computation and its relations with the other subjects in science. Then we have some explanations about paradoxes and some historical points. In continuation, we present some of the most important paradoxes. Forthcoming, Five subjects around the relations between Logic and Theory of computation is introduced. Finally, we present a new approach to solve P vs NP problem via Paradoxes (Presentation (...) 6/20/2022 In Persian, Online seminar of The Iranian Association for Logic (IAL) . (shrink)

. In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about paradoxes, as Philosophical (...) back ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. -/- . (shrink)

In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about paradoxes, as Philosophical back (...) ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. (shrink)

In a series of articles we try to show the need of a novel Theory for Theory of Computation based on considering time as a Fuzzy concept. Time is a central concept In Physics. First we were forced to consider some changes and modifications in the Theories of Physics. In the second step and throughout this article we show the positive Impact of this modification on Theory of Computation and Complexity Theory to rebuild it in a more successful and fruitful (...) approach. We call this novel Theory TC*. (shrink)

Here, the author tries to build the structure of the Theory of computation based on considering time as a fuzzy concept. In fact, there are reasons to consider time as a fuzzy concept. In this article, the author doesn’t go to this side but note that Brower and Husserl views on the concept of time were similar [8]. Some reasons have been given for it in [3]. Throughout this article, the author presents the Theory of Computation with Fuzzy Time. Given (...) the classic definition of Turing Machine, the concept of Time is modified to Fuzzy time. This new term calls as Theory TC* [2] and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new theory, some of the major obstacles and unsolved problems have been solved [2]. It should be noted that in this article, the writer considers fuzzy number associated to instants of time as a symmetric one. The point about the symmetry is in the proof of Lemma 3, although it is generalizable. In particular, the new classes of complexity Theory, P*, NP*, BPP* in the TC* analogues to the definitions of P, NP, BPP defines as their natural alternative definition. Here, we will see P*≠ NP*, P*= BPP*. Finally, we have Theorem 4. (shrink)

Here, we try to build the structure of a Theory of computation based on considering time as a fuzzy concept. Actually, there are some reasons to consider time as a fuzzy concept. In this article, we don’t go to this side but we remind that Brower and Husserl ideas about the concept of time were similar [14]. Throughout this article, we present the Theory of Computation with Fuzzy Time. Considering the classical definition of Turing Machine we change and modify the (...) concept of Time to Fuzzy time. We call this new Theory TC* and this type of computation “Fuzzy time Computation”. We have relatively large number of fundamental unsolved problems in Complexity Theory. In the new Theory some of the major obstacles and unsolved problems are solved. It should be mentioned that in this article, we consider fuzzy number a symmetric one. The point about the symmetry is in the proof of Lemma 3, although we are able to generalize it. More specifically, we define the new classes of complexity Theory, P*, NP*, BPP* in TC* analogues to the definitions P, NP, BPP as their natural substituted definition. We show P*≠ NP*, P*= BPP*. Finally, we have Theorem 4, P≠NP . (shrink)

We have shown the plausibility of considering time as a Fuzzy concept instead of classical time [7], [8]. By considering time as a fuzzy concept, we will have new classes of Complexity. Here, we show that how some famous problems will be solved in this new picture.

Here, by introducing a version of “Unexpected hanging paradox” first we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system could support it. Finally, we propose a claim in Theory of Computation about the consistency of this Theory. One of the major claim is:Theory of Computation and Classical Logic leads us to a contradiction.

Throughout this paper, we prove TC+CON(〖TC*〗 )ͰP≠NP. To do that, firstly, we introduce the definition of scope*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach a world of computation in which (...) our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and P*≠NP*. Throughout this article, we discuss the impact of TC* on TC. -/- . (shrink)

Throughout this paper, we prove TC+CON(〖TC* 〗)ͰP≠NP. To do that, firstly, we introduce the definition of scope_^*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach a world of computation in which (...) our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and P*≠NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)

Abstract The Theory of Computation in its existed form is based on Church –Turing Thesis. Throughout this paper, we show that the Turing computation model of this theory leads us to a contradiction. In brief, by applying a well-known paradox (Unexpected hanging paradox) we show a contradiction in the Theory when we consider the Turing model as our Computation model.

While I was working about some basic physical phenomena, I discovered some geometric relations that also interest mathematics. In this work, I applied the rules I have been proven to P=NP? problem over impossibility of perpendicularity in the universe. It also brings out extremely interesting results out like imaginary numbers which are known as real numbers currently. Also it seems that Euclidean Geometry is impossible. The actual geometry is Riemann Geometry and complex numbers are real.

Throughout this paper, we prove TC+CON(〖TC〗^* )ͰP≠NP. To do that, firstly, we introduce the definition of scope_^*. This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face a finite number of efficiently computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we reach to a world of computation, in (...) which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P≠NP and 〖 P〗^*≠NP^*. Throughout this article, we discuss around the impact of TC^* on TC. (shrink)

According to an increasingly popular view in epistemology and philosophy of mind, beliefs are sensitive to contextual factors such as practical factors and salient error possibilities. A prominent version of this view, called credal sensitivism, holds that the context-sensitivity of belief is due to the context-sensitivity of degrees of belief or credence. Credal sensitivism comes in two variants: while credence-one sensitivism (COS) holds that maximal confidence (credence one) is necessary for belief, threshold credal sensitivism (TCS) holds that belief consists in (...) having credence above some threshold, where this threshold doesn’t require maximal confidence. In this paper, I argue that COS has difficulties in accounting for three important features about belief: i) the compatibility between believing p and assigning non-zero credence to certain error possibilities that one takes to entail not-p, ii) the fact that outright beliefs can occur in different strengths, and iii) beliefs held by unconscious subjects. I also argue that TCS can easily avoid these problems. Finally, I consider an alleged advantage of COS over TCS in terms of explaining beliefs about lotteries. I argue that lottery cases are rather more problematic for COS than TCS. In conclusion, TCS is the most plausible version of credal sensitivitism. (shrink)

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

According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a widely accepted ontological view of conditions, (...) according to which if P is a necessary and sufficient condition for Q, then Q is in no sense a condition for P; it is a mere consequence of P. (shrink)

Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances involving attributively (...) used descriptions but attempts to defend the following two claims about utterances involving referentially used descriptions (referential utterances) (1998, p. 89). (shrink)

In this paper, I argue that, if transcendental arguments are to proceed from premises that are acceptable to the skeptic, the Transcendental Premise, according to which “X is a metaphysically necessary condition for the possibility of Y,” must be grounded in considerations of conceivability and possibility. More explicitly, the Transcendental Premise is based on what Szabó Gendler and Hawthorne call the “conceivability-possibility move.” This “inconceivability-impossibility” move, however, is a problematic argumentative move when advancing transcendental arguments for the following reasons. First, (...) from “S cannot conceive of P” it doesn’t necessarily follow that P is inconceivable. Second, from “P is inconceivable” it doesn’t necessarily follow that P is metaphysically impossible. Third, rather than block skeptical doubts, the conceivability-possibility move introduces skeptical doubts. For these reasons, transcendental arguments fail to deliver on their promise to overcome skeptical doubts. (shrink)

In this paper I am concerned with the semantic analysis of sentences of the form 'It is true that p'. I will compare different proposals that have been made to analyse such sentences and will defend a view that treats this sentences as a mere sytactic variation of sentences of the form 'That p is true'.

Do the ethical features of an artwork bear on its aesthetic value? This movie endorses misogyny, that song is a civil rights anthem, the clay constituting this statue was extracted with underpaid labor—are facts like these the proper bases for aesthetic evaluation? I argue that this debate has suffered from a false presupposition: that if the answer is yes (for at least some such ethical features), such considerations feature as pro tanto contributions to an artwork's overall aesthetic value, i.e., as (...) merits or flaws which make something have more or less overall aesthetic value. As the case of ethically laden, aesthetic evaluation makes clear, however, good aesthetic judgement is irreducibly multi-dimensional, e.g., "the movie has an engaging soundtrack, tasteful camera work, and takes a misogynistically prurient perspective on its female lead.'' Such a "non-summative" judgement refuses to reduce those various dimensions of aesthetic value to a single aggregate aesthetic evaluation, like "it's a 6/10" or "it's a pretty good movie!" I defend both the modest claim that such non-summative evaluations are not mistaken and the extremist claim that summative (i.e., unidimensional) aesthetic evaluation is defective by considering other domains of normative assessment in which summing seems inappropriate, notably including evaluations of people's character. (shrink)

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.

When are morally good actions beautiful, when indeed they are? In this paper, it is argued that morally good actions are beautiful when they appear to express the deep or true self, and in turn tend to give rise to an emotion which is characterised by feelings of being moved, unity, inspiration, and meaningfulness, inter alia. In advancing the case for this claim, it is revealed that there are additional sources of well-formedness in play in the context of moral beauty (...) in addition to those that have tended to be focused on to date: one which is connected to imagining a deep location for the goodness concerned, and another which is connected to imagining that the goodness stems from capacities which are essential to the person. (shrink)

"Over three years of study and fellowship, sixteen Muslim, Jewish, and Christian scholars sought to answer one question: “Do our three scriptures unite or divide us?” They offer their answers in this book: sixteen essays on how certain ways of reading scripture may draw us apart and other ways may draw us, together, into the source that each tradition calls peace. Reading scriptural sources in the classical and medieval traditions, the authors examine how each tradition addresses the “other” within its (...) tradition and without, how all three traditions attend to poverty as a societal and spiritual condition, and what it means to read scripture while facing the challenges of modernity. Ochs and Johnson have assembled a unique approach to inter-religious scholarship and a rare look at scriptural study as a pathway to peace. “Scriptural reasoning, the growing practice of Jews, Christians, and Muslims reading their scriptures together, makes good academic and common sense in a time of crisis. This ground-breaking book, the outcome of an imaginative 3-year experiment by the Princeton Center of Theological Inquiry, shows scholars and thinkers of the Abrahamic traditions going deeper into the traditions and into their contemporary situation. The result is something new, wise, and relevant… full of promise for the future. Where else can one find testimonies to Jews, Christians, and Muslims coming together not only in study, thinking, and wisdom-seeking but also in play, joy, and friendship?”--David F. Ford, Regius Professor of Divinity, University of Cambridge and Director, Cambridge Inter-Faith Programme". (shrink)

This paper gives a theory of quantum gravity based on the Presentist Fragmentalist interpretation of quantum mechanics. It is a dialogue with the AI Claude Ultra 3.0.

This note outlines a Theory of Everything consistent with the PF interpretation of quantum mechanics.

Presentist Fragmentalism is a novel interpretation of quantum mechanics. This paper develops the resulting theory of Quantum Gravity.

What is the nature of the concept BEAUTY? Does it differ fundamentally from nearby concepts such as PRETTINESS? It is argued that BEAUTY, but not PRETTINESS, is a dual-character concept. Across a number of contexts, it is proposed that BEAUTY has a descriptive sense that is characterised by, inter alia, having intrinsically pleasing appearances; and a normative sense associated with deeply-held values. This account is supported across two, pre-registered, studies (N=500), and by drawing on analysis of corpus data. It is (...) suggested that this can help to explain why beauty, unlike prettiness, is thought to be deep in both the sense of being important, and in the sense of being less closely tied to sensory surfaces. (shrink)

Two philosophical arguments gave the novel interpretation of quantum mechanics Presentist Fragmentalism. This paper gives the resulting theory of quantum gravity.

Why are moral actions beautiful, when indeed they are? This paper assesses the view, found most notably in Schiller, that moral actions are beautiful just when they present the appearance of freedom by appearing to be the result of internal harmony (the Schillerian Internal Harmony Thesis). I argue that while this thesis can accommodate some of the beauty involved in contrasts of the ‘continent’ and the ‘fully’ virtuous, it cannot account for all of the beauty in such contrasts, and so (...) needs to be weakened considerably (to the Internal Harmony Thesis). To account for the remaining beauty that cannot be fully accommodated even by this revised thesis, as well as the beauty contained in contrasts that involve agents who experience internal conflict as a result of being sensitive to different sources of moral value to an appropriate extent, a number of further theses need to be posited: namely, that the beauty of some moral actions is to be accommodated in terms of internal disharmony (the Internal Disharmony Thesis), and in terms of a felt harmony between the appreciator of the action and the executor of the action (the Affective Harmony Thesis). As such, in contrast to Schiller, I suggest that we need to take a pluralist and context-sensitive approach to accommodating the beauty of moral actions. (shrink)

This paper continues developing the theory of everything consistent with the Presentist Fragmentalist interpretation of quantum mechanics.

"This self-consistent evolution of the fragments, their causal relationships, and their quantum properties is at the heart of the FCQG-SM framework, providing a unified description of quantum mechanics, general relativity, and the Standard Model.".

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

This is the first in a series of papers developing a theory of quantum gravity that is consistent with the PF interpretation of quantum mechanics. "Key Features: Reconciles quantum theory, general relativity, and the PF interpretation in a common framework...".

Abstract: There is a long tradition of trying to analyze art either by providing a definition (essentialism) or by tracing its contours as an indefinable, open concept (anti-essentialism). Both art essentialists and art anti-essentialists share an implicit assumption of art concept monism. This article argues that this assumption is a mistake. Species concept pluralism—a well-explored position in philosophy of biology—provides a model for art concept pluralism. The article explores the conditions under which concept pluralism is appropriate, and argues that they (...) obtain for art. Art concept pluralism allows us to recognize that different art concepts are useful for different purposes, and what has been feuding definitions can be seen as characterizations of specific art concepts. (shrink)