The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.

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)

Dans cet article nous avons essayé d'examiner la valeur de l'attribution traditionelle du commentaire De Anima à Simplicius. En comparant ce traité aux grands commentaires de Simplicius (sur les Catégories, la Physique et le De Caelo d'Aristote), nous avons été en effet frappés par les divergences de style, et de langue, ainsi que par la différente manière de commenter. Dans la première partie nous démontrons que l'auteur de l'In D.A. a écrit également la Metaphrasis in Theophrastum, qui nous a été (...) transmise sous le nom de Priscien le Lydien. 1° Dans le In D.A. l'auteur renvoie à une de ses œuvres, qu'il appelle „Epitomé de la Physique de Théophraste". En réalité, cette référence se rapporte à un passage de la Métaphrase de Priscien, où la même problématique est exposée dans des termes identiques. — 2° Une comparaison détaillée, qui porte sur l'ensemble des deux œuvres, nous révèle une telle ressemblance de style et de pensée — il y a même des phrases à peu près identiques — qu'elle ne peut s'expliquer que par l'hypothèse de l'identité de l'auteur. Dans la deuxième partie nous essayons d'identifier l'auteur de ces deux œuvres qui pourtant nous ont été transmises sous deux noms différents. L'étude de la tradition directe et indirecte n'apporte guère de solution, puisque l'attribution des deux textes, l'un à Simplicius, l'autre à Priscien, y paraît très solide. Ce n'est donc que par une critique interne de l'In D.A., notamment par la confrontation avec les commentaires de Simplicius, dont l'attribution est certaine, que la question pourra être tranchée. 1° Dans l'In D.A. l'auteur renvoie trois fois à son commentaire sur la Physique. Pourtant, il est bien difficile de retrouver dans le grand commentaire de Simplicius trois passages dont le contenu et surtout le vocabulaire prouvent que l'auteur s'y réfère. — 2° Dans l'In D.A. on ne retrouve pas les traits caractéristiques de la méthode de commenter de Simplicius, ni l'approche du texte par la documentation historique, ni les longues discussions avec les exégètes antérieurs, ni l'exposé prolixe et bien structuré; d'autre part aucun des commentaires de Simplicius ne témoigne de la phraséologie tortueuse de notre oeuvre, ni de ses formules stéréotypées. — 3° La différence doctrinale est encore plus importante. Nulle part chez Simplicius n'apparaît la théorie de l'âme comme όριστική, qui est si fondamentale dans l'In D.A. (όρίζω y est un concept-clé). Les rares digressions de l'In D.A. à propos de questions physiques et logiques ne correspondent pas aux exposés de Simplicius sur les mêmes problèmes. Ainsi nous avons confronté la doctrine de la ‚physis', de l'âme et de son ‚automotion’ et enfin le rapport entre le ‚genre’ et les différences ‚constitutives’ et ‚diérétiques’. De tout cela se dégage une telle divergence entre l'In D. A. et les autres commentaires qu'elle ne peut s'expliquer par une évolution chez Simplicius lui-même. L'in D.A. lui est donc faussement attribué; et puisque nous avons établi que ce commentaire est du même auteur que la Métaphrase, nous pouvons conclure qu'il a été vraisemblablement écrit par Priscien le Lydien, un philosophe néoplatonicien dont nous savons seulement qu'il a accompagné Damascius et Simplicius en exil en Perse. (shrink)

We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)

Contrary to the widely held view that the Roman-Carthaginian naval encounter Polybios reports at 1.21.9-11 was separate from the one off Mylae (260 BC) told at length right afterwards (1.23), the battle at the ‘Cape of Italy’ is in fact - as suspected by some scholars long ago - identical with the one at Mylae. However, far from mistaking (as has been suggested) Philinos’ account of the latter for a separate engagement, Polybios knowingly and deliberately told the battle of Mylae (...) twice: first in a brief summary, stripped of all detail, to illustrate how the Roman commander Cn. Scipio Asina (cos. 260) and his Punic counterpart, Hannibal, were both guilty of equally inappropriate acts of recklessness; then for a second time in detail and in its proper chronological place. Compositional considerations prompted this approach: to wait with the moralizing parallel until after his full account of Mylae (preceded in turn by the long technical disquisition on the Roman boarding bridges) would spoil the effect, and Polybios chose to place it immediately after Asina’s capture. (shrink)

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.

Companies do have ethical responsibility and are not protected by limited liability from the consequences of their actions. A company's record and the preception of its ethics affect its reputation and ensure long term success or failure.The financial community has a history of placing moral considerations above legal or opportunistic expedients. But we are often exposed to moral dangers and the dangers of contamination are increasing. Deregulation and the technological revolution are sharpening ethical conflicts.