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)

Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated purely extensionally. I argue that if we interpret them as ranging over properties more reasonably (...) construed, in accordance with an abundant or deflationary conception, Quine’s charge can be resisted. This interpretation need not be seen as precluding the use of model-theoretic semantics for second-order languages; but it will preclude the use of the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the approach I recommend has revisionary implications which some may find unpalatable; it is, however, compatible with the quite different special case in which the second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, some important metalogical results obtainable under the standard semantics may still be obtained. In my final section, I discuss the relations between second-order logic, interpreted as I recommend, and a strong version of schematic ancestral logic promoted in recent work by Richard Heck. I argue that while there is an interpretation on which Heck’s logic can be contrasted with second-order logic as standardly interpreted, when it is so interpreted, its differences from the more modest form of second-order logic I advocate are much less substantial, and may be largely presentational. (shrink)

We examine second order intuitionistic propositional logic, IPC². Let $F_\exists $ be the set of formulas with no universal quantification. We prove Glivenko's theorem for formulas in $F_\exists $ that is, for φ € $F_\exists $ φ is a classical tautology if and only if ¬¬φ is a tautology of IPC². We show that for each sentence φ € $F_\exists $ (without free variables), φ is a classical tautology if and only if φ is an intuitionistic tautology. As (...) a corollary we obtain a semantic argument that the quantifier V is not definable in IPC² from ⊥, V, ^, →. (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)

A second-order preference is a preference over preferences. This paper addresses the role that second-order preferences play in a theory of instrumental rationality. I argue that second-order preferences have no role to play in the prescription or evaluation of actions aimed at ordinary ends. Instead, second-order preferences are relevant to prescribing or evaluating actions only insofar as those actions have a role in changing or maintaining first-order preferences. I establish these claims (...) by examining and rejecting the view that second-order preferences trump first-order preferences. I also examine and reject the view that second-order preferences give additional normative force to an agent’s preferred first-order preferences. I conclude by arguing that second-order preferences should be integrated into an agent’s object-level preference ordering, and by explaining how best to make sense of this integration. (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)

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)

Pure second-order logic is second-order logic without functional or first-order variables. In "Pure Second-Order Logic," Denyer shows that pure second-order logic is compact and that its notion of logical truth is decidable. However, his argument does not extend to pure second-order logic with second-order identity. We give a more general argument, based on elimination of quantifiers, which shows that any formula of pure second-order logic with (...) second-order identity is equivalent to a member of a circumscribed class of formulas. As a corollary, pure second-order logic with second-order identity is compact, its notion of logical truth is decidable, and it satisfies a pure second-order analogue of model completeness. We end by mentioning an extension to n th-order pure logics. (shrink)

Sellars [1960, ‘Grammar and existence: A preface to ontology’] argues that the truth of a second-order sentence does not incur commitment to there being any sort of abstract entity. This paper begins by exploring the arguments that Sellars offers for the above claim. It then develops those arguments by pointing out places where Sellars has been unclear or ought to have said more. In particular, Sellars's arguments rely on there being a means by which language users could come (...) to understand sentences of a second-order language wherein the truth of second-order existential sentences do not require there to be abstract entities. In addition to this, as Sellars [1979, Naturalism and Ontology] notes, a formal account of quantification is required that does not make use of the apparatus of sequences. Both such a translation of and a formal account of quantification are provided in this article. (shrink)

The logic of paradox, LP, is a first-order, three-valued logic that has been advocated by Graham Priest as an appropriate way to represent the possibility of acceptable contradictory statements. Second-order LP is that logic augmented with quantification over predicates. As with classical second-order logic, there are different ways to give the semantic interpretation of sentences of the logic. The different ways give rise to different logical advantages and disadvantages, and we canvass several of these, concluding (...) that it will be extremely difficult to appeal to second-order LP for the purposes that its proponents advocate, until some deep, intricate, and hitherto unarticulated metaphysical advances are made. (shrink)

Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences.

This paper discusses the meaning of the concept of ‘second-order observation’ used by Niklas Luhmann (1927–1998). Luhmann identifies second-order observation as a defining characteristic of modern world society. According to Luhmann, all social systems construct a social reality on the basis of the observation of observations. Rating agencies in the economy or the peer-review process in the academic system are examples of social mechanisms manifesting second-order observation. Social media also represent organized second-order (...) observation. The paper suggests that in a society based on second-order observation, ‘genuine pretending’ is an adequate mode of existence. This notion is derived from the Daoist text Zhuangzi. It indicates a disassociation from social roles which allows their performers to exercise these roles with ease and, at the same time, maintain a state of sanity. (shrink)

This paper explores the thesis that the concept of cultural techniques should be strictly limited to symbolic technologies that allow for self-referential recursions. Writing enables one to write about writing itself; painting itself can be depicted in painting; films may feature other films. In other words, cultural techniques are defined by their ability to thematize themselves; they are second-order techniques as opposed to first-order techniques like cooking or tilling a field. To illustrate his thesis, Macho discusses a (...) sequence of historical examples, from body signs and death masks to digital code and ID papers. These examples serve to reiterate another basic proposal that is already announced in the paper’s title. The recursive, self-observing qualities of cultural techniques make them a ‘technology of the self’ and thus render them indispensable for the generation, repetition and maintenance of identity. (shrink)

When laypersons are presented with scientific information which seeks to modify their way of life, they are expected to believe, suspend belief, or reject it. Second-order assessment of scientific experts helps laypersons to make an informed decision in such situations. This is an assessment of the trustworthiness of the person making the scientific claim. In this paper I challenge the optimistic view of Anderson (2011), regarding the ease with which laypersons can perform second-order assessment of experts, (...) by pointing out some of the obstacles that may prevent laypersons from arriving at an informed decision through this means. By showing that laypersons cannot easily perform second-order assessment of experts, I make a case for sharing epistemic burdens in science communication by using Lackey's (2006) concept of dualism in the epistemology of testimony and Irzik and Kurtulmus’ (2019) work on public epistemic trust in science, as a guide. I invite experts to bear a greater share of the epistemic burden when communicating with laypersons because of their privileged epistemic condition vis-à-vis laypersons. (shrink)

This paper investigates whether there is an acceptable version of Functionalism that avoids commitment to second-order properties. I argue that the answer is "no". I consider two reductionist versions of Functionalism, and argue that both are compatible with multiple realization as such. There is a more specific type of multiple realization that poses difficulties for these views, however. The only apparent Functionalist solution is to accept second-order properties.

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order set theory (...) and second-order logic are not radically different: the latter is a major fragment of the former. (shrink)

A second-order probability Q(P) may be understood as the probability that the true probability of something has the value P. “True” may be interpreted as the value that would be assigned if certain information were available, including information from reflection, calculation, other people, or ordinary evidence. A rule for combining evidence from two independent sources may be derived, if each source i provides a function Qi(P). Belief functions of the sort proposed by Shafer (1976) also provide a formula (...) for combining independent evidence, Dempster's rule, and a way of representing ignorance of the sort that makes us unsure about the value of P. Dempster's rule is shown to be at best a special case of the rule derived in connection with second-order probabilities. Belief functions thus represent a restriction of a full Bayesian analysis. (shrink)

This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking (...) coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators. (shrink)

Empirical studies have demonstrated that uncertainty about event probabilities, also known as ambiguity or second-order uncertainty, can affect decision makers’ choice preferences. Despite the importance of second-order uncertainty in decision making, almost no effort has been directed towards the development of methods that evaluate the accuracy of second-order probabilities. In this paper, we describe conditions under which strictly proper scoring rules can be used to assess the accuracy of second-order probability judgments. We (...) investigate the effectiveness of using a particular strictly proper scoring rule the ranked probability score - to discourage biased assessments of second-order uncertainty. (shrink)

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] (...) and substantially using a third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. (shrink)

Quine’s charge against second-order logic is that it carries massive existential commitments. This chapter argues that if we interpret second-order variables as ranging over properties construed in accordance with an abundant or deflationary conception, Quine’s charge can be resisted. This need not preclude the use of model-theoretic semantics for second-order languages; but it precludes the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the (...) approach of this chapter has revisionary implications; it is, however, compatible with the different special case in which second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, important metalogical results obtainable under the standard semantics may still be obtained. Finally, the chapter discusses the relations between second-order logic, interpreted as recommended, and a strong version of schematic ancestral logic promoted in recent work by Richard Kimberly Heck. (shrink)

People are often reluctant to make decisions by calculating the costs and benefits of alternative courses of action in particular cases. Knowing, in addition, that they may err, people and institutions often resort to second order strategies for reducing the burdens of, and risk of error in, first order decisions. They make a second order decision when they choose one from among such possible strategies. They adopt rules or presumptions; they create standards; they delegate authority (...) to others; they take small steps; they pick rather than choose. Some of these strategies impose high costs before decision but low costs at the time of ultimate decision; others impose low costs both before and at the time of ultimate decision; still others impose low costs before decision while exporting to others the high costs at the time of decision. (shrink)

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be (...) in manifest conflict with each other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol (...) Logic 45:464–482, 1980 ). Therefore, it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (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.

Context: The term “second-order cybernetics” was introduced by von Foerster in 1974 as the “cybernetics of observing systems,” both the act of observing systems and systems that observe. Since then, the term has been used by many authors in articles and books and has been the subject of many conference panels and symposia. Problem: The term is still not widely known outside the fields of cybernetics and systems science and the importance and implications of the work associated with (...) second-order cybernetics is not yet widely discussed. I claim that the transition from cybernetics to second-order cybernetics is a fundamental scientific revolution that is not restricted to cybernetics or systems science. Second-order cybernetics can be regarded as a scientific revolution for the general methodology of science and for many disciplines as well. Method: I first review the history of cybernetics and second-order cybernetics. Then I analyze the major contents of von Foerster’s fundamental revolution in science and present it as a general model for an alternative methodology of science. Subsequently, I present an example of practicing second-order socio-cybernetics from within. I describe some consequences of doing science from within, and I suggest some new horizons for second-order cybernetics. Results: Second-order cybernetics leads to a new foundation for conducting science and offers important contributions for a new way of organizing science. It expands the conception of science so that it can more adequately deal with living systems. Implications: Second-order cybernetics extends the traditional scientific approach by bringing scientists within the domain of what is described and analyzed. It provides models of research processes for when the scientist is within the system being studied. In this way it offers a new foundation for research in the social sciences, in management science, and in other fields such as the environmental sciences or the life sciences. Keywords: Epistemology, general scientific methodology, cybernetics, social sciences, action research, Heinz von Foerster. (shrink)

The autonomous person is one who has, in some sense, mastery over their desires. The prevailing way to understand such personal autonomy is in terms of a hierarchy of desires. For Harry Frankfurt, persons not only have first-order desires, but possess the additional capacity to form second-order desires. Second-order desires are formed through reflection on first-order desires and are thus expressive of the rational capacity which is characteristic of persons. Frankfurt's account of freedom of (...) the will is founded on his analysis of persons. It is only because persons possess second-order desires, resulting from their capacity for rational evaluation of first-order desires, that persons (and not those Frankfurt calls 'wantons') are well placed to possess freedom of will. Various objections have been raised in the literature against such second-order desire accounts of freedom of the will or autonomy. In my article, I raise the problem of instrumental second-order desires. I discuss the forms instrumental second-order desires can take and attempt to show that these cannot be the second-order desires that Frankfurt has in mind in his account. I then extend my critique by looking at non-instrumental second-order desires. I consider various forms which non-instrumental second-order desires can take and advance the argument that Frankfurt cannot have second-order desires such as these in mind either. Finally, I note that none of the suggestions considered will deliver a second-order desire account of autonomy, and that it is baffling just what Frankfurt does have in mind. (shrink)

ABSTRACT The relation between children’s guilt proneness and theory of mind (ΤοΜ) was examined in children (Ν = 96) aged 7- to 11-years. Guilt proneness was assessed with a self-report scenario-based measure and ToM was examined with a battery of first-order and second-order mental-state tasks. Hierarchical regression analysis revealed that second-order, but not first-order, mental state understanding, predicted children’s guilt proneness. Age and gender did not have a moderating influence on this relation. These results (...) add to research investigating the significance of ToM for children’s moral emotions. (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)

In this paper we investigate several extensions of the first order-language with finitely many binary relations. The most interesting of the studied extensions appears to be the monadic second-order one. We show that the extended languages have the same expressive power as the first-order language over the class of all relational structures of equivalence relations in local agreement by providing appropriate translation of formulae. The decidability of the considered extensions over the above mentioned class of structures (...) is also shown. (shrink)

Description logics refer to a family of formalisms concentrated around concepts, roles and individuals. They belong to the most frequently used knowledge representation formalisms and provide a logical basis to a variety of well known paradigms. The main reasoning tasks considered in the area of description logics are those reducible to subsumption. On the other hand, any knowledge representation system should be equipped with a more advanced reasoning machinery. Therefore in the current paper we make a step towards integrating description (...) logics with second-order reasoning. One of the important motivations behind introducing second-order formalism follows from the fact that many forms of commonsense and nonmonotonic reasoning used in AI can be modelled within the second-order logic. To achieve our goal we first extend description logics with a possibility to quantify over concepts. Since one of the main criticisms against the use of second-order formalisms is their complexity, we next propose second-order quantifier elimination techniques applicable to a large class of description logic formulas. Finally we show applications of the techniques, in particular in reasoning with circumscribed concepts and approximated terminological formulas. (shrink)

Many people prize agency; they want to make their own choices. Many people also prize second-order agency, by which they decide whether and when to exercise first-order agency. First-order agency can be an extraordinary benefit or an immense burden. When it is an extraordinary benefit, people might reject any kind of interference, or might welcome a nudge, or might seek some kind of boost, designed to increase their capacities. When first-order agency is an immense burden, (...) people might also welcome a nudge or might make some kind of delegation (say, to an employer, a doctor, an algorithm, or a regulator). These points suggests that the line between active choosing and paternalism can be illusory. When private or public institutions override people’s desire not to exercise first-order agency, and thus reject people’s exercise of second-order agency, they are behaving paternalistically, through a form of choice-requiring paternalism. Choice-requiring paternalism may compromise second-order agency. It might not be very nice to do that. (shrink)

In this article, I discuss certain aspects of Frege’s paradigms of second-order abstraction principles, Hume’s Principle and Basic Law V, with special emphasis on the latter. I begin by arguing that, contrary to a widespread view, Frege did not express any dissatisfaction with Basic Law V before 1902. In particular, he did not raise any doubt about its assumed logical nature. I then show why Frege nonetheless fails to justify Basic Law V as a primitive logical truth along (...) the lines of the semantic justification that he provides for the other axioms of his system. In subsequent sections, I argue (a) that Frege could not have chosen Hume’s Principle as a logical axiom, neither before 1902 nor after 1902; (b) that even if in the wake of Russell’s Paradox Frege had accepted Hume’s Principle as a logical axiom, such an axiom could not have replaced Basic Law V which was designed to introduce logical objects of a fundamental and irreducible kind and to afford us the right cognitive access to them; (c) that Frege most likely held that the two sides of Basic Law V express different thoughts; (d) that for Basic Law V or for any other Fregean abstraction principle that is laid down as an axiom of a theory, the case in which both real epistemic value and self-evidence are given their due is ruled out. I make a proposal as to how Frege might have escaped this epistemic dilemma. (shrink)

How to understand metaphysical disputes is a disputed matter. Within this broader dispute, deflationist approaches read some of the traditional metaphysical debates as having metalinguistic negotiations at their roots. That is, some metaphysical disagreements are read as speakers commending each other to use some concepts over others. Thomasson's Easy Ontology exemplifies this view. In this paper, I introduce the Second-Order Moral Twin-Earth [SOMTE], a thought experiment designed to test whether such a deflationist strategy can account for disputes about (...) metanormative realism. I argue that [SOMTE] shows two patently disagreeing positions within this debate whose incompatibility can't be properly characterised by this deflationist treatment. Given the commitments of the metanormative positions in dispute, I show that the strategy of translating the metaphysical disagreement into metalinguistic disputes proves unavailable. I conclude that [SOMTE] poses a challenge to the adequacy of this deflationist treatment in the metanormative domain. (shrink)

The traditional sciences have always had trouble with ambiguity. To overcome this barrier, ‘science’ has imposed “enabling constraints”—hidden assumptions which are given the status of ceteris paribus. Such assumptions allow ambiguity to be bracketed away at the expense of transparency. These enabling constraints take the form of uncritically examined presuppositions, which we refer to throughout the article as “uceps.” The meanings of the various uceps are shown via their applicability to the science of climate change. Second order science (...) examines variations in values assumed for these uceps and looks at the resulting impacts on related scientific claims. Second order science reveals hidden issues, problems and assumptions which all too often escape the attention of the practicing scientist. This article lays out initial foundations for second order science, its ontology, methodology, and implications. (shrink)

Context: Philosophy of science is the branch of philosophy that deals with methods, foundations, and implications of science. It is a theory of how to create scientific knowledge. Presently, there is widespread agreement on how to do science, namely conjectures, ideally in the form of a mathematical model, and refutations, testing the model using empirical evidence. Problem: Many social scientists are using a conception of science created for the physical sciences. Expanding philosophy of science so that it more successfully encompasses (...) social systems would create new avenues of inquiry. Two dimensions could be added to philosophy of science: the amount of attention paid to the observer and the amount of impact of a theory on the system described. Method: My approach is to illuminate underlying assumptions. I claim that there are at least three epistemologies and that they can be combined to form a more robust conception of knowledge and of how to do research. There are at least four models and four basic elements being used by scientists. Results: The article identifies the logical propositions underlying second-order science. It suggests strategies for developing second-order science. And it describes several methods that can be used to practice second-order science, including how past theories have not only described but also changed the phenomenon being studied. Implications: The task for members of the scientific community, particularly social scientists, is to practice second-order science and to develop further its theories and methods. A practical implication is to accept methods for acting as well as theories as a contribution to science, since methods explicitly define the role of an observer/ participant. Constructivist content: The paper is an extension of the work of Heinz von Foerster and other second-order cyberneticians. (shrink)

We study elementary second order extensions of the theoryID 1 of non-iterated inductive definitions and the theoryPA Ω of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plusΠ 1 1 comprehension and bar induction without set parameters.

This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin’s generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a $$\Pi _2$$ -property formalized in an appropriate language for second (...) order number theory is forcible from some $$T\supseteq \mathsf {ZFC}+$$ large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of $$H_{\omega _1}$$ is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for $$\Delta _0$$ -properties and for all universally Baire sets of reals. We will extend these results also to the theory of $$H_{\aleph _2}$$ in a follow up of this paper. (shrink)

Background: Moral distress is a growing problem for healthcare professionals that may lead to dissatisfaction, resignation, or occupational burnout if left unattended, and nurses experience different levels of this phenomenon. Objectives: This study aims to investigate the factor structure of the Persian version of the Moral Distress Scale–Revised in intensive care and general nurses. Research design: This methodological research was conducted with 771 nurses from eight hospitals in the Mazandaran Province of Iran in 2017. Participants completed the Moral Distress Scale–Revised, (...) data collected, and factor structure assessed using the construct, convergent, and divergent validity methods. The reliability of the scale was assessed using internal consistency (Cronbach’s alpha, Theta, and McDonald’s omega coefficients) and construct reliability. Ethical considerations: This study was approved by the Ethics Committee of Mazandaran University of Medical Sciences. Findings: The exploratory factor analysis ( N = 380) showed that the Moral Distress Scale–Revised has five factors: lack of professional competence at work, ignoring ethical issues and patient conditions, futile care, carrying out the physician’s orders without question and unsafe care, and providing care under personal and organizational pressures, which explained 56.62% of the overall variance. The confirmatory factor analysis ( N = 391) supported the five-factor solution and the second-order latent factor model. The first-order model did not show a favorable convergent and divergent validity. Ultimately, the Moral Distress Scale–Revised was found to have a favorable internal consistency and construct reliability. Discussion and conclusion: The Moral Distress Scale–Revised was found to be a multidimensional construct. The data obtained confirmed the hypothesis of the factor structure model with a latent second-order variable. Since the convergent and divergent validity of the scale were not confirmed in this study, further assessment is necessary in future studies. (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string (...) and tree languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

Second-order logic is the extension of first-order logic obtaining by introducing quantification of predicate and function variables.

Second or higher order probabilities have commonly been viewed with scepticism by those working within the realm of probability and decision theory. The aim of the present note is to show how the notion of second order probabilities can add to our understanding of judgmental and decision processes and how the traditional framework of Bayesian decision theory can be extended in a fruitful way by taking such entities into account. Section one consists of a brief account (...) of arguments put forth against higher order probabilities as well as of counterarguments. In order to provide an example of the applicability of second order probabilities a decision theory encompassing such probabilities will be presented in section two. In section three I will try to emphasize the value of second order probabilities for a deeper and more complete understanding of the notion of risk. (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)

In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal (...) assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic. (shrink)

We study second order generalized quantifiers on finite structures. One starting point of this research has been the notion of definability of Lindström quantifiers. We formulate an analogous notion for second order generalized quantifiers and study definability of second order generalized quantifiers in terms of Lindström quantifiers.

The consistency of a second-order version of Morley’s Theorem on the number of countable models was proved in [EHMT23] with the aid of large cardinals. We here dispense with them.

We consider the expressive power of second - order generalized quantifiers on finite structures, especially with respect to the types of the quantifiers. We show that on finite structures with at most binary relations, there are very powerful second - order generalized quantifiers, even of the simplest possible type. More precisely, if a logic is countable and satisfies some weak closure conditions, then there is a generalized second - order quantifier which is monadic, unary (...) and simple, and a uniformly obtained sublogic of which is equivalent to. We show some other results of the above kind, relating other classes of quantifiers to other classes of structures. For example, if the quantifiers are of the simplest non-monadic type, then the result extends to finite structures of any arity. We further show that there are second - order generalized quantifiers which do not increase expressive power of first- order logic but do increase the power significantly when added to stronger logics. (shrink)

Under a weak set-theoretic assumption we interpret second-order logic in the monadic theory of order.

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)