A structure ${\mathbb Y}$ of a relational language L is called almost chainable iff there are a finite set $F \subset Y$ and a linear order $\,<$ on the set $Y\setminus F$ such that for each partial automorphism $\varphi $ of the linear order $\langle Y\setminus F, <\rangle $ the mapping $\mathop {\mathrm {id}}\nolimits _F \cup \varphi $ is a partial automorphism of ${\mathbb Y}$. By theorems of Fraïssé and Pouzet, an infinite structure ${\mathbb Y}$ is almost chainable iff the (...) profile of ${\mathbb Y}$ is bounded; namely, iff there is a positive integer m such that ${\mathbb Y}$ has $\leq m$ non-isomorphic substructures of size n, for each positive integer n. A complete first order L-theory ${\mathcal T}$ having infinite models is called almost chainable iff all models of ${\mathcal T}$ are almost chainable and it is shown that the last condition is equivalent to the existence of one countable almost chainable model of ${\mathcal T}$. In addition, it is proved that an almost chainable theory has either one or continuum many non-isomorphic countable models and, thus, the Vaught conjecture is confirmed for almost chainable theories. (shrink)

Suppose that $\sigma\in{\mathcal{L}}_{\omega _{1},\omega }$ is such that all equations occurring in $\sigma$ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side of the equality symbol. We show that $\sigma$ satisfies Vaught’s conjecture. In particular, this proves Vaught’s conjecture for sentences of $ {\mathcal{L}}_{\omega _{1},\omega }$ without equality.

Assume G is a superstable locally modular group. We describe for any countable model M of Th(G) the quotient group G(M) / Gm(M). Here Gm is the modular part of G. Also, under some additional assumptions we describe G(M) / Gm(M) relative to G⁻(M). We prove Vaught's Conjecture for Th(G) relative to Gm and a finite set provided that ℳ(G) = 1 and the ring of pseudoendomorphisms of G is finite.

We show that the complete first order theory of an MV algebra has equation image countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are equation image and that all ω-categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra on countably (...) many generators of any locally finite variety of MV algebras is ω-categorical. (shrink)

It is proved that Vaught's conjecture is true for modules over an arbitrary countable serial ring. It follows from the structural result that every module with few models over a (countable) serial ring is ω-stable.

In [R. Vaught, Denumerable models of complete theories, in: Infinitistic Methods, Pregamon, London, 1961, pp. 303–321] Vaught conjectured that a countable first order theory has countably many or 20 many countable models. Here, the following special case is proved.

We give a model theoretic proof, replacing admissible set theory by the Lopez-Escobar theorem, of Makkai's theorem: Every counterexample to Vaught's Conjecture has an uncountable model which realizes only countably many ℒ$_{ω₁,ω}$-types. The following result is new. Theorem: If a first-order theory is a counterexample to the Vaught Conjecture then it has 2\sp ℵ₁ models of cardinality ℵ₁.

If some infinitary sentence provides a counterexample to Vaught's Conjecture, then there is an infinitary sentence which also provides a counterexample but has no model of cardinality bigger than ℵ₁.

This reappraisal of the middle section of Augustine's Confessions covers the period of Augustine's conversion to Christianity. The author argues against the prevailing Neoplatonic interpretation of Augustine.

A new interpretation of the first six books of Augustine's Confessions, emphasizing the importance of Christianity rather than Neoplatonism.

Genuine religion always involves the worship of what is genuinely ultimate. Religion, worship, and ultimate reality are thus indissolubly related. The task of reflective thought in this domain is to distinguish what is sound from what is spurious in religion; to characterise the meaning of religious devotion; and to attempt to articulate the nature of the ultimate reality to which men's worship is directed.

The present study examined how ethical beliefs and external factors affecting ethical beliefs are related to age and gender of business professionals. The results indicated that business professionals in the younger age group exhibited a lower standard of ethical beliefs. In the younger age groups, the females demonstrated a higher level of ethical beliefs, while in the older age group, the results suggested that the males had a slightly higher level of ethical beliefs. With regards to the influence of external (...) factors on ethical beliefs, the results yielded a significant interaction between age and gender. The younger age groups, males in particular, were more susceptible to external factors. People at home had the most influence on beliefs about ethics, while the individual''s supervisor had the least impact. The results were discussed in terms of theories of moral development. (shrink)

In the sole extended break from his life and varing in this way we can associate a sysied career in England, Alan Turing spent the tem of logic with any constructive ordinal. It may be asked whether such a years 1936–1938 doing graduate work at..

What does it mean to be an ethical professional? A professional career can be so demanding that it permeates every aspect of a person's life and personality. In light of this fact, it is especially important for students who are planning to enter a chosen profession to understand its moral status, moral virtues, and possible moral pitfalls, so that they will be equipped to deal with the inevitable moral quandaries that they will encounter as professionals. The most up-to-date professional ethics (...) reader available, Ethics Across the Professions analyzes the complex ethical issues that arise in such fields as engineering, finance, healthcare, journalism, and law. Featuring a wide array of both classic and contemporary sources, it ranges from works by Aristotle and Kant to selections by Michael Bayles, Sissela Bok, Paul Ekman, and Thomas Nagel. Organized topically, the anthology covers what it means to be a professional, outlines several ethical models, and addresses key issues including deception in professional life, privacy, loyalty, social welfare, conflicts of interest, and self-regulation. The book includes detailed chapter introductions, several practical case studies at the end of each chapter, and provocative discussion questions on issues like "whistle-blowing," the Iraq War, educating illegal immigrant children, and advertisements for pharmaceutical companies. Edited by three renowned ethicists, Ethics Across the Professions is especially suited for introductory professional ethics courses taught in philosophy departments as well as in nursing schools, business schools, and other professional programs. (shrink)

The most up-to-date reader with cases in professional ethics available.What does it mean to be an ethical professional? A professional career can be so demanding that it permeates every aspect of a person's life and personality. In light of this fact, it is especially important for students who are planning to enter a chosen profession to understand its moral status,moral virtues, and possible moral pitfalls, so that they will be equipped to deal with the inevitable moral quandaries that they will (...) encounter as professionals.The most up-to-date professional ethics reader available, Ethics Across the Professions analyzes the complex ethical issues that arise in such fields as engineering, finance, healthcare, journalism, and law. Featuring a wide array of both classic and contemporary sources, it ranges from works byAristotle and Kant to selections by Michael Bayles, Sissela Bok, Paul Ekman, and Thomas Nagel. Organized topically, the anthology covers what it means to be a professional, outlines several ethical models, and addresses key issues including deception in professional life, privacy, loyalty, socialwelfare, conflicts of interest, and self-regulation. The book includes detailed chapter introductions, several practical case studies at the end of each chapter, and provocative discussion questions on issues like "whistle-blowing," the Iraq War, educating illegal immigrant children, andadvertisements for pharmaceutical companies. Edited by three renowned ethicists, Ethics Across the Professions is especially suited for introductory professional ethics courses taught in philosophy departments as well as in nursing schools, business schools, and other professional programs. (shrink)

This is a volume of twelve essays published in the successful tradition of _Essays in Philosophy_. These essays in metaphysics merge the eternal, the historical, and the immediately encountered dimensions of man’s experience to illustrate what is permanently valuable in the tradition of Western thought. Contributors: John M. Anderson; Karel Berka; Hiram Canton; Joseph C. Flay; Richard A Gotshalk; Carl R. Hausman; Henry W. Johnstone, Jr.; Joseph J. Kockelmans; Robert G. Price; Stanley H. Rosen; Albert Tsugawa; Carl G. Vaught.

The central problem about the relationship between categories and the real order can be stated very simply: the purpose of categorial predication is to yield a set of necessary truths about things within the world, but the universality of these same truths sometimes seems to subordinate the particularity of the real order to the generality of conceptual understanding. As a result, an apparent conflict arises between the real and the logical orders which quite naturally raises a question about how these (...) two separate realms are to be related. In this paper I will examine this question in typically Aristotelian terms, first by discussing a small cluster of passages in Wilfrid Sellars’s challenging paper about Aristotle’s metaphysics, and then by offering my own interpretation of Aristotle’s position about the issue in question. My fundamental purpose in doing this is to establish an intelligible relationship between categories and the real order and to do so by exploring the logical space between an individual thing and the question “What is it?” I am convinced that within this space form and content meet and that we can at least begin to answer our original question about the real and the logical orders by exploring their interconnection. (shrink)

In the history of Western thought, the relation between religion and philosophy has taken a variety of forms. The first is an example of mutual antagonism. It begins with the attempt of the Presocratic philosophers to disentangle their thought from the mythic discourse of Homer and Hesiod. And it reaches its most decisive expression in the trial of Socrates for turning away from traditional religion and for inventing new “gods.” Antagonism reemerges in the Christian tradition in Paul’s warning to the (...) Colossians to turn away from “philosophy and vain deceit.” It also comes to focus in the claim of Tertullian that we must believe because to believe is absurd. Both theologians presuppose that faith surpasses human wisdom and that a rational account of its paradoxes can never unravel their mystery. (shrink)

Health professionals, by agreeing to provide care, accept a fiduciary role that entails an obligation to preserve trust. We trust health professionals to be competent, to promote patient interests, and to properly utilize their discretionary power. While some health professionals argue that such activities as secretly screening for drugs or sexually transmitted diseases are necessary to fulfill their fiduciary obligations, these may actually constitute a breach of trust. In this paper, I argue that, in the specific case of Munchausen’s Syndrome (...) by Proxy, covert surveillance is ethically justifiable and does not constitute a breach of trust and an abuse of the fiduciary relationship. (shrink)

_The Relational Horse_ explores the possibilities of including the horse’s perspective into the study of human-horse relationships. Case studies from across a range of time periods, activities, and disciplines provide fresh ways to understand horses, themselves, in relationships with humans.

BackgroundAn editorial expression of concern (EEoC) is issued by editors or publishers to draw attention to potential problems in a publication, without itself constituting a retraction or correction.MethodsWe searched PubMed, PubMed Central (PMC), and Google Scholar to identify EEoCs issued for publications in PubMed and PMC up to 22 August 2016. We also searched the archives of the Retraction Watch blog, some journal and publisher websites, and studies of EEoCs. In addition, we searched for retractions of EEoCs and affected articles (...) in PubMed up to 8 December 2016. We analyzed overall historical trends, as well as reported reasons and subsequent editorial actions related to EEoCs issued between August 2014 and August 2016.ResultsAfter screening 5076 records, we identified 230 EEoCs that affect 300 publications indexed in PubMed, the earliest issued in 1985. Half of the primary EEoCs were issued between 2014 and 2016 (52%). We found evidence of some EEoCs that had been removed by the publisher without leaving a record, and some were not submitted for PubMed or PMC indexing. A minority of publications affected by EEoCs had been retracted by early December 2016 (25%). For the subset of 92 EEoCs issued between August 2014 and August 2016, affecting 99 publications, the rate of retraction was similar (29%). The majority of EEoCs were issued because of concerns with validity of data, methods, or interpretation of the publication (68%), and 31% of cases remained open. Issues with images were raised in 40% of affected publications. Ongoing monitoring after the study identified another 17 EEoCs to year’s end in 2016, increasing the number of EEoCs to 247 and publications in PubMed known to be affected by EEoCs to 320 at the end of 2016.ConclusionsEEoCs have been rare publishing events in the biomedical literature, but their use has been increasing. Most have not led to retractions, and many remain unresolved. Lack of prominence and inconsistencies in management of EEoCs reduce the ability of these notices to alert the scientific community to potentially serious problems in publications. EEoCs will be made identifiable in PubMed in 2017. (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)

We study the following conjecture. Conjecture. Let $T$ be an $\omega$-stable theory with continuum many countable models. Then either i) $T$ has continuum many complete extensions in $L_1$, or ii) some complete extension of $T$ in $L_1$ has continuum many $L_1$-types without parameters. By Shelah's proof of Vaught's conjecture for $\omega$-stable theories, we know that there are seven types of $\omega$-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 $L_2$-types. (shrink)

Some sufficient conditions on a Symmetric Monoidal Closed category K are obtained such that a diagram in a free SMC category generated by the set A of atoms commutes if and only if all its interpretations in K are commutative. In particular, the category of vector spaces on any field satisfies these conditions . Instead of diagrams, pairs of derivations in Intuitionistic Multiplicative Linear logic can be considered . Two derivations of the same sequent are equivalent if and only if (...) all their interpretations in K are equal. In fact, the assignment of values to atoms is defined constructively for each pair of derivations. Taking into account a mistake in R. Voreadou's proof of the “abstract coherence theorem” found by the author, it was necessary to modify her description of the class of non-commutative diagrams in SMC categories; our proof of S. Mac Lane conjecture also proves the correctness of the modified description. (shrink)

Students of the play have not appreciated the merits of W. Dindorf's proposal to delete lines 895–7: his conjecture is not reported by most editors; when reported it is not accepted; and it has been taken seriously perhaps only in aniobiter dictumof Wecklein. Nevertheless, the arguments in its favour are even more powerful than Dindorf realised.

A proof is given that 0′ is definable in the structure of the degrees of unsolvability. This answers a long-standing question of Kleene and Post, and has a number of corollaries including the definability of the jump operator.

Ovid, Metamorphoses 4.243–4:nec tu iam poteras enectum pondere terraetollere, nympha, caput, corpusque exsangue iacebas.

Ovid, Metamorphoses 4.243–4: nec tu iam poteras enectum pondere terrae tollere, nympha, caput, corpusque exsangue iacebas.