Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...) to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

The Goedelian approach is discussed as a prime example of a science towards the origins. While mere self­referential objectification locks in to its own by­products, self­releasing objectification informs the formation of objects at hand and their different levels of interconnection. Guided by the spirit of Goedel's work a self­reflective science can open the road where old tenets see only blocked paths. “This is, as it were, an analysis of the analysis itself, but if that is done it forms the (...) fundamental of human science, as far as this kind of things is concerned.” G. Leibniz, ('Methodus Nova ...', 1673) . (shrink)

The aim of this paper is to argue that the (alleged) indeterminism of quantum mechanics, claimed by adherents of the Copenhagen interpretation since Born (1926), can be proved from Chaitin's follow-up to Goedel's (first) incompleteness theorem. In comparison, Bell's (1964) theorem as well as the so-called free will theorem-originally due to Heywood and Redhead (1983)-left two loopholes for deterministic hidden variable theories, namely giving up either locality (more precisely: local contextuality, as in Bohmian mechanics) or free choice (i.e. uncorrelated (...) measurement settings, as in 't Hooft's cellular automaton interpretation of quantum mechanics). The main point is that Bell and others did not exploit the full empirical content of quantum mechanics, which consists of long series of outcomes of repeated measurements (idealized as infinite binary sequences): their arguments only used the long-run relative frequencies derived from such series, and hence merely asked hidden variable theories to reproduce single-case Born probabilities defined by certain entangled bipartite states. If we idealize binary outcome strings of a fair quantum coin flip as infinite sequences, quantum mechanics predicts that these typically (i.e. almost surely) have a property called 1-randomness in logic, which is much stronger than uncomputability. This is the key to my claim, which is admittedly based on a stronger (yet compelling) notion of determinism than what is common in the literature on hidden variable theories. (shrink)

An Omega Point Theory says that reality is making progress from some initial state to some final state. It moves from some Alpha Point (the initial state) to some Omega Point (the final state). The progress is an increase in some quality. For example, reality is making progress from the chaotic to the orderly; or it is making progress from the simple to the complex; or from the mindless to the mental; or from evil to good. Here we (...) focus on the Omega Point theory of Peirce. An Omega Point Theory is an evolutionary cosmology – it says that the universe is evolving from the Alpha Point to the Omega Point. Peirce refers to his evolutionary cosmology as a Cosmogonic Philosophy would suppose that in the beginning – infinitely remote – there was a chaos of unpersonalized feeling, which being without connection or regularity would properly be without existence. This feeling, sporting here and there in pure arbitrariness, would have started the germ of a generalizing tendency. Its other sportings would be evanescent, but this would have a growing virtue. Thus the tendency to habit would be started; and from this, with the other principles of evolution, all the regularities of the universe would be evolved. At any time, however, an element of pure chance survives and will remain until the world becomes an absolutely perfect, rational, and symmetrical system, in which mind is at last crystallized in the infinitely distant future. (Peirce, Collected Papers , 6.33). (shrink)

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...) informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

We adjust the notion of typicality originated with Russell, which was introduced and studied in a previous paper for general first-order structures, to make it expressible in the language of set theory. The adopted definition of the class ${\rm NT}$ of nontypical sets comes out as a natural strengthening of Russell's initial definition, which employs properties of small (minority) extensions, when the latter are restricted to the various levels $V_\zeta$ of $V$. This strengthening leads to defining ${\rm NT}$ as the (...) class of sets that belong to some countable ordinal definable set. It follows that ${\rm OD}\subseteq {\rm NT}$ and hence ${\rm HOD}\subseteq {\rm HNT}$. It is proved that the class ${\rm HNT}$ of hereditarily nontypical sets is an inner model of ${\rm ZF}$. Moreover the (relative) consistency of $V\neq {\rm NT}$ is established, by showing that in many forcing extensions $M[G]$ the generic set $G$ is a typical element of $M[G]$, a fact which is fully in accord with the intuitive meaning of typicality. In particular it is consistent that there exist continuum many typical reals. In addition it follows from a result of Kanovei and Lyubetsky that ${\rm HOD}\neq {\rm HNT}$ is also relatively consistent. In particular it is consistent that ${\cal P}(\omega)\cap {\rm OD}\subsetneq{\cal P}(\omega)\cap {\rm NT}$. However many questions remain open, among them the consistency of ${\rm HOD}\neq {\rm HNT}\neq V$, ${\rm HOD}={\rm HNT}\neq V$ and ${\rm HOD}\neq {\rm HNT}= V$. (shrink)

This paper examines how the concepts of utility, impartiality, and universality worked together to form the foundation of Adam Smith's jurisprudence. It argues that the theory of utility consistent with contemporary rational choice theory is insufficient to account for Smith's use of utility. Smith's jurisprudence relies on the impartial spectator's sympathetic judgment over whether third parties are injured, and not individuals' expected utility associated with individuals' expected gains from rendering judgments over innocence or guilt.

This paper argues that the reading of Althusser which finds a pronounced continuity in his conception of the relations among science, philosophy, and politics is the correct one, this essay will begin with an examination of Althusser’s “scientism.” The meaning of this term (one that differs slightly from contemporary usages) will be specified before showing how and in what way Althusser’s political philosophy between 1960 and 1980 can be described as “scientistic.” The next section details the important political role Althusser (...) assigned to the sciences and particularly to the science of historical materialism during this period. This accomplished, the arguments of interpreters who emphasize the apparent difference in Althusser’s attitude towards science before and after 1980 will be considered. Here, possible reasons for such a reading will be rehearsed. Next, with the support of recently published and archival documents, this essay will engage in a close and comparative reading of Althusser’s texts from the 1970s and 1980s that have as their subject the relations among philosophy, science, and politics. This survey will show the continuity in Althusser’s position vis-à-vis the sciences: namely, that if we want good (i.e. desired) socio-politico-economic changes to result from our political actions, then it is necessary to engage in social scientific research or, at the very least, to consult such research and to use this knowledge in our political decision making. All this serves to support the conclusion that Althusser’s “new” political philosophy from the 1980s is not really so new. On the contrary, his writings on the materialism of the encounter and aleatory materialism represent prolongations and elaborations of positions and ideas already developed in the 1960s and 1970s and that include a mostly consistent understanding of the relations between scientific knowledge and political action. This is true even if the rhetorical and philosophical style in which these ideas are put forth in the 1980s differs from the ways in which these ideas were introduced during the prior two decades. (shrink)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over other (...) methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

Few problems in the philosophy of evolutionary biology are more widely disseminated and discussed than the charge of Darwinian evolution being a tautology. The history is long and complex, and the issues are many, and despite the problem routinely being dismissed as an introductory-level issue, based on misunderstandings of evolution, it seems that few agree on what exactly these misunderstandings consist of. In this paper, I will try to comprehensively review the history and the issues. Then, I will try to (...) present the following “solution”, or, one might say, “dissolution”, of the problem, and consider the wider implications of formal, or schematic, explanations in science: yes, the principle of natural selection is a tautology, and so what? It is a promissory note for actual, physical, explanations in particular cases, and is none the worse for that. This is not a new argument, of course, but it does point up the importance of formal schematic models in science. (shrink)

We intend to demonstrate that human perception is better understood when thought from the perspective of Aristotelian-Thomistic Philosophy. After concluding for its existence, Descartes, in the 17th century, concludes that there are ideas that we all possess, such as the idea of “perfection”. This idea cannot result from experience, and it’s God the source of the idea of perfection in us, and the one who guarantees the existence not only of external reality but also of our own correct reasoning. Very (...) far from the God of Thomas Aquinas who is Alpha and Omega, Descartes' god is a god situated and secondary between the subject and reality which, in turn, is guaranteed by God, in a vicious circle between God and the subject. It’s a subjective or logical God, such as Kant's, but not a real God. Reality is, therefore, subjectively intelligible and truth objectively achieved, and the principle of causality is, in this way, subjectively valid. Reality is intelligible not because it’s provided by intelligible forms — by intelligible (and not only sensitive matter) that we, in fact, perceive — but because it is a reality presented by extension that is nothing more than a reflection of the logical-mathematical universe, thought by Modernity and which, with this thinker, is innate to the subject. This is a pure and finished reason. The extensive reality is purged of subjective elements; it is logical-mathematical (therefore, it is thought). It’s a kind of idealism and not realism and which results in a physicalist and materialist view of reality. Materialism, called physicalism in mainstream culture, consists of the idea that there is a world out there that is not experiential. It is material, but the way the word is used here has a strict conceptual definition. Matter is something that can be specifically described by numbers. It's a world without qualities. The world is purely quantitative and, because we are part of this world, we are also quantitative. The entire world of qualities that, deep down, constitutes our reality, is generated, according to materialism, in a not very well specified way and by a brain inside our head. The world outside has no flavors, colors, smells or sounds. We cannot see it because it has no qualities. The best we can do is imagine it as some kind of set of mathematical equations floating in the void. (shrink)

The paper argues that the moral philosophy of Thomas Hobbes is unified by a complex conception of reason that imposes consistency norms of both rationality and reasonableness. Hobbes’s conceptions of rightness as reciprocity, and moral goodness as sociability belong to an original and attractive moral theory that is neither teleological nor classically deontological, nor as interpreters have variously argued, subjectivist, contractarian, egoist, or dependent on divine command.

In Galileo's Error, Philip Goff sets out a manifesto for a post-Galilean science of consciousness. Article four of the manifesto reads: 'Anti-Dualism: Consciousness is not separate from the physical world; rather consciousness is located in the intrinsic nature of the physical world.' I argue that there is an important sense of ‘dualism’ in which Goff’s arguments are not only compatible with but entail dualism, and not only dualism but substance dualism. Substance dualism, in the sense I have in mind, is (...) the view that (i) there are two sides to reality, a fundamentally mental side and a fundamentally nonmental side; and (ii) the fundamentally mental side consists of mental substances resembling Cartesian souls. I do not suggest that this is bad news for post-Galilean science of consciousness. My aim is rather to push for a certain view about what a theory of consciousness motivated by Goff’s arguments must look like. (shrink)

This paper provides an argument for a more socially relevant philosophy of science (SRPOS). Our aims in this paper are to characterize this body of work in philosophy of science, to argue for its importance, and to demonstrate that there are significant opportunities for philosophy of science to engage with and support this type of research. The impetus of this project was a keen sense of missed opportunities for philosophy of science to have a broader social impact. We illustrate various (...) ways in which SRPOS can provide social benefits, as well as benefits to scientific practice and philosophy itself. Also, SRPOS is consistent with some historical and contemporary goals of philosophy of science. We’re calling for an expansion of philosophy of science to include more of this type of work. In order to support this expansion, we characterize philosophy of science as an epistemic community and examine the culture and practices of philosophy of science that can help or hinder research in this area. (shrink)

Philosophers of science are divided over the interpretations of scientific normativity. Larry Laudan defends a sort of goal-directed rules for scientific methodology. In contrast, Gerard Doppelt thinks methodological rules are a mixed batch of rules in that some are goal-oriented hypothetical rules and others are goal-independent categorical rules. David Resnik thinks that the debate between them is at a standstill now. He further thinks there are certain rules, such as the rule of consistency which is goal independent. However, he (...) proposes a holistic understanding of the scientific methodology. Taking a thread from Resnik, the present paper also advocates a holistic understanding of the scientific methodology. Given that many scientific practices deal with systems, the focus will be given to the systems by assuming each as a constellation of methodological norms. By taking each system as a set of mutually supportive methodological rules whose instrumental values underwrite the coherence relation among them, the paper aims to provide what could be a viable holistic epistemological account that can explain scientific normativity at work in a scientific system. The paper will lay down specific holistic criteria for understanding the scientific methodology. They will be used to show how a holistic account could satisfactorily account for the success of the Compact Muon Solenoid (CMS) experiment in discovering the Higgs boson and how the holistic account can account for the instrumental error behind the apparent faster-than-light neutrino anomaly of the Oscillation Project with Emulsion-t Racking Apparatus (OPERA) experiments respectively. (shrink)

This paper argues that Immanuel Kant’s practical philosophy contains a coherent, albeit implicit, defense of the legitimacy of capital punishment, one that refutes the most important objections leveled against it. I first show that Kant is consistent in his application of the ius talionis. I then explain how Kant can respond to the claim that death penalty violates the inviolable right to life. To address the most significant objection – the claim that execution violates human dignity – I argue that (...) motives of honor, as Kant conceives it, require a rational person to will her own execution, were she to commit murder. (shrink)

Whataboutism, eine weit verbreitete Argumentationsstrategie in Debatten über den Israel-Gaza-Krieg, lenkt oft durch Gegenfragen von der eigentlichen Kritik ab. Doch trotz seines schlechten Rufs kann Whataboutism auch positive Auswirkungen haben.

Ever since Darwin people have worried about the sceptical implications of evolution. If our minds are products of evolution like those of other animals, why suppose that the beliefs they produce are true, rather than merely useful? We consider this problem for beliefs in three different domains: religion, morality, and commonsense and scientific claims about matters of empirical fact. We identify replies to evolutionary scepticism that work in some domains but not in others. One reply is that evolution can be (...) expected to design systems that produce true beliefs in some domain. This reply works for commonsense beliefs and can be extended to scientific beliefs. But it does not work for moral or religious beliefs. An alternative reply which has been used defend moral beliefs is that their truth does not consist in their tracking some external state of affairs. Whether or not it is successful in the case of moral beliefs, this reply is less plausible for religious beliefs. So religious beliefs emerge as particularly vulnerable to evolutionary debunking. (shrink)

The Humean conception of the self consists in the belief-desire model of motivation and the utility-maximizing model of rationality. This conception has dominated Western thought in philosophy and the social sciences ever since Hobbes’ initial formulation in Leviathan and Hume’s elaboration in the Treatise of Human Nature. Bentham, Freud, Ramsey, Skinner, Allais, von Neumann and Morgenstern and others have added further refinements that have brought it to a high degree of formal sophistication. Late twentieth century moral philosophers such as Rawls, (...) Brandt, Frankfurt, Nagel and Williams have taken it for granted, and have made use of it to supply metaethical foundations for a wide variety of normative moral theories. But the Humean conception of the self also leads to seemingly insoluble problems about moral motivation, rational final ends, and moral justification. Can it be made to work? (shrink)

Scientists are frequently called upon to “democratize” science, by bringing the public into scientific research. One appealing point for public involvement concerns the nonepistemic values involved in science. Suppose, though, a scientist invites the public to participate in making such value-laden determinations but finds that the public holds values the scientist considers morally unacceptable. Does the argument for democratizing science commit the scientist to accepting the public’s objectionable values, or may she veto them? I argue that there are a limited (...) set of cases in which scientists can, consistently with a commitment to democratized science, set aside the public’s judgments. (shrink)

The very idea of promulgation has been given little to no treatment in the philosophy of law. In this exploratory essay, I introduce three possible theories of promulgation: the ‘no-theory theory’ (which treats promulgation as a matter of particular contexts), the ‘conveyance theory’ (which treats promulgation as a function of intellectual good faith interpreters), and ‘agonistic theory’ (which treats promulgation as indistinguishable from propaganda). I suggest that (at least) three kinds of models are consistent with the theories, and can potentially (...) help us understand when law is successfully promulgated in particular legal contexts: the spread model, the chain model, and the memetic model. I end the paper by comparing the two theories with respect to a case study. Throughout I will show that the conveyance and agonistic theories have a serious advantage over the no-theory theory, in that they allow us to comparatively examine the epistemic weaknesses of diverse theories about the grounding of law on the basis of their contents. (shrink)

This thesis focuses on the use of intelligent tutoring system for education and training of students specialized in electricity in the field of technical and vocational education. The use of modern systems in training and education will have a great positive impact in improving the level of students receiving training and education; this will improve the level of the local economy by producing students of professionals who are able to engage in society efficiently, especially for those who have specialized in (...) electricity. It is known that students in electrical specialties face many problems because of time and cost. Learning and training is not as easy as you imagine, so intelligence is how to overcome these limitations effectively. Motivating the Intelligent Tutorial System (ITS) for this type of training. This system consists of a student model, which in turn will contain lessons, exercises and examples that will be used by the student in addition to the user interface model which makes the teacher to be able to manage lessons, examples, and questions and make changes to the system. Expert System (ES) model representing the Artificial Intelligence (AI) here has been used to determine the level of the student and gives him the results, directions and levels. The program was implemented and was used by trainees to show the extent of its impact. The students expressed their surprise and admiration in this way of education as the system used focuses on individual education which can be used at any time and without restrictions. After this experience, the dedicated (ITS) system needs to be developed in several ways such as to be used on mobile systems and web systems in addition to linking some of the specialized programs in the field of electricity. (shrink)

The research introduces a novel framework that incorporates real-time monitoring, dynamic resource allocation, and adaptive threshold settings to ensure consistent SLA adherence while optimizing computing performance. Extensive simulations are conducted using synthetic and real-world datasets to evaluate the performance of the proposed algorithm. The results demonstrate that the optimized load balancing approach outperforms traditional algorithms in terms of SLA compliance, resource utilization, and energy efficiency. The findings suggest that the integration of optimization techniques into load balancing algorithms can significantly enhance (...) the operational efficiency of data centers, paving the way for future advancements in autonomous and self-optimizing data centers. (shrink)

In this book I argue that school integration is not a proxy for educational justice. I demonstrate that the evidence consistently shows the opposite is more typically the case. I then articulate and defend the idea of voluntary separation, which describes the effort to redefine, reclaim and redirect what it means to educate under preexisting conditions of segregation. In doing so, I further demonstrate how voluntary separation is consistent with the liberal democratic requirements of equality and citizenship. The position I (...) defend is not opposed to integration but rather is a justified response to the daily experience of frustration and disappointment with a system that has failed members of marginalized groups for too long. I argue that most voluntary separation experiments in education, far from being motivated by a sense of racial, cultural or religious exclusion, are in fact driven among other things by a desire for a quality education, not to mention community membership and self respect. As such, voluntary separation represents a morally robust pragmatic strategy that is able to answer liberal challenges concerning involuntary stratification, ethnocentrism and democratic deliberation. (shrink)

One of the most debated problems in the foundations of the special relativity theory is the role of conventionality. A common belief is that the Lorentz transformation is correct but the Galilean transformation is wrong. It is another common belief that the Galilean transformation is incompatible with Maxwell equations. However, the “principle of general covariance” in general relativity makes any spacetime coordinate transformation equally valid. This includes the Galilean transformation as well. This renders a new paradox. This new paradox is (...) resolved with the argument that the Galilean transformation is equivalent to the Lorentz transformation. The resolution of this new paradox also provides the most straightforward resolution of an older paradox which is due to Selleri in. I also present a consistent electrodynamics formulation including Maxwell equations and electromagnetic wave equations under the Galilean transformation, in the exact form for any high speed, rather than in low speed approximation. Electrodynamics in rotating reference frames is rarely addressed in textbooks. The presented formulation of electrodynamics under the Galilean transformation even works well in rotating frames if we replace the constant velocity v\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}$$\end{document} with v=ω×r\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {v}=\varvec{\omega }\times \mathbf {r}$$\end{document}. This provides a practical tool for applications of electrodynamics in rotating frames. When electrodynamics is concerned, between two inertial reference frames, both Galilean and Lorentz transformations are equally valid, but the Lorentz transformation is more convenient. In rotating frames, although the Galilean electrodynamics does not seem convenient, it could be the most convenient formulation compared with other transformations, due to the intrinsic complex nature of the problem. (shrink)

Kant is regarded as the spokesman of the contemporary declaration of human rights and the forerunner of global citizenship theory. However, this noble image has been questioned by critics for his comment of empirical racial hierarchy stated in the pre-critical period: Kant’s moral law applies only to the white race with the “full personality”. Around the question of whether Kant’s pure moral philosophy was impregnated by his racist view, the defenders of Kant either adopt the negative defense strategy of affirming (...) the transcendental moral philosophy and negating the racial thought, or try to justify the consistency of Kant’s theory from the perspective of his later philosophy of right. The deficiency of these two justifications is that they do not directly deal with the relationship between moral philosophy and race theory. When Kant developed a mature moral theory in the mid-1780s, he also constructed a systemically mature race theory under the guidance of teleology principles to defend the unity of mankind in a different world. This theory can be used as the explanatory basis to prove the universality of Kant’s moral philosophy, which reflects the deep correlation between moral philosophy and race theory. From this perspective, it can not only make up for the lack of defenders and respond to the critics’ doubts, but also portray a consistent egalitarian image of Kant. (shrink)

Prominent theories of the criminal law borrow heavily from the two leading theories of temptation—the evaluative conception of temptation, which conceives emotion and desire as essentially involving a kind of evaluation, and the mechanistic conception of temptation, which conceives emotion and desire as essentially involving felt motivation. As I explain, both conceptions of temptation are inconsistent with the possibility of akratic action, that is, action contrary to a person’s conscious better judgment. Both are inconsistent with the possibility of akratic action (...) because both are covertly inconsistent with a two-fold psychological assumption that undergirds common beliefs about human action and lies at the heart of the law of criminal responsibility: that resisting a powerful temptation is extremely difficult yet not ordinarily impossible. I reveal these inconsistencies and offer in place of the leading theories of temptation a theory of affective desire as primitive psychic attraction, an elemental psychological state typically accompanied by evaluation and motivation but not reducible to either one. I then show how this theory of desire is consistent with the possibility of akratic action, with the two-fold psychological assumption at the heart of the law of criminal responsibility, and, in particular, with the defense of provocation. (shrink)

A long series of studies in social psychology have shown that the explanations people give for their own behaviors are fundamentally different from the explanations they give for the behaviors of others. Still, a great deal of uncertainty remains about precisely what sorts of differences one finds here. We offer a new approach to addressing the problem. Specifically, we distinguish between two levels of representation ─ the level of linguistic structure (which consists of the actual series of words used in (...) the explanation) and the level of conceptual structure (which consists of the concepts these words are used to express). We then formulate and test hypotheses both about self-other differences in conceptual structure and about self-other differences in the mapping from conceptual structure to linguistic structure. (shrink)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...) the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (shrink)

Nugayev’s book is one of the first Soviet monographs treating the theory change problem. The gist of epistemological model consists in consequent account of intertheoretical relations. His book is based on the works of Soviet authors, as well as on Western studies (K.R. Popper, T.S. Kuhn, I. Lakatos, P. Feyerabend et al.) Key words: epistemological model, Soviet philosophy, Western studies .

This study presented the policy of functional integration of the product planning team as a strategy for the development of the pharmaceutical industry in Palestine. The study population consists of all the workers in companies operating in the field of medicine in Palestine, which are (5) companies producing in the West Bank only for pharmaceuticals used by these companies, which are (296) employees, and was used a simple random sample to choose the sample and size (87) employees of the study (...) population, and to achieve the objectives of the study (87) questionnaires were distributed. The descriptive analytical method was used, and SPSS was used to answer and discuss the study's questions. The results showed that there is a significant relationship between the effectiveness of the policy of product development and the competitiveness of pharmaceutical companies in Palestine (West Bank), where the policy of product development efficiency accounts for 56.6% of the total change in the competitiveness of companies. The product quality component was most influential at all levels of product development effectiveness policy, followed by product identification, product cost reduction, packaging and product deletion. The weakest areas of strategic direction in pharmaceutical companies in Palestine (West Bank) are 67%. The weakest aspects of job integration are: non-regular meetings of representatives of different positions to participate in any project related to product development, to achieve spatial convergence of members of the product planning policy team in offices, laboratories and workplaces. (shrink)

The word 'reason' as used today is used ambiguous in its meaning. It may denote either of two mental faculties: a lower reason associated with discursive, linear thinking, and a higher reason associated with direct apprehension of first principles of mathematics and logic, and possibly also of moral and religious truths. These two faculties may be provisionally named Reason (higher reason) and rationality (lower reason). Common language and personal experience supply evidence of these being distinct faculties. So does classical philosophical (...) literature, the locus classicus being Plato's Divided Line analogy. -/- The effect of currently using a single word to denote both faculties not only produces confusion, but has had the effect of decreasing personal and cultural awareness of the higher faculty, Reason. Loss of a sense of Reason has arguably contributed to various psychological, social, moral, and spiritual problems of the modern age. This issue was also a central concern of 19th century Transcendentalists, who reacted to the radical empiricism of Locke. It would be advantageous to adopt consistent terms that make explicit a distinction between higher and lower reason. One possibility is to re-introduce the Greek philosophical terms nous and dianoia for the higher and lower reason, respectively. This discussion has certain parallels with the recent theories of McGilchrist (2009) concerning the increasingly left-brain hemisphere orientation of human culture. (shrink)

The study aimed at identifying the personal variables and their effect in promoting job creation in Gaza Strip through business incubators. The researchers used the descriptive analytical approach to achieve the study objectives. The study population consisted of 92 of the pilot projects benefiting from the three business incubators in Gaza Strip (Palestinian Information Technology Incubator, UCAS Technology Incubator and Business and Technology Incubator). The study reached a number of results, the most important of which are the existence of statistically (...) significant differences on entrepreneurship attributed to each age as most of them are between the ages of 22-30, Gender for males, business incubator, scientific qualification for the specialties of information technology and engineering, and years of experience. Based on the findings, the researchers recommend focusing on university students in guiding them towards entrepreneurship and helping new graduates to start entrepreneurship. And to guide students to scientific disciplines that help them in entrepreneurship after graduation, whether starting a small business or self-employment, support females to entrepreneurship as most of the entrepreneurs are male, in addition to stimulating males as well. (shrink)

The aim of the research is to identify the relationship between the performance criteria and the achievement of the objectives of supervision which is represented in the performance of the job at the Islamic University in Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (22) paragraphs 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, 276 responses were retrieved with a return rate of 88.1%. The SPSS program was used to enter, process, and analyze the data. The results of the study showed a positive relationship between the performance criteria and the achievement of the control objectives represented by the job performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants and the administrative board). The researchers also recommended a number of recommendations, including the provision of an appropriate level of control system components today through the continuous updating and development of performance standards and the need to provide the necessary physical and financial resources to continue the development and achievement within the university. Expand the development of technology in the various activities of the university through the construction of a complete and integrated system to support the control systems in the university to suit its size. The researchers also recommended the follow-up, review of the performance standards and work to modify them in line with the mission of the university and the goals that the university seeks to reach. (shrink)

The research aims to identify the organizational excellence in Palestinian universities of Gaza Strip, from the perspective of senior management. The questionnaires were distributed the top senior management in the Palestinian universities, and the study population was (344) employees in senior management in Palestinian universities. A stratified random sample were selected from of employees in the Palestinian universities consist of (182) employees at return rate of (69.2%). SPSS program for analyzing and processing the data was used. The study reached the (...) following results: the senior management agrees largely on the importance of the axis of "Leadership Excellence" and "Excellence service sectors". The senior management agrees moderately about the importance of the axis of the “Knowledge excellence". The study showed that there is a weakness in the employment of scientific research to serve the community, there is weakness in the follow-up of the universities management for the performance of their graduates in the institutions in which they work. Senior management agrees on the importance of the "Organizational Excellence" moderately. The recommendations of study includes: the need to develop principles and fair criteria for the selection of the best candidates for the university and university leaders based on specialization, competence, experience, skills, integrity and not on the basis of favoritism. (shrink)

Team reasoning gives a simple, coherent, and rational explanation for human cooperative behavior. This paper investigates the robustness of team reasoning as an explanation for cooperative behavior, by assessing its long-run viability. We consider an evolutionary game theoretic model in which the population consists of team reasoners and ‘conventional’ individual reasoners. We find that changes in the ludic environment can affect evolutionary outcomes, and that in many circumstances, team reasoning may thrive, even under conditions that, at first glance, may seem (...) unfavorable. We also pursue several extensions that augment the basic account, and conclude that team reasoning is an evolutionarily viable mechanism with the potential to explain behavior in a range of human interactions. (shrink)

Is “liberal socialism” an oxymoron? Not quite, but I will demonstrate here that it is a much more unstable and uncommon hybrid than scholars had previously thought and that almost all liberals should reject socialism, even in its most attractive form. More specifically, I will show that three leading varieties of liberalism—neutralist, plural-perfectionist, and deliberative-democratic—are incompatible with even a moderate form of socialism, viz., associational market socialism. My paper will also cast grave doubt on Rawls’s belief that justice as fairness (...) is consistent with liberal socialism. (shrink)

Abstract: Lemons are an important fruit that have a wide range of uses and benefits, from culinary to health to household and beauty applications. Deep learning techniques have shown promising results in image classification tasks, including fruit quality detection. In this paper, we propose a convolutional neural network (CNN)-based approach for detecting the quality of lemons by analysing visual features such as colour and texture. The study aims to develop and train a deep learning model to classify lemons based on (...) their quality, evaluate the model's performance, compare it to traditional machine learning approaches, and identify key factors that affect the model's performance. The dataset used in the study consists of approximately 2533 images of lemons and an empty surface, divided into training, test, and validation data, and includes images of both good and bad quality lemons under different lighting conditions. The deep learning model achieved an accuracy of 99.74% on the test dataset and outperformed traditional machine learning approaches. The developed model has the potential to improve efficiency and accuracy in lemon quality control in the agriculture and food industry. (shrink)

Most moral theories share certain features in common with other theories. They consist of a set of propositions that are universal, general, and hence impartial. The propositions that constitute a typical moral theory are (1) universal, in that they apply to all subjects designated as within their scope. They are (2) general, in that they include no proper names or definite descriptions. They are therefore (3) impartial, in that they accord no special privilege to any particular agent's situation which cannot (...) be justified under (2) and (3). These three features do not distinguish moral theories from other theories, nor indeed from most general categorical propositions we assert. Yet, in recent years, these features of moral theories have been the target of a certain concerted and sustained criticism, namely, that to be committed to such a moral theory, or to aspire to act in accordance with its requirements, results in what has come to be known as moral alienation. Moral alienation, according to this criticism, consists in (i) viewing one's ground projects from an impersonal, "moral point of view" engendered by one's acceptance of the theory; (ii) being prepared to sacrifice these projects to the requirements of moral principle; and (iii) making such a sacrifice specifically and self-consciously in order to conform to these requirements. Moral alienation is said to manifest itself in one (or both) of two ways, depending on the nature of the project thus susceptible to sacrifice. One may be alienated from oneself, if the project consists of tastes, convictions, or aspirations that are centrally definitive of one's self. In this case one's commitment to the project can be at best conditional on its congruence with one's moral theory. It is claimed that this must make for a rather tepid and unenthusiastic commitment indeed. Alternatively, one may be alienated from others, if the project is an interpersonal relationship such as a friendship, marriage, or collegial relationship. In this case one's responses to the other are motivated by one's awareness of what one's moral theory requires. It is claimed that this obstructs a genuine and unmediated emotional response to the other as such. My aim here will be to argue that this very compelling criticism - call it the moral-alienation criticism - is nevertheless misdirected. The real culprit is not any particular moral theory, but rather a certain familiar personality type that may or may not adopt it. (shrink)

Modern military organizations are paternalistic organizations. They typically recognize a duty of care toward military personnel and are willing to ignore or violate the consent of military personnel in order to uphold that duty of care. In this paper, we consider the case for paternalism in the military and distinguish it from the case for paternalism in medicine. We argue that one can consistently reject paternalism in medicine but uphold paternalism in the military. We consider two well-known arguments for the (...) conclusion that military organizations should not be entitled to use experimental drugs on troops without first obtaining the informed consent of those troops. We argue that both of these are unsuccessful, in the absence of an argument for the rejection of paternalism in the military altogether. The case for military paternalism is widely accepted. However, we consider three ways in which it could be challenged. (shrink)

I argue that Graham Priest's story 'Sylvan's Box' has an attractive consistent reading. Priest's hope that this story can be used as an example of a non-trivial 'essentially inconsistent' story is thus threatened. I then make some observations about the role 'Sylvan's Box' might play in a theory of unreliable narrators.

In our dealings with young children, we often get them to do or think things by arranging their environments in certain ways; by dissembling, simplifying, or ambiguating the facts in answer to their queries; by carefully selecting the states of affairs, behavior of others, and utterances to which they shall be privy. We rightly justify these practices by pointing out a child's malleability, and the necessity of paying close attention to formative influences during its years of growth. This filtering of (...) influences is necessary, we point out, if children are ever to reach a degree of maturity and inner stability that will enable them to understand and cope adequately with the complexities, contradictions, and difficulties of the world from which we now seek to shield them. Thus a child's eventual state of competence, maturity, and autonomy adequately justifies our current practices of manipulation and selection of his environment: such practices are rightly held to be ultimately in the child's best interests as an adult. There is no future state of things with reference to which the Utilitarian night justify his policy of secrecy and manipulation, and in light of which this policy night eventually be dispensed with and commonly validated, in retrospect, as a means to the worthwhile goal of moral maturity. That is, there is no point at which the attitude of the Utilitarian to the rest of the community can develop past the analogous attitude of the parent towards the child; no point at which the Utilitarian might eventually bear to others a relationship of mutual acknowledgement and respect as mature, autonomous, moral adults. The consistent Utilitarian, then, largely regards himself as if he were the only adult in a community of children. (shrink)

Abstract: Dates are the fruit of date palm trees, and it is one of the fruits famous for its high nutritional value. It is a summer fruit spread in the Arab world. In the past, the Arabs relied on it in their daily lives. Dates take an oval shape and vary in size from 20 to 60 mm in length and 8 to 30 mm in diameter. The ripe fruit consists of a hard core surrounded by a papery cover called (...) the tartar that separates the core from the fleshy part that is eaten. Historians disagreed about the place of its origin, so some historians expressed their belief that it had originated around the Arabian Gulf, and some of them say that the oldest known information about palm trees was in Babylon 4 thousand years ago BC. It is known about the ancient Egyptians using dates in wine. Dates contain a high nutritional value and are considered a basic food for man since ancient times. The fruits of dates are considered the highest fruits in containing sugars. These components vary according to the nature of the fruit, whether it is wet, semi-dry or dry, as well as according to the environmental conditions surrounding the trees. The components of the fruits also differ in different varieties and increase the percentage of sugars in dates is 70-78% of the fruit’s components. These sugars are characterized by their rapid absorption and transfer into the blood directly, digestion and burning. 10 dates (about 100 grams) per day provide a person with all his daily needs of magnesium, manganese, copper, sulfur and half of his needs of calcium and potassium. In this paper we presented a system that recognize the nine types of dates based on deep learning using python on Colab, and classifying using a dataset contain 1350 images. Our trained model achieved an accuracy of 99.44% on a proven test set. (shrink)

In the longstanding debate between liberals and libertarians over the morality of redistributive labor taxation, liberals such as John Rawls and Ronald Dworkin have consistently taken the position that such taxation is perfectly compatible with individual liberty, whereas libertarians such as Robert Nozick and Murray Rothbard have adopted the (very) contrary position that such taxation is tantamount to slavery. In this paper, I argue that the debate over redistributive labor taxation can be usefully reconstituted as a debate over the incidents (...) (or components) of self-ownership, with liberals arguing for a narrow definition of the concept and libertarians arguing for a broad one. By using what Alan Ryan has called the “language of proprietorship,” I pinpoint precisely the source of the disagreement between liberals and libertarians and assess the relative strengths of their arguments. I also show that the respective definitions of self-ownership used by liberals and libertarians are deeply problematic—though for strikingly different reasons. (shrink)

The study aimed to identify the level of promotion of entrepreneurship in the technical colleges in Palestine. The analytical descriptive method was used in the study. A questionnaire of 41 items was randomly distributed to the technical colleges in the Gaza Strip. The random sample consisted of (275) employees from the mentioned colleges, and the response rate were (74.5%). The results of the study showed that the technical colleges achieved a high level of promotion of entrepreneurship with a relative weight (...) of 73.45%. The results of the study showed that there is a high level of promotion of entrepreneurship (risk, preparedness, proactive competition, innovation orientation) in the technical colleges in Gaza Strip. The field of competition came in first place with a relative weight of 76.65%. In the second place came the field (the trend towards innovation) and relative weight (74.96%). In the third place came the field of pre-emptive preparedness with a relative weight of 74.07%. In the fourth and last place came the field of risk and a relative weight of 68.39%. The results confirmed that there are statistically significant differences in the promotion of entrepreneurship in the technical colleges in Gaza Strip due to the college variable in favor of UCAS. The results confirmed that there is no statistically significant relationship in the promotion of entrepreneurship in technical colleges in Gaza Strip due to the variable level of employment. The researchers suggest a set of recommendations, the most important of which is to draw the attention of the technical colleges to the importance of promoting entrepreneurship, because of their role in reducing the problem of unemployment, the importance of linking technical education and promoting entrepreneurship to the Palestinian society in general and Gaza Strip in particular. The importance of urging decision-makers in technical colleges to promote interest in leadership and to put their own courses in all technical education programs in these colleges, as well as enhancing the technical, technological and technical capabilities of technical education and keeping pace with the latest international standards by providing the necessary material resources. There is a need to urge researchers to conduct further studies of the future which deal with the same variables of the current study in the field of entrepreneurship and applied to other sectors. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

It is becoming increasingly common for authoritarian regimes to leverage digital technologies to surveil, repress and manipulate their citizens. Experts typically refer to this practice as digital authoritarianism (DA). Existing definitions of DA consistently presuppose a politically repressive agent intentionally exploiting digital technologies to pursue authoritarian ends. I refer to this as the intention-based definition. This paper argues that this definition is untenable as a general description of DA. I begin by illustrating the current predominance of the intention-based definition (Section (...) 2). Section 3 then presents four counterexamples to this definition: benign surveillance; digital sovereignty; attention-harvesting algorithms; and tech-induced loneliness. In each case, we witness authoritarianism being promoted by digital technologies without any evidence of this being intentionally caused by politically repressive agents. Based on these observations, I contend that the intention-based definition is underinclusive and is therefore unsustainable. Section 4 outlines an improved definition of DA – what I call the promotion-based definition. Since this more expansive definition does not posit intentional, politically repressive agency as a precondition of DA, it can accommodate the counterexamples discussed in Section 3. Moreover, it enables us to catch a broader spectrum of cases of DA, such as tech-induced loneliness, which those adhering to the intention-based definition are prone to overlook. After outlining further practical benefits of the promotion-based definition, I argue that we still need to distinguish between intentional and unintentional forms of DA since they call for distinct types of remedial action. -/- . (shrink)