We start with a simple proof of Leivant's normal form theorem for ∑11 formulas over finite successor structures. Then we use that normal form to prove the following:1. over all finite structures, every ∑21 formula is equivalent to a ∑21 formula whose first-order part is a Boolean combination of existential formulas, and2. over finite successor structures, the Kolaitis-Thakur hierarchy of minimization problems collapses completely and the Kolaitis-Thakur hierarchy of maximization problems collapses partially.The normal form theorem for ∑21 fails if (...) ∑21 is replaced with ∑11 or if infinite structures are allowed. (shrink)

In this article, we present a one-step hybrid block method for approximating the solutions of second-order fuzzy initial value problems. We prove the stability and convergence results of the method and present several examples to illustrate the efficiency and accuracy of the proposed method. The numerical results are compared with the existing ones in the literature.

After the Second World War, Italy experienced an economic miracle accompanied by the emergence of a material culture highly dense with meaning. This article adopts a second-order approach, which focuses on two concepts that emphasize the component of invention contained within the innovation process.Garboindicates the peculiarly Italian way of solving a constrained optimization problem in the design of everyday objects. Meanwhile, the concept ofcenacolo– whose etymological roots indicate conviviality and good living – made possible the study (...) of the peculiar social networks of the Milanese cultural landscape during the 1960s, which enabled important cross-fertilizations between industry, culture and art. To demonstrate the connections between invention andgarboandcenacoli, the examples of Olivetti (key player in then-nascent personal computer technology) and Bialetti (producer of the Moka coffee machine) are used as case studies of innovative solutions to constrained problems. Following an outline of elements promoting the success of each, the article identifies historically determined mechanisms, which enable us to imagine and (potentially) establish the evolutionary conditions for new pathways of invention. (shrink)

A comprehensive introduction to optimization with a focus on practical algorithms for the design of engineering systems. This book offers a comprehensive introduction to optimization with a focus on practical algorithms. The book approaches optimization from an engineering perspective, where the objective is to design a system that optimizes a set of metrics subject to constraints. Readers will learn about computational approaches for a range of challenges, including searching high-dimensional spaces, handling problems where there are multiple competing (...) objectives, and accommodating uncertainty in the metrics. Figures, examples, and exercises convey the intuition behind the mathematical approaches. The text provides concrete implementations in the Julia programming language. Topics covered include derivatives and their generalization to multiple dimensions; local descent and first- and second-order methods that inform local descent; stochastic methods, which introduce randomness into the optimization process; linear constrained optimization, when both the objective function and the constraints are linear; surrogate models, probabilistic surrogate models, and using probabilistic surrogate models to guide optimization; optimization under uncertainty; uncertainty propagation; expression optimization; and multidisciplinary design optimization. Appendixes offer an introduction to the Julia language, test functions for evaluating algorithm performance, and mathematical concepts used in the derivation and analysis of the optimization methods discussed in the text. The book can be used by advanced undergraduates and graduate students in mathematics, statistics, computer science, any engineering field, (including electrical engineering and aerospace engineering), and operations research, and as a reference for professionals. (shrink)

Scientific reasoning represents complex argumentation patterns that eventually lead to scientific discoveries. Social epistemology of science provides a perspective on the scientific community as a whole and on its collective knowledge acquisition. Different techniques have been employed with the goal of maximization of scientific knowledge on the group level. These techniques include formal models and computer simulations of scientific reasoning and interaction. Still, these models have tested mainly abstract hypothetical scenarios. The present thesis instead presents data-driven approaches in social epistemology (...) of science. A data-driven approach requires data collection and curation for its further usage, which can include creating empirically calibrated models and simulations of scientific inquiry, performing statistical analyses, or employing data- mining techniques and other procedures. -/- We present and analyze in detail three co-authored research projects on which the thesis’ author was engaged during her PhD. The first project sought to identify optimal team composition in high energy physics laboratories using data-mining techniques. The results of this project are published in (Perović et al. 2016), and indicate that projects with smaller numbers of teams and team members outperform bigger ones. In the second project, we attempted to determine whether there is an epistemic saturation point in experimentation in high energy physics. The initial results from this project are published in (Sikimić et al. 2018). In the thesis, we expand on this topic by using computer simulations to test for biases that could induce scientists to invest in projects beyond their epistemic saturation point. Finally, in previous examples of data-driven analyses, citations are used as a measure of epistemic efficiency of projects in high energy physics. In order to additionally justify and analyze the usage of this parameter in their data-driven research, in the third project Perović & Sikimić (2019) analyzed and compared inductive patterns in experimental physics and biology with the reliability of citation records in these fields. They conclude that while citations are a relatively reliable measure of efficiency in high energy physics research, the same does not hold for the majority of research in experimental biology. -/- Additionally, contributions of the author that are for the first time published in this theses are: (a) an empirically calibrated model of scientific interaction of research groups in biology, (b) a case study of irregular argumentation patterns in some pathogen discoveries, and (c) an introductory discussion of the benefits and limitations of data- driven approaches to the social epistemology of science. Using computer simulations of an empirically calibrated model, we demonstrate that having several levels of hierarchy and division into smaller research sub-teams is epistemically beneficial for researchers in experimental biology. We also show that argumentation analysis in biology represents a good starting point for further data-driven analyses in the field. Finally, we conclude that a data-driven approach is informative and useful for science policy, but requires careful considerations about data collection, curation, and interpretation. (shrink)

A test procedure optimization method was proposed in this paper to improve the test efficiency of the industrial robot servo system to be tested on the IRSS integrated testing platform. First, an ordered sequence was used to define the IRSS test project when tested on the IITP. The ordered sequence consisted of execution subelements, which were a combination of control variable parameters of the IITP. Second, the optimization relationships among the IRSS test projects were dug out according (...) to the IRSS test project sequences. Finally, by using the traveling salesmen problem, an optimization model was established based on the optimization relationships of the IRSS test projects, and the optimal test order of the IRSS test projects to be tested on the IITP was obtained by solving the model. A case analysis showed that the proposed method optimized the test procedure on the IITP effectively, and the test time when implementing the test on the IITP according to the optimized order was nearly 50% shorter than before optimization. The optimization effect was thus found to be significant. (shrink)

This article examines the relationship between technology and aesthetics in contemporary Hollywood, using experiments with frame rates and shutter speeds to show how deep, systemic changes in cinematic technologies can alter our relation to the image’s referential functions. For eighty years, cinema’s registration of movement relied upon a standardized frame rate and shutter speed, meaning that cinema’s sense of motion was constant. With the proliferation of ever more powerful digital capture systems, however, these formerly inflexible options are made variable and (...) put into question. By changing the registration of movement, the high frame rate experiments in The Hobbit and the open-shutter cinematography of Miami Vice offer an estranged relation to cinema’s presentation of worldly motion. I argue here that this altered sense of the image’s referentiality is well suited to depictions of our contemporary reality, which, being profoundly bound up in digital technologies, seems similarly disorienting, estranging, and aesthetic. In the first section of the article, I trace out the origins of this style of movement in the logics of the corporate tech industry, which rolls out continual upgrades in audio-visual technologies in order to justify new product lines. According to industry rhetoric, these upgrades ostensibly lead to a heightened sense of realism, but viewer response has been torn over whether this new sense of motion is realistic or unrealistic. In the second section, I closely analyze The Hobbit and the recent work of Michael Mann to show how established film form shifts in relation to this problem in digital cinema’s representation of worldly movement. In The Hobbit’s case, film form is altered in order to assimilate the HFR’s unfamiliar sense of motion, but the cinematography in Miami Vice embraces a productive aesthetic estrangement which is both realistic and hyperaestheticized, leaving the divide between immanent experience and technologized disorientation an open question. (shrink)

Specific to the NCSs where sensor signals can be processed centrally, a collaborative design scheme of dynamic game scheduling and advanced control theory was proposed in the present study. Firstly, by using the Jordan standard state space equation of the research object, the three elements of state noncooperative game were built, and the existence and uniqueness of Nash equilibrium solution were verified. In addition, the iterative equation of the scheduling matrix was derived by complying with the designed utility function. Secondly, (...) refer to the number of restricted states the order of sliding mode was determined. And based on it, the corresponding sliding surface was designed. Subsequently, the quadratic optimization theory was adopted to regulate the control value following the implementation of the scheduling strategy to ensure that the control quality was further enhanced in the limited network service. Lastly, a TrueTime simulation example is established to verify the effectiveness of the proposed scheme. (shrink)

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.

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)

Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising (...) to find that philosophical discussion of secondorder modal logic is almost totally absent, despite the pioneering contribution of Barcan. (shrink)

Recently, Wilcox (JGPS 51: 65–87, 2020) argued against the so-called wide interval view and in favor of the principle of indifference as the correct response to unspecific evidence. Embedded in a formal model of the beliefs of an agent, the former presupposes imprecise probabilities and the latter numerically precise degrees of belief. His argument is illustrated by a thought experiment that comes with a fundamental intuition. According to Wilcox, the wide interval view is incompatible with this intuition and, thus, undermined. (...) In contrast, I show that the intuition behind the thought experiment is, in fact, compatible with the wide interval view if it is embedded into a specific conception of imprecise probabilities as model of belief. This conception is an extension of a framework which I call modified supervaluationism (MSV) and which I recently presented elsewhere (Karge 2021, 175–191). To accommodate the thought experiment’s fundamental intuition, it introduces a notion of second-order beliefs. (shrink)

Economics is often believed to be a `value-free' discipline, and even an `a-moral' one. My aim is to demonstrate that homo œconomicus can recover his ethical nature if the philosophical roots of contemporary economics are laid bare. This, however, requires us to look for an alternative foundation for the idea of `social order,' a foundation which economics is ill-equipped to provide because of its exclusive focus on calculative rationality. But a new ethical perspective on homo œconomicus and on the (...) manner in which he chooses his actions is possible. My aim here is to make this new perspective explicit.Two claims lie at the heart of this paper. The first claim is that economics as practised nowadays — that is, as a discipline concerned with the analysis of the interactions between individual decisions and the collective effects of these interactions — is a particular form of metaphysics, based on a particular articulation between self-centredness and other-centredness. The second claim is that, unbeknownst to the vast majority of economists, the basic principle of individual optimization contains the seed of a radical reformulation of what the emergence of `social order' is all about. More specifically, economics will be claimed to be a specific metaphysical discipline based on the monadological worldview inherited from Leibniz and re-arranged to fit the empiricist bias of 18th-century thinkers, and the principle of individual optimization will be claimed to be compatible with a very different metaphysical view of the human subject, a view which `turns subjectivity inside out', so to speak, and treats optimizing calculation as a response rather than as an initiative.The first claim is rather general, and not completely new — it has been hinted at, for example, by Jon Elster in an early book written in French, but it has received precious little attention among economists so far, with the result that economics has become increasingly blind to the philosophical roots of its most fundamental views on individual decision and on social order. The second claim applies to economics and homo œconomicus a general suggestion coming from Alain Renaut, that we ought to make good use of the accusations of incoherence voiced against the monadological scheme in order to re-think the way in which human subjectivity works. Renaut, however, remains at the level of the history of the philosophical concept of subjectivity. Although he does, in passing, make some mention of possible implications for the social sciences, he never goes into the full analysis of what the critique of monadological metaphysics implies for modern theories of society, and for economics in particular. One of my main goals here is to fill this gap.Let me now be more specific about the steps of my analysis. Defending my two claims will require, first of all, a rigorous understanding of the basic methodological stance adopted by economics, namely the idea that social order `emanates' from a bunch of self-centred subjectivities making separate optimizing decisions. Accordingly, in Section 2, I will trace out the analogy that exists between Leibnizian monadology and modern-day economics. The aim there will be to show that economics, unwittingly but for nevertheless deep ethical reasons, has remained `stuck' in a very specific metaphysical position which virtually no contemporary philosophy of subjectivity any longer acknowledges. Section 3, then, will show how the combination of monadology and empiricism which still prevails in contemporary economics can be overcome by entering an altogether distinct philosophical domain characterized by the primacy of Other over Self.While this alternative philosophical stance has experienced a surge of interest in recent decades, it has left the social sciences, and particularly economics, completely untouched. The reason is, I will claim, that this strand of philosophy adopts a form of methodological altruism which stands in contrast both to the methodological individualism of economics and to the methodological holism of various strands of post-Durkheimian sociology. In Section 4, then, I analyze some of the far-reaching consequences for economics which would flow from taking into account `non-I' motives which are not `We' motives, i.e., motives for action which are neither mere holist pastings onto individualism nor mere individualist mitigations of holism.The principle of choice of action through individual optimization will appear as the `hinge' between two worlds: although initially anchored within a worldview where social coexistence is a by-product of individual calculations, the idea of optimization will be seen to be compatible with a very different, and indeed almost reversed worldview, one where individual calculations emerge as by-products of social coexistence — the term `social' being itself radically re-thought in a non-holistic direction.The aim of my analysis, ultimately, is to formulate a challenge for contemporary economics and its implicit view of the interaction between individual and society: Can the combination of monadological and empiricist thinking so strongly ingrained in economics be overcome in the direction of a radically `other-oriented' view of the human subject? Many economists will doubtless believe it cannot; however, they will now, at least, have to explain why they hold to the older view and hence they will have to uncover their often hidden ethical and metaphysical presuppositions. I view this not as an undue disturbance or as mere conceptual hair-splitting, but as a timely opportunity to clarify some deep philosophical issues which haunt economics. (shrink)

The paper considers two-agent order acceptance scheduling problems with different scheduling criteria. Two agents have a set of jobs to be processed by a single machine. The processing time and due date of each job are known in advance. In the order accepting scheduling problem, jobs are allowed to be rejected. The objective of the problem is to maximize the net revenue while keeping the weighted number of tardy jobs for the second agent within a predetermined value. (...) A mixed-integer linear programming formulation is provided to obtain the optimal solution. The problem is considered as an NP-hard problem. Therefore, MILP can be used to solve small problem instances optimally. To solve the problem instances with realistic size, heuristic and metaheuristic algorithms have been proposed. A heuristic method is used to determine and secure a quick solution while the metaheuristic based on particle swarm optimization is designed to obtain the near-optimal solution. A numerical experiment is piloted and conducted on the benchmark instances that could be obtained from the literature. The performances of the proposed algorithms are tested through numerical experiments. The proposed PSO can obtain the solution within 0.1% of the optimal solution for problem instances up to 60 jobs. The performance of the proposed PSO is found to be significantly better than the performance of the heuristic. (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)

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)

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)

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.

What is the relevance of ideals for determining virtuous argumentative practices? According to Bailin and Battersby (2016), the telos of argumentation is to improve our cognitive systems, and adversariality plays no role in ideally virtuous argumentation. Stevens and Cohen (2019) grant that ideal argumentation is collaborative, but stress that imperfect agents like us should not aim at approximating the ideal of argumentation. Accordingly, it can be virtuous, for imperfect arguers like us, to act as adversaries. Many questions are left unanswered (...) by both camps. First, how do we conceptualize an ideal and its approximation? Second, how can we determine what is the ideal of argumentation? Third, can we extend Stevens and Cohen’s anti-approximation argument beyond virtue theory? In order to respond to these questions, this paper develops a second-best perspective on ideal argumentation. The Theory of the Second Best is a formal contribution to the field of utility (or welfare) optimization. Its main conclusion is that, in non-ideal circumstances, approximating ideals might be suboptimal. (shrink)

Some recent views of action have claimed that a correct conceptual account of action must include second-order motivational states. This follows from the fact that first-order motivational states such as desires account for action or mere behavior in which the agent's participation is lacking; thus, first-order motivational states cannot by themselves account for action in which the agent participates, so-called full-blooded action. I argue that representing the agent's participation by means of second-order states is (...) bound to fail because it misrepresents what an agent is doing when acting in the full-blooded sense. I begin by characterizing full-blooded action and explaining the failure of first-order accounts to explain it. I next show that while second-order accounts have some success in explaining full-blooded action, they fail to distinguish it from action which exhibits motivational alienation. I then argue that even if this problem were resolved, the second-order accounts more fundamentally misrepresent full-blooded action by depicting such action in an introverted manner. I conclude by considering a sketch of agency and full-blooded action that does not rely on second-order states and by addressing a primary concern thought to favor the second-order accounts, the concern of agent causation. (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)

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 study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The author not only provides (...) a thorough description of the theory, but also details its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory. (shrink)

It seems natural to think of an unwilling addict as having a pattern of preferences that she does not endorse—preferences that, in some sense, she does not ‘identify’ with. Following Frankfurt (1971), Jeffrey (1974) proposed a way of modeling those features of an agent’s preferences by appealing to preferences among preferences.Th„e addict’s preferences are preferences she does not prefer to have. I argue that this modeling suggestion will not do, for it follows from plausible assumptions that a minimally rational agent (...) must prefer those first-order preferences she actually has. I close by considering two different but related ways to think about the initial phenomenon. (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)

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)

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)

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

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.

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a (...) logic, but rather must be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)