The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK-logic with negation we understand an algebraizable logic whose language is an expansion of the language of BCK-logic with negation by a family of connectives implicitly defined by equations and compatible with BCK-congruences. Many of the logics in the current literature are natural expansions of BCK-logic with (...) negation. The validity of the analogous of Glivenko theorem in these logics is equivalent to the validity of a simple one-variable formula in the language of BCK-logic with negation. (shrink)

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \mathop{\boldsymbol {\bigwedge }}\limits p = q$. For a logic L algebraized by a quasivariety $\mathcal {Q}$ we show that the AE-subclasses of $\mathcal {Q}$ correspond to certain natural expansions of L, which we call algebraic expansions. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the (...) AE-subclasses of abelian $\ell $ -groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics. (shrink)

LetMbe a countably infinite ω-categorical structure. Consider Aut(M) as a complete metric space by definingd(g, h) = Ω{2−n:g(xn) ≠h(xn) org−1(xn) ≠h−1(xn)} where {xn:n∈ ω} is an enumeration ofMAn automorphism α ∈ Aut(M) is generic if its conjugacy class is comeagre. J. Truss has shown in [11] that if the set P of all finite partial isomorphisms contains a co-final subset P1closed under conjugacy and having the amalgamation property and the joint embedding property then there is a generic automorphism. In the (...) present paper we give a weaker condition of this kind which is equivalent to the existence of generic automorphisms. Really we give more: a characterization of the existence of generic expansions (defined in an appropriate way) of an ω-categorical structure. We also show that Truss' condition guarantees the existence of a countable structure consisting of automorphisms ofMwhich can be considered as an atomic model of some theory naturally associated toM. We do it in a general context of weak models for second-order quantifiers.The author thanks Ludomir Newelski for pointing out a mistake in the first version of Theorem 1.2 and for interesting discussions. Also, the author is grateful to the referee for very helpful remarks. (shrink)

The bases of tenets of the World came from the East; Pythagoras learnt all there up the 26 years. At a home, the east ideas where took in no; then he bound the mathematics with the elements of matter. This was the best way to a blood feud of the all Humanity. The 17th age gave the bases of mathematics and the Greek atomism; this had led to the paranoia in all sciences. The LCE was brought in 19th age with (...) bases no; really it was the box of Pandora in the form of wrong sciences of the Nature. The wise revenge of Pythagoras was in the form of riddle for the best thinkers in the World in all times; us solved one in the 50th years. A base of the World is of the material space (MS) with praatoms (PAs) Ao; they are of the affinity to matter. A density of the MS is of ~ 5.10‐6 kg/m3 close to the Ears. PA Ao is of quant of matter and antimatter; they are of rotate in the different sides. All matter takes up Ao and to grow. In the giant stars to go the bursts giving Ao, or caloric. The matter of being in the World on base of the key law of conservation of heat (caloric) and matter by loss of energy; it is main. Leibniz offered to the conservation of mv2 in the World. But Newton knew that any move is damped, and it need in filled up. This the author proved by tests over the 300 years just. D.Bernoulli given to the model of gas. I. Kant proved that mv2 is the quantity of heat by stop of the body; it is no the energy! A key leitmotiv of thought is blocked the grasp of facts if ones not leaded to an accepted concept. P. Mayer had the blunder in base of the LCE; a work of gas expansion in Torricelli tube is equal nil strong! This is the gross blunder of a sick paranoiac! The 21 age gave up a new philosophy and a way to endless engine. The super skills from ideal quartz with moving jaws to respond to the all new philosophy and sciences. (shrink)

Li Zehou's theory of sedimentation seeks to explain the uniqueness of the human species through its use of tools, both physical and cognitive, leading to cultures grounded in aesthetic taste and the prospect of suprabiological beings. However, the very sedimentation that constructs human culture can stagnate into obstructing sediment. Buddhist philosophy offers an epistemology of desedimentation that avoids attachment to cultural sediment without summarily rejecting its potential usefulness. More specifically, Buddhist “wisdom embracing all species” allows us to recognize our interconnection (...) (pratītya-samutpāda) with nature by transcending anthropocentrism, and opening more effective strategies for dealing with ecological challenges. (shrink)

The present paper is a sequel to Robles et al. :349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Łukasiewicz’s logic Ł3 is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property and vsp-related properties.

Call a (strictly increasing) sequence (rn) of natural numbers regular if it satisfies the following condition: rn+1/rn→θ∈R>1∪{∞} and, if θ is algebraic, then (rn) satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of θ. Our main result states that (Z,+,0,R) is superstable whenever R is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. (...) We also show that (Z,+,0,<,R) is NIP whenever R is enumerated by a regular sequence that is ultimately periodic modulo m for all m>1. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix (...) with two designated elements. (shrink)

We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.

My aim in this chapter is to clarify the nature of the shift in Feyerabend’s philosophical thinking in the 1970s, focusing on issues of realism, relativism, and pluralism. Contra-Preston, I argue that realism-relativism is a misleading variable for characterizing Feyerabend’s shift in the 1970s. Rather, I characterize this shift as Feyerabend’s expansion of pluralism and suggest that this shift appears in Feyerabend’s publications starting in the late-1960s (e.g., Feyerabend 1968b, 1969b, 1970a, 1970c). Adopting the terminology of Brown and Kidd (...) (2016), this shift is characterized by a move from arguments for pluralism within science to broader arguments for pluralism in society. I argue that this shift was largely due to: (1) Feyerabend’s rejection of an empiricist demarcation criterion for science in the mid-1960s, and (2) Feyerabend’s incorporation of Mill’s arguments for pluralism into his own publications starting in 1970. This shift can be characterized as a broadening or expanding the scope of Feyerabend’s arguments for pluralism from contexts of scientific knowledge to the broader context of social or cultural (including ethical) knowledge. I articulate this argument with reference to the framework for classifying Feyerabend’s works formulated by Brown and Kidd (2016). Against Brown and Kidd (and Preston), I argue that realism-relativism is a red-herring as a variable for distinguishing Feyerabend’s early and middle works. Brown and Kidd’s distinction between pluralism within science and pluralism in society is a more useful variable for characterizing Feyerabend’s shift in thinking in the 1970s. Whereas Preston (1997) and Brown and Kidd (2016) identify the beginning of Feyerabend’s pluralism in society phase in 1978 with the publication of Science in a Free Society (Feyerabend 1978), I suggest that the relevant shift occurs much earlier, and it appears in Feyerabend’s publications starting in 1970 (Feyerabend 1970a, 1970b). On this understanding, Feyerabend’s philosophical shift (c. 1970) should be viewed as an expansion (or broadening) of the scope of application of his pluralist arguments, inspired by Mill’s ethical arguments for pluralism in society (Mill 1859/1977). (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

The Shakespearean image of a tempest and its aftermath forms the beginning as well as a major guiding thread of Logic of Imagination. Moving beyond the horizons of his earlier work, Force of Imagination, John Sallis sets out to unsettle the traditional conception of logic, to mark its limits, and, beyond these limits, to launch another, exorbitant logic—a logic of imagination. Drawing on a vast range of sources, including Plato, Aristotle, Kant, Hegel, Nietzsche, and Freud, as well as developments in (...) modern logic and modern mathematics, Sallis shows how a logic of imagination can disclose the most elemental dimensions of nature and of human existence and how, through dialogue with contemporary astrophysics, it can reopen the project of a philosophical cosmology. (shrink)

We prove that has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank ω. Additionally, our methods yield other superstable expansions such as equipped with the set of factorial elements.

A significant portion of newborns cared for in the neonatal intensive care unit or other ICUs, such as the cardiac ICU, have a medical condition with a genetic component, including congenital malformations, the leading cause of death in the NICU. In many cases, however, it is not clear which condition the child has or what can be done to help him or her. Genomic sequencing of sick newborns has the potential to bypass the prolonged journey to a diagnosis, improving the (...) medical care of individual infants. Sequencing also has the potential to benefit others beyond the child whose genome is sequenced and his or her immediate family. Sequence data from sick newborns will expand medicine's understanding of genetic diseases, leading to improvements in clinicians’ ability to counsel family and to provide even more targeted care. Not only will more frequent use of sequencing lead to discovery of new genes; it will also provide unique insights into the full spectrum of known Mendelian genetic diseases, so‐called phenotypic expansion, when a gene previously recognized as associated with a phenotype is found to be associated with an expanded set of clinical features. Genetic and environmental changes that modify the expression of a genetic disease may also be elucidated. (shrink)

This book is divided into two sections. The first section is concerned with the emergence and expansion of a form of mechanical knowledge defined by us as pre-classical mechanics. The definition purports to the period roughly between the 15th and the 17th century, before classical mechanics was formulated as a coherent and comprehensive mechanical theory in the sequel of Newton's work. The investigation of problems that were isolated from each other at the time but cohered into some kind of (...) stable broad intellectual framework characterizes pre-classical mechanics. The second section is dedicated to specific case studies that present the application of a pre-classical framework to determined problems and to the investigation of specific natural phenomena. It consists of five case studies that illustrate in detail a reconstruction of pre-classical mechanics in particular constellations. Early modern theoretical, technical and social contexts transformed ancient and medieval mechanical knowledge in the course of its transmission. (shrink)

In the early modern period, laws of nature underwent two re markable changes: first, their role in science and philosophy was greatly expanded as they became central to investigation and explanation; and second, ontology (are the laws “real” or not?) and induction emerged as far and away the most important problems of interpretation. The dramatic expansion in the variety of the laws and their range of application, together with the emergence of ontology and induction as (the) paramount problems of (...) interpretation, so revolutionized thinking about such laws that it is hard for us, nowadays, to conceive of them in any other terms. For both historical and philosophical reasons, however, it is important that we try: historical, because as a matter of fact philosophers and scientists did not always conceive of laws of nature as we do today; philosophical, because there are ways of conceiving of the laws, different from the dominant conception nowadays, which, if properly attended to, might prove instructive. (shrink)

We study notions of genericity in models of, inspired by lines of inquiry initiated by Chatzidakis and Pillay and continued by Dolich, Miller and Steinhorn in general model‐theoretic contexts. These papers studied the theories obtained by adding a “random” predicate to a class of structures. Chatzidakis and Pillay axiomatized the theories obtained in this way. In this article, we look at the subsets of models of which satisfy the axiomatization given by Chatzidakis and Pillay; we refer to these subsets in (...) models of as CP‐generics. We study a more natural property, called strong CP‐genericity, which implies CP‐genericity. We use an arithmetic version of Cohen forcing to construct (strong) CP‐generics with various properties, including ones in which every element of the model is definable in the expansion, and, on the other extreme, ones in which the definable closure relation is unchanged. (shrink)

In this book, Michael Arbib, a researcher in artificial intelligence and brain theory, joins forces with Mary Hesse, a philosopher of science, to present an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. The book is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983. The authors reconcile a theory of the individual's construction of reality as a network (...) of schemas 'in the head' with an account of the social construction of language, science, ideology and religion to provide an integrated schema-theoretic view of human knowledge. The authors still find scope for lively debate, particularly in their discussion of free will and of the reality of God. The book integrates an accessible exposition of background information with a cumulative marshalling of evidence to address fundamental questions concerning human action in the world and the nature of ultimate reality. (shrink)

Ideas are the basic building blocks that construct the world we live in. Yet despite the abundance of literature on creativity and innovation, there has been little reflection on ideas as such, their nature and their working mechanisms. This book provides foundations for a reflection focused specifically on ideas - what they are, how they emerge, develop, interact, gain acceptance and become translated into actions. In doing so the book moves beyond the mainstream approaches, offering new, promising theoretical angles, presenting (...) original findings and initiating a research agenda for a science of ideas. This book provides a fresh perspective on how to conceptualize and study ideas and their working mechanisms by treating ideas as the main object of the study and by bringing together a group of original thinkers, scholars, and philosophers to move beyond the mainstream academic discourse on creativity and innovation. (shrink)

Following the recent recognition that humans are an active force in nature that gave rise to a new geological epoch, this article explores the implications of the shift to the Anthropocene for social theory. The argument assumes that the emerging conditions compel an expansion and deepening of the timescale of the social-theoretical perspective and that such an enhancement has serious repercussions for the concept of human agency. First, the Anthropocene is conceptualized as a nascent cognitively structured cultural model rather (...) than simply a geological epoch. Second, the vast and deep timescale, in the light of which the new time unit and its generative agency alone make sense, is analysed along with the human world's objective, sociocultural and subjective axes. Finally, the elements of the concept of agency are recomposed in their temporal and relational contexts. At the reflexive level throughout, the need for social theory to develop a cognitive-theoretical approach in conjunction with a weak naturalistic ontology is suggested. (shrink)

_Purpose._ The main purpose of the study is to examine Kant’s first experience in creating a methodology for determining the holistic, spiritual nature of man, firstly, in terms of identifying the range of phenomena that should be included in the analysis of the spiritual essence of man, and secondly, this experience may be indicative for identifying dead ends in the research of spirituality of modern philosophers. _Theoretical__ basis._ The study is based on the methodology of philosophical anthropology formulated by M. (...) Scheler, which, on the one hand, integrates the achievements of philosophy of life, phenomenology, existentialism and philosophical hermeneutics, and on the other hand, is based on the premise of the initial direct unity of the opposition of mental and physiological processes of human life. The basis for further expansion of the theoretical framework is the experience of spiritual practices of the Ancient East and religious practices of the Christian Middle Ages. Particularly noteworthy is the experience of modern psychotherapeutic practices, which, for all their diversity, have their roots in the depths of primitive beliefs and mysteries of ancient civilisations, and the tips of their branches reaching to the ideas of modern transpersonal psychology. _Originality__._ Firstly, the author uses M. Scheler’s ideas about the spiritual nature of man and the unity of his essential forces: corporeality, senses, feelings, thinking, values of worldview principles and the Absolute to analyse Kant’s anthropological concept. Secondly, Kant’s position on the way of describing human nature reveals contradictions. These contradictions are caused, on the one hand, by the prevailing mechanistic picture of the world, and, on the other hand, by the philosopher’s intuitive assumptions that did not follow from the provisions of his dualistic position (the concepts of mind and soul as used in Kant’s work "Anthropology from a Pragmatic Point of View"). Thirdly, the author identifies those fragments of the said work where Kant assumes the presence of corporeality, but does not clearly formulate its role in building the integral nature of the spiritual man. _Conclusions__._ Immanuel Kant was one of the first to raise the issue of the primary study of human nature in comparison with issues of ontology, epistemology, morality, etc. However, the philosopher failed to create a concept of holistic human nature, the essence of which would be its spiritual core. Kant based his methodology of studying human nature on the dualistic opposition of the essential forces of man. This methodology was conditioned by the dominant mechanistic picture of the world. Kant’s researches in the field of morality, aesthetics, and science were carried out in the cognitive-theoretical plane, so they were unable to reach a true synthesis of the essential forces of man by their methodology. Such a synthesis is possible on the basis of spiritual practice. The results of the study of the experience of the achievements and mistakes of the outstanding philosopher in the study of human nature open up the possibility of further refinement and development of philosophical and anthropological methodology in understanding the spiritual nature of man as a whole through comprehension of the mechanism of spiritual practice and, on this basis, understanding of the phenomenon of spirituality in all historical forms of its manifestation. (shrink)

The basic quasi-Boolean negation expansions of relevance logics included in Anderson and Belnap’s relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter one, of dual intuitionistic nature in some sense. Logics endowed with H-negation are paracomplete; logics with D-negation are paraconsistent. All logics defined in the paper are given a Routley-Meyer ternary relational semantics.

Nature and Colonialism: A Reader provides students with a collection of classic texts on environmental thought and invites them to analyze the texts alongside the often contrarian ideas of expansion, development, and human exceptionalism. Readers are encouraged to consider early perspectives on the hierarchical power relationships between political/economic entities and nature/peoples, and whether foundational views of environmentalism supported the proliferation of colonial ideology. The collection begins with a piece by Zitkala-Sa, a Dakota Sioux activist and writer, and highlights a (...) voice of resistance against the redefinition and reimagining of nature via colonialist thought. Students read seminal works related to nature by Charles Darwin, George Perkins Marsh, Henry David Thoreau, John Muir, and Gifford Pinchot. They are challenged to engage in sociocultural inquiry to better understand how views of the relationship between humans and nature have developed over time, as well as how they continue to shape modern thought and perspectives regarding environmentalism. Designed to stimulate critical thought and inquiry, Nature and Colonialism is an ideal supplementary textbook for courses in environmental science or philosophy, especially those with emphasis on the relationship between humans and their environment." -- Provided by publisher. (shrink)

Focusing on the paradoxes revealed in the multibillion dollar mistake of the Universal Camouflage Pattern and the expansive ambit of a leaked National Security Agency briefing on its approach to “identity intelligence,” this article analyzes security glitches arising from the state’s application of mechanized logics to security and visibility. Presuming that a digital-looking pattern would be more deceptive than designs inspired by natural forms, in 2004, the US Army adopted a pixelated “digital” camouflage pattern, a print that rendered soldiers (...) more, rather than less, visible in the field; it acknowledged this error in 2012. Two years later, “Identity Intelligence: Image Is Everything” visualized the episteme of National Security Agency surveillance with an illustration detailing hundreds of different types of data—biometric, biographic, and contextual—that the agency believes it could exploit to identify and monitor “targets of interest.” These glitches originate in technofetishistic convictions about the nature of digital images and information, limited ways of imagining bodies and lives, and reductive understandings of complex relationships between power and perception. Together, they expose the paradoxes that arise as the state tries to extend its power over the body and the contingency of that power on the smallest of things. (shrink)

In communities of inquiry, dialogue is central as both the means and the outcome of collective inquiry. Indeed, features of dialogue—including formulating and asking questions, developing hypotheses and explanations, and offering and requesting reasons—are often highlighted as playing a significant role in the quality of the dialogue that unfolds. We inquire further into the quality of dialogue by arguing that dialogue should enable the expansion of epistemic openness, rather than its contraction, and that this is especially important in multicultural (...) communities of inquiry to acknowledge the cultural, perspectival, and experiential differences that exist alongside of similarities as resources for dialogue. The purpose of this article is to highlight two discourse practices that exemplify the nature of discourse as social practice and can be used in communities of inquiry. Attending to these discourse practices may enable teachers and students to reflect upon dialogue as it unfolds. First, we situate ourselves in multicultural classrooms in British Columbia, Canada. Then we articulate three principles of communities of inquiry. Next we describe and exemplify two discourse practices: heteroglossic attunement and lexical awareness. When attended to by teachers and students, 1) heteroglossic attunement enables teachers and students to begin to identify, reflect upon, and discuss the voices and perspectives that are drawn upon as participants inquire together and 2) lexical awareness enables teachers and students to begin to identify their attributions of thinking and feeling to social actors and to recognize how naming social actors positions them in an evolving set of social relations. Rather than a neutral medium of communication, social speech and dialogue is inherently value laden. Attending closely to the discourse that constitutes dialogue in a community of inquiry is a significant pedagogical tool for both teachers and students to expand epistemic openness and make visible learning as it unfolds. (shrink)

We give an example of a simple ω-categorical theory such that for any finite set of parameters the corresponding constant expansion does not satisfy the PAPA. We describe a wide class of homogeneous structures with generic automorphisms and show that some natural reducts of our example belong to this class.

Background:A growing number of frameworks for the practice of clinical ethics are described in the literature. Among these, hermeneutical frameworks have helped highlight the interpretive and contextual nature of clinical ethics practice.Objectives:The aim of this article is to further advance this body of work by drawing on the ideas of Charles Taylor, a leading hermeneutical philosopher.Design/Findings:A Hermeneutical Rapprochement Framework is presented for clinical ethics practice, based on Taylor’s hermeneutical “retrieval” and “rapprochement.” This builds on existing hermeneutical approaches for the practice (...) of clinical ethics by articulating a framework with interpretive and reconciliatory scope that extends beyond the presenting “local” context. A Hermeneutical Rapprochement Framework considers broader socio-historical horizons and imaginaries grounded on Taylor’s expansive work in epistemological, ontological, political, and moral philosophy.Discussion:The framework is discussed in terms of how it can be operationalized for clinical practice as well as normative development. Implications for the educational preparation of clinical ethicists are also discussed. Although this work is directly relevant for clinical ethicists, it can also help inform the ethical practice of all clinicians. (shrink)

Wittgenstein's conception of the general form of a truth function given in thesis 6 can be presented as a sort of a trade-off: the author of the Tractatus is unable to reconcile the simplicity of his original idea of a series of forms with the simplicity of his generalisation of Sheffer's stroke; therefore, he is forced to sacrifice one of them. As we argue in this paper, the choice he makes – to weaken the logical constraints put on the concept (...) of a series of forms, thus effectively metaphorising that concept for the sake of upholding the N-operation's role of generating the series – is unfortunate. An actual expansion of a series of truth functions as defined in 6 would require either making decisions at each step (Anscombe) or outwardly rejecting the concept of a series (Sundholm). However, neither is faithful to Wittgenstein's own fundamental intuitions regarding the nature of logic. For this reason, a different trade-off that prioritises upholding the basic features of a series of forms over the simplicity of the operation that generates that series seems to be much more reasonable. We offer such a trade-off by developing the schema already present in the Tractatus (5.101). The key element of our alternative solution is the construction of an operation that can perform the task of producing all consecutive truth functions of a given collection of atomic propositions as an invariant difference between any base and its successor throughout the series. We define it as a composition of three functions (in an algebraic sense): the first turns a symbol of a given truth function into a binary number, the second increments that number, the third turns the result back into a symbol of another truth function. We also show how the operation can be defined by means of a different notation without invoking binary arithmetic. (shrink)

Polyglutamine (polyQ) diseases are genetically inherited neurodegenerative disorders. They are caused by mutations that result in polyQ expansions of particular proteins. Mutant proteins form intranuclear aggregates, induce cytotoxicity and cause neuronal cell death. Protein interaction data suggest that polyQ regions modulate interactions between coiled‐coil (CC) domains. In the case of the polyQ disease spinocerebellar ataxia type‐1 (SCA1), interacting proteins with CC domains further enhance aggregation and toxicity of mutant ataxin‐1 (ATXN1). Here, we suggest that CC partners interacting with the polyQ (...) region of a mutant protein, increase its aggregation while partners that interact with a different region reduce the formation of aggregates. Computational analysis of genetic screens revealed that CC‐rich proteins are highly enriched among genes that enhance pathogenicity of polyQ proteins, supporting our hypothesis. We therefore suggest that blocking interactions between mutant polyQ proteins and their CC partners might constitute a promising preventive strategy against neurodegeneration. (shrink)

The ecological impact of alien species is a function of the area colonised. Impact assessments of alien species are thus incomplete unless they take the spatial component of invasion processes into account. This paper describes a measure, termed expansion speed, that quantifies the speed with which a species increases its spatial presence in an assessment area. It is based on the area of occupancy and can be estimated from grid occupancies. Expansion speed is defined as the yearly increase (...) in the radius of a coherent circle having the same area as the AOO, irrespective of whether the increase is due to natural dispersal or anthropogenic transport. Two methods for estimating expansion speed are presented: one that requires several years of spatio-temporal observation data and explicitly takes detection rates into account; and one that can be used under a situation with sparse data. Using simulations and real-world data from natural history collections, it is shown that the method provides a good fit to observational datasets. Expansion speed has several valuable properties. Being based on AOO, it is an intuitive measure; as it only requires occupancy data, it is comparatively easy to estimate; and because it is a quantitative and generic measure, it increases the testability and comparability of impact assessments of alien species. (shrink)

The main trends of the bioethics development in Belarus have been analyzed on the basis of the materials collected by the Ethics Documentation Center (ISEU, Minsk, Belarus). A critical review of the most important publications in the field since 2000 suggests that development of bioethics in Belarus has occurred in two parallel directions distantly connected to each other: a theoretical direction and a practical one. Despite there are objective and subjective reasons for introducing bioethics in Belarus as an institutionally-organized system (...) based on liberal values such as individual rights and freedom, a range of essential problems could be identified. Non-equivalent regulation of ethical issues in health care and other fields of biomedical research has been emphasized, as well as the problem of unclear hierarchical relationships among institutions dealing with various aspects of bioethics in the country and low ethical and educational level of the social and professional groups involved in further expansion of bioethical knowledge. The contextual aspects of the development of bioethics in the country such as the consequences of the Chernobyl disaster, the prevalence of the authoritarian social morality and traditionally paternalistic nature of the relations between physicians and their patients are discussed. (shrink)

Summary This paper gives an account of the establishment and expansion of a Faculty of Science at the Calvinist ?Free University? in the Netherlands in the 1930s. It describes the efforts of a group of orthodox Christians to come to terms with the natural sciences in the early twentieth century. The statutes of the university, which had been founded in 1880, prescribed that all research and teaching should be based on Calvinist, biblical principles. This ideal was formulated in (...) opposition to the claim of nineteenth-century scientific naturalists that there was an inherent conflict between science and religion. However, despite their selection on the basis of their strict Calvinist beliefs, the first science professors attributed a certain independence to the domain of science. They agreed with the criticism of the conflict thesis, and tried to defuse the tensions between science and religion, although mainly at the level of philosophy and history, looking for example for harmony between science and religion in the past. Ironically, as a result of this approach, the Calvinist scientists mainly contributed to the acceptance of mainstream science in Dutch Calvinist circles, contrary to developments in other countries (notably the USA) where the conflict between science and orthodox Christianity has reasserted itself. (shrink)

Ideas for explaining the mechanism of gravity involving the expansion of matter have been proposed several times since the 1890’s. Due to their radical nature and other reasons, these ideas have not gotten much attention. Another essential feature needed to augment the viability of the model proposed here---even more important than matter expansion---is that of space generation. I.e., the production of space by matter, involving motion into or outfrom a fourth spatial dimension. An experiment is proposed whose result (...) would unequivocally either falsify the model or support it. Analyses of star cluster velocity dispersions suggest that some support already exists. The simplest, most definitive way to test the model is to build and operate an apparatus that may be called a Small Low-Energy Non-Collider. Essentially the same experiment was proposed by Galileo in 1632. We are way overdue to at last bring to fruition this idea put forth by the Father of Modern Science so long ago. (shrink)

The museum of the colonial moment fused the expansion of knowledge and global contact of North Atlantic powers with the aggressive nationalist pride of their hegemonic positions, building national, cultural, and racial identity through framing. How does Black Panther use the museum scene to illustrate a fear of Black museums and the problems of existence observed through the philosophies of Black existentialism and Africana phenomenology? Killmonger's questioning of Wakanda reveals the truth and effect of Wakanda's isolationist history. Yet, Wakanda (...) is nevertheless shown as a representation of African history, not just in the tribal nature of Wakanda's social structure or in the clothing and physical adornments and jewelry, but also in the rituals and spirituality. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras, where * is a continuous t-norm. In this paper we investigate the structure of (...) the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

It can seem obvious that we live in a world governed by laws of nature, yet it was not until the seventeenth century that the concept of a law came to the fore. Ever since, it has been attended by controversy: what does it mean to say that Boyle's law governs the expansion of a gas, or that the planets obey the law of gravity? Laws are rules that permit calculations and predictions. What does the universe have to be (...) like, if it is to play by them? This book sorts the most prominent answers into three families. Laws first arose in a theological context; they govern events only because God enforces them. Those wishing to reverse the order of explanation, and argue that the powers of objects fix the laws, struggled to claim for themselves the results of new science. The stand-off between these two families bred a third which rejects any kind of enforcer for the laws. On this view, laws summarize events; they do not govern anything. This book traces the fortunes of the three families, from their origins to the present day. It uses objections - and the revisions needed to answer them - to produce the best representative of each. Along the way, it tries to settle the rules of this game, the debate over laws of nature. What should we expect from an account of laws? The book aims to help readers develop their own desiderata and judge the merits of the competing positions. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that ([ 0,1], *, 1) is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and ([ 0,1], *, →, 1) becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras ([ 0,1], *, →, 1), (...) where * is a continuous t-norm. In this paper we investigate the structure of the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

Two major clarifications have greatly abetted the understanding and fruitful expansion of the theory of natural selection in recent years: the acknowledgment that interactors, not replicators, constitute the causal unit of selection; and the recognition that interactors are Darwinian individuals, and that such individuals exist with potency at several levels of organization (genes, organisms, demes, and species in particular), thus engendering a rich hierarchical theory of selection in contrast with Darwin’s own emphasis on the organismic level. But a (...) piece of the argument has been missing, and individuals at levels distinct from organisms have been denied potency (although granted existence within the undeniable logic of the theory), because they do not achieve individuality with the same devices used by organisms and therefore seem weak by comparison. We show here that different features define Darwinian individuality across scales of size and time. In particular, species-individuals may develop few emergent features as direct adaptations. The interactor approach works with emergent fitnesses, not with emergent features; and species, as a consequence of their different mechanism for achieving individuality (reproductive exclusivity among subparts, that is, among organisms), express many effects from other levels. Organisms, by contrast, suppress upwardly cascading effects, because the organismic style of individuality (by functional integration of subparts) does not permit much competition or differential reproduction of parts from within. Species do not suppress the operation of lower levels; such effects therefore become available as exaptations conferring emergent fitness—a primary source of the different strength that species achieve as effective Darwinian individuals in evolution. (shrink)

The context-based use of terminology and phraseology is one of the essential building blocks of legal translation. The contextual nature of both components has implications when it comes to designing resources that are adapted to the needs of translators. For Arabic legal translation, there are a multitude of different print and online resources available, however, they do not integrate the context-related parameter for term choice acceptability. In this article, we will describe the main features of certain bilingual legal dictionaries with (...) the English-Arabic and French-Arabic language pairs. We will then make a descriptive assessment of the tools available online, highlighting their limitations. Taking into consideration all the contextual parameters involved in making a translation choice, we will put forward the value of developing bilingual ontologies with Arabic. With the rapid expansion of information technologies, a move towards formalizing legal knowledge will help fill existing gaps in the representation of Arabic legal content and the retrieval of information, providing legal translators with a tool that provides specific details that will enable translators to make informed and relevant decisions, in addition to opening new research perspectives for Arabic legal translation. (shrink)

There are two competing conceptions of the nature and domain of ecological science in the popular and academic literature, an orthodox conception and a more expansive conception. The orthodox conception conceives ecology as a natural biological science distinct from the human social sciences. The more expansive conception views ecology as a science whose domain properly spans both the natural and social sciences. On the more expansive conception, non-traditional ecological disciplines such as ecological psychology , ecological anthropology and ecological (...) economics may legitimately be regarded as sub-disciplines of ecology, and the practitioners of such disciplines as ecologists. The orthodox-expansionist issue is significant both for the practice of ecology and for the self-identity of the philosophy of ecology. I argue in favour of the expansionist conception of ecology on general conceptual grounds, and by developing the case for one particular non-traditional ecological discipline, ecological psychology. (shrink)

Ethical sourcing and socially responsible purchasing is increasingly on the business agenda, but developing and implementing policy and practice across a global network of suppliers is challenging. The purpose of this paper is to expand theory on the nature of linkages between firms in a social network, specifically postulating how ties between organizations can be configured to facilitate development, diffusion, and adoption of sustainability initiatives. The theory development provides a lens with which to view the influence of a firm’s structural (...) embeddedness in its organizational social network on developing, diffusing and adopting sustainability initiatives. The focus is on brokers who in various structural alignments help bridge the focal firm’s sustainability initiatives with distant or disconnected stakeholders the focal firm is trying to reach. The brokers help the focal firm engage these stakeholders by sharing knowledge and information regarding sustainability initiatives and by incorporating localized needs into the development of the initiatives to facilitate better diffusion and adoption. The theoretical contribution of this manuscript is a novel perspective on sustainability in organizational networks. This perspective allows for greater explanatory power regarding how organizations can achieve sustainable outcomes that meet a broad base of stakeholder needs and better facilitate sustainability initiatives across a diverse and expansive network. (shrink)

The decade that has elapsed since the flight of the world's first cosmonaut, Iu. A. Gagarin, has been marked by considerable successes in mastering the cosmos. Lengthy orbital flights and lunar expeditions are already being conducted. Automatic stations are studying the moon, Mars, Venus, and cosmic space. And although we understand that the major trumphs in space are still ahead of us and that today we are merely at the start of the cosmic era, it is nonetheless already possible, in (...) this year of the tenth anniversary of the first human space flight, to draw certain conclusions and discuss the results of human intrusion into the expanses of the universe. (shrink)

Accelerating Expansion explores some of the philosophical implications of modern cosmology, focused on the significance that the discovery of the accelerating expansion of the Universe has for our understanding of time, geometry, and physics. The appearance of the cosmological constant in the equations of general relativity allows one to model universes in which space has an inherent tendency towards expansion. This constant, introduced by Einstein but subsequently abandoned by him, returned to centre stage with the discovery of (...) the accelerating expansion. This pedagogically-oriented essay begins with a study of the most basic and elegant relativistic world that involves a positive cosmological constant, de Sitter spacetime. It then turns to the relatives of de Sitter spacetime that dominate modern relativistic cosmology. Some of the topics considered include: the nature of time and simultaneity in de Sitter worlds; the sense in which de Sitter spacetime is a powerful dynamical attractor; the limited extent to which observation can give us information about the topology of space in a world undergoing accelerated expansion; and cosmologists' favourite sceptical worry about the reliability of evidence and the possibility of knowledge, the problem of Boltzmann brains. (shrink)

The operation of developing a concept is a common procedure in mathematics and in natural science, but has traditionally seemed much less possible to philosophers and, especially, logicians. Meir Buzaglo's innovative study proposes a way of expanding logic to include the stretching of concepts, while modifying the principles which block this possibility. He offers stimulating discussions of the idea of conceptual expansion as a normative process, and of the relation of conceptual expansion to truth, meaning, reference, ontology (...) and paradox, and analyzes the views of Kant, Wittgenstein, Godel, and others, paying especially close attention to Frege. His book will be of interest to a wide range of readers, from philosophers to logicians, mathematicians, linguists, and cognitive scientists. (shrink)

Abstract I develop the idea that there exists a special dimension of depth, or of scale. The depth dimension is physically real and extends from the bottom micro-level to the ultimate macro-level of the Universe. The depth dimension, or the scales axis, complements the standard three spatial dimensions. I discuss the tentative qualities of the depth dimension and the universal arrangement of matter along this dimension. I suggest that all matter in the Universe, at least in the present cosmological epoch, (...) is in joint downward motion along the depth dimension. The joint downward motion manifests itself in the universal contraction of matter. The opposite direction of motion, upward the dimension, would cause the expansion of matter. The contraction of matter is a primary factor, whereas the shrinking of space in the vicinity of matter is a derivative phenomenon. The observed expansion of the Universe is explained by the fact that celestial bodies become smaller due to matter contraction, while the overall space remains predominantly intact. Thus, relative to the contracting material bodies, the total span of cosmic space appears to be becoming vaster. I attempt to explain how the contraction of matter engenders the effect of universal gravity. I use over thirty animated and graphical color visualizations in the text to make the explanation of the proposed ideas more lucid. Content Type Journal Article Category Original Paper Pages 1-39 DOI 10.1007/s10516-011-9178-4 Authors A. Alyushin, Department of Philosophy, The Higher School of Economics, 20 Myasnitskaya Street, 101000 Moscow, Russia Journal Axiomathes Online ISSN 1572-8390 Print ISSN 1122-1151. (shrink)

An examination of the Scientific Revolution that shows how the mechanistic world view of modern science has sanctioned the exploitation of nature, unrestrained commercial expansion, and a new socioeconomic order that subordinates women.

The technique of covers is now well established in semigroup theory. The idea is, given a semigroup S, to find a semigroup having a better understood structure than that of S, and an onto morphism of a specific kind from to S. With the right conditions on , the behaviour of S is closely linked to that of . If S is finite one aims to choose a finite . The celebrated results for inverse semigroups of McAlister in the 1970s (...) form the flagship of this theory.Weakly left quasi-ample semigroups form a quasivariety (of algebras of type(2, 1)), properly containing the classes of groups, and of inverse, left ample, and weakly left ample semigroups. We show how the existence of finite proper covers for semigroups in this quasivariety is a consequence of Ashs powerful theorem for pointlike sets. Our approach is to obtain a cover of a weakly left quasi-ample semigroup S as a subalgebra of S × G, where G is a group. It follows immediately from the fact that weakly left quasi-ample semigroups form a quasivariety, that is weakly left quasi-ample. We can then specialise our covering results to the quasivarieties of weakly left ample, and left ample semigroups. The latter have natural representations as (2, 1)-subalgebras of partial (one-one) transformations, where the unary operation takes a transformation to the identity map in the domain of . In the final part of this paper we consider representations of weakly left quasi-ample semigroups. (shrink)

The epistemic regress problem targets our ability to provide reasons for our beliefs. If we need reasons for our beliefs, then we may also need to provide reasons for those reasons, and so on into regress. Because the epistemic regress problem is often cast as an attack on our ability to achieve justification, it is often thought that epistemic positions which do not rely on notions like justification escape without difficulty. The first goal of this dissertation is to establish the (...) generality of the epistemic regress problem, beyond all technicalities regarding the nature of justification. To do this, I propose a new minimal epistemic standard, that we should hold no bald assertions to be epistemically acceptable. I then use this epistemic standard to construct two new forms of the epistemic regress problem. The first version of the problem is reminiscent of the classical problem in that it attacks our ability to locate any such reason. The second version of the problem attacks our ability to unite any such reason to a particular claim that it is supposed to support. The second goal of this dissertation is to argue that pragmatism fails as a solution to the epistemic regress problem. The pragmatist seeks to avoid the regress by provisionally accepting their beliefs to be evaluated later. In so doing, the pragmatist seeks to have reasonable beliefs, but only after having accepted them provisionally. After eliminating other theoretical alternatives that the pragmatist may use to bolster their position, I argue that the pragmatic solution is not successful because (1) it is committed to some foundational beliefs that are necessary to facilitate the evaluation of their provisional beliefs which fall prey to the regress, and (2) the employment of these criteria of evaluation encounters the regress in its second form. I conclude by advocating for an understanding of Pyrrhonian skepticism under which we are not required to eschew our everyday beliefs that is nevertheless commensurate with the epistemic regress. (shrink)