In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ‮א‬₀-categorical saturated structure with a unique computable isomorphism type? Our answer is affirmative and uses a construction based on Kolmogorov complexity. With a variation of this construction, we also provide an example of an ‮א‬₁-categorical but not ‮א‬₀-categorical saturated $\Sigma _{1}^{0}$ -structure with a unique computable isomorphism type. In addition, using the construction we give an example of an ‮א‬₁-categorical but (...) not ‮א‬₁-categorical theory whose only non-computable model is the prime one. (shrink)

Khoussainov and Nerode [14] posed various open questions on model-theoretic properties of automatic structures. In this work we answer some of these questions by showing the following results: There is an uncountably categorical but not countably categorical theory for which only the prime model is automatic; There are complete theories with exactly 3,4,5,…3,4,5,… countable models, respectively, and every countable model is automatic; There is a complete theory for which exactly 2 models have an automatic presentation; If LOGSPACE=PLOGSPACE=P then there is (...) an uncountably categorical but not countably categorical theory for which the prime model does not have an automatic presentation but all the other countable models are automatic; There is a complete theory with countably many countable models for which the saturated model has an automatic presentation but the prime model does not have one. (shrink)

In this paper we study the question as to which computable algebras are isomorphic to non-computable \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi_{1}^{0}$$\end{document}-algebras. We show that many known algebras such as the standard model of arithmetic, term algebras, fields, vector spaces and torsion-free abelian groups have non-computable\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi_{1}^{0}$$\end{document}-presentations. On the other hand, many of this structures fail to have non-computable \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Sigma_{1}^{0}$$\end{document}-presentation.

We study the following open question in computable model theory: does there exist a structure of computable dimension two which is the prime model of its first-order theory? We construct an example of such a structure by coding a certain family of c.e. sets with exactly two one-to-one computable enumerations into a directed graph. We also show that there are examples of such structures in the classes of undirected graphs, partial orders, lattices, and integral domains.

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

We give new examples of FA presentable torsion-free abelian groups. Namely, for every n2, we construct a rank n indecomposable torsion-free abelian group which has an FA presentation. We also construct an FA presentation of the group in which every nontrivial cyclic subgroup is not FA recognizable.

Now in a third edition, Introduction to Philosophy: Classical and Contemporary Readings is a highly acclaimed, topically organized collection that covers five major areas of philosophy--theory of knowledge, philosophy of religion, philosophy of mind, freedom and determinism, and moral philosophy. Editor Louis P. Pojman enhances the text's topical organization by arranging the selections into a pro/con format to help students better understand opposing arguments. He also includes accessible introductions to each chapter, subsection, and individual reading, a unique feature for an (...) anthology of this depth. While the book focuses on a compelling sampling of classical material--including selections from Plato, Aristotle, Descartes, Locke, Berkeley, Hume, and Kant--it also incorporates some of philosophy's best twentieth-century and contemporary work, featuring articles by Bertrand Russell, Richard Taylor, John Searle, Thomas Nagel, and others. This third edition contains an expanded glossary, more extensive section introductions, and twelve new selections: Karl Popper: "Epistemology without a Knowing Subject" Richard Rorty: "Dismantling Truth: Solidarity Versus Objectivity" Daniel Dennett: "Postmodernism and Truth" Bruce Russell: "The Problem of Evil: Too Much Suffering" David Chalmers: "Against Materialism: Can Consciousness Be Reductively Explained?" Baron Paul Henri d'Holbach: "A Defense of Determinism" Michael Levin: "A Compatibilist Defense of Moral Responsibility" Plato: Socratic Morality: "Crito" Herodotus: "Custom Is King" J. L. Mackie: "The Subjectivity of Values" Louis P. Pojman: "A Critique of Mackie's Theory of Moral Subjectivism" Thomas Nagel: "Moral Luck". (shrink)

In this paper we study the question as to which computable algebras are isomorphic to non-computable $\Pi_{1}^{0}$ -algebras. We show that many known algebras such as the standard model of arithmetic, term algebras, fields, vector spaces and torsion-free abelian groups have non-computable $\Pi_{1}^{0}$ -presentations. On the other hand, many of this structures fail to have non-computable $\Sigma_{1}^{0}$ -presentation.

In ”Skepticism,” Peter Klein distinguishes between the “Academic Skeptic” who proposes that we cannot have knowledge of a certain set of propositions and the “Pyrrhonian Skeptic” who refrains from opining about whether we can have knowledge. Klein argues that Academic Skepticism is plausibly supported by a “Closure Principle‐style” argument based on the claim that if x entails y and S has justification for x, then S has justification for y. He turns to contextualism to see if it can contribute to (...) the discussion between one who claims that we can have knowledge about some epistemically interesting class of propositions and the Academic Skeptic. He outlines the background of Pyrrhonian Skepticism, pointing out that the Pyrrhonist withholds assent concerning our knowledge‐bearing status because reason cannot provide an adequate basis for assent. He assesses three possible patterns of reasoning, and concludes that the Pyrrhonist view, that reason cannot resolve matters concerning the nonevident, is vindicated. (shrink)

This paper advances the research on personalization of political communication by investigating whether this process of focusing on politicians instead of political issues plays a role on Twitter. Results of a content analysis of 5,530 tweets posted in the run-up to the German federal election provide evidence that Twitter communication refers more often to politicians than to issues. However, tweets containing personal characteristics about political leaders play only a marginal role. When distinguishing among different groups of actors on Twitter (journalists, (...) politicians, citizens), we find that citizens focus more on candidates than do journalists or politicians. Investigating the impact of a televised debate on Twitter communication, we observe that this person-centered event puts the focus on individual politicians instead of issues. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

Differential scanning calorimetry (DSC) has been employed to investigate the glass transition activation energy E g, thermal stability and glass-forming ability (GFA) of Se90In10− x Sb x (x = 0, 2, 4, 6, 8, 10) chalcogenide glasses. DSC runs were performed at six different heating rates. Well-defined endothermic and exothermic peaks were obtained at glass transition and crystallization temperature. The dependence of glass transition temperature T g on heating rate (α), as well as composition of Sb, has been studied. From (...) the dependence of glass transition temperature on heating rate, the E g has been calculated on the basis of the Kissinger [Anal. Chem. 29 (1957) p.1702] and Moynihan [J. Phys. Chem. 78 (1974) p.267] models. Thermal stability has been monitored through the calculation of temperature differences T c–T g, the stability parameter S, and the enthalpy released during crystallization H c. The GFA has been investigated on the basis of the Hruby parameter H r, which is strong indicator of GFA. Results for GFA are in good agreement with fragility index F i calculations, indicating that Se90In6Sb4 is an excellent glass-former. (shrink)

This book is an examination of the metaphysical systems of Margaret Cavendish and Anne Conway, who share many superficial similarities. By providing a detailed analysis of their views on substance, monism, self-motion, individuation, and identity over time, as well as causation, perception, and freedom, it demonstrates the interesting ways in which their accounts differ. Seeing their systems in tandem highlights the originality of each philosopher. In addition to providing the details of their metaphysical views, the book also shows how they (...) put these views to use: for Cavendish in grounding her natural philosophy and for Conway in developing her theodicy. The account of Cavendish is more naturalistic than current interpretations. It argues that God plays no substantive role in Cavendish’s philosophy. The book provides an account of Cavendish’s matter and her biological holism. It shows how sensitive and rational matter are expressed differently in different natural kinds. It provides the first account of Cavendish’s views on individuation and identity over time and a detailed account of her views on causation, arguing that nature is the only principal cause. The book also provides an account of Conway’s spiritual substance, arguing that it is a unique type of substance. It discusses Conway’s two types of motions and causation. In addition, a detailed account of her view of motion as a mode of body, and how it is transferred, is provided. Finally, the book concludes that Conway’s metaphysics and morality are inseparable and that she holds a type of perfectionism. (shrink)

Contributed articles presented at a National seminar.

Contributed articles presented at a National Seminar on "Teaching Philosophy in India: a Vision for the Twenty-First Century Education", held at Andhra University, during 9-11 March 1998 and sponsered by Indian Council of Philosophical Research, New Delhi.

We build an א₁-categorical but not א₀-categorical theory whose only computably presentable model is the saturated one. As a tool, we introduce a notion related to limitwise monotonic functions.

This baseline study was conducted to find out the knowledge, attitudes and practices of medical ethics among the undergraduate medical interns who did not have structured ethics curriculum in their course. A descriptive, cross-sectional study was carried out using a self-administered structured questionnaire among the medical undergraduate interns of Maharajgunj Medical Campus, the pioneer medical college of Nepal which enrols 60 students in a year. A total of 46 interns participated in the study. The most common source of knowledge on (...) ethics was lectures/seminars (35.7%) followed by experience at work (24.5%), training (21.4%) and own reading (17.3%). The main contents of Hippocratic Oath were known to 98.8% while 60.9% knew the main contents of Nepal Medical Council (NMC) code of ethics. Great majority (91.3%) regard ethics as very important in medical profession. “Doctors know the best irrespective of patients’ opinion” was disagreed by only 39.1% indicating the paternalistic attitude. However, 78.3% were in favour of adhering to the patient’s wish. None of the participant agreed to abandon confidentiality. Only about one-fourth (26.1%) claim to encounter ethical dilemma every day while the highest number (43.5%) had once in a month. To deal with the situation of ethical dilemma, majority approached to immediate supervisor followed by head of the department and colleagues. Eighty-seven percent of participating interns were involved in research activities involving human subjects. Only one of the participants had encountered the ethical issue on end-of-life and it was do-not-resuscitate consent in a terminally ill patient. On implementation of the curriculum on medical ethics focus should be - principles of biomedical ethics, sensitive ethical dilemmas like end-of-life care and practical experiences with participation in deliberations of the ethics committee. (shrink)

Antisthenes (c. 445- c. 365 BC), was a prominent follower of Socrates and bitter rival of Plato. In this revisionary account of his philosophy in all its aspects, P. A. Meijer claims that Plato and Aristotle have corrupted our perspective on this witty and ingenious thinker. The first part of the book reexamines afresh Antisthenes' ideas about definition and predication and concludes from these that Antisthenes never held the (in)famous theory that contradiction is impossible. The second part of the book (...) argues that Antisthenes' logical theories bear directly on his activities as an exegete of Homer and hence as a theological thinker. Part three, finally, offers innovative readings of Antisthenes' ethical fragments. (shrink)

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

: Burnout is a psychology syndrome of emotional exhaustion, depersonalization, and reduced personal accomplishment. The participants of this study are nurses who have been working at intensive care unit at least for one year. Data were obtained using questionnaire and processed using spearman correlation. Results indicate that are negative relationship between emotional exhaustion and depersonalization with perceived support from colleagues. However, this research finds no relationship between reduced personal accomplishment and perceived support from colleagues. Key words : Burnout, perceived support (...) from colleagues, intensive care nurses. (shrink)

The book deals with the notion of Downward Causation from a wide array of perspectives, including physics, biology, psychology, social science, communication studies, text theory, and philosophy. The book includes proponents as well as opponents discussing the validity of the notion.