Replacing the value-free ideal (VFI) for science requires attention to the broader understanding of how science in society should function. In public spaces, science needed to project the VFI in norms for science advising, science education, and science communication. This resulted in the independent science advisor model and a focus on science literacy for science education and communication. Attending to these broader implications of the VFI which structure science and society relationships is crucial if we are to properly replace (...) the VFI with a better ideal. (shrink)

Expert knowledge regularly informs personal and civic-decision making. To decide which experts to trust, lay publics —including policymakers and experts from other domains—use different epistemic and non-epistemic cues. Epistemic cues such as honesty, like when experts are forthcoming about conflicts of interest, are a popular way of understanding how people evaluate and decide which experts to trust. However, many other epistemic cues, like the evidence supporting information from experts, are inaccessible to lay publics. Therefore, lay publics simultaneously use second-order social (...) cues in their environment to inform decisions to trust. These second-order social cues, or ‘social indicators of trust’, prevent lay publics from having to trust blindly. Social indicators of trust therefore inform lay publics’ epistemic vigilance, or constant low level-monitoring of testimony from experts. This special issue examines the nature, acquisition and application of social indicators of trust for scientific experts and institutions. It also raises questions about the types of trust asked of lay publics and challenges traditional normative assumptions about the relationship between science and lay publics through study of attitudes, values, and experiences. The issue descriptively re-examines the structure of institutions, their role and methods for ferrying information, as well as how social indicators operate in times of crisis. In this collection of works, we bridge history, science, philosophy of science, science and technology studies, science communication and social epistemology, to broaden the discourse on trust in experts and more accurately reflect the imperfect yet indispensable endeavour that trusting is. (shrink)

We introduce the notion of a Minkowskian Branching Structure ("MBS" for short). Then we prove some results concerning the phenomenon of funny business in its finitary and infinitary variants.

Abeill´e and Godard (1994) seek to show that the rightward branching analysis of French tense auxiliaries shown in (1b), that I argued for in Manning (1992) and which is widely adopted in general, is wrong, and that rather we should adopt a flat analysis for this construction as shown in (1c), and they show how such an analysis can be realized within HPSG (Pollard and Sag 1994).

Plants are considered as archetypes of the ramification phenomenon but numerous elementary processes occur in the elaboration of the shaping of each species. This paper aims to identify the part ascribed to different mechanisms in the morphogenesis of a Thallophyte, the red alga Antihamnion plumula.Agonistic-antagonistic models (Bernard-Weil, 1988) can be applied to this alga whose thallus includes two different kinds of whorls, pleuridian and cladomian. In each whorl the agonistic and antagonistic effects are expressed by the full development (S) of (...) the two branches and by their symmetry rate (R) respectively. Variations in S and R show the existence of particular pleuridian whorls having an intermediary dissymmetry and a rhythmic arrangement similarly to that of the cladomian whorls. A unilateral change of the system (removal of a lateral cladome) induces a transitory destabilisation mainly manifested by the stimulating ascendant flow throughout the thallus. (shrink)

In this paper I analyze the temporal structures that are appropriate to study the notion of point of view. When we analyze the points of view and their structure, it seems clear that we must take into account the time t in which a point of view is attributed to a subject. A two-dimensional temporal logic which combines a modal dimension for possibilities and a temporal one for the flow of time, offers a clear view of the temporary location (...) of a point of view. In this logic, we have histories, thanks to the temporal dimension, and evaluation is in two indices, time and history. These stories can be seen as different scenarios, providing a clear advantage when applying to the analysis of the notion of point of view. The conclusion is that, in order to give a proper approach for the notion of point of view, all these aspects should be combined. (shrink)

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic ( ETL : Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic ( DEL : Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension (...) with the labeled past-operator “ P ϵ ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc. (shrink)

Branching time is a popular theory of time that is intended to account for the openness of the future. Generally, branching-time models the openness of the future by positing a multiplicity of concrete alternative futures mirroring all the possible ways the future could unfold. A distinction is drawn in the literature among branching-time theories: those that make use of moment-based structures and those that employ history-based ones. In this paper, I introduce and discuss a particular kind of (...) openness relative to the possibility that time ends (doomsday). I then show that whereas moment-based branching structures cannot represent this kind of openness, history-based structures can account for it. The conclusion is that history-based structures have an advantage over moment-based ones. (shrink)

The article discusses the relation between two intuitive properties of time, namely its flow and branching. Both properties are introduced first in an informal way and compared. The conclusion of this informal analysis is that the two properties do not entail each other nor are they in contradiction. In order to verify this, we briefly introduced the branching temporal structures called branching space-time, branching continuation and their versions Minkowski branching structure and branching time (...) with Instants. Two possible ways how to formalize flow of time are given, one based on the definition of flow of time from temporal logics and the other based on relativistic physics. The latter is used to define flow of time with the use of linearly ordered points on worldines while respecting the ontological definiteness given by the difference of the past and the future. This is formalized in each of the branching models and it is concluded by comparing the resulting properties that branching and flow, even in the formal sense, do not entail each other. However, notions connected with flow of time represent a useful basis for semantics of the branching models. (shrink)

Noël Carroll’s (“Moderate Moralism”) conceptual framework includes four positions: radical autonomism, moderate autonomism, moderate moralism, and radical moralism. Alessandro Giovanelli (“The Ethical Criticism of Art: A New Mapping of the Territory”) argues that the radical positions, as Carroll defines them, have no modern day adherents. Therefore, the framework should be adapted such that we can see interestingly new distinctions. On Giovanelli’s new framework Carroll’s account is a moderate autonomist view. In this paper I adopt Giovanelli’s framework and raise a different (...) objection to Carroll’s account. I argue that Carroll’s account possesses a branching structure, since on this account moral and aesthetic criticism are not linearly related. Because of this structure, Carroll’s theory faces a dilemma: it’s either self-undermining or consistent with moderate autonomism, even in his own framework. Drawing on Kendall Walton’s (“Categories of Art”) notion of categories of art, I provide an account that is both non-branching and moderate moralist in Giovanelli’s framework. It’s non-branching because moral criticism bears a linear causal relation to aesthetic criticism. (shrink)

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (...) (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

The question as to whether some objects are possible worlds that have an initial segment in common, i.e. so that their fusion is a temporal tree whose branches are possible worlds, arises both for those who hold that our universe has the structure of a temporal tree and for those who hold that what there is includes concrete universes of every possible variety. The notion of “possible world” employed in the question is seen to be the notion of an (...) object of a kind such that objects of that kind play a certain theoretical role. Lewis’s discussion of the question is thereby clarified but is nevertheless inadequate; his negative answer is correct but even from his combinatorialist viewpoint the rationale he provides for this answer is misguided. I explain why the combinatorialist advocate of concrete plenitude should hold that no object is a tree of possible worlds. Then I explain that for a different reason the nomic essentialist advocate of concrete plenitude should hold this much too. (shrink)

I investigate the consequences for semantics, and in particular for the semantics of tense, if time is assumed to have a branching structure not out of metaphysical necessity (to solve some philosophical problem) but just as a contingent physical fact, as is suggested by a currently-popular approach to the interpretation of quantum mechanics.

This paper suggests an epistemic interpretation of Belnap’s branching space-times theory based on Everett’s relative state formulation of the measurement operation in quantum mechanics. The informational branching models of the universe are evolving structures defined from a partial ordering relation on the set of memory states of the impersonal observer. The totally ordered set of their information contents defines a linear “time” scale to which the decoherent alternative histories of the informational universe can be referred—which is quite necessary (...) for assigning them a probability distribution. The “historical” state of a physical system is represented in an appropriate extended Hilbert space and an algebra of multi-branch operators is developed. An age operator computes the informational depth of historical states and its standard deviation can be used to provide a universal information/energy uncertainty relation. An information operator computes the encoding complexity of historical states, the rate of change of its average value accounting for the process of correlation destruction inherent to the branching dynamics. In the informational branching models of the universe, the asymmetry of phenomena in nature appears as a mere consequence of the subject’s activity of measuring, which defines the flow of time-information. (shrink)

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at (...) a branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

There is a remarkable similarity between some mathematical objects used in the Branching Space-Times framework and those appearing in computer science in the fields of event structures for concurrent processing and Chu spaces. This paper introduces the similarities and formulates a few open questions for further research, hoping that both BST theorists and computer scientists can benefit from the project.

Branching quantifiers were first introduced by L. Henkin in his 1959 paper ‘Some Remarks on Infmitely Long Formulas’. By ‘branching quantifiers’ Henkin meant a new, non-linearly structured quantiiier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form} The branching (or partially-ordered) quantifier-prefix is, however, not essentially infinitistic, and the issues it raises have largely been discussed in the literature in the context of finitistic logic, as they will be here. Our discussion (...) transcends, however, the resources of standard lst-order languages and we will consider the new form in the context of 1st-order logic with 1- and 2-place ‘Mostowskian` generalized quantifiers.2.. (shrink)

If a brain is uploaded into a computer, will consciousness continue in digital form or will it end forever when the brain is destroyed? Philosophers have long debated such dilemmas and classify them as questions about personal identity. There are currently three main theories of personal identity: biological, psychological, and closest continuer theories. None of these theories can successfully address the questions posed by the possibility of uploading. I will argue that uploading requires us to adopt a new theory of (...) identity, psychological branching identity. Psychological branching identity states that consciousness will continue as long as there is continuity in psychological structure. What differentiates this from psychological identity is that it allows identity to continue in multiple selves. According to branching identity, continuity of consciousness will continue in both the original brain and the upload after nondestructive uploading. Branching identity can also resolve long standing questions about split-brain syndrome and can provide clear predictions about identity in even the most difficult cases imagined by philosophers. (shrink)

The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. Therefore it is interesting (...) to develop a branching space-times theory without choice points. This is what we set out to do in this paper, providing new foundations for branching space-times in terms of choice sets rather than choice points. After motivating and developing the resulting theory in formal detail, we show that it is possible to translate structures of one style into structures of the other style and vice versa. This result shows that the underlying idea of indeterminism as the branching of spatio-temporal histories is robust with respect to different implementations, making a choice between them a matter of expediency rather than of principle. (shrink)

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two (...) views are a package. In particular: the theoretical virtues of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)

The only RNA molecules known to be branched are circular structures with tails known as lariats that arise during nuclear pre‐mRNA splicing. Lariats accumulate within a large multicomponent particle called a spliceosome that forms upon the addition of unspliced mRNA to nuclear extracts. Recently an RNA molecule has been observed to catalyze branch formation. In this case a single intron of a yeast mitochondrial pre‐mRNA participates in a self‐splicing reaction that results in the accumulation of branched lariats that are processed (...) to correctly spliced exons.An enzyme highly specific for branch removal found in the same extracts that form branches during pre‐mRNA splicing can debranch RNA lariats to their linear forms without loss of nucleotides.The chemical synthesis of branched RNA has recently been achieved. High yields of sequence‐specific oligonucleotides are now available for the analysis of RNA splicing by techniques dependent on branch‐site recognition. (shrink)

A tree‐like hierarchical branching structure is present in many biological systems, such as the kidney, lung, mammary gland, and blood vessels. Most of these organs form through branching morphogenesis, where outward growth results in smaller and smaller branches. However, the blood vasculature is unique in that it exists as two trees (arterial and venous) connected at their tips. Obtaining this organization might therefore require unique developmental mechanisms. As reviewed here, recent data indicate that arterial trees often form (...) in reverse order. Accordingly, initial arterial endothelial cell differentiation occurs outside of arterial vessels. These pre‐artery cells then build trees by following a migratory path from smaller into larger arteries, a process guided by the forces imparted by blood flow. Thus, in comparison to other branched organs, arteries can obtain their structure through inward growth and coalescence. Here, new information on the underlying mechanisms is discussed, and how defects can lead to pathologies, such as hypoplastic arteries and arteriovenous malformations. -/- . (shrink)

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from (...) logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

One of the most popular and enduring approaches to indeterminacy phenomena (e.g., vagueness) over the past several decades has been some form or another of supervaluationism. I argue that supervaluationism is inadequate as a model of indeterminacy: There is an entire class of examples of indeterminacy, characterized by a common “branching” structure, that cannot be modeled in the way supervaluationism proposes. I demonstrate my conclusion explicitly with respect to two specific examples—indeterminate personal identity and indeterminate reference—showing how supervaluationism (...) can model neither. Importantly, my arguments apply to both traditional “semantic” and more recent “metaphysical” versions of supervaluationism. (shrink)

In this book, the author develops a new form of structural realism and deals with the problem of representation. The work combines two distinguished developments of the Semantic View of Theories, namely Structural Realism, a flourishing theory from contemporary philosophy of science, and Ronald Giere and colleagues’ Cognitive Models of Science approach. Readers will see how replacing the model-theoretic structures that are at issue in SR with connectionist networks and activations patterns helps us to deal with the problem of representation. (...) The author suggests that cognitive structures are not only the precise formal tools for regimenting the structure of scientific theories but also the tools that the biological brain uses to capture the essential features of its environment. Therefore, replacing model-theoretic structures with cognitive structures allows us to account for the theories-reality relationship on the basis of the most reliable theories of neurology. This is how a new form of SR, called Cognitive Structural Realism is introduced through this book, which articulates and defends CSR, and shows how two diverging branches of SVT can be reconciled. This ground-breaking work will particularly appeal to people who work in the philosophy of science, philosophy of mind and cognitive sciences. (shrink)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently (...) formulated on a model with at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

In this paper we show that properties of non-linear time structures have not been studied enough. Axioms forcing the existence of a branching point in a branching area of a structure are presented for various classes of structures. We show also that the classical Dedekind continuity axiom does not work well in non-linear structures and we suggest stronger versions. Finally, some interdependencies between the axioms presented are proved.

I argue that the numbering system of the Tractatus lets us see how it was constructed, in two closely related senses of that term. First, it tells us a great deal about the genesis of the book, for the numbering system was used to assemble and rearrange a series of drafts, as recorded in MS 104. Second, it helps us understand the structure of the published book, as cryptically summarized in the opening footnote. I also discuss an unpublished letter (...) from Anscombe to von Wright from 1948 which contains the very first sketch of a tree-structured reading, and what I believe is Stenius’s response to Anscombe’s proposal. The paper critically evaluates previous work on tree-structured readings and contends that we need to read the Tractatus in both the number order used in the published book and the tree order that Wittgenstein used to draft it. It also considers some of the main ways of turning this complex branching structure into a linear, printed text, and so serves as an introduction to the three tree-structured editions of the Tractatus that accompany this paper (the German text, and the translations by Ogden/Ramsey and Pears & McGuinness). (shrink)

The paper intends to provide an algebraic framework in which subluminal causation can be analysed. The framework merges Belnap's 'outcomes in branching time' with his 'branching space-time' (BST). it is shown that an important structure in BST, called 'family of outcomes of an event', is a boolean algebra. We define next non-stochastic common cause and analyse GHZ-Bell theorems. We prove that there is no common cause that accounts for results of GHZ-Bell experiment but construct common causes for (...) two other quantum mechanical setups. Finally, we investigate why some setups allow for common causes whereas other setups do not. (shrink)

Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a (...) general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise's 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional Ist-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

We study belief change in the branching-time structures introduced in Bonanno (Artif Intell 171:144–160, 2007 ). First, we identify a property of branching-time frames that is equivalent (when the set of states is finite) to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision function that satisfies the AGM postulates. (...) Second, we provide a set of modal axioms that characterize the class of AGM-consistent frames within the modal logic introduced in Bonanno (Artif Intell 171:144–160, 2007 ). Third, we introduce a generalization of AGM belief revision functions that allows a clear statement of principles of iterated belief revision and discuss iterated revision both semantically and syntactically. (shrink)

The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this notion of validity (...) is equivalent to validity with respect to bundled trees. (shrink)

Stephen Jay Gould’s monumental The Structure of Evolutionary Theory ‘‘attempts to expand and alter the premises of Darwinism, in order to build an enlarged and distinctive evolutionary theory . . . while remaining within the tradition, and under the logic, of Darwinian argument.’’ The three branches or ‘‘fundamental principles of Darwinian logic’’ are, according to Gould: agency (natural selection acting on individual organisms), efficacy (producing new species adapted to their environments), and scope (accumulation of changes that through geological time (...) yield the living world’s panoply of diversity and morphological complexity). Gould’s efforts to contribute something important to each of these three fundamental components of Darwinian Theory are far from successful. (shrink)

Branching is a set-theoretical model of reality that is in accord with contemporary physics. This structure is also a model for some logical calculi. However, if the formal language defined on the basis of branching is to correspond to our ways of speaking about possible events, a number of issues must be clarified. All of them are connected with the notion of possibility that is employed in this language. Yet the apparent need to supplement this language with (...) an additional notion of possibility means that branching ceases to be attractive as a candidate for a model of physical reality, as it contains considerably more elements than we would like to see in reality. Thus, the connection between this logical tool and ontology becomes questionable. (shrink)

The concept of event is one of the key notions of many theories dealing with causality or agency. In this paper we study different approaches to events that share the basic assumption that events can be analyzed fruitfully in branching-time structures. The terminological framework developed thereby may be helpful for further analyses in the fields of causality and agency and also in those fields of computational semantics, where similar concepts are considered.

Following Henkin’s discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or “cardinality” quantifiers, e.g., “most”, “few”, “finitely many”, “exactly α ”, where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to (...) a general definition of monotone-increasing (M↑) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwise’s 1979 analysis of the basic case of M↑ POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between (...) expressive power and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

The Everett interpretation of quantum mechanics divides naturally into two parts: first, the interpretation of the structure of the quantum state, in terms of branching, and second, the interpretation of this branching structure in terms of probability. This is the first of two reviews of the Everett interpretation, and focuses on structure, with particular attention to the role of decoherence theory. Written in terms of the quantum histories formalism, decoherence theory just is the theory of (...) branching structure, in Everett's sense. (shrink)

We investigate how people use causal knowledge to design interventions to affect the outcomes of causal systems. We propose that in addition to using content or mechanism knowledge to evaluate the effectiveness of interventions, people are also influenced by the abstract structural properties of a causal system. In particular, we investigated two factors that influence whether people tend to intervene proximally (on the immediate cause of an outcome of interest) or distally (on the root cause of a chain leading to (...) the outcome). We presented people with causal chains describing a variety of real-world and artificial causal systems and asked them where they would intervene to affect the outcome. In Experiment 1, participants who were asked to choose the best long-term intervention intervened more distally than participants asked to choose the best short-term intervention. In Experiment 2, participants presented with a branching structure in which there were two distinct causal pathways from the root cause to the outcome were more likely to intervene on the root cause than participants presented with only one of the pathways. Our findings demonstrate two ways in which people integrate content knowledge and knowledge of a system’s causal structure to design effective interventions. (shrink)

According to ante rem structuralism a branch of mathematics, such as arithmetic, is about a structure, or structures, that exist independent of the mathematician, and independent of any systems that exemplify the structure. A structure is a universal of sorts: structure is to exemplified system as property is to object. So ante rem structuralist is a form of ante rem realism concerning universals. Since the appearance of my Philosophy of mathematics: Structure and ontology, a number (...) of criticisms of the idea of ante rem structures have appeared. Some argue that it is impossible to give identity conditions for places in homogeneous ante rem structures, invoking a version of the identity of indiscernibles. Others raise issues concerning the identity and distinctness of places in different structures, such as the the natural number 2 and the real number 2. The purpose of this paper is to take the measure of these objections, and to further articulate ante rem structuralism to take them into account. (shrink)

We show in rather informal terms how witness sets can be useful in both explicating some basic intuitions about scope and understanding how particular denotational semantic differences between noun phrases affect their abilities to bear out certain scopal patterns. More generally we suggest that the usual notion of scope needs to be factored into variation distributivity and maximality. This part lays some groundwork for several of the subsequent chapters and is thus of interest to all readers. The second part shows (...) that already in this initial raw form the above insights can be applied to make a novel claim concerning the availability of so-called branching readings. In logical terms a branching reading can be defined for any sentence with a subject and a direct object. However speakers of English accept only a fraction of these readings, so the question arises how the data can be predicted from the meanings of the participating quantifiers and the syntactic structure of the sentence. We propose that thinking about the behavior of quantifiers along the lines introduced in the first part leads to a simple answer to this question. (shrink)

The COVID-19 pandemic spread catastrophically over the world since the spring of 2020. In this paper, a heterogeneous branching process with immigration is established to quantify the human-to-human transmission of COVID-19 in local communities, based on the temporal and structural transmission patterns extracted from public case disclosures by four provincial Health Commissions in China. With proper parameter settings, our branching model matches the actual transmission chains satisfactorily and, therefore, sheds light on the underlying COVID-19 spreading mechanism. Moreover, based (...) on our branching model, the efficacy of home quarantine and social distancing are explored, providing a reference for the effective prevention of COVID-19 worldwide. (shrink)

This paper argues for the following disjunction: either we do not live in a world with a branching temporal structure, or backwards time travel is nomologically impossible, given the initial state of the universe, or backwards time travel to our space-time location is impossible given large-scale facts about space and time. A fortiori, if backwards time travel to our location is possible, we do not live in a branching universe.

Originally published in 1980. What is time? How is its structure determined? The enduring controversy about the nature and structure of time has traditionally been a diametrical argument between those who see time as a container into which events are placed, and those for whom time cannot exist without events. This controversy between the absolutist and the relativist theories of time is a central theme of this study. The author's impressive arguments provide grounds for rejecting both these theories, (...) firstly by establishing that 'empty' time is possible, and secondly by showing, through a discussion of the structure of time which involves considering whether time might be cyclical, branching, beginning or non-beginning, that the absolutist theory of time is untenable. This book then advances two new theories, and succeeds in shifting the traditional debate about time to a consideration of time as a theoretical structure and as a theoretical framework. (shrink)

In this article, author evaluated past/present perspectives about philosophy and branches of philosophy due to historical period, religious perspective, and due to their organized categories/branches or areas. Some types of interactions between some disciplines are given as an example. The purpose of this article is, to solve problems related with philosophy and past branches of philosophy, to define new philosophy perspective in the new system, to define new questions and questioning about philosophy or branches of philosophy, to define new or (...) re-constructed branches of philosophy, to define the relations between the philosophy branches, to define good and/or correct structure of philosophy and branches of philosophy, to extend the definition/limits of philosophy, others. Author considered R-Synthesis as a method for the evaluation of the philosophy and related past branches of philosophy. This R-Synthesis includes general/specific perspective with eight categories, 21-dimensions, and twelve general subjects for the past 12,000 years. It is a kind of synthesis of supernaturalism and naturalism, physics and metaphysics, others. In this article, author expressed 27 possible definitive/certain result cases of the new synthesis and defined the possible formation stages to express new theories, new disciplines, theory of interaction, theory of relation, hybrid theory, and others as constructional and/or complementary theories. These theories are considered for 21 major effective disciplines which are defined for a country and for the world. New philosophy perspective, branches of philosophy, and aims/purposes of R-Philosophy are defined to organize many inquiries about the name, number, and relation between special subject “X” and “philosophy of X” in some manner. This new perspective includes necessary and sufficient number of philosophy branches, and so it limits the number of “philosophy of X” in the philosophical system. New Era Philosophy is defined with its sub branches, its constructional philosophies, and with its 8D hybrid philosophy perspective. Ideal Philosophical System is defined with general/specific figure. Some of the new and/or re-constructed branches of philosophy explained with the new defined set of questions, new sub branches and constructional philosophies. Integration of the past/present branches of philosophy into the ideal philosophical system is explained generally. Philosophical interests of the some past philosophers and their relations with the ideal philosophical system expressed with table. (shrink)

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme (...) of my ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent. (shrink)