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)

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)

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)

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. Firstly, Kant’s Anthropology studies the human being “as a freely acting being”. 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. Secondly, 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. Thirdly, 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 1, 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 2 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)

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)

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)

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)

“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)

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)

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)

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)

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.

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)

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

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)

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)

The traditional sciences have always had trouble with ambiguity. Through the imposition of “enabling constraints” -- making a set of assumptions and then declaring ceteris paribus -- science can bracket away ambiguity. These enabling constraints take the form of uncritically examined presuppositions or “uceps.” Second order science examines variations in values assumed for these uceps and looks at the resulting impacts on related scientific claims. After rendering explicit the role of uceps in scientific claims, the scientific method is (...) used to question rarely challenged assertions. This article lays out initial foundations for second order science, its ontology, methodology, and implications. (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.

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)

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)

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)

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)

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)

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)

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.

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.

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)

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)

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)):.

Heidegger tries to explain our emotional life applying three schemes: causal explanation, mental internalisation of emotions and metaphorical expression. None of the three schemes explains emotion though. Either because the causal nexus does not always occur or because objects and people in the external world are carriers of emotional agents or because language is already on a metaphorical level. Moreover, how is it possible that there are presently emotions constituting our life without our being aware of their existence? From the (...) analysis of boredom in its three varieties (“bored by X”, “get oneself bored”, and “it is boring”) we will get to the depth where emotions lie, trying to rouse them and to keep them awake. Although it surfaces with the force and energy of the present, every emotion has its past and future constitution. How can we understand the future of a present emotion along with its past? (shrink)

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

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)

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)

A famous passage in Section 64 of Frege’s Grundlagen may be seen as a justification for the truth of abstraction principles. The justification is grounded in the procedureofcontent recarvingwhich Frege describes in the passage. In this paper I argue that Frege’sprocedure of content recarving while possibly correct in the case of first-order equivalencerelations is insufficient to grant the truth of second-order abstractions. Moreover, I propose apossible way of justifying second-order abstractions by referring to the operation (...) of contentrecarving and I show that the proposal relies to a certain extent on the Basic Law V. Therefore,if we are to justify the truth of second-order abstractions by invoking the content recarvingprocedure we are committed to a special status of some instances of the Basic Law V and thusto a special status of extensions of concepts as abstract objects. (shrink)

Beginning with a survey of the shortcoming of theories of organology/media-as-externalization of mind/body—a philosophical-anthropological tradition that stretches from Plato through Ernst Kapp and finds its contemporary proponent in Bernard Stiegler—I propose that the phenomenological treatment of media as an outpouching and extension of mind qua intentionality is not sufficient to counter the ̳black-box‘ mystification of today‘s deep learning‘s algorithms. Focusing on a close study of Simondon‘s On the Existence of Technical Objectsand Individuation, I argue that the process-philosophical work of Gilbert (...) Simondon, with its critique of Norbert Wiener‘s first-order cybernetics, offers a precursor to the conception of second-order cybernetics (as endorsed byFrancisco Varela, Humberto Maturana, and Ricardo B. Uribe) and, specifically, its autopoietic treatment of information. It has been argued by those such as Frank Pasquale that neuro-inferential deep learning systems premised on predictive patterning, suchas AlphaGo Zero, have a veiled logic and, thus, are ̳black boxes‘. In detailing a philosophical-historical approach to demystify predictive patterning/processing and the logic of such deep learning algorithms, this paper attempts to shine a light on such systems and their inner workingsàla Simondon. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the (...) second-order domain in terms of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

This paper argues that, given the representational theory of mind, one cannot know a priori that one knows that p as opposed to being incapable of having any knowledge states; but one can know a priori that one knows that p as opposed to some other proposition q.

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)

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)

Abstract : The main goal in this work to find the general solution for some kind of linear second order homogenous differential equations with variable coefficients which have the general form , by using the substitution ,which transform form the above equation to Riccati equation .

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)

Purpose – This paper aims to extend the companion paper on “infant psychophysics”, which concentrated on the role of in-lab observers (watchers). Infants cannot report their own perceptions, so for five decades their detection thresholds for sensory stimuli were inferred from their stimulus-evoked behavior, judged by watchers. The inferred thresholds were revealed to inevitably be those of the watcher–infant duo, and, more broadly, the entire Laboratory. Such thresholds are unlikely to represent the finest stimuli that the infant can detect. What, (...) then, do they represent? Design/methodology/approach – Infants’ inferred stimulus-detection thresholds are hypothesized to be attentional thresholds, representing more-salient stimuli that overcome distraction. Findings – Empirical psychometric functions, which show “detection” performance versus stimulus intensity, have shallower slopes for infants than for adults. This (and other evidence) substantiates the attentional hypothesis. Research limitations/implications – An observer can only infer the mechanisms underlying an infant’s perceptions, not know them; infants’ minds are “Black Boxes”. Nonetheless, infants’ physiological responses have been used for decades to infer stimulus-detection thresholds. But those inferences ultimately depend upon observer-chosen statistical criteria of normality. Again, stimulus-detection thresholds are probably overestimated. Practical implications – Owing to exaggerated stimulus-detection thresholds, infants may be misdiagnosed as “hearing impaired”, then needlessly fitted with electronic implants. Originality/value – Infants’ stimulus-detection thresholds are re-interpreted as attentional thresholds. Also, a cybernetics concept, the “Black Box”, is extended to infants, reinforcing the conclusions of the companion paper that the infant-as-research-subject cannot be conceptually separated from the attending laboratory staff. Indeed, infant and staff altogether constitute a new, reflexive whole, one that has proven too resilient for anybody’s good. (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)

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)

Constructivism is a philosophical current that manifests itself greatly within the realm of contemporary epistemology. Its bases come from the idea that knowledge is not only actively constructed by the observer but also provides a lens through which reality can be interpreted as a result of experiences. This paper traces a brief interdisciplinary curve that outlines some of the most important philosophical approaches that contributed to the consolidation of this school of thought for more than twenty-five centuries.

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)