We know from Li's theorem (1993) that the stability set of order d may be empty for some preference profiles. However, one may wonder whether such situations are just rare oddities or not. In this paper, we partially answer this question by considering the restrictive case where the number of alternatives is the smallest compatible with an empty stability set. More precisely, we provide an upper bound on the probability for having an empty stability set of (...) order d for the majority game under the Impartial Weak Ordering Culture assumption. This upper bound is already extremely low for small population and tends to zero as the number of individuals goes to infinity. (shrink)

In his paper, which we read with interest, Cherniack argues that there is a worldwide increase in the use of do not resuscitate orders in the care of the elderly.1 As geriatricians in an emergency department and a geriatric department we are concerned by this important ethical topic, and we understand that this increase is a reflection of the demographic increase in frail very old persons. The elderly must be offered the best care, and age as such should not be (...) used as a decision criterion in order to exclude them from the best care. Nevertheless, care which is believed to be harmful and treatments which are considered futile must not be offered, and in some circumstances must not even be discussed. In the setting of the care of the frail elderly, we believe the use of simple DNR orders to be inappropriate and restrictive, because they fail to outline the kind of care and the extent of the care that the patient actually needs. We prefer a more nuanced approach based on a scale describing positively the contents of care at four different levels: terminal, palliative, usual, and intensive, only the last to include cardiopulmonary resuscitation . Perhaps a more …. (shrink)

Background: The traditional approach to resolving ethics concerns may not address underlying organisational issues involved in the evolution of these concerns. This represents a missed opportunity to improve quality of care “upstream”. The purpose of this study was to understand better which organisational issues may contribute to ethics concerns. Methods: Directed content analysis was used to review ethics consultation notes from an academic children’s hospital from 1996 to 2006 (N = 71). The analysis utilised 18 categories of organisational issues derived (...) and modified from published quality improvement protocols. Results: Organisational issues were identified in 68 of the 71 (96%) ethics consult notes across a range of patient settings and reasons for consultation. Thirteen of the 18 categories of organisational issues were identified and there was a median of two organisational issues per consult note. The most frequently identified organisational issues were informal organisational culture (eg, collective practices and approaches to situations with ethical dimensions that are not guided by policy), policies and procedures (eg, staff knows policy and/or procedural guidelines for an ethical concern but do not follow it) and communication (eg, communication about critical information, orders, or hand-offs repeatedly does not occur among services). Conclusions: Organisational issues contribute to ethical concerns that result in clinical ethics consults. Identifying and addressing organisational issues such as informal culture and communication may help decrease the recurrence of future similar ethics concerns. (shrink)

Many medical ethicists accept the thesis that there is no moral difference between withholding and withdrawing life-sustaining therapy. In this paper, we offer an interesting counterexample which shows that this thesis is not always true. Withholding is distinguished from withdrawing by the simple fact that therapy must have already been initiated in order to speak coherently about withdrawal. Provided that there is a genuine need and that therapy is biomedically effective, the historical fact that therapy has been initiated entails (...) a claim to continue therapy that cannot be attributed to patients who have not yet received therapy. This intrinsic difference between withholding and withdrawing therapy is of moral importance. In many instances, patients will waive this claim. But when one considers withdrawing therapy from one patient to help another in a setting of scarce resources, this intrinsic moral difference comes into sharp focus. In an era of shrinking medical resources, this difference cannot be ignored. (shrink)

The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.

Trust is vital for individuals to flourish and have a sense of well-being in their community. A trusting society allows people to feel safe, communicate with each other and engage with those who are different to themselves without feeling fearful. In this paper I employ an Aristotelian framework in order to identify trust as a virtue and I defend the need to cultivate trust in children. I discuss the case study of Buranda State School in Queensland, Australia as an (...) instance of successful school reform that reinstates trust in an educational setting. Buranda makes use of the community of inquiry (CoI) pedagogy practiced by advocates of philosophy for children (P4C). Educators may create a safe space in the classroom by using the CoI and giving children the chance to voice their ideas and build upon, as well as question, those of others in a democratic and respectful manner. Through this pragmatic dialogue, trust may be established, along with a sense of belonging that supports well-being in the classroom as well as in life. (shrink)

Game theoretic explanations of the evolution of human behavior have become increasingly widespread. At their best, they allow us to abstract from misleading particulars in order to better recognize and appreciate broad patterns in the phenomena of human social life. We discuss this explanatory strategy, contrasting it with the particularist methodology of contemporary evolutionary psychology. We introduce some guidelines for the assessment of evolutionary game theoretic explanations of human behavior: such explanations should be representative, robust, and flexible. Distinguishing these (...) features sharply can help to clarify the import and accuracy of game theorists' claims about the robustness and stability of their explanatory schemes. Our central example is the work of Brian Skyrms, who offers a game theoretic account of the evolution of our sense of justice. Modeling the same Nash game as Skyrms, we show that, while Skyrms' account is robust with respect to certain kinds of variation, it fares less well in other respects. (shrink)

In the myth of the Phaedrus Plato sets forth a picture of the life of discarnate souls in heaven. He represents these souls by the symbol of a winged charioteer driving winged horses. In the case of the souls of the gods, the charioteers and horses are good. In the case of the other souls whom Plato calls daimones, and among whom our own souls are included, the soul is represented by a charioteer with two horses of which the right (...) one is good but the left one evil. It is generally agreed that the right and left horses represent thumos and passion respectively, while the charioteer symbolizes reason. Plato goes on to describe a procession which the gods and daimones make up to the outer edge of heaven in order to contemplate the Forms which lie beyond. The gods, we are told, make the ascent easily and when they reach the edge of heaven have no difficulty in staying there and beholding the Forms. The daimones, however, experience difficulty due to the recalcitrance of the evil horse, which all their charioteers possess (247 b Plato divides the daimones into three main groups: those who succeed in beholding the Forms though with difficulty; those whose vision is only partial; those, finally, who fail to see the Forms at all. Since contemplation of the Forms provides the nourishment by which the wings of the soul are nurtured, those daimones who fail to see the Forms at all lose their wings and fall to earth. They have to go through a series of earthly existences for 10,000 years, before they regain their wings and return to heaven. (shrink)

On one reading, twentieth century Christian personalists such as Max Scheler, Dietrich von Hildebrand, or Edith Stein merely translate into Christian terms a set of modern concerns that arise apart from and are at odds with the historical Christian tradition. According to this reading, modern philosophy makes a fundamental break with previous thinking when it turns inward to examine the interior, personal dimension of existence. A person who favors this inward turn will see the Christian personalists as vainly attempting to (...) salvage traditional Christian categories while trying to keep up with the times. For example, someone who favors twentieth century existentialism or psychoanalysis may sympathize with a Christian personalist account of the interiority and irreplaceable uniqueness of each person but despise the larger religious framework of grace and salvation. Someone who favors traditional metaphysics, by contrast, may see these personalists as falling prey to modern errors when they should have kept the faith. Such a traditionalist may think, for example, that an emphasis on the personal is an infiltration into Christianity from secular political philosophies of individualism and that this has been thinly covered over with traditional Christian language. -/- Both perspectives, however, ignore the historical roots of personalism much further back in the history of philosophy than Descartes and Kant. Central to this history is the idea that each person uniquely realizes an incommunicable dimension of his existence, irreducible to the category of nature or essence. While we are in nature and while we *are* a nature, our nature as nature remains purely general, describing *what* we are in common with every other member of our species. As particular persons exercising our freedom and spiritual existence, however, each of us concretizes that purely general nature in a unique, personal way. For many centuries, Christians have called the dimension that concretizes nature ὑπόστασις: each ὑπόστασις is a distinct realization of a general nature. When this notion is first introduced into Christian discourse during the second half of the fourth century, the uniqueness of persons as opposed to the uniqueness of individual pebbles or horses does not come fully into focus. Nevertheless, a thick conception of ὑπόστασις develops in order to speak precisely about Trinitarian and Christological theology, and this context gives it a distinctly personalist character, especially when it is translated into Latin as *persona*. In order to speak of God as three ὑποστάσεις or *personae* in one essence and to speak of Christ as one ὑπόστασις or *persona* in two natures, the category of ὑπόστασις must be irreducible to the category of nature. Along this irreducible dimension persons are irreplaceable *someones* in relationship with other someones rather than merely *somethings*, specimens of a kind more or less interchangeable with any other such specimen. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:109 HUME'S MISSING SHADE OF BLUE, INTERPRETED AS INVOLVING HABITUAL SPECTRA David Hume claimed that his hypothetical case of the unseen shade of blue posed no fundamental problem to his general empiricist principle. But I believe it well may show exactly what he denied it showed — viz., that his empiricism rests on a mistake. Hume says: Suppose... a person to have enjoyed his sight for thirty years, and (...) to have become perfectly well acquainted with colours of all kinds, excepting one particular shade of blue, for instance, which it never has been his fortune to meet with. Let all the different shades of that colour, except that single one, be plac'd before him, descending gradually from the deepest to the lightest; 'tis plain, that he will perceive a blank, where that shade is wanting, and will be sensible, that there is a greater distance in that place betwixt the contiguous colours, than in any other. Now I ask, whether 'tis possible for him, from his own imagination, to supply this deficiency, and raise up to himself the idea of that particular shade, tho' it had never been conveyed to him by his senses? I believe there are few but will be of opinion that he can.... Sometimes one is surprised by the colour which emerges when one mixes paints, powders or lights of different hues, in the sense that one is unable to imagine this resulting colour until one actually sees it. I often have analogous experiences when sightreading music on the trombone. If there is a large, unfamiliar interval between the note I am playing and the one to be played next, so I cannot 'hear' the next note inwardly, I bring the slide to the correct position, set my lips at approximately the right tension, and presto! the correct note appears, despite 110 my inability to predict what it was going to sound like. Only after I have heard it can I also 'hear' it, i.e, predict its occurrence in this melodic line. Cases like these are not puzzling philosophically, because in them, the note, colour, etc. arises primarily from the equipment used — e.g., paints, powders or lights, the trombone and tension of the lips, and so on — rather than from the mind of the person who uses these things. But in Hume's example, no extra-mental objects or events play a direct role in creating the imagined colour. In fact, this colour never appears at all outside the subject's mind, and he never sees it. Therefore here the imagined colour is produced entirely by the subject himself, without his having copied it from anything in the external world. Yet this contradicts the maxim Hume laid down at the beginning of the Treatise that all simple ideas arise from correspondingly simple (sense) impressions. Two points perhaps mitigate the seriousness of the problem set by the missing shade of blue. First, Hume saw clearly, as Locke did not, that "innate" does 2 not mean the same as "justified." He was not so much concerned with the question of where ideas come from, as with how these ideas can be shown to be legitimate. His answer to the latter question is that experience alone is competent to show this. Second, strictly speaking, no idea is itself a piece of knowledge, but only something with the help of which one constructs knowledge-claims; and it is necessary for a person to justify knowledge-claims which are composed of innate ideas, by checking them against experience, just as much as knowledge-claims composed of non-innate materials. For example, suppose I possess innately the idea (visual image) of blue and the idea (tactile image) of cool. To say that these ideas are innate means that they are merely triggered or activated in my Ill mind by experiences I happen to have, but are not created by these experiences, and are not necessarily copies of them. Nevertheless, in order for me to know something which involves these ideas, I first must put them together in a judgment, and then confirm that judgment by appeal to experience. For instance, I might use these ideas to make the judgment... (shrink)

While by no means intending to discount the importance of historical circumstances in motivating Bodin to change his definition of sovereignty, I suggest an alternative way for understanding this change. I study Bodin's writings in the intellectual context of his times, and argue that he proposed his absolutist theory of sovereignty as a way to preserve a minimal point of universal and immutable order for politics in a social world that he perceived as highly disorderly, corrupt and changing. I (...) begin by locating Bodin's thinking within the intellectual context of his times. Like many other sceptics of his generation, including Montaigne, Pasquier and Le Roy, Bodin no longer believed that human laws and society very closely reflected the immutable principles of the divine and natural orders, but instead argued that human affairs were generally detached from these orders and were characterized by a high degree of particularity, variability and mutability. However, in contrast to these more sceptical writers, he was unwilling to accept the possibility that human political order could subsist without some divine and natural foundation. In both the Methodus and Republique he therefore set out to identify a new universal foundation for human laws and society anchored in the divine and natural orders. (shrink)

Let n ≥ 3 be an integer. We show that it is consistent (relative to the consistency of n - 2 strong cardinals) that every $\Sigma_n^1-set$ of reals is universally Baire yet there is a (lightface) projective well-ordering of the reals. The proof uses "David's trick" in the presence of inner models with strong cardinals.

The number of discriminable colours is often assumed to be of the order of several million but the extent of detectable chromatic diversity present in individual natural scenes is an open question. Here, the aim was to estimate the number of discriminable colours seen in natural scenes. Hyperspectral data were obtained from a set of natural scenes over the range 400 - 720 nm at 10 nm intervals (Nascimento et al, 2002 Journal of the Optical Society of America A (...) 19 1484 - 1490) and the representation of each scene in CIELAB space computed for all pixels of the image. The number of discriminable colours was estimated by counting the number of unit volumes in the three-dimensional volume defined by the scene when represented in CIELAB space. We found that the number of discriminable colours estimated in a scene could vary by an order of magnitude from scene to scene, but rarely exceeded 105, indicating a limited chromatic diversity. (shrink)

Let n ≥ 3 be an integer. We show that it is consistent that every σ1n-set of reals is universally Baire yet there is a projective well-ordering of the reals. The proof uses “David’s trick” in the presence of inner models with strong cardinals.

We investigate computability theoretic and descriptive set theoretic contents of various kinds of analytic choice principles by performing a detailed analysis of the Medvedev lattice of $\Sigma ^1_1$ -closed sets. Among others, we solve an open problem on the Weihrauch degree of the parallelization of the $\Sigma ^1_1$ -choice principle on the integers. Harrington’s unpublished result on a jump hierarchy along a pseudo-well-ordering plays a key role in solving this problem.

Biological knowledge does not fit the image of science that philosophers have developed. Many argue that biology has no laws. Here I criticize standard normative accounts of law and defend an alternative, pragmatic approach. I argue that a multidimensional conceptual framework should replace the standard dichotomous law/ accident distinction in order to display important differences in the kinds of causal structure found in nature and the corresponding scientific representations of those structures. To this end I explore the dimensions of (...) stability, strength, and degree of abstraction that characterize the variety of scientific knowledge claims found in biology and other sciences. (shrink)

OBJECTIVES: To study the accuracy of reviewing ward notes (chart review) as a measure of the quality of care rendered to patients with "Do Not Resuscitate" (DNR) orders. DESIGN: We reviewed the charts of 19 consecutive, competent inpatients with DNR orders for evidence that the staff addressed a broad range of patient care needs called Concurrent Care Concerns (CCCs), such as withholding treatments other than resuscitation itself, and attention to patient comfort needs. We then interviewed the patient, consultant physician, house (...) officer, and primary nurse and compared the ward notes with the understandings of these staff members. SETTING: The medical service of an urban university medical centre. RESULTS: The average number of documented CCCs addressed per DNR order was 1.1. The ward notes generally agreed with the perceptions of patients, house officers, and nurses (% agreement with notes = 79%, 77%, and 82%; kappa = 0.43, 0.40, 0.50). Consultant physicians' understandings were poorly reflected in the ward notes (% agreement = 59%; kappa = 0.18). They overestimated attention to CCCs compared with the notes (P < 0.0001) and with other observers (P < 0.0001). CONCLUSION: Chart review for attention to CCCs accurately reflects the understandings of patients, house officers, and nurses, but consultant physicians report more attention to CCCs than is recorded in the ward notes or understood by other observers. Better communication regarding end-of-life care plans should be encouraged. (shrink)

Protein α-helices provide an ordered biological environment that is conducive to soliton-assisted energy transport. The nonlinear interaction between amide I excitons and phonon deformations induced in the hydrogen-bonded lattice of peptide groups leads to self-trapping of the amide I energy, thereby creating a localized quasiparticle (soliton) that persists at zero temperature. The presence of thermal noise, however, could destabilize the protein soliton and dissipate its energy within a finite lifetime. In this work, we have computationally solved the system of stochastic (...) differential equations that govern the quantum dynamics of protein solitons at physiological temperature, T=310 K, for either a single isolated α-helix spine of hydrogen bonded peptide groups or the full protein α-helix comprised of three parallel α-helix spines. The simulated stochastic dynamics revealed that although the thermal noise is detrimental for the single isolated α-helix spine, the cooperative action of three amide I exciton quanta in the full protein α-helix ensures soliton lifetime of over 30 ps, during which the amide I energy could be transported along the entire extent of an 18-nm-long α-helix. Thus, macromolecular protein complexes, which are built up of protein α-helices could harness soliton-assisted energy transport at physiological temperature. Because the hydrolysis of a single adenosine triphosphate molecule is able to initiate three amide I exciton quanta, it is feasible that multiquantal protein solitons subserve a variety of specialized physiological functions in living systems. (shrink)

This essay argues that the difference between philosophy and sophistical rhetoric that Plato presents in the Gorgias turns most fundamentally on different conceptions of the nature of language. After presenting some of the decisive moments in the debate between Socrates and Polus, Gorgias, and Callicles, this essay draws on the discussion of technē in Republic I to elucidate the “precise” sense of technē: namely, technē is ordered to the benefit of that over which it is set. The essay also draws (...) on the discussion of names in the Cratylus to show that the technē that is language, considered most precisely, is ordered to the manifestation of the truth of being more basically than to communication. Sophistry, by contrast, presumes what the essay calls a “technological” interpretation of language, which is essentially indifferent to being, and is ordered instead simply to communication, now understood principally in the mode of manipulative persuasion. (shrink)

Can the totality of consciousness be found within the waking state? Can human consciousness be understood in its entirety by only considering the contents presented to us in the waking state? Why is the waking state so privileged? -/- This treatise from Indian author D.B. Gangolli presents the tri-basic method or the method of the three states of consciousness as the principle device or strategy employed in the science of Advaita Vedanta for arriving at knowledge and understanding of Ultimate Reality (...) as expounded in the Upanishadic tradition. This tri-basic method of wisdom inquiry into Pure Consciousness is contrasted with the pervasive mono-basic or waking-state-only method of inquiry common to science, western, and most other philosophical systems wherein explication of the Ultimate Reality is sought solely within waking consciousness. -/- The tri-basic method of the Advaita system takes waking consciousness as only one of three great states of conscious awareness within Intuition or Intuitive experience, the other two being dreaming and sleeping (deep sleep) states. Instead of privileging the waking state, the tri-basic method views all three states from the viewpoint of Intuition and sets about to inquire into the whole of conscious experience giving equal importance to all three states. It helps us to recognize how we are taught to see waking consciousness as predominant, as the sole perspective from within which we discover knowledge of truth and reality, and to see the limitations of the truncated view of consciousness that it is. -/- Advaita Vedanta is the only philosophical system that consciously inquires within all three great states of consciousness in order for the discrimination of Ultimate Reality. “To observe these states and discriminate about them means whatever is witnessed in the states – all that is to be taken en masse (rolled up into one mass) and is to be made an object to one’s Intuition, i.e., the essence of Being as the Witness or the Self, and then discriminate.” . (shrink)

We obtain an algorithm to compute finite coproducts of finitely generated Gödel algebras, i.e. Heyting algebras satisfying the prelinearity axiom =1. We achieve this result using ordered partitions of finite sets as a key tool to investigate the category opposite to finitely generated Gödel algebras . We give two applications of our main result. We prove that finitely presented Gödel algebras have free products with amalgamation; and we easily obtain a recursive formula for the cardinality of the free Gödel algebra (...) over a finite number of generators first established by A. Horn. (shrink)

Let HF be the collection of the hereditarily finite well-founded sets and let the primitive language of set theory be the first-order language which contains binary symbols for equality and membership only. As announced in a previous paper by the authors, "Truth in V for ∃*∀∀-sentences is decidable," truth in HF for ∃*∀∀-sentences of the primitive language is decidable. The paper provides the proof of that claim.

Efforts to bridge emotion theory with neurobiology can be facilitated by dynamic systems (DS) modeling. DS principles stipulate higher-order wholes emerging from lower-order constituents through bidirectional causal processes cognition relations. I then present a psychological model based on this reconceptualization, identifying trigger, self-amplification, and self-stabilization phases of emotion-appraisal states, leading to consolidating traits. The article goes on to describe neural structures and functions involved in appraisal and emotion, as well as DS mechanisms of integration by which they interact. (...) These mechanisms include nested feedback interactions, global effects of neuromodulation, vertical integration, action-monitoring, and synaptic plasticity, and they are modeled in terms of both functional integration and temporal synchronization. I end by elaborating the psychological model of emotion–appraisal states with reference to neural processes. (shrink)

We investigate an approach for drawing logical inference from inconsistent premisses. The main idea in this approach is that the inconsistencies in the premisses should be interpreted as uncertainty of the information. We propose a mechanism, based on Kinght’s [14] study of inconsistency, for revising an inconsistent set of premisses to a minimally uncertain, probabilistically consistent one. We will then generalise the probabilistic entailment relation introduced in [15] for propositional languages to the first order case to draw logical inference (...) from a probabilistic set of premisses. We will show how this combination can allow us to limit the effect of uncertainty introduced by inconsistent premisses to only the reasoning on the part of the premise set that is relevant to the inconsistency. (shrink)

I examine the relation between sensation and discursive thought in Plato, Plotinus, and Proclus. In Theaetetus, a soul whose highest faculty was sensation would have no unified experience of the sensible world, lacking universal ideas to give order to the sensible flux. It is implied that such universals are grasped by the soul’s thinking. In Plotinus the soul is not passive when it senses the world, but as the logos of all things it thinks the world through its own (...) forms.Proclus argues against the derivation of universal logoi from the senses, which alone can’t make the sensible world comprehensible. At most they give a record of the original sense-impression in its particularity. The soul’s own projected logoi give the sensible world stability. For Proclus, bare sensation does not depend on thought, but a unified experience of the sense-world depends on its paradigmatic logoi in our souls. (shrink)

The computer has increasingly become the principal model for the mind, which means our most basic experience of ""reality"" is as mediated through a screen, or stored in a cloud. As a result, we are losing a sense of the concrete and imposing presence of the real, and the fundamental claim it makes on us, a claim that Iris Murdoch once described as the essence of love. In response to this postmodern predicament, the present book aims to draw on the (...) classical philosophical tradition in order to articulate a robust philosophical anthropology, and a new appreciation of the importance of the ""transcendental properties"" of being: beauty, goodness, and truth. The book begins with a reflection on the importance of metaphysics in our contemporary setting, and then presents the human person's relation to the world under the signs of the transcendentals: beauty is the gracious invitation into reality, goodness is the self-gift of freedom in response to this invitation, and truth is the consummation of our relation to the real in knowledge. The book culminates in an argument for why love is ultimately a matter of being, and why metaphysical reason in indispensable in faith. ""Philosopher D. C. Schindler defies the dragon of modernity, whose dominant thought patterns induce a life- and culture-threatening loss of reality and self. He offers life-giving proposals regarding love, being, and the transcendentals to restore us profoundly to the world and to ourselves as humans. Buy the book--you may divest yourself of others. Digest it, and revel in your already-involvement with a responsive reality--an involvement of intimate encounter and communion; a reality that is love, fraught with beauty, goodness, and truth."" --Esther Lightcap Meek, Geneva College ""Love and the Postmodern Predicament is a treasure trove of philosophical riches. Schindler does not merely indicate the need to return to metaphysics to wrestle successfully with what he carefully and accurately describes as our postmodern predicament, but in fact leads us out of that predicament. His profound and original reflections on love, grounded in the transcendental properties of being, are a radical refashioning of traditional metaphysical principles."" --Jonathan J. Sanford, University of Dallas ""In this rewarding little text, Schindler accomplishes something too rare among works of philosophy: he accommodates a wide audience and yet deftly draws the reader into deep metaphysical waters, into a consideration of some of the most profound and perennial philosophical concerns. Throughout, the timeliness of his reflections on love, beauty, God, and the good remains in clear view. This is a highly recommended work by an author of capacious intellect and generous spirit."" --Lee M. Cole, Hillsdale College D. C. Schindler is Associate Professor of Metaphysics and Anthropology at The John Paul II Institute at The Catholic University of America. He is the author of The Perfection of Freedom: Schiller, Schelling, and Hegel between the Ancients and the Moderns (2013). (shrink)

The article presents a systematic and detailed account of scholarly developments on the problem of studying the process of nation-building and the role of history, memory, language and culture in reflecting this process. The research reveals that according to the premordialist approach, nations are not formed instantaneously, by the relevant political will or by coincidence of circumstances; the process of creating and consolidating a nation is a long and meaningful one, full of historical events and national cultural tokens. The primordialist (...) concepts are considered unanimous in their recognition of the exceptional significance of psychological factors in the creation of a nation. The creation of a nation involves a sophisticated set of linguistic, religious, ethnic, territorial and myth-household factors that determine the formation of a corresponding type of sociality. The framework of the analytics of the phenomenon of a nation includes not only psychological, but also social, cultural, political, ethical, moral and axiological aspects. The new system-building concepts such as solidarity, habitus, plebiscite were added to the discussion of nation. In view of that, it is impossible to carry out the reduction of the phenomenon of a nation to a particular problem field and to localize it to invariant indicators. The formation and optimization of the capitalistic type of social system generates new factors in the interpretation and consolidation of a nation. The reasons for a political defeat in the development of a nation can be referedr to either conscious manipulative techniques, or spontaneous miscalculations. Elaborating the alternative versions of history is nothing but unjustified politicization, implementation of imperial and colonial ambitions, overcoming which is a necessary prerequisite for successful nation-building. The establishment and offsetting of such manipulative influence facilitate the stabilization of the social situation and the resolution of conflicts, and, consequently, contribute to national development. The key point is to establish a nation within the framework of the international and state policy, especially by distinguishing the consolidating and disintegrating influences of state and international politicies on nation-building. The policy of uniting the nation can become effective when the important reforms do not deepen the fragmentation of the nation, but rather neutralize it. (shrink)

Context: A tension exists between the needs and desires of the institutions providing the funding for academics to attend conferences and the potential for transforming the knowledge and understanding of conference participants - than in advancing their own careers and celebrity. Approaches to the problem can recognize the importance of funding and career-building in the current society, while still experimenting in ways that could generate new ideas. Method: Ideas from second-order cybernetics are used to derive design principles that might (...) alleviate the tension and encourage deep conversations, idea generation and experimentation. The author draws on experiences with designing, organizing and participating in cybernetics conferences over a period of 34 years. Results: An academic conference designed to a set of broad, second-order cybernetic principles, where participants are informed of the design intent before they decide to attend, can open an opportunity for learning, understanding and the creation of new ideas in ways that would not otherwise be available. Although there are no guarantees, such designs can attenuate the tension, often experienced at traditionally designed conferences, between advancing individual careers/celebrity and building new knowledge together. Implications: The design principles derived, already exhibited in some conferences, could be useful to organizers wishing to foster incompatible and opposing ideas and facilitate dialogue among conference participants. These same principles have implications for the design of other social systems and point to the possibility of a new and more humane society. Constructivist content: A feature of second-order cybernetics is that knowledge is continually changing as our desires change, and we must take responsibility for the consequences of the ideas we construct and use to satisfy our desires. Key Words: Design by constraint, dynamics of interaction, asynchronicity, tyranny of the clock, times of truth, moments of art. (shrink)

Causality in Macroeconomics examines causality while taking macroeconomics seriously. A pragmatic and realistic philosophy is joined to a macroeconomic foundation that refines Herbert Simon's well-known work on causal order to make a case for a structural approach to causality. The structural approach is used to understand modern rational expectations models, regime switching models, Granger causality, vector autoregressions, the Lucas critique, and concept exogeneity. Techniques of causal inference based on patterns of stability and instability in the face of identified (...) regime changes are developed and illustrated in two empirical case studies. (shrink)

In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to (...) tailor such a translation to work with specific cases of extended modal logics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“Out of the Order of Number”: Benjamin and Irigaray Toward a Politics of Pure MeansPeter Fenves* (bio)At the heart of the legal orders that arose in conjunction with the Enlightenment idea of law as rules of conduct universally applicable to all those who belong to a properly instituted political body lies a formula for the justification of the violence on which the law depends in order for (...) it to be an actual, effective, and therefore “living” law—and not merely an idea: violence is justified insofar as it is a means for the control of those violent acts that are not themselves means for the control of immediate threats of violence. As Walter Benjamin indicates in the opening paragraphs of his most explicit exposition of legal and political theory, “Toward the Critique of Violence” (1921), the justification of violence as a means is the point of contention around which arguments over the origin, nature, and purpose of the modern state endlessly circle. Justified violence is supposed to be of a different order than unjustified violence, and so in the context of legal reasoning it is no longer called “violence” but “coercion” or “punishment.” Yet as the formula for the justification of violence indicates, the violence of the legal order is not in general sanctioned for the purpose of subduing immediate threats to one’s own life—this is the justification for the extralegal violence of “private persons”—but for the purpose of preserving the law itself: the law is inviolable. As long as the legal order makes the law effective and thus gives it life, it, too, is inviolable, and all violence other than its own can henceforth be interpreted as an immediate threat not to life itself—however this may be understood—but to the legal order. The end of legally sanctioned violence, its purpose and function, is not to put an end to violence as such but, instead, to thwart all threats to the law in the name of which violence can be sanctioned. Everything that enters into the space over which the legal order imposes its sentence is therefore implicated in the disquieting—or, as Benjamin says, “rotten” [GS 2: 188; SW 242]—ambiguity of legal violence understood as a means whose justification lies in the application of the law: the legal order can justify its own violence only insofar as this violence is a means to an end, but the end it serves can never be separated from itself as means, for the law, by virtue of its universality, is at bottom unconcerned with the life of those upon whom the violence it justifies is exercised or with the life of those whom this violence is supposed to protect. The violence of the legal order is concerned solely with itself, with its own majesty—without, however, ceasing to present itself as a means and reverting to what all legal violence once was: immediate manifestation.Nothing that enters into the space of the legal order can escape the ambiguity of the violence through which the law comes to life. Or at least nothing can escape this ambiguity as long as the space on which the legal order founds itself runs counter to the sole space that accords with the strict universality of the law: a universally accessible, indivisible, and undivided space that is nevertheless capable of the greatest degree of discreteness, differentiation, and individuation. In place of this space the legal orders that arose in Europe over the course of the last five centuries set out something like its parody: [End Page 43] homogeneous and yet fully divided domains whose divisions from one another are momenta of the extralegal violence to which each legal order owes its origin. At least one species of being has always been seen to move outside the space of the legal order—a species whose specificity, speciesness, and spatiality have thus given rise to interminable analysis: the angels. The space that angels traverse—and, in particular, the ones who enter into Luce Irigaray’s writings—does not suffer division into homogeneous domains but does not therefore amount to an undifferentiated expanse, a yawning abyss, or a formless chaos; it is... (shrink)

We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in [9], where the authors gave such a characterization forκ-saturation, for a cardinal$\kappa \ge \aleph _0 $. Our result extends the characterization of Harnik and Ressayre [7] for a divisible ordered abelian group to be recursively saturated.

Artificial intelligence is nowadays a reality. Setting rules on the potential outcomes of intelligent machines, so that no surprise can be expected by humans from the behavior of those machines, is becoming a priority for policy makers. In its recent Communication “Artificial Intelligence for Europe”, for instance, the European Commission identifies the distinguishing trait of an intelligent machine in the presence of “_a certain degree of autonomy_” in decision making, in the light of the context. The crucial issue to be (...) addressed is, therefore, whether it is possible to identify a set of rules for data use by intelligent machines so that the decision-making autonomy of machines can allow for humans’ traditional informational self-determination, as enshrined in many existing legal frameworks and can actually turn out to be further beneficial to individuals. Governing the autonomy of machines can be a very ambitious goal for humans since machines are geared first to the principles of formal logic and then—possibly—to ethical or legal principles. This introduces an unprecedented degree of complexity in how a norm should be engineered, which requires, in turn, an in-depth reflection in order to prevent conflicts between the legal and ethical principles underlying humans’ civil coexistence and the rules of formal logic upon which the functioning of machines is based. (shrink)

This paper is an attempt to provide a critical evaluation of the theory of disability put forward by Lennart Nordenfelt. The paper is in five sections. The first sets out the main elements of Nordenfelt's theory. The second section elaborates the theory further, identifies a tension in the theory, and three kinds of problems for it. The tension derives from Nordenfelt's attempt to respect two important but conflicting constraints on a theory of health. The problems derive from characterisation of the (...) goals of persons; the difficulty which Nordenfelt has in respecting the plausible view that there is a distinction between illness and disability; and the presence in the theory of other strongly counter-intuitive implications. In section three a defence of Nordenfelt is attempted from within the resources available within his own theory. This defence seeks to exploit his distinctions between a person who is ill and one who is generally disabled and that between first- and second-order disabilities. However, it is concluded that there are insufficient resources within Nordenfelt's theory to fend off the criticisms developed in section two. The fourth section of the paper attempts a defence of Nordenfelt. It is claimed that introduction of the concept of capacity helps to explain differences between problem cases in the theory. Finally, it is shown that at least two important constraints on any theory of disability emerge from the preceding discussion. (shrink)

In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to (...) tailor such a translation to work with specific cases of extended modal logics. (shrink)

• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it (...) to calibrate some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Plato on Knowledge as a Power1Nicholas D. SmithAt 471C4 in Plato’s Republic, the argument takes a sudden turn when Glaucon becomes impatient with all of the specific prescriptions Socrates has been making, and asks to return to the issue Socrates had earlier set aside—whether or not the city he was describing could ever be brought into being. In response to Glaucon’s impatient question, Socrates articulates his “third wave of (...) paradox” (472ag–7), namely, that the ills of the cities will never be ended until either philosophers become rulers or rulers become philosophers (473c11–d6). Glaucon immediately responds that such a view is likely to be greeted with violence and scorn (473e6–474a4), and so Socrates must hasten to explain his odd claim. His explanation, it turns out, is that true philosophers have an enormous cognitive advantage over non-philosophers—philosophers have and use knowledge (ἐπιστήμη), whereas non-philosophers have and use only opinion (δόξα).2 This distinction, between επιστήμη and δόξα, turns out: to be a distinction between two different cognitive powers (δυνάμεις—477d7–e3). And different powers, Plato clearly tells us, apply to or take as their objects (Plato says they are “ἐπί”) different things (477dl).In this paper, I shall argue that the relationship between the cognitive powers and their various objects has been fundamentally misunderstood, which has led scholars into one or more misinterpretations of important and explicit features of the text. At the heart of these misunderstandings, I claim, is [End Page 145] their shared misconception of the relation between the cognitive power and its objects as interpretable in terms of the relationship between a cognitive stale and what the content of that state is of or about.3 One consequence of the view for which I shall argue is that what has come to be known as the “two-worlds theory”4 of Plato’s epistemology is seriously mistaken, but no less mistaken than the alternatives given by its recent critics. Another consequence that I shall draw from my argument is that Plato should be understood neither as a kind of foundationalist with regard to knowledge and warrant, as some have supposed him to be,5 nor as a coherentist, as others have supposed,6 but, rather, as a kind of causal reliabilist. [End Page 146]1. KNOWLEDGE AS A POWERScholarly interpretations of Plato’s epistemology have routinely sought to understand the relationships between each cognitive power of Republic Book V and the objects of the ἐφ’ ᾦ (“what it is related to”) condition by which it is differentiated from other δυνάμεις as Plato’s way of telling us what each sort of cognition is of or aboul. 7 So, for example, we find Gail Fine using the expressions “belief [δόξα] is set over [Fine’s translation of Plato’s ἐπί] …” and “knowledge is set over …” interchangeably with “belief is of …” or “belief is about…” and “knowledge is of …” or “knowledge is about …”8 Against the “two-worlds theory,” Fine argues that, for Plato, there can be knowledge of sensibles and beliefs about Forms. Accordingly, since she assimilates the power-ἐπί-object set of relations to the cognilion-of/about-object relation, she concludes—in order to account for knowledge of sensibles and beliefs about Forms—that the objects of knowledge and opinion must be propositions. Plato’s claims that knowledge is ἐπί what is, whereas opinion is ἐπί what is and is not, Fine understands as, “One can only know true propositions; one can believe both true and false propositions.”9 We shall see later that this “veridical” understanding of what Plato means to identify as “what is,” and “what is and is not” fails to account for important and explicit elements of Plato’s exposition of the epistemological and metaphysical distinctions he is making. For now, it is enough to note that Fine understands the ἐφ’ᾦ) relation in terms of our cognition-of/about-object relation. One finds the same assimilation made by those who advance existential readings of Plato’s “is” and “is not,”10 as [End Page 147] well as those who have urged that we adopt predicative readings of “is” and “is not.”11But I think there are very serious problems with this assimilation. Plato is very... (shrink)

We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: (...) -CA0 (second-order number theory with a -comprehension axiom scheme) is insufficient. We briefly consider his claim to have produced a solution to the semantic paradoxes by introducing this conditional. We remark that the notion of a operator can be introduced in other settings. (shrink)

We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...) of GLP Λ. (shrink)

This book is designed for an introductory course in logic on the freshman-sophomore level. The approach to logic through set theory is justified by the fundamental importance of set theory in mathematics, and by the fact that most students entering college are acquainted with set theory. The author begins by explaining the basic notions and laws of set theory, and shows how the four standard types of propositions are translated into the notation of set theory. Propositional logic is introduced and (...) related to set theory by interpreting truth-tables in terms of sets and subsets. A simplified first order functional calculus is developed without quantifiers by using an unconventional notation resembling that of set theory as closely as possible. The nature and techniques of deductive proof are treated at length. Beyond these formal topics there are interesting discussions of the application of logical laws in ordinary language arguments, in probability theory, and in circuit theory. The material is organized in units suitable for fifty minute classes with excellent exercises at the end of each unit. Answers are provided to half the questions in the exercises to allow the student to test himself. The book ends with a brief note on scientific discovery and axiomatics.--T. D. Z. (shrink)

We simultaneously generalize Silver’s perfect set theorem for co-analytic equivalence relations and Harrington-Marker-Shelah’s Dilworth-style perfect set theorem for Borel quasi-orders, establish the analogous theorem at the next definable cardinal, and give further generalizations under weaker definability conditions.

Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of large subsets’ of a given index set |$I$|⁠, in the sense that it is difficult to think of a weaker, but still plausible, definition of the concept. The notion of weak ultrafilter naturally emerges and has been used in epistemic logic and (...) other knowledge representation (KR) applications. We provide a comprehensive exposition of weak filters and ultrafilters, comparing them with their classical counterparts that have found very important applications in logic, set theory and topology. Weak (ultra)filters capture the ‘majorities’ of social choice theory (which coincide with the commonsense understanding of a ‘large subset’) and in that respect, they outperform classical (ultra)filters in their role as ‘collections of large subsets’. Yet, they lack some of the elegant properties of classical (ultra)filters that make them an almost perfect match for logical theories. We investigate the extent to which some important classical results carry through in this new setting, and we focus on genuinely weak filters and genuinely weak ultrafilters. For weak ultrafilters, we proceed to provide concrete examples, answer questions of existence and characterize their construction. The class of weak (ultra)filters represents a genuine contribution of KR to set theory that might be of some interest to set theorists too and we initiate this study by providing a glimpse on natural set-theoretic questions. (shrink)

Rationale, aims and objectives To compare the pharmacotherapeutic approaches to diabetic hypertension of family physicians (FPs) and general practitioners (GPs). Methods A retrospective prescription-based study was conducted in 15 out of a total of 20 health centres, involving 115 primary care physicians – 77 FPs and 38 GPs, representing 74% of the primary care physicians of Bahrain. Prescriptions were collected during May and June 2000 to comprise a study population of 1266 diabetic-hypertensive patients. Results As monotherapy, angiotensin-converting enzyme (ACE) inhibitors (...) (37.9%) and β-blockers (38.3%) were the most commonly prescribed classes of antihypertensives by FPs and GPs, respectively. Calcium channel blockers (CCBs) were ranked third by both categories of physicians. For two-drug combinations, a β-blocker and an ACE inhibitor was the combination of choice for both physician categories. Patients managed by the FPs were more likely to receive a β-blocker–CCB combination (17.4 vs. 14.9%) or a diuretic–ACE inhibitor combination (16.7 vs. 11.4%) and less likely to receive a β-blocker–diuretic combination (11.8 vs. 16.7%) than those managed by the GPs. The proportion of patients receiving antihypertensive combinations was 40.6 and 38.5% for FPs and GPs, respectively. While the GPs prescribed CCB as a monotherapy to the elderly most often, the FPs choice was a β-blocker. Diuretics were less preferred by both FPs and GPs. β-Blocker–ACE inhibitor was again the most preferred combination of both FPs and GPs. FPs prescribed CCB–β-blocker combinations more often than GPs (P = 0.01), whereas CCB–ACE inhibitor combinations were less preferred (P = 0.09). A trend towards excessive use of short-acting nifedipine as monotherapy for elderly patients, both by FPs and by GPs, was noticed. Glibenclamide, alone or in combination with metformin, was the foremost antidiabetic drug prescribed by FPs and GPs. Middle-aged (45–64 years) patients seen by GPs were more likely to receive glibenclamide than those treated by FPs (P = 0.001) and less likely to receive gliclazide (P = 0.01). Combinations of a β-blocker with either glibenclamide or insulin were prescribed considerably more often by GPs.Conclusions Within the same practice setting, a substantial difference was observed between FPs and GPs in terms of preference for different classes of drugs in the management of diabetic hypertension. The compliance of both FPs and GPs was suboptimal; overall, the compliance of the FPs was closer to the recommended guidelines, however. Educational programmes should specifically address these inadequacies in order to improve the quality of health care. (shrink)

In 1952, Heinrich Scholz published a question in The Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser in turn asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining (...) to the spectrum problem. Our presentation follows conceptual developments rather than the chronological order. Originally a number theoretic problem, it has been approached by means of recursion theory, resource bounded complexity theory, classification by complexity of the defining sentences, and finally by means of structural graph theory. Although Scholz' question was answered in various ways, Asser's question remains open. (shrink)

Let κ be a cardinal, and let H κ be the class of sets of hereditary cardinality less than κ ; let τ (κ) > κ be the height of the smallest transitive admissible set containing every element of {κ}∪H κ . We show that a ZFC-definable notion of long unfoldability, a generalisation of weak compactness, implies in the core model K, that the mouse order restricted to H κ is as long as τ. (It is known that some (...) weak large cardinal property is necessary for the latter to hold.) In other terms we delimit its strength as follows: Theorem Con(ZFC+ω2-Π 1 1-Determinacy) ⇒ ⇒Con(ZFC+V=K+∃ a long unfoldable cardinal ⇒ ⇒Con(ZFC+∀X(X # exists) + ‘‘ $\forall D \subseteq \omega_1 D$ is universally Baire ⇔ ∃r∈R(D∈L(r)))’’, and this is set-generically absolute). We isolate a notion of ω-closed cardinal which is weaker than an ω1-Erd\ os cardinal, and show that this bounds the first long unfoldable: Theorem Let κ be ω -closed. Then there is a long unfoldable ł<κ. (shrink)

The set of equations which use only one variable and hold in all representable relation algebras cannot be derived from any finite set of equations true in all representable relation algebras. Similar results hold for cylindric algebras and for logic with finitely many variables. The main tools are a construction of nonrepresentable one-generated relation algebras, a method for obtaining cylindric algebras from relation algebras, and the use of relation algebras in defining algebraic semantics for first-order logic.

In Zwicker (1987) the hypergame paradox is introduced and studied. In this paper we continue this investigation, comparing the hypergame argument with the diagonal one, in order to find a proof schema. In particular, in Theorems 9 and 10 we discuss the complexity of the set of founded elements in a recursively enumerable relation on the set N of natural numbers, in the framework of reduction between relations. We also find an application in the theory of diagonalizable algebras and (...) construct an undecidable formula. (shrink)

The essential biological processes that sustain life are catalyzed by protein nano-engines, which maintain living systems in far-from-equilibrium ordered states. To investigate energetic processes in proteins, we have analyzed the system of generalized Davydov equations that govern the quantum dynamics of multiple amide I exciton quanta propagating along the hydrogen-bonded peptide groups in α-helices. Computational simulations have confirmed the generation of moving Davydov solitons by applied pulses of amide I energy for protein α-helices of varying length. The stability and (...) mobility of these solitons depended on the uniformity of dipole-dipole coupling between amide I oscillators, and the isotropy of the exciton-phonon interaction. Davydov solitons were also able to quantum tunnel through massive barriers, or to quantum interfere at collision sites. The results presented here support a nontrivial role of quantum effects in biological systems that lies beyond the mechanistic support of covalent bonds as binding agents of macromolecular structures. Quantum tunneling and interference of Davydov solitons provide catalytically active macromolecular protein complexes with a physical mechanism allowing highly efficient transport, delivery, and utilization of free energy, besides the evolutionary mandate of biological order that supports the existence of such genuine quantum phenomena, and may indeed demarcate the quantum boundaries of life. (shrink)

In this article we give a general categorical construction via reflection functors for various completions of T0-spaces subordinate to sobrification, with a particular emphasis on what we call the -completion, a type of directed completion introduced by Wyler [O. Wyler, Dedekind complete posets and Scott topologies, in: B. Banaschewski, R.-E. Hoffmann , Continuous Lattices Proceedings, Bremen 1979, in: Lecture Notes in Mathematics, vol. 871, Springer Verlag, 1981, pp. 384–389]. A key result is that all completions of a certain type are (...) universal, hence unique . We give a direct definition of the -completion and develop its theory by introducing a variant of the Scott topology, which we call the d-topology. For partially ordered sets the -completion turns out to be a natural dcpo-completion that generalizes the rounded ideal completion. In the latter part of the paper we consider settings in which the -completion agrees with the sobrification respectively the closed ideal completion. (shrink)