This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...) 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. (shrink)

The formation of particles of elemental tin in association with the nucleation of the precipitate phase θ′ in an Al–1.7 at.% Cu–0.01 at.% Sn alloy has been investigated by high resolution transmission electron microscopy. Analysis of lattice images has demonstrated that these tin particles associated with θ′ platelets formed during short-term ageing (typically 3 min at 200 degrees Celcius) exhibit a crystallographic form that is distinctly different from that previously reported in such ternary alloys and also from that observed in (...) the binary alloy Al–0.01 at.% Sn. Those tin particles that could be clearly identified as β-Sn phase shared a crystallographic relationship of the form (001)Sn‖(001)Al‖(001)θ′, [110]Sn‖[100]Al‖[100]θ′ with the α-Al and θ′ phases with which they were simultaneously in contact. The observations imply that, while tin may assist nucleation of platelets of θ′, the formation of θ′ equally influences the crystallography of β--Sn that forms in association with θ′. Following prolonged ageing (typically 50 h at 200°C), the β-Sn particles in contact with θ′ plates had coarsened and diminished in number, and most now exhibited an orientation relationship with α-Al matrix similar to that observed in the binary alloy Al–0.01 at.% Sn (i.e. (100)Sn‖(111)Al, [010]Sn‖[112]Al) and to that previously observed in the later stages of ageing of the ternary alloy Al–1.7 at.% Cu–0.01 at.% Sn. (shrink)

We formulate and analyze the dynamics of an influenza pandemic model with vaccination and treatment using two preventive scenarios: increase and decrease in vaccine uptake. Due to the seasonality of the influenza pandemic, the dynamics is studied in a finite time interval. We focus primarily on controlling the disease with a possible minimal cost and side effects using control theory which is therefore applied via the Pontryagin’s maximum principle, and it is observed that full treatment effort should be given while (...) increasing vaccination at the onset of the outbreak. Next, sensitivity analysis and simulations (using the fourth order Runge-Kutta scheme) are carried out in order to determine the relative importance of different factors responsible for disease transmission and prevalence. The most sensitive parameter of the various reproductive numbers apart from the death rate is the inflow rate, while the proportion of new recruits and the vaccine efficacy are the most sensitive parameters for the endemic equilibrium point. (shrink)

Iris Murdoch’s Metaphysics as a Guide to Morals ranges wide over the field of Western philosophical thought. Throughout the work, Murdoch proposes and enacts a form of philosophical inquiry that she believes supports a moral philosophy based on the idea of the good. One of her attempts, partly inspired by Paul Tillich and J. N. Findlay, centers on her critique and appropriation of the structure of the so-called “ontological argument” in Anselm’s Proslogion. This study assesses Murdoch’s accomplishment and the tenability (...) of the kind of Platonism she proposes against Anselm’s argument about the good in both the Monologion and the Proslogion. My claim is that Anselm’s conception of the good simply does not permit the kind of interpretation that Murdoch puts on the “ontological argument.”. (shrink)

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)

Aeneas' stopover at Actium has struck most readers as an Augustan interlude in the odyssey of Aeneid 3. The scene is conspicuous among the other episodes in the trip for its brevity and for the fact that it does not advance the action toward the Trojan exiles' Italian goal. Instead the accent falls on prefiguring actions of Aeneas' distinguished descendant, Octavian, after he achieved victory over Antony at the same site in 31 B.C. Where the future Augustus dedicated spoils from (...) the battle to Actian Apollo and instituted a festival called the Actian Games, the Trojans celebrate athletic games at Actium and their leader affixes an enemy trophy to the temple of Apollo there. This last act, however, Aeneas' dedicatio, points allusively to the mythical past as well as to the Augustan future. To appreciate the full force of that complex reference, which enriches the thematics of the entire scene, hinges on our recognition of a mythological figure whose identity has been long in doubt. The narrator Aeneas reports that he hung up on Apollo's shrine ‘the bronze shield worn by great Abas’. Who is this Abas, and why is his mention here significant? (shrink)