Kitcher has proposed an ideal-theory account—well-ordered science (WOS)— of the collective good that science’s research agenda should promote. Against criticism regarding WOS’s action-guidance, Kitcher has advised critics not to confuse substantive ideals and the ways to arrive at them, and he has defended WOS as a necessary and useful ideal for science policy. I provide a distinction between two types of ideal-theories that helps clarifying WOS’s elusive nature. I use this distinction to argue that the action-guidance problem that WOS (...) faces remains even under the aims/means distinction, because the WOS’s failure is more basic than critics have suggested. (shrink)

A well-ordered society faces a crisis whenever a sufficient number of noncompliers enter into the political system. This has the potential to destabilize liberal democratic political order. This article provides a formal analysis of two competing solutions to the problem of political stability offered in the public reason liberalism literature—namely, using public reason or using convergence discourse to restore liberal democratic political order in the well-ordered society. The formal analyses offered in this article show that using public reason (...) fails completely, and using convergent discourse, although doing better, has its own critical limitations that have not been previously recognized properly. (shrink)

In his recent article Philosophy Inside Out, Philip Kitcher presents a metaphilosophical outlook that aims at nothing less than a renewal of philosophy. His idea is to draw philosophers’ attention away from “timeless questions” in the so-called “core areas” of philosophy. Instead, philosophers should address questions that matter to human lives. The aim of this paper is twofold: first, to reconstruct Kitcher’s view of how philosophy should be renewed; second, to point out some difficulties relating to his position. These difficulties (...) concern the integration of his naturalism into the pragmatic vision of philosophy, the role of putative philosophical experts, and the ideal status of the program of well-ordered inquiry. (shrink)

Building, restoring and maintaining well-placed trust between scientists and the public is a difficult yet crucial social task requiring the successful cooperation of various social actors and institutions. Kitcher’s takes up this challenge in the context of liberal democratic societies by extending his ideal model of “well-ordered science” that he had originally formulated in his. However, Kitcher nowhere offers an explicit account of what it means for the public to invest epistemic trust in science. Yet in order to (...) understand how his extended model and its implementation in the actual world address the problem of trust as well as to evaluate it critically, an explicit account of epistemic public trust in science needs to be given first. In this article we first present such an account and then scrutinize his project of building public trust in science in light of it. We argue that even though Kitcher’s ideal model and his proposals for its implementation in the real world face a number of problems, they can be addressed with the resources of our account. (shrink)

What should the goals of scientific inquiry be? What questions should scientists investigate, and how should our resources be distributed between different lines of investigation? Philip Kitcher has suggested that we should answer these questions by appealing to an ideal based on the consideration of hypothetical democratic deliberations under ideal circumstances. The paper argues that we have no reason to adopt this ideal. The paper examines both traditional arguments for democracy and Kitcher's own reasons for adopting this ideal, as presented (...) in Kitcher (2001) and in Kitcher (2011b), and argues that none of these supports adoption of Kitcher's proposed ideal. (shrink)

Georg Cantor's absolute infinity, the paradoxical Burali-Forti class Ω of all ordinals, is a monstrous non-entity for which being called a "class" is an undeserved dignity. This must be the ultimate vexation for mathematical philosophers who hold on to some residual sense of realism in set theory. By careful use of Ω, we can rescue Georg Cantor's 1899 "proof" sketch of the Well-Ordering Theorem––being generous, considering his declining health. We take the contrapositive of Cantor's suggestion and add Zermelo's (...) choice function. This results in a concise and uncomplicated proof of the Well-Ordering Theorem. (shrink)

Deborah Boyle's book is a splendid addition to the literature on the philosophy of Margaret Cavendish. It provides an overview of Cavendish's philosophical work, from her panpsychist materialism, through her views about human motivation and general political philosophy, to views about gender, health, and humans' relation to the rest of the natural world. Boyle emphasizes themes of order and regularity, but does not argue that there is a strong systematic connection between Cavendish's views. Indeed, she makes a point of noting (...) the different ways in which the themes of order and regularity work in different areas of Cavendish's philosophy.The early chapters consider Cavendish's natural philosophy.... (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a (...) natural extension of BLT is definitionally equivalent with ZF. (shrink)

It is widely held that, in his pre-Critical works, Kant endorsed a necessitation account of laws of nature, where laws are grounded in essences or causal powers. Against this, I argue that the early Kant endorsed the priority of laws in explaining and unifying the natural world, as well as their irreducible role in in grounding natural necessity. Laws are a key constituent of Kant’s explanatory naturalism, rather than undermining it. By laying out neglected distinctions Kant draws among types (...) of natural law, grounding relations, and ontological levels, I show that his early works present a coherent and sophisticated laws-first account of the natural order. (shrink)

Gilabert argues that the humanist conception of duties of global justice and the principle of cosmopolitan justifiability will lead us to accept an egalitarian definition of individual autonomy. Gilabert further argues that realizing conditions of individual autonomy can serve as the cut-off point to duties of global justice. I investigate his idea of autonomy, arguing that in order to make sense of this claim, we need a concept of autonomy. I propose 4 possible definitions of autonomy, none of which seem (...) to necessitate Gilabert’s duties of egalitarian global justice. Instead, I propose that he may have in mind Autonomy 5, which requires that individuals have access to a maximum number of options and not simply a sufficient range of options to choose from. I criticize this premise as too demanding in the global world characterized by fundamental inequality. Second, I argue that if we were to endorse the preconditions for Autonomy 5, we would have to accept that Gilabert’s theory of global justice doesn’t provide for a cut-off point of duties of global justice. (shrink)

Trust is vital for individuals to flourish and have a sense of well-being in their community. A trusting society allows people to feel safe, communicate with each other and engage with those who are different to themselves without feeling fearful. In this paper I employ an Aristotelian framework in order to identify trust as a virtue and I defend the need to cultivate trust in children. I discuss the case study of Buranda State School in Queensland, Australia as an (...) instance of successful school reform that reinstates trust in an educational setting. Buranda makes use of the community of inquiry (CoI) pedagogy practiced by advocates of philosophy for children (P4C). Educators may create a safe space in the classroom by using the CoI and giving children the chance to voice their ideas and build upon, as well as question, those of others in a democratic and respectful manner. Through this pragmatic dialogue, trust may be established, along with a sense of belonging that supports well-being in the classroom as well as in life. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

The higher-order thought (HOT) theory of consciousness is a reductive representational theory of consciousness which says that what makes a mental state conscious is that there is a suitable HOT directed at that mental state. Although it seems that any neural realization of the theory must be somewhat widely distributed in the brain, it remains unclear just how widely distributed it needs to be. In section I, I provide some background and define some key terms. In section II, I argue (...) against the view that HOT theory should treat first-order (i.e. world-directed) conscious states as requiring prefrontal cortical activity though it is reasonable to suppose that conscious states are realized in the brain. In section III, I then explore some of the key background metaphysical issues involved in understanding the nature of consciousness, such as the debate between realism and idealism as well as the prospects for solving the so-called “hard problem” of consciousness. Some of the differences in question often mirror the traditional differences between Western and Eastern perspectives on the nature of consciousness. Overall, I argue that some form of realism and physicalism is more plausible than the opposing views. I also argue that materialists (and especially HOT theorists) can offer plausible replies to the hard problem. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate (...) a number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

This essay contends that the constitutive elements of well-being are plural, partly objective, and separable. The essay argues that these elements are pleasure, friendship, significant achievement, important knowledge, and autonomy, but not either the appreciation of beauty or the living of a morally good life. The essay goes on to attack the view that elements of well-being must be combined in order for well-being to be enhanced. The final section argues against the view that, because anything important (...) to say about well-being could be reduced to assertions about these separable elements, the concept of well-being or personal good is ultimately unimportant. (shrink)

It has recently been argued that a sensitivity theory of knowledge cannot account for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argument on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is possible in a sensitivity theory once (...) this view is adopted. (shrink)

Sometimes we get evidence of our own epistemic malfunction. This can come from finding out we’re fatigued, or have been drugged, or that other competent and well-informed thinkers disagree with our beliefs. This sort of evidence seems to seems to behave differently from ordinary evidence about the world. In particular, getting such evidence can put agents in a position where the most rational response involves violating some epistemic ideal.

The present article analyzes the world order in the past, present and future as well as the main factors, foundations and ideas underlying the maintaining and change of the international and global order. The first two sections investigate the evolution of the world order starting from the ancient times up to the late twentieth century. The third section analyzes the origin and decline of the world order based on the American hegemony. The authors reveal the contradictions of the current (...) unipolar world and explain in what way globalization has become more profitable for the developing countries but not for the developed ones. In the paper also explains the strengthening belief that the US leading status will inevitably weaken. In this connection we discuss the alternatives of the American strategy and the possibility of the renaissance of the American leadership. The last section presents a factor analysis which allows stating that the world is shifting toward a new balance of power and is likely to become the world without a leader. The new world order will consist of a number of large blocks, coalitions and countries acting within a framework of rules and mutual responsibility. However, the transition to a new world order will take certain time (about two decades). This period, which we denote as the epoch of new coalitions, will involve a reconfiguration of the World System and bring an increasing turbulence and conflict intensity. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages (...) generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

ABSTRACTAmbitious Higher-order theories of consciousness – Higher-order theories that purport to give an account of phenomenal consciousness – face a well-known objection from the possibility of ra...

The present working paper analyzes the world order in the past, present and future as well as the main factors, foundations and ideas underlying the maintaining and change of the international and global order. The first two sections investigate the evolution of the world order starting from the ancient times up to the late twentieth century. The third section analyzes the origin and decline of the world order based on the American hegemony. The authors reveal contradictions of the current (...) unipolar world and explain in what way globalization has become more profitable for the developing countries but not for the developed ones. The paper also explains the strengthening belief that the US leading status will inevitably weaken. In this connection we discuss the alternatives of the American strategy and the possibility of the renaissance of the American leadership. The last section presents a factor analysis which allows stating that the world is shifting toward a new balance of power and is likely to become the world without a leader. The new world order will consist of a number of large blocks, coalitions and countries acting within a framework of rules and mutual responsibility. However, the transition to a new world order will take certain time (about two decades). This period, which we denote as the epoch of new coalitions, will involve a reconfiguration of the World-System and bring an increasing turbulence and conflict intensity. There are grounds to conclude that in 2011–2012 the World-System experienced to some extent a phase transition to a qualitatively new state of global protest activity. This phase transition is shown to bear some resemblance to the one which the World-System experienced in the early 1960s. The first (after 1919) phase transition of this sort occurred in the early 1960s and was related to the growth of global informational connectivity after the World War II, as well as the improvement of the means of protest self-organization due to the spread of television, portable radio receivers, portable electric loud-speakers and other technologies of the Fourth Kondratieff Cycle. The phase transition of the early 2010s was prepared by a new wave of growth of global informational connectivity, as well as the improvement of the means of protest self-organization due to the spread of various technologies of the Fifth Kondratieff cycle (the Internet, satellite television, Twitter and other social networks, mobile telephony etc.). Similarly to what was observed during the Fourth Kondratieff Wave, during the Fifth Cycle while the spread of these technologies was going on for many years before 2011, their internal colossal potential for generating and spreading protest activity was realized in one leap, as a phase transition. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

In March 2016, an interdisciplinary group met for two days and two evenings to explore the implications for policy making of second-order science. The event was sponsored by SITRA, the Finnish Parliament's Innovation Fund. Their interest arose from their concern that the well-established ways, including evidence-based approaches, of policy and decision making used in government were increasingly falling short of the complexity, uncertainty, and urgency of needed decision making. There was no assumption that second-order science or second-order cybernetics would (...) reveal any practical possibilities at this early stage of enquiry. On the other hand, some members of the group are practioners in both policy and in facilitating change in sectors of society. Thus, the intellectual concepts were strongly grounded in experience. This is an account of the deliberations of that group and some reflections on what came out of the various shared contributions and ensuing dialogues. The overall conclusion of the event is that there definitely are possibilities that are worthy of further research and exploration. (shrink)

A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

Context: Many recent research areas such as human cognition and quantum physics call the observer-independence of traditional science into question. Also, there is a growing need for self-reflexivity in science, i.e., a science that reflects on its own outcomes and products. Problem: We introduce the concept of second-order science that is based on the operation of re-entry. Our goal is to provide an overview of this largely unexplored science domain and of potential approaches in second-order fields. Method: We provide the (...) necessary conceptual groundwork for explorations in second-order science, in which we discuss the differences between first- and second-order science and where we present a roadmap for second-order science. The article operates mainly with conceptual differentiations such as the separation between three seemingly identical concepts such as Science II, Science 2.0 and second-order science. Results: Compared with first-order science, the potential of second-order science lies in 1. higher levels of novelty and innovations, 2. higher levels of robustness and 3. wider integration as well as higher generality. As first-order science advances, second-order science, with re-entry as its basic operation, provides three vital functions for first-order science, namely a rich source of novelty and innovation, the necessary quality control and greater integration and generality. Implications: Second-order science should be viewed as a major expansion of traditional scientific fields and as a scientific breakthrough towards a new wave of innovative research. Constructivist content: Second-order science has strong ties with radical constructivism, which can be qualified as the most important root/origin of second-order science. Moreover, it will be argued that a new form of cybernetics is needed to cope with the new problems and challenges of second-order science. (shrink)

According to what Birch (2022) calls the theory-heavy approach to investigating nonhuman-animal consciousness, we select one of the well-developed theories of consciousness currently debated within contemporary cognitive science and investigate whether animals exhibit the neural structures or cognitive abilities posited by that theory as sufficient for consciousness. Birch argues, however, that this approach is in general problematic because it faces what he dubs the dilemma of demandingness—roughly, that we cannot use theories that are based on the human case to (...) assess consciousness in nonhuman animals and vice versa. We argue here that, though this dilemma may problematize the application of many current accounts of consciousness to nonhuman animals, it does not challenge the use of standard versions of the higher-order thought theory (“HOTT”) of consciousness, according to which a creature is in a conscious mental state just in case it is aware of being in that state via a suitable higher-order thought (“HOT”). We show this in two ways. First, we argue that, unlike many extant theories of consciousness, HOTT is typically motivated by a commonsense, and more importantly, neutral condition on consciousness that applies to humans and animals alike. Second, we offer new empirical and theoretical reasons to think that many nonhuman animals possess the relevant HOTs necessary for consciousness. Considering these issues not only reveals the explanatory power of HOTT and some of its advantages over rival accounts, but also enables us to further extend and clarify the theory. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple (...) contaminating values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

During the current financial crisis, the need for an alternative to a laissez-faire ethics of capitalism (the Milton Friedman view) becomes clear. I argue that we need an order ethics which employs economics as a key theoretical resource and which focuses on institutions for implementing moral norms. -/- I will point to some aspects of order ethics which highlight the importance of rules, e.g. global rules for the financial markets. In this regard, order ethics (“Ordnungsethik”) is the complement of the (...) German conception of “Ordnungspolitik” which also stresses the importance of a regulatory framework. This framework is needed not to tame the market, but to make it more profitable in the long run. -/- The conception of order ethics relies heavily on contractarianism, especially on James Buchanan’s work. Unlike many other conceptions of ethics, it does not start with an aim to achieve, but rather with an account of what the social world – in which ethical norms have to be implemented – is like. Our social world is different from the pre-modern one. Pre-modern societies played zero-sum games in which people could only gain significantly at the expense of others. And the types of ethics that we are still used to today have been developed within these pre-modern societies. -/- Modern societies, by contrast, can be characterised – by economists and other social theorists alike – as societies with continuous growth. This growth has only been made possible by the modern competitive market economy which enables everyone to pursue his own interests within a carefully devised institutional system. In this system, positive sum games are played, which makes it in principle possible to improve the position of every individual at the same time. Most kinds of ethics, however, resulting from the conditions of pre-modern societies, ignore the possibility of win-win-situations and instead require us to be moderate, to share, to sacrifice, as this would have been functional in zero-sum games. These conceptions distinguish – in more or less strict ways – between self-interest and altruistic motivation. Self-interest, more often than not, is ultimately seen as something evil. -/- Such an ethics cannot be functional in modern societies. Ethical concepts lag behind. Within zero-sum games, it was necessary to call for temperance, for moderate profits, or for a condemnation of lending money at interest. Within positive-sum games, however, the morally desired result of a social process cannot be brought about by changes in motivation, by switching from ‘egoistic’ to ‘altruistic’ motivation. The second theoretical element introduced by order ethics is the distinction between actions and rules, which was already mentioned. Traditional ethics concerns actions: It calls directly for changes in behaviour. This is a consequence of pre-modern conditions as reconstructed before: People in the pre-modern world were only able to control their actions, not so much however the conditions of their actions. In particular, rules like laws, constitutions, social structures, the market order, and also ethical norms have remained stable for centuries. In modern societies, this situation has changed entirely. The rules governing our actions have increasingly come under our control. -/- In this situation, ethics has to focus on rules. Morality must be incorporated in incentive-compatible rules. Direct calls for changes in behaviour without changes in the rules lead only to an erosion of compliance with moral norms. Individuals that continue to behave ‘morally’ will be singled out, because the incentives have not been changed. Moral norms which are to be justified cannot require people to abstain from pursuing their own advantage. People abstain from taking ‘immoral’ advantages only if adherence to ethical norms yields greater benefits over the planned sequence of actions than defection in the single case. Thus ‘abstaining’ is not abstaining in the long run, it is rather an investment in expectations of long-term benefits. By adhering to ethical norms, I become a reliable partner for interactions. The norms do indeed constrain my actions, but they simultaneously expand my options in interactions. And people consent to rules only if these rules hold greater advantages for them, at least in the long run. -/- In general, ethics cannot require people to abandon their individual calculation of advantages. However, it may suggest improving one’s calculation, by calculating in the long run rather than in the short run, and by taking into account the interests of our fellows, as we depend on their acceptance for reaching an optimal level of well-being, especially in a globalized world full of interdependence. -/- The problem of implementation can now be placed at the beginning of a conception of order ethics, justified with reference to the conditions of modern societies I have sketched. Under the conditions of pre-modern societies, an ethics of temperance had evolved that posed simultaneously the problems of implementation and justification. The implementation of well-justified norms or standards could then be regarded as unproblematic, because the social structures allowed for a direct face-to-face enforcement of norms. Pre-modern societies not only favored an ethics of temperance, they also had the instrument of face-to-face-sanctions within their smaller and non-anonymous communities. This instrument is no longer functional in modern anonymous societies, and so we have to face up to the problem of implementation right at the start of our ethical conception. Simultaneously, an order ethics relies on the implementation of sanctions for enforcing incentive-compatible rules. In modern societies, rules and institutions, to a large extent, must fulfil the tasks that were, in pre-modern times, fulfilled by moral norms, which in turn were sanctioned by face-to-face sanctions. Norm implementation in modern societies thus works by setting adequate incentives in order to prevent the erosion of moral norms, which would happen if ‘moral’ actors were systematically threatened with exploitation by other, less ‘moral’ actors. -/- This conception of order ethics is then elaborated further in the area of business ethics. -/- . (shrink)

n this text, we revisit part of the analysis of anti-entropy in Bailly and Longo (2009} and develop further theoretical reflections. In particular, we analyze how randomness, an essential component of biological variability, is associated to the growth of biological organization, both in ontogenesis and in evolution. This approach, in particular, focuses on the role of global entropy production and provides a tool for a mathematical understanding of some fundamental observations by Gould on the increasing phenotypic complexity along evolution. Lastly, (...) we analyze the situation in terms of theoretical symmetries, in order to further specify the biological meaning of anti-entropy as well as its strong link with randomness. (shrink)

The quantum information introduced by quantum mechanics is equivalent to a certain generalization of classical information: from finite to infinite series or collections. The quantity of information is the quantity of choices measured in the units of elementary choice. The “qubit”, can be interpreted as that generalization of “bit”, which is a choice among a continuum of alternatives. The axiom of choice is necessary for quantum information. The coherent state is transformed into a well-ordered series of results in time (...) after measurement. The quantity of quantum information is the transfinite ordinal number corresponding to the infinity series in question. The transfinite ordinal numbers can be defined as ambiguously corresponding “transfinite natural numbers” generalizing the natural numbers of Peano arithmetic to “Hilbert arithmetic” allowing for the unification of the foundations of mathematics and quantum mechanics. (shrink)

P.F. Strawson’s (1962) “Freedom and Resentment” has provoked a wide range of responses, both positive and negative, and an equally wide range of interpretations. In particular, beginning with Gary Watson, some have seen Strawson as suggesting a point about the “order of explanation” concerning moral responsibility: it is not that it is appropriate to hold agents responsible because they are morally responsible, rather, it is ... well, something else. Such claims are often developed in different ways, but one thing (...) remains constant: they meant to be incompatible with libertarian theories of moral responsibility. The overarching theme of this paper is that extant developments of “the reversal” face a dilemma: in order to make the proposals plausibly anti-libertarian, they must be made to be implausible on other grounds. I canvas different attempts to articulate a “Strawsonian reversal”, and argue that none is fit for the purposes for which it is intended. I conclude by suggesting a way of clarifying the intended thesis: an analogy with the concept of funniness. The result: proponents of the “reversal” need to accept the difficult result that if we blamed small children, they would be blameworthy, or instead explain how their view escapes this result, while still being a view on which our blaming practices “fix the facts” of moral responsibility. (shrink)

The present article analyzes the world order in the past, present and future as well as the main factors, foundations and ideas underlying the maintaining and change of the international and global order. The first two sections investigate the evolution of the world order starting from the ancient times up to the late twentieth century. The third section analyzes the origin and decline of the world order based on the American hegemony. The authors reveal the contradictions of the current (...) unipolar world and explain in what way globalization has become more profitable for the developing countries but not for the developed ones. The authors also explain the strengthening belief that the US leading status will inevitably weaken. In this connection we discuss the alternatives of the American strategy and the possibility of the renaissance of the American leadership. The last section presents a factor analysis which allows stating that the world is shifting toward a new balance of power and is likely to become the world without a leader. The new world order will consist of a number of large blocks, coalitions and countries acting within a framework of rules and mutual responsibility. However, the transition to a new world order will take certain time (about two decades). This period, which we denote as the epoch of new coalitions, will involve a reconfiguration of the World System and bring an increasing turbulence and conflict intensity. (shrink)

This paper presents a mutual confrontation of the oeuvres of Pierre Teilhard de Chardin (1881–1955) and Jacques Lacan (1901–1980), highlighting their relevance for the planetary challenges we are facing today. I will present their views on technoscience, environmental pollution and religious faith, focussing on human genomics as a case study. Both authors claim that technoscience reflects a tendency towards symbolisation: incorporating the biosphere (liv- ing nature) into the “symbolic order’ (Lacan) or ‘noosphere’ (Teilhard). On various occasions, Lacan refers to Teilhard’s (...) concept of the hominization of the planet and their dialogue culminates in a ‘final conversation’ between Teilhard and Lacan in 1954, during a reception organised by the journal Psyché. I will conclude that the Teilhard-Lacan dialogue is highly relevant for current debates concerning the Anthropocene, as a moment of global awakening and global crisis. Processes of hominization allowed humans to become literate beings, littering the planet as well: humans as literate litterers. Whereas Teilhard argues that technoscience and self-direc- ted evolution are about to culminate in what he refers to as point Omega, Lacan rather stresses the hazards involved in this optimistic desire towards all-encompassing synthesis, unification and fulfilment. (shrink)

This paper argues that the innovation of an ordering source parameter in the standard Lewis-Kratzer semantics for modals was a mistake, at least for English auxiliaries like ‘ought’, and that a simpler dyadic semantics (as proposed in my earlier work) provides a superior account of normative uses of modals. I programmatically investigate problems arising from (i) instrumental conditionals, (ii) gradability and “weak necessity”, (iii) information-sensitivity, and (iv) conflicts, and show how the simpler semantics provides intuitive solutions given three basic (...) moves: (1) an end-relational analysis of normative modality, (2) a “most” analysis of “weak necessity”, and (3) well-motivated appeals to pragmatics. I conclude with metasemantic observations about the desiderata for a semantics for ‘ought’. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set (...) is identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

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

In the first part of the paper, Gaus’ ground for the ideal of persons as free and equal is described. Doubts are raised about the appropriateness of the use of his account of this ideal as endogenous to our moral practice. Th e worries are related to the use of the concept of having a reason that Gaus makes in his book, as well as to the aptness of his account of our moral practice from the viewpoint of our (...) moral phenomenology. Some doubts are raised in relation to the pertinence of Gaus’ concept of having a reason from the perspective of the motivation of the public reason project. In the second part of the paper, a summary is off ered of Gaus’ model of public justification and some of its consequences are discussed. Th e primary intention here is to show that, contrary to Gaus’ view, egalitarian liberalism, and not classical liberalism, is the most appropriate result of such a model of justification. (shrink)

On many science-related policy questions, the public is unable to make informed decisions, because of its inability to make use of knowledge obtained by scientists. Philip Kitcher and James Fishkin have both suggested therefore that on certain science-related issues, public policy should not be decided on by actual democratic vote, but should instead conform to the public’s counterfactual informed democratic decision. Indeed, this suggestion underlies Kitcher’s specification of an ideal of a well-ordered science. This article argues that this suggestion (...) misconstrues the normative significance of CIDDs. At most, CIDDs might have epistemic significance, but no authority or legitimizing force. (shrink)

This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set pertaining to the syntax of quantifier scope and negative polarity licensing in Hungarian is used to illustrate the proposal. The presentation is geared towards both linguists and logicians. The paper highlights that the main ideas can be implemented in different grammar formalisms, and discusses in detail an implementation where the partial ordering on categories (...) is given by the derivability relation of a calculus with residuated and Galois-connected unary operators. (shrink)

Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the (...) relation of set theory and arithmetic are demonstrated. (shrink)

The problem of indeterminism in quantum mechanics usually being considered as a generalization determinism of classical mechanics and physics for the case of discrete (quantum) changes is interpreted as an only mathematical problem referring to the relation of a set of independent choices to a well-ordered series therefore regulated by the equivalence of the axiom of choice and the well-ordering “theorem”. The former corresponds to quantum indeterminism, and the latter, to classical determinism. No other premises (besides the (...) above only mathematical equivalence) are necessary to explain how the probabilistic causation of quantum mechanics refers to the unambiguous determinism of classical physics. The same equivalence underlies the mathematical formalism of quantum mechanics. It merged the well-ordered components of the vectors of Heisenberg’s matrix mechanics and the non-ordered members of the wave functions of Schrödinger’s undulatory mechanics. The mathematical condition of that merging is just the equivalence of the axiom of choice and the well-ordering theorem implying in turn Max Born’s probabilistic interpretation of quantum mechanics. Particularly, energy conservation is justified differently than classical physics. It is due to the equivalence at issue rather than to the principle of least action. One may involve two forms of energy conservation corresponding whether to the smooth changes of classical physics or to the discrete changes of quantum mechanics. Further both kinds of changes can be equated to each other under the unified energy conservation as well as the conditions for the violation of energy conservation to be investigated therefore directing to a certain generalization of energy conservation. (shrink)

Philosophy of science is showing an increasing interest in the social aspects and the social organisation of science—the ways social values and social interactions and structures play a role in the creation of knowledge and the ways this role should be taken into account in the organisation of science and science policy. My thesis explores a number of issues related to this theme. I argue that a prominent approach to the social organisation of science—Philip Kitcher’s well-ordered science—runs into a (...) number of problems. They undermine its philosophical plausibility and practical usefulness. I agree with Kitcher that arguments about the social organisation of science should recognise profound societal consequences of science. Kitcher argues that the appropriate organisation of science should therefore take into account laypersons’ values and needs when making decisions concerning research planning, evaluation and application. My criticisms show that this is not enough. Drawing on Helen Longino ideas, I argue that laypersons’ perspectives and knowledge may also be relevant when doing research. In order to show how more inclusive research practices may be possible, I discuss connections between philosophy of science and some developments in science policy, which has also recently shown considerable interest in democratic participation. I demonstrate how public participation experiments in science policy may sometimes be close enough to what the philosopher would recommend. Their analysis can thus be helpful for understanding how societal developments may provide opportunities for the involvement of laypersons in science and what factors may endanger its success. I conclude that a way to pursue a more socially relevant philosophy of science is to focus on the points of contact and possibilities of cooperation between philosophical proposals and these public participation initiatives. (shrink)

Abstract“Freedom” is a fundamental political concept: contestations or endorsements of freedom-conceptions concern the fundamental normative orientation of sociopolitical orders. Focusing on “freedom,” this article argues that the project of bringing about emancipatory sociopolitical orders is both aided by efforts at engineering fundamental political concepts as well as required by such ameliorative ambitions. I first argue that since the absence of ideology is a constituent feature of emancipatory orders, any attempt at bringing about emancipation should leverage genealogical approaches in order (...) to debunk existing ideological freedom-concepts, which can occur only by exposing the discursive functions these have come to serve for the (re-)production of dominant power relations. I then suggest that establishing and sustaining an alternative, ideology-free conception of “freedom” is a steeper task. Ensuring widespread uptake of any ameliorated concept is contingent on effective change in the relevant social environment. Where fundamental political concepts such as “freedom” are concerned, effective intervention in the relevant social environment requires radical sociopolitical change. But if such change can be brought about and enables the widespread uptake of an “improved” freedom-concept, the concept's content comes to reflect changed social facts, thereby stabilizing the particular emancipatory sociopolitical order which has newly arisen. (shrink)

This paper examines the critique of Voegelin in Kelsens "Secular Religion". While Kelsen sets out with the false premise that secular world view can in principle have no religious character, his critique of Voegelin remains largely unimpaired by this mistake. With convincing arguments Kelsen criticises (1) Voegelins interpretation of modernity as an age of gnosticism, (2) Voegelins reinterpretation of enlightened and secular philosopher as gnostics in disguise and (3) Voegelins rejection of modern politics and, to a lesser degree, modern science. (...) I have also uploaded the critical margin notes that some person (unfortunately I do not know any more who) had been so friendly to sent me. The paper was originally written in German, but an English translation is available as well. (shrink)

The aim of this essay is to clarify the meaning and extent of Kant's liberalism by contrasting some of his key ideas to those of Burke, Hobbes, Machiavelli, Nozick, Rawls, and Schmitt. My claim is that Kant's political philosophy navigates the path between the extremes of liberalism and conservatism, just as his theoretical philosophy tries to navigate between dogmatism and skepticism, and that current liberal claim on Kant has important limitations in Kant's letter, as well as in spirit.

The chapter examines Russian political theorist Aleksandr Dugin’s (b. 1962) challenge to the Western liberal order. Even though Dugin’s project is in many ways a theoretical epitome of Russia’s contemporary attempt to profile itself as a regional great power with a political and cultural identity distinct from the liberal West, Dugin can also be read in a wider context as one of the currently most prominent representatives of the culturally and intellectually oriented international New Right. The chapter introduces Dugin’s role (...) on the Russian right-wing political scene and his international networks, Russian neo-Eurasianism as his ideological footing, and his more recent “fourth political theory” as an attempt to formulate a new ideological alternative to liberalism as well as the two other main twentieth-century ideologies, communism and fascism. Dugin’s fourth ideology, essentially meant as an alternative to a unipolar post–Cold War global hegemony of victorious liberalism, draws inspiration from the German conservative revolutionary movement of the Weimar era. In particular, Martin Heidegger’s philosophy of history, with its thesis of the end of modernity and another beginning of Western thought, and Carl Schmitt’s pluralistic model of geopolitics are highlighted as key elements of Dugin’s eclectic political thought, which is most appropriately characterized as a form of radical conservatism. (shrink)

This article outlines a method of collaboration that will manifest a high probability of cumulative and progressive results in science. The method will accomplish this through a division of labour grounded in the order of occurrence of human cognitional operations. The following article explores the possibility of a method known as functional specialization, distinct tasks presently operative in neuroscience. Functional specialization will enhance collaboration within a science as well as initiate implementation of generalized empirical method. Implementation of generalized empirical (...) method will be achieved through the focus of individual specialties on specific mental operations. (shrink)