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.

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.

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

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

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.

"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)

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

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

The first purpose of this series of articles is to introduce case studies on how current AI models can be used in the development of a possible theory of quantum gravity, their limitations, and the role the researcher has in steering the development in the right direction, even highlighting the errors, weaknesses and strengths of the whole process. -/- The second is to introduce the new Presentist Fragmentalist ontology as a framework and use it for developing theories of quantum gravity (...) and speculate on achieving a TOE. We emphasize it is necessary for the researcher to check everything in these articles for themselves. While there are many good ideas in this series of papers, the AI is known to make even arithmetic and algebraic mistakes. -/- To select just five apparently good ideas, there is a causal interaction tensor Cαβγδ(F1, F2) that encodes the causal relationship and the strength of the (possibly non-local) interaction between two fragments of reality (formed by each quantum system). There is a quantitative prediction for a testable table-top experiment. There is an explanation of how spacetime emerges from the fragments and their interactions. There is an explicit account of the double-slit experiment. And there is an explanation how this theory accommodates dark matter and dark energy simultaneously. -/- We explore ideas, equations they lead to, concrete calculations, and give corrections along the way. While these are generally morally right within this framework they must be checked by the researcher. Given this caveat, we believe we have made significant progress with the PF interpretation in developing a theory of quantum gravity and pointing out a possible path to a TOE. (shrink)

"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.".

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...".

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)

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)

This paper appears to give a Theory of Everything.

This paper give the first foray into the development of a Theory of Everything that is consistent with the PF interpretation of quantum mechanics.

The view that phenomenally conscious robots are on the horizon often rests on a certain philosophical view about consciousness, one we call “nomological behaviorism.” The view entails that, as a matter of nomological necessity, if a robot had exactly the same patterns of dispositions to peripheral behavior as a phenomenally conscious being, then the robot would be phenomenally conscious; indeed it would have all and only the states of phenomenal consciousness that the phenomenally conscious being in question has. We experimentally (...) investigate whether the folk think that certain (hypothetical) robots made of silicon and steel would have the same conscious states as certain familiar biological beings with the same patterns of dispositions to peripheral behavior as the robots. Our findings provide evidence that the folk largely reject the view that silicon-based robots would have the sensations that they, the folk, attribute to the biological beings in question. (shrink)

Beliefs have genealogies. Can tracing a belief’s genealogy illuminate the epistemic quality of the belief? This paper sets out a general epistemology of genealogies. As it turns out, genealogies for beliefs come in two sorts: those that trace a belief to some mental event that doubles as evidence for the belief and those that do not. The former have the potential to undercut the belief, rebut the belief, or—importantly—both. The latter have the potential to reinforce the belief or rebut the (...) belief but—importantly—not undercut it. The ultimate conclusion is that there is a role for genealogies in the epistemic appraisal of our beliefs, but this role will be circumscribed by the availability of clear and compelling genealogies. (shrink)

The ethical philosophy of Emmanuel Levinas is typically associated with a punishing conception of responsibility rather than freedom. In this chapter, our aim is to explore Levinas’s often overlooked theory of freedom. Specifically, we compare Levinas’s account of freedom to the Kantian (and Fichtean) idea of freedom as autonomy and the Hegelian idea of freedom as relational. Based on these comparisons, we suggest that Levinas offers a distinctive conception of freedom—“finite freedom.” In contrast to Kantian autonomy, finite freedom constitutively involves (...) standing in certain social relations with others. And in contrast to Hegelian relational freedom, the social relations involved in finite freedom are not defined by mutual recognition, but by feelings of separation and even antagonism. Along the way, we promote a reading Levinas’s Totality and Infinity as a Hegel-style story of Bildung (development), and show how, on Levinas’s view, freedom can develop or mature in the life of the individual. (shrink)

Sociology, as conceived by Comte, was to put an end to the anarchy of opinions characteristic of liberal democracy by replacing opinion with the truths of sociology, imposed through indoctrination. Later sociologists backed away from this, making sociology acceptable to liberal democracy by being politically neutral. The critics of this solution asked 'whose side are we on?' Burawoy provides a novel justification for advocacy scholarship in sociology. Public sociology is intended to have political effects, but also to be funded by (...) the politically neutral state. He argues that public sociology is institutionally neutral, but that committing to an organic relation with a social movement is legitimate as a matter of the sociologist's personal value choice. Although this produces side-taking sociology, by improving the case for particular standpoints it serves to improve democratic discussion generally, which is an appropriately neutral public aim. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.

Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].

If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.

If there truly is a proof that shows that no universal halt decider exists on the basis that certain tuples: (H, Wm, W) are undecidable, then this very same proof (implemented as a Turing machine) could be used by H to reject some of its inputs. When-so-ever the hypothetical halt decider cannot derive a formal proof from its input strings and initial state to final states corresponding the mathematical logic functions of Halts(Wm, W) or Loops(Wm, W), halting undecidability has been (...) decided. (shrink)

To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.

For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.

We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither provable nor disprovable (...) only because they are self-contradictory we could define them as unsound instead of defining the formal system as incomplete. (shrink)

Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

When we understand that every potential halt decider must derive a formal mathematical proof from its inputs to its final states previously undiscovered semantic details emerge. -/- When-so-ever the potential halt decider cannot derive a formal proof from its input strings to its final states of Halts or Loops, undecidability has been decided. -/- The formal proof involves tracing the sequence of state transitions of the input TMD as syntactic logical consequence inference steps in the formal language of Turing Machine (...) Descriptions. (shrink)

Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.

This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.

An abstract machine having a tape head that can be advanced in 0 to 0x7FFFFFFF increments an unlimited number of times specifies a model of computation that has access to unlimited memory. The technical name for memory addressing based on displacement from the current memory address is relative addressing.

Archytas of Tarentum, a contemporary and associate of Plato, was a famous Pythagorean, mathematician, and statesman of Tarentum. Although his works are lost and most of the fragments attributed to him were composed in later eras, they nevertheless contain valuable information about his thought. In particular, the fragments of On Law and Justice are likely based on a work by the early Peripatetic biographer Aristoxenus of Tarentum. The fragments touch on key themes of early Greek ethics, including: written and unwritten (...) laws; freedom and self-sufficiency; moderation of the emotions and cultivation of virtues; equality and the competence of the majority to participate in government; criticism of “rule by an individual”; a theory of the ideal “mixed constitution”; distributive and corrective justice and punishment, and of the rule of law. The fragments also contain one of the only positive accounts of democracy in ancient Greek philosophy. (shrink)

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.

The fail-safe makes sure the fee is high enough to meet carbon emission reduction targets. The safeguard keeps the fee from getting any higher than needed. -/- One of the ways that we could account for the unpredictability of the price elasticity of demand for carbon would be to provide a fail-safe mechanism to ensure that we definitely stay on the carbon reduction schedule. If we keep Energy Innovation Act (HR 763) essentially as it is and scale up the annual (...) carbon fee increase by Number-of-Years-Behind-Schedule * 0.15. (shrink)

The generalized conclusion of the Tarski and Gödel proofs: All formal systems of greater expressive power than arithmetic necessarily have undecidable sentences. Is not the immutable truth that Tarski made it out to be it is only based on his starting assumptions. -/- When we reexamine these starting assumptions from the perspective of the philosophy of logic we find that there are alternative ways that formal systems can be defined that make undecidability inexpressible in all of these formal systems.

By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...) incorrect. (shrink)

One of the ways that we could account for the unpredictability of the price elasticity of demand for carbon would be to provide a fail-safe mechanism to ensure that we definitely stay on the carbon reduction schedule. If we kept Energy Innovation Act (HR 763) essentially as it is and scale up the annual carbon fee increase by Number-of-Years-Behind-Schedule * 0.15.

Introduction: The Faculty of Medicine, University of Moratuwa, established during the COVID-19 pandemic, was compelled to conduct the teaching activities online for the first intake of students until their first bar examination. Online learning is known to be linked to several health issues. This study aims to explore the academic performance and perceived health effects related to online learning in the Faculty of Medicine, Moratuwa. Methods: A descriptive cross-sectional study was conducted among all 104 first-intake students using an anonymous online (...) self-administered questionnaire to explore health effects and academic performance after ethical clearance. Results: Out of 104 students, 82 students responded (response rate=78.85%). Majority participated from home using their own laptop (74.4%) and personal Wi-Fi (69.5%) and spent 5-10 hours daily for online academic activities (72%). Majority complained of related physical (86.6%), and psychological (81.7%) health issues: eye problems (69.5%), headache (47.6%), backache (43.9%), stress (46.3%) and concentration difficulties (45.1%). The first bar examination was cleared by 84.1% with the majority (52.4%) obtaining classes. There was a statistically significant positive association (p< .05) between physical and psychological health concerns with the average screen-time spent on academic activities, but not with the academic performance. There was also no statistically significant association between screen-time and academic performance. Conclusions: Majority of students using online learning had related physical and psychological health issues which were positively associated with the screen-time though not with academic performance. Designing online activities with less screen time may be considered as a strategy to minimise health effects related to online learning. (shrink)

How induction was understood took a substantial turn during the Renaissance. At the beginning, induction was understood as it had been throughout the medieval period, as a kind of propositional inference that is stronger the more it approximates deduction. During the Renaissance, an older understanding, one prevalent in antiquity, was rediscovered and adopted. By this understanding, induction identifies defining characteristics using a process of comparing and contrasting. Important participants in the change were Jean Buridan, humanists such as Lorenzo Valla and (...) Rudolph Agricola, Paduan Aristotelians such as Agostino Nifo, Jacopo Zabarella, and members of the medical faculty, writers on philosophy of mind such as the Englishman John Case, writers of reasoning handbooks, and Francis Bacon. (shrink)

We would like to thank an anonymous referee for his helpful comments on a previous version of this paper.

A review with commentary on Mark A. Bedau and Emily C. Parke (eds): The Ethics of Protocells: Moral and Social Implications of Creating Life in the Laboratory (Basic Bioethics series) MIT Press, Cambridge,MA, 2009, 365 pp, ISBN 978-0-262-01262-1, ISBN 978-0-262-51269-5.

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)