It is argued that “human-centredness” will be an important characteristic of systems that learn tasks from human users, as the difficulties in inductive inference rule out learning without human assistance. The aim of “programming by example” is to create systems that learn how to perform tasks from their human users by being shown examples of what is to be done. Just as the user creates a learning environment for the system, so the system provides a teaching opportunity for (...) the user, and emphasis is placed as much on facilitating successful teaching as on incorporating techniques of machine learning. If systems can “learn” repetitive tasks, their users will have the power to decide for themselves which parts of their jobs should be automated, and teach the system how to do them — reducing their dependence on intermediaries such as system designers and programmers.This paper presents principles for programming by example derived from experience in creating four prototype learners: for technical drawing, text editing, office tasks, and robot assembly. A teaching metaphor (a) enables the user to demonstrate a task by performing it manually, (b) helps to explain the learner's limited capabilities in terms of a persona, and (c) allows users to attribute intentionality. Tasks are represented procedurally, and augmented with constraints. Suitable mechanisms for attention focusing are necessary in order to control inductive search. Hidden features of a task should be made explicit so that the learner need not embark on the huge search entailed by hypothesizing missing steps. (shrink)

After more than 70 years of debate about the difficulties that one encounters in working out a coherent view of physical processes based on the standard formulation of quantum mechanics, there is now a widespread belief that such difficulties do not arise from philosophical prejudices but represent precise mathematical and physical challenges which call for a physical solution. As J.S. Bell appropriately stated1 “the way ahead is unromantic in that it requires mathematical work by theoretical physicists, rather than interpretations by (...) philosophers”. It is also encouraging, for those who share this position, to see that now there are explicit proposals indicating possible ways out in which the process of measurement is analysed not in terms of vague assertions or resorting to ill-defined and/or contradictory dualistic evolution processes but in terms of more fundamental physical concepts. In particular, approaches of this kind, which S. Goldstein3 has appropriately denoted as “observer-free formulations of quantum mechanics”, can be grouped in three categories: the pilot-wave theories: the decoherent histories and the spontaneous localization models. (shrink)

Background Human Papilloma Virus vaccine was introduced in Bangladesh through the arrangement of a demonstration project in Gazipur district in 2016, targeting grade five female students and non-school going girls. HPV vaccination is expected to be eventually included in the nationwide immunization program if the demonstration project is successful. However, introduction and implementation of such a vaccination program raises various ethical concerns. This review paper illustrates a step by step assessment of the ethical concerns surrounding the HPV vaccination implementation in (...) Bangladesh considering specific elements in administering and conducting the program as well as the intended results. Policy-makers, vaccine implementers, vaccine recipients, and an ethics specialist in Bangladesh were interviewed. Electronic database and websites have also been reviewed for relevant published literature and government statements. Main body of the abstract This program imparted inadequate knowledge about HPV and cervical cancer to the recipients and participants. There was lack of autonomous and informed choice of the girls and their parents about taking the vaccine. The program did not have any follow-up plan for the adverse effects in the long run. The impact of a female-only strategy in the larger societal context was overlooked. There was lack of awareness among the implementers about safeguarding the ethical issues pertaining to HPV vaccination. Conclusion Adolescent health education imparted in the scope of the vaccination program should contain adequate information about HPV, its mode of transmission, risk factors along with the importance of secondary prevention despite primary prevention. Adolescent boys should be given HPV related health education as well. The right of making informed choice should be appreciated and respected. More ethical discussion and debate should be done among the public health professionals of Bangladesh in order to increase awareness about ethical issues related to human health. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Guide to Personal Knowledge: The Philosophy of Michael Polanyi: Tacit Knowledge, Emergence and the Fiduciary Program by Dániel Paksi and Mihály HéderAlessio TartaroPAKSI, Dániel and Mihály Héder. Guide to Personal Knowledge: The Philosophy of Michael Polanyi: Tacit Knowledge, Emergence and the Fiduciary Program. Wilmington, Del.: Vernon Press, 2022. xxiii + 209 pp. Cloth, $65.00Famous for the concept of "tacit knowledge," Polanyi is a figure who looms over twentieth-century (...) philosophy without ever establishing himself as one of its major protagonists. Yet, Polanyi tackled central problems in twentieth-century Western philosophy and offered [End Page 358] insightful and original analyses thereof. In Personal Knowledge, Polanyi articulates ideas about metaphysics, mathematics, evolution, philosophy and sociology of science, epistemology, philosophy of language, political theory, theology, and more. The richness of the contents, but also their deep unity, make Polanyi's work a unique piece in the philosophical landscape of his time, full of fruitful insights that are still relevant nowadays.Guide to Personal Knowledge, written by two of the leading experts on Polanyi's philosophy, deserves the merit of providing an accessible introduction to this complex work. The book is divided into thirteen chapters, each corresponding to the respective chapter of Personal Knowledge. In each chapter, Paksi and Héder clearly explain Polanyi's main ideas, presenting them in the same order as they appear in Personal Knowledge. The chapters are introduced by a "Goals of the chapter" section that provides a series of key points, where the authors summarize Polanyi's objectives in the corresponding chapter of Personal Knowledge.The Guide is interspersed with many direct quotations from Personal Knowledge that allow the reader to link the Guide to the original text. The use of figures and tables illuminates even the most complex concepts, such as "tacit integration" and the difference between "random and ordered systems." The Guide is enriched by twenty-five boxes that provide information on ideas, authors, and concepts directly or indirectly referenced by Polanyi in Personal Knowledge. These boxes are a valuable supplement. In some cases, they offer insight into contemporary events, theories, and scholars to which Polanyi alludes but that he does not elaborate on, for example, about the role of the Michelson-Morley experiments in Einstein's development of the theory of relativity. In other cases, boxes develop a comparison between Polanyi's ideas and related philosophical figures, such as Thomas Kuhn and Samuel Alexander. Thanks to the boxes, the reader gains a richer and more complete view of Polanyi's thought.In the preface, Paksi and Héder preliminarily introduce some key concepts for understanding Polanyi's work, including "objectivity," "trust" and "fiduciary program," "tacit knowledge," "intellectual passions," "deceptive substitution," "moral inversion," "operational principles," "logic of achievement," and "emergence." Their analysis always proves faithful to Polanyi's thought, and the authors show how these concepts are interrelated and constitute the pillars of Personal Knowledge's argumentative structure. Other equally crucial concepts in Polanyi's work, for example, "commitment," "indwelling," "tradition," "conviviality," "anthropogenesis," "ultrabiology," are not introduced in the preface, but they are explored in depth in the respective chapters.The thirteen chapters of the book recapitulate in detail the main thematic segments of Personal Knowledge. The critique of objectivism and positivist views of science is explained and analyzed in chapters 1 to 4. This critique is articulated on several levels. Polanyi first criticizes [End Page 359] objectivism because it attempts to remove the personal element from scientific knowledge in order to pursue ever higher degrees of formalism, neutrality, and impersonality. Polanyi asserts, however, that the personal element is irreducible, and then proceeds to demonstrate how it operates: in the evaluation of probability statements (chapter 2), in the appreciation of ordered patterns (chapter 3), and in the practice of skills (chapter 4). The ineliminability of the personal element shows that objectivism is false. Paksi and Héder brilliantly retrace the train of thought that leads Polanyi to this conclusion.The second theme that runs across Personal Knowledge concerns the tacit foundation of human intellectual abilities and, consequently, of science and society. In chapter 6, the authors follow Polanyi's disparate arguments about animal intelligence, human... (shrink)

In an effort to give a historical depth to recent discussions on taste in Aesthetic theory, this paper recovers a 19th century Hungarian paradigm. While taste first came to the forefront of philosophical reflection with the Enlightenment and especially with Kant, by now there is a growing literature on the survival of that discourse in the first half of the 19th century. The present author contributed to the research, which tried to show that in Hungary Count István Széchenyi, an influential (...) political reformer, can be regarded as an author, who for socio-political reasons relied heavily on the British discourse of politeness and taste. This paper aims to show that the same discourse lived on and was employed in the second half of the 19th century in socio-political debates. The example is Baron Zsigmond Kemény, an admirer and follower of Széchenyi, who transformed the discourse into a bourgeois political-educational program. (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)

On the example of the online game Akinator, the basic principles on which programs of this type are built are considered. Effective technics have been proposed by which artificial intelligence systems can build logical inferences that allow to identify an unknown subject from its description. To confirm the considered hypotheses, the terminological analysis of definition of the program "Akinator" offered by the author is carried out. Starting from the assumptions given by the author's definition, the article complements their definitions (...) presented by other researchers and analyzes their constituent theses. Finally, some proposals are made for the next steps in improving the program. The Akinator program, at one time, became one of the most famous online games using artificial intelligence. And although this was not directly stated, it was clear to the experts in the field of artificial intelligence that the program uses the techniques of expert systems and is built on inference rules. At the moment, expert systems have lost their positions in comparison with the direction of neural networks in the field of artificial intelligence, however, in the case considered in the article, we are talking about techniques using both directions – hybrid systems. Games for filling semantics interact with the user, expanding their semantic base and use certain strategies to achieve the best result. The playful form of such semantics filling programs is beneficial for researchers by involving a large number of players. The article examines the techniques used by the Akinator program, and also suggests possible modifications to it in the future. This study, first of all, focuses on how the knowledge base of the Akinator program is built, it consists of incomplete sets, which can be filled and adjusted as a result of further iterations of the program launches. It is important to note our assumption that the order of questions used by the program during the game plays a key role, because it determines its strategy. It was identified that the program is guided by the principles of nonmonotonic logic – the assumptions constructed by the program are not final and can be rejected by it during the game. The three main approaches to acquisite semantics proposed by Jakub Šimko and Mária Bieliková are considered, namely, expert work, crowdsourcing and machine learning. Paying attention to machine learning, the Akinator program using machine learning to build an effective strategy in the game presents a class of hybrid systems that combine the principles of two main areas in artificial intelligence programs – expert systems and neural networks. (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.

This article critically examines Kadri Vihvelin's proposal that to have free will is to have the ability to make choices on the basis of reasons, and to have this ability is to have a bundle of dispositions that can be exercised in more than one way. It is argued that partisans of Frankfurt examples can still make a powerful case for the view that being able to do otherwise, even on Vihvelin's compatibilist explication of ‘could have done otherwise,’ is not (...) required for moral responsibility. (shrink)

I. C. Jarvie interprets Popper's philosophy of science as a theory of the institution of science, explains how the social aspect of his theory developed, and suggests that an updated version of Popper's social theory should be used to study both scientific and nonscientific societies today. Although (1) Jarvie's description of the emergence of Popper's theory suffers because he takes no account Popper's research conducted before Logik der Forschung (1994), (2) his portrayal of Popper's framework overlooks important problems, and (3) (...) his program is by no means new, his essay throws light on the relation between Popper's philosophy of science, his social theory, and his social studies of science. (shrink)

Just as war can be viewed as continuation of diplomacy using other means, computational semantics is continuation of logical analysis of natural language by other means. For a long time, the tool of choice for this used to be Prolog. In our recent textbook we argue (and try to demonstrate by example) that lazy functional programming is a more appropriate tool. In the talk we will lay out a program for computational semantics, by linking computational semantics to the (...) general analysis of procedures for social interaction. The talk will give examples of how Haskell can be used to begin carrying out this program. (shrink)

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (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)

Recently, connectionist models have been developed that seem to exhibit structuresensitive cognitive capacities without executing a program. This paper examines one such model and argues that it does execute a program. The argument proceeds by showing that what is essential to running a program is preserving the functional structure of the program. It has generally been assumed that this can only be done by systems possessing a certain temporalcausal organization. However, counterfactualpreserving functional architecture can be instantiated in other ways, for (...) example geometrically, which are realizable by connectionist networks. (shrink)

arbitrary flowchart programs by introducing a new recursive function for each tag point. In the above example, one obtains: int = int1, p..... 1 h ), w...., y2r )_.

Recently, training programs in research ethics have been established to enhance individual and institutional capacity in research ethics in the developing world. However, commentators have expressed concern that the efforts of these training programs have placed ‘too great an emphasis on guidelines and research ethics review’, which will have limited effect on ensuring ethical conduct in research. What is needed instead is a culture of ethical conduct supported by national and institutional commitment to ethical practices that are reinforced by upstream (...) enabling conditions, which are in turn influenced by developmental conditions. Examining this more inclusive understanding of the determinants of ethical conduct enhances at once both an appreciation of the limitations of current efforts of training programs in research ethics and an understanding of what additional training elements are needed to enable trainees to facilitate national and institutional policy changes that enhance research practices. We apply this developmental model to a training program focused in Egypt to describe examples of such additional training activities. (shrink)

How to write a program in Haskell, and how to use the Haskell testing tools . . . QuickCheck is a tool written in the functional programming language Haskell that allows testing of specifications by means of randomly generated tests. QuickCheck is part of the standard Haskell library. Re-implementations of QuickCheck exist for many languages, including Ruby and Scheme. SmallCheck is a similar tool, different from QuickCheck in that it tests properties for all finitely many values of a datatype (...) up to some given depth, with progressive increase of depth. Haskell is a research language: many of the testing tools that were first developed for Haskell later find their way to other languages. These slides discuss QuickCheck (two versions), SmallCheck, and some work in progress. We end with some examples of Alloy specifications. (shrink)

This article generalises the refined A-translation method for extracting programs from classical proofs [U. Berger,W. Buchholz, H. Schwichtenberg, Refined program extraction from classical proofs, Annals of Pure and Applied Logic 114 3–25] to the scenario where additional assumptions such as choice principles are involved. In the case of choice principles, this is done by adding computational content to the ‘translated’ assumptions, an idea which goes back to [S. Berardi, M. Bezem, T. Coquand, On the computational content of the axiom of (...) choice, JSL 63 600–622] and has been further elaborated in [U. Berger, P. Oliva, Modified bar recursion and classical dependent choice, in: M. Baaz, S.D. Friedman, J. Kraijcek , Logic Colloquium ’01, in: Lecture Notes in Logic, vol. 20, Springer, Berlin, 2005, pp. 89–107]. We further investigate the applicability of this extension by means of a small but non-trivial example, and discuss the formalisation as well as some optimisations necessary in order to extract terminating programs. Both formalisation and term extraction have been implemented in the interactive proof assistant Minlog. (shrink)

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. the Bell states) and various (...) linear operators. As an example we sketch an analysis of the teleportation protocol. (shrink)

In this paper, we introduce the integer programming in neutrosophic environment, by considering coffecients of problem as a triangulare neutrosophic numbers. The degrees of acceptance, indeterminacy and rejection of objectives are simultaneously considered. The Neutrosophic Integer Programming Problem (NIP) is transformed into a crisp programming model, using truth membership (T), indeterminacy membership (I), and falsity membership (F) functions as well as single valued triangular neutrosophic numbers. To measure the efficiency of the model, we solved several numerical examples.

For our contemporaries, daily life is no longer the peaceful world of small concerns and minor questions. Everything becomes a problem when one can no longer explain the sense of life by reference to great ideological institutions (for example, the republican system of education) or great religious institutions. This is why it is more and more difficult to separate “intellectuals” who, alone, would have the capacity to put into question the foundations, from the “others” who would simply take the (...) world as it comes. All live in the same universe, crossed by radical questions that are posed the moment one undertakes the least action—be it as an educator, doctor, parent or activist. (shrink)

A pattern of interaction that arises again and again in programming is a 'handshake', in which two agents exchange data. The exchange is thought of as provision of a service. Each interaction is initiated by a specific agent--the client or Angel--and concluded by the other--the server or Demon. We present a category in which the objects--called interaction structures in the paper--serve as descriptions of services provided across such handshaken interfaces. The morphisms--called (general) simulations--model components that provide one such service, (...) relying on another. The morphisms are relations between the underlying sets of the interaction structures. The proof that a relation is a simulation can serve (in principle) as an executable program, whose specification is that it provides the service described by its domain, given an implementation of the service described by its codomain. This category is then shown to coincide with the subcategory of 'generated' basic topologies in Sambin's terminology, where a basic topology is given by a closure operator whose induced sup-lattice structure need not be distributive; and moreover, this operator is inductively generated from a basic cover relation. This coincidence provides topologists with a natural source of examples for non-distributive formal topology. It raises a number of questions of interest both for formal topology and programming. The extra structure needed to make such a basic topology into a real formal topology is then interpreted in the context of interaction structures. (shrink)

This trilogy deals with an epistemology of economics, arguing for a radical overturning of conventional analysis and providing an alternative to political economy and social sciences, based not on positivism, but on a normative and programming paradigm. Volume II builds on the work presented in Volume I to explore oppositions to the traditional and conventional teaching of economics, and presents testimonies that are favourable to a trend towards a programming approach, thereby giving substance to the epistemological 'overturning' of (...) conventional analysis. Such oppositions studied include the work of Ludvig von Mises and his theory of praxeology; Ian Tinbergen and Wassily Leontif's preference for 'planning' over 'forecasting science'; Bruno de Finetti and Daniel Bell's support for the base of 'utopia' in economics; the trend from the 'theory of planning' towards the 'methodology of planning, by Andreas Faludi; neoclassic curiosity about the 'multi-purposes approach' and 'non-economic commodities' as investigated by Walter Isard, as well as theories expressed by Herbert Simon, Robert Lucas, George Soros and Mark Blaug. Volume III takes studies further and presents a concrete and practical example of how to build a Planning Accounting Framework, as associated with Frisch's 'plan-frame', to demonstrate the extent to which decisions and negotiations can be routed in the social sciences. (shrink)

A free logic is one in which a singular term can fail to refer to an existent object, for example, `Vulcan' or `5/0'. This essay demonstrates the fruitfulness of a version of this non-classical logic of terms (negative free logic) by showing (1) how it can be used not only to repair a looming inconsistency in Quine's theory of predication, the most influential semantical theory in contemporary philosophical logic, but also (2) how Beeson, Farmer and Feferman, among others, use (...) it to provide a natural foundation for partial functions in programming languages. Vis à vis (2), the question is raised whether the Beeson-Farmer-Feferman approach is adequate to the treatment of partial functions in all programming languages. Gumb and the author say No, and suggest a way of handling the refractory cases by means of positive free logic. Finally, Antonelli's solution of a problem associated with the Gumb-Lambert proposal is mentioned. (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)

The ways of thinking of things associated with a few indexical expressions—e.g. ‘I’, ‘now’, ‘that’—have a special role in the causation of action. They have a role not had by, for example, the guise associated with the ‘Superman’, or the guise associated with any other proper name. So, at least, an orthodox view about action—often associated with the phrase ‘essential indexical’—has it. Recently, this view has come under scrutiny. An increasing number of philosophers think it is a myth. In (...) this paper, I do two things. First, I argue that the orthodox view really is an insight, not a myth. Second, I offer an explanation of why it is that the insight holds. (shrink)

Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (OY-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner’s dilemma tournaments, competitions between prisoner’s dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine contribution (...) to the population in the next generation. Oyun is freely available, runs on Windows, Mac, and Linux computers, and the process of creating new prisoner’s dilemma strategies is both easy to teach and easy for students to grasp. We illustrate with two interesting examples taken from actual use of Oyun in the classroom. (shrink)

In this paper, we have developed an Excel package to be utilized for calculating neutrosophic data and analyze them. The use of object oriented programming techniques and concepts as they may apply to the design and development a new framework to implement neutrosophic data operations, the c# programming language, NET Framework and Microsoft Visual Studio are used to implement the neutrosophic classes. We have used Excel as it is a powerful tool that is widely accepted and used for (...) statistical analysis. Figure 1 shows Class Diagram of the implemented package. Figure 2 presents a working example of the package interface calculating the complement. Our implemented Neutrosophic package can calculate Intersection, Union, and Complement of the nuetrosophic set. Figure 3 presents our neutrosphic package capability to draw figures of presented neutrosphic set. Figure 4 presents charting of Union operation calculation, and figure 5 Intersection Operation. nuetrosophic set are characterized by its efficiency as it takes into consideration the three data items: True, Intermediate, and False. (shrink)

The background to the development of proof theory since 1960 is contained in the article (MATHEMATICS, FOUNDATIONS OF), Vol. 5, pp. 208- 209. Brie y, Hilbert's program (H.P.), inaugurated in the 1920s, aimed to secure the foundations of mathematics by giving nitary consistency proofs of formal systems such as for number theory, analysis and set theory, in which informal mathematics can be represented directly. These systems are based on classical logic and implicitly or explicitly depend on the assumption of \completed (...) in nite" totalities. Consistency of a system S (containing a modicum of elementary number theory) is su cient to ensure that any nitary meaningful statement about the natural numbers which is provable in S is correct under the intended interpretation. Thus, in Hilbert's view, consistency of S would serve to eliminate the \completed in nite" in favor of the \potential in nite" and thus secure the body of mathematics represented in S. Hilbert established the subject of proof theory as a technical part of mathematical logic by means of which his program was to be carried out its methods will be described below. In 1931, Godel's second incompleteness theorem raised a prima facieobstacle to H.P. for the system Z of elementary number theory (also called Peano Arithmetic, and denoted below by PA) since all previously recognized forms of nitary reasoning could be formalized within it. In any case, Hilbert's program could not possibly succeed for any system such as set theory in which all nitary notions and reasoning could unquestionably be formalized. These obstacles led workers in proof theory to modify H.P. in two kinds of ways. The rst was to seek reductions of various formal systems S to more constructive systems S 0. The second was to shift the aims from foundational ones to more mathematical ones. Examples of 1 the former move are the reductions of PA to intuitionistic arithmetic HA, and Gentzen's consistency proof of PA by nitary reasoning coupled with quanti er-free trans nite induction up to the ordinal , TI( 0), both obtained in the 1930s (cf.. (shrink)

The development of modern evolutionary ethics began shortly after the publication of Charles Darwin's On the Origin of Species by Natural Selection. Early discussions were plagued by several problems. First, evolutionary ethical explanations were dependent on group‐selection accounts of social behavior (especially the explanation of altruism). Second, they seem to violate the philosophical principle that “ought” statements cannot be derived from “is” statements alone (values cannot be derivedfrom facts alone). Third, evolutionary ethics appeared to be biologically deterministic, deemed incompatible with (...) the free will required for ethics to be possible. Fourth, social policies based on evolutionary theory (for example, eugenics in the early part of this century) seemed patently unethical. Sociobiology (which coalesced as a field of study with Edward O. Wilson's Sociobiology: The New Synthesis, 1975) addressed several of these problems and provided a rich framework and a new impetus for evolutionary ethics. The lingering problems were the philosophical is‐ought barrier and biological determinism. After tracing the early and more recent development of evolutionary ethics, I argue that the remaining problems can be surmounted and an incipient evolutionary ethics can be defended. Thoroughgoing evolutionaryethics must await theoretical developments in neurobiology and cognitive science. (shrink)

Genetic Programming (GP) is a technique which permits automatic search for complex solutions using a computer. It goes beyond previous techniques in that it discovers the structure of those solutions. Previously, if one were trying to find an equation to fit a set of data, one would have had to provide the form of the equation (for example a fourth degree polynomial) and the computer could then find the appropriate parameters. By contrast, GP can experiment with a whole (...) range of different functional forms , building equations from a menu of functions, symbols and arithmetic operations. Thus GP can be seen as an essentially creative technique. It is good at finding novel solutions where not much is known about the form of the solution.. (shrink)

Why are there so many controversies in evolutionary psychology? Using a couple of concepts from philosophy of science, this paper argues that evolutionary psychology has not reached the stage of mature, normal science, since it does not currently have a unifying research program that guides individual scientists working in the discipline. The argument goes against claims made by certain proponents and opponents of evolutionary psychology, and it is supported by discussion of several examples. The paper notes that just because evolutionary (...) psychology has not reached the stage of normal science, the discipline is nevertheless a source of many progressive theoretical developments and interesting empirical discoveries. (shrink)

This article points out, descriptive moral psychology of human behavior patterns in the handling, in fact, from the outset exceed the boundaries of philosophy, and Cole tried to resort to ethics Fort formalism in order to avoid this problem in practice, can not be established. • Henry Rachael is further motivation for ethical behavior and the psychological concept of Cole Castle together. Although this is certainly an important contribution to the Fort Cole, but Cole Fort critical reflection on the lack (...) of methodology adopted only; secondly that the ideology behind their psychological factors; finally made ​​sense to remedy in the treatment program: to give up on life and psychological describe their condition or results of work. Authors propose a new proposal of psychology, first identified the relationship between psychologists and their research object, this object is, as the subject of people; secondly, from the possibility of speech. Description, either by himself or a third person described in the description, will be replaced by speech interaction. Authors proposed the concept of an interactive framework of doctrine, in which Cole and Rachael • Fort Henry's theory of language games can get a different position. This article attempts to demonstrate that the descriptive psychology, in its treatment of ethical problems, seems to have transgressed the boundary line against philosophy. This problematic situation cannot be circumvented by resorting to an ethical formalism-as L. Kohlberg does in his research program. Rachael M. Henry pushes one step forward to tie the psychodynamic aspect of moral behavior with Kohlberg's concept. The present author, all in affirming the important contribution of Kohlberg to psychology, indicates the insufficiency of a mere reflection of methods in Kohlberg's works. Then he dissects the ideologemes behind Kohlberg's psychology. At last he suggests a therapeutic proposal: the demand for describing psychic life, its conditions or effects, shall be dropped. The author proposes instead a program of new psychology that derives first from the relation of psychologist to his object, the human as subject; and second, from the possibilities of speech in communicative interaction. Description, whether made by oneself or by a third person, shall be substituted by speech interactions. These interactions are considered as successful when the partners in a discussion declare themselves to be understood. Within the framework of this interactionist concept, Kohlberg's and Rachael M. Henry 's theories could assume the status of various language-games. (shrink)

Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap’s four-valued logic, based on classical two-valued logic. Among other examples are those based on finite many-valued logics, and on probabilistic valued logic. A fixed point semantics is developed for logic programming, allowing any bilattice as the space of truth values. The mathematics is little more complex than in the classical two-valued setting, but the (...) result provides a natural semantics for distributed logic programs, including those involving confidence factors. The classical two-valued and the Kripke/Kleene three-valued semantics become special cases, since the logics involved are natural sublogics of Belnap’s logic, the logic given by the simplest bilattice. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Examples, Stories, and Subjects in Don Quixote and the HeptameronTimothy HamptonI developed a rare and perhaps unique taste. Plutarch became my favorite reading. The pleasure that I took in reading and rereading him endlessly cured me somewhat from reading novels. Ceaselessly occupied with Rome and Athens, living, so to speak, with their great men.... I thought myself Greek or Roman.Rousseau, ConfessionsThe first part of Don Quixote reaches its rambunctious (...) climax when the Don’s neighbors, the curate and the barber, lock him in an ox cart and triumphantly wheel him back to his village. At one point during the journey home Don Quixote engages in a long and famous debate with the Canon of Toledo about the dangers of reading. The Canon attempts to convince Don Quixote to renounce both knight errantry and his passion for romances of chivalry. He also makes the following recommendation:If you are still obsessed by books of adventures and chivalry, read the book of Judges in Holy Scripture, where you will find great and genuine exploits that are as heroic as they are true. Lusitania had its Viriathus, Rome had its Caesar, Carthage its Hannibal, Greece its Alexander, Castille its Count Fernán González, Valencia its Cid, Andalusia its Gonzalo Fernández, Extremadura its Diego García de Paredes, Jérez its Garci Pérez de Vargas, Toledo its Garcilaso, Seville its Manuel de Léon: their doughty deeds will entertain, instruct, delight and amaze the highest intellects that read them. This reading will truly be worthy of your own excellent mind, my dear [End Page 597] Don Quixote, from which you will rise learned in history, enamored of virtue, instructed in goodness, bettered in manners, valiant without rashness, bold without vacillation, and all this to the honor of God, your own profit, and the glory of La Mancha, from where, as I have learned, you derive your birth and origin. 1The Canon proposes to replace one literary genre with another; he condemns the reading of romance and promotes the reading of history. In the process he presumes to substitute one type of exemplarity with another—an exchange that links Don Quixote’s imagination to his status as a political subject. For he suggests that by occupying himself with real exemplars, instead of the perfect knights of romance, Don Quixote will not only turn from a loco back into a cuerdo. He will also be made into a good citizen. The Canon offers a model of reading that links historical truth, moral amelioration, and political subjectivity. The context of this recommendation—a program of reading offered by a representative of authority to a man in a cage—stresses the relationship between reading and imprisonment, between particular uses of language and particular forms of subjection. If he reads the right kinds of exemplary stories, the Canon infers, Don Quixote will lose his desire to practice the profession of chivalry. No longer will he have to be restrained. Instead, he will live within the bounds of reason, inside the borders of mediocritas. History, as Rousseau suggests in my epigraph to this essay, can cure one of the bad habits induced by too much fiction.Yet no less striking in the Canon’s speech is the way he articulates this connection between good citizenship and good books. He links his list of exemplars to a list of geographical and political spaces: Hannibal and Carthage, Garcilaso de la Vega and Toledo, and so on. By associating heroic figures with countries, he underscores the central importance of exemplary images in the definition of group identity. One of the characteristics of the example that makes it so important in early modern intellectual life is that exemplarity defines a point at which group identity interacts with individual identity. The promotion of heroic images is, to be sure, a central feature in techniques of self-fashioning, as defined in humanist discourse from the time of Petrarch. Yet it is no less important in the definition of grouphood, from Erasmus’s exhortation to Christians to imitate the exemplary virtue of Abraham, to the iconography of patriotism. If there is a crisis of the example, then one way... (shrink)

£ The existence of a model for a logic program is generally established by lattice-theoretic arguments. We present three examples to show that metric methods can often be used instead, generally in a direct, straightforward way. One example is a game program, which is not stratified or locally stratified, but which has a unique supported model whose existence is easily established using metric methods. The second example is a program without a unique supported model, but having a part (...) that is ‘well-behaved.’ The third example is a program in which one part depends on another, illustrating how modularity might be treated metrically. Finally we use ideas from this third example to prove a general result from [3]. The intention in presenting these examples and the theorem is to stimulate interest in.. (shrink)

Theories of different and independent types of intelligence constitute a Lakatosian research program, as they all claim that human intelligence has a multidimensional structure, consisting of independent cognitive abilities, and that human intelligence is not characterized by any general ability that is of greater practical importance, or that has greater predictive validity, than other, more specialized cognitive abilities. This paper argues that the independent intelligences research program is degenerating, since it has not led to novel, empirically corroborated predictions. However, despite (...) its flaws, the program provides an illustrative example of some of the philosophical problems that inhere in Lakatos’s so-called “methodology”. Indeed, Lakatos’s conceptions of the negative heuristic, the positive heuristic, and the relationship between scientific appraisal and advice are all vulnerable to objections. The upshot is that theories of independent intelligences indeed teach us more about philosophy of science than about the nature of human intelligence. (shrink)

This paper presents methods to visualize the structure of trees that occur in genetic programming. These methods allow for the inspection of structure of entire trees even though several thousands of nodes may be involved. The methods also scale to allow for the inspection of structure for entire populations and for complete trials even though millions of nodes may be involved. Examples are given that demonstrate how this new way of “seeing” can afford a potentially rich way of understanding (...) dynamics that underpin genetic programming. The examples indicate further studies that might be enabled by visualizing structure at these scales. (shrink)

Gatekeeping, or determining membership of your group, is crucial to science: the moniker ‘scientific’ is a stamp of epistemic quality or even authority. But gatekeeping in science is fraught with dangers. Gatekeepers must exclude bad science, science fraud and pseudoscience, while including the disagreeing viewpoints on which science thrives. This is a difficult tightrope, not least because gatekeeping is a human matter and can be influenced by biases such as groupthink. After spelling out these general tensions around gatekeeping in science, (...) we shed light on them with a case study from psychology. This concerns whether academic psychologists rightly or wrongly classify the applied-psychology framework of NLP (‘neuro-linguistic programming’) as unscientific and even pseudoscientific. This example of gatekeeping is particularly instructive because both the NLP community and the psychology community, we argue, make legitimate but also illegitimate moves. This case gives rise to several general insights about gatekeeping in science more generally. (shrink)

There are several systems which provide computer support to legal decisions. Perhaps the most significant ones, besides various computerised systems for administration, are information retrieval systems that locate statutes and documents. Other research projects, however, deal with legislation and adjudication, making it possible to use information techniques in making legal decisions. I wish to describe two decision-support programs and to link them to some theoretical findings of my former researches. What connects those programs is that they give some new information (...) for decisions on the basis of previous similar legal cases; both describe cases with the help of criteria and use diverse artificial intelligence methods for different types or criteria. The first of the two programs aims to support decisions of insurance specialists by assessing the measure of the compensation for immaterial damage. The result is given by the combination of a neural network, based upon previous judicial cases, and an expert system. The neural network gives the first assessment for the sum of compensation while the expert system refines the network's output. The other program can be used by judges and lawyers in the course of preparing a decision. Studying cases of road accidents, we find that fuzzy logic methods can help to approximate decisions actually given by judges. In this way, the process of decision making by courts and lawyers receives an additional piece of information, obtained by comparing the seriousness of the actual case with that of previous cases. (shrink)

In this paper, we have developed an Excel package to be utilized for calculating neutrosophic data and analyze them. The use of object oriented programming techniques and concepts as they may apply to the design and development a new framework to implement neutrosophic data operations, the c# programming language, NET Framework and Microsoft Visual Studio are used to implement the neutrosophic classes. We have used Excel as it is a powerful tool that is widely accepted and used for (...) statistical analysis. Figure 1 shows Class Diagram of the implemented package. Figure 2 presents a working example of the package interface calculating the complement. Our implemented Neutrosophic package can calculate Intersection, Union, and Complement of the neutrosophic set. Figure 3 presents our neutrosophic package capability to draw figures of presented neutrosophic set. Figure 4 presents charting of Union operation calculation, and figure 5 Intersection Operation. neutrosophic set are characterized by its efficiency as it takes into consideration the three data items: True, Intermediate, and False. -/- . (shrink)

Targeting high-risk populations for public health interventions is a classic tool of public health promotion programs. This practice becomes thornier when racial groups are identified as the at-risk populations. I present the particular ethical and epistemic challenges that arise when there are low-risk subpopulations within racial groups that have been identified as high-risk for a particular health concern. I focus on two examples. The black immigrant population does not have the same hypertension risk as US-born African Americans. Similarly, Finnish descendants (...) have a far lower rate of cystic fibrosis than other Caucasians. In both cases the exceptional nature of these subpopulations has been largely ignored by the designers of important public health efforts, including the recent US government dietary recommendations. I argue that amending the publicly-disseminated risk information to acknowledge these exceptions would be desirable for several reasons. First, recognizing low-risk subpopulations would allow more efficient use of limited resources. Communicating this valuable information to the subpopulations would also promote truth-telling. Finally, presenting a more nuanced empirically-supported representation of which groups are at known risk of diseases (not focusing on mere racial categories) would combat harmful biological race essentialist views held by the public. (shrink)

Existing ethical frameworks for public health provide insufficient guidance on how to evaluate the risks of public health programs that compromise the best clinical interests of present patients for the benefit of others. Given the relevant similarity of such programs to clinical research, we suggest that insights from the long‐standing debate about acceptable risk in clinical research can helpfully inform and guide the evaluation of risks posed by public health programs that compromise patients’ best clinical interests. We discuss how lessons (...) learned regarding the ethics of risk in one context can be fruitfully transferred to the other, using the example of a so‐called ‘rational antibiotic use’ guideline that limits antimicrobial prescribing in order to curb antimicrobial resistance. (shrink)

Purpose This paper aims to describe the popular trends and methods and ICT tools used for mapping and visualization of scientific domains as a research methodology which is attracting more and more interest from scientific information and science studies professionals. Science mapping or bibliometric mapping is a spatial representation of how disciplines, fields, specialties and individual documents or authors. The researchers analysed Bibexel, Pajek, VOSViewer, programmes used for processing and visualization of bibliographic and bibliometric data, within the framework of the (...) implementation of IRNet research network project and activities and presented several examples of visualisation. Design/methodology/approach Among the main indicators of research effectiveness – bibliometric indicators – is a powerful information tool to support the development of science. Practical research methods were prepared using the programs: Bibexel, program Pajek: graph editing and visualization of the graph structure of co-authorship – using the method of Kamada-Kawai and VOSviewer: a computer program for creating maps based on network data and for visualizing and exploring these maps. The main features of VOSviewer can be summarized for creating maps based on network data, visualizing and exploring maps. Findings The cited references and keywords are used to analyse in particular the intellectual base used by the research field or to analyse documents that cite the same references. Originality/value The authors of the paper, who are researchers of the European IRNet project and international research network, described and analysed certain bibliographic results of these activities using methods of mapping and visualization of scientific domains. (shrink)

Driven by recent accreditation mandates, a changing legal environment, and multiple high-visibility corporate ethics scandals, many business schools are responding to the growing movement within higher education to integrate ethics into the curricula. The literature suggests that the amount of attention given to ethics varies widely among institutions, and has not been coherently developed. Moreover, institutions have struggled to tie related projects and instruction to the overall concept of assurance of student learning. The purpose of this paper is to provide (...) a framework for institutions interested in creating an interdisciplinary business ethics program that combines critical success factors, assurance of student learning and continuous quality improvement. Using a nationally recognized business school’s ethics program, we provide an example of how our model can be applied at other institutions based on their own unique vision, mission and goals. (shrink)

Rousseau’s account of the “legislator” or “lawgiver” is commonly regarded as one of the most far-fetched, ominous, and baffling parts of his teaching in the Social Contract. In brief, Rousseau’s lawgiver seems to be a proto-totalitarian figure whose self-appointed mission is to found a political community by “denaturing” people at a single stroke and who may be a mere figment of Rousseau’s overheated imagination. Accordingly, this part of the Social Contract threatens to make a mockery of Rousseau’s claim to be (...) “taking men as they are and laws they can be,” as well as his claim that the combination of “ freedom and equality” is “the greatest good” in the civil state. Following and extending Rousseau’s own method of teaching by examples, however, this essay argues that Benjamin Franklin’s influence over the American republic—especially through his posthumous Autobiography—offers a prosaic example of the apparently fantastical phenomenon sketched by Rousseau. In fact, I argue that Franklin’s case corresponds more fully to Rousseau’s description than do any of Rousseau’s own examples (such as Moses, Lycurgus, and Numa) and that Franklin showed in practice what Rousseau suggested in theory: that a lawgiver can succeed without relying on coercion and without undercutting the equality that underlies a just society. Franklin’s denaturing influence, I suggest, has been crucial for the durability of republicanism in the United States, given the country’s size and diversity. (shrink)