Grammatical theories of Scalar Implicatures make use of an exhaustivity operator exh, which asserts the conjunction of the prejacent with the negation of excludable alternatives. We present a new Grammatical theory of Scalar Implicatures according to which exh is replaced with pex, an operator that contributes its prejacent as asserted content, but the negation of scalar alternatives at a non-at-issue level of meaning. We show that by treating this non-at-issue level as a presupposition, this theory resolves a number of empirical (...) challenges faced by the old formulation of exh (as well as by standard neo-Gricean theories). The empirical challenges include projection of scalar implicatures from certain embedded environments (‘some under some’ sentences, some under negative factives), their restricted distribution under negation, and the existence of common ground-mismatching and oddness-inducing implicatures. We argue that these puzzles have a uniform solution given a pex-based Grammatical theory of implicatures and some independently motivated principles concerning presupposition projection, cancellation and accommodation. (shrink)

Nonlinear dynamic models are widely used for characterizing processes that govern complex biological pathway systems. Over the past decade, validation and further development of these models became possible due to data collected via high-throughput experiments using methods from molecular biology. While these data are very beneficial, they are typically incomplete and noisy, which renders the inference of parameter values for complex dynamic models challenging. Fortunately, many biological systems have embedded linear mathematical features, which may be exploited, thereby improving fits and (...) leading to better convergence of optimization algorithms. In this paper, we explore options of inference for dynamic models using a novel method of separable nonlinear least-squares optimization and compare its performance to the traditional nonlinear least-squares method. The numerical results from extensive simulations suggest that the proposed approach is at least as accurate as the traditional nonlinear least-squares, but usually superior, while also enjoying a substantial reduction in computational time. (shrink)

Asymmetrical convergence is the increasing overlap between academic and industrial sectors, but with academia moving closer toward for-profit industrial norms than vice versa. Although this concept, developed by Kleinman and Vallas, is useful, processes of asymmetrical convergence in daily laboratory life are largely unexplored. Here, observations of three lab groups of chemical scientists in academic and industry contexts illustrate variation in interactions with ethics-related policies. Findings show more tension for academic science with business-based practices, such as the move toward greater (...) accountability, than for industrial science with academic practices. This asymmetry is evident in the process of purposive decoupling: for example, where academic scientists use humor to distance themselves from the performance of compliance in required reporting and top-down ethics training requirements. This distancing from meaningless requirements contrasts with mentoring around practices of professional behavior that are thought to matter. Convergence is evident in how safety policies seem more engaging than other kinds of policies. Yet, power structures shape engagement. Academic engagement often means rule following, and flows vertically from professor’s authority to student apprenticeship. Industry engagement includes collaborative problem solving and flows along a more horizontal peer structure where informal power is less visible. (shrink)

Ethics in public administration has been a subject of growing interest for both researchers and practitioners interested in the future of governance. This study examined the relationship between ethics and performance in local governance. We tested the effects over time of an ethics program on employees' perceptions (awareness of the code of ethics, ethical leadership, inclusion of employees in ethical decision making [EDM], ethical climate [EC], organizational commitment, and quality of work life [QWL]) and behavior (organizational citizenship behavior) in one (...) Israeli regional council. We conducted a longitudinal study of 108 employees, using data from a two-phase survey (before implementation of the ethics program and a year after) and objective assessments of employees' behavior through managers' evaluations. The main findings show that the ethics program was very effective, resulting in greater awareness of the code of ethics, increased inclusion of employees in EDM, and an improved EC. Furthermore, ethical leadership was positively related to employees' awareness of the code of ethics, increased inclusion of employees in EDM, an improvement in the EC, greater organizational commitment, and higher QWL. Implications and suggestions for future studies are discussed. (shrink)

The corners of this world were marked by the rise and set points of the solstice sun.

This conference brought together experts in different fields related to the foundations of quantum mechanics, ranging from mathematical physics to experimental physics, as well as the philosophy of science. The major topics discussed are: collapse models, Bohemian mechanics and their relativistic extensions, other alternative formulation of quantum mechanics, properties of entanglement, statistical physics and probability theory, new experimental results, as well as philosophical and epistemological issues.

This paper argues that spatial contingencies, defined by the relationship between where historical actors are in the narrative and what they say, are crucial for understanding the political and ideological effects of Thucydides' History. A comprehensive approach to these contingencies is linked to two related premises. First, that the city of Athens is the principal spatial referent in the History and, second, that Athens refers both to a set of “real” topographical features and to a transcendent and trans-historical ideal that (...) exceeds those features. The dynamic between these two is mediated by Athens' inevitable defeat and by the related conflict between the History as the presentation of facts about the past, on the one hand, and as the source of future predictions, on the other. Framing this analysis are the distinctive characteristics ascribed to the Athenians as a collective and to the positions of Thucydides and Alcibiades as Athenians in exile. (shrink)

Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures to various natural classes of complete metric structures. With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result?The primary purpose of this article is to show that a certain, interesting set of axioms does indeed yield a completeness (...) result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is satisfiable if it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊨φ only if Σ⊢φ∸ 2-n for all n < ω. This approximated form of strong completeness asserts that if Σ⊨φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ.Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory recursive? Say that a complete theory T is decidable if for every sentence φ, the value φT is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φT∘ is uniformly recursive from φ, where φT∘is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive axiomatization then it is decidable. (shrink)

-/- Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result? -/- The primary purpose (...) of this article is to show that a certain, interesting set of axioms does indeed yield a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely) satisfiable if (and only if) it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊧φ (if and) only if Σ⊢φ ∸2−n for all n < ω. This approximated form of strong completeness asserts that if Σ⊧φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ. -/- Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory (in a countable, recursive language) recursive? Say that a complete theory T is decidable if for every sentence φ, the value φ T is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φ T o is uniformly recursive from φ, where φ T o is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive (or even recursively enumerable) axiomatization then it is decidable. (shrink)

Objective: The purpose of this study was to demonstrate how educators involved in the teaching of bioethics to healthcare university students in Japan would cope with ethical disagreement in the classroom, and to identify factors influencing them.Methods: A cross sectional survey was conducted using self administered questionnaires mailed to a sample of university faculty in charge of bioethics curriculum for university healthcare students.Results: A total of 107 usable questionnaires were returned: a response rate of 61.5%. When facing ethical disagreement in (...) the classroom, coping behaviour differed depending on the topic of discussion, was influenced by educators’ individual clear ethical attitudes regarding the topic of discussion, and was independent of many respondents’ individual and social backgrounds. Among educators, it was commonly recognised that the purpose of bioethics education was to raise the level of awareness of ethical problems, to provide information about and knowledge of those issues, to raise students’ sensitivity to ethical problems, and to teach students methods of reasoning and logical argument. Yet, despite this, several respondents considered the purpose of bioethics education to be to influence students about normative ethical judgments. There was no clear relationship, however, between ways of coping with ethical disagreement and educators’ sense of the purpose of bioethics education.Conclusions: This descriptive study suggests that educators involved in bioethics education for healthcare university students in Japan coped in various ways with ethical disagreement. Further research concerning ethical disagreement in educational settings is needed to provide better bioethics education for healthcare students. (shrink)

We analyse a recent paper in which an alleged devastating criticism of the so called GRW proposal to account for the objectification of the properties of macroscopic systems has been presented and we show that the author has not taken into account the precise implications of the GRW theory. This fact makes his conclusions basically wrong. We also perform a survey of measurement theory aimed to focus better on the physical and the conceptual aspects of the so-called macro-objectification problem.

Clinical ethics support, including ethics consultation, has become established in the field of medical practice throughout the world. This practice has been regarded as useful, most notably in the UK and the USA, in solving ethical problems encountered by both medical practitioners and those who receive medical treatment. In Japan, however, few services are available to respond to everyday clinical ethical issues, although a variety of difficult ethical problems arise daily in the medical field: termination of life support, euthanasia and (...) questions about patient autonomy. In light of these conditions, a group of 17 volunteer educators and researchers from the area of biomedical ethics, including the authors, have formed the Clinical Ethics Support and Education Project, and began providing Japan’s first small team clinical ethics consultation service in October, 2006. Members include scholars of biomedical ethics, scholars of philosophy and ethics, legal professionals and legal scholars, nurses and doctors, consisting of five women and 12 men. Consultation teams, made up of a small number of members, were organised each time a request for consultation was received. Over approximately 15 months (October 2006–December 2007), the programme received 22 consultation requests from medical practitioners and medical institutions, and three from the families of patients. In this paper, we will discuss the status of our consultation service and examples of consultation cases we have handled. In addition, we will examine the process of evaluating small team clinical ethics consultation services, as well as the strengths and weakness of such programmes. (shrink)

We give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable, elementarily equivalent structures which are approximately $aleph_0$-saturated up to arbitrarily small perturbations are isomorphic up to arbitrarily small perturbations. As a corollary, we obtain a Ryll-Nardzewski style characterisation of complete theories all of whose separable models are isomorphic up to arbitrarily small perturbations.

The Pareto principle is a normative principle about preferences that advocates concordance with unanimous preference. However, people have perspectives not just preferences. Evaluating preferences...

We present an adaptation of continuous first order logic to unbounded metric structures. This has the advantage of being closer in spirit to C. Ward Henson's logic for Banach space structures than the unit ball approach, as well as of applying in situations where the unit ball approach does not apply. We also introduce the process of single point emph{emboundment}, allowing to bring unbounded structures back into the setting of bounded continuous first order logic. Together with results from cite{BenYaacov:Perturbations} regarding (...) perturbations of bounded metric structures, we prove a Ryll-Nardzewski style characterisation of theories of Banach spaces which are separably categorical up to small perturbation of the norm. This last result is motivated by an unpublished result of Henson. (shrink)

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Criteres de compacite" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.

We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.

This paper explores ethical issues raised by quadratic voting. We compare quadratic voting to majority voting from two ethical perspectives: the perspective of utilitarianism and that of democratic theory. From a utilitarian standpoint, the comparison is ambiguous: if voter preferences are independent of wealth, then quadratic voting out- performs majority voting, but if voter preferences are polarized by wealth, then majority voting may be superior. From the standpoint of democratic theory, we argue that assess- ments in terms of efficiency are (...) too narrow. Voting institutions and political institutions more generally face a legitimacy requirement. We argue that in the presence of inequalities of wealth, any vote buying mechanism, including quadratic voting, will have a difficult time meeting this requirement. (shrink)

In view of the arguments put forward by Clifton and Monton [this volume], we reconsider the alleged conflict of dynamical reduction models with the enumeration principle. We prove that our original analysis of such a problem is correct, that the GRW model does not meet any difficulty and that the reasoning of the above authors is inappropriate since it does not take into account the correct interpretation of the dynamical reduction theories.

In this project, we assessed 242 codes of media ethics from 94 countries across the globe, focusing on their treatment of moonlighting. The analysis included whether the codes dealt with moonlighting, whether geopolitical and geoeconomic characteristics affected the treatment of the issue, and whether the type of media organization was significant. Only about half the codes addressed moonlighting; Eastern European countries paid the greatest attention to moonlighting, and newspapers and chains were more likely than other media organizations to deal with (...) the issue. Overall, it appears that codes of ethics do not provide clear, strict, or consistent guidelines. (shrink)

In view of the arguments put forward by Clifton and Monton [this volume], we reconsider the alleged conflict of dynamical reduction models with the enumeration principle. We prove that our original analysis of such a problem is correct, that the GRW model does not meet any difficulty and that the reasoning of the above authors is inappropriate since it does not take into account the correct interpretation of the dynamical reduction theories.

We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.

We respond to criticisms of our paper “The Free Will Theorem”, and produce a new form of the theorem based on weaker assumptions.

The argument from inductive risk claims that judgments about the moral severity of errors are relevant to decisions about what should count as sufficient evidence for accepting claims. While this idea has been explored in connection with evidence required for the approval of pharmaceuticals, the role of inductive risk in the post-approval process has been largely neglected. In this article, we examine the ethics of inductive risk in connection with revisions to the product monograph for OxyContin in Canada, which understates (...) the risks of addiction and abuse associated with this drug. Using the concept of inductive risk, we consider what evidence should have been sufficient for Health Canada to revise the product monograph for OxyContin. Given the stakes involved, we argue that a less strict standard of evidence would have been appropriate, yet HC in fact took the opposite course, insisting upon a higher standard of evidence than it normally requires. In addition to providing a novel perspective on the opioid crisis in Canada, this article contributes to existing philosophical work by demonstrating that inductive risks in the post-approval stage are important and linked to pre-approval inductive risks. (shrink)

We study the following conjecture. Conjecture. Let T be an ω-stable theory with continuum many countable models. Then either i) T has continuum many complete extensions in L1(T), or ii) some complete extension of T in L1 has continuum many L1-types without parameters. By Shelah's proof of Vaught's conjecture for ω-stable theories, we know that there are seven types of ω-stable theory with continuum many countable models. We show that the conjecture is true for all but one of these seven (...) cases. In the last case we show the existence of continuum many L2-types. (shrink)

In a recent paper, Conway and Kochen proposed what is now known as the “Free Will theorem” which, among other things, should prove the impossibility of combining GRW models with special relativity, i.e., of formulating relativistically invariant models of spontaneous wavefunction collapse. Since their argument basically amounts to a non-locality proof for any theory aiming at reproducing quantum correlations, and since it was clear since very a long time that any relativistic collapse model must be non-local in some way, we (...) discuss why the theorem of Conway and Kochen does not affect the program of formulating relativistic GRW models. (shrink)

Although logical consistency is desirable in scientific research, standard statistical hypothesis tests are typically logically inconsistent. To address this issue, previous work introduced agnostic hypothesis tests and proved that they can be logically consistent while retaining statistical optimality properties. This article characterizes the credal modalities in agnostic hypothesis tests and uses the hexagon of oppositions to explain the logical relations between these modalities. Geometric solids that are composed of hexagons of oppositions illustrate the conditions for these modalities to be logically (...) consistent. Prisms composed of hexagons of oppositions show how the credal modalities obtained from two agnostic tests vary according to their threshold values. Nested hexagons of oppositions summarize logical relations between the credal modalities in these tests and prove new relations. (shrink)

Risk management is a well-known method to face technological challenges through a win–win combination of protective and proactive approaches, fostering the collaboration of operators, researchers, regulators, and industries for the exploitation of new markets. In the field of autonomous and unmanned aerial systems, or UAS, a considerable amount of work has been devoted to risk analysis, the generation of ground risk maps, and ground risk assessment by estimating the fatality rate. The paper aims to expand this approach with a tool (...) for managing data protection risks raised by drones through the design of flight maps. The tool should allow UAS operators choosing the best air corridor for their drones based on the so-called privacy by design principle pursuant to Article 25 of the EU data protection regulation, the GDPR. Among the manifold applications of this approach, the design of fly zones for drones can be tailored for public authorities in the phase of authorization of new operations, much as for national Data Protection authorities that have to control the lawfulness of personal data processing by UAS operations. The overall aim is to present the first win–win approach to data protection issues, aerospace engineering challenges, and risk management methods for the threats posed by this technology. (shrink)

The notion of quasi-minimal structures was defined by B. Zil'ber as a natural generalization of minimal structures. Inspired by his work, we study here basic model theoretic properties of quasiminimal structures. Main result is the construction of ω-saturated quasi-minimal models under ω-stability assumption.

We show that is a quasi-minimal torsion-free divisible abelian group. After discussing the axiomatization of the theory of this structure, we present its ω-saturated quasi-minimal model.

Risk management is a well-known method to face technological challenges through a win–win combination of protective and proactive approaches, fostering the collaboration of operators, researchers, regulators, and industries for the exploitation of new markets. In the field of autonomous and unmanned aerial systems, or UAS, a considerable amount of work has been devoted to risk analysis, the generation of ground risk maps, and ground risk assessment by estimating the fatality rate. The paper aims to expand this approach with a tool (...) for managing data protection risks raised by drones through the design of flight maps. The tool should allow UAS operators choosing the best air corridor for their drones based on the so-called privacy by design principle pursuant to Article 25 of the EU data protection regulation, the GDPR. Among the manifold applications of this approach, the design of fly zones for drones can be tailored for public authorities in the phase of authorization of new operations, much as for national Data Protection authorities that have to control the lawfulness of personal data processing by UAS operations. The overall aim is to present the first win–win approach to data protection issues, aerospace engineering challenges, and risk management methods for the threats posed by this technology. (shrink)

Risk management is a well-known method to face technological challenges through a win–win combination of protective and proactive approaches, fostering the collaboration of operators, researchers, regulators, and industries for the exploitation of new markets. In the field of autonomous and unmanned aerial systems, or UAS, a considerable amount of work has been devoted to risk analysis, the generation of ground risk maps, and ground risk assessment by estimating the fatality rate. The paper aims to expand this approach with a tool (...) for managing data protection risks raised by drones through the design of flight maps. The tool should allow UAS operators choosing the best air corridor for their drones based on the so-called privacy by design principle pursuant to Article 25 of the EU data protection regulation, the GDPR. Among the manifold applications of this approach, the design of fly zones for drones can be tailored for public authorities in the phase of authorization of new operations, much as for national Data Protection authorities that have to control the lawfulness of personal data processing by UAS operations. The overall aim is to present the first win–win approach to data protection issues, aerospace engineering challenges, and risk management methods for the threats posed by this technology. (shrink)

Collapse models predict the spontaneous collapse of the wave function, in order to avoid the emergence of macroscopic superpositions. In their mass-dependent formulation, they claim that the collapse of any system’s wave function depends on its mass. Neutral K, D, B mesons are oscillating systems that are given by Nature as superposition of two distinct mass eigenstates. Thus they are unique laboratory for testing collapse models that are sensitive to the mass. In this paper we derive—for the single mesons and (...) bipartite entangled mesons—the effect of the mass-proportional CSL (Continuous Spontaneous Localization) collapse model on the dynamics on neutral mesons. We compare the theoretical prediction with experimental data from different accelerator facilities. (shrink)