We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the (...) four classes of trees mentioned above. (shrink)

Our aim here is to lay the groundwork for formal tree-ring analysis combining data from dendrochronology with formal techniques from semantics. We will present the basic syntax of, and basic compositional semantics of tree-ring structures.

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of (...) class='Hi'>trees in terms of the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

The paper aims at critical reconsideration of a motif popular in Indian literary, ritual, and pictorial traditions – a tree goddess (yakṣī, vṛkṣakā) or a woman embracing a tree (śālabhañjīkā, dohada), which points to a close and intimate bond between women and trees. At the outset, I present the most important phases of the evolution of this popular motif from the ancient times to present days. Then two essential characteristics of nature recognized in Indian visual arts, literature, religions and (...) philosophy will be distinguished: (1) a dynamic, creative, self-sufficient and inexhaustible power, and (2) a passive, merely reproductive or vegetative, and dependent field of potentiality. The paper is to demonstrate the interdependence of the popular concepts of nature identified with femininity, and their iconic representations circulating for centuries in Indian culture, with a specific line of argument repeatedly used in social practices and public debates. While doing so, I consider the semiotic function of a cultural topos which proves to be an effective instrument for construing and supporting the gender roles and gender identities. As a modern example illustrating vitality and persuasive power of the motif of yakṣī and śālabhañjīkā, I refer to the Chipko Movement, a group of rural women based in the Garhwal Himalayas (state Uttarakhand), who fought against the mass cut of trees in the 1970s. They were involved in the wide-spread environmental campaign which significantly affected the ecological policy of the local and state authorities. Thus, a traditional motif of the visual arts has been revived and re-elaborated by the activists of this ecofeminist movement through converting the symbolic potential of yakṣī/śālabhañjīkā into social and political power. (shrink)

This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.

A common complaint about Kantian ethics is that it cannot do justice to the social or intersubjective dimensions of human life – that, unlike Fichte, Hegel, or Marx, Kant remains caught within a fundamentally individualistic perspective on practical or moral questions. In this way, the objection goes, Kantian ethics leaves agents alienated from others around them and their larger community. While not entirely unnatural, I argue here that such concerns rest on a mischaracterization of where the most serious problems in (...) this region for Kant lie. Far from being too individualistic, the real worry about Kantian moral theory is that it may not be individualistic enough. In a contemporary context, where Kantian ethics is associated with the “self-constitution” of agents or the “separateness of persons”, the idea that it is insufficiently concerned with individual persons may come as a surprise. But it would not surprise Kant’s immediate successors like Fichte and Hegel. For this is where they often located the deepest problems facing Kant’s moral philosophy. As we will see, in making such points, they were in some ways closer to Kant’s own views than they recognized. Nonetheless, if this is right, Kantian ethics may in fact more anti-individualistic than many of the ethical systems that followed in his wake. And the most radical elements in Kant’s ethics might point, less to Fichte and Hegel, and more to figures like Schopenhauer who sought to develop a synthesis of Kant and ideas from South Asian philosophy. Perhaps, we might say, Kant has been sitting under the Bodhi tree all along? (shrink)

The Tree of Life has traditionally been understood to represent the history of species lineages. However, recently researchers have suggested that it might be better interpreted as representing the history of cellular lineages, sometimes called the Tree of Cells. This paper examines and evaluates reasons offered against this cellular interpretation of the Tree of Life. It argues that some such reasons are bad reasons, based either on a false attribution of essentialism, on a misunderstanding of the problem of lineage identity, (...) or on a limited view of scientific representation. I suggest that debate about the Tree of Cells and other successors to the traditional Tree of Life should be formulated in terms of the purposes these representations may serve. In pursuing this strategy, we see that the Tree of Cells cannot serve one purpose suggested for it: as an explanation for the hierarchical nature of taxonomy. We then explore whether, instead, the tree may play an important role in the dynamic modeling of evolution. As highly-integrated complex systems, cells may influence which lineage components can successfully transfer into them and how they change once integrated. Only if they do in fact have a substantial role to play in this process might the Tree of Cells have some claim to be the Tree of Life. (shrink)

Do trees of life have roots? What do these roots look like? In this contribution, I argue that research on the origins of life might offer glimpses on the topology of these very roots. More specifically, I argue (1) that the roots of the tree of life go well below the level of the commonly mentioned ‘ancestral organisms’ down into the level of much simpler, minimally living entities that might be referred to as ‘protoliving systems’, and (2) that further (...) below, a system of roots gradually dissolves into non-living matter along several functional dimensions. In between non-living and living matter, one finds physico-chemical systems that I propose to characterize by a ‘lifeness signature’. In turn, this ‘lifeness signature’ might also account for a diverse range of biochemical entities that are found to be ‘less-than-living’ yet ‘more-than-non-living’. (shrink)

The purpose of this paper is to point the way to the money tree. Currently, almost all investment professionals think that outperformance requires an “edge,” that is, the ability to predict the future to some degree. In this paper, I suggest that money can be made in a 0, or even slightly negative, expected value environment by carefully choosing investment/bet sizes. Philosophical considerations are found mainly in Section 4.

In Sense and Content , Christopher Peacocke points out that two equally-sized trees at different distances from the perceiver are normally represented to be the same size, despite the fact that in a certain sense the nearer tree looks bigger ; he concludes on the basis of this observation that visual experiences possess irreducibly phenomenal properties. This argument has received the most attention of all of Peacocke’s arguments for separatism—the view that the intentional and phenomenal properties of experiences are (...) independent of one another. However, despite its notoriety, the argument is widely misunderstood and underappreciated. I argue that once the structure of the argument is clarified and the replies that have been offered are considered closely, one must conclude that the trees argument is successful. (shrink)

Pereira’s “The Projective Theory of Consciousness” is an experimental statement, drawing on many diverse sources, exploring how consciousness might be produced by a projective mechanism that results both in private selves and an experienced world. Unfortunately, pulling together so many unrelated sources and methods means none gets full attention. Furthermore, it seems to me that the uncomfortable breadth of this paper unnecessarily complicates his project; in fact it may hide what it seeks to reveal. If this conglomeration of diverse sources (...) and methods were compared to trees, the reader may feel like the explorer who cannot see the forest for the trees. Then again, it may be the author who is so preoccupied with foreground figures that the everpresent background is ultimately obscured. (shrink)

Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.

Public parks play important roles in conserving biodiversity, promoting environmental sustainability, fostering community engagement, and enhancing the overall well-being of residents in urban areas. Nevertheless, finance is needed to maintain and expand the greenspaces in the parks. The current study aims to examine how perceptions of biodiversity loss consequences and park visitation frequency influence the residents’ willingness to contribute financially to tree-planting projects in public parks. Employing the Bayesian Mindsponge Framework analytics on a dataset of 535 Vietnamese urban residents, we (...) discovered that perceived health loss and knowledge erosion as consequences of biodiversity loss and park visitation frequency are directly positively associated with financial donation willingness. Meanwhile, the perceived economic growth loss was found to be indirectly positively associated with donation willingness through park visitation frequency, whereas the perceived loss of nature-based recreation opportunities exhibits the opposite indirect association. Based on these results, communication strategies focusing on the multifaceted benefits of biodiversity preservation and investments in public parks are recommended to improve urban residents’ financial support to park panting initiatives, accessibility to greenspaces, and connections with nature. These are crucial for promoting an eco-surplus culture that enhances biodiversity conservation and human well-being. (shrink)

This paper presents an analysis of Seneca's 58th letter to Lucilius and Porphyry's Isagoge, which were the origin of the tree diagrams that became popular in philosophy and logic from the early Middle Ages onwards. These diagrams visualise the extent to which a concept can be understood as a category, genus, species or individual and what the method of dihairesis (division) means. The paper explores the dissimilarities between Seneca's and Porphyry's tree structures, scrutinising them through the perspective of modern graph (...) theory. Although traditional trees can be interpreted in a modern way, their terms and definitions defy modern standardisation. These distinctions are not only useful for differentiating between Seneca's and Porphyry's trees, but also for comprehending the evolution of this philosophical tradition. Thus the paper highlights the continued significance of these tree diagrams in analysing concepts and categories in philosophy and structuring objects and information in modern fields such as artificial intelligence, computer science, bioinformatics, graph theory, and many more. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for (...) reasoning about branching time. (shrink)

The multifaceted importance of old forests and large ancient trees is evident in both their ecological and cultural significance. A recent article underscores the urgency of preserving ancient and rare trees due to their crucial role in forest ecosystems. By providing a global perspective on tree biodiversity and analyzing the age distribution and biodiversity of tree species worldwide, the article highlights the critical need to protect these trees to prevent species extinction and foster biodiversity. Furthermore, studies emphasize (...) the importance of rare trees, some of which remain undiscovered, in maintaining the overall health and resilience of forest ecosystems. (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

Contrary to the dominant arguments put forth by Black feminist scholars, this essay argues that W.E.B. Du Bois’ pioneering role in establishing the principles of Black sociology, ethnological arguments and long-range development of Pan-Africanism as an ideological rival to colonial imperialism/Westernism suggests that the masculine roots informing his approach to the Black intellectual endeavor is a positive and humanistic rather than a restrictive marker of his thought. If Du Bois’ masculinization of Black agency and intellectual endeavors were simply indicative of (...) mimesis – his internalization of the very sexism against which he fought anchored to a view of freedom for Black people which materialized as a struggle among men over the control of the bodies of Black women – then there should be textual evidence demonstrating that he (like some of his Black female peers) supported the relegation of Black women to domesticity or was in favor of US imperialism against darker races abroad. But rather than an imitative aspiration towards Black nationalist patriarchy and the subordination of Black women to men’s will, the logical consequence of Du Bois’ masculinist (ethnological) thinking as it relates to the Black intellectual endeavor and the problem of race in America materialized as the formulation of Black sociology to study Black men and women as agents of history who were endowed with unique insights stemming from their experiences of marginalization, his articulation of an anti-colonial and egalitarian Black manhood, and his laying an intellectual basis for Pan-Africanism to emerge as an anti-colonial ideology. (shrink)

لم يكن العلم يومًا غريبًا عن الفلسفة، بل لقد أدت العلاقة الجدلية المستمرة بينهما إلى مزيد من المصداقية والقبول لبعض النماذج التفسيرية، سواء منها ما كان في الأصل نموذجًا فلسفيًا ثم وجد دعمًا علميًا – كنموذج الذرات والفـراغ عند «ديمرقــريطس» وتبنى النظرية الذرية الحديثة لإطاره العام – أو ما كان منها نموذجًا علميًا تم تداوله فلسفيًا – كنموذج النقاط المادية المتجاذبة عند »نيوتن« وتبنى معظم فلاسفة الحقبة الحديثة له. وفي هذا المقال يهتم الدكتور صلاح عثمان بمناقشة نموذج شجرة الكون لفيلسوف (...) العلم الكندي المعاصر «ستورس مكال»، وأوجه الاختلاف بينه وبين النماذج التفسيرية المماثلة القائمة على فكرة متصل الزمان – مكان، ويُركز على ما يقترحه النموذج من حلٍ لواحدةٍ من أصعب مشكلات العلم والمنطق والفلسفة، ألا وهى مشكلة تحديد شروط الصدق للقضايا المنطقية الشرطية المناقضة للواقع؛ أعني تلك التي لا تُعبر عن حوادث وقعت بالفعل، بل كان من المفترض أن تقع، وبالتالي يصعب تحديد قيمة صدق (صادقة أو كاذبة) لها. هذا النوع من القضايا يرتبط ارتباطًا وثيقًا بتصور القانون العلمي، وتحفل به المقاربات التاريخية والخطط المستقبلية للأفراد والحكومات، لذا تعددت محاولات معالجته من قبل الفلاسفة، وهو ما تجلى مثلاً في النظرية الاستدلالية للقضايا الشرطية التي اقترحها «نيلسون جودمان», ونظرية العقول واعتقاداتها للفيلسوف الإنجليزي «فرانك رامزي», ونظرية العوالم الممكنة للفيلسوفين الأمريكيين المعاصـرين «روبرت ستالنيكر»، و«ديفيد لويس»، وأخيرًا نظرية النموذج الشجري لـ «ستورس مكال». وينتهي المقال إلى نتيجة مؤداها نجاح النموذج في معالجة المشكلة، وإن كان ذلك مرهونًا بالتأكيد على موضوعية قيم الصدق والاحتمال التي تحوزها القضايا الشرطية في مقابل الذات المُدركة، تلك التي تنتقل عبر غُرف انتظار متعددة تقترب رويدًا رويدًا من الحقيقة. . (shrink)

This paper will compare the concept of nature as it appears in the philosophies of the American pragmatist John Dewey and the Chinese text known as the Zhuangzi, with an aim towards mapping out a heuristic program which might be used to correct various interpretive difficulties in reading each figure. I shall argue that Dewey and Zhuangzi both held more complex and comprehensive philosophies of nature than for which either is typically credited. Such a view of nature turns on the (...) notion of continuity, particularly that between an experiencing organism [Dewey’s “live creature”] and the conditioning environment [Zhuangzi’s “crooked tree”]. Where Dewey’s and Zhuangzi’s ideas about nature converge, one finds similarities in prescriptions made for human action, and in the few places where they differ, one finds mutually complementary insights. (shrink)

Observational and experimental discoveries of new factual entities such as objects, systems, or processes, are major contributors to some advances in the life sciences. Yet, whereas discovery of theories was extensively deliberated by philosophers of science, very little philosophical attention was paid to the discovery of factual entities. This paper examines historical and philosophical aspects of the experimental discovery by Carl Woese of archaea, prokaryotes that comprise one of the three principal domains of the phylogenetic tree. Borrowing Kuhn’s terminology, this (...) discovery of a major biological entity was made during a ‘normal science’ project of building molecular taxonomy for prokaryotes. Unexpectedly, however, an observed anomaly instigated the discovery of archaea. Substantiation of the existence of the new archaeal entity and consequent reconstruction of the phylogenetic tree prompted replacement of a long-held model of a prokarya and eukarya bipartite tree of life by a new model of a tripartite tree comprising of bacteria, archaea, and eukarya. This paper explores the history and philosophical implications of the progression of Woese’s project from normal science to anomaly-instigated model-changing discovery. It is also shown that the consequential discoveries of RNA splicing and of ribozymes were similarly prompted by unexpected irregularities during normal science activities. It is thus submitted that some discoveries of factual biological entities are triggered by unforeseen observational or experimental anomalies. (shrink)

In an online, participatory class, we interpreted 'The Dream of Geese Nesting in Trees' knowing nothing of the dreamer beyond age and gender, and having none of the dreamer’s associations. Our interpretation included predictions about the dreamer. When it was complete, we asked the bringer of the dream (who had until then been mostly silent and who also gave no visual feedback to our discussion) to give us more information about the dreamer. Our main predictions were confirmed. Goslings are (...) falling on the dreamer’s head. This record is another iteration of an experiment that will be described more fully in the paper, 'The Dream of the Six-Legged Dog: An Experimental System that Tests Meaning,' soon to be published. This iteration repeats and confirms the evidence given in that paper. AUDIO RECORD OF COMPLETE CLASS: link is at top of paper you can download from this page. (shrink)

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural (...) dual of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

In a previous article, Philosophy of Blockchain Technology - Ontologies, I talked about applying Paul Ricœur's narrative theory in developing an ontology of blockchain technology. In this article I intend to highlight the idea of an analogy between blockchain technology and the causal theories of reference. Such a theory can be interpreted as a result of syntactic notation in a reference field, based on the narrative theory developed by Paul Ricœur in Time and Narrative. DOI: 10.13140/RG.2.2.26682.95684.

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)

This paper discusses similarities of both form and meaning between two symbolic structures: the Diagram of the Supreme Pole of Song Neo-Confucianism and the Kabbalistic Tree of medieval Jewish mysticism. These similarities are remarkable in the light of the many differences that exist between Chinese and Judaic thought, which also manifest in the two symbols. Intercultural influence might account for the similarities, but there is no historical evidence for such influence. An alternative explanation would attribute the similarities to the ubiquity (...) of religious-philosophical ideas about hierarchy, polarity, and macrocosm-microcosm parallelism, but this does not adequately account for the similar overall structure of the symbols. The question of how to understand these similarities remains open. (shrink)

Some ideas on Political Philosophy and Social Anthropology.

In seeing a tilted penny, we are experientially aware of both its circularity and another shape, which I dub ‘β‐ellipticality’. Some claim that our experiential awareness of the intrinsic shapes/sizes of everyday objects depends upon our experiential awareness of β‐shapes/β‐sizes. In contrast, I maintain that β‐property experiences are the result of what Richard Wollheim calls ‘seeing‐in’, but run in reverse: instead of seeing a three‐dimensional object in a flat surface, we see a flat surface in a three‐dimensional object. Using this (...) new account, I re‐examine the phenomenological directness of visual experience and undermine an argument for skepticism about β‐property experiences. (shrink)

Internodons are a formalization of Hennig's concept of species. We present an alternative construction of internodons imposing a tree structure on the genealogical network. We prove that the segments (trivial unary trees) from this tree structure are precisely the internodons. We obtain the following spin-offs. First, the generated tree turns out to be an organismal tree of life. Second, this organismal tree is homeomorphic to the phylogenetic Hennigian species tree of life, implying the discovery of a multi-level tree of (...) life: this phylogenetic tree can be obtained by zooming out from the organismal tree, or conversely, the organismal tree of life can be generated by expanding the phylogenetic nodes into unary trees. Finally, the definition of the organismal tree allows an efficient algorithmic transformation of a given genealogical network into its corresponding phylogenetic species tree of life. The latter will be presented in a separate paper. (shrink)

There are numerous ways in which “the particular”—particular individuals, particular ideologies, values, beliefs, and perspectives—are sometimes overlooked, ignored, or even driven out of the healthcare profession. In many such cases, this is bad for patients, practitioners, and the profession. Hence, we should seek to find a place for the particular in health care. Specific topics that I examine in this essay include distribution of health care based on the particular needs of patients, the importance of protecting physicians’ right to conscientious (...) objection, the value in tolerating a plurality of moral and medical perspectives within the field, and more. Ultimately, as the imagery in the essay’s title suggests, I argue that if one cares about the “well-being” of the medical profession, then one should seek to avoid destroying the many diverse and particular entities that constitute it. (shrink)

The Latin translation of Sextus Empiricus’ ‘Outlines of Pyrrhonism’, published by Henri Estienne in 1562, are amongst the most influential texts in the history of scepticism. And yet, we still lack a complete and detailed study of their reception in modern times. Through investigation of the emblem on the frontispiece of the book, this paper argues that Estienne’s motivations for the publication should be interpreted as essentially anti-dogmatic and humanistic in nature. -/- .

In this paper, we give a flavour of how, against the odds, Reggio-Emilia-inspired pedagogical documentation can work in reconceptualizing environmental education, reconfiguring child subjectivity and provoking an ontological shift from autopoiesis to sympoiesis in teacher education. Working posthuman(e)ly and transdisciplinarily across three foundation phase teacher education courses at a university in South Africa, we situate our teaching within current environmental precarities. We show how we stirred up trouble in and outside our university classroom and provoked our students to “make kin” (...) with children, each other, other animals, and the more-than-human, but also to stay with the trouble, that is, to learn to be truly present in colonized spaces. (shrink)

Various syntacticians have argued that coordinate structures involve a three-dimensional syntactic structure. This paper proposes an interpretation of three-dimensional syntactic structures in terms of plural reference and argues that such structures give further support for plural reference, the view that plural terms refer to several entities at once, rather than referring to a single plural individual.

Syntacticians have proposed three-dimensional syntactic structures to account for the peculiarities of coordination. This paper proposes a way of interpreting such structures and gives an account of sentences of the sort 'John bought and Mary sold a total of ten cars' based on a notion of 'implicit' coordination.

The debate over ape personhood is of great social and moral importance. For more than twenty-five years, attorney Steven Wise has been arguing that animals who have cognitive complexities similar to humans should be legally granted basic rights of au- tonomy. In my view, granting personhood status and other rights to great apes are at- tainable goals. But how should we go about it?

Roderic Page’s new book, Tangled Trees: Phylogeny, Cospeciation and Coevolution (2003), is a worthwhile read for anyone interested in either methodological issues in systematics, or how organisms shape one another’s selective environments. “Cospeciation,” for the uninitiated, is the concurrent speciation of two or more lineages that are ecologically associated (e.g. host-parasite associations, as well as mutualistic or symbiotic associations). “Coevolution,” in contrast, is the reciprocal adaptation of hosts and parasite taxa. The main focus of Page’s book is thus when, (...) how and why the branching process of host taxa mirrors that of parasite taxa. “Parasite” here is broadly conceived to be anything from a louse to a virus to a retrotransposon, and “host” may be anything from a genome to a whale. (shrink)

In a recent commentary, Kim and colleagues argued that minimal-risk research should be deregulated so that such studies do not require review by an institutional review board. They claim that regulation of minimal-risk studies provides no adequate counterbalancing good and instead leads to a costly human subjects oversight system. We argue that the counterbalancing good of regulating minimal-risk studies is that oversight exists to ensure that respect for persons and justice requirements are satisfied when they otherwise might not be.

One of the most influential and controversial schools of 20th century Thomism—especially in North America—is the “River Forest School” or “River Forest Thomism”. And one of the most influential and controversial theses associated with that school is the thesis that metaphysics cannot be established as a distinct and autonomous science unless one has already proven the existence of a positively immaterial being. The purpose of this paper is to show that River Forest Thomism cannot and should not be reduced to (...) that controversial thesis. As such, rejection of the thesis cannot and should not constitute a rejection of the school. Indeed, as soon as we understand what River Forest Thomism was really about, it will become clear that all Thomists should be River Forest Thomists. (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)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to (...) tackle both syntactic and semantic underspecification using descriptions. (shrink)

As global temperatures rise and extreme weather events become more frequent, the focus on urban trees is intensifying. Research highlights their crucial role in mitigating climate change, improving public health, and providing significant economic benefits.

Norbert Wiener’s idea of “cybernetics” is linked to temporality as in a physical as in a philosophical sense. “Time orders” can be the slogan of that natural cybernetics of time: time orders by itself in its “screen” in virtue of being a well-ordering valid until the present moment and dividing any totality into two parts: the well-ordered of the past and the yet unordered of the future therefore sharing the common boundary of the present between them when the ordering is (...) taking place by choices. Thus, the quantity of information defined by units of choices, whether bits or qubits, describes that process of ordering happening in the present moment. The totality (which can be considered also as a particular or “regional” totality) turns out to be divided into two parts: the internality of the past and the externality of the future by the course of time, but identifiable to each other in virtue of scientific transcendentalism (e.g. mathematical, physical, and historical transcendentalism). A properly mathematical approach to the “totality and time” is introduced by the abstract concept of “evolutionary tree” (i.e. regardless of the specific nature of that to which refers: such as biological evolution, Feynman trajectories, social and historical development, etc.), Then, the other half of the future can be represented as a deformed mirror image of the evolutionary tree taken place already in the past: therefore the past and future part are seen to be unifiable as a mirrorly doubled evolutionary tree and thus representable as generalized Feynman trajectories. The formalism of the separable complex Hilbert space (respectively, the qubit Hilbert space) applied and further elaborated in quantum mechanics in order to uniform temporal and reversible, discrete and continuous processes is relevant. Then, the past and future parts of evolutionary tree would constitute a wave function (or even only a single qubit once the concept of actual infinity be involved to real processes). Each of both parts of it, i.e. either the future evolutionary tree or its deformed mirror image, would represented a “half of the whole”. The two halves can be considered as the two disjunctive states of any bit as two fundamentally inseparable (in virtue of quantum correlation) “halves” of any qubit. A few important corollaries exemplify that natural cybernetics of time. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for (...) the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

This paper examines Milner and Goodale’s hypothesis about the two visual streams and raises the questions of whether properties in egocentric space (commonly associated with the vision-for-action, or "dorsal," stream) can be part of the phenomenal content of perceptual experience, or only properties in allocentric space (commonly associated with the vision-for-perception, or "ventral," stream) can play this role, and how (if at all) properties in egocentric space differ from properties in allocentric space. These questions are reminiscent of issues raised by (...) Christopher Peacocke's "equal-sized trees" case: if you are looking at equal-sized trees on the side of a road, the trees will phenomenally look to you to be equally tall. But it is also true that a tree will take up more of the space in your visual field the closer it is to you. So, the equal-sized trees will also phenomenally look to you to have different heights. Your (visual) perceptual experience is not illusory. That is, the trees veridically look to you to have the same height, and they also veridically look to you to have different heights. Call the sort of issue raised here the "problem of dual looks." I provide a solution to the problem of dual looks that helps shed light on whether properties in egocentric space can be part of the phenomenal content of perceptual experience, and how (if at all) properties in egocentric space differ from properties in allocentric space. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then (...) consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

The short paper introduces the concept of possible branches of double-stranded DNA (later sometimes called palindromes): Certain sequences of nucleotides may be followed, after a short unpaired stretch, by a complementary sequence in reversed order, such that each DNA strand can fold back on itself, and the DNA assumes a cruciform or tree-like structure. This is postulated to interact with regulatory proteins. -/- .