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.

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)

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)

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)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies (...) thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (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.

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)

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

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)

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)

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.

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)

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)

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

ABSTRACT A complete axiomatic system CTLrp is introduced for a temporal logic for finitely branching ω+ -trees in a language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTLrp. 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)

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)

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)

Some ideas on Political Philosophy and Social Anthropology.

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)

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)

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.

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)

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)

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)

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)

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)

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?

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. -/- .

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.

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.

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.

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 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)

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)

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)

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)

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)

This research paper presents the development and evaluation of an expert system for diagnosing kidney diseases. The expert system utilizes a decision-making tree approach and is implemented using the CLIPS and Delphi frameworks. The system's accuracy in diagnosing kidney diseases and user satisfaction were evaluated. The results demonstrate the effectiveness of the expert system in providing accurate diagnoses and high user satisfaction.

Explains Aristotle's views on the possibility of continuous variation between biological species. While the Porphyrean/Linnean classification of species by a tree suggests species are distributed discretely, Aristotle admitted continuous variation between species among lower life forms.

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 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)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to (...) target a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (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. -/- .

Two large lexicological projects for the Center for the Greek Language, Thessaloniki, were to be published in print and on the WWW, which meant that two conversions were needed: a near-database file had to be converted to fully formatted file for printing and a fully formatted file had to be converted to a database for WWW access. As it turned out, both conversions could make use of existing clues that indicated the kinds of information contained in each particular piece of (...) text, thus separating fields from each other and ordering them into a tree-like structure. This indicates that both forms of the dictionaries, print and database, stem from the same cognitive need to categorize information into a kind of information before further understanding – be this for a human reader or for a machine. (shrink)

Proof-theoretic models of grammar are based on the view that an explicit characterization of a language comes in the form of the recursive enumeration of strings in that language. That recur-sive enumeration is carried out by a procedure which strongly generates a set of structural de-scriptions Σ and weakly generates a set of strings S; a grammar is thus a function that pairs an element of Σ with elements of S. Structural descriptions are obtained by means of Context-Free phrase structure (...) rules or via recursive combinatorics and structure is assumed to be uniform: binary branching trees all the way down. In this work we will analyse natural language constructions for which such a rigid conception of phrase structure is descriptively inadequate, and pro-pose a solution for the problem of phrase structure grammars assigning too much or too little structure to natural language strings: we propose that the grammar can oscillate between levels of computational complexity in local domains, which correspond to elementary trees in a lexicalised Tree Adjoining Grammar. (shrink)