Adequate measurement is an essential component of the assessment of mental health disorders and symptoms such as depression and anxiety. The present study investigated sex-specific differences in the Patient Health Questionnaire-9 and Generalized Anxiety Disorder-7. This comprehensive cross-sectional design study pursued four objectives: measurement invariance of PHQ-9 and GAD-7 between male and female; depression and anxiety prevalence differences; cross-sex differences in the relationship between depression and anxiety; and a comparison of symptom heterogeneity. A sample of 1966 students from South Africa (...) completed the PHQ-9 and the GAD-7. Data analyses for measurement invariance, latent class analysis, inter-variable correlations and group comparisons were conducted in Mplus. The two-dimensional PHQ-9 achieved scalar invariance, while the GAD-7 yielded metric invariance. The somatic and non-somatic latent dimensions of depression were compared and showed no significant difference between male and female groups. The positive relationship between depression and anxiety was also not significantly different between the two groups. While the PHQ-9 symptoms formed three classes in the male group, and four classes in the female group, the GAD-7 had the same number of classes and a similar pattern between the two groups. These findings hold implications for the measurement, assessment and understanding of symptom manifestation and distribution, as well as the treatment of depression and anxiety in South Africa. (shrink)

We explore the existence and the size of infinite models of categorical theories having cardinality less than the size of the associated Tarski-Lindenbaum algebra. Restricting to totally transcendental, categorical theories we show that “Every tiny model is countable” is independent of ZFC. IfT is trivial there is at most one tiny model, which must be the algebraic closure of the empty set. We give a new proof that there are no tiny models ifT is not totally transcendental and is non-trivial.

The education of safety science professionals is a key requirement to ensuring the ongoing recognition of Occupational Health and Safety as a profession. Safety science educators, at some point in their academic career, are required to align with an appropriate teaching philosophy, however this important aspect of education pedagogy rarely receives scholarly attention in the safety sciences. Therefore, this article makes the case for philosophical pragmatism as an overarching teaching philosophy that works well within the evidence informed safety science practice (...) model. Pragmatism is a logical and valuable teaching philosophy which centres on linking theory, research, ideas and actions to multi-disciplinary practical applications. It is embedded in the notion that both multiple stakeholder, and multiple perspectives are required to solve practical safety-oriented problems. Pragmatism links to a reflective practitioner paradigm whereby students are asked to think critically about what they do. Further, learning is influenced by self-discovery. The key theoretical underpinnings of pragmatism are presented, as well as the 4 Ps of pragmatism as a teaching framework. The rational for embracing pragmatism as a higher educational teaching philosophy for the safety sciences is presented. Pragmatism is seen as both a path forward in reducing the theory into practice divide for safety science educators and professionals, and a teaching philosophy which enhances the safety science pedagogy educational lens. (shrink)

Given a lovely pair P ≺ M of models of a simple theory T, we study the structure whose universe is P and whose relations are the traces on P of definable (in ℒ with parameters from M) sets in M. We give a necessary and sufficient condition on T (which we call weak lowness) for this structure to have quantifier-elimination. We give an example of a non-weakly-low simple theory.

The aim of this paper is to develop the theory of groups definable in the p-adic field ${{\mathbb {Q}}_p}$, with “definable f-generics” in the sense of an ambient saturated elementary extension of ${{\mathbb {Q}}_p}$. We call such groups definable f-generic groups.So, by a “definable f-generic” or $dfg$ group we mean a definable group in a saturated model with a global f-generic type which is definable over a small model. In the present context the group is definable over ${{\mathbb {Q}}_p}$, and (...) the small model will be ${{\mathbb {Q}}_p}$ itself. The notion of a $\mathrm {dfg}$ group is dual, or rather opposite to that of an $\operatorname {\mathrm {fsg}}$ group (group with “finitely satisfiable generics”) and is a useful tool to describe the analogue of torsion-free o-minimal groups in the p-adic context.In the current paper our group will be definable over ${{\mathbb {Q}}_p}$ in an ambient saturated elementary extension $\mathbb {K}$ of ${{\mathbb {Q}}_p}$, so as to make sense of the notions of f-generic type, etc. In this paper we will show that every definable f-generic group definable in ${{\mathbb {Q}}_p}$ is virtually isomorphic to a finite index subgroup of a trigonalizable algebraic group over ${{\mathbb {Q}}_p}$. This is analogous to the o-minimal context, where every connected torsion-free group definable in $\mathbb {R}$ is isomorphic to a trigonalizable algebraic group [5, Lemma 3.4]. We will also show that every open definable f-generic subgroup of a definable f-generic group has finite index, and every f-generic type of a definable f-generic group is almost periodic, which gives a positive answer to the problem raised in [28] of whether f-generic types coincide with almost periodic types in the p-adic case. (shrink)

It is known Hrushovski and Pillay that a group G definable in the field \ of p-adic numbers is definably locally isomorphic to the group \\) of p-adic points of a algebraic group H over \. We observe here that if H is commutative then G is commutative-by-finite. This shows in particular that any one-dimensional group G definable in \ is commutative-by-finite. This result extends to groups definable in p-adically closed fields. We prove our results in the more general (...) context of geometric structures. (shrink)

In this paper we establish the following theorems. THEOREM A. Let T be a complete first-order theory which is uncountable. Then: (i) I(|T|, T) ≥ ℵ 0 . (ii) If T is not unidimensional, then for any λ ≥ |T|, I (λ, T) ≥ ℵ 0 . THEOREM B. Let T be superstable, not totally transcendental and nonmultidimensional. Let θ(x) be a formula of least R ∞ rank which does not have Morley rank, and let p be any stationary completion (...) of θ which also fails to have Morley rank. Then p is regular and locally modular. (shrink)

We prove that any field definable in (Q p, +, ·) is definably isomorphic to a finite extension ofQ p.

Let T be a complete O-minimal theory in a language L. We first give an elementary proof of the result (due to Marker and Steinhorn) that all types over Dedekind complete models of T are definable. Let L * be L together with a unary predicate P. Let T * be the L * -theory of all pairs (N, M), where M is a Dedekind complete model of T and N is an |M| + -saturated elementary extension of N (and (...) M is the interpretation of P). Using the definability of types result, we show that T * is complete and we give a simple set of axioms for T * . We also show that for every L * -formula φ(x) there is an L-formula ψ(x) such that $T^\ast \models (\forall \mathbf{x})(P(\mathbf{x}) \rightarrow (\phi(\mathbf{x}) \mapsto \psi (\mathbf{x}))$ . This yields the following result: Let M be a Dedekind complete model of T. Let φ(x, y) be an L-formula where l(y) = k. Let $\mathbf{X} = \{X \subset M^k$ : for some a in an elementary extension N of M, X = φ (a,y N ∩ M k }. Then there is a formula ψ(y, z) of L such that X = {ψ (y, b) M : b in M}. (shrink)

We consider the theory P of pairs F (...) is generically free. (shrink)

Let $M$ be a saturated model of a superstable theory and let $G = \operatorname{Aut}(M)$. We study subgroups $H$ of $G$ which contain $G_{(A)}, A$ the algebraic closure of a finite set, generalizing results of Lascar [L] as well as giving an alternative characterization of the simple superstable theories of [P]. We also make some observations about good, locally modular regular types $p$ in the context of $p$-simple types.

We give some sufficient conditions for a predicate P in a complete theory T to be "stably embedded". Let P be P with its "induced θ-definable structure". The conditions are that P (or rather its theory) is "rosy", P has NIP in T and that P is stably 1-embedded in T. This generalizes a recent result of Hasson and Onshuus [6] which deals with the case where P is o-minimal in T. Our proofs make use of the theory of strict (...) nonforking and weight in NIP theories ([3], [10]). (shrink)

We extend Morley's Theorem to show that if a theory is κ-p-categorical for some uncountable cardinal κ, it is uncountably categorical. We then discuss ω-p-categoricity and provide examples to show that similar extensions for the Baldwin-Lachlan and Lachlan Theorems are not possible.

Psyche and Soma is a multi-disciplinary exploration of the conceptions of the human soul or mind and body, through the course of more than two thousand years of Western history. Thirteen specially commissioned chapters, each written by a recogized expert, discuss figures such as the physicians Hippocrates, Galen, Stahl, and Cabanis; theologians St Paul, Augustine, and Aquinas; and philosophers from Plato and Aristotle to Descartes, Leibniz, and La Mettrie. The chapters explore in chronlogical sequence the views of these writers (...) on such questions as the soul's immortality, the control it exerts over the body, how mental disturbances arise out of bodily imbalances, and the roles of the priest and the physician in promoting spiritual and mental health. Psyche and Soma will be a key point of reference and a rich source of illumination in this central area of human inquiry. (shrink)

Psyche and Soma is a multi-disciplinary exploration of the history of understanding of the human mind or soul and its relationship to the body, through the course of more than two thousand years. Thirteen specially commissioned chapters, each written by a recognized expert, discuss such figures as the doctors Hippocrates and Galen, the theologians St Paul, Augustine, and Aquinas, and philosophers from Plato to Leibniz.

Hippolytus of Rome on Aristotle’s definition of the soul. His work Concerning the Soul is obscure. For in the entire three books [where he treats of his subject] it is not possible to say clearly what is Aristotle’s opinion concerning the soul. For, as regards the definition which he furnishes of soul, it is easy [enough] to declare this; but what it is that is signified by the definition is difficult to discover. For soul, he says, is an entelecheia of (...) a sôma physikon organikon; [but to explain] what this is at all, would require a very great number of arguments, and a lengthened investigation. (shrink)

This is a multi-disciplinary exploration of the history of understanding of the human mind or soul and its relationship to the body, through the course of more than two thousand years. Thirteen specially commissioned chapters, each written by a recognized expert, discuss such figures as the doctors Hippocrates and Galen, the theologians St Paul, Augustine, and Aquinas, and philosophers from Plato to Leibniz.

In lieu of an abstract, here is a brief excerpt of the content:Aristotle on the Etruscan Robbers:A Core Text of "Aristotelian Dualism"Abraham P. Bos (bio)1. A Non-Platonic Dualism in Aristotle's Lost WorksThe Soul of a Mortal on Earth is not "At Home," says Aristotle in his dialogue Eudemus. The story about the mantic dream of the expatriate Eudemus and his expectation that he "will return home"1 is well known. It makes clear that, in Aristotle's view, the death of the human (...) individual should be interpreted as the soul's "return to its homeland."2 This is strongly suggested by "the revelation of Silenus" which Plutarch (first century CE) passes down in a literal quotation from the Eudemus.3 It contains the theme of human life on earth as a punishment (timôria). The motif of human life as a punishment is central to two texts by Iamblichus (250-325 CE) and Augustine (354-430 CE), which are usually connected with Aristotle's Protrepticus.4 I want to examine these texts in more detail here. My intention in the following exposition is to propose a non-Platonistic explanation of these texts. In my opinion they have wrongly been read as testimonies of a "Platonistic" phase in Aristotle. The existence of such a phase in Aristotle's development has never been proved. Besides, the interpretation of these texts suffered from the fact that [End Page 289] Aristotle's De anima had also been explained in an unhistorical way since Alexander of Aphrodisias in the third century CE.2. Revising the Modern View of AristotleWe have to make a different assessment of Aristotle's contribution to the discussion on the soul compared with what was current until recently. For after W. Jaeger5 and F. Nuyens6, modern scholars became inclined to leave Aristotle's dialogues out of consideration, because they regarded them as "Platonizing." But a fundamental correction is necessary on this point.7 Jaeger led modern Aristotle studies in a wrong direction by assuming a sharp distinction between Aristotle's lost dialogue Eudemus and his surviving treatise De anima. Although nowadays Jaeger's theory for many scholars is something of a dead horse, nevertheless a real alternative has not been proposed. We still have to get rid of the consequences of the Jaegerian paradigm and develop a unitary interpretation of Aristotle's entire oeuvre. Even more consistently than O. Gigon has already done,8 we should assume that Aristotle's lost works and his surviving biological writings and De anima did not propose two (or more) different psychological theories but one and the same. Because this one Aristotelian psychology was a non-Platonistic but nevertheless dualistic psychology, we have much more reason than could be recognized in the past to assume Aristotelian influence on this discussion.On one essential issue Aristotle disagreed with his teacher Plato: the soul,9 more particularly the indissoluble bond of the soul with a body. Aristotle radically and [End Page 290] consistently argued for the distinction between nous and psychè.10 For Aristotle the nous-in-act is always wholly incorporeal. But he considered it characteristic of the soul that it cannot carry out its functions "without body."11However, the crucial question is: what body does Aristotle mean when he says that the soul cannot perform its specific activities "without body"? Jaeger and Nuyens were wholly convinced that Aristotle was referring to the visible, external body of a human being, animal, or plant. Hence they saw a yawning gap between Aristotle's views in De anima and his position in the dialogue the Eudemus. In the Eudemus Aristotle had clearly argued that the soul can perform its own functions very well, indeed better, without the galling and oppressive visible body.12 But in De anima II 1, in his famous definition of "the soul," Aristotle says that the soul is inextricably bound up with a "sôma physikon organikon."13 Jaeger and Nuyens, following an almost unanimous tradition since Alexander of Aphrodisias in the third century CE, interpreted this sentence in the sense that the soul is the formal principle or entelechy of an "organic body" or a "natural body equipped with organs," i.e., the visible body... (shrink)

A distinguishing characteristic of the biomedical model is its compartmentalized view of man. This way of seeing human beings has its origin in Greek thought; it was stated by Descartes and to this day it still considers humans as beings composed of distinct entities combined into a certain form. Because of this observation, one began to believe that the focus of a health treatment could be exclusively on the affected area of the body, without the need to pay attention to (...) patient’s subjectivity. By seeing pain as a merely sensory response, this model was not capable of encompassing chronic pain, since the latter is a complex process that can occur independently of tissue damage. As of the second half of the twentieth century, when it became impossible to deny the relationship between psyche and soma, the current understanding of chronic pain emerges: that of chronic pain as an individual experience, the result of a sum of physical, psychological, and social factors that, for this reason, cannot be approached separately from the individual who expresses pain. This understanding has allowed a significant improvement in perspective, emphasizing the characteristic of pain as an individual experience. However, the understanding of chronic pain as a sum of factors corresponds to the current way of seeing the process of falling ill, for its conception holds a Cartesian duality and the positivist premise of a single reality. For phenomenology, on the other hand, the individual in his/her unity is more than a simple sum of parts. Phenomenology sees a human being as an intending entity, in which body, mind, and the world are intertwined and constitute each other mutually, thus establishing the human being’s integral functioning. Therefore, a real understanding of the chronic pain process would only be possible from a phenomenological point of view at the experience lived by the individual who expresses and communicates pain. (shrink)

Basing ourselves on the writings of Hans Jonas, we offer to psychosomatic medicine a philosophy of life that surmounts the mind-body dualism which has plagued Western thought since the origins of modern science in seventeenth century Europe. Any present-day account of reality must draw upon everything we know about the living and the non-living. Since we are living beings ourselves, we know what it means to be alive from our own first-hand experience. Therefore, our philosophy of life, in addition to (...) starting with what empirical science tells us about inorganic and organic reality, must also begin from our own direct experience of life in ourselves and in others; it can then show how the two meet in the living being. Since life is ultimately one reality, our theory must reintegrate psyche with soma such that no component of the whole is short-changed, neither the objective nor the subjective. In this essay, we lay out the foundational components of such a theory by clarifying the defining features of living beings as polarities . We describe three such polarities: 1) Being vs. non-being: Always threatened by non-being, the organism must constantly re-assert its being through its own activity. 2) World-relatedness vs. self-enclosure: Living beings are both enclosed with themselves, defined by the boundaries that separate them from their environment, while they are also ceaselessly reaching out to their environment and engaging in transactions with it. 3) Dependence vs. independence: Living beings are both dependent on the material components that constitute them at any given moment and independent of any particular groupings of these components over time. We then discuss important features of the polarities of life: Metabolism; organic structure; enclosure by a semi-permeable membrane; distinction between "self" and "other"; autonomy; neediness; teleology; sensitivity; values. Moral needs and values already arise at the most basic levels of life, even if only human beings can recognize such values as moral requirements and develop responses to them. (shrink)

Book Information Psyche And Soma: Physicians and Metaphysicians on the Mind-Body Problem from Antiquity to Enlightenment. Psyche And Soma: Physicians and Metaphysicians on the Mind-Body Problem from Antiquity to Enlightenment John P. Wright Paul Potter Oxford Clarendon Press 2000 xii + 298, Hardback £45.00 Edited by John P. Wright; Paul Potter . Clarendon Press. Oxford. Pp. xii + 298,. Hardback:£45.00.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.1 (2001) 142-143 [Access article in PDF] Wright, John P. and Paul Potter, editors. Psyche and Soma: Physicians and Metaphysicians on the Mind-Body Problem from Antiquity to Enlightenment. New York: Oxford University Press, 2000. Pp. xii + 298. Cloth, $72.00. The mind-body problem has a long history that begins well before Descartes made it extreme by presenting mind as unextended active thinking (...) and matter as unthinking passive extension. This absolute division was motivated in some part by the desire to present the soul as an entity that can survive the death of the body. This is difficult to maintain if the soul is merely the form or the vital force motivating a human body. But the advance of physiology has led more and more to the conclusion that the functions often attributed to the soul are actually carried out by the brain. Thinking may be as natural (and perhaps as determined) a function of the body as is digestion. And if digestion does not survive the death of the body, maybe thinking does not either.This collection of studies provides a detailed introduction to both medical and metaphysical views and theories concerning the relation of mind to body. In particular, the first article by Beate Gundert on Hippocratic Medicine sets the stage by showing that "mind and body in the Hippocratic writings, while distinguished empirically by being related to different types of phenomena, are both ultimately accounted for by the same explanatory model: Human nature (physis), which embraces the totality of bodily structures, physiological processes, and psychic events" (35). T. M. Robinson shows that Plato admits of no solution as to how mind and body interact, and Philip J. van der Eijk argues that "to detach the essence of man completely from his physical make-up would run counter to Aristotle's biological approach to man as a natural living being, the ultimate implication of his view on the divinity of nous is that the fullest realization of what it is to be a human being is to go beyond the limits of corporeality and mortality, and to become, if only temporarily, a god" (77). Heinrich von Staden covers Epicurus, Herophilus, Erasistratus, the Stoics, and Galen, concluding that "The discovery of the nerves entailed the first significant erosion of the vast territory ruled by the soul in Platonic and Aristotelian philosophy, an erosion accompanied by an expansion of the rule of 'nature,' visible not only in medicine, but also in philosophy" (116). Theo K. Heckel discusses Saint Paul's insistence upon the whole person, and Gareth Matthews shows that, prior to Descartes, Augustine presents "a radically new argument for mind-body dualism... an internalist argument... that proceeds from what, allegedly, the mind can know concerning itself to the conclusion that the mind is incorporeal" (145). Emily Michael discusses Pomponazzi's view that we know the immortality of the soul only by faith and the scholastic attempts to show that the soul is a substantial form. Guillaume Lamy, for example, criticized Descartes for having a soul only of thinking, whereas the soul must be of life. Steven Voss shows how at the end of his life, Descartes did discuss in detail how thinking affects the body, particularly in the management of health and the curing of disease. But Descartes does not solve the problem of how this interaction takes place. Thomas Lennon discusses the views of Bayle on Leibniz's monadic forces and Locke's fideism. And Francois Duchesneu continues the discussion of Stahl and Leibniz, to [End Page 142] conclude that "Leibniz attempts to discover the formal foundation of the organism, which he locates in the capacity of perception-appetition proper to the dominant monad" (235).John P. Wright gives an exposition of a very important distinction between Cartesian dualism and the functional dualism that came to dominate medical thought, that is, the question of how the brain and vital organs interact. Roselyn Rey carries this discussion on to the development of theories... (shrink)

We introduce and study the notions of a PAC-substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a "descent theorem" for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants of pseudo-algebraically (...) closed fields from [6] are also valid for pseudo-differentially closed fields. (shrink)

In this article we consider some questions raised by F. Benoist, E. Bouscaren, and A. Pillay. We prove that infinitely $p$-divisible points on abelian varieties defined over function fields of transcendence degree one over a finite field are necessarily torsion points. We also prove that when the endomorphism ring of the abelian variety is $\mathbb{Z}$, then there are no infinitely $p$-divisible points of order a power of $p$.

In Indian philosophy, Bhāṭṭa Mīmāṃsakas and Advaita Vedāntins recognize abhāva or anupalabdhi (non-apprehension) as an independent source of knowledge; but no other school of Indian philosophy agrees with them on this issue, and for that reason, arguments have been given by the latter schools for rejecting anupalabdhi as an independent means of knowledge. In this paper, I am going to evaluate only those arguments which have been given by the Vaiśeṣika thinkers, who admit only two pramāṇa-s, viz. pratyakṣa and anumāna, (...) and reject anupalabdhi as an independent pramāṇa. There have been many scholarly studies dealing with the arguments against the reduction of non-apprehension to some other source of knowledge that have been offered by the Bhāṭṭa Mīmāṃsā and Advaita Vedānta, but there is hardly any full-length work that deals with the Vaiśeṣika’s reduction of non-apprehension to some other source of knowledge. In the present paper, an attempt has been made at providing a clear and specific account of the same. (shrink)

Care of the critically ill newborn includes support for the birth mother/parents with regular updates around the clinical condition of the baby, and involvement in discussions around complex decision-making issues. Discussions around continuation or discontinuation of life-sustaining are challenging even in the most straightforward of cases, but what happens when the birth mother is critically unwell? Such cases can lead to uncertainty around who should assume the parental role for these difficult discussions. In this round table discussion, we explore the (...) ethical, moral and legal uncertainties raised by coincident severe maternal and neonatal illness in the context of surrogacy. (shrink)

The Vaiśeṣika school is an important ancient system of Indian philosophy. According to the Vaiśeṣika philosophers, cognition or jñāna is of two types—vidyā and avidyā (vidyā ca avidyā ca), and avidyā is of four types—saṃśaya (doubt), viparyaya (illusion), anadhyavasāya (non-ascertainment) and svapna (dream). Among these four kinds of avidyā, the third kind of non-veridical cognition (avidyā), named ‘anadhyavasāya’ (non-ascertainment/non-assertory cognition), is acknowledged alone by the Vaiśeṣika school. Apart from the Vaiśeṣika school, no other school of Indian philosophy admits such a (...) type of non-veridical cognition. Such a sort of non-veridical cognition is not mentioned even in the Vaiśeṣikasūtra of Kaṇāda. However, Praśastapāda discusses it in his Padārthadharmasaṃgraha, after mentioning it as a variety of non-veridical cognition. He has been followed in this respect by the commentators of Padārthadharmasaṃgraha in their respective commentaries. Following them, in this paper I am going to establish anadhyavasāya as a distinct type of non-veridical cognition. (shrink)

For G a group definable in some structure M, we define notions of “definable” compactification of G and “definable” action of G on a compact space X , where the latter is under a definability of types assumption on M. We describe the universal definable compactification of G as View the MathML source and the universal definable G-ambit as the type space SG. We also point out the existence and uniqueness of “universal minimal definable G-flows”, and discuss issues of amenability (...) and extreme amenability in this definable category, with a characterization of the latter. For the sake of completeness we also describe the universal compactification and universal G-ambit in model-theoretic terms, when G is a topological group. (shrink)

This paper examines the origin and the development of the mechanistic model of the human body and health in terms of Max Weber's theory of rationalization. It is argued that the development of Western scientific medicine is a part of the broad process of rationalization that began in sixteenth century Europe as a result of the Reformation. The development of the mechanistic view of the human body in Western medicine is consistent with the ideas of calculability, predictability, and control — (...) the major tenets of the process of rationalization as described by Weber. In recent years, however, the limitations of the mechanistic model have been the topic of many discussions. George Engel, a leading advocate of general systems theory, is one of the leading proponents of a new medical model which includes the general quality of life, clean environment, and psychological, or spiritual stability of life. The paper concludes with consideration of the potential of Engel's proposed new model in the context of the current state of rationalization in modern industrialized society. (shrink)

Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to (...) be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property. (shrink)

Cost-benefit analysis is widely acknowledged to be an appropriate tool for providing advice to policy makers on the optimal use and management of natural resources. However, a great deal of research has indicated that the assumptions made in cost-benefit analysis concerning the natural environment diverge from real world observations. In this paper I discuss these observed divergences. To do so, I introduce the concept of Natura economica. Natura economica is the environment as it is understood in economic analysis in general, (...) and cost-benefit analysis in particular, namely as a bundle of commodities with potential market value. I argue that if this understanding of nature and its value is very different from what is generally observed, it reduces the value of the resulting policy recommendations. I then suggest four questions that policy makers should ask when they evaluate their choice of appraisal methods. If the answer is 'yes' to all of them, then cost-benefit analysis can provide valid information. However, if the answer to any of these questions is 'no', other methods, such as multicriteria analysis and participatory processes, should be considered in order to arrive at better-founded policy recommendations. (shrink)

We introduce the notion of a lovely pair of models of a simple theory T, generalizing Poizat's “belles paires” of models of a stable theory and the third author's “generic pairs” of models of an SU-rank 1 theory. We characterize when a saturated model of the theory TP of lovely pairs is a lovely pair , finding an analog of the nonfinite cover property for simple theories. We show that, under these hypotheses, TP is also simple, and we study forking (...) and canonical bases in TP. We also prove that assuming only that T is low, the existentially universal models of the universal part of a natural expansion TP+ of TP, are lovely pairs, and “simple Robinson universal domains”. (shrink)

We develop a basic theory of rosy groups and we study groups of small Uþ-rank satisfying NIP and having finitely satisfiable generics: Uþ-rank 1 implies that the group is abelian-by-finite, Uþ-rank 2 implies that the group is solvable-by-finite, Uþ-rank 2, and not being nilpotent-by-finite implies the existence of an interpretable algebraically closed field.

This paper is an application of Max Weber’s thesis about the “elective affinity” between Protestant religious impulses and the rise of capitalism, and rationalization of benevolence. Exploring the history of organized philanthropy in the United States, using the life and work of John D. Rockefeller, the paper presents the power of the religious motive in Rockefeller’s commitment to philanthropy, especially towards support for scientific university based research in medicine. Presenting historical evidence, the paper argues against those who see U.S. philanthropists (...) as giving out of guilt or for selfish motivation, and those who critique philanthropic foundations as producers and reproducers of cultural hegemony. (shrink)

This book introduces the theory of graded consequence and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of (...) the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels. (shrink)

We study structures equipped with generic predicates and/or automorphisms, and show that in many cases we obtain simple theories. We also show that a bounded PAC field is simple. 1998 Published by Elsevier Science B.V. All rights reserved.

Chronology of Śaṅkarācārya's journey to spread his message through monasteries established by him and his followers in India.

A linguagem para Nietzsche é considerada como uma metáfora das coisas externas produzida pelos estímulos que elas causam em nós. A partir disso, indagamos sobre a possibilidade da linguagem e da história auxiliarem na busca pela verdade. Para tal, o texto reconstrói o pensamento de Nietzsche contido em dois escritos de 1873 3 1874. Por fim, contrapormos a concepção de Nietzsche, ainda que brevemente, com a visão de Habermas para demonstrar que a história, expressa pela linguagem, deve ser crítica e, (...) com isso, conduzir a verdade. (shrink)