Artificial Intelligence, and the cognitivist view of mind on which it is based, represent the last stage of the rationalist tradition in philosophy. This tradition begins when Socrates assumes that intelligence is based on principles and when Plato adds the requirement that these principles must be strict rules, not based on taken-for-granted background understanding. This philosophical position, refined by Hobbes, Descartes and Leibniz, is finally converted into a research program by Herbert Simon and Allen Newell. That research program (...) is now in trouble, so we must return to its source and question Socrates' assumption that intelligence consists in solving problems by following rules, and that one acquires the necessary rules by abstracting them from specific cases. A phenomenological description of skill acquisition suggests that the acquisition of expertise moves in just the opposite direction: from abstract rules to particular cases. This description of expertise accounts for the difficulties that have confronted AI for the last decade. (shrink)

Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toyproblems, such as cryptarithmetic, games, such as checker or chess, and formal problems, such as logic or geometry theorem-proving. These problems are well-defined, roughly speaking, at least in comparison to real-life problems, and as such have played the role of Drosophila in early AI. In this chapter I will investigate the origins of heuristic programming and the shift to more knowledge-based and (...) real-life problem solving. (shrink)

Heuristic programming was the first area in which AI methods were tested. The favourite case-studies were fairly simple toy- problems, such as cryptarithmetic, games, such as checker or chess, and formal problems, such as logic or geometry theorem-proving. These problems are well-defined, roughly speaking, at least in comparison to real-life problems, and as such have played the role of Drosophila in early AI. In this chapter I will investigate the origins of heuristic programming and the shift to more knowledge-based (...) and real-life problem solving. (shrink)

Complex frameworks for defining programming languages aim to generate various tools (e.g. interpreters, symbolic execution engines, deductive verifiers, etc.) using only the formal definition of a language. When used at an industrial scale, these tools are constantly updated, and at the same time, it is required to be trustworthy. Ensuring the correctness of such a framework is practically impossible. A solution is to generate proof objects as correctness artefacts that can be checked by an external trusted checker. A logic (...) suitable for developing such frameworks is matching logic. K framework is a canonical example having matching logic-based foundation. Since the (symbolic) configurations of the programs are represented by matching logic patterns, the algorithms computing the dynamics of these configurations can be seen as pattern transformers and a proof object should be generated for the relationship between these patterns. In this paper, we show that conjunctions and disjunctions of patterns, produced by semantics or analysis rules, can be safely normalized using unification and antiunification algorithms. We also provide a prototype implementation of our proof object generation technique and a checker for certifying the generated objects. (shrink)

This paper is concerned with decision proceedures for the 0-valued ukasiewicz logics,. It is shown how linear algebra can be used to construct an automated theorem checker. Two decision proceedures are described which depend on a linear programming package. An algorithm is given for the verification of consequence relations in, and a connection is made between theorem checking in two-valued logic and theorem checking in which implies that determing of a -free formula whether it takes the value one is (...) NP-complete problem. (shrink)

Correct Grammar is an easy to use, powerful and inexpensive grammar checker suitable for IBM personal computers and compatibles. It installs in minutes, is readily customized, and is designed to work with all major word processor programs such as WordPerfect, WordStar and Microsoft Works. It will also process ASCII files. I highly recommend Correct Grammar. It is a fine program.

Can we acquire apriori knowledge of mathematical facts from the outputs of computer programs? People like Burge have argued (correctly in our opinion) that, for example, Appel and Haken acquired apriori knowledge of the Four Color Theorem from their computer program insofar as their program simply automated human forms of mathematical reasoning. However, unlike such programs, we argue that the opacity of modern LLMs and DNNs creates obstacles in obtaining apriori mathematical knowledge from them in similar ways. We (...) claim though that if a proof-checker automating human forms of proof-checking is attached to such machines, then we can obtain apriori mathematical knowledge from them after all, even though the original machines are entirely opaque to us and the proofs they output may not, themselves, be human-surveyable. (shrink)

Elizabeth Anderson exalts the transition from the aristocratic to the modern ethic of debt as one of the most significant cultural achievements of capitalism. Whereas the debitor was once forced to compromise his liberty, dignity, and equality, today the rights and freedoms of insolvents are legally protected, and disadvantaged members of the community can readily obtain credit without personal supplication. Anderson’s intuition was, until recently, widely shared. Then came the financial crisis of 2007-08 and the ensuing global recession, triggered by (...) mass defaults among “sub-prime” borrowers. Many had entered the mortgage market with no proof of income, no assets behind them, no down-payment, a chequered credit history, and a generally reduced repayment capacity. Suddenly a flurry of criticism was unleashed against the lowering of credit standards and the government programs which pressured lenders to service the poor. My aim in this paper is not to assess the democratization of credit from the point of view of economic efficiency or political prudence, but rather to provide a much needed ethical appraisal. Any number of reasons might be advanced for why a particular government policy is morally objectionable. I will concentrate on the least controversial reason conceivable: the policy violates the rights of citizens. Whether this is true of government-driven credit-democratization - specifically, whether it violates the rights of the lenders compelled to act as agents of the policy, the rights of the third parties exposed to the risks associated with the expansion of credit markets, or both – is the question that I take up here. (shrink)

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, (...) deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...) Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

Doctoral programs at U.S. universities play a critical role in the development of human resources both in the United States and abroad. This volume reports the results of an extensive study of U.S. research-doctorate programs in five broad fields: physical sciences and mathematics, engineering, social and behavioral sciences, biological sciences, and the humanities. Research-Doctorate Programs in the United States documents changes that have taken place in the size, structure, and quality of doctoral education since the widely used 1982 editions. This (...) update provides selected information on nearly 4,000 doctoral programs in 41 subdisciplines at 274 doctorate-granting institutions. This volume also reports the results of the National Survey of Graduate Faculty, which polled a sample of faculty for their views on the scholarly quality of program faculty and the effectiveness of doctoral programs in preparing research scholars/scientists. This much-anticipated update of such an essential reference will be useful to education administrators, university faculty, and students seeking authoritative information on doctoral programs. (shrink)

American distance running legend Steve Prefontaine – ‘Pre’ – claimed that he was an artist and that his races were works of art. In this article, I examine and defend Pre’s claims. Using Robert Stecker’s definition of art as a guide, I argue that a race can be a work of art – specifically, performance art. I then argue that Pre’s 3,000 m American record race at the 1972 Bislett Games in Oslo, Norway, and his 5,000 m final at the (...) 1972 Munich Olympics illustrate his view of himself as an artist and are works of art in Stecker’s sense of achieving excellence in fulfilling an artistic function. (shrink)

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction by (...) one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

I consider statistical criteria of algorithmic fairness from the perspective of the _ideals_ of fairness to which these criteria are committed. I distinguish and describe three theoretical roles such ideals might play. The usefulness of this program is illustrated by taking Base Rate Tracking and its ratio variant as a case study. I identify and compare the ideals of these two criteria, then consider them in each of the aforementioned three roles for ideals. This ideals program may present (...) a way forward in the normative evaluation of candidate statistical criteria of algorithmic fairness. (shrink)

I introduce some distinctions concerning depiction and show that the checker-shadow phenomenon is not an illusion of the kind it is claimed to be. This might also help to think more clearly about other ‘illusory’ phenomena.

Background: The school meals program has multiple objectives of education, nutrition, and value transfer. To ensure achieving the goal, total quality management (TQM) is implemented in the school meals program. Supply chain issues pose significant challenges to TQM implementation in the program execution. Aim: This study aims to examine national and international capacities in supply chain management by analyzing the variety of food items delivered through the school meals program. Methods: The Bayesian Mindsponge Framework, combining the (...) reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that the method of obtaining supplies, whether through in-kind donations from local, regional, national sources, or national food reserves and purchasing from neighboring or distant countries, had a significant positive association with the variety of food items included in school meals or snacks. Conversely, obtaining supplies in-kind from neighboring or distant countries had a significant negative association with the food variety. Additionally, purchasing supplies from local, regional, or national food reserves had an unclear association with the food variety. Conclusions: Findings underscore the importance of supporting the World Bank and World Food Programme’s recommendation to rely more on local resources and capacities. Enhancing supply chain management at the national level is crucial for developing a long-term and sustainable school meals program. (shrink)

"An important contribution to contemporary jurisprudential debate and to legal thought more generally, Just Interpretations is far ahead of currently available work."--Peter Goodrich, author of Oedipus Lex "I was struck repeatedly by the clarity of expression throughout the book. Rosenfeld's description and criticism of the recent work of leading thinkers distinguishes his work within the legal theory genre. Furthermore, his own theory is quite original and provocative."--Aviam Soifer, author of Law and the Company We Keep.

We review some of the work already done around the notion of phenomenal intentionality and propose a way of turning this body of work into a self-conscious research program for understanding intentionality.

Background: Moral distress has been experienced by about 67% of critical care nurses which causes many complications such as job dissatisfaction, loss of capacity for caring, and turnover for nurses and poor quality of care for patients as well as health system. Objective: The purpose of this research was to provide a moral empowerment program to nursing directors, school of nursing, and the heads of hospitals to reduce moral distress in nurses and improve the quality of care. Methods: This (...) research was a randomized clinical trial conducted in two groups and three stages before, after 2 weeks, and 1 month after the intervention in order to evaluate the changes in moral distress of 60 nurses working in adults’ intensive care unit wards of Al-Zahra teaching hospital of Isfahan University of Medical Sciences. Data were collected using the standard Hamric’s Moral Distress Scale (2012) and analyzed using SPSS software version 22. Ethical considerations: This study was approved by the Ethics Committee of Isfahan University of Medical Sciences, Isfahan, Iran. Results: Results showed that in the three stages, there was no significant difference between the mean score of moral distress before (4.12 ± 2.70), 2 weeks after (4.23 ± 2.70), and 1 month after the intervention (4.04 ± 2.54) in the control group (p > 0.05), while in the experimental group, there was a significant difference between the three stages (p 0.05). However, this score significantly decreased 1 month after the intervention (2.64 ± 2.23; p < 0.05). Conclusion: In this research, it was observed that moral empowerment program has been effective in reducing the mean score of moral distress. Therefore, it is recommended that nursing managers and hospital directors implement empowerment program, in order to reduce the moral distress of nurses and improve the quality of care. (shrink)

In this paper I argue that epistemically normative claims regarding what one is permitted or required to believe are sometimes true in virtue of what we owe one another as social creatures. I do not here pursue a reduction of these epistemically normative claims to claims asserting one or another interpersonal obligation, though I highlight some resources for those who would pursue such a reduction.

In these essays the minimalist approach to linguistic theory is formulated and progressively developed.

Objective. To determine the effectiveness of the "I take care of myself" program for self-care in schoolchildren. Methods. Quasi-experimental study with a single pre-post test group, with the participation of 120 sixth grade students of the primary level of the Educational Institution of San Pedro - Huánuco, Peru 2022, in which the "I take care of myself" Program was applied. The data collection instrument was the self-care practices scale. In the hypothesis test, the Wilcoxon statistical test was used. (...) Results. It was found that the average score obtained in self-care before the application of the "I take care of myself" program was 3.7, and after this it was 4.0, finding significant differences in the pretest and posttest with p≤0.000. Likewise, there were significant differences in the dimensions of self-care such as practices related to universal self-care requirements, practices related to development self-care requirements, and practices related to self-care requirements in case of health deviation, all with p≤0.05. Conclusions. There are significant differences in self-care after applying the "I take care of myself" program in schoolchildren of the Educational Institution of San Pedro - Huánuco. (shrink)

The four tenets of the Strong Program are compatible with a scientific realism founded on an externalist epistemology. Such an epistemology allows that appropriate norms of rationality may differ from time to time, and from community to community, and thereby enables the realist to embrace strong forms of the ‘symmetry principle’. It also suggests a fruitful collaborative research program in externalist social epistemology. Some of what the Edinburgh School says about truth can also be accepted. But the realist (...) should reject the School's argument for the claim that there is no distinction between being rational and being locally accepted as rational, which seems to rest on a kind of epistemological internalism. Introducing the Strong Program Realism and the four tenets A stronger reading of symmetry Conflict and cooperation A note on discovery and justification Relativism and realism Truth Points of contention: the restriction of explanatory contrasts Points of contention: standards of rationality. (shrink)

This paper examines the availability and adequacy of schools’ infrastructural facilities for implementation of the Universal Basic Education program in Nigeria. Adopting the ex post facto design, the researchers used existing school data on physical facilities, including a survey of key stakeholders in the education sector. Data analysed revealed inadequacy of physical facilities for effective implementation of the UBE program. It was accordingly recommended that government at the national, state and local levels show better commitment to the implementation (...) of the Universal Basic Education program. (shrink)

Alexander Miller has recently considered an ingenious extension of Frank Jackson and Philip Pettit's account of 'program explanation' as a way of defending non-reductive naturalist versions of moral realism against Harman's explanatory criticism. Despite the ingenuity of this extension, Miller concludes that program explanation cannot help such moral realists in their attempt to defend moral properties. Specifically, he argues that such moral program explanations are dispensable from an epistemically unlimited point of view. I show that Miller's argument (...) for this negative claim is inadequate, and that he has, in spite of himself, identified a promising defence of moral realism. (shrink)

Efforts to professionalize the field of bioethics have led to the development of the Healthcare Ethics Consultant-Certified (HEC-C) Program intended to credential practicing healthcare ethics consultants (HCECs). Our team of professional ethicists participated in the inaugural process to support the professionalization efforts and inform our views on the value of this credential from the perspective of ethics consultants. In this paper, we explore the history that has led to this certification process, and evaluate the ability of the HEC-C (...) class='Hi'>Program to meet the goals it has set forth for HCECs. We describe the benefits and weaknesses of the program and offer constructive feedback on how the process might be strengthened, as well as share our team’s experience in preparing for the exam. (shrink)

The advanced donation program was proposed in 2014 to allow an individual to donate a kidney in order to provide a voucher for a kidney in the future for a particular loved one. In this article, we explore the logistical and ethical issues that such a program raises. We argue that such a program is ethical in principle but there are many logistical issues that need to be addressed to ensure that the actual program is fair (...) to both those who do and do not participate in this program. (shrink)

The current study tries to verify the effectiveness of a training program in increasing Crowdfunding awareness. The sample was (50) students in CIS, who were purposively selected and distributed equally into a treatment and control group. The researchers designed the study tools (a training program to increase Crowdfunding awareness). The study findings revealed the existence of statistically significant differences between the treatment and control groups in favor of the former. Furthermore, there were statistically significant differences between the pre (...) and the post measures of the treatment group in favor of the post measures. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study for Crowdfunding training program in Arabic world. (shrink)

Three ethics program components, a code of ethics, ethics training initiatives and ethics-oriented performance appraisal content, were examined for their relationship to ethical intent using a sample of 525 employees from the Spanish financial services industry. As expected, all three components contributed to the prediction of ethical intent. Importantly, clusters of employees who reported experiencing distinct combinations of the program components were identified and compared for their level of ethical intent. Employees who perceived all three components to be (...) strongly implemented reported significantly higher levels of ethical intent relative to those who viewed the components as either all weakly implemented or not present. Combinations including training initiatives plus one other element had a similar impact to the fully implemented approach. Contrary to expectations, ethics-oriented performance appraisal content did not relate more strongly to ethical intent than codes of ethics. (shrink)

After a brief flirtation with logicism around 1917, David Hilbertproposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborators such as Paul Bernays andWilhelm Ackermann, throughout the 1920s. The two technical pillars of the project were the development of axiomatic systems for everstronger and more comprehensive areas of mathematics, and finitisticproofs of consistency of these systems. Early advances in these areaswere made by Hilbert (and Bernays) in a series of lecture courses (...) atthe University of Göttingen between 1917 and 1923, and notably in Ackermann's dissertation of 1924. The main innovation was theinvention of the -calculus, on which Hilbert's axiom systemswere based, and the development of the -substitution methodas a basis for consistency proofs. The paper traces the developmentof the ``simultaneous development of logic and mathematics'' throughthe -notation and provides an analysis of Ackermann'sconsistency proofs for primitive recursive arithmetic and for thefirst comprehensive mathematical system, the latter using thesubstitution method. It is striking that these proofs use transfiniteinduction not dissimilar to that used in Gentzen's later consistencyproof as well as non-primitive recursive definitions, and that thesemethods were accepted as finitistic at the time. (shrink)

The Hilbert program was actually a specific approach for proving consistency, a kind of constructive model theory. Quantifiers were supposed to be replaced by ε-terms. εxA(x) was supposed to denote a witness to ∃xA(x), or something arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system S, each ε-term can be replaced by a numeral, making each line provable and true. This implies that S must not only be consistent, but also 1-consistent. Here (...) we show that if the result is supposed to be provable within S, a statement about all Pi-0-2 statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles Gödel's but arises naturally out of the Hilbert program itself. (shrink)

In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s program was whether it was possible “to (...) justify the use of nonsignificant sentences entirely within the framework of significant sentences”. This question was answered negatively by Halbach & Horsten [10] but we argue that under a more careful interpretation the question may receive a positive answer. To this end, we propose to shift attention from $\mathrm {KF}$ -provably true sentences to $\mathrm {KF}$ -provably true inferences, that is, we shall identify the significant part of $\mathrm {KF}$ with the set of pairs $\langle {\Gamma, \Delta }\rangle $, such that $\mathrm {KF}$ proves that if all members of $\Gamma $ are true, at least one member of $\Delta $ is true. In way of addressing Reinhardt’s question we show that the provably true inferences of suitable $\mathrm {KF}$ -like theories coincide with the provable sequents of matching versions of the theory Partial Kripke–Feferman ( $\mathrm {PKF}$ ). (shrink)

In this article we report the findings of a randomised control clinical trial that assessed the impact of a Philosophy for Children program and replicated a previous study conducted in Scotland by Topping and Trickey. A Cognitive Abilities Test was administered as a pretest and a posttest to randomly selected experimental groups and control groups. The students in the experimental group engaged in philosophy lessons in a setting of structured, collaborative inquiry in their language arts classes for one hour (...) per week for a number of weeks. The control group received the standard language arts curriculum in that one hour. The study found that the seventh grade students who had experienced the P4C program showed significant gains relative to those in the seventh grade control group at a high level of statistical significance, but the eighth grade students in the experimental group did not show such gains over the eighth grade control group. It was discovered that the seventh grade teachers started the program early in the school year and continued it for a period of 22 to 26 weeks, while the eighth grade teachers started much later and used the program for only 4 to 10 weeks. Our findings suggest that the P4C program must involve students in activities for a significant period of time before the program shows results, but that a meaningful impact on students’ cognitive abilities can be achieved in about 24 weeks of lessons, less than half the time evidenced by the study by Topping and Trickey. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without (...) Numbers (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

In many texts on evolution the reader will find a characteristic depiction of inheritance and evolution, one showing the generations of an evolving population linked only by a causal flow from genotype to genotype. On this view, the genotype of each organism in this population plays a dual role as both the motor of individual development and as the sole causal channel across the generations. This picture is known to be literally false. In many species, parents exert direct causal influence (...) on their offspring, and some of those influences cause the offspring to resemble the parent. For example, a butterfly that lays her eggs on the same plant host on which she hatched thereby exerts a causal influence on her offspring, and one apt to cause them to resemble her more than they would, had she chosen a plant of a different species. None of this is at all controversial, but it poses a puzzle. If the “Weissmanian” conception is literally false, why is it seen as a perspicacious representation of evolution? (shrink)