We have a much better understanding of physics than we do of consciousness. I consider ways in which intrinsically mental aspects of fundamental ontology might induce modifications of the known laws of physics, or whether they could be relevant to accounting for consciousness if no such modifications exist. I suggest that our current knowledge of physics should make us skeptical of hypothetical modifications of the known rules, and that without such modifications it’s hard to imagine how intrinsically mental aspects could (...) play a useful explanatory role. Draft version of a paper submitted to Journal of Consciousness Studies, special issue responding to Philip Goff’s Galileo’s Error: Foundations for a New Science of Consciousness. (shrink)

I defend the extremist position that the fundamental ontology of the world consists of a vector in Hilbert space evolving according to the Schrödinger equation. The laws of physics are determined solely by the energy eigenspectrum of the Hamiltonian. The structure of our observed world, including space and fields living within it, should arise as a higher-level emergent description. I sketch how this might come about, although much work remains to be done.

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

It is commonplace in discussions of modern cosmology to assert that the early universe began in a special state. Conventionally, cosmologists characterize this fine-tuning in terms of the horizon and flatness problems. I argue that the fine-tuning is real, but these problems aren't the best way to think about it: causal disconnection of separated regions isn't the real problem, and flatness isn't a problem at all. Fine-tuning is better understood in terms of a measure on the space of trajectories: given (...) reasonable conditions in the late universe, the fraction of cosmological histories that were smooth at early times is incredibly tiny. This discussion helps clarify what is required by a complete theory of cosmological initial conditions. (shrink)

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

This editorial introduces the Journal of Consciousness Studies special issue on "Animal Consciousness". The 15 contributors and co-editors answer the question "How should we study animal consciousness scientifically?" in 500 words or fewer.

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

This article investigates the hitherto under-examined relations between affirmative action, paternalism and respect. We provide three main arguments. First, we argue that affirmative action initiatives are typically paternalistic and thus disrespectful towards those intended beneficiaries who oppose the initiatives in question. Second, we argue that not introducing affirmative action can also be disrespectful towards these potential beneficiaries because such inaction involves a failure to adequately recognize their moral worth. Third, we argue that the paternalistic disrespect involved in affirmative action is (...) alleviated when the potential beneficiaries’ preferences against such initiatives are adaptive. We conclude that although there is a relevant sense in which paternalistic affirmative action is disrespectful, it may well be more disrespectful not to pursue such policies. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Cosmological models that invoke a multiverse - a collection of unobservable regions of space where conditions are very different from the region around us - are controversial, on the grounds that unobservable phenomena shouldn't play a crucial role in legitimate scientific theories. I argue that the way we evaluate multiverse models is precisely the same as the way we evaluate any other models, on the basis of abduction, Bayesian inference, and empirical success. There is no scientifically respectable way to do (...) cosmology without taking into account different possibilities for what the universe might be like outside our horizon. Multiverse theories are utterly conventionally scientific, even if evaluating them can be difficult in practice. (shrink)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

While there seems to be much evidence that perceptual states can occur without being conscious, some theorists recently express scepticism about unconscious perception. We explore here two kinds of such scepticism: Megan Peters and Hakwan Lau's experimental work regarding the well-known problem of the criterion -- which seems to show that many purported instances of unconscious perception go unreported but are weakly conscious -- and Ian Phillips' theoretical consideration, which he calls the 'problem of attribution' -- the worry that many (...) purported examples of unconscious perception are not perceptual, but rather merely informational and subpersonal. We argue that these concerns do not undermine the evidence for unconscious perception and that this sceptical approach results in a dilemma for the sceptic, who must either deny that there is unconscious mentality generally or explain why perceptual states are unique in the mind such that they cannot occur unconsciously. Both options, we argue, are problematic. (shrink)

Conceptions of acceptability-based moral or political justification take it that authoritative acceptability constitutes, or contributes to, validity, or justification. There is no agreement as to what bar for authoritativeness such justification may employ. The paper engages the issue in relation to (i) the level of idealization that a bar for authoritativeness, ψ, imparts to a standard of acceptability-based justification, S, and (ii) the degree of discursive purchase of the discursive standing that S accords to people when it builds ψ. I (...) argue that (i) and (ii) are interdependent: high idealization values entail low discursive purchase, while high degrees of purchase require low idealization values. I then distinguish between alethic conceptions of justification that prioritize ends that commit to high idealization values, and recognitive conceptions that favour high discursive purchase. On this basis, I argue for a moderately recognitivist constraint on idealization. To render the recognitive discursive minimum available to relevant people at the site of justification, S should set ψ low enough so that it is a genuine option for actual people to reject relevant views in ways that S recognizes as authoritative. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

Philosophers of science turned to historical case studies in part in response to Thomas Kuhn's insistence that such studies can transform the philosophy of science. In this issue Joseph Pitt argues that the power of case studies to instruct us about scientific methodology and epistemology depends on prior philosophical commitments, without which case studies are not philosophically useful. Here I reply to Pitt, demonstrating that case studies, properly deployed, illustrate styles of scientific work and modes of argumentation that are not (...) well handled by currently standard philosophical analyses. I illustrate these claims with exemplary findings from case studies dealing with exploratory experimentation and with interdisciplinary cooperation across sciences to yield multiple independent means of access to theoretical entities. The latter cases provide examples of ways that scientists support claims about theoretical entities that are not available in work performed within a single discipline. They also illustrate means of correcting systematic biases that stem from the commitments of each discipline taken separately. These findings illustrate the transformative power of case study methods, allow us to escape from the horns of Pitt's "dilemma of case studies," and vindicate some of the post-Kuhn uses to which case studies have been put. (shrink)

This paper explores the idea of robust discursive equality on which respect-based conceptions of justificatory reciprocity often draw. I distinguish between formal and substantive discursive equality and argue that if justificatory reciprocity requires that people be accorded formally equal discursive standing, robust discursive equality should not be construed as requiring standing that is equal substantively, or in terms of its discursive purchase. Still, robust discursive equality is purchase sensitive: it does not obtain when discursive standing is impermissibly unequal in purchase. (...) I then showcase different candidate conceptions of purchase justice, and draw conclusions about the substantive commitments of justificatory reciprocity. (shrink)

We study the question of how to decompose Hilbert space into a preferred tensor-product factorization without any pre-existing structure other than a Hamiltonian operator, in particular the case of a bipartite decomposition into "system" and "environment." Such a decomposition can be defined by looking for subsystems that exhibit quasi-classical behavior. The correct decomposition is one in which pointer states of the system are relatively robust against environmental monitoring (their entanglement with the environment does not continually and dramatically increase) and remain (...) localized around approximately-classical trajectories. We present an in-principle algorithm for finding such a decomposition by minimizing a combination of entanglement growth and internal spreading of the system. Both of these properties are related to locality in different ways. This formalism could be relevant to the emergence of spacetime from quantum entanglement. (shrink)

Recently, Intelligent Tutoring Systems (ITS) got much attention from researchers even though ITS educational technology began in the late 1960s and ITS is just embryonic from laboratories into the field. In this paper we outline an intelligent tutoring system for teaching basics of the databases system called (MDB). The MDB was built as education system by using the authoring tool (ITSB). MDB contains learning materials as a group of lessons for beginner level which include relational database system and lessons in (...) the process to install and set up a database. MDB system has exams for each level of the Lessons. An evaluation was done to see the effectiveness the MDB among learners and instructors. The outcome of the evaluation was promising. (shrink)

We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...) physical measurement process. In Everettian quantum theory, while the expectation value of the Hamiltonian is conserved for the wave function of the universe, it is not constant within individual worlds. It should therefore be possible to experimentally measure violations of conservation of energy, and we suggest an experimental protocol for doing so. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

Confucius gave counsel that is notoriously hard to follow: "What you do not wish for yourself, do not impose on others" (Huang 1997: 15.24). People tend to be concerned with themselves and to be indifferent to most others. We are distinct from others so our self-concern does not include them, or so it seems. Were we to realize this distinctness is merely apparent--that our true self includes others--Confucius's counsel would be easier to follow. Concern for our true self would extend (...) concern beyond the narrow selves we appear to be. The neo-Confucians held just such a view. They espoused an identity with the universe and everything in it, arguing that this identity explains a natural concern for everyone and everything, not just for our narrow selves. However, many things in the universe differ from each other, that is, some have qualities others lack. If they are all one and the same thing then that one thing differs from itself. I will suggest that the objection can be answered with some metaphysical innovation. I will address the objection by sketching a theory--call it the theory of aspects--that explains how numerically identical things can differ qualitatively. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

According to the “internal” conception (Quong), political liberalism aims to be publicly justifiable only to people who are reasonable in a special sense specified and advocated by political liberalism itself. One advantage of the internal conception allegedly is that it enables liberalism to avoid perfectionism. The paper takes issue with this view. It argues that once the internal conception is duly pitched at its fundamental, metatheoretical level and placed in its proper discursive context, it emerges that it comes at the (...) cost of public dogma. The paper examines this problem and argues that a plausible response to this problem is to go beyond the internal conception and adopt a more inclusive, dynamic conception. But this calls for a form of perfectionism. Thus, the internal conception of political liberalism, far from showing how liberalism can be had without perfectionism, effectively calls for perfectionism as a remedy for its problems. (shrink)

According to Rainer Forst, (i) moral and political claims must meet a requirement of reciprocal and general acceptability (RGA) while (ii) we are under a duty in engaged discursive practice to justify such claims to others, or be able to do so, on grounds that meet RGA. The paper critically engages this view. I argue that Forst builds a key component of RGA, i.e., reciprocity of reasons, on an idea of the reasonable that undermines both (i) and (ii): if RGA (...) builds on this idea, RGA is viciously regressive and a duty of justification to meet RGA fails to be agent transparent. This negative result opens the door for alternative conceptions of reciprocity and generality. I then suggest that a more promising conception of reciprocity and generality needs to build on an idea of the reasonable that helps to reconcile the emancipatory or protective aspirations of reciprocal and general justification with its egalitarian commitments. But this requires to downgrade RGA in the order of justification and to determine on prior, substantive grounds what level of discursive influence in reciprocal and general justification relevant agents ought to have. (shrink)

Effective Field Theory (EFT) is the successful paradigm underlying modern theoretical physics, including the "Core Theory" of the Standard Model of particle physics plus Einstein's general relativity. I will argue that EFT grants us a unique insight: each EFT model comes with a built-in specification of its domain of applicability. Hence, once a model is tested within some domain (of energies and interaction strengths), we can be confident that it will continue to be accurate within that domain. Currently, the Core (...) Theory has been tested in regimes that include all of the energy scales relevant to the physics of everyday life (biology, chemistry, technology, etc.). Therefore, we have reason to be confident that the laws of physics underlying the phenomena of everyday life are completely known. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

In this article, we identify three key design dimensions along which cryptocurrencies differ -- privacy, censorship-resistance, and consensus procedure. Each raises important normative issues. Our discussion uncovers new ways to approach the question of whether Bitcoin or other cryptocurrencies should be used as money, and new avenues for developing a positive answer to that question. A guiding theme is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results of disciplines like computer science and (...) economics. Note: this article is the second entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

This paper analyzes the specific shift in the meaning of “civilization” that took place in texts and documents of early American philosophical naturalism. Particularly, it will focus on the specific role that naturalization plays in the edification of a newly secularized, science-oriented, and democratic society, as well as of a naturalized conception of culture and civilization. Indeed, as the work of many philosophers and intellectuals of the Forties highlights, naturalism represents not only the banner of a new idea of civilization, (...) but at the same time becomes the symbol of a powerful postwar ideology. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Multidisciplinary models aggregating ‘lower-level’ biological and ‘higher-level’ psychological and social determinants of a phenomenon raise a puzzle. How is the interaction between the physical, the psychological and the social conceptualized and explained? Using biopsychosocial models of pain as an illustration, I argue that these models are in fact level-neutral compilations of empirical findings about correlated and causally relevant factors, and as such they neither assume, nor entail a conceptual or ontological stratification into levels of description, explanation or reality. If inter-level (...) causation is deemed problematic or if debates about the superiority of a particular level of description or explanation arise, these issues are fueled by considerations other than empirical findings. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Enclosed is a guidebook for philanthropists, advocates, and policymakers who want to do the most good possible. This book introduces the philosophy of “longtermism,” the idea that it is particularly important that we act now to safeguard future generations. -/- The future is vast in scale: depending on our choices in the coming centuries, the future could stretch for eons or it could dwindle into oblivion, and be inordinately good or inordinately bad. And yet future generations are utterly disenfranchised in (...) the world today: they cannot participate in our markets, our movements, or our civil society. This presents 21st Century philanthropists with a historically unprecedented opportunity to do good by protecting the long-term future. -/- The essays within are from the pioneers who have developed the intellectual foundations of longtermism, as well as the experts and advocates who are now putting it into practice. Readers will hear the case for longtermism from professors at the University of Oxford and Longview’s own founders; longtermist policy proposals from political philosophers, members of the House of Lords, and the All-party Parliamentary Group for Future Generations; the case for work on biosecurity, artificial intelligence, and climate change from leading experts; and the first ever essay on longtermist cultural change from the former Chief of Cabinet to the Finnish President. -/- Together, these essays chart the path forward toward maximising the good that we do for our grandchildren, our grandchildren’s grandchildren, and every generation beyond. (shrink)

Ordinary usage gives a way to think of identity through time: the Pittsburgh of 1946 was the same city as the Pittsburgh of today is--namely Pittsburgh. Problem: The Pittsburgh of 1946 does not exist; Pittsburgh still does. How can they have been identical? I reject the temporal parts view on which they were not but we may speak as though they were. Rather I argue that claiming their identity is not contradictory. I interpret ‘the Pittsburgh of 1946’ as ‘Pittsburgh as (...) it was in 1946’ and suggest that the apparent contradiction results from an ambiguity in the scope of ‘as’. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Public justification in political liberalism is often conceptualized in light of Rawls’s view of its role in a hypothetical well-ordered society as an ideal or idealizing form of justification that applies a putatively reasonable conception of political justice to political matters. But Rawls implicates a different idea of public justification in his doctrine of general reflective equilibrium. The paper engages this second, more fundamental idea. Public justification in this second sense is actualist and fundamental. It is actualist in that it (...) fully enfranchises actual reasonable citizens. It is fundamental in that political liberalism qualifies conceptions of political justice as reasonable to begin with only if they can be accepted coherently by actual reasonable citizens. Together, these features invite the long-standing concern that actualist political liberalism is objectionably exclusionary. I argue that the exclusion objection, while plausible, is more problematic in own right than it seems if actualist and fundamental public justification hypotheticalizes and discursive respect is compatible with substantive discursive inequality. This leaves proponents and critics of political liberalism with deeper questions about the nature of permissible discursive inequality in public justification. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Despite the end of the Cold War and the ascendancy of liberal democracy celebrated by Francis Fukuyama as “the end of history”, a growing number of scholars and political activists point to its inherent shortcomings. However, they have tended to dismiss it on the basis of one or two of its salient weaknesses. While this is a justifiable way to proceed, it denies the searching reader an opportunity to see the broad basis for the growing rejection of liberal democracy among (...) African political theorists. Consequently, in this article, I argue that from an African perspective, the almost hegemonic status of liberal democracy can be challenged on at least five grounds, namely, logical inconsistency, impracticability due to the largely communalistic outlook of many africans, inconsistency between affirmation and action, violation of the right to ethnic identity, and the moral imperative to assert the right to cultural emancipation. -/- I conclude by calling upon African and Africanist political theorists to utilise indigenous African political thought, coupled with emancipatory aspects of political thought from other parts of the world, to design practicable models of democracy for contemporary African states. I further conclude that in order to promote genuine inter-cultural dialogue on democratisation, people from Western cultures ought to acknowledge the equality of all cultures, and to recognise that systems of governance are part and parcel of those cultures. (shrink)