My paper provides a preliminary work towards a theory of freedom and agency which I name "Theory of Procedural Agency (TPA)". Since TPA relies on intuitions which can not be settled into the metaphysical framework of contemporary approaches to freedom and agency, I focus on some reasons which explain why these intuitions should be preferred to the competing ones. My strategy is to argue for my view defending an embryonal version of TPA, that is Berkeley's considerations on free (...) will, agency and determinism. In the first section I deal with Berkeley's treatment of free will. My idea is that his arguments offer clear and evident reasons in support of the first intuition grounding a TPA like approach to freedom. In the second section I move some criticisms to Berkeley's theory of will, claiming that, in order to overcome these, the assumption of the constitution view concerning self-knowledge would help. In the third section I set forth a logical formulation for TPA, showing how Berkeley's consideration on agency provide grounding reasons for that. Finally, in the last section, I plan the work to be done to achieve a consistent and complete version of TPA. (shrink)

Two competing models of metaaxiological justification of politics are analyzed. Politics is understood broadly, as actions which aim at organizing social life. I will be, first of all, interested in law making activities. When I talk about metaaxiological justification I think not so much about determinations of what is good, but about determinations refering to the way the good is founded, in short: determinations which answer the question why something is good. In the first model, which is described here as (...) objectivistic, it is assumed that determining that which is good is a matter of cognition; in the second model, which could be described here as voluntaristic or excedingly liberal, it is assumed that determining good is not a matter of cognition but of will – something is good because it is wanted. In the latter model, the cognoscibility of good is rejected and therefore the objective criteria for evaluation of which ‘will’ is better and which is worse are rejected. As a consequence, negative freedom becomes the fundamental value of social order and the basic requirement is that of maximizing the sphere of individual’s free actions, the sphere which is free from interference of other individuals or institutions. I am going to argue that none of these models is acceptable as a basis of oragnizing social life, and at least because of one reason. Each of them leads to a certain version of totalitarianism. In the conclusion I am going to present a mixed model, which, in my opinion, reflexes well the practice of democratic states. Analysis of these three models allows, first of all, to identify more clearly some of the problems appearing in making law, including procedural questions. By pointing at the interdependence of the foundations of good and law making procedures it is argued that the choice of the concept of good (a metaaxiological choice) is primary to the choice of law making procedures. (shrink)

Whatever may be said about contemporary feminists’ evaluation of Descartes’ role in the history of feminism, Mary Astell herself believed that Descartes’ philosophy held tremendous promise for women. His urging all people to eschew the tyranny of custom and authority in order to uncover the knowledge that could be found in each one of our unsexed souls potentially offered women a great deal of intellectual and personal freedom and power. Certainly Astell often read Descartes in this way, and (...) Astell herself has been interpreted as a feminist – indeed, as the first English feminist. But a close look at Astell’s and Descartes’ theories of reason, and the role of authority in knowledge formation as well as in their philosophies of education, show that there are subtle yet crucial divergences in their thought – divergences which force us to temper our evaluation of Astell as a feminist. -/- My first task is to evaluate Astell’s views on custom and authority in knowledge formation and education by comparing her ideas with those of Descartes. While it is true that Astell seems to share Descartes’ wariness of custom and authority, a careful reading of her work shows that the wariness extends only as far as the tyranny of custom over individual intellectual development. It does not extend to a wariness about social and institutional customs and authority (including, perhaps most crucially, the institution of marriage as we see in her Reflection on Marriage). The reason for this is that Astell’s driving goal is to help women to come to know God’s plan for women – both in their roles as human and in their roles as women. According to Astell, while it is true that, as individuals, women must develop their rational capacities to the fullest in order to honor God and his plan for women as human, as members of social institutions, including the institution of marriage, women must subordinate themselves to men, including their husbands, in this case so as to honor God and his plan for women as women. Once we understand the theological underpinnings of her equivocal reaction to authority and custom, we can see that Astell may be considered a feminist in a very tempered way. -/- My second task is to use these initial conclusions to re-read her proposal for single-sexed education that we find in A Serious Proposal to the Ladies. It is true that Astell encourages women to join single-sexed educational institutions for the unique and empowering friendships that women can develop in such institutions. Still, my argument continues, the development of such friendships is not entirely an end in itself. Rather, Astell encourages women to develop such friendships such that they can re-enter the broader world armed with the tools that will help them endure burdensome features of the lives that await them in the world, including their lives as subordinated wives –burdens that Astell does not, in principle, challenge. (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)

While P.F. Strawson’s essay ‘Freedom and Resentment’ has had many commentators, discussions of it can be roughly divided into two categories. A first group has dealt with the essay as something that stands by itself in order to analyse Strawson’s main arguments and to expose its weaknesses. A second group of commentators has looked beyond ‘Freedom and Resentment’ by emphasizing its Humean, Kantian or Wittgensteinian elements. Although both approaches have their own merits, it is too often (...) forgotten that Strawson was an original thinker with his own views on the nature of philosophical problems and how to appropriately deal with them. The aim of this article is to remedy this forgetfulness and to make sense of ‘Freedom and Resentment’ from a Strawsonian perspective, by looking at Strawson’s own views on philosophical methodology. (shrink)

The aim of this paper is to determine whether Kant’s account of freedom fits with his theory of the human sciences. Several Kant scholars have recently acknowledged a tension between Kant’s metaphysics and his works on anthropology in particular. I believe that in order to clarify the issue at stake, the tension between Kant’s metaphysics and his anthropology should be broken down into three distinct problems. -/- First, Kant’s Anthropology studies the human being ‘as a freely acting being.’5 (...) This approach thus presupposes that such an inquiry can acknowledge freedom and appeal to it in its accounts of human behaviour. Yet the Critique of Pure Reason clearly asserts that ‘as regard [man’s] empirical character there is no freedom; and yet it is only in the light of this character that man can be studied.’ This, in contrast, seems to indicate that the human sciences should be carried out independently of freedom. -/- Second, the Anthropology seems to suggest that empirical factors encompassed by culture, civilisation and mores can have an impact on the human being’s moral status by generating some form of moral progress. Yet if freedom and moral agency are restricted to the domain of the intelligible, they cannot be influenced by anything empirical. -/- Third, the Anthropology provides numerous moral and prudential recommendations as to how one should behave in particular circumstances. Thus it seems to presuppose that anthropological knowledge, as well as the practical guidance based on this knowledge, can have an impact on the free choices we make. Yet how can the human sciences be legitimately, and efficaciously, prescriptive vis-à-vis our free choices? -/- Regarding the first problem, which I tackle in section I, I will hold that the human sciences can legitimately refer to ‘practical freedom’ understood as the power to determine one’s aims and to act independently of sensuous impulses, through intentions and the representation of purposes. I will address the second and third problems in two steps. Section II will tackle them negatively through a distinction between the conditions of moral agency and the conditions of moral improvement. It will allow me to argue that the possibility of any direct influence of the empirical on the intelligible is metaphysically invalid in principle, and hence, that empirical factors cannot effect any direct change in one’s moral character. In the third section, I will turn to the positive side of my account by focusing on the issue of the moral relevance of culture and civilisation as well as that of the human sciences (which study their influence), and suggest that they are morally relevant insofar as they make us more morally efficacious. (shrink)

In sections 2.21.23-25 of An Essay concerning Human Understanding, John Locke considers and rejects two ways in which we might be “free to will”, which correspond to the Thomistic distinction between freedom of exercise and freedom of specification. In this paper, I examine Locke’s arguments in detail. In the first part, I argue for a non-developmental reading of Locke’s argument against freedom of exercise. Locke’s view throughout all five editions of the Essay is that we do not (...) possess freedom of exercise (at least in most cases). In the second part, I argue that, when Locke asks whether we possess freedom of specification, his question is intentionally ambiguous between two readings, a first-order reading and a higher-order reading. Locke’s view is that, on either reading, we do not possess freedom of specification (at least in any interesting sense). (shrink)

While Hegel’s political philosophy has been attacked on the left by republican democrats and on the right by feudalist reactionaries, his apologists see him as a liberal reformer, a moderate who theorized about the development of a free-market society within the bounds of a stabilizing constitutional state. This centrist view has gained ascendancy since the end of the Second World War, enshrining Hegel within the liberal tradition. In this book, Renato Cristi argues that, like the Prussian liberal reformers of (...) his time, Hegel was committed to expand the scope of a free economy and concurrently to ensure that the social practice of subjective freedom did not endanger political stability and order. Aware that a system of mutual advantage failed to integrate the members of civil society and that profound social disharmonies were ineradicable, Hegel adopted the views of the French liberal _doctrinaires_, who sought to realize the principles of the French Revolution by supporting Louis XVIII’s sovereign assertion of the monarchical principle. Not surprisingly, Hegel hailed the French _Charte_ of June 1814 as a beacon of freedom. Endorsement of the monarchical principle was meant to prevent the atomized individuals of civil society from gaining control of the state through appeals to popular sovereignty. This challenges most conventional interpretations of Hegel’s theory of the state and draws it closer to the conservative-authoritarian end of the political spectrum than is usual. (shrink)

What precisely does a distraction threaten? An agent who spends an inordinate amount of time attending to her smartphone – what precisely is she lacking? I argue that whereas agency of attention is the agent’s non-automatic decision-making on what she currently pays attention to, autonomy of attention is the agent, through her second-order desires, effectively interfering with her non-automatic decision-making on what she currently pays attention to. Freedom of attention is the agent’s possibility to hold or switch (...) her focus of attention without fixating on any specific focus against her will or without distraction from chosen foci. This conceptual work provides resources to track manipulations that diminish a person’s freedom of attention. (shrink)

In this chapter, we introduce the notion of “moral neuroenhancement,” offering a novel definition as well as spelling out three conditions under which we expect that such neuroenhancement would be most likely to be permissible (or even desirable). Furthermore, we draw a distinction between first-order moral capacities, which we suggest are less promising targets for neurointervention, and second-order moral capacities, which we suggest are more promising. We conclude by discussing concerns that moral neuroenhancement might restrict freedom (...) or otherwise “misfire,” and argue that these concerns are not as damning as they may seem at first. (shrink)

Harry Frankfurt had insightfully pointed out that an agent acts freely when he acts in accord with the mental states with which he identifies. The concept of identification rightly captures the ownership condition (something being one’s really own), which plays a significant role in the issues of freedom and moral responsibility. For Frankfurt, identification consists of one’s forming second-order volitions, endorsing first-order desires, and issuing in his actions wholeheartedly. An agent not only wants to φ but (...) also fully embraces his desire to φ (and φ). Frankfurt’s official theory above encounters some serious problems, especially since it is believed that his concept of wholehearted identification is too strong to be necessary for freedom. In this paper, I propose that we can uncouple identification from wholeheartedness and thus get two different senses of identification: weak identification and strong identification. Then, I argue that this distinction does a better job than Frankfurt’s official theory. On the one hand, weak identification is enough for ownership and freedom and thus more promising than strong identification; on the other hand, this distinction has an attractive implication that it fits well with our intuition about the degree of freedom and responsibility. (shrink)

The author argues for the following as constituents of the moral virtue of open-mindedness: a second-order awareness that is not reducible to first-order doubt; strong moral concern for members of the moral community; and some freedom from reactive habit patterns, particularly with regard to one's self-narratives, or equanimity. Drawing on Buddhist philosophical accounts of equanimity, the author focuses on the third constituent, equanimity, and argues that it is a central, but often ignored, component of the moral (...) virtue of open-mindedness, and its absence can explain many failures of open-mindedness. (shrink)

The choice of tracking Hegel’s reception in the Arab world in order to explore the connections between modernity and colonialism is an excellent one, since it was Hegel himself who inaugurated the explicit philosophical discourse of modernity (Habermas 1990: 4-5). Ventura’s book is divided into three parts of roughly equal length of around fifty pages each. The first part provides an overview of Hegel’s philosophy of history, and of the place of Arab peoples and Islam in his philosophy of (...) history. This section allows Ventura to put forward some of her own interpretations in relation to questions that are the objects of controversy in the secondary literature on Hegel. In general, Ventura’s account of Hegel’s views on Arabs and Islam draws attention to the internal differentiation which characterized ‘Orientalism’ as a discourse. The second part of the book deals with the indirect reception of Hegel in nineteenth century Ottoman Syria (which encompassed modern day Lebanon, Syria, Palestine and Jordan). Ventura’s salutary emphasis on internal differentiation is one of the strengths of this part of the book. She emphasizes the differences between the American Protestant missionaries who founded the Syrian Protestant College in 1866 and the French Jesuits who founded the Université Saint-Joseph in 1880. Ventura argues that the American Protestant missionaries were influenced by Hegel (58), whereas the French Jesuits were not (59). The third part of the book attempts to provide an account of the direct reception of Hegel in the Arab world which, according to Ventura, only begins in the 1960s and 1970s. Ventura’s account of the contemporary reception of Hegel is based on the research that she conducted in Syria and Lebanon in 2009-2010, which involved conducting interviews with prominent Syrian and Lebanese philosophers and examining libraries. While the title of the book might suggest that it aims to provide an account of the reception of Hegel in the Arab world as a whole, the focus is really on the reception of Hegel in modern day Syria and Lebanon, with Egypt being given rather cursory treatment. (shrink)

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship to the first order principles of Regularity and Super Regularity.

A number of widely discussed court decisions on cases of insults against religious feelings in Russia, such as the relatively recent “Pokemon Go” case of blogger Ruslan Sokolovsky or the lawsuit filed against an Orthodox priest by Nikolai Ryabchevsky in Yekaterinburg for comparing Lenin with Hitler, make pertinent the question of why toleration becomes so difficult in matters concerning religion. In this paper, I revise the classical liberal concept of toleration (David Heyd, Peter Nicholson, and John Horton), arguing that it (...) is challenged by contemporary philosophers, who see no room for applying this concept in the “domain of identities”. The most prominent case of “primordial” identity, that is, the notion of identity as a given, is the claim of devoted believers for recognition. Should we replace the principle of toleration by the principle of recognition since the latter better corresponds to identity claims? To address this question, in the first part of the article I describe the mechanism of tolerant attitude (Nicholson, Heyd) and in the second part, I analyze the debates about the possibility or impossibility of inner religious toleration (Avishai Margalit, Cary Nederman, and Maxim Khomyakov) and further compare toleration and recognition as normative principles. In the light of the debates I took part in the conference hosted by the University of Southern Denmark in October 2019 as part of the project “Religious Majority/Minority in Public Space in Russia and Northern Europe: Historical-Cultural Analysis”, I come to the conclusion that the principle of toleration is preferable to the principle of recognition because the “second-order” arguments for toleration in a secular state will be universally acceptable (pragmatic argument) and, therefore, the principle of toleration is more logical (analytical argument). Following Peter John’s thesis about minimal recognition embedded in toleration, it may also be concluded that we need a normatively charged idea of citizenship, which could provide us with universal “second-order” foundation. (shrink)

examine Nathan Salmon’s solution to the problem of trivialization, as it arises for conceptions of general term rigidity that construe it as identity of designation across possible worlds. I argue that he does not succeed in showing that some alleged general terms, such as “the colour of the sky” are non-rigid, but also that a small class of different examples that he presents, which can be construed as second order descriptions, are indeed non-rigid general terms, although for reasons (...) different from those he thought. (shrink)

Is second-order logic logic? Famously Quine argued second-order logic wasn't logic but his arguments have been the subject of influential criticisms. In the early sections of this paper, I develop a deeper perspective upon Quine's philosophy of logic by exploring his positive conception of what logic is for and hence what logic is. Seen from this perspective, I argue that many of the criticisms of his case against second-order logic miss their mark. Then, in (...) the later sections, I go beyond Quine to develop a novel case that quantification into polyadic predicate position, understood as requiring quantifiers to range over relations, isn't intelligible. (shrink)

A second-order conspiracy (SOC) is a conspiracy that aims to create (and typically also disseminate) a conspiracy theory. Second-order conspiracy theories (SOCT) are theories that explain the occurrence of a given conspiracy theory by appeal to a conspiracy. In this paper I argue that SOC and SOCT are useful and coherent concepts, while also having numerous philosophically interesting upshots (in terms of epistemology, explanation, and prediction). Secondly, I appeal to the nature of two specific kinds of (...) second-order conspiracies to make the case for what has been called ‘local generalism’ (Stamatiadis-Bréhier 2023a). Specifically, I focus on so-called ‘denial industries’ to argue that the structure of these second-order conspiracies allows us to infer non-accidental generalisations about the domain of conspiracy theories. Even though it is true that there is nothing epistemically problematic with the general class of conspiracy theories, there are specific subsets of conspiracy theories that warrant immediate strong suspicion (cf. Dentith 2022). By looking at the intricate mechanisms by which these denial industries operate, we can infer that the conspiracy theories that are produced by them are epistemically unwarranted. I conclude by making some exploratory remarks about what the metaphysics of second-order conspiracies would look like. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is (...) actually a familiar part of our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (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)

A normative reason for a person to? is a consideration which favours?ing. A motivating reason is a reason for which or on the basis of which a person?s. This paper explores a connection between normative and motivating reasons. More specifically, it explores the idea that there are second-order normative reasons to? for or on the basis of certain first-order normative reasons. In this paper, I challenge the view that there are second-order reasons so understood. I (...) then show that prominent views in contemporary epistemology are committed to the existence of second-order reasons, specifically, views about the epistemic norms governing practical reasoning and about the role of higher-order evidence. If there are no second-order reasons, those views are mistaken. (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine (...) Williamson’s primitivist approach according to which second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. (...) Of course, it's no small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

Context: The problems that are most in need of interdisciplinary collaboration are “wicked problems,” such as food crises, climate change mitigation, and sustainable development, with many relevant aspects, disagreement on what the problem is, and contradicting solutions. Such complex problems both require and challenge interdisciplinarity. Problem: The conventional methods of interdisciplinary research fall short in the case of wicked problems because they remain first-order science. Our aim is to present workable methods and research designs for doing second-order (...) science in domains where there are many different scientific knowledges on any complex problem. Method: We synthesize and elaborate a framework for second-order science in interdisciplinary research based on a number of earlier publications, experiences from large interdisciplinary research projects, and a perspectivist theory of science. Results: The second-order polyocular framework for interdisciplinary research is characterized by five principles. Second-order science of interdisciplinary research must: 1. draw on the observations of first-order perspectives, 2. address a shared dynamical object, 3. establish a shared problem, 4. rely on first-order perspectives to see themselves as perspectives, and 5. be based on other rules than first-order research. Implications: The perspectivist insights of second-order science provide a new way of understanding interdisciplinary research that leads to new polyocular methods and research designs. It also points to more reflexive ways of dealing with scientific expertise in democratic processes. The main challenge is that this is a paradigmatic shift, which demands that the involved disciplines, at least to some degree, subscribe to a perspectivist view. Constructivist content: Our perspectivist approach to science is based on the second-order cybernetics and systems theories of von Foerster, Maruyama, Maturana & Varela, and Luhmann, coupled with embodied theories of cognition and semiotics as a general theory of meaning from von Uexküll and Peirce. (shrink)

Epistocracy and populism are usually seen as opposites. The first finds error in democracy’s reliance on the sub-optimal decisions by the supposedly incompetent masses, and argues that political decisions should be tied to epistemic merit, not popularity. The populist critique of democracy, contrarily, finds that there is not enough political confrontation in standard representative democracies where the ‘real people’ are not properly embodied, and thus pits an imagined direct will of the unified and virtuous people against a self-serving establishment. This (...) article demonstrates that these ideologies have surprising underlying similarities concerning their categorization, political ontology, epistemology and a conception of political authority. Firstly, they both are second-order political ideologies that are not directly tied with substantive political content but rather with the interpretation of how to govern assuming disagreement concerning first-order political ideologies. Secondly, their political ontology divides citizens into two constitutively differing parts, one of which they (partly) exclude from political membership. Thirdly, their political epistemology assumes the existence of political truths which makes their conception of authority anti-proceduralist, either instrumentalist or moralist. Fourthly, they downplay the value of pluralism, deliberation and dissent. Uncovering these commonalities helps us detect and understand the dynamics of some anti-democratic tendencies better. (shrink)

Philosophers who work on desert-adjustment within axiology often articulate the concept of desert as follows: x deserves y on the basis of z. This formulation allows for a focused examination that encompasses deservers, deservings, and desert bases. I call this first-order desert. This paper posits that axiology grounded solely in first-order desert fails to adequately capture our nuanced intuitions concerning desert. I contend that to construct an axiology that more effectively aligns with our desert-sensitive intuitions, we must incorporate (...) considerations of second-order desert. Second-order desert is defined as follows: x deserves to live a life in which x deserves y on the basis of z. Initially, I provide a definition of first-order desert, followed by an elucidation of second-order desert. Subsequently, I explore various counter-arguments against my proposition. I defend my proposal against potential counter-arguments, demonstrating that a desert-adjusted axiological theory will be significantly better-off by incorporating second-order desert considerations. (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)

The paper sets forth an argument against Kim's distinction between levels and orders.

This paper puts forward three critiques of pardo’s second-order proof rules thesis. The first criticism states that these rules are not suitable to guide the interpretation of standards of proof rules because they confuse matters of legal interpretation with matters of epistemology. The second criticism states that second-order proof rules are affected by the same indeterminacy problems they are designed to resolve, thereby rendering them unsuitable for the task they are purposely designed for. The third (...) criticism renders pardo’s proposal redundant. a reconceptualization of second-order proof rules is offered. (shrink)

Aside from the systematic theory of recognition, Honneth’s work in the last decade has also centered around a less commented-upon theme: the critical social theoretic diagnosis of social pathologies. This paper claims first that his diverse diagnoses of specific social pathologies can be productively united through the conceptual structure evinced by second-order disorders, where there are substantial disconnects, of various kinds, between first-order contents and second-order reflexive understandings of those contents. The second major claim (...) of the paper is that once we understand social pathologies as second-order disorders, it becomes apparent that critical social theory must do more than accurately identify and explicate these disorders at the phenomenological and action-theoretic levels. It must further engage in insightful sociological explanations of the social causes of those pathologies in order to further the prognostic and therapeutic tasks implied by the aim of developing a social theory with emancipatory intent. The paper argues that the identificatory and explicative components of diagnostic social theory have been fulfilled by Honneth to a much greater degree than the latter components of explanation, prognosis and therapy. (shrink)

Both motivational internalism and externalism need to explain why sometimes moral judgments tend to motivate us. In this paper, I argue that Dreier’ second-order desire model cannot be a plausible externalist alternative to explain the connection between moral judgments and motivation. I explain that the relevant second-order desire is merely a constitutive requirement of rationality because that desire makes a set of desires more unified and coherent. As a rational agent with the relevant second-order (...) desire is disposed towards coherence, she will have some motivation to act in accordance with her moral judgments. Dreier’s second-order desire model thus collapses into a form of internalism and cannot be a plausible externalist option to explain the connection between moral judgments and motivation. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as (...) being either extensional or intensional—and whether either is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

The aim of this paper is to examine whether it is morally wrong to ban only male citizens from leaving a country in wartime, and if it is, why it is the case. Following Russia’s invasion of Ukraine, President Volodymyr Zelensky declared martial law and ordered general mobilization, at the same time prohibiting male citizens aged 18 to 60 from crossing the border. The justifiability of the ban is in dispute, and opponents have made a case in both legal and (...) moral dimensions. In the moral dimension, there are arguments based on consequentialism, individual freedom, and fairness or non-discrimination. In this paper, I focus on the third argument and argue that the ban unfairly and morally wrongfully discriminates against male Ukraine citizens on the basis of their gender. First, I define discrimination and apply it to our case. Second, moving from the descriptive definition of discrimination to its moral wrongness, I argue that the male-only ban is unfair and morally unjustified. Third, I argue that the ban can also be deemed morally wrong from one of the prominent views in the field of the ethics of discrimination, namely the deliberative freedom view. (shrink)

Egan argues against Lewis’s view that properties are sets of actual and possible individuals and in favour of the view that they are functions from worlds to extensions (sets of individuals). Egan argues that Lewis’s view implies that 2nd order properties are never possessed contingently by their (1st order) bearers, an implication to which there are numerous counter-examples. And Egan argues that his account of properties is more commensurable with the role they play as the semantic values of (...) predicates than is Lewis’s. (shrink)

The target article proposes that people perceive social robots as depictions rather than as genuine social agents. We suggest that people might instead view social robots as social agents, albeit agents with more restricted capacities and moral rights than humans. We discuss why social robots, unlike other kinds of depictions, present a special challenge for testing the depiction hypothesis.

In this article I discuss a recent proposal according to which human beings are in need of moral enhancement by novel biomedical means in order to reduce the risk of catastrophes that could threaten the very possibility of continued human existence on this planet. I raise two objections to this proposal. The first objection claims that the idea that human beings could be morally enhanced by altering our emotional psychological inclinations, such as altruism, is misguided. In the line with (...) Kantian understanding of morality I argue that our morality is based on rationality and not on inclinations. If we take this view of morality it becomes clear that the proposed enhancement by biomedical means cannot be moral enhancement. What is enhanced is emotional aspect of our character, not our morality. People enhanced in this way would not act on the basis of their deliberate choices but on basis of preprogramed psychological inclination. This would in turn undermine our basic moral concept of freedom and, thereby, of moral responsibility. The second objection to the proposal show how the idea that moral enhancement by biomedical means should be mandatory violates political freedom of citizens. Faced with the objection that moral enhancement by biomedical means could be necessary in order to prevent catastrophic destruction of environment, in the final part of this chapter I try to point to education and liberal democracy as the alternative and morally acceptable ways of changing our behaviour. (shrink)

These comments, on the paper by Branden Thornhill-Miller and Peter Millican, and on the critique of that paper by Janusz Salamon, divide into four sections. In the first two sections, I briefly sketch some of the major themes from the paper by Thornhill-Miller and Millican, and then from the critique by Salamon. In the final two sections, I provide some critical thoughts on Salamon’s objections to Thornhill-Miller and Millican, and then on the leading claims made by Thornhill-Miller and Millican. I (...) find much to commend, but also some things to dispute, in both papers. As is so often the way, I shall focus on areas of disagreement. (shrink)

Purpose – This study aims to examine the observer’s role in “infant psychophysics”. Infant psychophysics was developed because the diagnosis of perceptual deficits should be done as early in a patient’s life as possible, to provide efficacious treatment and thereby reduce potential long-term costs. Infants, however, cannot report their perceptions. Hence, the intensity of a stimulus at which the infant can detect it, the “threshold”, must be inferred from the infant’s behavior, as judged by observers (watchers). But whose abilities are (...) actually being inferred? The answer affects all behavior-based conclusions about infants’ perceptions, including the well-proselytized notion that auditory stimulus-detection thresholds improve rapidly during infancy. Design/methodology/approach – In total, 55 years of infant psychophysics is scrutinized, starting with seminal studies in infant vision, followed by the studies that they inspired in infant hearing. Findings – The inferred stimulus-detection thresholds are those of the infant-plus-watcher and, more broadly, the entire laboratory. The thresholds are therefore tenuous, because infants’ actions may differ with stimulus intensity; expressiveness may differ between infants; different watchers may judge infants differently; etc. Particularly, the watcher’s ability to “read” the infant may improve with the infant’s age, confounding any interpretation of perceptual maturation. Further, the infant’s gaze duration, an assumed cue to stimulus detection, may lengthen or shorten nonlinearly with infant age. Research limitations/implications – Infant psychophysics investigators have neglected the role of the observer, resulting in an accumulation of data that requires substantial re-interpretation. Altogether, infant psychophysics has proven far too resilient for its own good. Originality/value – Infant psychophysics is examined for the first time through second-order cybernetics. The approach reveals serious unresolved issues. (shrink)

This paper proposes the feasibility of a second-order approach in cosmology. It is intended to encourage cosmologists to rethink standard ideas in their field, leading to a broader concept of self-organization and of science itself. It is argued, from a cognitive epistemology perspective, that a first-order approach is inadequate for cosmology; study of the universe as a whole must include study of the scientific observer and the process of theorizing. Otherwise, concepts of self-organization at the cosmological scale (...) remain constrained by unacknowledged assumptions and biases. Examples of limiting notions are discussed in the context of alternatives. To include the role of the theorist does not mean reducing science to subjective or sociological terms. On the contrary, second-order science would provide a more complete portrait of nature. The work of cosmologist Lee Smolin is discussed as a candidate example of second-order cosmology. (shrink)

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

Locke’s Second Treatise of Government lays the foundation for a fully liberal order that includes representative and limited government, and that guarantees basic civil liberties. Though future thinkers filled in some gaps left in his doctrine, such as division of powers between executive and judicial branch of government, as well as fuller exposition of economic freedom and human rights, it is Locke, who paves the way for others. The article reviews the Treatise, paying particular attention to his (...) ingenious way to render absolute power illegitimate and to create an order that breeds citizens, not subject. In this, the article claims, Locke is a Whig rather than a continental liberal. He worries about state omnipotence and the threat it poses for citizens. Though resorting to an abstract construct—state of nature—he still is a common sense, English thinker, far from a continental reformer who would thoroughly redesign the existing order. (shrink)

Open peer commentary on the article “Constructivist Model Building: Empirical Examples From Mathematics Education” by Catherine Ulrich, Erik S. Tillema, Amy J. Hackenberg & Anderson Norton. Upshot: I argue that radical constructivism poses a series of deep methodological constraints on educational research. We focus on the work of Ulrich et al. to illustrate the practical implications of these constraints.

In this paper, a horizontally moving suspended mass pendulum base is designed and controlled using robust control theory. H  optimal loop shaping with first and second order desired loop shaping function controllers are used to improve the performance of the system using Matlab/Simulink Toolbox. Comparison of the H  optimal loop shaping with first and second order desired loop shaping function controllers for the proposed system have been done to track the desired angular position of (...) the pendulum using step and sine wave input signals and a promising result has been obtained succesfully. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

We extend Barbanera and Berardi's symmetric lambda calculus [2] to second-order classical propositional logic and prove its strong normalization.

In this article, it is argued that a significant internal tension exists in John Rawls' political liberalism. He holds the following positions that might plausibly be considered incongruous: (1) a commitment to tolerating a broad right of freedom of political speech, including a right of subversive advocacy; (2) a commitment to restricting this broad right if it is intended to incite and likely to bring about imminent violence; and (3) a commitment to curbing this broad right only if there (...) is a constitutional crisis. By supporting a broad right of freedom of political speech in Political Liberalism, he allows militant intolerant people such as Jihadists, White Supremacists and Neo-Nazis to advocate publicly their dangerously intolerant beliefs. Public advocacy of dangerously intolerant beliefs can be construed as subversive advocacy. As demonstrated by the historical examples of the Weimar Republic and the Second Spanish Republic, militant intolerant groups could use a right of subversive advocacy to threaten the stability of liberal democracies. Hence, by allowing them to exercise a broad right of freedom of political speech, Rawls could jeopardize that which he intends to defend, namely the actual political stability of a liberal democratic order. Lastly, Rawls' conception of ideal constitutional interpretation, which privileges a broad right of freedom of political speech, might be insufficient to deal effectively with the threat posed by militant intolerant groups. Yet a tradition of American constitutional interpretation that balances freedom of speech with other important constitutional and/or political values has overcome a civil war, two world wars, the Cold War and the 9/11 terrorist attacks without abandoning democracy or permanently renouncing those values. Still, Rawls' ideal approach to constitutional interpretation might, in hindsight, help us to understand some of the excesses and deficiencies of American jurisprudence in times of emergency.<br><br><br><br>. (shrink)

Beauvoir’s Ethics of Ambiguity appears to defend a distinctly existentialist, deontologically-constrained version of consequentialism. On that interpretation, her belief that freedom consists in the real possibilities provided by our concrete situation leads her to reject Kantian autonomy to allow for some consequentialist decisions, while her belief that our situation derives its meaning from freely-chosen projects leads her to limit such choices to their consequences for situated freedom rather than general happiness. However, I will argue that Beauvoir’s view is (...) better understood as a non-deontological, internal critique of consequentialism, rooted in Marx’s historical materialism rather than her existentialist commitments. Beauvoir challenges consequentialism’s tendency to evaluate decision-making over actions, and intended or predicted consequences over actual ones, considering consequences during a limited time-frame despite their variable, contingent future value. In other words, consequentialism is insufficiently consequentialist, a view rooted in historical materialism in two ways. First, her materialist understanding of freedom as situated possibility requires an ethics that prioritizes real rather than projected consequences. Materialist consequentialism acknowledges outcomes are never final and so refuses to assign unambiguous moral value. A decision’s ethical value is preserved only to the degree that the value of its real consequences for existing individuals’ projects is maintained into the indefinite future. Second, her view that value is historical, a human creation based in our actual situation’s contingent utility to our individually chosen projects, denies that any consequence has a fixed value independent of the historical development of humanity as realized through individual choices. Historical-materialist consequentialism demands moral agents retroactively reassess the moral status of every action in order to repair consequences that have, because of changing human purposes, become obstacles to freedom. Together, these historical materialist constraints ground Beauvoir’s demand for an ethics that is ambiguous in principle as well as practice: no decision, action, or consequence has a fixed moral value because consequences are always incomplete and, even when they do not change, the projects that give them value change. While compatible with existentialist conceptions of freedom, responsibility, and authenticity, her ethics does not require such commitments, making it more Marxist than existentialist in character. (shrink)