Since Tolman’s paper in 1948, psychologists and neuroscientists have argued that cartographic representations play an important role in cognition. These empirical findings align with some theoretical works developed by philosophers who promote a pluralist view of representational vehicles, stating that cognitive processes involve representations with different formats. However, the inferential relations between maps and representations with different formats have not been sufficiently explored. Thus, this paper is focused on the inferential relations between cartographic and linguistic representations. To that effect, we (...) appeal to heterogeneous inference with ordinary maps and sentences. In doing so, we aim to build a model to bridge the gap between cartographic and linguistic thought. (shrink)

Levels of trust and trustworthiness have important externalities for the society. But what exactly do these social concepts reflect? Building upon the argument that in typical real-life social exchanges people act simultaneously as both trustors and trustees, we study the impact of individuals’ social motives (or preferences) on their choices in a dual-role Trust Game (TG). We employ data from a large-scale representative experiment (N = 774), where all subjects played both roles of a binary TG with real monetary incentives. (...) Subjects’ social motives were inferred using their decisions in a Dictator Game and a dual-role Ultimatum Game. Next to self-interest and strategic motives we consider preferences for altruism, spitefulness, egalitarianism and efficiency. We demonstrate that there exists considerable heterogeneity in motives in the TG. Most importantly, among individuals who choose to trust as trustors, social motives can differ dramatically as there is a non-negligible proportion of them who seem to act out of (strategic) self-interest whereas others are driven more by efficiency considerations. Subjects’ elicited trustworthiness, however, can be used to infer such motivations: while the former are not trustworthy as trustees, the latter are. We discuss that research on trust can benefit from adding the second player’s choice in TG designs. (shrink)

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability (...) requirement, which is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

We extend natural deduction for first-order logic (FOL) by introducing diagrams as components of formal proofs. From the viewpoint of FOL, we regard a diagram as a deductively closed conjunction of certain FOL formulas. On the basis of this observation, we first investigate basic heterogeneous logic (HL) wherein heterogeneous inference rules are defined in the styles of conjunction introduction and elimination rules of FOL. By examining what is a detour in our heterogeneous proofs, we discuss that (...) an elimination-introduction pair of rules constitutes a redex in our HL, which is opposite the usual redex in FOL. In terms of the notion of a redex, we prove the normalization theorem for HL, and we give a characterization of the structure of heterogeneous proofs. Every normal proof in our HL consists of applications of introduction rules followed by applications of elimination rules, which is also opposite the usual form of normal proofs in FOL. Thereafter, we extend the basic HL by extending the heterogeneous rule in the style of general elimination rules to include a wider range of heterogeneous systems. (shrink)

In Instrumental Variables (IV) estimation, the effect of an instrument on an endogenous variable may vary across the sample. In this case, IV produces a local average treatment effect (LATE), and if monotonicity does not hold, then no effect of interest is identified. In this paper, I calculate the weighted average of treatment effects that is identified under general first-stage effect heterogeneity, which is generally not the average treatment effect among those affected by the instrument. I then describe a simple (...) set of data-driven approaches to modeling variation in the effect of the instrument. These approaches identify a Super-Local Average Treatment Effect (SLATE) that weights treatment effects by the corresponding instrument effect more heavily than LATE. Even when first-stage heterogeneity is poorly modeled, these approaches considerably reduce the impact of small-sample bias compared to standard IV and unbiased weak-instrument IV methods, and can also make results more robust to violations of monotonicity. In application to a published study with a strong instrument, the preferred approach reduces error by about 19% in small (N ≈ 1, 000) subsamples, and by about 13% in larger (N ≈ 33, 000) subsamples. (shrink)

The set of entities that serves as the domain for our discourse about the mind is metaphysically heterogenous. It includes processes, events, properties, modes, and states. In the latter part of the twentieth century, philosophers started to suppose that a philosophical theory of the mind should be primarily concerned with the explanation of mental states. Those states could then be mentioned in the explanations that would need to be given for mental entities of other sorts. If, for example, we had (...) a prior explanation of belief states, those states could figure in our subsequent explanation of inferences: inferences, on this approach, are to be identified with certain processes of belief revision. This states-first approach was not favoured by earlier theorists of the mind, who tended to suppose that mental events and processes are explanatorily more basic than mental states. The current states-first approach faces insuperable difficulties, which the earlier approach avoids. (shrink)

Transfer learning can improve the robustness of deep learning in the case of small samples. However, when the semantic difference between the source domain data and the target domain data is large, transfer learning easily introduces redundant features and leads to negative transfer. According the mechanism of the human brain focusing on effective features while ignoring redundant features in recognition tasks, a brain-like classification method based on adaptive feature matching dual-source domain heterogeneous transfer learning is proposed for the preoperative (...) aided diagnosis of lung granuloma and lung adenocarcinoma for patients with solitary pulmonary solid nodule in the case of small samples. The method includes two parts: (1) feature extraction and (2) feature classification. In the feature extraction part, first, By simulating the feature selection mechanism of the human brain in the process of drawing inferences about other cases from one instance, an adaptive selected-based dual-source domain feature matching network is proposed to determine the matching weight of each pair of feature maps and each pair of convolution layers between the two source networks and the target network, respectively. These two weights can, respectively, adaptive select the features in the source network that are conducive to the learning of the target task, and the destination of feature transfer to improve the robustness of the target network. Meanwhile, a target network based on diverse branch block is proposed, which made the target network have different receptive fields and complex paths to further improve the feature expression ability of the target network. Second, the convolution kernel of the target network is used as the feature extractor to extract features. In the feature classification part, an ensemble classifier based on sparse Bayesian extreme learning machine is proposed that can automatically decide how to combine the output of base classifiers to improve the classification performance. Finally, the experimental results (the AUCs were 0.9542 and 0.9356, respectively) on the data of two center data show that this method can provide a better diagnostic reference for doctors. (shrink)

Alethic pluralists argue truth is a metaphysically robust higher-order property that is multiply realized by a set of diverse and domain-specific subvening alethic properties. The higher-order truth property legitimizes mixed inferences and accounts for a univocal truth predicate. Absent of this higher-order property, pluralists lack an account of the validity of mixed inferences and an adequate semantics for the truth predicate and thereby appear forced to abandon the central tenets of alethic pluralism. I argue the use of many-valued logics to (...) support pluralism fails to address the pluralist’s metaphysical problem regarding mixed inferences and mixed truth functional connectives. The high degree of heterogeneity of the alethic realizers challenges the plausibility of a single higher-order functional property. A functional property with such a heterogeneous base cannot be projectable at a theoretically significant level. The problem with mixed inferences and truth functions is but one symptom of the deeper projectability problem. (shrink)

The stratum-specific treatment effect function is a random variable giving the average treatment effect (ATE) for a randomly drawn stratum of potential confounders a clinician may use to assign treatment. In addition to the ATE, the variance of the stratum-specific treatment effect function is fundamental in determining the heterogeneity of treatment effect values. We offer a non-parametric plug-in estimator, the targeted maximum likelihood estimator (TMLE) and the cross-validated TMLE (CV-TMLE), to simultaneously estimate both the average and variance of the stratum-specific (...) treatment effect function. The CV-TMLE is preferable because it guarantees asymptotic efficiency under two conditions without needing entropy conditions on the initial fits of the outcome model and treatment mechanism, as required by TMLE. Particularly, in circumstances where data adaptive fitting methods are very important to eliminate bias but hold no guarantee of satisfying the entropy condition, we show that the CV-TMLE sampling distributions maintain normality with a lower mean squared error than TMLE. In addition to verifying the theoretical properties of TMLE and CV-TMLE through simulations, we highlight some of the challenges in estimating the variance of the treatment effect, which lack double robustness and might be biased if the true variance is small and sample size insufficient. (shrink)

This article studies the treatment effect models in which individuals are classified into unobserved groups based on heterogeneous treatment rules. By using a finite mixture approach, we propose a marginal treatment effect framework in which the treatment choice and outcome equations can be heterogeneous across groups. Under the availability of instrumental variables specific to each group, we show that the MTE for each group can be separately identified. On the basis of our identification result, we propose a two-step (...) semiparametric procedure for estimating the group-wise MTE. We illustrate the usefulness of the proposed method with an application to economic returns to college education. (shrink)

To make the case for non-conceptualism, Heck draws on an apparent dichotomy between linguistic and iconic representations. According to Heck, whereas linguistic representations have conceptual content, the content of iconic representations is non-conceptual. Based on the case of cartographic systems, the authors criticize Heck’s dichotomous distinction. They argue that maps are composed of semantically arbitrary elements that play different syntactic roles. Based on this, they claim that maps have a predicative structure and convey conceptual content. Finally, the authors argue that, (...) despite their differences, maps and sentences can logically interact with each other through heterogeneous inferences. These considerations not only challenge the view that conceptual content and inferential processes necessarily involve linguistic representations; furthermore, they provide a new perspective for thinking about maps, their semantics and syntax, and their interaction with linguistic systems. (shrink)

In public goods experiments, stochastic choice, censoring and motivational heterogeneity give scope for disagreement over the extent of unselfishness, and whether it is reciprocal or altruistic. We show that these problems can be addressed econometrically, by estimating a finite mixture model to isolate types, incorporating double censoring and a tremble term. Most subjects act selfishly, but a substantial proportion are reciprocal with altruism playing only a marginal role. Isolating reciprocators enables a test of Sugden’s model of voluntary contributions. We estimate (...) that reciprocators display a self-serving bias relative to the model. (shrink)

Euler famously used diagrams to illustrate syllogisms in his Lettres à une princesse d’Allemagne [1]. His diagrams are usually seen as suffering from a fatal “ambiguity problem” [11]: as soon as they involve intersecting circles, which are required for the representation of existential statements, it becomes unclear what exactly may be read off from them, and as Hammer & Shin conclusively showed, any set of reading conventions can lead to erroneous conclusions. I claim that Euler diagrams can, however, be used (...) rigorously, if they are read in conjunction with the premises they are supposed to illustrate. More precisely, I give rigorous “heterogeneous” inference rules (in the sense of Barwise and Etchemendy) – rules whose premises are a sentence and a diagram and whose conclusion is a sentence – which allow to use them safely. I conclude that one should abandon the preconception that diagrams can only be used rigorously if they can be given a context-independent semantics. Finally, I suggest that context-dependence is a widespread feature of diagrams: for instance, Mumma [12] noticed that what may be read off from a Euclidean diagram depends not only on the diagram’s appearance, but also on the way it was constructed. (shrink)

Clausal complements of different kinds of attitude verbs such as believe, doubt, be surprised, wonder, say, and whisper behave differently semantically in a number of respects. For example, they differ in the inference patterns they display. This paper develops a semantic account of clausal complements using partial logic which accounts for such semantic differences on the basis of a uniform meaning of clauses. It focuses on explaining the heterogeneous inference patterns associated with different kinds of attitude verbs, (...) but it contributes also to explaining differences among clausal complements of attitude verbs regarding the possibility of de re reference, anaphora support, presupposition satisfaction, and the distribution of subjunctive in certain languages. Moreover, it gives a new account of factivity. The point of departure of this paper is the general observation that the failure of inferences from attitude reports is relative in that it depends both on the general type of attitude and on the particular instance of the attitude described. Thus, from John is surprised that P and Q one cannot infer John is surprised that P and John is surprised that Q, though this is possible with believe. Conversely, one can infer from John believes that P and John believes that Q, to John believes that P and Q, but only as long as the same belief state of John is involved. In order to capture this dependency of inferences from attitude reports on a particular mental state or act, I propose an account on which clausal complements of attitude verbs (as well as independent sentences) characterize the intentional state or act described by the attitude verb in question, rather than referring to independent propositions. The semantic account of attitude reports of this paper can hence be called an 'event-based account' of clauses. Formally, the denotation of any sentence, both independent and embedded, is construed as a function mapping an intentional state or act to a function from situations (which form the content of the state or act) to truth values.. (shrink)

Tenenbaum and Griffiths (2001) have proposed that their Bayesian model of generalisation unifies Shepard’s (1987) and Tversky’s (1977) similarity-based explanations of two distinct patterns of generalisation behaviours by reconciling them under a single coherent task analysis. I argue that this proposal needs refinement: instead of unifying the heterogeneous notion of psychological similarity, the Bayesian approach unifies generalisation by rendering the distinct patterns of behaviours informationally relevant. I suggest that generalisation as a Bayesian inference should be seen as a (...) complement to, instead of a replacement of, similarity-based explanations. Furthermore, I show that the unificatory powers of the Bayesian model of generalisation can contribute to the selection of one of these models of psychological similarity. (shrink)

This study investigates the extent to which there is individuality in how structural variation is conditioned over time. Earlier research already classified the diachronically unstable gerund variation as involving a high fraction of mixed-usage speakers throughout the change, whereby the proportion of the conservative variant versus the progressive variant as observable in the linguistic output of individual language users superficially resembles the mean proportion as observable at the population level. However, this study sets out to show that there can still (...) be heterogeneity within such a centralized population in terms of how each individual conditions the observed variation. A random forest and conditional inference tree analysis of over 14,000 gerunds uttered by nineteen seventeenth-century authors is presented to show that, while the most important language-internal factors conditioning the gerund variation are adopted by (and shared between) all authors, we can still attest inter-individual variation (i) at lower levels of variable importance, and (ii) in the breadth of the range of contexts individual authors employ to condition the attested variation. (shrink)

Heterogeneous treatment effects represent a major issue for medicine as they undermine reliable inference and clinical decision-making. To overcome the issue, the current vision of precision and personalized medicine acknowledges the need to control individual variability in response to treatment. In this paper, we argue that gene-treatment-environment interactions (G × T × E) undermine inferences about individual treatment effects from the results of both genomics-based methodologies—such as genome-wide association studies (GWAS) and genome-wide interaction studies (GWIS)—and randomized controlled trials (...) (RCTs). Then, we argue that N-of-1 trials can be a solution to overcome difficulties in handling individual variability in treatment response. Although this type of trial has been suggested as a promising strategy to assess individual treatment effects, it nonetheless has limitations that limit its use in everyday clinical practice. We analyze the existing variability within the designs of N-of-1 trials in terms of a continuum where each design prioritizes epistemic and pragmatic considerations. We then support wider use of the designs located at the pragmatic end of the explanatory-pragmatic continuum. (shrink)

When the history of life on earth is viewed as a history of cell division, all of life becomes a single cell lineage. The growth and differentiation of this lineage in reciprocal interaction with its environment can be viewed as a developmental process; hence the evolution of life on earth can also be seen as the development of life on earth. Here, in reviewing this field, some potentially fruitful research directions suggested by this change in perspective are highlighted. Variation and (...) selection become, for example, bidirectional information flows between scales, while the notions of “cooperation” and “competition” become scale relative. The language of communication, inference, and information processing becomes more useful than the language of causation to describe the interactions of both homogeneous and heterogeneous living systems at any scale. Emerging scale‐free theoretical frameworks such as predictive coding and active inference provide conceptual tools for reconceptualizing biology as the study of a unified, multiscale dynamical system. (shrink)

How do humans manage to keep track of a gradually changing object or person as the same persisting individual despite the fact that the extraction of information about this individual must often rely on heterogeneous information sources and heterogeneous tracking methods? The article introduces the Empirical Tracking of Individuals theory to address this problem. This theory proposes an analysis of the concept of integrated tracking, which refers to the capacity to acquire, store, and update information about the identity (...) and location of individuals in our environment. It hypothesizes that certain functions of attention are a key to explaining how the cognitive flexibility of the human mind overcomes the heterogeneity of sources and methods in integrated tracking. At least two premises lend support to this hypothesis. First, heterogeneity of tracking sources is overcome by the combination of information from multiple perceptual modalities and a phenomenon of multisensory 'transparency'. Second, heterogeneity of tracking sources and methods may also be overcome by inferences that combine information across domains to acquire reasons to believe propositions about the target's location and identity. (shrink)

The epidemiologist Bradford Hill famously argued that in epidemiology, specificity of association (roughly, the fact that an environmental or behavioral risk factor is associated with just one or at most a few medical outcomes) is strong evidence of causation. Prominent epidemiologists have dismissed Hill’s claim on the ground that it relies on a dubious `one-cause one effect’ model of disease causation. The paper examines this methodological controversy, and argues that specificity considerations do have a useful role to play in causal (...) inference in epidemiology. More precisely, I argue that specificity considerations help solve a pervasive inferential problem in contemporary epidemiology: the problem of determining whether an exposure-outcome correlation might be due to confounding by a social factor. This examination of specificity has interesting consequences for our understanding of the methodology of epidemiology. It highlights how the methodology of epidemiology relies on local tools designed to address specific inference problems peculiar to the discipline, and shows that observational causal inference in epidemiology can proceed with little prior knowledge of the causal structure of the phenomenon investigated. I also argue that specificity of association cannot (despite claims to the contrary) be entirely explained in terms of Woodward’s well-known concept of “one-to-one” causal specificity. This is because specificity as understood by epidemiologists depends on whether an exposure (or outcome) is associated with a `heterogeneous’ set of variables. This dimension of heterogeneity is not captured in Woodward’s notion, but is crucial for understanding the evidential import of specificity of association. (shrink)

Amalgamating evidence from heterogeneous sources and across levels of inquiry is becoming increasingly important in many pure and applied sciences. This special issue provides a forum for researchers from diverse scientific and philosophical perspectives to discuss evidence amalgamation, its methodologies, its history, its pitfalls, and its potential. We situate the contributions therein within six themes from the broad literature on this subject: the variety-of-evidence thesis, the philosophy of meta-analysis, the role of robustness/sensitivity analysis for evidence amalgamation, its bearing on (...) questions of extrapolation and external validity of experiments, its connection with theory development, and its interface with causal inference, especially regarding causal theories of cancer. (shrink)

Behavior genetics is a controversial science. For decades, scholars have sought to understand the role of heredity in human behavior and life-course outcomes. Recently, technological advances and the rapid expansion of genomic databases have facilitated the discovery of genes associated with human phenotypes such as educational attainment and substance use disorders. To maximize the potential of this flourishing science, and to minimize potential harms, careful analysis of what it would mean for genes to be causes of human behavior is needed. (...) In this paper, we advance a framework for identifying instances of genetic causes, interpreting those causal relationships, and applying them to advance causal knowledge more generally in the social sciences. Central to thinking about genes as causes is counterfactual reasoning, the cornerstone of causal thinking in statistics, medicine, and philosophy. We argue that within-family genetic effects represent the product of a counterfactual comparison in the same way as average treatment effects (ATEs) from randomized controlled trials (RCTs). Both ATEs from RCTs and within-family genetic effects are shallow causes: They operate within intricate causal systems (non-unitary), produce heterogeneous effects across individuals (non-uniform), and are not mechanistically informative (non-explanatory). Despite these limitations, shallow causal knowledge can be used to improve understanding of the etiology of human behavior and to explore sources of heterogeneity and fade-out in treatment effects. (shrink)

How do intelligent agents spawn and exploit integrated processing regimes spanning brain, body, and world? The answer may lie in the ability of the biological brain to select actions and policies in the light of counterfactual predictions – predictions about what kinds of futures will result if such-and-such actions are launched. Appeals to the minimization of ‘counterfactual prediction errors’ (the ones that would result under various scenarios) already play a leading role in attempts to apply the basic toolkit of the (...) neurocomputational theory known as ‘predictive processing’ to higher cognitive functions such as policy selection and planning. In this paper, I show that this also leads naturally to the discovery and use of extended processing regimes defined across heterogeneous mixtures of biological and non-biological resource. This solves a long-standing puzzle concerning the ‘recruitment’ of the right non-neural processing resources at the right time. It reveals how (and why) human brains spawn and maintain extended human minds. (shrink)

This paper aims to articulate an anarchist challenge to a widespread assumption in the rapidly growing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called “models” and “modeling-practices” are too heterogeneous, too context-sensitive, and serve too many scientific purposes and roles, as to constitute unified scientific phenomena that would allow for useful epistemic and ontologies analyses. Just like Feyerabend once argued that there are no general useful inferences to be drawn about (...) the method of “science”, I argue that the same lesson will apply to “model-based science”, hence calling my view model anarchism. (shrink)

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data (...) annotated with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

Political communication in modern democratic societies often requires the speaker to address multiple audiences with heterogeneous values, interests and agendas. This creates an incentive for communication strategies that allow politicians to send, along with the explicit content of their speech, concealed messages that seek to secure the approval of certain groups without alienating the rest of the electorate. These strategies have been labeled dogwhistling in recent literature. In this article, we provide an analysis of overt intentional dogwhistling. We recognize (...) two main stages within the OIDs’ way of conveying a concealed message: the expression of a perspective together with the transmission of an accompanying positioning message vis-à-vis the OID targeted sub-audience, and the inferential extraction of a set of cognitive and non-cognitive contents inferred on the basis of the former stage. Furthermore, we identify three linguistic mechanisms whereby these contents may be transmitted: conventional meaning, conversational implicature and perlocutionary inferencing. Hence, on our view OIDs are not a uniform category, as they may differ as to what extent the concealed content is speaker-meant, and thus actually communicated by the speaker. (shrink)

A formal system is studied having both sentences and diagrams as well-formed representations. Proofs in the system allow inference back and forth between sentences and diagrams, as well as between diagrams and diagrams, and between sentences and sentences. This sort of heterogeneous system is of interest because external representations other than linguistic ones occur commonly in actual reasoning in conjunction with language. Syntax, semantics, and rules of inference for the system are given and it is shown to (...) be sound and complete. (shrink)

Stephen Jay Gould argued that replaying the ‘tape of life’ would result in radically different evolutionary outcomes. Recently, biologists and philosophers of science have paid increasing attention to the theoretical importance of convergent evolution—the independent origination of similar biological forms and functions—which many interpret as evidence against Gould’s thesis. In this paper, we examine the evidentiary relevance of convergent evolution for the radical contingency debate. We show that under the right conditions, episodes of convergent evolution can constitute valid natural experiments (...) that support inferences regarding the deep counterfactual stability of macroevolutionary outcomes. However, we argue that proponents of convergence have problematically lumped causally heterogeneous phenomena into a single evidentiary basket, in effect treating all convergent events as if they are of equivalent theoretical import. As a result, the ‘critique from convergent evolution’ fails to engage with key claims of the radical contingency thesis. To remedy this, we develop ways to break down the heterogeneous set of convergent events based on the nature of the generalizations they support. Adopting this more nuanced approach to convergent evolution allows us to differentiate iterated evolutionary outcomes that are probably common among alternative evolutionary histories and subject to law-like generalizations, from those that do little to undermine and may even support, the Gouldian view of life. (shrink)

In recent decades, attempts to explain autism have been frustrated by the heterogeneous nature of its behavioral symptoms and the underlying genetic, neural, and cognitive mechanisms that produce them. This has led some to propose eliminating the category altogether. The eliminativist inference relies on a conception of psychiatric categories as kinds defined by their underlying mechanistic structure. I review the evidence for eliminativism and propose an alternative model of the family of autisms. On this account, autism is a (...) network category defined by a set of idealized exemplars linked by multiple levels of theoretically significant properties. I argue that this network model better captures the empirical phenomena, the historical growth of the category, and the ways the category has been shaped by social norms and interests. Finally, I defend a realist interpretation of network categories against the challenge from eliminativists. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated (...) the development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

ABSTRACT: Abstract Most modern knowledge is not science. The physical sciences have successfully validated theories to infer they can be used universally to predict in previously unexperienced circumstances. According to the conventional conception of science such inferences are falsified by a single irregular outcome. And verification is by the scientific method which requires strict regularity of outcome and establishes cause and effect. -/- Medicine, medical research and many “soft” sciences are concerned with individual people in complex heterogeneous populations. These (...) populations cannot be tested to demonstrate strict regularity of outcome in every individual. Neither randomised controlled trials nor observational studies in medicine are science in the conventional conception. Establishing and using medical and other “soft science” theories cannot be scientific. It requires conceptually different means: requiring expert judgement applying all available evidence in the relevant available factual matrix. -/- The practice of medicine is observational. Prediction of outcomes for the individual requires professional expertise applying available medical knowledge and evidence. Expertise in any profession can only be acquired through experience. Prior cases are the fundament of knowledge and expertise in medicine. Case histories, studies and series can provide knowledge of extremely high reliability applicable to establishing reliable general theories and falsifying others. Their collation, study and analysis should be a priority in medicine. Their devaluation as evidence, the failure to apply their lessons, the devaluation of expert professional judgement and the attempt to emulate the scientific method are all historic errors in the theory and practice of modern medicine. (shrink)

Fairness, the notion that people deserve or have rights to certain resources or kinds of treatment, is a fundamental dimension of moral cognition. Drawing on recent evidence from economics, psychology, and neuroscience, we ask whether self-interest is always intuitive, requiring self-control to override with reasoning-based fairness concerns, or whether fairness itself can be intuitive. While we find strong support for rejecting the notion that self-interest is always intuitive, the literature has reached conflicting conclusions about the neurocognitive systems underpinning fairness. We (...) propose that this disagreement can largely be resolved in light of an extended Social Heuristics Hypothesis. Divergent findings may be attributed to the interpretation of behavioral effects of ego depletion or neurostimulation, reverse inference from brain activity to the underlying psychological process, and insensitivity to social context and inter-individual differences. To better dissect the neurobiological basis of fairness, we outline how future research should embrace cross-disciplinary methods that combine psychological manipulations with neuroimaging, and that can probe inter-individual, and cultural heterogeneities. (shrink)

Tenenbaum and Griffiths (Behavioral and Brain Sciences 24(4):629–640, 2001) have proposed that their Bayesian model of generalisation unifies Shepard’s (Science 237(4820): 1317–1323, 1987) and Tversky’s (Psychological Review 84(4): 327–352, 1977) similarity-based explanations of two distinct patterns of generalisation behaviours by reconciling them under a single coherent task analysis. I argue that this proposal needs refinement: instead of unifying the heterogeneous notion of psychological similarity, the Bayesian approach unifies generalisation by rendering the distinct patterns of behaviours informationally relevant. I suggest (...) that generalisation as a Bayesian inference should be seen as a complement to, instead of a replacement of, similarity-based explanations. Furthermore, I show that the unificatory powers of the Bayesian model of generalisation can contribute to the selection of one of these models of psychological similarity. (shrink)

In their extensive overview of various concepts of presumption Godden and Walton recognise “the heterogeneous picture of presumptions that exists in argumentation theory today”. I argue that this heterogeneity results from an epiphenomenal character of the notion of presumption. To this end, I first distinguish between three main classes of presumptions. Framework presumptions define the basic conditions of linguistic understanding and meaningful conversation. The “presumption of veracity” is their paradigm case. I argue that such presumptions are satisfactorily covered by (...) the Principle of Charity, or else Gricean maxims or satisfaction conditions for speech acts. Formal presumptions are general presumptive rules of argument, theorised as topoi or acceptable inference warrants, including institutional warrants. Material presumptions are acceptable outcomes of nested or outsourced arguments, which entitles arguers to use them as acceptable premises or opinions in further arguments without the typical burden of proof. If this is correct, then the study of presumption always collapses into the study of other, likely more fundamental, concepts. Does it render presumptions, by Occam’s Razor, altogether redundant in argumentation theory? I tentatively answer this question from a consistently conversational perspective on argumentation; I argue that the pragmatic grounds for presumptions are to be found in the conditions for speech act performance in the institutional social world, as developed by Searle. (shrink)

I make three claims about the interactions between concept mastery and the knowledge argument. First, I argue that, contra Ball, the concept mastery response to the knowledge argument does not suffer from the heterogeneity of concept mastery. Second, I argue that, when doing metaphysics by relating propositions on the basis of whether a hypothetical agent who knew a base collection could infer a target proposition, it is legitimate to rely on propositions that are not contained in the base, as long (...) as those propositions are required for mastery of relevant concepts. One upshot is that, when checking whether the physical truths a priori entail the consciousness truths, it is fair game to rely on substantive truths about consciousness. Third, I argue that the only version of the knowledge argument that has any hope of succeeding against physicalism completely lacks the argument's driving intuition: that Mary learns something new when she emerges from the black and white room. (shrink)

The search for causes of perinatal brain damage needs a solid theoretical foundation. Current theory apparently does not offer a unanimously accepted view of what constitutes a cause, and how it can be identified. We discuss nine potential theoretical misconceptions: (1) too narrow a view of what is a cause (causal production vs. facilitation), (2) extrapolating from possibility to fact (potential vs. factual causation), (3) if X, then invariably Y (determinism vs. probabilism), (4) co-occurrence in individuals vs. association in populations, (...) (5) one cause is all that is needed (single cause attribution vs. multicausal constellations), (6) drawing causal inferences from very small numbers of observations (the tendency to generalize), (7) unstated causal inferences, (8) ignoring heterogeneity, and (9) failing to consider alternative explanations for what is observed. We hope that our critical discussion will contribute to fruitful research and help reduce the burden of perinatal brain damage. (shrink)

There are several important criticisms against the unificationist model of scientific explanation: Unification is a broad and heterogeneous notion and it is hard to see how a model of explanation based exclusively on unification can make a distinction between genuine explanatory unification from cases of ordering or classification. Unification alone cannot solve the asymmetry and irrelevance problems. Unification and explanation pull in different directions and should be decoupled, because for good scientific explanation extra ad explanandum information is often required. (...) I am presenting a possible solution to those problems, by focusing on an often overlooked but important element of how theoretic unification is achieved—the conceptual frameworks of theories. The core conceptual assumptions behind theories are decisive for discriminating between explanatory and non-explanatory unification. The conceptual framework is also flexible enough to balance the tension between informativeness and maximum systematization in constructing explanatory inferences. A short case study of orthogenetic and Darwinian explanations in paleontology is presented as an illustration of how my addition to the unificationist model is applicable to a historical debate between rival explanations. (shrink)

The study investigates effects of the implementation of a law authorizing educational leave in Germany on individual participation in adult learning and education (ALE). In 2015, the federal state of Baden-Württemberg introduced the so-calledBildungszeitgesetz, legitimating an exemption for eligible employees of up to 5 days per year with continued payment of salary. Explaining participation in ALE is a central subject of educational research at national and international level. Current theoretical assumptions of rational choice and empirical findings of educational and socio-statistical (...) research suggest that within the general population, individuals’ availability of time affects the decision to participate and therefore lastly determines participation in ALE. However, current academia mainly discusses time as either a prerequisite for learning activities or as an observable outcome of participation and not as an explanatory factor. Furthermore, since recent studies remain on a descriptive level regarding influences of time on participation in ALE, no causal effects of the availability of time on participation are estimated. Hence, our study addresses this research gap by investigating effects of educational policy interventions such as theBildungszeitgesetzon participation in ALE. Policy interventions are ideally suited to examine the significance of time resources for participation, as the implementation of theBildungszeitgesetzprovides a specific timeframe for employees to participate in ALE outside of their working time. Drawing on data from the German National Educational Panel Study, we employ a difference-in-differences estimation strategy with propensity score matching and instrumental variable to identify the direct causal effect of the implementation of theBildungszeitgesetzon participation in ALE (N= 709). This combination toward causal inference controls for observed and unobserved baseline differences as well as heterogeneous treatment effects. The results reveal a non-significant but heterogeneous treatment effect of the implementation of theBildungszeitgesetzon individual participation in ALE. Contrary to our theoretical assumptions derived from rational choice approaches, we cannot confirm the hypothesis that the availability of time resources due to the implementation of theBildungszeitgesetzcauses a positive effect on participation in ALE. Furthermore, the results reveal that the implementation causes decreasing participation rates for younger adults, women and significantly for migrants. (shrink)

Background: Differential learning is a motor learning method characterized by high amounts of variability during practice and is claimed to provide the learner with a higher learning rate than other methods. However, some controversy surrounds DL theory, and to date, no overview exists that compares the effects of DL to other motor learning methods.Objective: To evaluate the effectiveness of DL in comparison to other motor learning methods in the acquisition and retention phase.Design: Systematic review and exploratory meta-analysis.Methods: PubMed, Web of (...) Science, and Google Scholar were searched until February 3, 2020. To be included, studies had to be experiments where the DL group was compared to a control group engaged in a different motor learning method, studies had to describe the effects on one or more measures of performance in a skill or movement task, and the study report had to be published as a full paper in a journal or as a book chapter.Results: Twenty-seven studies encompassing 31 experiments were included. Overall heterogeneity for the acquisition phase as well as for the retention phase was large, and risk of bias was high. The meta-analysis showed an overall small effect size of 0.26 [0.10, 0.42] in the acquisition phase for participants in the DL group compared to other motor learning methods. In the retention phase, an overall medium effect size of 0.61 [0.30, 0.91] was observed for participants in the DL group compared to other motor learning methods.Discussion/Conclusion: Given the large amount of heterogeneity, limited number of studies, low sample sizes, low statistical power, possible publication bias, and high risk of bias in general, inferences about the effectiveness of DL would be premature. Even though DL shows potential to result in greater average improvements between pre- and post/retention test compared to non-variability-based motor learning methods, more high-quality research is needed before issuing such a statement. For robust comparisons on the relative effectiveness of DL to different variability-based motor learning methods, scarce and inconclusive evidence was found. (shrink)

The logical system Hyperproof and the computer implementation of it--both created by Jon Barwise and John Etchemendy--present a radical new approach to modeling and teaching about reasoning. Hyperproof is a heterogeneous proof system that uses both sentences and diagrams as steps in proofs. This dissertation addresses important logical, philosophical, and pedagogical issues that Hyperproof raises. We formalize the syntax and semantics of Hyperproof, show that the major inference rules are valid, and give completeness results for four subsystems of (...) Hyperproof. We address philosophical issues raised by the logical analysis, including the importance of the presence of homomorphism between diagrams and the worlds they represent. We also apply the constructivist educational philosophy to create a detailed explanation of how to teach analytic reasoning with Hyperproof, and we discuss how Hyperproof can be augmented to teach about reasoning with different types of domains. (shrink)

For an economist, ultimate goals of neuroeconomic research include improving economic policy analysis. One path toward this goal is to use neuroeconomic data to advance economic theory, and productive efforts have been made towards that end. Equally important, though less studied, is how neuroeconomics can provide quantitative evidence on policy, and in particular the way in which it might inform structural econometric inference. This paper is a first step in that direction. We suggest here that key forms of preference (...) (or decision strategy) heterogeneity can be identified by brain imaging studies and, consequently, linked stochastically to observable individual characteristics. Then, recognizing that brain-imaging studies are substantially costly, we derive conditions under which the probabilistic link between observable characteristics and type, a quantity critical to policy analysis, can be estimated more precisely by combining data from traditional and brain-based decision studies. (shrink)

Kerry et al. criticize our discussion of causal knowledge in evidence-based medicine (EBM) and our assessment of the relevance of their dispositionalist ontology for EBM. Three issues need to be addressed in response: (1) problems concerning transfer of causal knowledge across heterogeneous contexts; (2) how predictions about the effects of individual treatments based on population-level evidence from RCTs are fallible; and (3) the relevance of ontological theories like dispositionalism for EBM.

The objective of this thesis is to present a naturalised metaphysics of information, or to naturalise information, by way of deploying a scientific metaphysics according to which contingency is privileged and a-priori conceptual analysis is excluded (or at least greatly diminished) in favour of contingent and defeasible metaphysics. The ontology of information is established according to the premises and mandate of the scientific metaphysics by inference to the best explanation, and in accordance with the idea that the primacy of (...) physics constraint accommodates defeasibility of theorising in physics. This metametaphysical approach is used to establish a field ontology as a basis for an informational structural realism. This is in turn, in combination with information theory and specifically mathematical and algorithmic theories of information, becomes the foundation of what will be called a source ontology, according to which the world is the totality of information sources. Information sources are to be understood as causally induced configurations of structure that are, or else reduce to and/or supervene upon, bounded (including distributed and non-contiguous) regions of the heterogeneous quantum field (all quantum fields combined) and fluctuating vacuum, all in accordance with the above-mentioned quantum field-ontic informational structural realism (FOSIR.) Arguments are presented for realism, physicalism, and reductionism about information on the basis of the stated contingent scientific metaphysics. In terms of philosophical argumentation, realism about information is argued for primarily by way of an indispensability argument that defers to the practice of scientists and regards concepts of information as just as indispensable in their theories as contingent representations of structure. Physicalism and reductionism about information are adduced by way of the identity thesis that identifies the substance of the structure of ontic structural realism as identical to selections of structure existing in re to combined heterogeneous quantum fields, and to the total heterogeneous quantum field comprised of all such fields. Adjunctly, an informational statement of physicalism is arrived at, and a theory of semantic information is proposed, according to which information is intrinsically semantic and alethically neutral. (shrink)

Teachers´ attitudes toward their students have been associated with differential teachers´ expectations and, in turn, with students´ educational pathways. Theories of social cognition can explain the link between attitudes and behavior. In this regard, the distinction between implicit and explicit attitudes is worth to be considered, whereby implicit attitudes are automatically activated when the attitude object is present and guide automatic behavior. In contrast, explicit attitudes infer deliberation and reflection, hence affecting controlled behavior. As teachers often are required to act (...) immediately in situations that do not allow for thoughtful reflection due to time restraints, teachers´ implicit attitudes concerning different student groups with shared characteristics, such as gender or ethnicity, may be especially important when considering teachers´ behavior in relation to students´ educational pathways. This notion is reflected by an increased interest in adopting implicit methodology in the educational domain. Over the last 10 years, several studies have been conducted in different countries, involving in- and preservice teachers and investigating their attitudes toward different student groups. Estimates of effects have varied and may be affected by sampling bias. To systematically review and integrate data from different studies, this meta-analysis focuses on teachers´ implicit attitudes. Following the systematic search of the database and initial screening, 43 articles were identified from which 22, describing 34 studies, were retained for the meta-analysis after further inspection. First analyses revealed an estimated average effect size of 0.56 for implicit attitudes in favor of non-marginalized groups. As there was a large extent of heterogeneity between studies, several moderator variables, were investigated. Results showed that the employed implicit measure and stimulus materials as well as the student target group affected the effect sizes. Low or non-significant relationships were reported between implicit and explicit attitudes. Findings are discussed in terms of theory and future research. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and (...) their algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

This volume explores various themes at the intersection of archaeology and philosophy: inference and theory; interdisciplinary connections; cognition, language and normativity; and ethical issues. Showcasing this heterogeneity, its scope ranges from the method of analogical inference to the evolution of the human mind; from conceptual issues in assessing the health of past populations to the ethics of cultural heritage tourism. It probes the archaeological record for evidence of numeracy, curiosity and creativity, and social complexity. Its contributors comprise an (...) interdisciplinary cluster of philosophers, archaeologists, anthropologists, and psychologists, from a variety of career stages, of whom many are leading experts in their fields. Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (shrink)

By organizing crowds of scientists to independently tackle the same research questions, we can collectively overcome the generalizability crisis. Strategies to draw inferences from a heterogeneous set of research approaches include aggregation, for instance, meta-analyzing the effect sizes obtained by different investigators, and parsing, attempting to identify theoretically meaningful moderators that explain the variability in results.

The study of some real reasonings (observed in the Humanities) reveals the very heterogeneous nature of the arguments used in the building of scientific knowledge and the complexity of their overall architecture. The building of a formal theory of the trace of these mental processes on the classical grounds of logic seems quite impossible. Instead, we propose a flexible methodology based on some local formal models, integrated in a global strategy. This strategy allows an empirical, but systematic, description of (...) the process of reasoning as a whole.The local models can be very different, from plausible inference to conditional transitivity. Their integration is based on some argumentative markers or structures (topoï). We propose a procedural semantics for some of them.This paper is based on the AVEROES Project, a study of the sea-borne trade in the Occidental Mediterranean Sea during the Roman Empire. (shrink)