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)

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)

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

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

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.

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)

In this paper, I shall provide a defence of second-order logic in the context of its use in the philosophy of mathematics. This shall be done by considering three problems that have been recently posed against this logic: (1) According to Resnik [1988], by adopting second-order quantifiers, we become ontologically committed to classes. (2) As opposed to what is claimed by defenders of second-order logic (such as Shapiro [1985]), the existence of non-standard models of (...) first-order theories does not establish the inadequacy of first—order axiomatisations (Melia [1995]). (3) In contrast with Shapiro’s suggestion (in his [1985]), second-order logic does not help us to establish referential access to mathematical objects (Azzouni [1994]). As I shall argue, each of these problems can be neatly solved by the second-order theorist. As a result, a case for second-order logic can be made. The first two problems will beconsidered rather briefly in the next section. The rest of the paper is dedicate to a discussion of the third. (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)

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)

Open peer commentary on the article “Second-Order Cybernetics as a Fundamental Revolution in Science” by Stuart A. Umpleby. Upshot: Connecting Umpleby’s article with Piaget and García’s genetic epistemology, I will argue that the revolution the former discerns is more comprehensive. Additionally, since the latter differ from cybernetic and radical traditions in their philosophical assumptions about society and its conditioning on knowledge, I will suggest that these assumptions must be considered to explain each constructivist program’s achievements and challenges.

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, 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 concept of dualism in the epistemology of testimony and Irzik and Kurtulmus’ 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 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)

Open peer commentary on the article “Second-Order Science: Logic, Strategies, Methods” by Stuart A. Umpleby. Upshot: Second-order science requires a specific methodology. It thereby reverses the classical observer-observed relation in favor of the observed - i.e., the first-order observers - if the principle of autopoiesis is acknowledged.

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)

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)

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)

I propose a characterization of the dialectical dimension of argumentation by considering the activity of arguing as involving a “second order intersubjectivity”. I argue that argumentative communication enables this kind of intersubjectivity as a matter of the recursive nature of acts of arguing—both as justificatory and as persuasive devices. Calling attention to this feature is a way to underline that argumentative discourses represent the explicit part of a dynamic activity, “a mechanism of rational validation”, as Rescher showed, which (...) is a practice that presupposes the possibility of attaining objectivity. (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)

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)

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)

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)

Clarke and Beck argue that the ANS doesn't represent non-numerical magnitudes because of its second-order character. A sensory integration mechanism can explain this character as well, provided the dumbbell studies involve interference from systems that segment by objects such as the Object Tracking System. Although currently equal hypotheses, I point to several ways the two can be distinguished.

We introduce a second-order system V1-Horn of bounded arithmetic formalizing polynomial-time reasoning, based on Grädel's 35) second-order Horn characterization of P. Our system has comprehension over P predicates , and only finitely many function symbols. Other systems of polynomial-time reasoning either allow induction on NP predicates , and hence are more powerful than our system , or use Cobham's theorem to introduce function symbols for all polynomial-time functions . We prove that our system is equivalent to (...) QPV and Zambella's P-def. Using our techniques, we also show that V1-Horn is finitely axiomatizable, and, as a corollary, that the class of Σ1b consequences of S21 is finitely axiomatizable as well, thus answering an open question. (shrink)

Resumen En una serie de escritos Timothy Williamson ha argumentado a favor del necesitismo, esto es, la tesis de que es necesario que todo exista necesariamente. Este trabajo discute el necesitismo de segundo orden, esto es, la tesis de que es necesario que toda propiedad exista necesariamente, considerando líneas de argumentación semejantes a las desplegadas en primer orden. Se examinan tres de estos argumentos: el carácter necesario de ser una propiedad, la aparición de las propiedades en proposiciones, y los compromisos (...) ontológicos del metalenguaje en el que se formula la semántica. Se argumenta que ninguno de ellos es realmente convincente. La justificación del necesitismo de segundo orden parece requerir más metafísica sustantiva que resultados formales, al menos si es que los resultados formales de que se trata son aquellos discutidos aquí.In a series of writings Timothy Williamson has argued for necessitism, i. e. the thesis that it is necessary that everything exists necessarily. This work discusses second-order necessitism, i. e. the thesis that it is necessary that every property exists necessarily, considering lines of argument similar to those displayed on first-order. Three of those arguments are examined. the necessary character ofbeing a property, the occurrence of properties in propositions, and the ontological commitments of the metalanguage where the semantics is formulated. It is argued that none of them are compelling. The justification for second-order necessitism seems to require more substantive metaphysics than formal results, at least if the formal results in view are those discussed here. (shrink)

According to Pylyshyn, depictive representations can be explanatory only if a certain kind of first-order isomorphism exists between the mental representations and real-world displays. What about a system with second-order isomorphism (similarities between different mental representations corresponding with similarities between different real-world displays)? Such a system may help to address whether “depictive” representations contribute to the visual nature of imagery.

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines.Our game model of λμ-calculus is based on polymorphic arenas which evolve during the play. We show that type isomorphisms coincide with the (...) “equality” on arenas associated with types. Finally we deduce the equational characterization of type isomorphisms from this equality. We also recover from the same model Roberto Di Cosmo’s characterization of type isomorphisms for system F.This approach leads to a geometrical comprehension on the question of second-order type isomorphisms, which can be easily extended to some other polymorphic calculi including additional programming features. (shrink)

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

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

RESUMEN Se ha destacado que la Fórmula de Barcan -FB- y la Conversa de la Fórmula de Barcan -CFB- para lógica modal cuantificacional de orden superior parecen válidas. Si se interpreta que los cuantificadores tienen como rango propiedades, la validez de FB y CFB parece implicar la existencia de universales trascendentes, que no requieren estar instanciados para existir en un mundo posible. Se discute esta argumentación, porque la semántica, en la que los resultados de validez se siguen, no requiere que (...) las ‘intensiones' asignadas a las variables de orden superior estén instanciadas en un mundo posible para que la intensión exista ahí. En una semántica modificada, más neutral, FB y CFB de orden superior ya no son válidas. Además se sostiene que, incluso si FB y CFB de orden superior fuesen válidas, no se obtendrían resultados metafísicos sustantivos, pues diferentes formas de nominalismo y teorías de tropos las aceptarían. ABSTRACT It has been pointed out that the Barcan Formula -BF- and the Converse Barcan Formula -CBF- seem to be valid for higher-order modal quantificational logic. If quantifiers are construed as ranging over properties, the validity of BF and CBF seems to entail the existence of transcendent universals that do not require instantiation in order to exist in a possible world. The paper discusses this argument given that semantics, in which validity results follow from one another, do not require that the "intensions" assigned to higher- order variables be instantiated in a possible world in order for the intension to exist in such a world. In a modified, more neutral semantics, higher-order BF and CBF are no longer valid. The paper also argues that even if higher-order BF and CBF were valid, no substantive metaphysical results would be obtained, since different forms of nominalism and theories of tropes would accept them. (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)

In this paper, we are concerned with the development of a general set theory using the single axiom version of Leśniewski’s mereology. The specification of mereology, and further of Tarski’s geometry of solids will rely on the Calculus of Inductive Constructions (CIC). In the first part, we provide a specification of Leśniewski’s mereology as a model for an atomless Boolean algebra using Clay’s ideas. In the second part, we interpret Leśniewski’s mereology in monadic second-order logic using names (...) and develop a full version of mereology referred to as CIC-based Monadic Mereology (λ-MM) allowing an expressive theory while involving only two axioms. In the third part, we propose a modeling of Tarski’s solid geometry relying on λ-MM. It is intended to serve as a basis for spatial reasoning. All parts have been proved using a translation in type theory. (shrink)

By the standards presented in the Introduction, CMFC2 is deficient on at least one ontological ground: ‘∀’ is a syncategorematic expression and so CMFC2 is not an ideal language. To some there may be an additional difficulty: any two wffs provably equivalent in the classical sense are provably identical. We hope in sequel to present systems free of these difficulties, free either of one or the other, or perhaps both.This work was done with the aid of Canada Council Grant S74-0551-S1.

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.

Taking the example of the Basel carnival Fasnacht, the paper shows in what way ritual can maintain the impression of being traditional and unchanging, and yet be open to changes and innovations. As the basic conceptual framework we use the notion of liminality, which Victor Turner identified as the creative moment of ritual. In Fasnacht, this liminal dimension appears in two degrees. The carnival as such represents a reflexive liminal counterpart to the standard social structure, yet it is itself also (...) highly structured and bound by conservative traditional rules. As a reaction to this, there arises within Fasnacht a second-order liminality in the form of the so-called wild Fasnacht, which turns the official antistructural Fasnacht rules upside down once again, testing their validity. While the carnival structure offers a regulated opportunity for questioning everyday social behaviour, wild Fasnacht questions even this regulated manner of questioning as such, opening space for its reflection and modification. We use detailed examples to demonstrate how the subtle dialectics of structure and antistructure keeps the tradition of Basel’s Fasnacht alive and allows it to evolve without destroying its aura of traditionality. (shrink)

We prove that every monadic second-order property of the unfolding of a transition system is a monadic second-order property of the system itself. An unfolding is an instance of the general notion of graph covering. We consider two more instances of this notion. A similar result is possible for one of them but not for the other.

The algebraic structure of the 8-spinor formalism is discussed, and the general form of the 8-component wave equation, equivalent to the second-order 4-component one, is presented. This allows a canonical formulation that will be the first stage of the future Clebsch parametrization, i.e., a relativistic generalization of the Bohm-Schiller-Tiomno pioneering work on the Pauli equation.

This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order (...) language. (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)

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)