International Studies in the Philosophy of Science, Volume 25, Issue 1, Page 86-89, March 2011.

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)

L’articolo si propone di indagare le implicazioni ecologiche di due differenti tendenze sistemiche: La General Systems Theory di Ludwig von Bertalanffy, che fa da cornice alla Systems Ecology di Eugene Odum; La Second-Order Cybernetics elaborata da Heinz von Foerster, Humberto Maturana e Niklas Luhmann, che costituisce la matrice di un nuovo paradigma ecologico denominato General Ecology. Nell’articolo verranno comparate la GST e la SOC in relazione ai loro differenti modi di intendere il sistema e la (...) sua genesi; il ruolo dell’osservatore nella definizione dei confini di un sistema; e la relazione tra sistema e ambiente. Verrà mostrato come la SOC, mettendo in causa il principio del controllo gerarchico della GST, conduce alla nozione di differenze ecologiche, con la quale si indica una pluralità di diadi sistema-ambiente, problematizzando così la nozione di ambiente come riferimento fisico e oggettivo. (shrink)

This paper investigates the event-based consensus problem for the heterogeneous hybrid multiagent system. First, the heterogeneous hybrid MAS is proposed which contains continuous and discrete-time subsystems with second-order and first-order heterogeneous dynamics. Second, the event-triggered protocols are proposed, which mainly include the event-based control laws and event-triggered conditions for different kinds of agents. Then, the consensus conclusions of fixed topology and switching topologies are obtained based on graph theory and nonnegative matrix theory, which include (...) the constraints on control parameters, coupling gains, and sampling interval to guarantee consensus. Finally, a simulation example is given to verify the efficiency of the proposed protocols. (shrink)

Nowadays, the power systems are getting more and more complicated because of the delays introduced by the communication networks. The existence of the delays usually leads to the degradation and/or instability of power system performance. On account of this point, the traditional load frequency control approach for power system sketches a destabilizing impact and an unacceptable system performance. Therefore, this paper proposes a new LFC based on adaptive integral second-order sliding mode control approach for the large-scale power (...) system with communication delays. First, a new linear matrix inequality is derived to ensure the stability of whole power systems using Lyapunov stability theory. Second, an AISOSMC law is designed to ensure the finite time reachability of the system states. To the best of our knowledge, this is the first time the AISOSMC is designed for LFC of the LSPSwCD. In addition, the report of testing results presents that the suggested LFC based on AISOSMC can not only decrease effectively the frequency variation but also make successfully less in mount of power oscillation/fluctuation in tie-line exchange. (shrink)

Let be a relational system whereby D is a nonempty set and P1 is an m1-ary relation on D. With we associate the (weak) monadic second-order theory consisting of the first-order predicate calculus with individual variables ranging over D; monadic predicate variables ranging over (finite) subsets of D; monadic predicate quantifiers; and constants corresponding to P1, P2, …. We will often use ambiguously to mean also the set of true sentences of.

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)

Let H be a proof system for quantified propositional calculus (QPC). We define the Σqj-witnessing problem for H to be: given a prenex Σqj-formula A, an H-proof of A, and a truth assignment to the free variables in A, find a witness for the outermost existential quantifiers in A. We point out that the Σq1-witnessing problems for the systems G*1and G1 are complete for polynomial time and PLS (polynomial local search), respectively. We introduce and study the systems G*0 (...) and G0, in which cuts are restricted to quantifier-free formulas, and prove that the Σqj-witnessing problem for each is complete for NC1. Our proof involves proving a polynomial time version of Gentzen’s midsequent theorem for G*0 and proving that G0-proofs are TC0-recognizable. We also introduce QPC systems for TC0 and prove witnessing theorems for them. We introduce a finitely axiomatizable second-order system VNC1 of bounded arithmetic which we prove isomorphic to Arai’s first order theory AID + Σb0-CA for uniform NC1. We describe simple translations of VNC1 proofs of all bounded theorems to polynomial size families of G*0 proofs. From this and the above theorem we get alternative proofs of the NC1 witnessing theorems for VNC1 and AID. (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)

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

This paper presents decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. All necessary and sufficient conditions for the decomposition are deployed to investigate the commutativity, sensitivity, and the effect of disturbance on the fourth-order LTVS. Some systems are commutative, and some are not commutative, while some are commutative under certain conditions. Based on this fact, the commutativity of fourth-order Euler-type LTVS is investigated by introducing (...) the commutative requirements, theories, and conditions. The fourth-order Euler-type LTVSs are investigated into commutative pairs of twice Euler-type second-order linear time-varying systems. The decomposition theories and conditions are derived, proved, and solved to simplify the use of commutativity for practical and industrial uses. Some fourth-order systems are sensitive toward change in initial conditions or parameters while others are not, and the effect due to disturbance also varies within systems. Furthermore, the stability and robustness of systems have so many issues. But we consider fourth-order Euler-type LTVS to observe, investigate, and tackle these issues. Lastly, the realization of fourth-order LTVS from cascaded two second-order systems can be laboratory experimented which is an open problem for future engineers to investigate. However, the theoretical results show a good agreement with the simulation results is considered in this work. Perhaps it might have unlimited physical applications in science and engineering as well as theoretical contribution. But beyond any reasonable doubt, the novelty is guaranteed because this study is the first of its kind that introduces the decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. Illustrative examples are presented to support the results. (shrink)

This article examines central tensions in cybernetics, defined as the study of self-organization, communication, automated feedback in organisms, and other distributed informational networks, from its wartime beginnings to its contemporary adaptations. By examining aspects of both first- and second-order cybernetics, the article introduces an epistemological standpoint that highlights the tension between its definition as a theory of recursion and a theory of control, prediction, and actionability. I begin by examining the historical outcomes of the Macy Conferences (...) to provide a context for cybernetics’ initial development for scientific epistemology, ethics, and socio-political thought. I draw extensively from Norbert Wiener, Heinz von Foerster, Ross Ashby, and Gregory Bateson, key figures of this movement. I then elaborate upon certain premises of cybernetics to further elucidate an intellectual history from which to begin to construct a cybernetic epistemology. I conclude by offering the second-order cybernetic concept of recursivity as a model and method for ethico-epistemological questioning that can account for both the constructive potential and the limitations of cybernetics in science and society. (shrink)

Open peer commentary on the article “Second-Order Cybernetics as a Fundamental Revolution in Science” by Stuart A. Umpleby. Upshot: Theory without a strong methodology is stranded in philosophy. Principles devolved from theory can be applied to situations in the arena of practice in many ways; however, a continually improving science must refine its theories with feedback from data drawn from the use of continually improving sets of codified methodologies. Second-order cybernetics is contingent upon sense-making (...) within sapient systems. A perspective on cognitive science points toward the requirements for an enabling sense-making methodology for second-order cybernetic science. (shrink)

We can understand and act upon the beliefs of other people, even when these conflict with our own beliefs. Children’s development of this ability, known as Theory of Mind, typically happens around age 4. Research using a looking-time paradigm, however, established that toddlers at the age of 15 months old pass a non-verbal false-belief task (Onishi and Baillargeon in Science 308:255–258, 2005). This is well before the age at which children pass any of the verbal false-belief tasks. In this (...) study we present a more complex case of false-belief reasoning with older children. We tested second-order reasoning, probing children’s ability to handle the belief of one person about the belief of another person. We find just the opposite: 7-year-olds pass a verbal false-belief reasoning task, but fail on an equally complex low-verbal task. This finding suggests that language supports explicit reasoning about beliefs, perhaps by facilitating the cognitive system to keep track of beliefs attributed by people to other people. (shrink)

In this paper a system, RPF, of second-order relevance logic with S5 necessity is presented which contains a defined, notion of identity for propositions. A complete semantics is provided. It is shown that RPF allows for more than one necessary proposition. RPF contains primitive syntactic counterparts of the following semantic notions: (1) the reflexive, symmetrical, transitive binary alternativeness relation for S5 necessity, (2) the ternary Routley-Meyer alternativeness relation for implication, and (3) the Routley-Meyer notion of a prime intensional (...) theory, as well as defined syntactic counterparts, of the semantic notions of a possible world and the Routley-Meyer * operator. (shrink)

We can understand and act upon the beliefs of other people, even when these conflict with our own beliefs. Children’s development of this ability, known as Theory of Mind, typically happens around age 4. Research using a looking-time paradigm, however, established that toddlers at the age of 15 months old pass a non-verbal false-belief task (Onishi and Baillargeon in Science 308:255–258, 2005). This is well before the age at which children pass any of the verbal false-belief tasks. In this (...) study we present a more complex case of false-belief reasoning with older children. We tested second-order reasoning, probing children’s ability to handle the belief of one person about the belief of another person. We find just the opposite: 7-year-olds pass a verbal false-belief reasoning task, but fail on an equally complex low-verbal task. This finding suggests that language supports explicit reasoning about beliefs, perhaps by facilitating the cognitive system to keep track of beliefs attributed by people to other people. (shrink)

In this report I motivate and develop a type-free logic with predicate quantifiers within the general ontological framework of properties, relations, and propositions. In Part I, I present the major ideas of the system informally and discuss its philosophical significance, especially with regard to Russell's paradox. In Part II, I prove the soundness, consistency, and completeness of the logic.

Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version (B.C.T.I) is provable in RCA0 while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA+ 0 and WKL+ 0, and show that RCA+ 0 suffices to prove B.C.T.II. Some model theory of WKL+ 0 and its (...) importance in view of Hilbert's program is discussed, as well as applications of our results to functional analysis. (shrink)

Open peer commentary on the article “Second-Order Science: Logic, Strategies, Methods” by Stuart A. Umpleby. Upshot: This article argues that we do not need a new scientific method or a “second-order science” to deal with the facts that the individual characteristics of observers may affect the nature and quality of their observations and that the application of scientific theories may affect the systems they describe. It also argues that Umpleby has not given us good reason (...) to think that we do. (shrink)

Any great new theoretical framework has an epistemological and an ontological aspect to its philosophy as well as an axiological one, and one needs to understand all three aspects in order to grasp the deep aspiration and idea of the theoretical framework. Presently, there is a widespread effort to understand C. S. Peirce's (1837–1914) pragmaticistic semeiotics, and to develop it by integrating the results of modern science and evolutionary thinking; first, producing a biosemiotics and, second, by integrating it (...) with the progress in cybernetics, information science, and system theory to create a cybersemiotics. In this paper, we focus on the understanding of the evolution of the universe that Peirce produced as an alternative to the mechanistic view underlying classical physics and try to place man in an evolving universe as a creative, aesthetical agent. It is true that modern non-equilibrium physics has made a modern foundation for a profound physical understanding of the basic evolutionary processes in the universe. But science still has not produced a theory that can explain how the creativity of the universe could produce signification, interpretation, and first-person consciousness. To this end, Peirce's thoughts on agapastic evolution coupled with the aesthetically influence of the growth of ideas and reasonableness on man could make a contribution. (shrink)

This paper proposes an extended idea of critique, bypassing the paradox of a critique of critique. It reconstructs the semantics of critique from ancient commentary to autonomous interpretation, identifying the blindness of critical theory in the claim to detect crises and to indicate how to overcome them. The critique of critique is achieved not by rejecting critique but by moving to second-order observation. In this understanding, critique does not refuse what is normal but observes it as improbable. (...) Critical observation is understood as reflection on normality, its opposite, and its alternatives. The debate on risk society is presented and commented on as an example. (shrink)

By RCA 0 , we denote a subsystem of second order arithmetic based on Δ0 1 comprehension and Δ0 1 induction. We show within this system that the real number system R satisfies all the theorems (possibly with non-standard length) of the theory of real closed fields under an appropriate truth definition. This enables us to develop linear algebra and polynomial ring theory over real and complex numbers, so that we particularly obtain Hilbert’s Nullstellensatz in RCA (...) 0. (shrink)

The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity of second and higher-order logic. However, the epistemological significance of such investigations has not received much attention in the contemporary foundational debate.We discuss Girard’s normalization proof for second order type theory or System F and compare it with two faulty consistency arguments: the one given by Frege for the (...) logical system of the Grundgesetze and the one given by Martin-Löf for the intuitionistic type theory with a type of all types.The comparison suggests that the question of the circularity of second order logic cannot be reduced to Russell’s and Poincaré’s 1906 “vicious circle” diagnosis. Rather, it reveals a bunch of mathematical and logical ideas hidden behind the hazardous idea of impredicative quantification, constituting a vast domain for foundational research. (shrink)

Philosophy is presented in a wide range of forms, none of which can be convincingly claimed to be the “genuine” one. Historically speaking, there is not one “proper” way of doing philosophy, evidencing what may be called the social contingency of philosophy. This paper aims to provide a “critical” philosophy of today, in the Kantian sense of a philosophy that reflects on the conditions of its possibility, and thereby acknowledges the limitations they impose. Conceptually, our approach is grounded in Niklas (...) Luhmann’s social systems theory, in which “functional differentiation” and “second-order observation” are two crucial characteristics of modern society. The paper discusses how presentations of philosophy align themselves with the second-order observation mechanisms of the specific social systems in which they are “hosted.” This paper deals in particular with two such systems: academics and social media. These forms of presenting philosophy produce two different kinds of philosophy presenters: the expert and the influencer. (shrink)

In this paper we study the logical strength of the determinacy of infinite binary games in terms of second order arithmetic. We define new determinacy schemata inspired by the Wadge classes of Polish spaces and show the following equivalences over the system RCA0*, which consists of the axioms of discrete ordered semi‐rings with exponentiation, Δ10 comprehension and Π00 induction, and which is known as a weaker system than the popularbase theory RCA0: 1. Bisep(Δ10, Σ10)‐Det* ↔ WKL0, 2. (...) Bisep(Δ10, Σ20)‐Det* ↔ ATR0 + Σ11 induction, 3. Bisep(Σ10, Σ20)‐Det* ↔ Sep(Σ10, Σ20)‐Det* ↔ Π11‐CA0, 4. Bisep(Δ20, Σ20)‐Det* ↔ Π11‐TR0, where Det* stands for the determinacy of infinite games in the Cantor space (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

In noise we hear the possibility of a signal, indeed different signals, and in the multiplicity of signals we hear noise. With variation and selection comes dynamic evolution, a contingent state, one that could be otherwise. The term ‘polemogenous’ (from the French, polémogène) means that which generates polemics. And polemics are creative. If everyone, every system, were to reason in the same way, there would be silence. Every remark would be redundant, having no informational value. Thus noise is not bad. (...) The essence of finance economics, like all that is social in nature, is a forming of meaning. Whatever cannot be formed meaningfully is not available to the system. This unavailability, as ‘noise’, is the dynamic difference (noise/information) that scintillates the system. Information, like morality, is polemogenous – it stirs contention. Without noise and the possibility of its conversion to information there would be no opportunities to exploit. This paper applies a systems theoretical understanding of observation to conceive of finance economics as the economy’s means of observing its noise and capitalizing on that polemic. Niklas Luhmann’s method is utilized to explicate some ideas on noise by financial economist Fischer Black, who suggests the incomprehensible is computable. This is finance. The fact that logical grounds, absolute deductions, and clear calculations are claimed to be rare in finance is no barrier to understanding it. Rather, this polyphonic and polemogenous information-selection is the ‘ground’ of finance, not as totalizing logic, but as different difference-production for the sake of deriving economic opportunity. (shrink)

This paper addresses the structures and ), whereMis a nonstandard model of PA andωis the standard cut. It is known that ) is interpretable in. Our main technical result is that there is an reverse interpretation of in ) which is ‘local’ in the sense of Visser [11]. We also relate the model theory of to the study of transplendent models of PA [2].This yields a number of model theoretic results concerning theω-models and their standard systems SSy, including (...) the following.•$\left \prec \left$if and only if$M \prec K$and$\left} \right) \prec \left} \right)$.•$\left} \right) \prec \left} \right)$if and only if$\left \prec \left$for someω-saturatedM*.•$M{ \prec _{\rm{e}}}K$implies SSy = SSy, but cofinal extensions do not necessarily preserve standard system in this sense.• SSy=SSy if and only if ) satisfies the full comprehension scheme.• If SSy is uniformly defined by a single formula, then ) satisfies the full comprehension scheme; and there are modelsMfor which SSy is not uniformly defined in this sense. (shrink)

In recent years large amounts of electronic texts have become available. While the first of these corpora had only a low level of annotation, the more recent ones are annotated with refined syntactic information. To make these rich annotations accessible for linguists, the development of query systems has become an important goal. One of the main difficulties in this task consists in the choice of the right query language, a language which at the same time should be powerful enough (...) to let users formulate the queries they want and which should be efficiently evaluable to keep query response times short. There is a widespread belief that such a query language does not exist. It is therefore the aim of this paper to show that there is indeed a powerful query language that can be efficiently evaluated. We propose the use of monadic second-order logic as a query language. We show that a query in this language can be evaluated in linear time in the size of a tree in the corpus. We also provide examples of complicated linguistic queries expressed in monadic second-order logic thereby demonstrating the high expressive power of the language. (shrink)

It is often remarked that first-order Peano Arithmetic is non-categorical but deductively well-behaved, while second-order Peano Arithmetic is categorical but deductively ill-behaved. This suggests that, when it comes to axiomatizations of mathematical theories, expressive power and deductive power may be orthogonal, mutually exclusive desiderata. In this paper, I turn to Hintikka’s :69–90, 1989) distinction between descriptive and deductive approaches in the foundations of mathematics to discuss the implications of this observation for the first-order logic versus (...) class='Hi'>second-order logic divide. The descriptive approach is illustrated by Dedekind’s ‘discovery’ of the need for second-order concepts to ensure categoricity in his axiomatization of arithmetic; the deductive approach is illustrated by Frege’s Begriffsschrift project. I argue that, rather than suggesting that any use of logic in the foundations of mathematics is doomed to failure given the impossibility of combining the descriptive approach with the deductive approach, what this apparent predicament in fact indicates is that the first-order versus second-order divide may be too crude to investigate what an adequate axiomatization of arithmetic should look like. I also conclude that, insofar as there are different, equally legitimate projects one may engage in when working on the foundations of mathematics, there is no such thing as the One True Logic for this purpose; different logical systems may be adequate for different projects. (shrink)

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)

The dissertation gives a second-order-logic-based explanation of modal incompleteness. The leading concept is that modal incompleteness is to be explained in terms of the incompleteness of standard second-order logic, since modal language is basically a second-order language. The development of Kripke-style semantics for modal logic has been underpinned by the conjecture that all modal systems are characterizable by classes of frames defined by first-order conditions on a binary relation. However, the discovery of (...) certain incomplete modal systems has undermined the all-encompassing feature of Kripke-style approach. There are logics not determined by any class of Kripke frames at all. ;In the dissertation I investigate a normal incomplete sentential modal system due to J. F. A. K. Van Benthem, and I address both the formal and the philosophical facets of modal incompleteness from the vantage point that modal logic is essentially second-order in its nature. Modal systems can be analyzed in terms of structures with a domain of second-order individuals that are assigned under an interpretation to propositional variables within languages of sentential modal logic. Hence, the phenomenon of there being incomplete modal systems can be accounted for through the incompleteness of standard second-order logic. ;Since second-order logic plays a crucial role in the explanation, Quine's animadversions upon second-order logic and in particular his views that second-order logic is 'Set Theory in Sheep's Clothing' are examined. Against Quine's stance I will seek to show that a vindication of second-order logic can be gotten provided a proper due is given to the sharp distinction between the logical notion of set which is the concern of second-order logic and the iterative notion of set which lies within the realm of set theory. (shrink)

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

In this innovative and important work, Gerald Gaus advances a revised and more realistic account of public reason liberalism, showing how, in the midst of fundamental disagreement about values and moral beliefs, we can achieve a moral and political order that treats all as free and equal moral persons. The first part of this work analyzes social morality as a system of authoritative moral rules. Drawing on an earlier generation of moral philosophers such as Kurt Baier and Peter Strawson (...) as well as current work in the social sciences, Gaus argues that our social morality is an evolved social fact, which is the necessary foundation of a mutually beneficial social order. The second part considers how this system of social moral authority can be justified to all moral persons. Drawing on the tools of game theory, social choice theory, experimental psychology and evolutionary theory, Gaus shows how a free society can secure a moral equilibrium that is endorsed by all, and how a just state respects, and develops, such an equilibrium. (shrink)

Fundamental changes in sciences offer new perspectives for the management of complexity. Increased complexity in society, economics, and technology requires a new and suitable organization and management. What are the consequences and results for project management? That is the theme of this article. First of all it will given a short introduction to project management, which will be later called "traditional project management" or "project management 1st order (PM-1)." Then, the challenges by the fundamental changes in sciences and the (...) increased complexity in society, economics, and technology will be discussed. It will state that traditional project management cannot solve these challenges. The widespread working-themes and results of the research program "Beyond Frontiers of Traditional Project Management" as an answer to these challenges will be presented at a glance. Subsequently, it will discuss some selected results of the research program: The principle-definition and foundation of "Evolution of 1st and 2nd Order." The Evolution of 1st Order and the impact on Project Management methods and processes. Evolution of 2nd Order and the Grand Evolutionary Systems Theory (GEST) of E. Laszlo as also the impact on Project Management methods and processes. Management of crisis: turn a change to advantage or risk-assurance? Thereafter, the concept of "Project Management Second Order (PM-2)" is presented as a highlighted result of the research program, as a new paradigm in project management, and as an answer to the challenges, described earlier will be explained in detail. Finally, a real example of transfer evolutionary and self-organizational management principles in a real project life will be demonstrated. (shrink)

We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.

The paper reconstructs Luhmann’s conception of legal argumentation and justice especially focussing on the aspects of contingency and self-referring operative closure. The aim of his conception is to describe/explain in a disenchanted way—from an external, of “second order” point of view—the work on adjudication, which, rather idealistically, lawyers and judges present as being a matter of reason. As a consequence of some surface similarities with Derrida’s deconstructive philosophy of justice, Teubner proposes integrating the supposed reductive image of formal (...) justice described by Luhmann with the ideal conception of justice presented by Derrida. Here this kind of attempt is rejected as epistemologically wrong. In addition, Luhmann’s theory is argued to have other shortcomings, namely: the failure to understand the pragmatic function of principles, and the incapacity to describe the current legal questions linked with cultures and legal pluralism, which characterise our society. (shrink)

We present a solution to the ghost problem in fourth order derivative theories. In particular we study the Pais–Uhlenbeck fourth order oscillator model, a model which serves as a prototype for theories which are based on second plus fourth order derivative actions. Via a Dirac constraint method quantization we construct the appropriate quantum-mechanical Hamiltonian and Hilbert space for the system. We find that while the second-quantized Fock space of the general Pais–Uhlenbeck model does indeed contain (...) the negative norm energy eigenstates which are characteristic of higher derivative theories, in the limit in which we switch off the second order action, such ghost states are found to move off shell, with the spectrum of asymptotic in and out S-matrix states of the pure fourth order theory which results being found to be completely devoid of states with either negative energy or negative norm. We confirm these results by quantizing the Pais–Uhlenbeck theory via path integration and by constructing the associated first-quantized wave mechanics, and show that the disappearance of the would-be ghosts from the energy eigenspectrum in the pure fourth order limit is required by a hidden symmetry that the pure fourth order theory is unexpectedly found to possess. The occurrence of on-shell ghosts is thus seen not to be a shortcoming of pure fourth order theories per se, but rather to be one which only arises when fourth and second order theories are coupled to each other. (shrink)

This research attempts to construct a second order observation model in understanding the significance of Artificial intelligence (AI) in changing the global power structure. Because of the inevitable ubiquity of AI in the world societies’ near future, it impacts all the sections of society triggering socio-technical iterative developments. Its horizontal impact and states’ race to become leader in the AI world asks for a vivid understanding of its impact on the international system. To understand the latter, Triple Helix (...) (TH) model along with Shannon’s information entropy has been used to operationalize system’s theory. This model uses Shannon’s information theory to calculate the uncertainty generated from the interactions between the sub-systems considered. Data for the latter has been taken from Sanford Artificial Intelligence Laboratory 2019 report. It is found that European countries are the most effected in the AI era, with probability of losing their global influence and thus creating power void. Emerging powers such as India, Canada, South Africa and Brazil have better chances to fill the void and emerge as global influences. (shrink)

After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order reflection with the abundant atom axiom is bi-interpretable and hence also equiconsistent with the existence of a supercompact cardinal. The proof relies on a reflection characterization of supercompactness, namely, a cardinal κ is supercompact if and only if every Π11 sentence true in a structure (...) M (of any size) containing κ in a language of size less than κ is also true in a substructure m≺M of size less than κ with m∩κ∈κ. (shrink)

In this article I investigate the phenomenon of minimum and minimal models of second-order set theories, focusing on Kelley–Morse set theory KM, Gödel–Bernays set theory GB, and GB augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of ZFC has a minimum GBC-realization if and only if it admits a parametrically definable global well order. (2) Countable models of GBC admit minimal extensions with the same sets. (...) (3) There is no minimum transitive model of KM. (4) There is a minimum β-model of GB+ETR. The main question left unanswered by this article is whether there is a minimum transitive model of GB+ETR. (shrink)

Relativistic quantum mechanics has been formulated as a theory of the evolution ofevents in spacetime; the wave functions are square-integrable functions on the four-dimensional spacetime, parametrized by a universal invariant world time τ. The representation of states with spin is induced with a little group that is the subgroup of O(3, 1) leaving invariant a timelike vector nμ; a positive definite invariant scalar product, for which matrix elements of tensor operators are covariant, emerges from this construction. In a previous (...) study a second-order equation was introduced similar to the second-order Dirac equation, based on a quadratic function of two operators which are the self-adjoint parts, in this new scalar product, of γμpμ. It is shown in this paper that one of these operators, in fact the one from which the gyromagnetic moment is obtained, can be used to construct a first-order equation. The corresponding quantum theory is somewhat analogous to Dirac's spinor form; the Hamilton equations appear to describe dynamical degrees of freedom in a spacelike hyperplane orthogonal to nμ (in Dirac's theory the motion appears to be lightlike). It is shown that the integration over nμ required by unitarity results in timelike motion (as in the expectation value of Dirac's α). Explicit forms are obtained for the wave functions and currents for free motion. The general form of the theory is written for the (five-dimensional) pre-Maxwell fields required by gauge invariance. (shrink)

What has been the historical relationship between set theory and logic? On the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand, set theory influenced logic by suggesting to Schröder, Löwenheim and others the use of infinitely long expressions. The questions of which logic was appropriate for set theory - first-order logic, second-order logic, or an infinitary logic - culminated in a vigorous exchange between (...) Zermelo and Gödel around 1930. (shrink)

In eighteenth-century French natural history, the notion of preformation was not only a model for a small preexisting embryo that gradually extended its shape through the influx of particles, but also for an order that coordinated the dynamic relation between organic parts. Preformation depended therefore also on a hidden order behind the continuity of visible forms. Louis Bourguet, Charles Bonnet, and Georges Cuvier distinguished three organizational levels: First, the synchronic or functional order of organic systems; (...) class='Hi'>second, the diachronic order of the initiation of mechanical processes; and third, the hierarchical order that regulates the interaction of organic parts. In this essay, I reconstruct and compare the three organizational levels in the writings of Bourguet, Bonnet and Cuvier, relate their models of organic unity to the principle of perfection, and contrast these models with Georges Buffon's critique of system theories. (shrink)

Büchi, J. R. The monadic second order theory of [omega symbol]₁.--Büchi, J. R. and Siefkes, D. Axiomatization of the monadic second order theory of [omega symbol]₁.