With the end of the Cold War, political and ideological competition has decreased as a stated reason for space exploration. The possibility of establishing a settlement on Mars is being seriously evaluated by state and commercial space agencies, which includes objectives to expand human civilization and ensure the continuity of the human species. The technological challenges associated with space settlement continue to receive significant attention, but the success of space settlement will also depend on other human factors. This study presents (...) a high-level overview of some potential issues that could arise with the development of a permanent populationand a space economyon Mars. This study highlights some of the anticipated problems of overnance, trade, production, and proliferation that will need pragmatic solutions to ensure the sustainability of a martian settlement. This paper is intended to instigate further discussion and research regarding human and economic factors that could enable or constrain future settlements on Mars. (shrink)

In a recent editorial, Raymond Spier expresses skepticism over claims that climate change is driven by human actions and that humanity should act to avoid climate change. This paper responds to this skepticism as part of a broader review of the science and ethics of climate change. While much remains uncertain about the climate, research indicates that observed temperature increases are human-driven. Although opinions vary regarding what should be done, prominent arguments against action are based on dubious factual and ethical (...) positions. Thus, the skepticisms in the recent editorial are unwarranted. This does not diminish the general merits of skeptical intellectual inquiry. (shrink)

Anthropogenic climate change poses some difficult ethical quandaries for non-anthropocentrists. While it is hard to deny that climate change is a substantial moral ill, many types of non-human organisms stand to benefit from climate change. Modelling studies provide evidence that net primary productivity (NPP) could be substantially boosted, both regionally and globally, as a result of warming from increased concentrations of greenhouse gases. The same holds for deployment of certain types of climate engineering, or large-scale, technological modifications of the global (...) environment in order to prevent or slow anthropogenic climate change. For example, solar radiation management with stratospheric aerosol injections could benefit plant life by promoting enhanced photosynthesis, increasing diffuse radiation, and reducing heat stress. This has a surprising implication: from some non-anthropocentric perspectives, certain scenarios of climate change and climate engineering might bring about morally better states of affairs when compared to emission-mitigation baselines. (shrink)

Concerns about the risks of unmitigated greenhouse gas emissions are growing. At the same time, confidence that international policy agreements will succeed in considerably lowering anthropogenic greenhouse gas emissions is declining. Perhaps as a result, various geoengineering solutions are gaining attention and credibility as a way to manage climate change. Serious consideration is currently being given to proposals to cool the planet through solar-radiation management. Here we analyze how the unique and nontrivial risks of geoengineering strategies pose fundamental questions at (...) the interface between science and ethics. To illustrate the importance of integrated ethical and scientific analysis, we define key open questions and outline a coupled scientific-ethical research agenda to analyze solar-radiation management geoengineering proposals. We identify nine key fields of coupled research including whether solar-radiation management can be tested, how quickly learning could occur, normative decisions embedded in how different climate trajectories are valued, and justice issues regarding distribution of the harms and benefits of geoengineering. To ensure that ethical analyses are coupled with scientific analyses of this form of geoengineering, we advocate that funding agencies recognize the essential nature of this coupled research by establishing an Ethical, Legal, and Social Implications program for solar-radiation management. (shrink)

As we look beyond our terrestrial boundary to a multi-planetary future for humankind, it becomes paramount to anticipate the challenges of various human factors on the most likely scenario for this future: permanent human settlement of Mars. Even if technical hurdles are circumvented to provide adequate resources for basic physiological and psychological needs, Homo sapiens will not survive on an alien planet if a dysfunctional psyche prohibits the utilization of these resources. No matter how far we soar into the stars, (...) our psychologies for future generations will be forever tethered to the totality of our surroundings. By shaping our environment toward survival and welfare during the voyage to Mars and in a Martian colony, we indirectly shape our psyches and prepare them for a mission of unprecedented alienation and duration. Once on Mars, human factors such as leadership structure, social organization and code of conduct, group size, gender balance, developmental cycle, mobility, length of stay and the ecological settings and type and manner of subsistence, will create a novel Martian culture. The degree that settlers are severed from the Earth will affect how radically foreign this culture will be when compared with cultures on Earth. (shrink)

The legitimacy of the dominant intensive meat production system with respect to the issue of animal welfare is increasingly being questioned by stakeholders across the meat supply chain. The current meat supply is highly undifferentiated, catering only for the extremes of morality concerns (i.e., conventional vs. organic meat products). However, a latent need for compromise products has been identified. That is, consumer differences exist regarding the trade-offs they make between different aspects associated with meat consumption. The heterogeneity in consumer demand (...) could function as a starting point for market segmentation, targeting and positioning regarding animal welfare concepts that are differentiated in terms of animal welfare and price levels. Despite this, stakeholders in the meat supply chain seem to be trapped in the dominant business model focused on low cost prices. This paper aims to identify conflicting interests that stakeholders in the meat supply chain experience in order to increase understanding of why heterogeneous consumer preferences are not met by a more differentiated supply of meat products produced at different levels of animal welfare standards. In addition, characteristics of the supply chain that contribute to the existence of high exit barriers and difficulty to shift to more animal-friendly production systems are identified. Following the analysis of conflicting interests among stakeholders and factors that contribute to difficulty to transform the existing dominant regime, different routes are discussed that may help and motivate stakeholders to overcome these barriers and stimulate the creation of new markets. (shrink)

Continuing work of Baldwin and Shi 1), we study non-ω-saturated generic structures of the ab initio Hrushovski construction with amalgamation over closed sets. We show that they are CM-trivial with weak elimination of imaginaries. Our main tool is a new characterization of non-forking in these theories.

We define a generalized version of CM-triviality, and show that in the presence of enough regular types, or solubility, a stable CM-trivial group is nilpotent-by-finite. A torsion-free small CM-trivial stable group is abelian and connected. The first result makes use of a generalized version of the analysis of bad groups.

CM-triviality of a stable theory is a notion introduced by Hrushovski [1]. The importance of this property is first that it holds of Hrushovski's new non 1-based strongly minimal sets, and second that it is still quite a restrictive property, and forbids the existence of definable fields or simple groups (see [2]). In [5], Frank Wagner posed some questions aboutCM-triviality, asking in particular whether a structure of finite rank, which is “coordinatized” byCM-trivial types of rank 1, is itselfCM-trivial. (Actually Wagner (...) worked in a slightly more general context, adapting the definitions to a certain “local” framework, in which algebraic closure is replaced byP-closure, forPsome family of types. We will, however, remain in the standard context, and will just remark here that it is routine to translate our results into Wagner's framework, as well as to generalise to the superstable theory/regular type context.) In any case we answer Wagner's question positively. Also in an attempt to put forward some concrete conjectures about the possible geometries of strongly minimal sets (or stable theories) we tentatively suggest a hierarchy of geometric properties of forking, the first two levels of which correspond to 1-basedness andCM-triviality respectively. We do not know whether this is a strict hierarchy (or even whether these are the “right” notions), but we conjecture that it is, and moreover that a counterexample to Cherlin's conjecture can be found at level three in the hierarchy. (shrink)

We show that any relational generic structure whose theory has finite closure and amalgamation over closed sets is stable CM-trivial with weak elimination of imaginaries.

We show that any relational generic structure whose theory has finite closure and amalgamation over closed sets is stable CM-trivial with weak elimination of imaginaries.

The aim of this study is to reveal the role of religious, political and cultural factors on the way of understanding the concept of Ahl al-ḥaqq, one of the most important theopolitical concepts of Islamic thought, and to identify the projections of the semantic traansformatinon that concept of Ahl al-ḥaqq has experienced. In the comparative study with the group of "Ahl al-Shirk", "Ahl al-Kitāb", "Ahl al-Bid'at" and "Ahl al-Hawā", it has been determined that the concept of Ahl al-Haq has a (...) multi-layered spectrum of meaning. A number of critical periods can be mentioned in the formation of this multi-layered meaning structure. The first of these periods is the founding period in which a conception is constructed through the description of the superstitious actions of the "Ahl al-Shirk" and "Ahl al-Kitâb" groups in belief and practice, even though the term "Ahl al-haqq" is not mentioned in the Qur’ān. In this context, it can be said that all Muslims who confess and recite the shahada or the word tawhid with the intention of illa'l-haqq in faith and deeds are included in the category of Ahl al-haqq. After the first semantic period in which the opposition between Islam and un-Islam was decisive, the socio-political issues that emerged among Muslims moved the debate on who could be included in the scope of Ahl al-haqq to the intra-Islamic plane. In the second semantic period, in which every sect considered itself to be right, the scope of Ahl al-Haq was mostly described through the nass-centered references of the Salafiyya and the superstitious practices in belief and practice of Muslims included in the Ahl al-Bid'at category. The third semantic period was shaped relatively by the encounter with philosophical traditions. This is the period in which theologians defending the Islamic faith tried to keep dynamic the outward/objective epistemological aspect of the concept. In the fourth semantic period, which coincided with post-modernism, Ahl al-Haq returned to the socio-political meaning of the opposition between Islam and un-Islam in the founding period as an anti-imperial attitude against colonization activities. As a result, considering all these definitions, it is concluded at the present time that, it would be more accurate that the concept of Ahl al-Haq is better defined to include all Muslims who have accepted the principles of Islamic belief and declared their adherence to the Qur’ān and Sunna. (shrink)

We show that every reduct of a stable. CM-trivial theory of finite U-rank is CM-trivial.

Animal and plant species exhibit an astonishing diversity of sexual systems, including environmental and genetic determinants of sex, with the latter including genetic material in the mitochondrial genome. In several hermaphroditic plants for example, sex is determined by an interaction between mitochondrial cytoplasmic male sterility (CMS) genes and nuclear restorer genes. Specifically, CMS involves aberrant mitochondrial genes that prevent pollen development and specific nuclear genes that restore it, leading to a mixture of female (male‐sterile) and hermaphroditic individuals in the population (...) (gynodioecy). Such a mitochondrial‐nuclear sex determination system is thought to be rare outside plants. Here, we present one possible case of CMS in animals. We hypothesize that the only exception to the strict maternal mtDNA inheritance in animals, the doubly uniparental inheritance (DUI) system in bivalves, might have originated as a mitochondrial‐nuclear sex‐determination system. We document and explore similarities that exist between DUI and CMS, and we propose various ways to test our hypothesis. (shrink)

For every structure M of finite signature Mekler 781) has constructed a group G such that for every κ the maximal number of n -types over an elementary equivalent model of cardinality κ is the same for M and G . These groups are nilpotent of class 2 and of exponent p , where p is a fixed prime greater than 2. We consider stable structures M only and show that M is CM -trivial if and only if G is (...) CM -trivial. Furthermore, we obtain that the free group F 2 in the variety of 2 -nilpotent groups of exponent p>2 with ω free generators has a CM -trivial ω -stable theory. (shrink)

Homosexuality in Islam: Critical Reflection on Gay, Lesbian, and Transgender Muslims. By Scott SiraJ al-Haqq Kugle. Oxford: Oneworld, 2010. Pp. × + 335. $90 ; $29.95.

Philosophers of science are divided over the interpretations of scientific normativity. Larry Laudan defends a sort of goal-directed rules for scientific methodology. In contrast, Gerard Doppelt thinks methodological rules are a mixed batch of rules in that some are goal-oriented hypothetical rules and others are goal-independent categorical rules. David Resnik thinks that the debate between them is at a standstill now. He further thinks there are certain rules, such as the rule of consistency which is goal independent. However, he proposes (...) a holistic understanding of the scientific methodology. Taking a thread from Resnik, the present paper also advocates a holistic understanding of the scientific methodology. Given that many scientific practices deal with systems, the focus will be given to the systems by assuming each as a constellation of methodological norms. By taking each system as a set of mutually supportive methodological rules whose instrumental values underwrite the coherence relation among them, the paper aims to provide what could be a viable holistic epistemological account that can explain scientific normativity at work in a scientific system. The paper will lay down specific holistic criteria for understanding the scientific methodology. They will be used to show how a holistic account could satisfactorily account for the success of the Compact Muon Solenoid (CMS) experiment in discovering the Higgs boson and how the holistic account can account for the instrumental error behind the apparent faster-than-light neutrino anomaly of the Oscillation Project with Emulsion-t Racking Apparatus (OPERA) experiments respectively. (shrink)

In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple CM-trivial theory, the independence relation is stable.

Berikut ini diperkenalkan tiga buku yang ditulis oleh para dosen Sekolah Tinggi Filsafat dan Teologi Widya Sasana di Malang tentang bagaimana Gereja Katolik perlu menempatkan diri dalam ruang publik Indonesia. Fokus buku pertama, tulisan Prof. Dr. Armada Riyanto (2014), adalah ajaran sosial Gereja Katolik, jadi ajaran mengenai bagaimana Gereja Katolik memahami panggilannya dalam masyarakat yang sekaligus menjadi ruang publiknya. Sepintas alur buku ini dapat mem- bingungkan karena penulis suka melancong ke pelbagai bidang sam- pingan, apalagi ia tidak menjelaskan susunan bukunya. (...) Namun kekaya- an buku ini justru terletak dalam luasnya acuan, penjelasan pelbagai latar belakang, serta perhatian pada konteks-konteks ajaran sosial Gereja yang diangkat penulis. Dengan demikian pembaca dibantu dalam mencari bagaimana umat Katolik Indonesia dapat memberikan sum- bangannya bagi bangsanya dalam segala pergulatannya. Bagian kedua, mulai dari bab ke-10, memasuki situasi umat Katolik Indonesia sebagai minoritas yang sepertinya masih “kurang memiliki” (187). Bertolak dari catatan bahwa waktu Congregatio Missionis (Romo-romo CM) mengam-bil alih wilayah Jawa Timur dari romo-romo Yesuit hanya ada 40 umat Katolik Jawa tercatat (hal. 203), bab 11 menjelaskan kesulitan yang dialami Gereja Katolik sejak dari permulaan abad ke-19 dalam bergiat di Hindia Belanda. Namun kemudian dijelaskan bagaimana orang Katolik Jawa, di antara- nya Pak Kasimo, sebelum Kemerdekaan sudah berjuang sebagai nasionalis Indonesia tulen. Bagian ketiga, dimulai dari bab 12, membahas sifat dialogal ajaran sosial Gereja dalam pelbagai dimensi. Bahwa iman dan teologi Gereja secara hakiki bersifat dialogal merupakan kesadaran teologis (dan sosiologis) baru. Daripada hanya berpegang teguh pada suatu ajaran yang sudah membatu menjadi tradisi, lalu dibawa begitu saja ke dalam dunia, Gereja menyadari bahwa iman maupun teologinya selalu bergerak dalam medan masyarakat di mana Gereja berhadapan dengan segala macam pemikiran dan tanta-ngan. Dengan sifat dialogal dimaksud bahwa iman dan teologi Gereja mau tak mau terwujud dalam menghadapi tantangan-tantangan itu. Kekuatan buku Prof. Armada ini adalah bahwa ia menempatkan ajaran sosial Gereja yang pokok-pokoknya sudah sering diuraikan ke dalam pelbagai konteks, dengan implikasi-implikasi dan acuan pada pelbagai pengalaman Gereja. Pembaca menemukan banyak petunjuk bagaimana ajaran sosial Gereja Katolik dapat menjadi inspirasi bagi umat Katolik Indonesia. Ada juga beberapa kelemahan. Tidak ada daftar nama. Dan barangkali cakupan uraiannya terlalu luas. Misalnya uraian panjang lebar tentang paham Platon dan Aristoteles tentang keadilan sebenarnya kurang relevan, begitu pula uraian tentang perkembangan pemikiran filosofis tentang demokrasi. Padahal pertanyaan sangat relevan, yang muncul di banyak negara, bagaimana sebuah minoritas berpartisipasi dalam sistem demokrasi tidak didiskusilan. Mengapa fungsi suatu Partai Katolik di Indonesia tidak diangkat, padahal seku- rang-kurangnya sudah tiga kali menjadi debat besar dan panas dalam umat Katolik Indonesia: 1960 di zaman demokrasi terpimpin, 1971 sesudah pemilihan umum pertama di bawah presiden Suharto, dan 1999 di masa reformasi. Betul, persepsi “kemiskinan struktural” dibuka dengan Rerum Novarum (h. 24), tetapi istilah itu sendiri tidak ditemukan di dalamnya, melainkan berasal dari teologi pembebasan. Karena penulis menganggap “pluralisme” tak punya arti di luar “pluralitas,” penulis tidak masuk ke dalam kontroversi tajam tentang pluralisme di Indone- sia. Fatwa MUI tentang pluralisme tidak didiskusi-kan. Uraian panjang tentang pendidikan Katolik yang sangat optimis tinggal normatif. Padahal dalam kenyataan Gereja Katolik, juga di Indonesia, biasanya justru mempertahankan pegangan eksklusif atas pendidikan. Dalam kaitan ini seharusnya penolakan UU Sisdiknas — dengan keharusan memberikan pelajaran agama kepada para siswa sesuai dengan agama mereka — oleh sebagian besar penanggap Katolik didiskusikan. Namun kekurangan-kekurangan ini tidak menghilangkan bahwa buku ini amat memperkaya pustaka Katolik berbahasa Indonesia tentang panggilan Gereja, juga panggilan Gereja Indonesia, dalam masyarakat (Franz Magnis-Suseno, Guru Besar Ilmu Filsafat Emeritus, Sekolah Tinggi Filsafat Driyarkara, Jakarta). (shrink)