The paper is devoted to an approach to analytic tableaux for propositional logic, but can be successfully extended to other logics. The distinguishing features of the presented approach are:(i) a precise set-theoretical description of tableau method; (ii) a notion of tableau consequence relation is defined without help of a notion of tableau, in our universe of discourse the basic notion is a branch;(iii) we define a tableau as a finite set of some chosen branches which is enough to check; (...) hence, in our approach a tableau is only a way of choosing a minimal set of closed branches;(iv) a choice of tableau can be arbitrary, it means that if one tableau starting with some set of premisses is closed in the defined sense, then every branch in the power set of the set of formulas, that starts with the same set, is closed. (shrink)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames (...) are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

permits a sound and rigorously definable notion of ‘originating cause’ or causa causans—a type of transition event—of an outcome event. Mackie has famously suggested that causes form a family of ‘inus’ conditions, where an inus condition is ‘an insufficient but non-redundant part of an unnecessary but sufficient condition’. In this essay the needed concepts of BST theory are developed in detail, and it is then proved that the causae causantes of a given outcome event have exactly the structure of a (...) set of Mackie inus conditions. The proof requires the assumption that there is no EPR-like ‘funny business’. This seems enough to constitute a theory of ‘causation’ in at least one of its many senses. Introduction The cement of the universe Preliminaries 3.1 First definitions and postulates 3.2 Ontology: propositions 3.3 Ontology: initial events 3.4 Ontology: outcome events 3.5 Ontology: transition events 3.6 Propositional language applied to events Causae causantes 4.1 Causae causantes are basic primary transition events 4.2 Causae causantes of an outcome chain 4.3 No funny business Causae causantes and inns and inus conditions 5.1 Inns conditions of outcome chains: not quite 5.2 Inns conditions of outcome chains 5.3 Inns conditions of scattered outcome events 5.4 Inus conditions for disjunctive outcome events 5.5 Inns and inus conditions of transition events Counterfactual conditionals Appendix: Tense and modal connectives in BST. (shrink)

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

The COVID-19 crisis has highlighted the considerable challenge of sourcing expertise and determining which experts to trust. Dissonant information fostered controversy in public discourse and encouraged an appeal to a wide range of social indicators of trustworthiness in order to decide whom to trust. We analyze public discourse on expertise by examining how social indicators inform the reputation of Dr. Didier Raoult, the French microbiologist who rose to international prominence as an early advocate for using hydroxychloroquine to treat COVID-19. To (...) comprehend how these indicators came to inform his reputation, we outline Dr. Raoult's rise to fame based on discourse about hydroxychloroquine. We then discuss why we trust in experts like scientist-practitioners. This is followed by an examination of how social indicators of trust like status, epistemic authority, influence and values have informed Dr. Raoult's reputation. We conclude with recommendations for how to improve the selection and evaluation social indicators of trust and reputations. Our aim here, instead of making a claim about the efficacy of hydroxychloroquine or Dr. Raoult's reputation per se, is to outline through this case study how social indicators of trust inform reputation and the challenge they present to evaluating expertise. (shrink)

Publics trust experts for personal and pro-social reasons. Scientists are among the experts publics trust most, and so, epistemic trust is routinely afforded to them. The call for epistemic trust to be more socially situated in order to account for the impact of science on society and public welfare is at the forefront of enhanced epistemic trust. I argue that the value-free ideal for science challenges establishing enhanced epistemic trust by preventing the inclusion of non-epistemic values throughout the evaluation of (...) evidence and communication of these values. By selectively silencing non-epistemic values, the ideal cannot take into account publics’ social and moral responses to inductive risk, which are instrumental for defining and determining public welfare. Furthermore, by emphasising epistemic values almost exclusively in science education and communication, the value-free ideal is presented to publics in such a way that it becomes a social indicator of trust. I show this through examination of the importance of values in decisions to trust, and conclude that values (and restrictions on them) can be used by lay publics to help decide which experts to trust. (shrink)

Heyman's view that addiction can be viewed as a natural outcome predictable by melioration and the matching law is provocative. Remaining to be explained more fully, however, are exactly how his view is an improvement on other reinforcement-based accounts. Included in these elaborations should be an account of how different “bookkeeping schemes” are developed and controlled and what new approaches to treatment and prevention of drug addiction are indicated.

Those formulas which are valid in every Kripke model having constant domain whose base is the ordered set R of real numbers (or, the ordered set Q of rational numbers) are characterized syntactically.

Let κ be a singular cardinal. Karp's notion of a chain model of size κ is defined to be an ordinary model of size κ along with a decomposition of it into an increasing union of length cf. With a notion of satisfaction and -isomorphism such models give an infinitary logic largely mimicking first order logic. In this paper we associate to this logic a notion of a dynamic EF-game which gauges when two chain models are chain-isomorphic. To this game (...) is associated a tree which is a tree of size κ with no κ-branches -branches). The measure of how non-isomorphic the models are is reflected by a certain order on these trees, called reduction. We study the collection of trees of size κ with no κ-branches under this notion and prove that when cf = ω this collection is rather regular; in particular it has universality number exactly κ+. Such trees are then used to develop a descriptive set theory of the space cf κ. The main result of the paper gives in the case of κ strong limit singular an exact connection between the descriptive set-theoretic complexity of the chain isomorphism orbit of a model, the reduction order on the trees and winning strategies in the corresponding dynamic EF games. In particular we obtain a neat analog of the notion of Scott watershed from the Scott analysis of countable models. (shrink)

I served as a medical student and resident in the 1960s. Science as a belief system had reached a pinnacle. Yet Not infrequently in those days, I found myself caring, with little available backup, for a hospital ward filled with sick and dying people. It was a lonely and often frightening responsibility. I began to encounter situations that were at odds with our collective certainty that science would provide the answers. Some of these memories I repressed for almost a decade. (...) I was unable to process them until I had personally experienced a more humanistic side of medicine. (shrink)

Expert knowledge regularly informs personal and civic-decision making. To decide which experts to trust, lay publics —including policymakers and experts from other domains—use different epistemic and non-epistemic cues. Epistemic cues such as honesty, like when experts are forthcoming about conflicts of interest, are a popular way of understanding how people evaluate and decide which experts to trust. However, many other epistemic cues, like the evidence supporting information from experts, are inaccessible to lay publics. Therefore, lay publics simultaneously use second-order social (...) cues in their environment to inform decisions to trust. These second-order social cues, or ‘social indicators of trust’, prevent lay publics from having to trust blindly. Social indicators of trust therefore inform lay publics’ epistemic vigilance, or constant low level-monitoring of testimony from experts. This special issue examines the nature, acquisition and application of social indicators of trust for scientific experts and institutions. It also raises questions about the types of trust asked of lay publics and challenges traditional normative assumptions about the relationship between science and lay publics through study of attitudes, values, and experiences. The issue descriptively re-examines the structure of institutions, their role and methods for ferrying information, as well as how social indicators operate in times of crisis. In this collection of works, we bridge history, science, philosophy of science, science and technology studies, science communication and social epistemology, to broaden the discourse on trust in experts and more accurately reflect the imperfect yet indispensable endeavour that trusting is. (shrink)

The infinite-valued logic of ukasiewicz was originally defined by means of an infinite-valued matrix. ukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) if (...) and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result. (shrink)

The recent proposal by the Independent Expert Panel of the Stop Ecocide initiative to include the crime of ecocide in the International Criminal Court's Rome Statute has raised expectations for preventing and remedying severe environmental harm through international prosecution. As alluring as this image is, we argue that ecocide prosecutions may be the most difficult, perhaps even impossible, in precisely the cases that the ICC would need to be concerned with; namely, the gravest global incidents of environmental harm, including those (...) associated with planetary climate change. We explore a series of questions about the panel's formulation of ecocide that resonate with longer debates around criminalizing environmental harm but take on new dimensions amid the Anthropocene and after twenty years of ICC trials. Ecocide must contend with the hard lessons learned concerning the ICC's limitations in realizing justice in a fraught international political context and also with fundamental challenges to knowledge and legitimacy arising from the uncertainty and dynamic socioenvironmental context of the Anthropocene. The proposed amendment, if adopted, risks ineffective prosecutions or even perverse outcomes for the environment itself. This risk, however, may characterize any effort to prosecute ecocide internationally in the Anthropocene unless the terms of international criminal law are fundamentally rethought. (shrink)

Concepts serve critical functions in science, through their descriptive powers and as the building-blocks of theory. When concepts are immature, therefore, science suffers. Consequently, concept development ought to be considered a fundamental scientific activity. Knowledge of different approaches to concept development, however, is relatively limited in the management discipline. The purpose of this article, therefore, is to provide a primer on concept development. It begins by establishing the link between concepts and science. It then describes and discusses the main approaches (...) to concept development. Finally, it provides an example of concept development from the marketing sub-discipline. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Buddhist-Christian Studies 21.1 (2001) 133-134 [Access article in PDF] Book Review Buddhism in Taiwan: Religion and the State, 1660-1990 Buddhism in Taiwan: Religion and the State, 1660-1990. By Charles B.Jones. Honolulu: University of Hawaii Press, 1999. 233 pp. Charles Jones spent over three years living in Taiwan pursuing the research for this book and for journal articles about religion on the island. He is currently on the faculty of (...) the Department of Religion at the Catholic University of America. Jones primarily focuses on the history of Chinese Buddhism as an organized religion in Taiwan from the mid-1600s to the late 1980s. This is a much needed study as most literature on Chinese Buddhism is based on Mainland Chinese Buddhism. Only in the last decade has there been a shift to focus on Taiwan Buddhism as a separate entity rather than seeing it only as an extension of Mainland Chinese Buddhism.The book is nicely organized into three major historical eras. Part 1 is titled "The Ming and Qing Dynasty (1660-1895)." This section, only one chapter, mainly focuses on the arrival and early development of Buddhism in Taiwan. Part 2 is titled "The Japanese Colonial Period (1895-1945)." This section, two chapters, of course focuses on the advent of Japanese Buddhism on the island along with its impact on Taiwan's Buddhism. Part 3 is titled "From Retrocession to the Modern Period (1945-1990)." This is the largest section of the book, with four chapters. I found this section to be more detailed and interesting than the previous two sections. I will spend the remainder of this book review commenting on this last section.In part 3 of his book, Jones begins with a chapter on the retrocession (the period at the end of World War II when Japan was forced out of Taiwan) and the arrival of the Mainland Buddhist monks to Taiwan. This chapter shows the emergence of an organized Buddhism that started to develop under the oversight of the Buddhist Association of the Republic of China (BAROC), which had begun previous to World War II in Mainland China but relocated to Taiwan with the national government in 1949. Also of interest in this chapter is the discussion of the power struggles within Buddhism between a traditionalist faction led byYuanying, and a reformist faction led by Taixu. In the end, the struggle was resolved in favor of the traditionalists; this has led to Taiwan Buddhism tending to incline toward conservatism.Chapter five focuses entirely on the Buddhist Association of the Republic of China (BAROC). It is neatly organized into two major sections, "The early period, 1949-1960," and "The middle period, 1960-1986." In the early period section, Jones does a good job explaining the BAROC's organization, mission, and activities. Included as well is a small but fascinating discussion on "The vitality of the nun's order after 1952," in which Jones tries to answer the question of why nuns have increasingly come to predominate numerically over monks, a situation that exists only in Taiwan and Hong Kong.The second half of the chapter, "The middle period, 1960-1986," focuses on the leadership of the BAROC under Baisheng. From 1960, when Baisheng became president of BAROC, until his death in 1986, Baisheng remained a controlling presence in BAROC affairs, despite the fact that he did not hold the presidency continuously [End Page 133] during this period. Also in this section, Jones highlights the internationalism ofTaiwan Buddhism under the leadership of Baisheng, which was seen in the ordinations of foreign monks and in the involvement of BAROC in international Buddhism organizations. This chapter also covers the continual struggle to regain possession of Japanese-era temples.Chapter five ends with a section called "Criticisms of the BAROC." The largest criticism leveled against the BAROC was that it failed to become the unifying force for Taiwan Buddhism that it might have been, a problem related to its elitist attitude at the national level, where only a very small closed group of people had the actual decision... (shrink)

Nevin & Grace's approach is an interesting and useful attempt to find ways to measure “core” effects of a history of exposure to reinforcement. The momentum analogy makes intuitive sense, and the evidence for its utility is increasing. Several questions remain, however, about how the analogy will fare in the case of concurrent rather than sequential activities, about the use of extinction as a method to test resistance to change, and about the generality of some of the effects.

We study game formulas the truth of which is determined by a semantical game of uncountable length. The main theme is the study of principles stating reflection of these formulas in various admissible sets. This investigation leads to two weak forms of strict-II11 reflection . We show that admissible sets such as H and Lω2 which fail to have strict-II11 reflection, may or may not, depending on set-theoretic hypotheses satisfy one or both of these weaker forms.

Throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following, I defend a semantic-representational conception of theories, where theories are identified with sets of scientific re-presentations by virtue of their epistemic potential and independently of their format. To show the potential of this proposal, I analyze as a case study the use of phase diagrams in statistical mechanics to convey in a semantically consistent and syntactically (...) correct way theoretical principles such as Liouville’s theorem. I conclude by defending this philosophical position as a tool to show the enormous representational richness underlying scientific practices. (shrink)

Ever since Jonestown, part of the “cult” stereotype has been that NRMs are volatile groups, ready to commit group suicide at the drop of a hat. The assumption that the Branch Davidian community was a potential Jonestown may or may not have contributed to the initial ill-advised ATF raid. But, following the fiery holocaust set in motion by the FBI raid 51 days later, defenders of these agencies’ actions uniformly portrayed the Davidians as having been a “suicide group.” The present (...) article presents an overview of the Davidian community, focusing particular attention on evidence that the group was not inclined to suicide. Rather, the Davidians were victims of law enforcement malfeasance. (shrink)

We give an axiomatic characterization for complete elementary extensions, that is, elementary extensions of the first-order structure consisting of all finitary relations and functions on the underlying set. Such axiom systems have been studied using various types of primitive notions . Our system uses the notion of partial functions as primitive. Properties of nonstandard extensions are derived from five axioms in a rather algebraic way, without the use of metamathematical notions such as formulas or satisfaction. For example, when applied (...) to the real number system, it provides a complete framework for developing nonstandard analysis based on hyperreals without having to construct them and without any use of logic. This has possible pedagogical and expository applications as presented in, e.g., [5], [6]. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

While the Value-Free Ideal (VFI) had many precursors, it became a solidified bulwark of normative claims about scientific reasoning and practice in the mid-twentieth century. Since then, it has played a central role in the philosophy of science, first as a basic presupposition of how science should work, then as a target for critique, and now as a target for replacement. In this paper, we will argue that a narrow focus on the VFI is misguided, because the VFI coalesced in (...) the midst of other important shifts in the relationship between science and society. In particular, the mid-twentieth century saw the acceptance of the “social contract for science,” a tacit agreement between scientists and government officials, and more broadly between science and society. It was built around three core concepts: a distinction between basic and applied science, a conception of scientific freedom that limited social responsibility for scientists, and a justification for public funding of basic science in the form of the linear model. Within the conceptual framework of the social contract for science, it is clearer both (1) why the VFI was adopted, (2) why it is difficult to replace the VFI within the old social contract, and (3) how we need to revise the social contract for science in order to replace the VFI. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Feminist Studies 46, no. 2. © 2020 by Dana Sonnenschein 495 Dana Sonnenschein A History of Lace Textile Research Centre, Leiden, NL Lace is the creation of a series of holes to form a design. Categorized as looping, interlacing, circular in definition and sometimes in the making. In Europe, in the late Middle Ages, women began filling in cutwork or drawn threads with nets of stars and flowers in (...) colored silks and silver-gilt. Needle lace is like embroidery in the air. * Later, bobbin lace. Mathematical, precise. Each bobbin a wooden handle like a flower bulb sending up a stalk ending in a spool instead of petals. Lace was brought to Zurich from Italy in about 1536. The whole history of lace-making is women. Men sold it and made the profit. * 496 Dana Sonnenschein Afloat on a round, midnight-blue velvet pillow, a half-finished lace collar, one side a ring of flowers radiating thread to a couple dozen bobbins around the rim, the other side dots and dashes on sky-blue paper— An old lace-maker has died, and her family has given her things to the research center. * Has anyone here made lace before? Once, Eefe says, her forearms crossing back and forth like a girl slowly twirling jump-ropes for Double Dutch. She smiles at the memory, shakes her head, afraid to touch the wooden handles now. Lace is the history of women, a series of holes that make a design. * Leaning in, I remember my grandmother’s eyes blurred behind glasses and wonder how this old woman did such fine work. Perhaps someone else set the pins, and she read them with her fingertips, whispering the Dutch words for anemone, meadow-flax, tulips, humming a bobbin tell, a song to remind her what to do with her hands, another kind of dance in another kind of Netherland. Dana Sonnenschein 497 Or perhaps she stopped making lace when memory grew clearer than sight but kept this cushion as a place she could still touch her past though the blooms lie flat and pale. * Irish lace is three-dimensional— a corner garden of cornflowers displayed near rows of fine Belgian trim arched like church windows— so many hours, panes, blooms, tendrils, we are speechless and so is the teacher. She calls Marika out of the office— You make lace, explain. * She shows us her tiny circlet of blue Torchon. I touch two loose threads, ask if that’s where she began. And finished, she says; It is hard to make the connection. Lace is the history of women. You always have a pattern, Marika says. Honiton lace is strict, every pin mapped out. With Belgian, you can be more free, fill in a shape with fantasy—I like this kind. You can move from this bloom to that leaf or fern spiral next with a little bridge called a bride. 498 Dana Sonnenschein She points to a zigzag. Fan here. We stare at the mark, mystified. You are always working with only four; it’s very logical, she says. Eefe adds, The threads and bobbins will show you the way. What’s missing is the knowledge of when to pass over or under when you want a rose or lily. Marika’s grandmother taught her lace thirty years ago. She’s learning again now. It’s nice to do. But you need a teacher. It’s a complicated subject. She makes a few passes with pairs of bobbins then undoes her work, looks up, smiles. She doesn’t know how to say what she means in English and might not say more in Dutch. Even when it’s on the table in front of us, lace is what’s missing, the art of making something of absences, of what is felt more than known, the history of women. There is no grandmother among us. Note The italicized passages in the first two sections and the query about whether anyone has made lace are drawn from my notes on Dr. Gillian Vogelsang-Eastwood ’s lecture during the Intensive Textile Course, September 19–23, 2016. Dana Sonnenschein 499 The Great Chain of Being is one loop pulled through another in... (shrink)

In [Ono 1987] H. Ono put the question about axiomatizing the intermediate predicate logicLFin characterized by the class of all finite Kripke frames. It was established in [ Skvortsov 1988] thatLFin is not recursively axiomatizable. One can easily show that for any finite posetM, the predicate logic characterized byM is recursively axiomatizable, and its axiomatization can be constructed effectively fromM. Namely, the set of formulas belonging to this logic is recursively enumerable, since it is embeddable in the two-sorted classical (...) predicate calculusCPC 2. Thus the logicLFin is II 2 0 -arithmetical.Here we give a more explicit II 2 0 -description ofLFin: it is presented as the intersection of a denumerable sequence of finitely axiomatizable Kripke-complete logics. Namely, we give an axiomatization of the logicLB n P m + characterized by the class of all posets of the finite height m and the finite branching n. A finite axiomatization of the predicate logicLP m + characterized by the class of all posets of the height m is known from [Yokota 1989]. We prove thatLB n P m + =,B n being the propositional axiom of the branching n. (shrink)

Glover's planning–control model accommodates a substantial number of findings from subjects who have motor deficits as a consequence of brain lesions. A number of consistently observed and robust findings are not, however, explained by Glover's theory; additionally, the claim that the IPL supports planning whereas the SPL supports control is not consistently supported in the literature.

Recent attempts to revive counterinsurgency strategies for use in Afghanistan and Iraq have been marked by a determination to learn lessons from history. Using the case of the campaign against the Mau Mau insurgency in Kenya of 1952—60, this article considers the reasons for this engagement with the past and the issues that have emerged as a consequence. The article disputes the lessons from British colonial history that have been learned by military planners, most obviously the characterization of nonmilitary forms (...) of British counterinsurgency as nonviolent. Although it contests some of these supposed precedents for successful counterinsurgency in British military history, the article also identifies more generalizable elements of the Kenyan case. Particular emphasis is given to the effects on the nature of counterinsurgency, a reliance on locally recruited allies, and the decentralization of command. (shrink)

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are (...) realized. In order to prove this theorem we obtain, as by-products, some results on tableaux and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

The great chain of being is an ontological conception in which all beings, from inanimate things to God, are ranked on a scale according to their perfectness. This hierarchical scheme, though widely known in the history of ideas, was systematically addressed by Arthur Lovejoy in 1936. The great chain of being as formulated by Lovejoy is composed of three main principles, whose roots can be found in Plato and Aristotle’s philosophies. These principles are “the principle of plenitude”, “the principle of (...) gradation” and “the principle of continuity.” The first principle, the principle of plenitude, was pointed out in Plato’s philosophy and the latter two, the principle of gradation and the principle of continuity, were addressed in Aristotle’s philosophy. According to Lovejoy, these three principles were systematically addressed in Plotinus’s philosophy and became an essential part of Neo-Platonic cosmology. Platon explains the abundance of beings with reference to the absolute goodness of the God in his famous book Timaios. Accordingly, God has absolute goodness and this attribution has given rise to an abundance of beings as goodness requires the existence of things. The other two principles, the principle of gradation and the principle of continuity, were forwarded by Aristotle and through his works affected Western thought. While the principle of gradation refers to the ranking of beings in a chain based on the criteria of their perfection, the principle of continuity is the natural consequence of that ranking in that all beings share at least a minimum level of similarity. Plotinus synthesized and systematized those three principles as an expression of ranked beings specific to emanation theory and added three hypostasis -One, Nous, and Soul- in addition to the natural world addressed in Aristotle’s works. Therefore, we see that beings were ranked from inanimate things to God in Plotinus’s works. This concept of hierarchical order of beings, the great chain of being, affected many cultures and philosophical ideas from Classical Islamic philosophy to the Western tradition. In this article, we confine our subject to only Western thought, including Medieval Christian theology and philosophy, the Renaissance period, and the Age of Enlightenment as well as a peculiar implication and interpretation of the great chain of being specific to modern times. In every period we will deal with just one thinker and their ideas to demonstrate the effect of the great chain of being on those thinkers’ philosophies and systems. In this context, we examined how Thomas Aquinas used the great chain of being to justify some theological and philosophical matters and tried to show how he utilized the principle of continuity effectively to explain the relationship between matter and soul. Marcilio Ficino, a Neo-Platonist philosopher of the Renaissance period, also used the great chain of being to explain the hierarchical order of beings and their ontological relationship to the perfect being, which is God, placing them in a rising line according to their closeness to God. On the other hand, when we come to the Age of Enlightenment we see that the great chain of being continues to be apparent in some philosophical works. One example is John Locke’s famous book An Essay Concerning Human Understanding. Here Locke tries to make sense of the existence of many species of spirits with reference to the great chain of being, especially by using the principle of continuity. This attempt of justification shows us that the great chain of being, as an old philosophical and ontological concept, was still used even in the Enlightenment. Finally, it would be beneficial to address how the chain of being in question was presented and understood in modern times. Unlike the justification of some philosophical or theological subjects, in modern times the hierarchical structure of the great chain of being has been anachronistically read into the theory of evolution with reference to some medieval Muslim philosophers’ works. This approach, however, springs from the figural similarities between the great chain of being and the theory of evolution, although the contents of both theories are completely different. It would be accepted easily that similarities in figure do not necessitate similarities in content. In short, the great chain of being has been very effectively used in the history of philosophy to justify different subjects in different areas such as philosophy and theology. In this article, we address the usages of the chain in question and trace its effects specific to the Western tradition from the ancient period to modern times. (shrink)

The ‘bat and ball’ is one of the problems most frequently employed as a testbed for research on the dual-system hypothesis of reasoning. Frederick (J Econ Perspect 19:25–42, 2005) is the first to envisage the possibility that different numerical arrangements of the ‘bat and ball’ problem could lead to different dynamics of activation of the dual-system, and so to different performances of subjects in task accomplishment. This possibility has triggered a strand of research oriented to accomplish ‘sensitivity analyses’ of the (...) ‘bat and ball’ problem. The scope of this paper is to test experimentally the specific hypothesis that numerals are responsible for the selective activation of the two systems of reasoning in this task. In particular, we argue that their role goes beyond and cannot be reduced to that of numbers conceived as magnitudes. To test our hypothesis, we devise an experimental setting in which the role of numbers (as magnitudes) is rendered irrelevant. We find experimental results consistent with our hypothesis. We further provide a link between the literature on mathematical problem-solving and that on mathematical cognition research, in particular that branch labeled embodied mathematical cognition. (shrink)

ʻAlī b. Abī Tālib (d. 40/661), who took over the caliphate duty in a troubled environment after the murder of ʻUthmān b. ʻAffān (d. 35/656), first faced with the demands that the murderers of his murdered predecessor be punished. Although Hazrat ʻAlī himself was of the same opinion, he wanted to ensure public order in the city first. However, the Companions of the Prophet (aṣ-ṣaḥābah) like Zubayr b. al-ʻAwwām (d. 36/656) and Ṭalḥa b. ʿUbaydallāh (d. 36/656), who were not convinced (...) about this issue, started an opposition movement under the leadership of ʻĀ’isha bt. Abī Bakr (d. 58/678), who went to Mecca. The attempts of this movement, which got out of control with the participation of Umayyads and ʻAbdallāh b. Saba’ supporters of different intentions, ended with The Battle of the Camel. Before the war took place, Hazrat ʻĀ’isha heard the barking of dogs when the army led by ʻĀ’isha came to Hawaab on the road to Basra. For this reason, she asked where they were. When she heard that this region was Hawaab, she wanted to go back. Because the Hazrat Prophet had said the following before: "Which of you the Haw's dogs will bark for." The following statement is used in the ḥadīth sources in several different variants, generally without specifying a name: "Thereupon, the people with her wanted her to continue her journey, hoping that the Muslims would recover.” At this point, there is a difference between ḥadīth sources and Islamic historical sources. Islamic historical sources state that the people who wanted her to continue her journey were Ṭalḥa b. ʿUbaydallāh, Zubayr b. al-ʻAwwām and ʻAbdallāh b. al-Zubayr (d. 73/692). The following statements are included in another narration reported from Ibn ʻAbbās (d. 68/688) regarding the issue: The Prophet said to his wives: “I wish I knew! Which of you owns the beautiful hairy camel!” She will set out and then Hawaab dogs will bark at her, many people will be killed, right and left. Then she will survive when she is almost dead. A fifth piece of news mentioned within this framework was narrated by Abū Rāfiʻ (d. 40/660). According to this rumor, the Prophet of Allah said to Hazrat ʻAlī: "Something will happen between you and ʻĀ’isha." Hazrat ʻAlī said: "O Prophet of God! Me?" Allah's Prophet said: "Yes." Hazrat ʻAlī said: "Is it me among my friends?" Allah's Prophet said: "Yes." Hazrat ʻAlī said: "Well, did I trouble them?" The Prophet of Allah said: "No," and then added: "If such a thing happens, take her to a safe place." The sixth narration on the subject is a statement made by Ḥudhayfa b. al-Yamān (d. 36/656). Accordingly, Ḥudhayfa said: "Would you believe me if I told you that one of your mothers will set out with a group of Muslims and will fight you?" Those who were there said: "Will this really happen?" Ḥudhayfa said: "Yes". The last narration mentioned in this context is the news of Abū Bakra (d. 52/671). According to this narration: "Abū Bakra said: Immediately after joining the people of Camel in order to fight with them in the days of Camel, Allah helped me with a word I heard from the Prophet. When the news that the Persians appointed the daughter of Kisrā as the ruler reached the Prophet, the Prophet said: ‘The people who entrust their works to women will not find peace’. " In such a situation, it becomes important to analyze the narrations. Because analyzing the reliability of the narrators and the contents of the narrations will help to understand the subject in a healthy way. Although ḥadīth scholars make some different statements about the reliability of the people who narrated the narrations, the view that gains weight is that they are reliable. Likewise, no problem was detected in the contents of the narrations. Some problems draw attention when Islamic historical sources are considered. For, these historians were not as sensitive as ḥadīth scholars regarding the evaluation of the narrations. At this point, two problems draw attention: The transponder understanding adopted in the early stages of historiography. The effort to protect some valued people. Early historians generally adopted the transponder understanding while writing their works. For this reason, some misinformation that was not analyzed began to be passed down from generation to generation. At this point, the science of history should benefit from the methods of ḥadīth and its sound narrations. In addition, the effort to protect a valuable person like Hazrat ʻĀ’isha has brought the understanding of holding the Companions like Ṭalḥa b. ʿUbaydallāh and Zubayr b. al-ʻAwwām responsible for a behavior that is thought to be wrong. However, it should not be ignored that people can make mistakes. Loving Hazrat ʻĀ’isha does not require defending her wrong decision. In addition, this has brought the accusation of other Companions of behavior unbecoming to them. (shrink)

We present here an approach to the fine structure of L based solely on elementary model theoretic ideas, and illustrate its use in a proof of Global Square in L. We thereby avoid the Lévy hierarchy of formulas and the subtleties of master codes and projecta, introduced by Jensen [3] in the original form of the theory. Our theory could appropriately be called ”Hyperfine Structure Theory”, as we make use of a hierarchy of structures and hull operations which refines (...) the traditional Lα -or Jα-sequences with their Σn-hull operations.§1. Introduction. In 1938, K. Gödel defined the model L of set theory to show the relative consistency of Cantor's Continuum Hypothesis. L is defined as a unionof initial segments which satisfy: L0 = ∅, Lλ = ∪α<λLα for limit ordinals λ, and, crucially, Lα + 1 = the collection of 1st order definable subsets of Lα. Since every transitive model of set theory must be closed under 1st order definability, L turns out to be the smallest inner model of set theory. Thus it occupies the central place in the set theoretic spectrum of models.The proof of the continuum hypothesis in L is based on the very uniform hierarchical definition of the L-hierarchy. The Condensation Lemma states that if π : M → Lα is an elementary embedding, M transitive, then some ; the lemma can be proved by induction on α. If a real, i.e., a subset of ω, is definable over some Lα,then by a Löwenheim-Skolem argument it is definable over some countable M as above, and hence over some, < ω1. This allows one to list the reals in L in length ω1 and therefore proves the Continuum Hypothesis in L. (shrink)

Working in and around the ‘chain of command’: power relations among nursing staff in an urban nursing homeBy most accounts, the discipline of nursing enjoys considerable hegemony in US nursing homes. Not surprisingly, the ethos of this setting is influenced, in large part, by nursing’s value system. This ethos powerfully impacts both the residents who live in nursing homes and the staff who work there. Using ethnographic methods, this project explored power relations among nursing assistants and nurses in an urban (...) nursing home in the United States. Factors contributing to tensions among nursing staff were the stigma attached to nursing homes and those who work in them, as well as the long history of class conflict and power struggles within the discipline of nursing. The latter struggles, in turn, reflected nursing’s quest for professional status in the face of medicine’s hegemony over health‐care. Ultimately, these factors coalesced to produce a local work environment characterized by conflict — and by aides’ resistance to nurses’ domination. (shrink)

Quantum mechanics predicts non-local correlations in spatially extended entangled quantum systems, and these correlations are empirically very well confirmed. This raises philosophical questions of how nature could be that way, prompting the study of purported completions of quantum mechanics by hidden variables. Bell-type theorems connect assumptions about hidden variables with empirical predictions for the outcome of quantum correlation experiments. From among these assumptions, the Setting Independence assumption has received the least formal attention. Its violation is, however, central in the recent (...) discussion about super-deterministic models for quantum correlation experiments. In this paper, we focus on the non-local modal correlations in the GHZ experiment. We model the introduction of hidden variables in the form of instruction sets via structure extensions in the framework of Branching Space-Times. This framework allows us to show in formal detail how the introduction of non-contextual instruction sets results in a specific violation of Setting Independence; a similar result is derived for contextual instruction sets. Our discussion provides additional reasons for foregoing the introduction of local hidden variables, and for accepting non-local quantum correlations as a resource provided by nature. (shrink)

Connected devices, such as smartphones and tablets, are exposed to a large variety of attacks. Their protection is often challenged by their resource constraints in terms of CPU, memory and energy. Security chains, composed of security functions such as firewalls, intrusion detection systems and data leakage prevention mechanisms, offer new perspectives to protect these devices using software-defined networking and network function virtualization. However, the complexity and dynamics of these chains require new automation techniques to orchestrate them. This chapter (...) describes an automated orchestration methodology for security chains in order to secure connected devices and their applications. This methodology exploits process learning to establish behavioral models and infer security constraints represented as logical predicates. It then generates and merges a set of chains of security functions on the basis of these predicates. These chains are finally compiled into low-level configuration rules and deployed into the network, optimizing for the underlying topology. The benefits and limits of such a methodology combining machine learning and verification techniques are evaluated by a set of experimental results. (shrink)

This paper serves to introduce the papers from the symposium by the same title, by describing the sort of work done in philosophy of psychology conceived as a branch of the philosophy of science, distinguishing it from other discussions of psychology in philosophy, and criticizing the claims to set limits on scientific psychology in the largely psychologically uninformed literatures concerning "folk psychology' and "wide" and "narrow" content. Philosophy of psychology as philosophy of science takes seriously and analyzes the explanatory structures, (...) conceptual problems, and evidentiary practices of extant scientific psychology. (shrink)

Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...) previous nonmonotone rule systems papers ), this applies equally to truth maintenance systems and default logics. (shrink)

Branching quantifiers were first introduced by L. Henkin in his 1959 paper ‘Some Remarks on Infmitely Long Formulas’. By ‘branching quantifiers’ Henkin meant a new, non-linearly structured quantiiier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form} The branching (or partially-ordered) quantifier-prefix is, however, not essentially infinitistic, and the issues it raises have largely been discussed in the literature in the context of finitistic logic, as they will be here. Our discussion transcends, (...) however, the resources of standard lst-order languages and we will consider the new form in the context of 1st-order logic with 1- and 2-place ‘Mostowskian` generalized quantifiers.2.. (shrink)

This article address the issue of employee safety and the social responsibility of multinational apparel retailers who contract with Bangladesh manufacturers in their global supply chain. Both the Alliance for Bangladesh Worker Safety and the Accord on Fire and Building Safety in Bangladesh have been identified as the two primary facilitators for global apparel industry efforts to actively address this serious human rights issue; thus, they have the potential to help drive the success of the industry's corporate citizenship efforts to (...) successfully manage the issue of fire and building safety in Bangladesh. The article further explores these relationships within the context of the “global corporate citizenship” concept, and develops a rationale for the limits of a socially responsible supply chain. In the context of global corporate citizenship, the article describes the existing state of these two industry organizations remediation efforts to ensure a stable supply chain in Bangladesh, and offers an analysis of existing industry nonmarket strategy approaches to improving contractor's factory fire and building safety environments for their employees. Lastly, a comprehensive set of nonmarket strategies for multinational apparel retailers is recommended when addressing their global corporate citizenship commitments to a safe working environment for Bangladesh garment manufacturing employees. (shrink)

Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness (...) theorem and Barwise compactness. (shrink)

We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of (...) completeness for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system. (shrink)

Consider the idea of God in classical philosophical theology. God is a personal being perfect in every way: absolutely independent of everything, such that nothing exists apart from God's willing it to be so; unlimited in power and knowledge; perfectly blissful, lacking in nothing needed or desired; morally perfect. If such a being were to create, on what basis would He choose? Let us assume (as perfect being theologians generally do) that there is an objective, degreed property of intrinsic goodness, (...) such that every possible object is intrinsically good to some degree. We need not assume that this property is 'well ordered' in the sense that every object is comparable to every other, only that it is 'partially ordered' in the sense that every object belongs to one or another well ordered set of objects and has less goodness than God Himself. We thus replace the image of a linear 'great chain of being' with that of a branching structure whose branches reconnect only at their limit, which is God. And let us further suppose that whole systems of objects and their total histories -- possible worlds -- are likewise partially ordered by their intrinsic goodness. Now, if one or more of these creative options on each of the branches are of maximal overall value, is it inevitable that He would choose one of those? It seems passing strange that God would opt for less than the best when creating the best involves no cost at all. Yet supposing the choice of the best is inevitable for a perfect Creator seems at odds with the common assumption that God is perfectly free in choosing what He will. Perhaps, though, there is no set of one or more best creative choices. For every option, there is a better, with no finite upper bound on the ranked series. Here, matters are more puzzling. It appears that no matter which option God might choose, He must do so in the knowledge that there are options of arbitrarily greater value. It seems an odd constraint for a perfect being to have to live with.. (shrink)

A prevailing focus of global value chain (GVC) analysis has been on the dominance of highly consolidated Northern retailers over suppliers in the global South. The rise of regional and domestic value chains (RVCs/DVCs) within the Global South which intersect with GVCs, has been found to involve private governance by Southern lead firms. However, we have limited insight into the implications of this changing value chain context for the role of public governance, or different groups of workers. South African (...) fruit provides a rich example of rapid shifts in RVCs/DVCs governed by different private and public actors. The following two questions are addressed: How is the public–private governance of labour standards evolving in the context of RVCs and DVCs that intersect with GVCs? What are the implications for workers operating across different value chains? Conceptually, the paper draws on GVC analysis of governance and power, to examine the governance of labour standards across intersecting value chains. Our analysis highlights the intentional and unintentional mechanisms through which power and standard-setting are diffused away from Northern lead firms to a wider array of public and private actors operating across RVCs/DVCs. While existing analysis of governance and power focuses on singular GVCs, our study highlights diffusion of power across intersecting value chains, with significant and uneven implications for the public–private governance of labour standards. Our findings carry significant ethical implications for the governance of labour standards, as end-markets continue to shift South. (shrink)

The goal of this paper is to generalize a notion of characteristic (or Jankov) formula by using finite partial Heyting algebras instead of the finite subdirectly irreducible algebras: with every finite partial Heyting algebra we associate a characteristic formula, and we study the properties of these formulas. We prove that any intermediate logic can be axiomatized by such formulas. We further discuss the correlations between characteristic formulas of finite partial algebras and canonical formulas. Then with every (...) well-connected Heyting algebra we associate a set of characteristic formulas that correspond to each finite relative subalgebra of this algebra. Finally, we demonstrate that in many respects these sets enjoy the same properties as regular characteristic formulas. In the last section we outline an approach how to generalize these obtained results to the broad classes of algebras. (shrink)

Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such objects (...) and enable us to reason about them precisely. At the most basic level, syntactic objects can be viewed as strings of symbols. For concreteness, we can identify symbols with particular set-theoretic objects, but for most purposes, it doesn't matter what they are; all that is needed is that they are distinct from one another. (shrink)

Life distinguishes itself from non-life in taking advantage of the cohesion of temporal origin which non-life cannot afford. The temporal cohesion letting the local participants adhere to each other in a contemporaneous manner refers to an instance of the precedent product being pulled into the subsequent production. Setting the precedent is equivalent to preparing the conditions for the subsequent to follow. A concrete implementation of the cohesion of temporal origin, compared with the spatial cohesion common in physics, is found in (...) the natural construction of a reaction cycle with use of the temporal affinity exerted from the immediate local environment. That construction is a temporally local phenomenon in the experiential domain, rather than in the theoretical. The cohesion originating in the local environment is due to the local act of measurement by the environment. A major component of the local environment to each reactant in the reaction cycle is the cycle itself. The cohesion specific to the reaction cycle rests upon the fact that every reaction product from the upstream production in the cycle comes to be fed upon by the immediate downstream production. Every production constituting the reaction cycle is temporally adjacent to and contemporaneous with the similar others residing in the whole cycle, in sharp contrast to the case of the open-ended linear chain of reaction. One externalist scheme of appreciating the internalist enterprise of constructing a durable reaction cycle in a contemporaneous manner may become possible as referring to the Bayesian probability. The durable reaction cycle may be made actual with probability unity under the condition that the products from the preceding production come with the protocol for the similar production to come subsequently. (shrink)

continent. 2.1 (2012): 22–28. Jeroen Mettes burst onto the Dutch poetry scene twice. First, in 2005, when he became a strong presence on the nascent Dutch poetry blogosphere overnight as he embarked on his critical project Dichtersalfabet (Poet’s Alphabet). And again in 2011, when to great critical acclaim (and some bafflement) his complete writings were published – almost five years after his far too early death. 2005 was the year in which Dutch poetry blogging exploded. That year saw the foundation (...) of the influential, polemical, and populistically inclined weblog De Contrabas (The Double Bass), which became a strong force for internet poetry in Dutch in the years to follow. In the summer of that year, a lively debate raged in the aftermath of Bas Belleman’s article “ Doet poëzie er nu eindelijk toe ?” (“Does poetry finally matter now?”), on a blog specifically devoted to this question. Up to that point, the poetical debate in the Netherlands had largely been confined to literary reviews (which were often subsidized), having become mostly marginalized in more mainstream media, where poetry could be covered by only a small number of so-called authorities. As a result, literary debate had acquired a rather placid quality. Though a variety of camps with different aesthetics could be discerned, most poetical positions shared a general acceptance of poetry as a form of art somewhat apart from fundamental political concerns. Late modernists would pursue subtlety and density of reference. Others would insist poetry was best understood as a form of entertainment that should ideally be accessible and work well on the stage. Still others would insist that poetry is mostly a play with forms. Linguistically disruptive strategies were valued highly by some, but mostly for their aesthetic effect. Values of disinterested playfulness reigned supreme everywhere. Any idea that poetry could be a field in which one confronts politics and the world was decidedly marginal. This led to a climate in which most attempts at polemics were DOA, often based on far too superficial positioning and analysis. The greatest polemical debates were revolving around the question of whether poetry should be difficult or easy, with both camps defining their ideas of difficulty and accessibility in ways that were so utterly shallow as to make the entire point moot. Debates were performed, rather than engaged with. It was a postmodern hell of underarticulated poetics. Half-consciously, people were yearning for new forms of criticism that could put the oomph back into poetry. Weblogs provided for ways to explore debate directly outside of the clotted older channels of the reviews and the newspapers. Belleman’s essay and the resulting online activity had shown that there was a widespread eagerness to take poetry more seriously as a social art form. It was in this environment that Mettes started his remarkable project Dichtersalfabet . At that moment, Mettes was active mostly in academic circles, having become noted at Leiden University as a particularly gifted student of literary theory. Within the Netherlands, the field of literary theory has a very odd relationship to literature as it is practiced in the country. Academic theory tends to have a mostly international view and engage with international debates of cultural criticism, literary theory, and philosophy, with academics often publishing in English and attending conferences around the world. Literature itself however is much more concerned with domestic traditions. Consequently, in the Netherlands, there exists a language gap between academic theoretical practice (as it is studied in the literary theory departments) and literary practice (which, academically, gets studied in specialized departments of Dutch literature). The Dichtersalfabet can be seen as Mettes’s attempt to close this gap. It is also an attempt to bridge the divide between theory and practice, in which he could apply his theoretical knowledge in a very unorthodox and unacademic critical mode that moreover could reach far beyond the domain of conventional criticism. Mettes’s goal was to trace a diagonal through Dutch poetic culture, to “strangle” what he perceived to be its dominant oppressive traditions of agreeable irrelevance, in order to see whatever might be able to survive his critical assaults. But he could only do so by means of a very serious engagement with poetry itself. To this end, he would go systematically through the poetry bookshelf of the Verwijs bookshop (part of a mainstream chain of booksellers) in The Hague, buying one publication per blog item, starting from A and working his way through the alphabet, reading whatever he might encounter that way in the restaurant of the HEMA store (another big commercial chain in the country). He would subsequently write down his reading experiences, refraining however from trying to write a nuanced book review. Rather, he would write about anything that caught his attention and sparked his critical interest. This way of working would yield vast, at times somewhat rambling, dense, lively, and generally brilliant essays, in which he held no punches. He never hesitated to pull out his entire arsenal of concepts from the international theory traditions, while never degenerating into mere academic exercise and pointless intertextualities. The attempt was rather to live the poetry that he read, and to engage it with the full range of political, academic, cultural, and personal references that he had at his disposal—all that composed the individual named Jeroen Mettes as a reader. Often what he wrote would not be according to the standards of what we usually think of as a critical review of a book of poetry. Sometimes he would even be a little sloppy in his judgments of poets or representations of the books he read, for example by basing an entire essay on the blurb of a book rather than its poetry content. But what he did was always brilliant writing nonetheless—virtuoso riffs on poetic fragments randomly found within capitalist society, exposing an incisive and insistent poetical sensibility. Mettes read poetry for political reasons, to see whether poetry could offer him a way to deal with a political world he detested. The right-wing horrors of the Bush years, the Iraq war, and the turn of Dutch public opinion towards ever more conservative, narrow-minded, and xenophobic views alongside a complete failure of the political left to present any credible alternative, were weighing heavily on the times in which Mettes reported on his reading. Poetry was to measure this world, diagram it, to lay bare its inconsistencies and faults, to indicate where lines of flight might be found. Amid the ruins of a world wrecked by imperialist policies, corporate capitalism, and doctrinal neoliberalism it would have to show the possibility of a new community. And it was, through its rhythmical workings, to release the reading subject from his confinement to ideologically conditioned individuality and lead him into the immanent paradise of reading. The stakes were high. Much higher than anything Dutch poetry had seen for many years. Mettes’s blog was widely read from the start. His posts sparked lively debates. Some of these subsequently led to the publication of extensive essays on a few key poets in some literary journals, particularly Parmentier and the Flemish journal yang , for which Mettes would become a member of the editorial board, a few months after starting the Dichtersalfabet . This could have been the start of a brilliant career, but this was not to be. The initial manic energy that fueled the blog gradually subsided. The Alfabet was updated less and less regularly. Mettes sometimes just disappeared for many weeks, then suddenly returning with a brilliant essay. Until, on September 21, 2006, he posted his final blogpost, consisting of no text whatsoever. That night I learned from his mentor at Leiden University that he had committed suicide. Mettes and I had had some fruitful exchanges on poetry, rhythm, music, and form, mostly on the blogs, but also by email. Three weeks before his death was the last time I heard from him: a very sudden, uncharacteristically curt note saying “My old new sentence epic.” Attached to that message I found a DOC-file of a work so major that I felt intimidated. This was N30 , a text he had been working on for over five years. After his death, it took me a long time before I dared to read it in its entirety. In the meantime, the work of preparing the manuscript for publication was entrusted by his relatives to his colleagues at yang magazine. It took them a few years to brush up the text and to edit the Dichtersalfabet -blog (which, apart from the Alphabet project itself, incorporated many other fragments of political, polemical, and theoretical writing) into book form along with the essays. The result of this labor was finally published in 2011 as a two-book set, and Mettes burst onto the Dutch poetry scene for the second time. The work was widely reviewed, on blogs, in journals, magazines, and newspapers. Many critics who had not followed the blogs in 2005 showed themselves surprised, baffled even, by the intensity of Mettes’s critical writing. But for those who had read the blog, the main surprise was in the poetry. During Mettes’s lifetime, some of his poems had already been published in Parmentier . Although these were strong texts by themselves, in no way did they prepare readers for N30 . Nothing like it had been written in Dutch before. Instead, N30 explicitly follows the American tradition of Language Writing, directly referencing Ron Silliman and his concept of The New Sentence. However, it would seem that much of the poetical thinking around his use of this technique puts him closer to a writer such as Bruce Andrews. For Mettes, using non sequiturs as a unit of poetic construction was not only a way of reinventing formal textual construction, but it was another way of finding the fault lines in the social fabric. From the perspective of the Language tradition, one may put N30 somewhere between Silliman and Andrews. N30 shares an autobiographical element with Silliman’s New Sentence projects, and as in Andrews, there is a concern for mapping out social totality within text—what Mettes refers to as a “textual world civil war.” Again this shows a formal textual strategy for allowing the person “Jeroen Mettes” to be absorbed by the world, which here appears as a whirlwind of demotic and demonic chatter, full of violence, humor, intensity, beauty, disgust, sex, commerce, and strife. Influenced as it may by American precursors, Mettes’s tone and form end up quite different from his American counterparts, consistently referencing a world that is Dutch, all too Dutch, taking on the oppressive orderliness of Dutch society with its endemic penchant for consensus by introducing chaos into its daily life and laying bare its implicit aggressions. The work’s 31 chapters each have a different feel and rhythmical outline, but none of them follow a predetermined pattern. Rather, Mettes would consistently edit and reedit the text, randomly rewriting parts of it, as he explains in his poetical creed Politieke Poëzie (Political Poetry). N30 – referring to the 1999 antiglobalist protest in Seattle – was to be the first text of a trilogy. The work itself was written “in the mode of the present.” A second text was to be written in the mode of the future, and a third one, in the mode of the past, was going to be an epic poem about the Paris Commune, and to form an alternative poetic constitution for the European project. I still deeply regret that Jeroen Mettes never got to complete those projects, just as I would be very keen on knowing what he might have had to say about more recent political developments. Instead, in 2006, he remained stuck in the horrors of the present, that ended up consuming him completely. He left Dutch literature with some of its most piercing criticism and its most profoundly moving, exciting and powerful poetry. Excerpts from N30 Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "N30." In N30+ . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. Chapter 1 1999. A day is a space too. And another man, who had chained himself, had his ribs crushed, and a motor has driven over somebody’s legs. Dutch health care system spends ±145 million guilders per year on worriers. A spiderweb vibrates as I pass by. Randstad renovating. She slaps her bag against her ass: “Hurry up!” OPINION IS TRUE FRIENDSHIP Your skin. It doesn’t express anything. “But the use of the sword, that’s what I learned, and you’ll need nothing more for the moment.” Just try to interrogate a guy like that. Gullit in Sierra Leone. Codes silently lying all around. But that’s simply what belongs to “that it’s just allowed”: that sigh of “world” (a word expressing that the trees are now standing along the water like black men with white bags in their hair); that’s nothing else right? And you see how everything has to move, and first of all what cannot do so. Without Elysium and without savings, barbarians lashing out, horny for an enemy, staring across the water, staring into the air—staring to get out of it. “You’ve never showed me more than the mall,” she said. All those “dreams” in the end—and now? It was lying on the stairway, so I picked it up and took it upstairs. Chapter 3 “You know what?” Telecommunication. For love… I don’t really like that cheap cultural pessimism, but… The holy city is on pilgrimage in the earthly bodies of the faithful until the time of the heavenly kingdom has come. The end of an exhausting autumn day behind the computer, my eyes filled with tears of fatigue. KITCHEN / INSTALLATION / SPECIALIST. Network integration. In the sun, stretched out on a sheet. (…) I don’t believe what I’m reading, because I want to believe something else. An illusion? Suits me. There’s a variety of shapes and tastes… “So what?” you may think. 102 dalmatians can’t be wrong. But I want more, dear… A feel good movie. I’m smashing the burned body. So what? We continue to save the European civilization. What’s there to win? Plato with poets = Stalin without gulag? Ball against the crossbar. No wonder. She comes straight to her point. She’s standing in the kitchen eating an apple. (…) The godless Napoleon had used her as a stable and wanted to have her taken down. “Our” Rutger Hauer. Ready or not here I come. Psst… are you also wearing a string? Nobody understands our desire. Cliffs breaking the waves and shattering the sunset. I used to be a real romantic (as a poet). A typical fantasy used to be the one in which I brutally raped mother and daughter Seaver from the sitcom Growing Pains . Nevertheless you only contain bad words. Eyelashes. Automatic or manual? That your skin always in the afternoon. Integration. The air is empty. Too bad! Hand in hand on their lonely way. Alaska! Chapter 12 May 5, 2001 [10:00-10:30] A dust cloud on a hill. Globe. Indian (British) (tie) / pope. Damascus. Rape. We’re carrying the ayatollah’s portrait through the streets. At the moment the girl is mostly suede jacket with white ribbons on her sleeves. A small explosion flares up/impact. Camouflage. Close up. We’re analyzing the situation. He’s dead right? Dead dead. Dead. Everything without, these, and only with the body. Indices signal death. Dollar bills are printed in factories. Holes. Light patch. Globe in a box. Microphone. What’s the situation? Grey impact on a green hill (field?). The water is blue. He has no lips. Interns on the background with skirts that are too long. This is an example of a sonnet. An Islamic woman pushes against the door of an electronics shop. Arrows (percentages (prices)). Is this what awaits the American? Touch screen interface. The word, an island, can only be a sign in that situation. We pull up a chair, join in on the fun. On the shelves only books about computers. One glance in the distance is enough to lighten up a luna park in the distance. She’s really desperate, especially when she laughs. Click. Ah. Next. And now it’s raining, but that’s ok. Yellow stains sliding over the south. Shallow caves light: clothes, boots, electrical equipment. 45. 22:10. Nothing gives you the right to eat more than people starving to death. The Hague. Slam dunk. Traffic light. Two H’s, one L (standing for the L (little prick)). We’re happy to say something. Clouds, small suns, temperatures, cities. The truth is never an excuse. Yellow. Yellow. Green. Yellow. Yellow. Yellow. Yellow. Green. Green. Yellow. Will you email me? Skeleton: “No.” Ex-nerds in brand-new and brightly red sport cars. $$$. I love. Shihab. Hooves in the sand. Skinny senior with over-sized sunglasses; old jockey (cap, trophy) smiling in slow motion. And there I am again, flashback, crying with my head in between my hands. Sometimes I’ve got the feeling that cannibals. Eyes: blue. Cancer. Why would I wait until tomorrow? Golden beams protruding from the lifted/lit earth. May 5, 2001 [11:30-12:45] You’ll remember this for the rest of your life. Graphs, diagrams. Bu$ine$$. Blue shirt, white collar, no neck (porn star). A name lights up. I’m hysteric. Will you join us? Letters falling in their words. Fingers set up a tent and start to dance. Young entrepreneurs from poor neighborhoods (read: black) guided by Microsoft. Kinda makes me happy, that sort of kitsch. A sense of exhaustion/impotence to see anything but the present. (…) Wouldn’t you like to? Orange explosion in an industrial zone. YOU’RE DOING THIS FOR AMNESTY INTERNATIONAL. Would you. A familiar face. Clouds and blossom. Sunflowers. Supermodels. Mountainous area in a rectangle: shades of brown, from dark to beige, more green toward the south. Tents and next to them (it’s all a blur) people. Plane. Stadium. Geometrical block of people. No, I ain’t crying. I don’t speak no more. I just want. Quote + photo. (Positive:) screaming crowd. Three-piece suit, seen from the back, before entering the arena. On the back: “Daddy abused me.” Oh, bummer. State of emergency has been declared and everyone has to cooperate. She’s cut her wrists. What we do know (…) is that there’s never been a unique word, an imperative name, nor will there ever be. [Click here for work that suits you.] Barefooted children are watching it (coherent pieces revelation of what’s lying below). Who knows how she’s changed during those two years. “Everything used to be better” + sigh. And here we are. An empty field of parquet. A city lying behind it. Explosion. Blue. A rain drop falling in my coffee. May 5, 2001 [14:30-15:30] A young Arafat on video speaking with raised finger. “I’m calling from my convertible.” Names on walls, victims, numbers… Tourists. Yellow. Yellow. “Your own child! Really, what kind of human are you?” I don’t want to hear it no more. A woman jumping out of the water in a yellow bikini against a background of fireworks and the Cheops pyramid. Thy sorrow shall become good fortune, thy complaints laudation. All planets will float and wander. Wo die Welt zum Bild wird, kommt das System (…) zur Herrschaft. It is something, but is it? May 5, 2001 [18:30-19:00] Iris. Leaves. NASDAQ. Open / and white and. For the one who’s doing nothing, just waiting. (…) NO DEFEAT is made entirely up of defeat -- since / the world it opens is always a place / formerly / unsuspected. October 2002. “Jeroen, I’m leaving for the cemetery, byeeee.” The rise of the middle class. My entire oeuvre is an ode to the. My entire head is a fight against the. God always demands what you cannot sacrifice. You may take that the easy way, but… “The state hasn’t made us, but we make the state” (Hitler). A stork exits the elevator. Skeletons of. Moscow. Helsinki. Palermo. Paris. Chapter 30 Like your paradises: nothing. United Desire, as only remaining superpower. And even though the sea is now calmer and the wind is blowing pleasantly in my face… Heart! Who determines whether a tradition is “alive”? The yellow leaf or the white branch? Mars. This sentence is a typical example. Most Dutch people are happy. No consolation. When I see a girl sitting at a table with a book, a notepad, a pen, a bottle of mineral water, her hand writing in the light—then I consider that one thing. “Presents,” “poetry,” “classics.” We are what we cannot make from ourselves. “Left”: mendicant orders, missionaries. Saint-Just: “A republic is founded on the destruction of its enemies.” She crosses the street with a banana peel between her fingers. (…) We chose our own wardens, torturers, it was us who called all this insanity upon ourselves, we created this nightmare… But “no”? Girl (just like a beach ball) talking rapid Spanish (Portuguese?) in a mobile phone. Do I have a chance now that her boyfriend is getting bold? CLIO, horny bitch. What else do you want? An old woman, between the doors of the C1000, is suddenly unable to go on; her husband stretches out his hand, speaking a few encouraging words. Selection from. Der Führer schenkt den Jüden ein Stadt. How can it reach us if we haven’t been already reached somehow? It doesn’t “speak.” No problem. Each word she uses is a small miracle, as if she doesn’t belong to it, to language, but wanders around with a pocket light looking for the exit; she’s never desperate (maybe a little nervous), lighting up heavy words from the inside. But indeed, we’re free. But the predicate is not an attribute, but an event, and the subject is not a subject, but a shell. That’s why also samurai, knights, and warriors raised the blossom as emblem: they knew how to die. Locked up in a baby carriage with a McDonald’s balloon. Blue helicopter, the blue sky. Whether you want to refer? The point is. How / Motherfucker can I sing a sad song / When I remember Zion? You’ll feel so miserable and worthless that you think: “If only I were dead!,” or: “Just put an end to it!” “So you’re an economist?” Her card—two little birds building a nest, her handwriting shaking—is still on the mantelpiece. Guevara: “No, a communist.” A straw fire, such was our life: rapidly it flared up, rapidly it passed. I’m fleeing, coming from nowhere. (…) Eazy-E drinking coffee with the American president. If I’d scream, would that be an event? Drown it: the cleaner it will rise up from the depths. No! The night, so fast… As if there’s something opened up in that face. Come on, we may not curse life. He shows me his methadone: “If you drink that all at once, you’ll die instantly.” The last one dictates how we should behave to deserve happiness. One shine / above the earth. “I want to go to Bosnia,” I said bluntly. I don’t even know the name of the current mayor. Let’s despise our success! “There is no future; this is the future. Hope is a weakness that we've overcome. We have found happiness!” Sun. Sushi. Volvo. I feel like a bomb about to explode at any moment. Makes a difference for the reconstruction right? The decor moves forward. Daughter of Nereus, you nymphs of the sea, and you Thetis, you should have kept his tired head above the waves! Alas! This sentence has been written wearing a green cap. I receive my orders from the future. A frog jumps into it. Her husband has turned the Intifada, which he follows daily on CCN, into his hobby, “to forget that he doesn’t have his driver’s license yet." Suddenly the sun slides over the crosswalk. Her (his?) foot is playing with the slipper under the table. Is this how I’m writing this book now? I’m not a fellow man. I hate you and I want to hurt you. These are my people. Their screaming doesn’t rise above the constantly wailing sirens which we've learned to ignore. My whole body became warm and suddenly started to tremble. Unfortunate is he who is standing on the threshold of the most beautiful time, but awaits a better one. Arafat’s “removal” is contrary to American interests. Jeep drives into boy. What you can do alone, you should do alone. A food gift from the people of the United States of America. Two seagulls. [...]. (shrink)

Plural pronouns create the possibility of overlapping reference, which does not not fit naturally into the classical GB theory of anaphora, where each NP has a single integer as its referential index. Thus, one must either complicate the indexing system used in syntax or complicate the semantic interpretation of indices. This paper argues for the former approach based on the properties of a particular comitative-like construction found in Mohawk and certain other languages. This construction is analyzed as a type of (...) Left Dislocation where the dislocated NP forms a syntactic chain with a pronoun that it overlaps in reference with. Several unusual characteristics of such chains can be accounted for if plural pronouns have sets of integers as their indices—characteristics involving bound anaphora, ellipsis interpretation, and connectivity effects. Certain implications for the theory of chains are also discussed. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff there is (...) a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

Starting from a connected, partially ordered set of events, it is shown that results of the measurement of time are elements of a partially ordered and filtering field, as used in a previous paper. Moreover, some relations between physical formulas and properties of the field are proved. Finally, some open problems and suggestions are pointed out. For the convenience of the reader not acquainted with elementary algebraic methods, proofs are given in detail.

Insights from social science are increasingly used in the field of applied ethics. However, recent insights have shown that the empirical branch of business ethics lacks thorough theoretical grounding. This article discusses the use of the Rawlsian methods of wide reflective equilibrium and overlapping consensus in the field of applied ethics. Instead of focussing on one single comprehensive ethical doctrine to provide adequate guidance for resolving moral dilemmas, these Rawlsian methods seek to find a balance between considered judgments and intuitions (...) concerning particular cases on the one hand and general principles and theories on the other. In business ethics this approach is promissing because it enables decision-making in a pluralist context with different stakeholders who often endorse different or even conflicting cultural and moral frameworks without giving priority to any of them. Moreover, the method is well founded in political theory. A taxonomy of different kinds of applications is developed, and classified according to the purpose, the content, and the type of justification. On the basis of this taxonomy an inventory of 12 recent applications is made. In terms of the purpose and content of the method the applications are rather diverse. Two conceptual obstacles for applying Rawlsian methods are identified, viz. inclusiveness and the communitarian objection that people have to become detached from their personal life. It is found that methodological questions, such as the question how to retrieve the relevant empirical data, are scarcely addressed in the literature. To advance the use of empirical approaches in general, and that of Rawlsian approaches in particular, it is important not only to use empirical data but to use methodological insights from social sciences in order to further advance the field of empirical ethics. It is recommended that stakeholders be given a more active role in the assessment and justification of these methods. (shrink)