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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is (...) promising, complementing techniques that are used by contemporary interactive provers. (shrink)

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)

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)

Many scholars have claimed that satire is a genre. At the same time, however, it is also widely acknowledged that satire has changed over the centuries, that it has taken various forms and that it still appears in a variety of other genres. Far from being a drawback in identifying satire as a genre, I will claim that variability is a natural property of genres if the latter are conceived of as dynamic cognitive categories that emerge out of a complex (...) interplay of heterogeneous factors which cluster differently under the effect of different contextual and cotextual attractors. I will assume that, in satire, these factors include a range of linguistic and rhetorical devices which interact in different ways to dynamically bring about specifically intended effects. I will further claim that understanding satire is a context-sensitive complex process which implies setting up and maintaining multiple mental representations, and drawing pragmatic inferences. (shrink)

In the genomics era, bioinformatic analysis, especially in non‐model species, facilitates the identification and naming of numerous new proteins, the function of which is then inferred through homology searches. Here, we question certain aspects of these approaches. What are the criteria that permit such a determination? What are their limits? Naming is classifying. We review the different criteria that are used to name a protein and discuss their constraints. We observe that the name given to a protein often introduces a (...) bias for further functional analyses, a bias that is not often taken into account when analysing results. Last but not least, the heterogeneity of criteria used for naming proteins leads to self‐inconsistent or contradictory protein classification that is potentially misleading. Finally, we recommend a wider use of phylogenetic criteria in protein naming. BioEssays 30:349–357, 2008. © 2008 Wiley Periodicals, Inc. (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)

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)

As an illustration of what Phillips called the "heterogeneity of sense," this essay concentrates on differences in what is meant by a "reason for belief." Sometimes saying that a belief is reasonable simply commends the belief's unquestioned acceptance as a part of what we understand as a sensible outlook. Here the standard picture of justifying truth claims on evidential grounds breaks down; and it also breaks down in cases of fundamental moral and religious disagreement, where the basic beliefs that we (...) hold affect our conception of what counts as a reliable ground of judgment. Phillips accepts the resultant variations in our conceptions of rational judgment as a part of logic, just as Wittgenstein did. All objective means of determining the truth or falsity of an assertion presume some underlying conceptual agreement about what counts as good judgment. This means that the possibility of objective justification is limited. But no pernicious relativism results from this view, for as Wittgenstein said, "After reason comes persuasion." There is, moreover, a non-objective criterion of sorts in the moral and religious requirement that one be able to live with one's commitments. In such cases, good judgment is still possible, but it differs markedly from the standard model of making rational inferences. (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)

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)

In The Varieties of Religious Experience, James explores in some depth, among much else, a kind of dividedness that can exist within the stream of consciousness — “the divided self.” This condition of the stream consists in crucial part of a phenomenological heterogeneity, inconsistency, discordance, or division of which disapproving notice is taken subjectively. The pertinent discordance exists among states of consciousness that comprise the same stream, is evident directly to inner awareness, and is not necessarily a matter of positing (...) or inferring the existence of a second stream of consciousness or an unconscious mental life. Typically, intrinsic theorists of inner awareness — or the immediate awareness we all have of at least some of our own mental-occurrence instances — disagree with appendage theorists concerning, inter alia, what the firsthand evidence reveals about inner awareness. I proffer in the present article an hypothesis that should help to explain why the first-person reports of appendage theorists contradict intrinsic theory with regard to inner awareness. My hypothesis derives from James’s discussion in Varieties of the not uncommon divided-self phenomenon. (shrink)

This thesis investigates the nature of psychiatric disorders, and to what extent they can form a basis for classification, explanation, and treatment interventions. These questions are important in the light of the “crisis of validity” in psychiatry, according to which current diagnostic categories do not pick out real disorders. I address the questions by defending an account of psychiatric disorders that can better accommodate social aspects and non-epistemic values than the symptom-based model of the Diagnostic and Statistical Manual of Mental (...) Disorders (DSM) and the brain disease model of the biomedical approach, including the Research Domain Criteria (RDoC). I concentrate on three ways that psychiatric disorders can differ from prototypical natural kinds, such as biological species and chemical elements. First, the concept of psychiatric disorder or mental disorder is partly value-laden and cannot be defined based only on scientific facts. Second, the objects of psychiatric classifications are interactive human kinds because people with disorders respond to their classifications through looping effects. Third, sociocultural factors can shape disorders in complex ways, which is indicated by their cross-cultural variation. I argue that these challenges can be overcome with a pluralistic explanatory account that grants an explicit role to value-sensitive considerations and social scientific research. Based on this, I argue that particular disorders can in principle support inductive inferences. ------------------------------------------------------------------------------------------ My key argument is that although whether a condition is considered pathological is partly a value-laden question, this does not rule out a realist account of particular psychiatric disorders as homeostatic property cluster kinds (HPC). I assert that causal mechanisms responsible for psychiatric kinds can be understood non-metaphysically based on the contrastive-counterfactual and interventionist theories of explanation. An advantage of this account is that it can address the concern that psychiatric explanations require one to relate heterogeneous causal factors on different levels, such as genetic, neurological, psychological, and social. My novel argument is that mechanistic explanations of scientific kinds have applicability domains over which they account for specific aspects of kinds and warrant inductive inferences. That is, identifying the applicability domain of an explanation spells out the conditions under which the explanation is expected to be reliable and when it can break down. This helps to understand how different discipline approaches, including social and cultural ones, can be complementary and make an explanation of a psychiatric kind more reliable. On the other hand, the account also shows how the complex nature of psychiatric kinds can license re-classifications for different epistemic and non-epistemic purposes. Finally, in the light of the social implications of psychiatric classifications, I suggest a value-sensitive or ameliorative approach to engineering the concept of psychiatric disorder. In conclusion, my account shows that research on the social and cultural factors that shape psychiatric disorders, and weighing the non-epistemic values that influence classificatory practices, can and should inform classificatory choices as well as policy and treatment interventions. (shrink)