In Metaphysics M.2, 1077a9-14, Aristotle appears to argue against the existence of Platonic Forms on the basis of there being certain universal mathematical proofs which are about things that are ‘beyond’ the ordinary objects of mathematics and that cannot be identified with any of these. It is a very effective argument against Platonism, because it provides a counter-example to the core Platonic idea that there are Forms in order to serve as the object of scientific knowledge: the universal of which (...) theorems of universal mathematics are proven in Greek mathematics is neither Quantity in general nor any of the specific quantities, but Quantity-of-type-x. This universal cannot be a Platonic Form, for it is dependent on the types of quantity over which the variable ranges. Since for both Plato and Aristotle the object of scientific knowledge is that F which explains why G holds, as shown in a ‘direct’ proof about an arbitrary F (they merely disagree about the ontological status of this arbitrary F, whether a Form or a particular used in so far as it is F), Plato cannot maintain that Forms must be there as objects of scientific knowledge - unless the mathematics is changed. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

We argue that all comparative expressions in natural language obey a principle that we call Comparability: if x and y are at least as F as themselves, then either x is at least as F as y or y is at least as F as x. This principle has been widely rejected among philosophers, especially by ethicists, and its falsity has been claimed to have important normative implications. We argue that Comparability is needed to explain the goodness of several patterns (...) of inference that seem manifestly valid, that the purported failures of Comparability would have absurd consequences, and that the influential arguments against Comparability are less compelling than they may have initially seemed. (shrink)

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

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)

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)

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.

The Rachels–Temkin spectrum arguments against the transitivity of better than involve good or bad experiences, lives, or outcomes that vary along multiple dimensions—e.g., duration and intensity of pleasure or pain. This paper presents variations on these arguments involving combinations of good and bad experiences, which have even more radical implications than the violation of transitivity. These variations force opponents of transitivity to conclude that something good is worse than something that isn’t good, on pain of rejecting the good altogether. That (...) is impossible, so we must reject the spectrum arguments. (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)

In this paper an Artificial Neural Network (ANN) model, for predicting the category of a tumor was developed and tested. Taking patients’ tests, a number of information gained that influence the classification of the tumor. Such information as age, sex, histologic-type, degree-of-diffe, status of bone, bone-marrow, lung, pleura, peritoneum, liver, brain, skin, neck, supraclavicular, axillar, mediastinum, and abdominal. They were used as input variables for the ANN model. A model based on the Multilayer Perceptron Topology was established and trained using (...) data set which its title is “primary tumor” and was obtained from the University Medical Centre, Institute of Oncology, Ljubljana, Yugoslavia Test data evaluation shows that the ANN model is able to correctly predict the tumor category with 76.67 % accuracy. (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)

The study aims to identify the efficiency of the university education performance from the perspective of postgraduate and undergraduate students in international and Palestinian universities. The analytical descriptive approach was used for this purpose and the questionnaire was used as a main tool for data collection. The study community consists of: post graduate students, (23850) graduate students and (146355) undergraduate students. The sample of the study was 378 graduate students and 383 undergraduate students. The random stratified sample was used. The (...) Statistical Package of Social Sciences (SPSS) was also used for data analysis. The study reached a number of results, the most important of which are: The level of efficiency of educational performance in Palestinian and international universities from the point of view of postgraduate and undergraduate students was high. And that there are significant differences between the average views of the sample of the study on the efficiency of educational performance in Palestinian and international universities attributed to the University and to the benefit of international universities. The study concluded many recommendations, the most important of which is the necessity of continuing to develop e-learning strategies that affect the efficiency of educational performance and research commensurate with the university's position in the local and international community, which puts it on the best classification between local and international universities through e-learning. (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)

Totalism is the view that one distribution of well-being is better than another just in case the one contains a greater sum of well-being than the other. Many philosophers, following Parfit, reject totalism on the grounds that it entails the repugnant conclusion: that, for any number of excellent lives, there is some number of lives that are barely worth living whose existence would be better. This paper develops a theory of welfare aggregation—the lexical-threshold view—that allows totalism to avoid the repugnant (...) conclusion, as well as its analogues involving suffering populations and the lengths of individual lives. The theory is grounded in some independently plausible views about the structure of well-being, identifies a new source of incommensurability in population ethics, and avoids some of the implausibly extreme consequences of other lexical views, without violating the intuitive separability of lives. (shrink)

Matthew Adler's Measuring Social Welfare is an introduction to the social welfare function (SWF) methodology. This essay questions some ideas at the core of the SWF methodology having to do with the relation between the SWF and the measure of well-being. The facts about individual well-being do not single out a particular scale on which well-being must be measured. As with physical quantities, there are multiple scales that can be used to represent the same information about well-being; no one scale (...) is special. Like physical laws, the SWF and its ranking of distributions cannot depend on exactly which of these scales we use. Adler and other theorists in the SWF tradition have used this idea to derive highly restrictive constraints on the shape of the SWF. These constraints rule out seemingly plausible views about distributive justice and population ethics. I argue, however, that these constraints stem from a simple but instructive mistake. The SWF should not be applied to vectors of numbers such as 1 and 2, but rather to vectors of dimensioned quantities such as 1 util and 2 utils. This seemingly pedantic suggestion turns out to have far-reaching consequences. Unlike the orthodox SWF approach, treating welfare levels as dimensioned quantities lets us distinguish between real changes in well-being and mere changes in the unit of measurement. It does this without making the SWF depend on the scale on which welfare is measured, and in a way that avoids the restrictive constraints on the shape of the SWF. (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)

I defend the view that a reason for someone to do something is just a reason why she ought to do it. This simple view has been thought incompatible with the existence of reasons to do things that we may refrain from doing or even ought not to do. For it is widely assumed that there are reasons why we ought to do something only if we ought to do it. I present several counterexamples to this principle and reject some (...) ways of understanding "ought" so that the principle is compatible with my examples. I conclude with a hypothesis for when and why the principle should be expected to fail. (shrink)

Extensive measurement is the standard measurement-theoretic approach for constructing a ratio scale. It involves the comparison of objects that can be concatenated in an additively representable way. This paper studies the implications of extensively measurable welfare for social choice theory. We do this in two frameworks: an Arrovian framework with a fixed population and no interpersonal comparisons, and a generalized framework with variable populations and full interpersonal comparability. In each framework we use extensive measurement to introduce novel domain restrictions, independence (...) conditions, and constraints on social evaluation. We prove a welfarism theorem for these domains and characterize the social welfare functions that satisfy the axioms of extensive measurement at both the individual and social levels. The main results are simple axiomatizations of strong dictatorship in the Arrovian framework and classical utilitarianism in the generalized framework. (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)

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)

In recent work, Scott Soames (2010, 2013, 2015, 2019) and Peter Hanks (2011, 2013, 2015) have developed a theory of propositions on which these are constituted by complexes of intellectual acts. In this article, I adapt this type of theory to provide an account of perceptual content. After introducing terminology in section 1, I detail the approach proffered by Soames and Hanks in section 2, focusing on Hanks’s version. In section 3, I introduce a problem that these theories face, namely, (...) how to account for the unity among the relevant intellectual acts. Section 4 provides an answer to this problem of unity, while section 5 explicates the relation to Soames and Hanks. In section 6, I extend the model to a theory of the unity of experiential consciousness. Finally, in section 7, I apply the preceding considerations to debates about the nature of perceptual representation. The upshot will be that experiential unity is not simply a phenomenal feature of consciousness, but central to an account of the role perceptual representation plays in perceptual cognition. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

This paper presents a new kind of problem in the ethics of distribution. The problem takes the form of several “calibration dilemmas,” in which intuitively reasonable aversion to small-stakes inequalities requires leading theories of distribution to recommend intuitively unreasonable aversion to large-stakes inequalities. We first lay out a series of such dilemmas for prioritarian theories. We then consider a widely endorsed family of egalitarian views and show that they are subject to even more forceful calibration dilemmas than prioritarian theories. Finally, (...) we show that our results challenge common utilitarian accounts of the badness of inequalities in resources. (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)

Lara Buchak argues for a version of rank-weighted utilitarianism that assigns greater weight to the interests of the worse off. She argues that our distributive principles should be derived from the preferences of rational individuals behind a veil of ignorance, who ought to be risk averse. I argue that Buchak’s appeal to the veil of ignorance leads to a particular way of extending rank-weighted utilitarianism to the evaluation of uncertain prospects. This method recommends choices that violate the unanimous preferences of (...) rational individuals and choices that guarantee worse distributions. These results, I suggest, undermine Buchak’s argument for rank-weighted utilitarianism. (shrink)

Is well-being the kind of thing that can be summed across individuals? This paper takes a measurement-theoretic approach to answering this question. To make sense of adding well-being, we would need to identify some natural "concatenation" operation on the bearers of well-being that satisfies the axioms of extensive measurement and can therefore be represented by the arithmetic operation of addition. I explore various proposals along these lines, involving the concatenation of segments within lives over time, of entire lives led alongside (...) one another or in sequence, and of evaluatively basic propositions via conjunction. All of these proposals turn out to carry highly controversial commitments about the good. I do not claim that these commitments are unacceptable. But they suggest that we cannot simply take for granted, as many philosophers do, that there is any such thing as the sum of well-being. (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)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation of (...) the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

The purpose of this research is to identify the extent of the efficiency of the internal control environment in the Palestinian higher educational institutions in Gaza Strip from the perspective of employees in the Palestinian universities in Gaza Strip, where researchers used in the study five universities. The researchers adopted in their study the descriptive and analytical approach. The research community consists of administrative employees and academic employees with administrative duties. Senior management or the University Council was excluded. The study (...) population compromises of (392) employees. A stratified random sample was chosen and (197) questionnaires were distributed. (160) questionnaires were received back with a return rate of (81.2%).The researchers used a questionnaire to collect that which then was analyzed using (SPSS) to get the results. The research found the following results: the absence of a fundamental difference between the responses of males and females. The lack of significant difference between the responses of the respondents attributed to the variable age. The lack of significant difference between the responses of the respondents attributed to the variable of years of service. And the existence of a fundamental difference between the responses of the respondents attributed to the university variable. The existence of a fundamental difference between the responses of the respondents attributed to the Qualification variable. The existence of a fundamental difference between the responses of the respondents attributed to the administrative level variable. The research found a group of recommendations including: the need to raise awareness of censorship as the basis for the protection of employees in all administrative levels from making mistake.Updating the systems and instructions of control periodically and parallel with the scientific progress and technology.Benefit from regional and international experiences in the application of internal control standards which commensurate with the administrative system of the institution. (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.

I argue for an account of grasping, or understanding that, on which we grasp via a higher‐order mental act of Husserlian fulfillment. Fulfillment is the act of matching up the objects of our phenomenally presentational experiences with those of our phenomenally representational thought. Grasping‐by‐fulfilling is importantly different from standard epistemic aims, in part because it is phenomenal rather than inferential. (I endorse Bourget's (2017) arguments to that effect.) I show that grasping‐by‐fulfilling cannot be a species of propositional knowledge or belief, (...) and that it is not essentially connected to justification. I motivate a revisionary epistemology on which achieving propositional knowledge and coming to grasp are dual epistemic aims. My account makes sense of a common occurrence—that we are often unmoved to act on our beliefs until we come to phenomenally experience them in some way. It also explains puzzling features of human inquiry. (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)

How should we choose between uncertain prospects in which different possible people might exist at different levels of wellbeing? Alex Voorhoeve and Marc Fleurbaey offer an egalitarian answer to this question. I give some reasons to reject their answer and then sketch an alternative, which I call person-affecting prioritarianism.

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)

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.

The paper advances a non-orthodox reading of political liberalism’s view of political legitimacy, the view of public political justification that comes with it, and the idea of the reasonable at the heart of these views. Political liberalism entails that full discursive standing should be accorded only to people who are reasonable in a substantive sense. As the paper argues, this renders political liberalism dogmatic and exclusivist at the level of arguments for or against normative theories of justice. Against that background, (...) the paper considers aspects of a more plausible, deeper and more inclusive idea of public political justification that builds on a thinner, potentially cosmopolitan idea of the reasonable. The paper considers what content such an idea may have, and identifies a method of inclusive abstraction through which it may be enriched in content to render it fruitful for the purposes of a justification of principles of political justice. But the move toward more depth and inclusiveness faces constructivism with two challenges. First, inclusivism about the scope of political justification might not be able to avoid dogmatism unless it invokes perfectionist considerations. And second, the authority and appeal of a fruitfully rich idea of the reasonable depends on whether the addressees of political justification already value wide acceptability. (shrink)

The paper challenges the view that public justification sits well with emancipatory and egalitarian intuitions. I distinguish between the depth, scope and the purchase of the discursive standing that such justification allocates, and situate within this matrix Rawls’s view of public justification. A standard objection to this view is that public justification should be more inclusive in scope. This is both plausible and problematic in emancipatory and egalitarian terms. If inclusive public justification allocates discursive standing that is rich in purchase, (...) as seems desirable in emancipatory terms, it may be unable to allocate equal standing to all relevant people. And if it is to allocate equal standing, then the equality of that standing should be construed in terms that allow for unequal discursive purchase. (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)

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)

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)

We defend three controversial claims about preference, credence, and choice. First, all agents (not just rational ones) have complete preferences. Second, all agents (again, not just rational ones) have real-valued credences in every proposition in which they are confident to any degree. Third, there is almost always some unique thing we ought to do, want, or believe.

In this paper we carefully study the problem of liberty as it applies to school choice, and whether there ought to be restricted liberty in the case of homeschooling. We examine three prominent concerns that might be brought against homeschooling, viz., that it aggravates social inequality, worsens societal conflict and works against the best interests of children. To examine the tensions that occur between parental liberty, children's interests, and state oversight, we consider the case of homeschooling in the Dutch context.

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)

In the field of machine consciousness, it has been argued that in order to build human-like conscious machines, we must first have a computational model of qualia. To this end, some have proposed a framework that supports qualia in machines by implementing a model with three computational areas (i.e., the subconceptual, conceptual, and linguistic areas). These abstract mechanisms purportedly enable the assessment of artificial qualia. However, several critics of the machine consciousness project dispute this possibility. For instance, Searle, in his (...) Chinese room objection, argues that however sophisticated a computational system is, it can never exhibit intentionality; thus, would also fail to exhibit consciousness or any of its varieties. This paper argues that the proposed architecture mentioned above answers the problem posed by Searle, at least in part. Specifically, it argues that we could reformulate Searle’s worries in the Chinese room in terms of the three-stage artificial qualia model. And by doing so, we could see that the person doing all the translations in the room could realize the three areas in the proposed framework. Consequently, this demonstrates the actualization of self-consciousness in machines. (shrink)

Hume's Treatise arguments concerning space, time, and geometry, especially ones involving his denial of infinite divisibility; have suffered harsh criticism. I show that in the section "Of the ideas of space and time," Hume gives important characterizations of his skeptical approach, in some respects Pyrrhonian, that will be developed in the rest of the Treatise. When that approach is better understood, the force of Hume's arguments can be appreciated, and the influential criticisms of them can be seen to miss the (...) mark. (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)

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