The iterative concept of set is standardly taken to justify ZFC and some of its extensions. In this paper, we show that the maximal iterative concept also lies behind a class of further maximality principles expressing the maximality of the universe of sets V in height and width. These principles have been heavily investigated by the first author and his collaborators within the Hyperuniverse Programme. The programme is based on two essential tools: the hyperuniverse, consisting of (...) all countable transitive models of ZFC, and V -logic, both of which are also fully discussed in the paper. (shrink)

In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and (...) also briefly shows how optimal principles, among those available, may be selected in a justifiable way. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The (...) satisfaction of these statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman, fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the ‘maximal iterative concept’, and the programme identifies higher-order statements motivated by the maximal iterative concept. The satisfaction of (...) these statements in countable transitive models, the collection of which constitutes the ‘hyperuniverse’, has remarkable first-order consequences, some of which we review in Sect. 10.5. (shrink)

I discuss three potential sources of evidence for truth in set theory, coming from set theory’s roles as a branch of mathematics and as a foundation for mathematics as well as from the intrinsic maximality feature of the set concept. I predict that new non first-order axioms will be discovered for which there is evidence of all three types, and that these axioms will have significant first-order consequences which will be regarded as true statements of set theory. The bulk of (...) the paper is concerned with the Hyperuniverse Programme, whose aim is to discover an optimal mathematical principle for expressing the maximality of the set-theoretic universe in height and width. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman :77–96, 2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the ‘maximal iterative concept’, and the programme identifies higher-order statements motivated by the maximal iterative concept. The (...) satisfaction of these statements in countable transitive models, the collection of which constitutes the ‘hyperuniverse’, has remarkable first-order consequences, some of which we review in Sect. 5. (shrink)

We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...) universe of sets, then we discuss the Zermelian view, featuring a ‘vertical’ multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni and Friedman (2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory. (shrink)

Essays devoted to the work of the late Neil Wilson, Canadian philosopher and contributor to the field of semantic analysis that emerged from the fusion of logic, pragmatism, and ontology. Many of the essays in this volume take their initial inspiration from Wilson's seminal work Substances Without Substrata.

Le XIIe siecle, celui des renaissances, est une periode d'echanges multiformes entre traditions, cultures, ecoles. Sans doute aucun siecle n'est-il plus difficile a unifier que celui-ci: l'appropriation des doctrines greco-arabes voisine avec le developpement autonome des arts du langage, le temps d'Abelard est aussi celui de Bernard de Clairvaux, la dialectique s'elabore dans l'affrontement des multiples ecoles ou sectes. Ce foisonnement que n'encadre pas encore l'institution universitaire recoit ici divers eclairages portant sur la conception de la philosophie, sur la cosmologie (...) et les mathematiques ou sur les arts du langage. (shrink)

We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...) universe of sets, then we discuss the Zermelian view, featuring a ‘vertical’ multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni-Friedman :77–96, 2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory. (shrink)

The Hyperuniverse Program is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by (...) the John Templeton Foundation from January 2013 until September 2015. (shrink)

It is well known that the validity of Choice Principles is problematic in non-standard Set Theories which do not abide by the Limitation of Size Principle. In this paper we discuss the consistency of various Choice Principles with respect to the Generalized Positive Comprehension Principle . The Principle GPC allows to take as sets those classes which can be specified by Generalized Positive Formulae, e.g. the universe. In particular we give a complete characterization of which choice principles hold in Hyperuniverses. (...) Hyperuniverses are structures which arose independently in Non-well-founded Set Theory and in Mathematical Semantics of Concurrent Programming Languages and are hitherto the only existing models of GPC. Hyperuniverses are naturally endowed with a κ-compact uniform κ-topology and are uniformly isomorphic to their exponential space, i.e. the space of their closed subsets endowed with the Exponential Uniformity. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

Science and scientific knowledge have been questioned in many ways for a long period of time. Especially, after the scientific revolution of 16th- and 17th-century Europe, science and its knowledge have been mainly accepted one of the most valuable and trustable information. However, in 20th century, autonomy of scientific knowledge and its dominant position over other kinds of knowledge have been mainly criticised. Social and other factors that were tried to be excluded before have been incorporated into the work by (...) the influence of the Strong Programme. In this article, it will be argued that while people are presenting scientific knowledge, their interests, beliefs and the communities they are involved in are also shown to be effective in producing this information. Thus, the desired result is that it is not reasonable to talk about the absolute autonomy of scientific knowledge. (shrink)

Field-Programmable Gate Arrays (FPGAs) have emerged as an attractive means of implementing logic circuits, providing instant manufacturing turnaround and negligible prototype costs. They hold the promise of replacing much of the VLSI market now held by mask-programmed gate arrays. FPGAs offer an affordable solution for customized VLSI, over a wide variety of applications, and have also opened up new possibilities in designing reconfigurable digital systems. Field-Programmable Gate Arrays discusses the most important aspects of FPGAs in a textbook manner. It provides (...) the reader with a focused view of the key issues, using a consistent notation and style of presentation. It provides detailed descriptions of commercially available FPGAs and an in-depth treatment of the FPGA architecture and CAD issues that are the subjects of current research. The material presented is of interest to a variety of readers, including those who are not familiar with FPGA technology, but wish to be introduced to it, as well as those who already have an understanding of FPGAs, but who are interested in learning about the research directions that are of current interest. (shrink)

Abstract: One of the institutional highlights of the encounter between Austrian “wissen¬schaftliche Philosophie” and French “philosophie scientifique” in the first half of the 20th century was the “First International Congress for Unity of Science” that took place 1935 in Paris. In my contribution I deal with an episode of the philosophical mega-event whose protagonist was the American philosopher and semiotician Charles William Morris. At the Paris congress he presented his programme of a comprehensive, practice-oriented scientific philosophy and, in a (...) more elaborated version he published it two years later in Logical Positivism, Pragmatism and Scientific Empiricism (Morris 1937). Morris aimed at a synthesis of formalism, pragmatism, and traditional empiricism that combined the virtues of these accounts while avoided their shortocmings. The core of approach was a comprehensive theory of the concept of meaning. Through an analysis of the concept of meaning he sought to sort out the existing differences and the options for a possible future rapprochment between logical empiricism and pragmatism. Against the overly narrow logical empiricist understanding of philosophy as the syntax of the language of science Morris argued for a “scientific pragmatism” that comprised four levels: (1) Philosophy as Logic of Science, (2) Philosophy as Clarification of Meaning (Peirce), (3) Philosophy as Empirical Axiology (Dewey), and (4) Philosophy as Empirical Cosmology (Whitehead). (shrink)

Faire de la biologie et penser la biologie constituent deux activités indispensables l'une à l'autre. L'exemple de la " métaphore du programme génétique " nous montre, qu'entre l'explication atomique des physiciens et l'explication vitaliste, il peut y avoir un niveau moléculaire spécifique d'analyse des propriétés du vivant. Cet ouvrage a pour double ambition de montrer comment cette métaphore s'est constituée et quels en sont les éléments discutables. Il se propose d'analyser le processus à travers lequel elle est passée historiquement (...) de l'état de concept dynamique et opératoire à celui d'une image figée de plus en plus décalée de la réalité de la connaissance biologique. (shrink)

Wahrheitstheorien sind ein zentraler Bestandteil von Davidsons semantischem Programm zur Erklärung von Interpretation. Deflationäre Wahrheitskonzeptionen hingegen schreiben dem Wahrheitsprädikat eine minimale explanatorische Funktion zu. Die Frage der Vereinbarkeit dieser beiden Positionen bildet den Kern dieser Untersuchung. Eine Antwort wird durch eine kritische Auseinandersetzung mit Unvereinbarkeitsargumenten und durch eine systematische Betrachtung der Funktion eines deflationären Wahrheitsprädikats anhand von axiomatischen Wahrheitstheorien gegeben. Letztlich wird dafür argumentiert, dass nichts gegen die fruchtbare Anwendbarkeit einer deflationären Wahrheitstheorie innerhalb von Davidsons semantischem Programm spricht.

(1983). RATIONALISM AND THE STRONG PROGRAMME OF THE SOCIOLOGY OF KNOWLEKE: RECONCILIATION WITHOUT TEARS. Philosophical Papers: Vol. 12, No. 1, pp. 1-31.

Vaccines are responsible for many global public health successes, such as the eradication of smallpox and significant reductions in other serious infections like diphtheria, pertussis, tetanus, polio and measles. However, mass vaccination has also been the subject of various ethical controversies for decades. Several factors need to be considered before any vaccine is deployed at national programme like the potential burden of disease in the country or region, the duration of the protection conferred, herd immunity in addition to individual (...) protection, vaccine-related risks, financing and the logistical feasibility of the large-scale vaccination. Moreover, several ethical dilemmas revolve around authority and mandates for vaccination, informed consent, benefits vs. risks, and disparities in access to vaccination. This review paper aims to elaborate the ethical issues involved in mass vaccination programme and present some additional challenges in the context of a resource-poor settings of public health in Bangladesh. (shrink)

The program provides psycho-social support to foster adolescents during both their placement in foster families and in transitional period of leaving care, until they manage to cope with independent living. It is concieved as a direct answer to the needs of young people disturbed by the insecure patterns of attachment, who needed an opportunity to explore and modify negative experiences and acquire more successful models on how to build and maintain relationships, how to integrate the past, develop self-esteem and successfully (...) enter the world of adults. It is based on the principles of community psychology, the concept of the group as the transitional object and group dynamics. It was created through interaction with the beneficiaries, with emphasis on their participation and linking with all relevant players on the local level. Applied methods: self-support groups, psychological workshops, supportive activities in socialization and social integration, trainings, educational courses, counselling service, co-operation with foster parents, schools, local community and participation activities with focus on campaigning for development of aftercare services. The Manual, which resulted from the programme, is prompting professionals to develop new services entitled to children and youth and to involve users themselves in the reforms of the system. (shrink)

The practical guide provides advice on assessing whether existing ethics programmes are effective and culturally appropriate and developing and disseminating organisation-wide values and standards to take account of the many cultures in which a business operates, including training which is as culturally relevant to employees worldwide.

Mark Evan Bonds’ recent book, Absolute Music, deepens considerably the historical context within which Eduard Hanslick’s famous treatise on musical beauty can be read. This paper argues that, with the aid of this expanded context, we can understand Hanslick’s treatise to have provided contemporary and subsequent audiences with a kind of meta-programme for listening to symphonic and other non-texted music. That is to say, Hanslick’s text arguably informed and directed the way audiences came to listen to instrumental music by (...) furnishing them with imaginative constructs which could then be applied to the practice of musical listening. In much the same way as the texts which supply the poetic scenarios of so-called programme music, Hanslick’s ‘meta-programme’ became indispensable to an expanding culture of musical listening in the second half of the 19th century and beyond beyond. My claim thus contradicts the well-known formalist tenets of Hanslick’s musical aesthetics. (shrink)

Source code is a form of human communication, albeit one where the information shared between the programmers reading and writing the code is constrained by the requirement that the code executes correctly. Programming languages are more syntactically constrained than natural languages, but they are also very expressive, allowing a great many different ways to express even very simple computations. Still, code written by developers is highly predictable, and many programming tools have taken advantage of this phenomenon, relying on language model (...) surprisal as a guiding mechanism. While surprisal has been validated as a measure of cognitive load in natural language, its relation to human cognitive processes in code is still poorly understood. In this paper, we explore the relationship between surprisal and programmer preference at a small granularity—do programmers prefer more predictable expressions in code? Using meaning‐preserving transformations, we produce equivalent alternatives to developer‐written code expressions and run a corpus study on Java and Python projects. In general, language models rate the code expressions developers choose to write as more predictable than these transformed alternatives. Then, we perform two human subject studies asking participants to choose between two equivalent snippets of Java code with different surprisal scores (one original and transformed). We find that programmers do prefer more predictable variants, and that stronger language models like the transformer align more often and more consistently with these preferences. (shrink)

Die Soncino-Gesellschaft war ein bibliophiler Verein, der sich 1924 in Berlin gründete und bis zu seiner Auflösung 1937 über hundert Publikationen aus vielen Gebieten der jüdischen Geschichte und Kultur herausgegeben hat. Sie versammelte Mitglieder aus allen Strömungen des Judentums unter ihrem Dach und entwickelte sich mit ihrem Anspruch, ästhetische Vorbilder für das jüdische Buch zu geben, zu einem jüdischen Integrationsprojekt. Der Beitrag geht den kulturzionistischen Bruchlinien nach, die sich in der zionistischen Rezeption, dem Streit um die hebräische Bibelausgabe und der (...) Positionierung einiger prominenter Protagonisten der Soncino-Gesellschaft zeigen. Diese Bruchlinien blieben jedoch so marginal, dass sie den bibliophilen Konsens nicht gefährdeten. Im historischen Rückblick kann das Programm der Soncino-Gesellschaft vielmehr als Kanon der deutsch-jüdischen Integration in der Diaspora gelesen werden. (shrink)

Critical thinking continues to be viewed as a prerequisite skill for lifelong learning. It is not surprising therefore, that academic programmes delineate CT as a goal and a learning outcome. However, there are concerns regarding the extent to which the aims and objectives of the programmes are aligned with pedagogies for CT. Both the International Baccalaureate Diploma Programme and the Lebanese Baccalaureate Programme clearly delineate CT as a goal and a learning outcome. The study examines the facilitation of (...) teaching CT in the IBDP and LBP. The study was conducted in two schools located in Lebanon; one teaching the IBDP and the other the LBP. Semi structured interviews, questionnaires, and class visits were used to collect data pertaining to the teaching of CT in the two programmes in grades 11 and 12. The study is pioneering in studying the contribution of both programmes to the teaching of CT in Lebanese schools. (shrink)

The Euclidean Programme embodies a traditional sort of epistemological foundationalism, according to which knowledge – especially mathematical knowledge – is obtained by deduction from self-evident axioms or first principles. Epistemologists have examined foundationalism extensively, but neglected its historically dominant Euclidean form. By contrast, this book offers a detailed examination of Euclidean foundationalism, which, following Lakatos, the authors call the Euclidean Programme. The book rationally reconstructs the programme's key principles, showing it to be an epistemological interpretation of the (...) axiomatic method. It then compares the reconstructed programme with select historical sources: Euclid's Elements, Aristotle's Posterior Analytics, Descartes's Discourse on Method, Pascal's On the Geometric Mind and a twentieth-century account of axiomatisation. The second half of the book philosophically assesses the programme, exploring whether various areas of contemporary mathematics conform to it. The book concludes by outlining a replacement for the Euclidean Programme. (shrink)

Though still viewed as the missing link between recruitment and retention, organisational induction programmes have recently acquired a new function: they can mould the new employee by inducing a positive "first impression" about the organisation and presenting a "caring" company image. Up to now, however, the majority of the induction literature has failed to refer to the political and ethical aspects of this process and analyse the embedded ideological structures and cultural practices through which induction trainers and newcomers construct, reconstruct (...) and deconstruct induction discourses and 'management language'. This paper argues that induction should be treated as a part of an organisational cosmos that is constantly created and re-created, defined and re-defined based on the discursive interactions of its increasingly "sophisticated‟ subjects. (shrink)

Ce terme, et son équivalent latin « prescription », signifient « texte dont le propos est de provoquer un comportement spécifique de la part de son récepteur ». Le comportement se dépolitise progressivement, pour devenir de plus en plus fonctionnel. Mais, dans cette série progressive, il y a rupture. Toutes les prescriptions, des Dix Commandements jusqu’au mode d’emploi, s’orientent vers l’Homme. Tout programme d’ordinateur, lui, indique une machine. Je proposerai dans cet essai l’idée que la rupture entre l’avant-dernier et (...) le dernier exemple de la série est ce qui nous caractérise. (shrink)

Résumé François Morellet parle de « hasard programmé » pour traduire la manière selon laquelle la production de l’œuvre est cadrée : l’artiste accueille ou enregistre les produits d’un processus aléatoire qu’il a suscité. La forme d’automatisme que ce mode de fabrication suppose invite à établir une analogie entre la réalisation de ces objets et certains des principes de la prise photographique, à interroger la portée du « hasard programmé » quand c’est la production d’une photographie qui est en jeu.

The term Monte Carlo method indicates any computer-aided procedure for numerical estimation that combines mathematical calculations with randomly generated numerical input values. Today it is an important tool in high energy physics while physicists and philosophers also often consider it a sort of virtual experiment. The Monte Carlo method was developed in the 1940s, in the context of U.S. American nuclear weapons research, an event often regarded as the origin of both computer simulation and “artificial reality” (Galison 1997). The present (...) paper interrogates this strong claim by focusing on the emergence of Monte Carlo event generators in particle physics in the early 1960s. This historical case study shows how, as Monte Carlo computation became part of the toolbox of particle physicists around 1960, it was neither usually referred to as a “computer simulation” nor was it regarded as a surrogate for experimentation. In revising the history of this method, this paper asks, in what context did particle physicists of the 1960s decide to create FAKE, the first high-energy-physics Monte Carlo event simulator? What was their goal? And what epistemic role did FAKE play? In answering these questions, it is argued that Monte Carlo computations were not introduced into particle physics to simulate experiments, but rather they played the role of theoretical tools. The Monte Carlo method was able to do this thanks to its random component, a property which provided a means of modeling a specific phenomenon, so-called “(particle) resonances”. Indeed, in doing so, event generators even came to mutually assimilate and reshape the notions of particle and resonance, taking up an epistemic function which had previously been confined to physical-mathematical formulae: that of a medium which could express aspects of particle theory. (shrink)

Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...) see what evidence can be found for the truth of these propositions. Clearly, the methods used will be above all those of New Testament exegesis. The second part of Christology will necessarily consist entirely of that speculative theology which is contrasted with positive theology. Even if the earliest speculation on this topic is to be found in the New Testament itself and thus becomes fair game for the exegetes, any attempt to relate the primary truths, ‘Christ is God’ and ‘Christ is a man’, to eachother is a work of reflection, and in the terminology I am using speculative. (shrink)

Contents. Introduction. 1. Preliminaries. 2. Normal Form Games. 3. Extensive Games. 4. Applications of Game Theory. 5. The Methodology of Game Theory. Conclusion. Appendix. Bibliography. Index. Does game theory—the mathematical theory of strategic interaction—provide genuine explanations of human behaviour? Can game theory be used in economic consultancy or other normative contexts? Explaining Games: The Epistemic Programme in Game Theory—the first monograph on the philosophy of game theory—is an attempt to combine insights from epistemic logic and the philosophy of science (...) to investigate the applicability of game theory in such fields as economics, philosophy and strategic consultancy. I prove new mathematical theorems about the beliefs, desires and rationality principles of individual human beings, and explore in detail the logical form of game theory as it is used in explanatory and normative contexts. I argue that game theory reduces to rational choice theory if used as an explanatory device, and that game theory is nonsensical if used as a normative device. A provocative account of the history of game theory reveals that this is not bad news for all of game theory, though. Two central research programmes in game theory tried to find the ultimate characterisation of strategic interaction between rational agents. Yet, while the Nash Equilibrium Refinement Programme has done badly thanks to such research habits as overmathematisation, model-tinkering and introversion, the Epistemic Programme, I argue, has been rather successful in achieving this aim. "The 'epistemic' approach to game theory has emerged over the past twenty-five years. What is this approach? How does it differ from the conventional equilibrium-based approach to game theory? What have been its strengths and weaknesses to date? To find out, read this comprehensive and excellently written account". Adam Brandenburger, J. P. Valles Professor of Business Economics and Strategy, Stern School of Business, New York University "Reading Boudewijn de Bruin's book should be rewarding both for game theorists interested in the conceptual foundations of their discipline and for philosophers who want to learn more about formal analysis of strategic interaction. It provides an in-depth logical study of the currently dominant epistemic approaches to non-cooperative games, with an eye both to the attractions and to the serious challenges facing the Epistemic Programme". Wlodek Rabinowicz, Professor of Practical Philosophy, Department of Philosophy, Lund University . (shrink)

The proof of Lemma 5 in our paper “Choice Principles in Hyperuniverses” [3], contains an error. In the present note we show that the statement of that lemma is false and hence the Axiom of Choice fails in all κ-hyperuniverses, for uncountable κ. However, a weaker version of Lemma 5 can be proved, which implies that the Linear Ordering Principle holds in all κ-metric κ-hyperuniverses.

_ Source: _Page Count 19 It is argued in this paper that physicalism is best understood as a research programme, rather than a thesis or an attitude, as some philosophers argue. Given that research programmes connect past, present and future philosophical or scientific activities, physicalists need not decide between current and future physical theories, as it has been required by Hempel’s Dilemma. The author contrasts this proposal with other solutions to Hempel’s Dilemma proposed by currentists, futurists, and those philosophers (...) who claim that physicalism should best be understood as an attitude, arguing that understanding physicalism as a research programme avoids problems that are present in the alternative views, and that it matches well with the standard classifications in the history of philosophy. (shrink)