In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, have attracted (...) discrete attention among experts. Indeed, in what follows, after having introduced Jaśkowski methodology of building D2 and his main philosophical motivations for providing such a system, we will explore some of the main contributions to the development of D2. (shrink)

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic , philosophy and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic 24(1):1–14, 1959). Gödel’s proof (...) gave rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as Gödel or the Gödel-Dummett Logic, and is studied by fuzzy logicians as well. We also provide some results on the inter-definability of propositional connectives in this logic. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

In Everettian quantum mechanics, justifications for the Born rule appeal to self-locating uncertainty or decision theory. Such justifications have focused exclusively on a pure-state Everettian multiverse, represented by a wave function. Recent works in quantum foundations suggest that it is viable to consider a mixed-state Everettian multiverse, represented by a (mixed-state) density matrix. Here, we develop the conceptual foundations for decoherence and branching in a mixed-state multiverse, and extend arguments for the Born rule to this setting. This extended framework provides (...) a unification of 'classical' and 'quantum' probabilities, and additional theoretical benefits, for the Everettian picture. (shrink)

This paper replies to a commentary by John-Stewart Gordon on our paper, “The Moral Standing of Social Robots: Untapped Insights from Africa.” In the original paper, we set forth an African relational view of personhood and show its implica- tions for the moral standing of social robots. This reply clarifies our position and answers three objections. The objections concern (1) the ethical significance of intelligence, (2) the meaning of ‘pro-social,’ and (3) the justification for prioritizing humans over pro-social robots.

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

The theoretical foundations of climate science have received little attention from philosophers thus far, despite a number of outstanding issues. We provide a brief, non-technical overview of several of these issues – related to theorizing about climates, climate change, internal variability and more – and attempt to make preliminary progress in addressing some of them. In doing so, we hope to open a new thread of discussion in the emerging area of philosophy of climate science, focused on theoretical foundations.

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)

Mental health among students is one of the major concerns amidst the pandemic. Employing a correlational design, this study investigates the relationship between emotional intelligence and mental health among 152 senior high school students. Based on the statistical analysis, the r coefficient of 0.82 indicates a high positive correlation between the variables. The p-value of 0.00, which is less than 0.05, leads to the decision to reject the null hypothesis. Hence, a significant relationship exists between emotional intelligence and mental health (...) among senior high school. Implications were discussed in the study. (shrink)

This abstract is a synopsis of the paper "An Expert System for Diagnosing Whooping Cough Using CLIPS." The bacterium Bordetella pertussis causes whooping cough, a highly infectious respiratory ailment with several phases of symptoms. An accurate and timely diagnosis is critical for effective treatment and the avoidance of future transmission. The construction of an expert system for detecting whooping cough using the CLIPS (C Language Integrated Production System) architecture is highlighted in this abstract. The expert system provides standardized and systematic (...) evaluation, which reduces the chance of misdiagnosis and improves patient outcomes. Maintenance and upgrades are required to keep the system current with growing medical knowledge. More study in this area has the potential to advance expert systems in identifying and managing a variety of medical disorders. (shrink)

Many believe that paternalism is less wrong in intimate relationships. In this paper, we argue that this view cannot be justified by appeal to (i) beneficence, (ii) shared projects, (iii) vulnerability, (iv) epistemic access, (v) expressivism, or (vi) autonomy as nonalienation. We finally provide an error theory for why many may have believed that paternalism is less wrong in intimate relations.

ABSTRACTAccording to Nietzsche, both modern individuals and societies are pathologically fragmented. In this paper, I examine how he proposes we combat this affliction in his Untimely Meditations. I argue that he advocates a dual struggle involving both instrumental domination and eradication. On these grounds, I claim the following: 1. pace a growing number of commentators, we cannot categorise the species of conflict he endorses in the Untimely Meditations as agonistic; and 2. this conflict is better understood as analogous to the (...) species of struggle that Schopenhauer describes in his account of purposive organisation. (shrink)

One of the many arguments against capital punishment is that execution is irrevocable. At its most simple, the argument has three premises. First, legal institutions should abolish penalties that do not admit correction of error, unless there are no alternative penalties. Second, irrevocable penalties are those that do not admit of correction. Third, execution is irrevocable. It follows that capital punishment should be abolished. This paper argues for the third premise. One might think that the truth of this premise is (...) self-evident. But in his paper “Is the Death Penalty Irrevocable?” Mike Davis argues that it is false: the death penalty is not irrevocable. While Davis’ argument is itself somewhat compelling, it receives additional support from work in the metaphysics of death, specifically the literature on posthumous harm. Strengthened in this way, the argument deserves careful consideration. I begin with a quick sketch of Davis’ argument, then show how the Pitcher-Feinberg theory of posthumous harm enables a more robust argument against the irrevocability of capital punishment, defending their theory of harm against standard objections in the literature. Having established the coherency of the robust argument, I conclude that it nevertheless fails to make the case against irrevocability. This is because it ignores the full set of practical requirements incumbent on legal institutions that wrongly punish someone. (shrink)

The conventional wisdom about advance care planning holds that the normative force of my prior wishes is simply that they are mine. It is their connection to me that matters. This paper challenges conventional thinking. I propose that the normative force of prior wishes does not depend exclusively on personal identity. Instead, it sometimes depends on a special relationship that exists between a prior, capacitated person and a now incapacitated person. I consider what normative guidance governs persons who stand in (...) a special relationship, and contrast these with the standard model of respect for autonomy. My conclusion is that advance care planning for individuals who have lost decision-making capacity should incorporate the virtues of prudence and integrity, even when one and the same person ceases to exist, and respect for personal autonomy is no longer relevant. (shrink)

Abstract: The efficiency and performance of sorting algorithms play a crucial role in various applications and industries. In this research paper, we present a comprehensive comparative analysis of popular sorting algorithms on datasets of different sizes and characteristics. The aim is to evaluate the algorithms' performance and identify their strengths and weaknesses under varying scenarios. We consider six commonly used sorting algorithms: QuickSort, TimSort, MergeSort, HeapSort, RadixSort, and ShellSort. These algorithms represent a range of approaches and techniques, including divide-and-conquer, hybrid (...) sorting, and simple comparison-based methods. To assess their performance, we employ a diverse set of datasets, including the Iris dataset (1K), student dataset (5.8K), Wine dataset (6.5K), Uniform (10K), Normal (10K), Exponential (10K), Bimodal (10K), Yelp dataset (10K), MNIST dataset (42K), Uniform (100K), Normal (100K), Exponential (100K), Bimodal (100K), Uniform (500K), Normal (500K), Exponential (500K), Bimodal (500K), Uniform (1M), Normal (1M), Exponential (1M), and Bimodal (1M). These datasets cover a wide range of sizes and characteristics, allowing us to analyze the algorithms' performance across different dimensions. We measure and compare several key metrics, including execution time, memory usage, algorithmic complexity and stability. By analyzing these metrics, we gain insights into the efficiency and suitability of each algorithm for different dataset sizes and characteristics. We also discuss the implications of the findings in practical applications. Our results reveal important trade-offs among the sorting algorithms. While some algorithms excel in certain scenarios, others demonstrate better scalability or memory efficiency. We identify the best-performing algorithms for specific dataset characteristics and highlight their strengths and limitations. This research can assist developers and practitioners in selecting appropriate sorting algorithms based on their specific requirements and dataset characteristics. In conclusion, this comparative analysis provides a valuable contribution to the understanding of sorting algorithm performance. The findings contribute insights into the efficiency and suitability of popular sorting algorithms across datasets of different sizes and characteristics. By evaluating key metrics and discussing the implications, we offer guidance for selecting the most appropriate sorting algorithm in various practical scenarios. (shrink)

The study aimed to identify the reality of the use of social networks in the technical colleges in Palestine, where the variables of social networks were included. The analytical descriptive method was used in the study. A questionnaire consisting of (12) items was randomly distributed to college workers Technology in the Gaza Strip. The sample of the study consisted of (205) employees of these colleges. The response rate was 74.5%. The results showed a high degree of approval for the dimensions (...) of the social networks and a relative weight (74.15%) according to the perspective of the employees of the technical colleges in the Gaza Strip. The results of the study showed that there is a high level of social networking areas (site management and Website Content) in the technical colleges in the Gaza Strip. The field of site management ranked first with a relative weight of 74.91%, and second and last (Content Site) with a relative weight (73.38%). The results showed that there were differences between colleges in the use of social networks where the results showed that the most common colleges used these networks (UCAS) and the least used is (GTC). The results showed no differences between male and female employees in the use of social networks in technical colleges. The researchers suggest a number of recommendations, including: the need to raise awareness of the importance of Facebook and other social networking sites, through the holding of courses for employees in technical colleges, and to identify the ways to optimize the use of such sites, and the benefits of this use, and reflected positively on technical colleges. And the adoption of dealing with the various social networking sites as a reality, and the Palestinian and Arab technical colleges, use them in accordance with the objectives of technical colleges. Advise the Department of Technical Colleges to devote time to their presence on social networks to follow the public and respond to their queries. There is a need for the attention of decision-makers in technical colleges in social sites, because they are considered an important and effective means of communication, and the link between beneficiaries and decision-makers. There is a need to promote the use of modern electronic means of work and the need to increase the link of customers to the college through electronic services. (shrink)

The article concerns the interpretation of Aquinas' philosophy in the thougt of the swiss theologian Hans Urs Von Balthasar.

In this paper, I offer a conceptual analysis of fake news. In essence, I suggest analysing this notion as a species of Frankfurtian bullshit. This construal, I argue, allows us to distinguish it from similar phenomena like bad or biased journalism and satire. First, I introduce four test cases. The first three are, intuitively, not cases of fake news, while the fourth one is. A correct conceptual analysis should, hence, exclude the first three while including the fourth. Next, I go (...) through some factors that could explain the difference between the first three cases and the fourth one before I offer my explanation. After that, I propose an analysis of fake news and show that it matches our intuitions about the four test cases. Finally, I consider a possible objection to my proposal. (shrink)

Migraine is a complex neurological disorder characterized by recurrent moderate to severe headaches, accompanied by additional symptoms such as nausea, sensitivity to light and sound, and visual disturbances. Accurate and timely diagnosis of migraines is crucial for effective management and treatment. However, the diverse range of symptoms and overlapping characteristics with other headache disorders pose challenges in the diagnostic process. In this research, we propose the development of an expert system for migraine diagnosis using artificial intelligence and the CLIPS (C (...) Language Integrated Production System) framework. The expert system utilizes a rule-based inference engine to analyze patient-reported symptoms and provide reliable diagnoses or probability scores indicating the likelihood of migraine. The knowledge base of the expert system is designed based on expert knowledge obtained from medical professionals specializing in migraines. The collected knowledge is translated into a structured format suitable for the CLIPS inference engine, incorporating rules and facts to represent the diagnostic criteria and associated symptoms. The system prompts users to provide relevant information about their symptoms, medical history, and potential triggers. It applies the defined rules and facts to evaluate the likelihood of migraine and generate accurate diagnoses or probability scores. Preliminary evaluation results demonstrate the potential of the expert system as a valuable tool for diagnosing migraines. A dataset of anonymized patient records with confirmed migraine cases was used to test the system. The diagnoses generated by the expert system were compared against the known diagnoses, and a high level of accuracy was observed, with 90% of cases correctly diagnosed as migraines. These results highlight the effectiveness and reliability of the system in assisting medical professionals in the diagnosis of migraines. The proposed expert system offers several advantages for migraine diagnosis. It leverages the collective knowledge and expertise of experienced migraine specialists, providing a standardized and consistent approach to diagnosis. The system can handle large amounts of patient data and effectively analyse complex relationships between symptoms, risk factors, and diagnostic criteria. Furthermore, it offers real-time feedback and recommendations, supporting medical professionals in their clinical decision-making process. Future work involves refining the expert system based on feedback from medical experts, expanding the knowledge base to encompass a wider range of symptoms and risk factors, and conducting further evaluations to enhance its accuracy and applicability in clinical settings. The development of an expert system for migraine diagnosis has the potential to improve the diagnostic process, leading to more effective management and treatment strategies for individuals suffering from migraines. (shrink)

The Epicurean account of the origin of language appealed to eighteenth-century thinkers who tried to reconcile a natural history of language with

the biblical account of Adamic name-giving. As a third way between Aristotelian linguistic conventionality and what was perceived as a Platonic supernatural congruence between words and things, Epicurus’

theory allowed for a measure of contingency to emerge in the evolution of initially natural signs. This hypothesis was taken up by authors as different from one another as Leibniz, Vico, Condillac and (...) Mendelssohn. By integrating the Epicurean account of language into their own theories, however, these authors also revived the tensions inherent in the ancient thesis and had to confront the ensuing difficulties in innovative ways. (shrink)

The concept of neutrosophic locally compact and neutrosophic compact open topology are introduced and some interesting propositions are discussed.

This paper aims to assess knowledge management maturity at HEI to determine the most effecting variables on knowledge management that enhance the total performance of the organization. This study was applied on Al-Azhar University in Gaza strip, Palestine. This paper depends on Asian productivity organization model that used to assess KM maturity. Second dimension assess high performance was developed by the authors. The controlled sample was (364). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation (...) using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study suggest that KMM is suitable for measuring and lead to enhance high performance. KMM assessment shows that the university maturity level is in level three. Findings also support the main hypothesis and it is subhypotheses. The most important factors effecting high performance are: Processes, KM leadership, People, KM Outcomes, Knowledge Process. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study at HEI in Palestine explores the status of KMM using the Asian productivity model. (shrink)

The present study is aimed at contributing to the growing literature around the application and relevance of AI in education, among others. Specifically, this work is centered around the constructs of AI literacy, as well as attitudes towards AI among pre-service teachers at three higher education institutions offering teacher education programs in Central Luzon, Philippines. Similarly, data pertinent to the respondents’ attitudes towards AI were gathered through an adapted instrument with a 4-point Likert scale, consisting of 26 items distributed across (...) 3 components namely, Cognitive; Affective; and Behavioral. Using convenience sampling, the researchers were able to collect responses from a total of 61 consenting respondents. Salient findings revealed that the same respondents have a generally positive attitudes towards AI, and only a generally moderate level of AI literacy. Important implications to the current teacher education curriculum and its relevance in light of the advent and integration of AI in teaching and learning, were drawn. Particularly, the researchers proposed in the backdrop of the findings that an enhanced teacher education curriculum by way of AI use integration be considered, among others. As a preliminary work towards AI literacy among pre-service teachers in the Philippine setting, this study further called for further research and academic work towards such endeavors. (shrink)

Closed-Circuit Television (CCTV) systems are essential in modern security setups because they provide continuous surveillance, acting as both a deterrent and a critical tool for monitoring and evidence collection. Unlike human guards who can be limited by fatigue and blind spots, CCTV cameras offer consistent, 24/7 coverage of key areas. They fill gaps in the current security system by enabling real-time monitoring and recording incidents for later review, ensuring that potential security breaches are detected and addressed more effectively. This enhances (...) overall security effectiveness and reduces the reliance on human intervention. The integration of Artificial Intelligence and Machine Learning (AIML) techniques with existing CCTV networks presents a promising approach to address critical challenges in urban environments. This project examines how AIML can be leveraged for crowd management, crime prevention, and work monitoring using CCTV infrastructure. For crowd management, AIML enables automated crowd counting and density estimation, facilitating efficient allocation of resources during events and emergencies. In crime prevention, AIML algorithms analyze video feeds in real-time to detect suspicious activities and identify anomalies, aiding law enforcement in proactive interventions. Additionally, AIML enhances workplace monitoring by tracking productivity metrics, ensuring compliance with safety protocols, and optimizing operational workflows. Through these applications, AIML empowers cities and organizations to improve public safety, enhance operational efficiency, and make data-driven decisions based on insights derived from CCTV footage. The integration of AIML with existing CCTV networks represents a transformative advancement in urban surveillance and management practices, offering scalable solutions for diverse urban challenges. (shrink)

To naturalize religion, we must identify what religion is, and what aspects of it we are trying to explain. In this paper, religious social institutional behavior is the explanatory target, and an explanatory hypothesis based on shared primate social dominance psychology is given. The argument is that various religious features, including the high status afforded the religious, and the high status afforded to deities, are an expression of this social dominance psychology in a context for which it did not evolve: (...) high-density populations made possible by agriculture. (shrink)

På mange måter er dette en bok som blir utgitt alt for sent. Det er den første antologien av sitt slag, og retter fokus på kvinnelige metafysikere som virket i den tidlige moderne perioden (16. og tidlig 17. århundre). Redaktør Emily Thomas skriver i introduksjonen at til tross for at flere antologier om moderne metafysikk allerede finnes, er kvinnelige filosofer fortsatt underrepresentert og den filosofiske kanon mannsdominert. De ni filosofene som blir omtalt i totalt 13 kapitler var alle originale og (...) velkjente tenkere i sin samtid, men har blitt glemt i filosofihistoriens løp. (shrink)

Most readers believe that it is difficult, verging on the impossible, to extract concrete prescriptions from the ethics of Emmanuel Levinas. Although this view is largely correct, Levinas’ philosophy can, with some assistance, generate specific duties on the part of legal actors. In this paper, I argue that the fundamental premises of Levinas’ theory of justice can be used to construct a prohibition against capital punishment. After analyzing Levinas’ concepts of justice, responsibility, and interruption, I turn toward his scattered remarks (...) on legal institutions, arguing that they enable a sense of interruption specific to the legal domain. It is here that we find the conceptual resources most important to my Levinasian abolition. I argue that the interruption of legal justice by responsibility implies what I call the principle of revisability. The principle of revisability states a necessary condition of just legal institutions: To be just, legal institutions must ensure the possibility of revising any and all of their rules, principles, and judgments. From this, the argument against capital punishment easily follows. Execution is a legal act, perhaps the only legal act, that cannot be undone. An application of the principle of revisability to this fact leads to the conclusion that legal institutions cannot justly impose capital punishment. After defending these points at length, I conclude with some observations on the consequences of the principle of revisability for law more generally. (shrink)

The first part of this chapter defends the claim that the over-incarceration of disadvantaged social groups is unjust. Many arguments for penal reform are based on the unequal distribution of punishment, most notably disproportionate punishment of the poor and people of color. However, some philosophers use a noncomparative conception of desert to argue that the justice of punishment is independent of its distribution. On this view, which has significant influence in 14th Amendment jurisprudence, unequal punishment is not unjust. After detailing (...) the “noncomparativist challenge,” this chapter argues that Levinasian conceptions of desert enable a theory of penal justice according to which comparative considerations are essential. In so doing, it shows that the noncomparativist challenge can be met. The chapter concludes by considering whether Levinasian conceptions of desert and responsibility show members of socially advantaged groups to be more blameworthy for their wrongdoing than members of disadvantaged groups. (shrink)

ABSTRACT This study evaluated the effects of postpartum diseases and body condition score (BCS) on the reproductive performance of dairy herds. Cows were monitored during the postpartum to diagnose diseases and changes in BCS. The cows were divided into those with no disease and those with one or more diseases. The incidence of diseases, pregnancy rate (PR) at the first postpartum service, number of days open, percentage of pregnant cows at 150d, and gestational loss were analyzed. No difference was observed (...) between healthy and diseased cows in the PR at the first service or for days open. Diseased cows showed greater gestational loss and the percentage of pregnant cows at 150d postpartum was higher among healthy cows. Cows with a BCS ≥ 3.0 at prepartum had a lower PR at the first service and shorter days open. In conclusion, dairy herds affected by diseases during postpartum show impaired reproductive efficiency Keywords: dairy cattle, postpartum diseases, transition period, pregnancy rate. (shrink)

It is often noted that if someone has a tertiary degree in a scientific field who promotes an anti-science-establishment, antiscience, or pseudoscience agenda, they are very often engineers, dentists, surgeons or medical practitioners. While this does not mean that all members of these professions or disciplines are antiscience, of course, the higher frequency of pseudoscience among them is indicative of what I call the “deductivist mindset” regarding science itself. Opposing this is the “inductivist mindset”, a view that has been deprecated (...) among philosophers since Popper. Roughly, the deductivist mindset tends to see problems as questions that can be resolved by deduction from known theory or principle, while the inductivist sees problems as questions to be resolved by discovery. These form cognitive poles, which nobody ever purely instantiates, but a cognitive tendency to be a deductivist may explain why some people find results that conflict with prior theoretical commitments, whether scientific or not, unacceptable. The deductivist tends to be a cognitive conservative, where the inductivist tends to be a cognitive progressive, and the conservative mindset leads to a ressentiment about modernism, and hence about certain scientific results, more often, or so I shall argue in this chapter. (shrink)

The paper deals with a comprehensive methodology for the identification of slow learning students for remedial teaching and skill development. The slow learners face difficulties in the understanding of concepts and require more time and diversified teaching techniques. The approach presented here focuses on early and accurate identification of slow learners by modern technology, data analysis, and personalized learning plans. A quiz-based classifier combined with a 3D interactive model allows for the student to receive personally tailored recommendations and study material. (...) There is also a visual dashboard that can be used by the teacher for monitoring the performance and engagement of the students and thereby offering further support. The proposed system will improve academic performance, foster innovative teaching methods, and enable equitable access to education for all its students. (shrink)

It is our pleasure to write this first post in 2025 about the last article in 2024, with the hope for a more fruitful year of work for the better of our shared environmental concerns.

As of January 20, 2024, we recorded 168 documents (including articles, books, proceedings, and lectures) that have used Bayesian Mindsponge Framework (BMF) analytics/Mindsponge Theory (MT) substantively. This number has increased by 31.25% since the previous record on July 9, 2023. The documents have been authored or co-authored by 330 researchers from 215 institutions in 38 countries, of which 67% come from developing/emerging countries. Among 330 users, 32 are registered members of the SM3D Portal.

This volume provides a broad overview of issues in the philosophy of behavioral biology, covering four main themes: genetic, developmental, evolutionary, and neurobiological explanations of behavior. It is both interdisciplinary and empirically informed in its approach, addressing philosophical issues that arise from recent scientific findings in biological research on human and non-human animal behavior. Accordingly, it includes papers by professional philosophers and philosophers of science, as well as practicing scientists. Much of the work in this volume builds on presentations given (...) at the international conference, “Biological Explanations of Behavior: Philosophical Perspectives”, held in 2008 at the Leibniz Universität Hannover in Germany. The volume is intended to be of interest to a broad range of audiences, which includes philosophers (e.g., philosophers of mind, philosophers of biology, and metaethicists), as well as practicing scientists, such as biologists or psychologists whose interests relate to biological explanations of behavior. (shrink)

This project presents a dynamic wireless charging system for electric vehicles (EVs) with the Arduino Uno microcontroller as the main controller. The system features a transmitter (TX) coil embedded in roadway infrastructure and a receiver (RX) coil installed in the vehicle unit, enabling continuous charging while in motion. Energy is wirelessly transferred from the TX coil to the RX coil through electromagnetic induction. The Arduino Uno microcontroller serves as the central control unit, managing power transmission, monitoring charging status, and regulating (...) voltage levels. Integrated Internet of Things (IoT) sensors enable real-time data collection on charging parameters and battery health, enhancing efficiency and safety.. The system is achieves 67% efficiency level while providing safety, reliability, low maintenance and long product life. (shrink)

In this day and age, blood donations are a common occurrence, with millions taking the charge to provide blood to an extreme amount, even more so in India. Yet, over 12000 people die everyday due to a tardy blood donation or lack thereof. This might seem quite negligible in front of the absolutely over abundant population of India as a whole, but is still appalling when seen at a monthly or a yearly rate. Sure, there are several websites that facilitate (...) contact for blood donation and act as the middle ground for donors and patients alike, but they do not take in one of the most valuable sanguinary assets India has, Students. The aim of the website we are making using elements from Full Stack Web development. is to connect a large number of students across various schools and potentially various institutions to act as the bridge to furnish patients with the blood that befits their transfusion parameters. This reduces the overall period of time it takes to donate blood and can be a great implementation of time reduction to help those who are in a state of emergency , mostly during cases of copious blood loss and patients with severe hematological deficiencies. (shrink)

Abstract. The Hot Metal, Steel Ladle, and Scrap Pot Tracking project aims to develop an automated system to track ladles and scrap pots in real time at Steel Melting Shops (SMS) 1 and 2. This system utilizes YOLO (You Only Look Once) for object detection to capture ladle numbers and their locations accurately. The project enhances operational efficiency by reducing manual errors, improving safety through real-time monitoring, and optimizing ladle usage.

Security is a major concern on the internet, and Distributed Denial of Service (DDoS) attacks are a significant threat. These attacks overwhelm network resources and use up bandwidth, making it difficult for legitimate users to access services. One challenge in dealing with DDoS attacks is telling the difference between a sudden increase in traffic from real users, known as a "flash crowd," and actual attack traffic. This paper looks at different existing solutions for detecting DDoS attacks and explains how these (...) methods help reduce their impact. As more businesses move to cloud-based services, the risk of DDoS attacks has increased. These attacks can seriously disrupt organizations by overloading their network resources and making important services unavailable. Traditional defense methods, like firewalls, are no longer enough to handle the scale and complexity of modern DDoS attacks. To address this issue, We propose a new approach that utilizes the implementation of deep learning models to detect DDoS attacks in cloud environments. Our method uses various features from network traffic to train machine learning algorithms, aiming to effectively identify DDoS attacks in real-time with high accuracy. (shrink)

Facial recognition is a computer vision task that involves identifying or verifying individuals based on their facial features. It has widespread applications in security, authentication, and human-computer interaction. Supervised learning techniques have become the foundation for facial recognition systems, as they enable the model to learn from labeled data to recognize patterns and make predictions. This paper explores the use of supervised learning algorithms, such as Support Vector Machines (SVM), Convolutional Neural Networks (CNN), and k-Nearest Neighbors (k-NN), for facial recognition (...) tasks. We will demonstrate how these algorithms can be used to accurately identify individuals by learning from training datasets with labeled facial images. (shrink)

Emotion recognition from speech is an important aspect of human-computer interaction (HCI) systems, allowing machines to better understand human emotions and respond accordingly. This paper explores the use of machine learning techniques to recognize emotions in speech signals. We leverage the librosa library for feature extraction from audio files and train multiple machine learning models, including Support Vector Machine (SVM), Random Forest (RF), and k-Nearest Neighbors (k-NN), to classify speech emotions. The aim is to create an automated system capable of (...) identifying emotions like happy, sad, angry, neutral, and surprised from speech audio. (shrink)