This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and moreover, all (...) atomless spaces have the same $\textsf{QPL}$-theory. Also, we shall introduce the notion of elementary invariant for $\textsf{QPL}$ and use it to translate the semantics for $\textsf{QPL}$ into the setting of elementary analysis. This will allow us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories. (shrink)

The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.

We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates—which are strongly related to definability in the monadic SOA (second-order arithmetic) without × or + , respectively. As a consequence, we obtain a very direct proof for ${\Pi^1_1}$ -completeness of Presburger, (...) and also Skolem, arithmetic with a free unary predicate, generalize it to all ${\Pi^1_n}$ -levels, and give an alternative description of the analytical hierarchy without × or + . Here ‘direct’ means that one explicitly m-reduces the truth of ${\Pi^1_1}$ -formulae in SOA to the truth in the extended structures. Notice that for the case of Presburger arithmetic, the ${\Pi^1_1}$ -completeness was already known, but the proof was indirect and exploited some special ${\Pi^1_1}$ -completeness results on so-called recurrent nondeterministic Turing machines—for these reasons, it was hardly able to shed any light on definability issues or possible generalizations. (shrink)

Inspired by Kit Fine’s theory of arbitrary objects, we explore some ways in which the generic structure of the natural numbers can be presented. Following a suggestion of Saul Kripke’s, we discuss how basic facts and questions about this generic structure can be expressed in the framework of Carnapian quantified modal logic.

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...) precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...) semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. (shrink)

Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...) the \(\omega ^\omega \) level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic. (shrink)

Each professional researcher of the religious and philosophical tradition of Ukraine XI-XIV centuries. convinced of the glow of theoretical understanding of the manuscript corpus of texts of a certain period, realizes that 90% of the monuments of that time are waiting for study, knows that the subject-based, scientific sources are aimed at reconstructing how the beginning and the end were presented, stages, goals, the factors, essence and meaning of world history in the culture of are still in the embryonic phase, (...) and the problem of understanding the role of the Holy Cross in the historical process has not been raised or analyzed yet by the bearers of this culture. These facts lead to an attempt to fill the existing lacuna. (shrink)

Contemporary social and political theory is not wholly sufficient for dealing with environmental issues unless it will be more informed by political theories of justice. I present the view that environmental justice can be fruitfully approached from the point of view of contemporary social contract theory, mainly the one inspired by the work of John Rawls. Healthy natural environment is indispensable for many reasons for every human society; however, nature possesses also value going beyond pure instrumentality for human beings. Because (...) humans can have great impact on natural environment in either positive or negative way, this entails duties on their part. Society’s dealings with the environment are regulated by laws and other publicmeasures, which in turn have their deeper justification in general theory of justice of that particular society. The article tries to show that contemporary social contract theory can fruitfully grasp principles of environmental justice, which could lead to more environment sensitive policies and be acceptable from liberal point of view at the same time.Politické myšlení nemůže adekvátně reagovat na environmentální problémy současné společnosti, pokud nebude více pracovat s konceptem environmentální spravedlnosti. V tomto článku se snažím ukázat způsob, jak může být otázka environmentální spravedlnosti uchopena pomocí teorie společenské smlouvy v podání Johna Rawlse. Lidé mají svoji činností významný dopad na životní prostředí, což má za následek nerovnou distribuci environmentálních dober a škod. Proto existují vůči ostatním lidem povinnosti vyplývající ze spravedlnosti vztahující se na environmentální oblast. Environmentální otázky se nicméně musí řešit pomocí závazných společenských pravidel, která mají podobu zákonů vynucovaných státem. Tyto zákony mají své hlubší ospravedlnění právě v určité teorii spravedlnosti, která zakládá jejich legitimitu. Ve článku se snažím ukázat, že pomoci teorie společenské smlouvy lze konstruovat soubor principů environmentální spravedlnosti pro společnost, která se chce stát více odpovědnou vůči životnímu prostředí a zároveň fungovat podle liberálních principů. (shrink)

Scientists need that scientific descriptions meet request methodological principles. Science knowledge is independent. Methodological principles guarantee autonomic regime of scientific investigations. Methodological principles are requirements the process of descriptive knowledge receiving as result of methodological analysis on best samples of scientific investigations, or methodological standards in history of science. There are mane principles in methodology of science: autonomic scientific investigation, competence, objectivity, expedience, systemness, verification, coherence, unity of methods, integration, differentiation, many-variation of formulizations, modernizations, diversity of chosen types of descriptions, (...) two logical meanings – truthfulness and falseness. (shrink)

The proposed text develops a number of provisions of N.I. Kuznetsova’s article “Oxymoron of the Vienna Circle”. Special attention is paid to the intellectual heritage of the Vienna Circle, which is in many ways paradoxical – rejected and simultaneously operational.

This article attempts to define a historical epistemology not as separate place in disciplinary space, but as rather specific area, which unstable configuration and “stuff" are determined by quite different from philosophy ways of talking and investigation of knowledge, especially in social sciences. More significant than emergence of competitors of philosophy in production of knowledge about knowledge (sociology, history, anthropology) was that they introduce a new regime of this production. This regime became empirical. Within that regime knowledge is objectified not (...) as homogeneous order of representation, but as fuzzy dynamic set of heterogeneous elements, relations between which are complex and historically variable. The claims of non-philosophical disciplines to investigate knowledge generate the field of uncertainties and problematisations. Just this field is referred to as “historical epistemology". But this field is also space of conceptual imagination, where the new ways to investigate knowledge are worked on, when refusing to ascribe to it any ultimate (transcendent or transcendental) specification. (shrink)

The impacts that AI and robotics systems can and will have on our everyday lives are already making themselves manifest. However, there is a lack of research on the ethical impacts and means for amelioration regarding AI and robotics within tourism and hospitality. Given the importance of designing technologies that cross national boundaries, and given that the tourism and hospitality industry is fundamentally predicated on multicultural interactions, this is an area of research and application that requires particular attention. Specifically, tourism (...) and hospitality have a range of context-unique stakeholders that need to be accounted for in the salient design of AI systems is to be achieved. This paper adopts a stakeholder approach to develop the conceptual framework to centralize human values in designing and deploying AI and robotics systems in tourism and hospitality. The conceptual framework includes several layers – ‘Human-human-AI’ interaction level, direct and indirect stakeholders, and the macroenvironment. The ethical issues on each layer are outlined as well as some possible solutions to them. Additionally, the paper develops a research agenda on the topic. (shrink)

This accessible and comprehensive overview of the work of Stanislav Grof, one of the founders of transpersonal psychology, was specifically written to acquaint...

Can matter, things, nonhuman organisms, technologies, tools and machines, biota or institutions be seen as creative? How does such creativity reposition the visionary activities of humans? This article is an elaboration of such questions as well as an attempt at a partial response. It was written as an editorial for the special issue of the Digital Creativity journal that interrogates the conception of Post-Anthropocentric Creativity. However, the text below is a rather unconventional editorial. It does not attempt to provide an (...) overview of the issue’s theme but, instead, samples it via a particular example. The idea of the issue was to think about post-anthropocentricism by considering (1) agents, recipients and processes of creativity alongside with its (2) purpose, value, ethics and politics. This article addresses the first subtheme by puzzling at the paradoxes of “field learning” and picks at the second by considering the texture of “automated beauty”. Both of these parts use chess for an example. The narrative on chess is intermitted by a section “on creativity” that attempts to contextualize the case-based discussion in the wider context and to consider motivations and implications. (shrink)

The current stage of the development of amateur stayer running practices can be characterized as personality-building, since the main goals of runners (especially marathon runners and super marathon runners) are not so much related to strengthening health, as to the sphere of personal improvement and self-knowledge: the development of will, character, testing yourself in an extreme situation, testing previously inaccessible emotions and states of consciousness. The object of the study is ego texts (books for a wide audience, including the online (...) "samizdat") of modern Russian running enthusiasts. The method of studying these texts is the biographical method, which makes it possible to determine the multidimensional influence of running activity on fundamental changes in personality development and the formation of her life path. The analyzed biographies inherit both the confessional tradition of Augustine (the contrast of the aimless and vicious "pre-race" life, as well as the traumatic experience of running neophyte and significant achievements in many areas of personal development after the adoption of the values expressed through running Coubertin's "religio athleticae"), and the adventurous and heroic biographical tradition noted by M. M. Bakhtin, inherent in the Renaissance, as well as romanticism and Nietzscheanism with their focus on the formation (in our case, through a stayer run) of a new (or "super-") person. The qualitative result of running activity is the achievement by the subject of a new stage of development – a person running (homo currens), which is characterized by activity, mobility, heroism, asceticism, striving for maximum self-realization, achieving harmony of body and spirit. Homo currens opposes both virtual pastime and the fetishization of comfort culture, suggesting, referring to the concept of Viktor Frankl, filling life with new meanings and values through overcoming the inevitable suffering for a stayer run. Amateur running is considered by writers as a publicly available and effective means of gaining physical, mental and social well-being, which expresses its humanistic essence and gives philosophical and anthropological significance to the works under study. (shrink)

T. 1. Ein Beitrag zur Geschichte der Nachahmungsästhetik und Affektenlehre sowie der idealistischen Musikästhetik in Deutschland.--T. 2. Die Romantik und der Kampf ästhetische Richtungen.

The author considers two additions to analysis of technoscience, suggested by Olga Koshovets and Igor Frolov. First, technoscience is not just regime of knowledge production, which brings into play enormous technological and organizational resources, but is a regime, regulated by mandatory requirement to produce knowledge, which should be transformed into endowed with market value goods and services (technoobjects). Second, technoscience is an ever-faster colonization of natural and social worlds by technoobjects. In the author's view, the main problem with technoscience is (...) not to hold the next round of conceptual clarification and theoretical reorganization of previous distinctions (nature/society, basic science/applied science, scientific fact/technoobject, social connections/technological connections) or introduction of new ones. The challenge is how to turn the concrete realization of technoscience into empirical research objects. The complexity of such enterprise is demonstrated in the case of research biobanking, which has become one of exemplary embodiment of technoscience and contemporary mode of biopolitics. (shrink)

The materials and spirit of the Second Vatican Council have largely outstripped the comprehension of the extremely important religious, social, economic, and spiritual problems faced by the modern globalized world. This concerns in many respects the problems of labor, the understanding of the value-motivational factors of attitude towards it. Moreover, the attitude to work has its own social, economic, spiritual and, of course, religious studies. All this can not but correct the problem of attitude to work as a Christian phenomenon (...) in the documents of the Second Vatican Council. In this regard, the very fact that in our time the socio-philosophical science is not sufficiently adapted to the Ukrainian needs and realities of the idea of ​​the II Vatican Council of the Catholic Church and the council documents of this Church. (shrink)

Studie nejprve stručně rekapituluje obsah knihy Mariana Kuny (Etika a politika v perspektivě Alasdaira MacIntyra) a snaží se ji kriticky zhodnotit. Poté se krátce věnuje dvěma tématům, klíčovým jak pro MacIntyra, tak pro jmenovanou knihu: otázce „univerzálních ctností“ a otázce pravdy. Zdá se totiž, že právě tyto dvě oblasti nejsou ani u jednoho ze zmiňovaných autorů uspokojivě řešeny.The study summarizes the book by Marian Kuna (Etika a politika v perspektivě Alasdaira MacIntyra) and aims to critically evaluate it. Then it gives (...) a brief account of two topics crucial to both MacIntyre and Kuna: the problem of “universal virtues” and the problem of truth. It seems that neither of these is handled adequately in the works of the mentioned authors. (shrink)

The main goal of the article is to describe selected aspects of the sex trade as viewed by clients who make use of the services provided by sex workers. We use data obtained through a content analysis of selected topics discussed on an erotic forum called Nornik.net. The topics were: Can a person stop “screwing”?; what was your first contact with the sex trade and how can a person hide their visits to sex workers? In the course of the analysis, (...) we identified an additional category that featured in all the topics: “trophy collecting”. The discussants perceive sex workers as a commodity to be purchased and subsequently evaluated. The discussants tended to compete among themselves to visit the most sex workers or to be first to visit the latest sex worker. The discussion forum serves as a support centre and contains hints and tips on different areas of “screwing” and related issues. The forum also displays certain features of a community. (shrink)

A concept of Pagan Theology has been producing a number of discussions throughout the last decade and particularly in the last few years both inside and outside Pagan community. In this paper, the author analyzes three aspects of the phenomenon of Pagan Theology and discussions emerged around it. The first aspect is the genesis of the idea of Pagan Theology. It includes an examination of academic and religious roots of this research programme. The second aspect is a view on Pagan (...) Theology from the perspective of the academia. While for some scholars Pagan Theology appears to be a legitimate field of study and/or research programme in Pagan Studies, others describe it is an attempt of Pagan intervention in the academia. Finally, the third aspect is a discussion on Pagan Theology emerged among Pagans, whose reflections of this topic are very ambiguous too. In spite of this fact, the author concludes that the idea of Pagan Theology was a necessary stage of development, both in the conceptualization of contemporary Paganism itself and in Pagan Studies at the same time. (shrink)

In this article, the author analyzes dominating contemporary approaches to the study of esotericism including those of W. Hanegraaff that is popular today among European scholars and its alternatives developing in the USA and the United Kingdom. The author argues that these methodologies should be understood as competitive „research programmes‟ inside the complex field of the academic study of esotericism and can‟t be described in terms of „old‟ and „new‟ paradigms like Hanegraaff tends to do it.

In order to understand what happened to Russian philosophy in our country, let us perform a thought experiment: let us imagine that the same thing happened to Russian literature. That is, that we were left with only "revolutionary democrats" and the writers in agreement with them—the materialist atheists. To keep the experiment pure and simple, let us take only the greatest names. Thus we will publish, esteem, and study only "progressive" writers in the above sense. Only two writers would perhaps (...) remain: Mikhail Saltykov-Shchedrin and Nikolai Nekrasov, and even with these two we would be stretching the point a bit—Shchedrin is after all the author of Provincial Sketches [Gubernskie ocherki] and Nekrasov is the author of Vlas, in which there is so much love for holy Rus' with its God's fools [iurodivye] and its beggars. Now let us look at whom we would leave out, whom we would not publish or study. First, of course, there are Tolstoi and Dostoevskii; their religiosity leaves not the slightest doubt. (shrink)

In this paper we examine Interaction-free measurement where both the probe and the object are quantum particles. We argue that in this case the description of the measurement procedure must by symmetrical with respect to interchange of the roles of probe and object. A thought experiment is being suggested that helps to determine what does and what doesn’t happen to the state of the particles in such a setup. It seems that unlike the case of classical object, here the state (...) of both the probe and the object must change. A possible explanation of this might be that the probe and the object form an entangled pair as a result of non-interaction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:1. IntroductionThe scientific efforts of Jesuits were the hot topics of the history of science. It was said that you could find a Jesuit behind most of the scientific accomplishments of the seventeenth or eighteenth centuries. The idea was not far from the truth because Athanasius Kircher of Rudjer Josip Bošković proved to be among the best. But Jesuit studies seem to have passed their peak and it is (...) time to research the early modern science successes of other religious orders. The Parisian Franciscan Marin Mersenne with his worldwide correspondence was the German-Roman Jesuit Kircher’s match and several other Franciscans were not less important. Therefore it is time to give the Franciscan scientists of the past centuries the fame they deserve.We celebrated the 800th anniversary of the Franciscan order in the year 2009. The Franciscans of Ljubljana were mentioned for the first time in 1242 as already established and resident in Ljubljana, soon after the establishment of Franciscan order. Later they were unable to survive the protestant challenge in 1569,1 when almost all citizens of Ljubljana accepted Luther’s Christianity. Although they never really left Ljubljana, the Franciscans officially returned to Ljubljana after several decades.Between the years 1646 and 1660 the Augustinian church of Annunciation of Our Lady was erected on behalf of the Baron Konrad Ruessenstein from the Upper Carniola castle Strmol. The front walls were finished in 1700, and half of a century later the famous Italian sculptor Francesco Robba made the main altar. The Emperor Josef II suppressed the Ljubljana Augustinians in 1784 and somewhat later gave their friary and church to their Franciscan neighbors from the opposite side of Ljubljanica River. The Barons Ruessensteins were not offended by the change and still took care for the church. The Baron Alexis Ruessenstein gave his important alchemical manuscripts to the new friary owners, the Franciscans.2After the death of the Emperor Josef II, Gabriel Gruber’s best student Jožef Marija Šemerl redesigned a former Franciscan Friary for a Lyceum. Gruber, who later became the General of the Jesuit Order, was among the best engineers in Habsburg Monarchy. The church of the Assumption of Our Lady was removed and leveled.3 After the earthquake Ljubljana got the market place in the former site of the Lyceum.The church of Annunciation of Our Lady or simply the Franciscan Church remains one of the most typical sightseeing posts in Ljubljana, even if the name of the square in front of it passed from Mary to France Prešeren, the greatest Slovenian poet, in the time of Communist regime in 1949.Click for larger viewFigure 1. The first page of the index of the copy of alchemistic manuscript of Alexis Baron Ruessenstein’s, the son of Konrad Baron Ruessenstein from the castle Strmol, Ruessenstein, ibid. FSLJ-29 F 54, 234–35 .Click for larger viewFigure 2. Alexis baron Ruessenstein about the Quicksilver in the copy of his original handwriting kept in Ljubljana Franciscan Library .Škerpin’s booksThe Ljubljana Franciscan Library was established in 1233.4 Žiga Škerpin renewed the Franciscan Library which was located on the right side of the Ljubljanica River during his lifetime. He was the provincial of Croatian-Carniolan province between the years 1732–1735 and again between the years 1745–1748. He became the court’s secret advisor,5 and acting general definitor of all Franciscans. During his numerous foreign travels, including Italy and Spain, he collected books. Between the years 1733–1746 Škerpin brought to Ljubljana no less than 1668 titles of.. (shrink)

The European Union’s funding of electricity made of biogas that is obtained from purpose-grown plants accelerated the global boom of renewable energy two decades ago. Tens of thousands of biogas plants were built in EU farms soon after. As this specific trend toward renewable energy globally spreads, it has the potential to alter the features of agriculture in the future. Such conceptual changes are related to a variety of socio-economic and environmental implications that manifest itself over a large time scale. (...) Regarding renewables made of purpose-grown plants, a majority of reservations are related to its production economy, particularly since these biofuels are expected to compete with food or feed. So far, little attention has been paid to the fact that the fields of farms that run biogas stations are subject to shortly repeated erosive crops followed by the intensive application of the fermentation residues obtained. The various types of soil on different European farms, which have been operating biogas stations for at least two decades, were analyzed. It was revealed for the first time that such practices cause soil degradation and pose a threat to food production, which has been overlooked until now. The relations between ethical and economical points of view are discussed. (shrink)

The concept of “going native in reverse” reflects the fact that nowadays more and more people involved in new religious movements and esoteric groups participate in academic activities related to the study of religion in general and particularly in the study of their movements. On the one hand, these people bring insider’s perspective in the academia. On the other hand, they bring academic knowledge and critical mind in esoteric community and change it. This situation seems to be a positive tendency (...) in the development of modern spirituality both for insiders and for the society in general, because contemporary knowledge and critical mind can make religious and esoteric currents more subtle and adequate for the modern world. But what is the future of this tendency in regard to an insider/outsider problem? Maybe they can change the academia by bringing new unexpected perspectives in the study of religion and esotericism. However, conservative academic elites can finally reject researchers who try to bring the insider perspective in the academia and even expel them from academic circles. In this case they will turn into a marginal group inside the academia, and for their skeptical colleagues they will remain to be those eccentrics who want “to wear the esoteric and the scholarly hat simultaneously”, as W. J. Hanegraaff put it. On the other hand, such researchers may try to form a new discipline, so to speak an “esoteric divinity” that will fight for the place both in the academia and in the esoteric community in the next decades. However, the esoteric community itself may reject this tendency, because many of its participants today seem to have an inimical attitude toward to rationalism and the academia. (shrink)

What can the creation of artificial habitats to replace old-growth forests tell us about the process, value and future of design? This chapter takes a concrete and provocative example and uses it to rethink design as a gradual, ecological action. To illustrate this understanding, the chapter begins with a description of a proposal to provide artificial habitats for wild animals such as birds, bats and invertebrates. The controversial idea to replace rapidly disappearing old-growth trees with artificial structures puts in doubt (...) habitual assumptions about the clients, procedures and goals of design. This example is of relevance to all design because the need to provide artificial habitats to nonhumans will be increasingly common under the influence of such phenomena as global warming or urbanisation. … The invention of artificial structures in place of natural habitats is described in this chapter as an incitement that highlights the need for further research into values, participants and methods of design. This discussion concludes with a proposal for an attitude of modesty in the face of increasingly overwhelming volumes of information as well as in the presence of an even greater ignorance about the futures of nondeterministic, volatile and incompletely controllable natural systems. The dilemma of design in these conditions is in the tension between its remit to act and the uncertainty that inescapably underlies any creative endeavour. (shrink)

How can humanist principles of respect, dignity, and care inform and improve design for non-human lifeforms? This paper uses ageing and dying urban trees to understand how architectural, urban, and landscape design respond to nonhuman concerns. It draws on research in plant sciences, environmental history, ethics, environmental management, and urban design to ask: how can more-than-human ethics improve multispecies cohabitation in urban forests? The paper hypothesises that concepts of dignity and respect can underline the capabilities of nonhuman lifeforms and lead (...) to improved designs for multispecies cohabitation. To investigate the implications of this ethical framework, we 1) indicate injustices of current management in relation to natural and cultural histories of trees; 2) outline a conceptual framework that includes large old trees as stakeholders in urban communities; and 3) use this framework in a thought experiment with urban trees in Melbourne, outlining comparative design outcomes. Our findings show that the expansion of dignity to include nonhuman life is possible and plausible. Such an extension can justify and encourage design innovation for multiple species and sites. The resulting design practices will lead to improvements by supporting communities of trees at all stages of their life-cycles, including old age, death, and rebirth. This approach requires substantial shifts in accepted thinking and practices including history, ethics, aesthetics, regulation, and education. Design can play a significant role in the necessary transitions by demonstrating tangible and positive outcomes. In this context, history emerges as an essential tool that can extend societal imagination by situating possible future places in the context of ancient and ongoing geological, evolutionary, ecological, and cultural processes. (shrink)

The second half of the twentieth century was marked by the appearance of a new and original school in Russian sinology which uses the so-called methodology of ‘structural analysis’ in studying Chinese classics and attempts to find an authentic methodology among Chinese philosophers themselves. Its most influential representatives are V.S. Spirin, A. M. Karapetyants, A. I. Kobzev and A. A. Krushinsky. The main thesis of Russian ‘structuralists’ is that the composition of the ancient Chinese text influences its content directly. A (...) composition of a text is derived from a configuration of its parallel passages. The method of ‘structural analysis’, therefore, aims to detect and describe these parallelisms, and then makes some interpretation of them. The present paper gives a short introduction to the history of this school, its main representatives and concepts, and also shows how the method of ‘structural analysis’ works on some concrete examples. (shrink)

Trees belong to humanity’s heritage, but they are more than that. Their loss, through catastrophic fires or under business-as-usual, is devastating to many forms of life. Moved by this fact, we begin with an assertion that heritage can have an active role in the design of future places. Written from within the field of architecture, this article focuses on structures that house life. Habitat features of trees and artificial replacement habitats for arboreal wildlife serve as concrete examples. Designs of such (...) habitats need to reflect behaviours, traditions and cultures of birds, bats, and other animals. Our narrative highlights the nonhuman aspect of heritage, seeking to understand how nonhuman stakeholders can act as users and consumers of heritage and not only as its constituents. Our working definition states that more-than-human heritage encompasses tangible and intangible outcomes of historical processes that are of value to human as well as nonhuman stakeholders. From this basis, the article asks how the established notions of heritage can extend to include nonhuman concerns, artefacts, behaviours and cultures. As a possible answer to this question, the hypothesis tested here is that digital information can (1) contribute to the preservation of more-than-human heritage; and (2) illuminate its characteristics for future study and use. This article assesses the potential of three imaging technologies and considers the resulting data within the conceptual framework of more-than-human heritage, illuminating some of its concrete aspects and challenges. (shrink)

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...) consequence relations for a given spi-logic. (shrink)

Стаття є детальним історіографічним оглядом проблеми політики СРСР щодо євангельських церков у 1940-1960-і роки. У ній розглядається та аналізується науковий доробок як вітчизняної історіографії класичного радянського періоду, періоду "перебудови", так і сучасної пострадянської історіографії. Окрема увага в статті приділяється роботам західних дослідників другої половини ХХ - початку ХХІ століття, які вивчали державно-релігійні відносини в СРСР щодо євангельських церков у 1940-1960-і роки. Розглядається також конфесійна історіографія проблеми, яка з'явилась в останні роки існування СРСР та набула свого розквіту у 2000-і роки.

Background Noninvasive prenatal testing (NIPT) provides important benefits yet raises ethical concerns. We surveyed Canadian pregnant women and their partners to explore their views regarding pressure to test and terminate a pregnancy, as well as other societal impacts that may result from the routinization of NIPT.Methods A questionnaire was offered (March 2015 to July 2016) to pregnant women and their partners at five healthcare facilities in four Canadian provinces.Results 882 pregnant women and 395 partners completed the survey. 64% of women (...) anticipated feeling no pressure to take the test if it were offered routinely, and 39% were not concerned about routinization leading to increased pressure to terminate a pregnancy of a fetus with Down Syndrome. Regarding other social concerns possibly resulting from routinization, pregnant women were most concerned regarding a reduction in resources available for people with Down Syndrome and their families and least concerned regarding a decrease in the population of people with Down Syndrome.Conclusions Our findings reflect the concerns expressed by pregnant women and their partners, both personal (pressure to test, pressure to terminate) and societal (e.g., regarding potential negative impact on people with disabilities and their families). Even if most women were not concerned about feeling pressured to test due to NIPT routinization, a large minority express concerns that should not be taken lightly. Moreover, a majority of respondents were concerned regarding pressure to terminate pregnancies due to NIPT routinization as well as regarding most societal impacts they were queried on, especially the possible future reduction in resources available for people with DS and their families. Canadian policy-makers should consider these potential negative ramifications of NIPT and ensure that appropriate social policies accompany its implementation. (shrink)