Iacobvs Bernays uir sagacissimus, exposuit in Porphyrii de abstinentia libris exstare excerpta ex Theophrasti de pietate libro satis magna, quae antea partim inscientia, partim neglegentia uirorum doctorum erant neglecta. Ad haec fragmenta coniecturas quasdam profero, usus Nauckii editione altera.

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)

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 Finnish experiment of 2017–18 is a crucial test case. It provides one of the most robust experimental tests of a universal basic income (UBI) in the context of an advanced industrialised society. And it is a real milestone, since it represents a nonutopian approach to UBI that can be palatable to middle class voters. But its partial success is also a partial failure. Although it is too early to render judgement, the Finnish case shows that there are many obstacles (...) for the successful implementation of theoretical models. Experiments often fall short of the ideal experimental conditions. This speaks against taking too optimistic a view on the next steps. (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)

An “insightful” and in-depth look at anti-science politics and its deadly results (Maria Konnikova, New York Times–bestselling author of The Biggest Bluff). Thomas Jefferson said, “Wherever the people are well informed, they can be trusted with their own government.” But what happens when they aren’t? From climate change to vaccinations, transportation to technology, health care to defense, we are in the midst of an unprecedented expansion of scientific progress—and a simultaneous expansion of danger. At the very time we need them (...) most, scientists and the very idea of objective knowledge are being bombarded by a vast, well-funded war on science, and the results are deadly. Whether it’s driven by identity politics, ideology, or industry, the result is an unprecedented erosion of thought in Western democracies as voters, policymakers, and justices actively ignore scientific evidence, leaving major policy decisions to be based more on the demands of the most strident voices. This compelling book investigates the historical, social, philosophical, political, and emotional reasons why evidence-based politics are in decline and authoritarian politics are once again on the rise on both left and right—and provides some compelling solutions to bring us to our collective senses, before it's too late. “If you care about attacks on climate science and the rise of authoritarianism, if you care about biased media coverage and shake-your-head political tomfoolery, this book is for you.”—The Guardian. (shrink)

Different opinions about the simplicity of God may be connected with different understandings of how abstract terms are used to name the properties which are affirmed of a being. If these terms are taken to signify parts of that being, this being is not a simple one. Thomas Aquinas, who attributes essence, existence and perfections to God, nevertheless thinks that these are not different parts of God. When essence, existence and perfections are attributed to God, they all denominate the same, (...) the Being of the first cause. For Aquinas, this is a consequence of his way of introducing the language about God by basing it upon the philosophical ways leading to God as first cause. Awareness of this connection between Divine attributes and the arguments for God’s existence is crucial for an adequate understanding of Aquinas’ position. (shrink)

The Monty Hall game is one of the most discussed decision problems, but where a convincing behavioral explanation of the systematic deviations from probability theory is still lacking. Most people not changing their initial choice, when this is beneficial under information updating, demands further explanation. Not only trust and the incentive of interestingly prolonging the game for the audience can explain this kind of behavior, but the strategic setting can be modeled more sophisticatedly. When aiming to increase the odds of (...) winning, while Monty’s incentives are unknown, then not to switch doors can be considered as the most secure strategy and avoids a sure loss when Monty’s guiding aim is not to give away the prize. Understanding and modeling the Monty Hall game can be regarded as an ideal teaching example for fundamental statistic understandings. (shrink)

Read audit in artes for the transmitted audet in artes in Gratt. 498. The correction has the effect that the phrase audere (ardere Gronovius) in proelia in Verg. Aen. 2,347 no longer has linguistic support.