The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

detail a question that, for a quarter of a century, remained open despite intense study by various researchers. Is the formula XC B = e(x e(e(e( ) e( )) z)) a single axiom for the classical equivalential calculus when the rules of inference consist..

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

'Johann Sommerville's is an impeccable textbook. Simply written, it provides exposition of Hobbes' arguments in the context of English and continental thought'. P. Springborg, University of Sydney, Political Studies, Vol. XL1, No 2 6/93 Thomas Hobbes was probably the greatest of British political theorists. Too often commentators have failed to grasp his meaning because they have ignored the historical context in which he wrote. Drawing on much recent scholarship and on many little-known seventeenth century sources, this book presents a lucid (...) and jargon-free examination of Hobbes' arguments, setting them against a background of the ideas of his contemporaries and of the political events of his lifetime. By viewing Hobbes in his context, the book both clarifies his theories and illuminates European thinking at a critical stage in the development of modern political ideas. (shrink)

A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.

In lieu of an abstract, here is a brief excerpt of the content:The Aristotelianism of Locke's PoliticsJ. S. MaloyThose, then, who think that the positions of statesman, king, household manager, and master of slaves are the same are not correct. For they hold that each of these differs not innly in whether the subjects ruled are few or many... the assumption being that there is no difference between a large household and a small city-state.... But these claims are not true.Aristotle, (...) Politics, 1252a1The Power of a Magistrate over a Subject may be distinguished from that of a Father over his Children, a Master over his Servant, a Husband over his Wife, and a Lord over his Slave. All which distinct Powers happening sometimes together in the same Man, if he be considered under these different Relations, it may help us to distinguish these Powers one from another, and show the difference betwixt a Ruler of a Common-wealth, a Father of a Family, and a Captain of a Galley.Locke, Two Treatises of Government, 2.22 [End Page 235]When the political theory of John Locke first appeared in print in 1689, the imposing authority of Aristotle stood ready to defeat it. So believed many of Locke's critics, at any rate. After his death in 1704, when it was confirmed that the internationally renowned author of An Essay Concerning Human Understanding had also written the anonymously published Two Treatises of Government, Locke was widely taken to represent a distinctive type of political theory based on individual rights and the social contract. Learned opposition to this sort of voluntaristic account of politics has often rested on Aristotle, "the Philosopher," the ancient authority on the human instinct for sociability and the hierarchal communities arising therefrom. Within the modern academy "liberals," "communitarians," and "republicans" have again made a habit of pronouncing the names of Locke and Aristotle in tones of antagonism. In broad outline the reasons have not changed in two or three centuries ago: the first stands for natural-rights individualism and the second for an organic conception of community.3What are we to make of this conventional opposition in light of the awkward fact that the second of Locke's Two Treatises, "Of Civil Government," takes the reclamation of the Aristotelian conception of political power as its principal purpose? Locke announced in the opening chapter of that essay that his chief target, Robert Filmer, had misunderstood the nature of distinctively political relationships, mainly by ignoring the differences between authority in political society and authority within the family (L 2.1–2). Locke alleged that this basic conceptual mistake of the Filmerian theory of "absolute" and "arbitrary" government was the source of its disastrous practical ramifications, which he had summed up in the first Treatise as "Chains for all Mankind" (L 1.1). Filmer, in turn, had taken Plato's side in the debate about political and familial rule which Aristotle had joined in the opening lines of his Politics (A 1252a). Though a perceptive reader long ago noticed the Aristotelianism of Locke's response to Filmer—Locke and Algernon Sidney were the "two famous men" to whom Rousseau alluded as having defended Aristotle against Filmer's Platonic notions of power—no modern scholar has attempted a full explanation of the significance of Locke's intervention in this debate.4 [End Page 236]The analysis below will show that Aristotle was the classic source for both the principal theoretic argument of Locke's second Treatise and the method employed to pursue it, i.e. using analogies of power for conceptual comparison and distinction. But my argument for the Aristotelianism of Locke's politics will rest on contextual as well as textual grounds. Not only was Locke pursuing an evident variation on the central theme of bk. 1 of Aristotle's Politics; he was far from alone in doing so. This sort of project was by the 1680s typical of radical constitutionalist writing in Europe, including not only English Whigs like Sidney and James Tyrrell but also a long line of writers on both sides of the English Channel, stretching back at least a century, who deployed a particular interpretation of Aristotle in the service... (shrink)

C5.ω is obtained by adding, schematically, to the strict-implicational fragment C5 of S5 the axiom → ) → . This paper presents a fully general proof that neither C5.ω nor any of a descending chain of its extensions is complete with respect to any class of frames, correcting the garbled details of a version skeched in an earlier paper , 201-208).

A four-valued matrix is presented which validates all theorems of the implicational fragment, IF, of the classical sentential calculus in which at most two distinct sentence letters occur. The Wajsberg/Diamond-McKinsley Theorem for IF follows as a corollary: every complete set of axioms (with substitution and detachment as rules) must include at least one containing occurrences of three or more distinct sentence letters. Additionally, the matrix validates all IF theses built from nine or fewer occurrences of connectives and letters. So the (...) classic result of Jagkovski for the full sentential calculus -that every complete axiom set must contain either two axioms of length at least nine or else one of length at least eleven-can be improved in the implicational case: every complete axiom set for IF must contain at least one axiom eleven or more characters long. Both results are "best possible", and both apply as well to most subsystems of IF, e.g., the implicational fragments of the standard relevance logics, modal logics, the relatives of implicational intutionism, and logics in the Lukasiewicz family. (shrink)

Reanimated for the contemporary literature in the writings of Quine, [16]) and Kuhn [7], the conventionalism of Duhem [2] and Poincaré [12] has emerged in the last few years as one of the genuinely interesting topics in the philosophy of science. The theory in question—let us follow Grünbaum [3] in calling it the D-thesis, after its founder, Pierre Duhem—claims three things: a single scientific hypothesis H is never disconfirmable in isolation from its fellow; every single hypothesis H of science presupposes, (...) explicitly or implicitly, the support of a conjunction A = A, • A2 • … • Am of auxiliary assumptions or hypotheses; the failure of an observational consequence of H in face of contradictory evidence disconfirms only the conjunction of H and A, not H alone—i.e. establishes only ∼. The logical picture is as follows. (shrink)

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

The first English translation of Fichte’s second set of 1804 lectures on the Wissenschaftslehre.

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.