The now well-known impossibility results of algorithmic fairness demonstrate that an error-prone predictive model cannot simultaneously satisfy two plausible conditions for group fairness apart from exceptional circumstances where groups exhibit equal base rates. The results sparked, and continue to shape, lively debates surrounding algorithmic fairness conditions and the very possibility of building fair predictive models. This article, first, highlights three underlying points of disagreement in these debates, which have led to diverging assessments of the feasibility of fairness in prediction-based decision-making. (...) Second, the article explores whether and in what sense fairness as defined by the conjunction of the implicated fairness conditions is (un)attainable. Drawing on philosophical literature on the concept of feasibility and the role of feasibility in normative theory, I outline a cautiously optimistic argument for the _diachronic feasibility_ of fairness. In line with recent works on the topic, I argue that fairness can be _made possible_ through collective efforts to eliminate inequalities that feed into local decision-making procedures. (shrink)

The movement for the Unity of Science has been making headway for a number of years, and each year more workers in the various scientific domains have expressed their interest in it by participating in the discussion of its aims and its specific problems. A characteristic feature of this movement which explains this growing interest is that it does not propose a “super-science” which is to legislate to the special sciences. Its proposal of a Unity of Science is of a (...) different kind, not based upon some grand metaphysical view of any sort. Those who are active within this movement are emphatic in their insistence that instead of aiming at a synthesis of the different sciences on the basis of a prior and independent philosophy, the special sciences will themselves supply their own synthesizing glue. For appreciating the significance of this movement it is therefore necessary to keep in mind that its tendency is toward a unified science, departmentalized into special sciences, and not toward an artificial and speculative juxtaposition of an autonomous philosophy and an autonomous group of sciences. (shrink)

This essay comprises two chapters from the first part of Bollnow’s book on moods, namely the second chapter on the concept of Stimmung and the third chapter on Stimmungen as the sustaining foundation of the soul. It argues that moods constitute the simplest and most original form in which human life comes to know itself. Moods are understood as a specific harmony between, first, the inner and outer world; second, the states of the body and the soul; and, third, the (...) individual faculties of the soul. Moods differ from emotions in the narrow sense, which are always intentionally directed towards a specific object, whereas moods do not have any specific object; they are states of being, structuring and coloring human existence as a whole. Hence, no system of moods is provided, but their extensive diversity is indicated. Furthermore, transient, unsteady, or “moody” moods are distinguished from persistent or basic moods. (shrink)

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Encyclopaedism” is the systematically pursued activity within the Unity of Science Movement, devoted to the collecting of scientific statements of the logic of science logic, mathematics, physics, biology and other sciences, including all the “cross connections” between the given disciplines.

Despite the growing interest in perfectionism and its many facets, there is a lack of research on this phenomenon in the context of leadership. Attending to this deficit, the present study is the first to investigate the relationship between the three facets of perfectionism and three types of self-rated leadership behavior. In Study 1, leaders’ perfectionism and its association to their organizational, goal-oriented leadership behavior—self-rated as transactional and transformational leadership—is explored. In Study 2, the relationship of leaders’ perfectionism to their (...) servant leadership as a people-centered leadership behavior is investigated. In line with the perfectionism social disconnection model, we assume other-oriented and socially prescribed perfectionism to be positively related to management by exception and negatively related to transformational and servant leadership, whereas the opposite pattern is primarily predicted for self-oriented perfectionism. Our findings in Study 1 reveal a negative relationship between leaders’ self-oriented perfectionism as well as positive relationships to their other-oriented and socially prescribed perfectionism in management by exception, while no substantial correlations with transformational leadership have emerged. In Study 2, a negative association between other-oriented perfectionism and the forgiveness dimension of servant leadership is revealed, indicating a possible barrier to building interpersonal relationships of acceptance and trust. Additionally, self-oriented perfectionism has been proven to be a rather favorable trait in servant leadership. (shrink)

First Published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

Peirce conceived of methodology, or methodeutic, as he preferred to call it, as one of the three major parts of logic taken broadly--the other two being the theory of signs and formal logic. Unlike these two, however, his theory of methodology remained mostly programmatic, and there is little more than fragmentary suggestions about it scattered through his writings. But by gathering them together and pursuing their insights, it is possible to indicate how he might have divided and developed it: 1) (...) The nature of scientific discourse and how it differs from non-scientific. 2) The logic of inquiry, both heuristic and systematic, according to the modes of argument as deductive, inductive, or abductive (i.e. hypothesis) or a combination or all three. 3) The assurance of science considered in the factors that thwart or promote inquiry. (shrink)

The satisfiability problem for the two-variable fragment of first-order logic is investigated over finite and infinite linearly ordered, respectively wellordered domains, as well as over finite and infinite domains in which one or several designated binary predicates are interpreted as arbitrary wellfounded relations. It is shown that FO 2 over ordered, respectively wellordered, domains or in the presence of one well-founded relation, is decidable for satisfiability as well as for finite satisfiability. Actually the complexity of these decision problems is essentially (...) the same as for plain unconstrained FO 2 , namely non-deterministic exponential time. In contrast FO 2 becomes undecidable for satisfiability and for finite satisfiability, if a sufficiently large number of predicates are required to be interpreted as orderings, wellorderings, or as arbitrary wellfounded relations. This undecidability result also entails the undecidability of the natural common extension of FO 2 and computation tree logic CTL. (shrink)

Evolutionary psychologists tend to view the mind as a large collection of evolved, functionally specialized mechanisms, or modules. Cosmides and Tooby (1994) have presented four arguments in favor of this model of the mind: the engineering argument, the error argument, the poverty of the stimulus argument, and combinatorial explosion. Fodor (2000) has discussed each of these four arguments and rejected them all. In the present paper, we present and discuss the arguments for and against the massive modularity hypothesis. We conclude (...) that Cosmides and Tooby's arguments have considerable force and are too easily dismissed by Fodor. (shrink)

What was the role of music in the evolutionary history of human beings? We address this question from the point of view that musicality can be defined as a cognitive trait. Although it has been argued that we will never know how cognitive traits evolved (Lewontin, 1998), we argue that we may know the evolution of music by investigating the fundamental cognitive mechanisms of musicality, for example, relative pitch, tonal encoding of pitch, and beat induction. In addition, we show that (...) a nomological network of evidence (Schmitt & Pilcher, 2004) can be built around the hypothesis that musicality is a cognitive adaptation. Within this network, different modes of evidence are gathered to support a specific evolutionary hypothesis. We show that the combination of psychological, medical, physiological, genetic, phylogenetic, hunter–gatherer, and cross-cultural evidence indicates that musicality is a cognitive adaptation. (shrink)

We study the expressive power in the finite of the logic Fixed-Point+Counting, the extension of first-order logic which is obtained through adding both the fixed-point constructor and the ability to count. To this end an isomorphism preserving (`generic') model of computation is introduced whose PTime restriction exactly corresponds to this level of expressive power, while its PSpace restriction corresponds to While+Counting. From this model we obtain a normal form which shows a rather clear separation of the relational vs. the arithmetical (...) side of the algorithms involved. In parallel, we study the relations of Fixed-Point+Counting with the infinitary logics L r ∞ω (∃ ≥ m ) m∈ω and the corresponding pebble games. The main result, however, involves the concept of an arithmetical invariant. By this we mean a functor taking every finite relational structure to an expansion of (an initial segment of) the standard arithmetical structure. In particular its values are linearly ordered structures. We establish the existence of a family of arithmetical invariants (J r ) r≥ 1 with the following properties: $\bullet$ The invariants themselves can be evaluated in polynomial time. $\bullet$ A class of finite relational structures is definable in Fixed-Point+Counting if and only if membership can be decided in polynomial time on the basis of the values of one of the invariants. $\bullet$ The invariant J r classifies all finite relational structures exactly up to equivalence with respect to the logic L r ∞ω (∃ ≥ m ) m∈ω . We also give a characterization of Fixed-Point+Counting in terms of sequences of formulae in the L r ωω (∃ ≥ m ) m∈ω : It corresponds exactly to the polynomial time computable families (φ n ) n∈ω in these logics. Towards a positive assessment of the expressive power of Fixed-Point+Counting, it is shown that the natural extension of fixed-point logic by Lindström quantifiers, which capture all the PTime computable properties of cardinalities of definable predicates, is strictly weaker than what we get here. This implies in particular that every extension of fixed-point logic by means of monadic Lindstrom quantifiers, which stays within PTime, must be strictly contained in Fixed-Point+Counting. (shrink)

Lyndon's Interpolation Theorem asserts that for any valid implication between two purely relational sentences of first-order logic, there is an interpolant in which each relation symbol appears positively (negatively) only if it appears positively (negatively) in both the antecedent and the succedent of the given implication. We prove a similar, more general interpolation result with the additional requirement that, for some fixed tuple U of unary predicates U, all formulae under consideration have all quantifiers explicitly relativised to one of the (...) U. Under this stipulation, existential (universal) quantification over U contributes a positive (negative) occurrence of U. It is shown how this single new interpolation theorem, obtained by a canonical and rather elementary model theoretic proof, unifies a number of related results: the classical characterisation theorems concerning extensions (substructures) with those concerning monotonicity, as well as a many-sorted interpolation theorem focusing on positive vs. negative occurrences of predicates and on existentially vs. universally quantified sorts. (shrink)

Abzj proposed, in a fragment established and translated herein, two methods to build a parabolic mirror. The lack of demonstration, particularly for the first method, raises a difficult question of interpretation. To understand this method, O. Neugebauer used, in an unpublished article translated herein, concepts of descriptive geometry. He then eliminated the space construction used, to keep only simple geometrical considerations known by the Greeks. The second interpretation, given by R. Rashed, is based on the geometrical practices of al-Bnhzj from (...) Ibn Sinān seems to support this last interpretation. (shrink)

There are properties of finite structures that are expressible with the use of Hilbert's ε-operator in a manner that does not depend on the actual interpretation for ε-terms, but not expressible in plain first-order. This observation strengthens a corresponding result of Gurevich, concerning the invariant use of an auxiliary ordering in first-order logic over finite structures. The present result also implies that certain non-deterministic choice constructs, which have been considered in database theory, properly enhance the expressive power of first-order logic (...) even as far as deterministic queries are concerned, thereby answering a question raised by Abiteboul and Vianu. (shrink)