In [10] Friedman showed that is a conservative extension of <ε0for-sentences wherei= min, i.e.,i= 2, 3, 4 forn= 0, 1, 2 +m. Feferman [5], [7] and Tait [11], [12] reobtained this result forn= 0, 1 and even with instead of. Feferman and Sieg established in [9] the conservativeness of over <ε0for-sentences for alln. In each paper, different methods of proof have been used. In particular, Feferman and Sieg showed how to apply familiar proof-theoretical techniques by passing through languages with Skolem (...) functionals.In this paper we study the same choice principles in the presence of theBar Rule, which permits one to infer the scheme of transfinite induction on a primitive recursive relation ≺ when it has been proved that ≺ is wellfounded. The main result characterizes + as a conservative extension of a system of the autonomously iterated-comprehension axiom for-sentences. Forn= 0 this has been proved by Feferman in the form that + is a conservative extension of <Γ0; this was first done in [8] by use of the Gödel functional interpretation for the stronger systemZω+μ+ + and then more recently by the simpler methods of [9]. Jäger showed how the latter methods could also be used to obtain the general result of Theorem 1 below. (shrink)

Smullyan in [Smu61] identified the recursion theoretic essence of incompleteness results such as Gödel's first incompleteness theorem and Rosser's theorem. Smullyan showed that, for sufficiently complex theories, the collection of provable formulae and the collection of refutable formulae are effectively inseparable—where formulae and their Gödel numbers are identified. This paper gives a similar treatment for proof speed-up. We say that a formal system S1is speedable over another system S0on a set of formulaeAiff, for each recursive functionh, there (...) is a formulaαinAsuch that the length of the shortest proof ofαin S0is larger thanhof the shortest proof ofαin S1. We characterize speedability in terms of the inseparability by r.e. sets of the collection of formulae which are provable in S1but unprovable in S0from the collectionA–where again formulae and their Gödel numbers are identified. We provide precise definitions of proof length, speedability and r.e. inseparability below.We follow the terminology and notation of [Rog87] with borrowings from [Soa87]. Below,ϕis an acceptable numbering of the partial recursive functions [Rog87] andΦa complexity measure associated withϕ[Blu67], [DW83]. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores (...) some meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

An infinite binary sequence X is Kolmogorov–Loveland random if there is no computable non-monotonic betting strategy that succeeds on X in the sense of having an unbounded gain in the limit while betting successively on bits of X. A sequence X is KL-stochastic if there is no computable non-monotonic selection rule that selects from X an infinite, biased sequence.One of the major open problems in the field of effective randomness is whether Martin-Löf randomness is the same as KL-randomness. Our (...) class='Hi'>first main result states that KL-random sequences are close to Martin-Löf random sequences in so far as every KL-random sequence has arbitrarily dense subsequences that are Martin-Löf random. A key lemma in the proof of this result is that for every effective split of a KL-random sequence at least one of the halves is Martin-Löf random. However, this splitting property does not characterize KL-randomness; we construct a sequence that is not even computably random such that every effective split yields two subsequences that are 2-random. Furthermore, we show for any KL-random sequence A that is computable in the halting problem that, first, for any effective split of A both halves are Martin-Löf random and, second, for any computable, nondecreasing, and unbounded function g and almost all n, the prefix of A of length n has prefix-free Kolmogorov complexity at least n−g. Again, the latter property does not characterize KL-randomness, even when restricted to left-r.e. sequences; we construct a left-r.e. sequence that has this property but is not KL-stochastic and, in fact, is not even Mises–Wald–Church stochastic.Turning our attention to KL-stochasticity, we construct a non-empty class of KL-stochastic sequences that are not weakly 1-random; by the usual basis theorems we obtain such sequences that in addition are left-r.e., are low, or are of hyperimmune-free degree.Our second main result asserts that every KL-stochastic sequence has effective dimension 1, or equivalently, a sequence cannot be KL-stochastic if it has infinitely many prefixes that can be compressed by a factor of α<1. This improves on a result by Muchnik, who has shown that were they to exist, such compressible prefixes could not be found effectively. (shrink)

To understand the meaning of evolutionary equilibria, it is necessary to comprehend the ramifications of the evolutionary model. For instance, a full appreciation of Axelrod's The Evolution of Cooperation requires that we identify assumptions under which conditionally cooperative strategies, like Tit For Tat, are and are not evolutionarily stable. And more generally, when does stability fail? To resolve these questions we re-examine the very foundations of the evolutionary model. The results of this paper can be analytically separated into three parts. (...) The first part is conceptual: it identifies the evolutionary model's assumptions and shows how different assumptions imply different types of evolutionary stability. The second part is deductive: it establishes necessary and sufficient conditions for the types of evolutionary stability identified in the first part, and demonstrates in which games these kinds of stability can (and cannot) be attained. The third and final part is applied: it relates the general findings (which are independent of the specific payoffs of any particular evolutionary game) to the issue of the evolutionary stability of cooperation. Results on cooperation appear throughout the paper as they both exemplify and motivate the general results. These results essentially explain when cooperation is and is not stable, and why, thus shedding new light on the meaning and applicability of Axelrod's widely known claims. (shrink)

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers (...) and describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

This is a critical analysis of the first part of Go¨del’s 1951 Gibbs lecture on certain philosophical consequences of the incompleteness theorems. Go¨del’s discussion is framed in terms of a distinction between objective mathematics and subjective mathematics, according to which the former consists of the truths of mathematics in an absolute sense, and the latter consists of all humanly demonstrable truths. The question is whether these coincide; if they do, no formal axiomatic system (or Turing machine) can comprehend the (...) mathematizing potentialities of human thought, and, if not, there are absolutely unsolvable mathematical problems of diophantine form. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Who or What is the Preembryo?S.J. Richard A. McCormick (bio)IntroductionAlthough widely used by scientists, the term "preembryo" has raised some suspicions. Histopathologist Michael Jarmulowicz (1990), for example, asserts that the term was adopted by the American Fertility Society (AFS) and the Voluntary Licensing Authority (VLA) in Britain "as an exercise of linguistic engineering to make human embryo research more palatable to the general public."I cannot speak for the VLA, (...) but I can clarify that this was not the motive of the AFS. As a member of the AFS ethics committee that discussed and adopted this terminology, I know that our discussion was not tied to embryo research or moral issues. The term "preembryo" was adopted because the earliest stages of mammalian development primarily involve establishment of the nonembryonic trophoblast, rather than the formation of the embryo. As Clifford Grobstein (1988, p. 61), a distinguished basic scientist who also sat on the AFS committee notes:The scientific rationale for the term preembryo... is its greater accuracy in characterizing the initial phase of mammalian and human development.... The status implications of such a change in terminology were not at issue in the discussion.This is not to say that the moral status of the preembryo is not a concern worthy of independent consideration. It is an important question with significant practical implications, especially in the context of in vitro fertilization. At stake are issues such as: (1) what may be done to preembryos before transfer; (2) whether all preembryos must be transferred; and (3) what may be done to preembryos that are not transferred (Ethics Committee of the American Fertility Society (AFS) 1986, p. 29S). Furthermore, emergency treatment of rape cases may also depend on such a determination. [End Page 1]Cryopreservation, which entails freezing unused preembryos for possible later use, is one example of a procedure that raises issues associated with the moral status of the preembryo. Cryopreservation decreases the number of stimulated egg recovery cycles a woman must undergo and increases flexibility in transfer protocols. But thawing of the preembryos is not a completely benign process; significant numbers of the preembryos die in the process and injury cannot be excluded.In addition, down the road a year or so lies preimplantation genetic diagnosis, now being tested in several centers of reproductive research. This would involve the removal of one or more cells from a preembryo developing in vitro. The DNA from these cells would be studied and then only genetically normal preembryos would be transferred. With the growth in knowledge about single gene defects and the rapid advance of amplification technology, which allows gene visualization, it is not difficult to imagine scientists embarking on a variety of micromanipulations of the preembryo for the sake of gaining knowledge.Not all research with gametes involves preembryos, but clearly some experiments and procedures await resolution of the moral status of the preembryo. I contend in this paper that the moral status—and specifically the controversial issue of personhood—is related to attainment of developmental individuality (being the source of one individual). This contrasts with the view that holds that personhood occurs earlier, at the point of genetic uniqueness. I believe that an embryo that has developed to the point where it can be one individual and one individual only, differs in moral status from a preembryo that has not, even if in many cases we may choose to treat them similarly.The Scientific UnderpinningsTwo things must be kept in mind—and in a sense, in tension—in turning to science for help in assessing the status of the preembryo. First, science is not competent to decide the question of personhood or ensoulment. As the Catholic document, Declaration on Procured Abortion, which I will return to later, notes: "It is a philosophical problem" (Congregation for the Doctrine of the Faith (CDF) 1974, p. 10, endnote 19). On the other hand, another Catholic document, Donum vitae(CDF 1987), notes that the conclusions of science provide a "valuable indication" for reason's deliberations about personhood. We might say that if science cannot decide the question of personhood, neither can it be decided without science.For my review of embryological science... (shrink)

A distinction is commonly drawn between continuous sedation until death and physician-assisted suicide/euthanasia. Only the latter is found to involve killing, whereas the former eludes such characterization. I argue that continuous sedation until death is equivalent to physician-assisted suicide/euthanasia in that both involve killing. This is established by first defining and clarifying palliative sedation therapies in general and continuous sedation until death in particular. A case study analysis and a look at current practices are provided. This is followed (...) by a defense of arguments in favor of definitions of death centering on higher brain (neocortical) functioning rather than on whole brain or cardiopulmonary functioning. It is then shown that continuous sedation until death simulates higher brain definitions of death by eliminating consciousness. Appeals to reversibility and double effect fail to establish any distinguishing characteristics between the simulation of death that occurs in continuous sedation until death and the death that occurs as a result of physician-assisted suicide/euthanasia. Concluding remarks clarify the moral ramifications of these findings. (shrink)

Computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, and subrecursive hierarchy classifications. Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, Computability Theory provides a concise, comprehensive, and authoritative introduction to contemporary (...) computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The book includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable and lively way. (shrink)

In this paper I argue, first, that ecologists have routinely treated humans—or more specifically, anthropogenic causal factors—as disturbing conditions. I define disturbing conditions as exogenous variables, variables “outside” a model, that when present in a target system, inhibit the applicability or accuracy of the model. This treatment is surprising given that humans play a dominant role in many ecosystems and definitions of ecology contain no fundamental distinction between human and natural. Second, I argue that the treatment of humans as (...) disturbing conditions is an idealization: since it is, and has long been, known that humans are pervasive, this treatment amounts to an intentionally introduced theoretical distortion. Finally, characterizing this treatment as idealization forces us to confront the question of its justification, and so, drawing on three different kinds of idealization, I evaluate how this treatment may be justified. (shrink)

The aim of this paper is to distinguish between, and examine, three issues surrounding Humphreys's paradox and interpretation of conditional propensities. The first issue involves the controversy over the interpretation of inverse conditional propensities — conditional propensities in which the conditioned event occurs before the conditioning event. The second issue is the consistency of the dispositional nature of the propensity interpretation and the inversion theorems of the probability calculus, where an inversion theorem is any theorem of probability (...) that makes explicit (or implicit) appeal to a conditional probability and its corresponding inverse conditional probability. The third issue concerns the relationship between the notion of stochastic independence which is supported by the propensity interpretation, and various notions of causal independence. In examining each of these issues, it is argued that the dispositional character of the propensity interpretation provides a consistent and useful interpretation of the probability calculus. (shrink)

Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but he adds that each of the contenders (...) also faces a ‘scope problem’, in that none of them makes sense of all legitimate truth attributions. Some deflationists make similar observations – usually less concessive – and conclude that truth simply has no substantial, underlying nature. There is nothing for the philosopher to articulate and defend. Lynch agrees with deflationists that the realm of discourse is too diverse for any single ‘first-level’ property, such as correspondence or coherence, to fully characterize it, but against deflationism, he holds that truth does have a nature. He presents a functionalist theory. The definition is this: x is true if, and only if, x has a property that plays the truth-role. According to Lynch, the truth-role is given in terms of what he calls the ‘core truisms’ of the folk concept of truth. These are platitudes that hold of the everyday notion, and are such that anyone who denies all of them can be accused of changing the subject – of not talking about truth. A given property T plays the truth-role for a batch of propositions, just in case, for any proposition P in the batch: P is T if, and only if, where P is believed, things are as they are believed to be; other things being equal, it is a worthy goal …. (shrink)

Abstract.A keystone of the theory of noncommutative noetherian rings is the theorem that establishes a necessary and sufficient condition for a given ring to have a quotient ring. We trace the development of this theorem, and its applications, from its first version for noncommutative domains in the 1930s to Goldie’s theorems in the late 1950s.

It is shown that there is a formula σ(g) in the first-order language of group theory with the following property: for every finite group G, the largest soluble normal subgroup of G consists precisely of the elements g of G such that σ(g) holds.

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for (...) making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999. (shrink)

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces-so-called "topological semantics". The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.

In lieu of an abstract, here is a brief excerpt of the content:Art's DetourA Clash of Aesthetic TheoriesS. K. Wertz (bio)Both John Dewey1 and Martin Heidegger2 thought that art's audience had to take a detour in order to appreciate or understand a work of art. They wrote about this around the same time (mid-1930s) and independently of one another, so this similar circumstance in the history of aesthetics is unusual since they come from very different philosophical traditions. What was it (...) about the climate of the times that led them to such an idea? Is it still viable today? Both philosophers thought that art's audience is not in a position to immediately appreciate works of art—that we are missing something for a direct appreciation or apprehension—so we must take a detour. Why the detours and what are they? Are the detours similar? And are Dewey and Heidegger right about this? The essay that unfolds below attempts to answer these questions.First a definition is in order so we know what the term "detour" means when I use it. What is a detour? It is a deviation from a direct course or the usual procedure; a roundabout way temporarily replacing part of a route; in other words, a bypass or a roundabout way to some destination. The Little Oxford Dictionary adds a different twist on my characterization: "a course that leaves and rejoins [the] direct route."3 Applying this idea to art, we can say that a detour describes an audience who ordinarily perceives an artwork is a legitimate beginning for an appreciation of it, but that course must be bypassed for another (conception) before it can rejoin the direct route (perception). In other words, perceptions in the aesthetic experience must be aided by conceptions—a decidedly Kantian stance taken by Dewey and Heidegger. Their illustrations make my interpretation plausible.One of Heidegger's examples is Van Gogh's painting of a pair of peasant boots.4 He selects this painting to illustrate his metaphysics, which centers around the notion of "equipment." Peasant boots are equipment in [End Page 100] the sense that they are worn or used; the mere thing (like shoes or boots in a store [exhibited] or a closet [in storage]) disappears in use and becomes equipment. Between equipment and mere things—these two categories of being—are artworks. They are pictorial representations of equipment (in Heidegger's illustration; a pair of shoes as mere things could be a pictorial representation, like an advertisement, but it wouldn't be the same). Through the painted boots, a world comes into focus—a network of meaning. The world Heidegger sees in the Van Gogh painting is captured in the following descriptions: "In the vicinity of the [art]work we were suddenly somewhere else than we usually tend to be…. The art work let us know what shoes are in truth" (ATCR 233). So the nature of art is still a question about the nature of representation for Heidegger: it is what the shoes disclose to us about human existence. As he says, it is not just merely a pair of shoes portrayed but shoes "from the dark opening of the worn insides … the toilsome tread of the worker stares forth" (ATCR 232). In other words, we see the difficult labor that this particular owner toiled with in her daily chores.In Tralbaut's book, he quotes Heidegger in a caption alongside the painting: "Engraving in the intimate obscurity of the hollow of a boot is the weariness of the steps of work. The rough and solid weight of the clog tells of the slow and obstinate trudge across the fields."5 Heidegger continues in the same vein:In the stiffly rugged heaviness of the shoes there is the accumulated tenacity of her slow trudge through the far-spreading and ever-uniform furrows of the field swept by a raw wind. On the leather lie the dampness and richness of the soil. Under the soles slides the loneliness of the field-path as evening falls. In the shoes vibrates the silent call of the earth, its quiet gift of the ripening grain and its unexplained self-refusal in the fallow desolation of... (shrink)

Albert Einstein insists that his epistemology made his discovery of relativity possible. He believed it was his understanding of the relationship of experience and reason that allowed him to reconsider certain “truths” of physics. Specifically, he believed that reality and thought were independent but related, and that conceptual systems are independent of but conditioned by experience. Failure to understand the relation between experience and reason had, Einstein believed, limited progress in science. His understanding of the relation, on the other hand, (...) enabled him to formulate relativity theory and therefore provides one example of the relevance of philosophy to scientific inquiry. When Albert Einstein discussed his discoveries in physics, particularly the theory of relativity, he often began with an explanation of his epistemology and referred to thinkers like Hume and Kant. Einstein may have been a physicist, but he had definite ideas about how we know and regarded epistemological theories as crucial to science, especially to physics. Indeed, he placed such importance on the question of how we know that the discussion of his work in his “Autobiographical Notes” begins with the question, “What, precisely, is ‘thinking?'” (1951, 7). The correct answer to this philosophical question, he believed, makes progress in science possible. The present article focuses on the relationship of the two elements, experience and reason, in Einstein's epistemology. Einstein himself frequently concentrates on what he characterizes as “the eternal antithesis between the two inseparable components of our knowledge, the empirical and the rational” (1934b, 271) in his papers and lectures on physics, for he regards them as independent in origin but related in scientific truth. His insistence that experience and reason do not determine one another yet must be related proved, for him, to be a necessary but not sufficient condition for the formulation of relativity theory and for scientific progress in general. The discussion of the relationship has four parts. First, experience and reason are explained; included in this explanation are Einstein's reasons for maintaining that the two are independent. The second section discusses the connection between the two that produces truth and knowledge. The third section follows with discussion of the way that Einstein believes reason can be both conditioned by and independent of experience. Finally, the significance of this understanding of the relation for relativity theory is examined. (shrink)

This paper analyses the question what other healthcare professions should learn from nursing ethics, e.g. what should medical ethics learn from nursing ethics. I first analyse and reject all strong versions of the claim that nursing ethics is unique, because nursing is a unique practice. I then move to the question of whether the link between nursing ethics and nursing theory can be a model for other areas of healthcare ethics. I provide an analysis of the possibility of creating (...) a theory of medicine and find that there cannot be a theory of medicine, and I argue briefly that this finding is also applicable to nursing. If there cannot be a theory of nursing, this entails that nursing ethics cannot be justifiably based on such a theory. In the final section, I then analyse the success of nursing ethics in resisting certain of the vices of Anglo‐American analytic ethics, in particular the reductionism and individualism that characterizes much of healthcare ethics. I conclude that other healthcare ethics could usefully learn from this aspect of nursing ethics. (shrink)

This short book has two main purposes. The first is to explain Kurt Gödel's first and second incompleteness theorems in informal terms accessible to a layperson, or at least a non-logician. The author claims that, to follow this part of the book, a reader need only be familiar with the mathematics taught in secondary school. I am not sure if this is sufficient. A grasp of the incompleteness theorems, even at the level of ‘the big picture’, might require (...) some experience with the rigor of mathematical proof. Moreover, since the incompleteness theorems concern formal deductive systems, it would help for a potential reader of this book to have some familiarity with at least elementary logic.There are, of course, a number of informal expositions of the incompleteness theorems. I do not see the need to engage in a comparative study. The second, and more important, goal of the present book is to discuss some alleged consequences of the incompleteness theorems and, in particular, to debunk thoroughly claims in philosophy, religion, and literary criticism that are supposed to be established, or at least bolstered, by incompleteness. The execution of this part of the book is masterly. The arguments are clear and compelling.The book has eight chapters, each between eight and twenty-eight pages. The opening chapter gives a very brief account of the incompleteness theorems and a sketch of Gödel's life and work. Chapter 2 gives the main overview of the incompleteness theorems, plus …. (shrink)

It is argued that an instrumentalist notion of proof such as that represented in Hilbert's viewpoint is not obligated to satisfy the conservation condition that is generally regarded as a constraint on Hilbert's Program. A more reasonable soundness condition is then considered and shown not to be counter-exemplified by Godel's First Theorem. Finally, attention is given to the question of what a theory is; whether it should be seen as a "list" or corpus of beliefs, or as a (...) method for selecting beliefs. The significance of this question for assessing "intensional" results like Godel's Second Theorem, and their bearing on Hilbert's Program are discussed. (shrink)

In this article the results of a study of psychological readiness of pregnant women to parenthood are presented. Psychological readiness is defined as a structure consisting of three components: the cognitive, emotional, and behavioral, which is consistent with the single theory of psychological processes L. M. Vekkera. It was found that the main component that determines the high level of psychological readiness for motherhood is a cognitive component. The content of the cognitive component includes an understanding of the child as (...) a value. Some results of the research of value orientations of pregnant women in the structure of psychological readiness for parenthood. To identify the value system of pregnant women, the method of ‘Value Orientations‘ by M. Rokich was applied. The analysis of empirical data was performed using factor analysis and U criterion of Mann-Whitney. Respondents were distributed into two age groups: first group of 21-25 years, second group of 26-30 years. All women are nulliparous. The younger age group of pregnant women is characterized by values that are directed at the outside world. Emotional component dominates in the structure of psychological readiness for motherhood. Values of women in the second group are aimed at children. Cognitive and behavioral components dominate in the structure of their psychological readiness for motherhood. Knowledge of the structure of psychological readiness of women to parenthood will help to diagnose disorders of maternal behavior, to design methods of its correction and prevention. (shrink)

Slides for the second tutorial on Gödel's incompleteness theorems, held at UniLog 5 Summer School, Istanbul, June 24, 2015.

A study of the elementary theory of quotients of symmetric groups is carried out in a similar spirit to Shelah . Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S on an infinite cardinal μ are all of the form Sκ = the subgroup consisting of elements whose support has cardinality 20, cƒ 20 < κ, 0 < κ < 20, and κ = 0, we make a further analysis of the first (...) order theory of Sλ/Sκ. introducing many-sorted second order structures , all of whose sorts have cardinality at most 20, and in terms of which we can completely characterize the elementary theory of the groups Sλ/Sκ. (shrink)

Recently, G. ASSER has obtained two interesting characterizations of the class of unary primitive recursive string-functions over a fixed alphabet as Robinson algebras. Both characterizations use a somewhat artificial string-function, namely the string-function lexicographically associated with the number-theoretical excess-over-a-square function. Our aim is to offer two new and natural Robinson algebras which are equivalent to ASSER’S algebras.

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)

The history of press freedom in South Korea (hereafter Korea) has been characterized by periods of chaos. The major media companies in Korea have written a history of shame. Since Japanese colonial rule, freedom of the press has been more often restricted than protected by the laws and policies. There have been four main features of press freedom since 1910: severe restriction during the Japanese colonial rule; experiencing freedom with unstable democracy under the American military rule and the First (...) and Second republics; oppression of the military regimes; and the struggle with capital power since the advent of civilian government. Several decades of Japanese colonial rule, American military rule, and military dictators have influenced the Korean society and the media politically, economically, socially and culturally. (shrink)

This essay offers a constructive criticism of Part I of Davis’ Meaning, Expression and Thought. After a brief exposition, in Sect. 2, of the main points of the theory that will concern us, I raise a challenge in Sect. 3 for the characterization of expression that is so central to his program. I argue first of all that a sincere expression of a thought, feeling, or mood shows it. Yet attention to this fact reveals that it does not (...) go without saying how it is possible to show such things as thoughts, feelings or moods; we need an account of how this is possible, and I offer a partial such account in Sect. 4. Second, much of the attraction of Davis’ program depends on its ability to explain how linguistic meaning can be arrived at without covertly presupposing linguistic conventions. This in turn depends, in Davis’ hands, upon the claim that it is possible to express any of a wide range of ideas in the absence of conventions. I argue in Sect. 5 that the account of showing at which we will by then have arrived makes clear that Davis needs, and lacks, an explanation of how it is possible to do this. (shrink)

We give two new characterizations of K-triviality. We show that if for all Y such that Ω is Y-random, Ω is -random, then A is K-trivial. The other direction was proved by Stephan and Yu, giving us the first titular characterization of K-triviality and answering a question of Yu. We also prove that if A is K-trivial, then for all Y such that Ω is Y-random, ≡LRY. This answers a question of Merkle and Yu. The other direction is (...) immediate, so we have the second characterization of K-triviality.The proof of the first characterization uses a new cupping result. We prove that if A≰LRB, then for every set X there is a B-random set Y such that X is computable from Y⊕A. (shrink)

Observables on hypergraphs are described by event-valued measures. We first distinguish between finitely additive observables and countably additive ones. We then study the spectrum, compatibility, and functions of observables. Next a relationship between observables and certain functionals on the set of measures M(H) of a hypergraph H is established. We characterize hypergraphs for which every linear functional on M(H) is determined by an observable. We define the concept of an “effect” and show that observables are related to effect-valued measures. (...) Finally, we define “operational” transformations from M(H) to itself and show that they can be described as a certain combination of effects. (shrink)

Several stages can be identified in Darwin's effort to formulate natural selection. The first stage corresponded, roughly speaking, to the period up to 1844. It was characterized by Darwin's attempt to base his model of geographic speciation on an individualistic dynamics, with species understood as reproductively isolated populations. Toward the end of this period, Darwin's ignorance of the laws of variations and heredity led him to adopt varieties and species as the units of variations. This had the extremely important (...) effect of stimulating him to consider the process of speciation as involving populations. At the end of this period, Darwin also began to regard adaptation as being exclusively toward places in the economy of nature. Thus he faced the problem of integrating the process of natural selection with the process of speciation. Individual variants were the units that fueled the first process, whereas varieties produced new speices. There was no link between adaptation and speciation, except whatever could be supplied by a quasi-historical, developmental idea of optimizing the amount of life.In the second stage, I contend, Darwin's reading of Milne-Edwards crystallized his previous insights into a coherent whole. Milne-Edwards' comments on the advantage of functional specialization could readily be understood in terms of the advantage accruing to the individual, relative to other members of its species, from occupying a different niche. Milne-Edwards' discussion of the division of labor suggested that organisms which moved into unoccupied niches would enjoy reduced competition, and hence a differential advantage in survival and reproduction; thus they would induce the species to do likewise. Rather than base his explanation on an analogy with the artificial economy, Darwin chose the principle of the optimalization of the amount of life per unit area as the overall explanatory principle. The difficulties connected with integrating different levels of description were therefore circumvented, insofar as the problem of diversity and speciation was concerned. Although natural selection considered individuals as the units of selection, and the units of variations were varieties and species, the dynamics of the process understood in terms of natural selection, competition, division of labor and niches could give a plausible account of how individual advantage could be transferred to the species, and how diversity resulted from this mechanism. The problem of the different levels of descriptions was confined to how the properties of variations in individuals (in particular, the frequency of variations and their transmission) were responsible for the assumed variability characteristic of varieties and species. This problem Darwin never solved.A third stage occurred in 1858 with the amalgamation of the tree-of-life vizualization of the process of speciation. Speciation, geographic distribution, and systematics were all then embedded in a conceptual matrix with vast explanatory powers. (shrink)

The minimax theorem of matrix game theory is examined from a constructive point of view. It is then shown that the existence of solutions for matrix games cannot be proved constructively, but that a 2-by-2 game with at most one solution has a constructible solution.

First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's program and Godel's incompleteness theorems. The foundational systems of W.V. Quine. Categorical algebra.

Though deceptively simple and plausible on the face of it, Craig's interpolation theorem (published 50 years ago) has proved to be a central logical property that has been used to reveal a deep harmony between the syntax and semantics of first order logic. Craig's theorem was generalized soon after by Lyndon, with application to the characterization of first order properties preserved under homomorphism. After retracing the early history, this article is mainly devoted to a survey (...) of subsequent generalizations and applications, especially of many-sorted interpolation theorems. Attention is also paid to methodological considerations, since the Craig theorem and its generalizations were initially obtained by proof-theoretic arguments while most of the applications are model-theoretic in nature. The article concludes with the role of the interpolation property in the quest for "reasonable" logics extending first-order logic within the framework of abstract model theory. (shrink)

As the subtitle indicates, this book intends to discuss Descartes’ attempt of laying a new foundation of knowledge. In a lively and critical interpretation of Descartes’ writings, especially of his Discours de la Méthode and of his Meditationes, and a competent use of the corresponding philosophical literature the success of this attempt of enlightenment and its shortcomings, identified with the Cartesian re-introduction of the traditional metaphysics, are explained in order to allow the author in a concluding discussion to present his (...) ideas of the necessary revision of Descartes philosophy. Presenting the I as the subject not only for the first time but in an unique way, and concentrating upon the problem of the self-originating human knowledge in an exemplary manner, Descartes is found to have become the founder of subjective philosophy. As knowledge of knowledge, philosophy is not concerned primarily with objects, but with knowledge and has self-foundation as its main task. So it has to start with human knowledge and to place the self as the fountain from which all knowledge proceeds. The demands of subjective philosophy dictate its method described in the Discours. The foundation of knowledge, which as such can only be true and certain knowledge, leads to enlightenment, i.e., to the rebellion against and to the great confrontation with the culture of the time, that is, with the guiding principles of understanding and evaluating the world of his society, and to the introduction of self-experience as the primary source of knowledge. Appointing human reason as the only leader of his intellectual life, Descartes determines the program and future order of his thoughts; the method, in the form of the four rules, has "correctly to direct his reason and to seek the truth in the sciences." It brings Descartes over the methodical doubt to the unquestionable and unsurpassed foundation of human knowledge, the absolute certitude of the self in the Cogito. His analysis of the poor, unprotected I, related to itself knowingly, is unique and of priceless philosophical value. However, the further stations of the philosophical way of Descartes who, unable to stand the ontological loneliness of this philosophically determined self-awareness, sacrificed the idea of scientific progress to a rational theology, cannot be followed. The claim of the metaphysician to be able to discover or, at least, to test every humanly possible knowledge in terms of the absolute knowledge, disintegrates in view of the progress of the new sciences. Not eternal, necessary truth, but the finite human I is the origin of subjective philosophy. The stability of rational relations does not lie in these relations themselves as if they were existing for themselves, but in the strict consequence of logical reason. "'God’ is... the title for the transcendental-philosophical background of consciousness, for the conditions to which the I-think is always already subjected." All contents which allegedly are already given in the infinite knowledge and can always be deduced from it, have to be produced and developed out of the first human knowledge by way of scientific research. Science which received its new foundation in subjective philosophy and is sought in the efforts of communication of the scientists, is not characterized by truth, but by certitude. "'Truth’ is the concern of metaphysics or better of religion. It is of the essence of such truth, not to be capable of demonstration. The absolutely true has no need to prove itself; it is entitled to faith." Differences between metaphysics and religion, and the nature and possible justification of such metaphysical and religious faith are regrettably not discussed.—M. S. (shrink)

It is known that there exists a first-order sentence that holds in a finite group if and only if the group is soluble. Here it is shown that the corresponding statements with ‘solubility’ replaced by ‘nilpotence’ and ‘perfectness’, among others, are false.These facts present difficulties for the study of pseudofinite groups. However, a very weak form of Frattini’s theorem on the nilpotence of the Frattini subgroup of a finite group is proved for pseudofinite groups.

In this paper we consider three potential simplifications to a result of Solovay’s concerning the Turing degrees of nonstandard models of arbitrary completions of first-order Peano Arithmetic (PA). Solovay characterized the degrees of nonstandard models of completions T of PA, showing that they are the degrees of sets X such that there is an enumeration R ≤T X of an “appropriate” Scott set and there is a family of functions (tn)n∈ω, ∆0 n(X) uniformly in n, such that lim tn(s) (...) s→∞. (shrink)

There are three distinct questions associated with Simpson's paradox, (i) Why or in what sense is Simpson's paradox a paradox? (ii) What is the proper analysis of the paradox? (iii) How one should proceed when confronted with a typical case of the paradox? We propose a "formar" answer to the first two questions which, among other things, includes deductive proofs for important theorems regarding Simpson's paradox. Our account contrasts sharply with Pearl's causal (and questionable) account of the first (...) two questions. We argue that the "how to proceed question?" does not have a unique response, and that it depends on the context of the problem. We evaluate an objection to our account by comparing ours with Blyth's account of the paradox. Our research on the paradox suggests that the "how to proceed question" needs to be divorced from what makes Simpson's paradox "paradoxical.". (shrink)

There are three distinct questions associated with Simpson’s paradox. Why or in what sense is Simpson’s paradox a paradox? What is the proper analysis of the paradox? How one should proceed when confronted with a typical case of the paradox? We propose a “formal” answer to the first two questions which, among other things, includes deductive proofs for important theorems regarding Simpson’s paradox. Our account contrasts sharply with Pearl’s causal account of the first two questions. We argue that (...) the “how to proceed question?” does not have a unique response, and that it depends on the context of the problem. We evaluate an objection to our account by comparing ours with Blyth’s account of the paradox. Our research on the paradox suggests that the “how to proceed question” needs to be divorced from what makes Simpson’s paradox “paradoxical.”. (shrink)

This essay attempts to render intelligible (you will pardon the pun) Kant's peculiar claims about the intelligible at A 539/B 567 – A 541/B 569 in the first Critique, in which he asserts that (1) ... [t]his acting subject would now, in conformity with his intelligible character, stand under no temporal conditions, because time is only a condition of appearances, but not of things in themselves. In him no action would begin or cease. Consequently it would not be subjected (...) to the law of all determination of everything alterable in time: everything which happens finds its causes in the appearances (of the previous state). In a word, his causality, in so far as it is intellectual, would not stand in the series of empirical conditions which the event in the world of sense makes necessary. (A 539/B 567 - A 540/B 568) ... in so far as it is noumenon, nothing happens in him, no alteration which requires dynamical determination in time .... One would quite rightly say of him, that it of itself begins his effects in the world of sense, without the action's beginning in him himself ... (A 541/B 569)2 What does Kant mean by claiming that intellectual causality is such that in one's intelligible character as noumenal agent, actions neither begin nor end, nor does anything happen in one? Do these claims have meaning merely by contrast to the familiar experience of empirical causality, in which actions have discrete durations and events occur? Is he merely inferring from this familiar sensible experience an ontologically and metaphysically independent, epistemically inaccessible "world," which can be conceptualized only through the negation of those terms and propositions that characterize this one? Or is he offering a.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.1 (2001) 21-37 [Access article in PDF] Conscience and the Concealments of Metaphor in Hobbes's Leviathan Karen S. Feldman Introduction Conscience is not a topic of terribly heated debate in Hobbes research. 1 Nevertheless, my claim in this article is that conscience in the Leviathan, which Hobbes poses as an example of the dangers of metaphor, is not merely an example of the dangers of metaphor, (...) but rather is the most dangerous metaphor, the metaphor that corrupts knowledge and thereby makes error and deception possible. Hobbes's brief account of conscience, which appears in the chapter of Leviathan on the ends of discourse, tells the story of the insinuation of metaphor into proper nomenclature; however, his example of the metaphorical use of the word conscience turns the story into one in which public knowledge itself is made private and thereby corrupted. Moreover, according to the story, private conscience is itself invented by means of a metaphor; it is in effect metaphorized into being. 2 With the emergence of private conscience, the potential of privatization expands from the privatization of the meaning of words to an entire private sphere of opinion. The metaphorical corruption of conscience invents a new understanding of knowledge as isolated from other witnesses, and the resultant privatization of truth lends itself to the corruption of that truth. Thus, whereas Hobbes characterizes the wrong use of names (of which metaphor is an instance) as a threat to accurate judgment and reason (L 22-23, 34, 161-62), as I will argue in the sections following, Hobbes's demand for the preservation of proper meaning in Leviathan corresponds to an anxiety regarding privacy and its peculiar potential for corrupting truth and knowledge. Hobbes's worries as to the dangers that metaphor poses to the stability of the commonwealth thereby converge with his worries about the dangers of conscience to the principle of public authority (cf. Strong 1993). [End Page 21] Hobbes's condemnations of conscience In Leviathan, conscience is condemned as a source of principles of human decision and action in a commonwealth. The problem with conscience as a principle of action is that it renders each individual inventor of his own rules and judge of his own actions. In brief, individual conscience is incommensurable with the public authority that defines a commonwealth: Another doctrine repugnant to civil society, is, that whatsoever a man does against his conscience, is sin; and it dependeth on the presumption of making himself judge of good and evil. For a man's conscience, and his judgment is the same thing, and as the judgment, so also the conscience may be erroneous. Therefore, though he that is subject to no civil law, sinneth in all he does against his conscience, because he has no other rule to follow but his own reason; yet it is not so with him that lives in a commonwealth; because the law is the public conscience, by which he hath already undertaken to be guided. Otherwise in such diversity, as there is of private consciences, which are but private opinions, the commonwealth must needs be distracted, and no man dare to obey the sovereign power, further than it shall seem good in his own eyes. (L 311) In this account, conscience is not just inferior to civil law as a principle guiding action, but at odds with civil society and the good of the commonwealth. The fact that conscience is private renders it problematic for the commonwealth for several reasons: First, as privately invented, it may be erroneous. Likewise, because it is private, conscience does not possess any binding power outside the individual, private sphere. Each person may be bound by his own conscience, but insofar as consciences differ, standards of action differ, and this leads to the undermining and distraction of the commonwealth. Likewise, private consciences may be divergent from one another, and the conflicts in private judgment produce conflicting actions that disturb the peace of the commonwealth. This rule of privacy is, moreover, associated with primitive life and with the state of nature... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:From the Sacrifice of the Letter to the Voice of TestimonyGiorgio Agamben’s Fulfillment of MetaphysicsJeffrey S. Librett (bio)By denying us the limit of the Limitless, the death of God leads to an experience in which nothing may again announce the exteriority of being, and consequently to an experience which is interior and sovereign. But such an experience, for which the death of God is an explosive reality, discloses as (...) its own secret and clarification, its intrinsic finitude, the limitless reign of the Limit, and the emptiness of those excesses in which it spends itself and where it is found wanting.—Michel Foucault, “Preface to Transgression”Can there be a discourse that, without being a metalanguage or sinking into the unsayable, says language itself and exposes its limits?—Giorgio Agamben, “The Idea of Language”I shall not rest until every German sees that it is a shameful thing to be a lawyer.—Adolf Hitler, speech before theReichstag, April 26, 1942From his early works on, Giorgio Agamben has opposed the thought of no contemporary philosopher more consistently and programmatically than that of Jacques Derrida, whose questioning of phonocentric metaphysics Agamben has tried to replace by a characterization of metaphysics as (what I am calling here) graphocentric. To go back behind the replacement of the voice by the letter is for Agamben to recover the event of language itself, the taking-place of language as Being.1 In his conceptualization of the project for such a recovery, as we shall see, Agamben’s commitment to Heidegger’s fundamental ontology is overdetermined by his investment in the Christian God as logos.This philosophical program in Agamben’s early essays guides his later work on the homo sacer-sovereign relation but also distorts and disturbs the later work in three principal ways. First, it prompts him to propose an exclusively juridicopolitical understanding of the sacredness of the homo sacer, effectively scapegoating the juridical sphere for a more broadly theopolitical problem, while placing the specifically Christian background [End Page 11] of his antinomianism in a misleadingly secular, rational, and universalist light. Symptomatically, in order to accomplish this juridicopolitical reduction Agamben must reject Bataille’s analysis of sacrifice—along with the entire modern anthropological reading of the sacred—out of hand. For this rejection protects his discourse against any sustained confrontation with the importance of the sacrificial dimension for both what he calls the homo sacer and his own approach to law in his theorization of the homo sacer..Second, Agamben’s philosophical program impoverishes the account he provides of the Nazi death camps as an extreme example of the sovereign-homo sacer relation by making it impossible for him to appreciate the importance of Christian antinomianism in the formation of National Socialist ideology. For Agamben’s philosophical orientation requires or presupposes that he ignore or underestimate, first of all, the sacrificially anti-Semitic dimension of Christian antinomianism—the tendency of such antinomianism to make Judaism responsible for the ontological desert into which representation exiles us all. Further, as a consequence of his continuing commitment to this tradition, Agamben cannot see how important the tradition remains, even if in a displaced form, for Nazi anti-Semitism. I argue that Agamben’s animus against the letter blinds him to the Christian and sacrificial dimensions of the Holocaust—he ignores the former and explicitly, emphatically denies the latter dimension—because this animus represents his own commitment to the Christian antinomianism that, in its racialized National Socialist form, attempts to rid itself of the letter by sacrificing not only Judaism but the (biologically, racially construed) Jews. Because his radically antinomian program would become unsettled by his recognition of its important overlap with the ideological bases of National Socialism, Agamben cannot ultimately acknowledge the Christian and sacrificial aspects of the Holocaust.Finally, in Remnants of Auschwitz—his main reading (outside of Homo Sacer) of the significance of the Nazi death camps—Agamben positions “testimony” as the exemplary instance of the speaking of speech, the taking-place of language. The result of the destruction of European Jewry becomes here the revelation of poetic speech as a manifestation of the absolute. Unwittingly, Agamben ends up participating in... (shrink)

This article asserts that traditionally dominant models of health promotion in the US are fairly characterized by methodological individualism. This schema produces a focus on the individual as the node of intervention. Such emphasis results in a number of scientific and ethical problems. I identify three principal ethical deficiencies: first, the health promotions used are generally ineffective, which violates canons of distributive justice because scarce health resources are expended on interventions that are unlikely to produce health benefits. Second, the (...) health promotions used tend to expand health inequalities between the affluent and the least well-off. Third, the health promotions used are likely to intensify stigma against the least well-off, a deficiency that itself may exacerbate the ‘densely-woven patterns of disadvantage’ that characterize life on the tail of the social gradient. Because Powers and Faden’s health sufficiency model of social justice argues that the amelioration of such clusters of disadvantage should be the primary ethical goal of public health policy, methodologically individualist models of health promotion are ethically deficient and should not stand as primary approaches for health promotion in a just social order. (shrink)

The first years of life mark a time of rapid development and dietary change, as children transition from an exclusive milk diet to a modified adult diet. During these early years, children's learning about food and eating plays a central role in shaping subsequent food choices, diet quality, and weight status. Parents play a powerful role in children's eating behavior, providing both genes and environment for children. For example, they influence children's developing preferences and eating behaviors by making some (...) foods available rather than others, and by acting as models of eating behavior. In addition, parents use feeding practices, which have evolved over thousands of years, to promote patterns of food intake necessary for children's growth and health. However in current eating environments, characterized by too much inexpensive palatable, energy dense food, these traditional feeding practices can promote overeating and weight gain. To meet the challenge of promoting healthy weight in children in the current eating environment, parents need guidance regarding alternatives to traditional feeding practices. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.1 (2001) 21-37 [Access article in PDF] Conscience and the Concealments of Metaphor in Hobbes's Leviathan Karen S. Feldman Introduction Conscience is not a topic of terribly heated debate in Hobbes research. 1 Nevertheless, my claim in this article is that conscience in the Leviathan, which Hobbes poses as an example of the dangers of metaphor, is not merely an example of the dangers of metaphor, (...) but rather is the most dangerous metaphor, the metaphor that corrupts knowledge and thereby makes error and deception possible. Hobbes's brief account of conscience, which appears in the chapter of Leviathan on the ends of discourse, tells the story of the insinuation of metaphor into proper nomenclature; however, his example of the metaphorical use of the word conscience turns the story into one in which public knowledge itself is made private and thereby corrupted. Moreover, according to the story, private conscience is itself invented by means of a metaphor; it is in effect metaphorized into being. 2 With the emergence of private conscience, the potential of privatization expands from the privatization of the meaning of words to an entire private sphere of opinion. The metaphorical corruption of conscience invents a new understanding of knowledge as isolated from other witnesses, and the resultant privatization of truth lends itself to the corruption of that truth. Thus, whereas Hobbes characterizes the wrong use of names (of which metaphor is an instance) as a threat to accurate judgment and reason (L 22-23, 34, 161-62), as I will argue in the sections following, Hobbes's demand for the preservation of proper meaning in Leviathan corresponds to an anxiety regarding privacy and its peculiar potential for corrupting truth and knowledge. Hobbes's worries as to the dangers that metaphor poses to the stability of the commonwealth thereby converge with his worries about the dangers of conscience to the principle of public authority (cf. Strong 1993). [End Page 21] Hobbes's condemnations of conscience In Leviathan, conscience is condemned as a source of principles of human decision and action in a commonwealth. The problem with conscience as a principle of action is that it renders each individual inventor of his own rules and judge of his own actions. In brief, individual conscience is incommensurable with the public authority that defines a commonwealth: Another doctrine repugnant to civil society, is, that whatsoever a man does against his conscience, is sin; and it dependeth on the presumption of making himself judge of good and evil. For a man's conscience, and his judgment is the same thing, and as the judgment, so also the conscience may be erroneous. Therefore, though he that is subject to no civil law, sinneth in all he does against his conscience, because he has no other rule to follow but his own reason; yet it is not so with him that lives in a commonwealth; because the law is the public conscience, by which he hath already undertaken to be guided. Otherwise in such diversity, as there is of private consciences, which are but private opinions, the commonwealth must needs be distracted, and no man dare to obey the sovereign power, further than it shall seem good in his own eyes. (L 311) In this account, conscience is not just inferior to civil law as a principle guiding action, but at odds with civil society and the good of the commonwealth. The fact that conscience is private renders it problematic for the commonwealth for several reasons: First, as privately invented, it may be erroneous. Likewise, because it is private, conscience does not possess any binding power outside the individual, private sphere. Each person may be bound by his own conscience, but insofar as consciences differ, standards of action differ, and this leads to the undermining and distraction of the commonwealth. Likewise, private consciences may be divergent from one another, and the conflicts in private judgment produce conflicting actions that disturb the peace of the commonwealth. This rule of privacy is, moreover, associated with primitive life and with the state of nature... (shrink)

In this paper we attempt to identify which peer collaboration characteristics may be accountable for conceptual change through interaction. We focus on different socio‐cognitive aspects of the peer dialog and relate these with learning gains on the dyadic as well as the individual level. The scientific topic that was used for this study concerns natural selection, a topic for which students’ intuitive conceptions have been shown to be particularly robust. Learning tasks were designed according to the socio‐cognitive conflict instructional paradigm. (...) After receiving a short instructional intervention on natural selection, paired students were asked to collaboratively construct explanations for certain evolutionary phenomena while engaging in dialectical argumentation. Two quantitative coding schemes were developed, each with a different granularity. The first assessed discrete dialog moves that pertained to dialectical argumentation and to consensual explanation development. The second scheme characterized the dialog as a whole on a number of socio‐cognitive dimensions. Results from analyses on the dyadic as well as the individual level revealed that the engagement in dialectical argumentation predicted conceptual learning gains, whereas consensual explanation development did not. These findings open up new venues for research on the mechanisms of learning in and from peer collaboration. (shrink)

Constitutional federalism is usually suggested as an appropriate and effective form of government for a country that is characterized by significant levels of ethnic diversity. Hence, where destructive ethnic mobilization has resulted in state failure, the suggestion has usually been for the country to adopt some form of constitutional federalism as a way to more effectively manage diversity and minimize further violent conflict. While Somalia is, today, a clear example of a failed state, its governance problems, however, do not emanate (...) from its inability to effectively manage its diverse ethnic populations since the country, essentially, is the most ethnically homogenous country in Africa. Instead, the origins of state failure in Somalia can be traced to violent mobilization by clans and sub-clans for control of the apparatus of governance. This paper puts forth several strategies that can be used to reconstruct and reconstitute the Somali State and provide the country with the types of institutions that will enhance peaceful coexistence and promote long-term and sustainable economic growth and development. The first line of business must be to secure the peace-and this will require external intervention-and then to engage all relevant stakeholders in negotiations to construct and adopt an appropriate system of government. Constitutional federalism, however, may not be well-suited for Somalia, especially given the expressed desire of many of the country's factions for autonomy. A more fitting alternative is the functional overlapping competing jurisdictions governance model, under which regional political units are defined by their physical boundaries but the delivery of public goods and services is provided jointly by various overlapping jurisdictions. Under the FOCJ, an individual can choose to belong to more than one political jurisdiction, for example, establishing his residence in one jurisdiction and purchasing water, electricity and other services from another. (shrink)