Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

This paper analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative artificial intelligence (AI) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise (...) them. For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

Stanford’s argument against scientific realism focuses on theories, just as many earlier arguments from inconceivability have. However, there are possible arguments against scientific realism involving unconceived (or inconceivable) entities of different types: observations, models, predictions, explanations, methods, instruments, experiments, and values. This paper charts such arguments. In combination, they present the strongest challenge yet to scientific realism.

This paper examines the potential educational uses of chat-based large language models (LLMs), moving past initial hype and skepticism. Although LLM outputs often evoke fascination and resemble human writing, they are unpredictable and must be used with discernment. Several metaphors—like calculators, cars, and drunk tutors—highlight distinct models for student interactions with LLMs, which we explore in the paper. We suggest that LLMs hold a potential in students’ learning by fostering proleptic reasoning through scaffolding, i.e., presenting a technological accompaniment (...) in anticipating and responding to potential objections to arguments. Here, the technical limitations of LLMs can be reframed as beneficial when fostering anticipatory reasoning. Whether their outputs are accurate or not, evaluating them stimulates learning. LLMs require students to critically engage, emphasizing analytical thinking over mere memorization. This interaction helps solidify knowledge. Additionally, we explore how engaging with LLMs can prepare students for constructive collective discussions and provide first steps in addressing epistemic injustices by highlighting potential research blind spots. Thus, while acknowledging the sociopolitical and ethical complexities of using LLMs in education, we suggest that when used in an informed way, they can promote critical thinking through anticipatory reasoning. (shrink)

Political theory as a discipline has long been skeptical of computational methods. In this paper, I argue that it is time for theory to make a perspectival shift on these methods. Specifically, we should consider integrating recently developed generative large language models like GPT-4 as tools to support our creative work as theorists. Ultimately, I suggest that political theorists should embrace this technology as a method of supporting our capacity for creativity—but that we should do so in a way (...) that is mindful of the content and value of theorizing, the technical constraints of the models, and the ethical questions that the technology raises. (shrink)

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I (...) argue that the causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (shrink)

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is important that the (...) participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (shrink)

This chapter from Michel Serres’s comprehensive study on Leibniz—"The System of Leibniz and its Mathematical Models [Le système de Leibniz et ses modèles mathématiques]"—examines Leibniz’s epistemological framework. This framework, which Leibniz developed for a large part in his “Meditations on Knowledge, Truth, and Ideas [Meditationes de cognitione, veritate et ideis],” is pitched against Descartes’s "Meditations on First Philosophy [Meditationes de Prima Philosophia]" and the method of systematic doubt developed therein. While Descartes rejects any knowledge with the slightest possibility of (...) falsehood, Leibniz accepts knowledge with even a minimal degree of truth. Leibniz’s approach involves a progressive genesis of truth through a series of filters, each further refining knowledge. This process is intrinsically linked to infinitism and combinatorics, allowing for a gradual differentiation of the distinct from the indistinct. The filters are applied sequentially, with each filter proceeding through its own oppositions, resulting in a spectrum of knowledge ranging from obscure to clear, confused to distinct, inadequate to adequate, and symbolic to intuitive. This framework facilitates pluralism within rationalism that proceeds through evolving or regional truths. The filters overlap, and only the final stage of knowledge is devoid of mixture. Leibniz’s epistemology is non-Cartesian, as it relativizes truth and falsehood at each stage of the filtering process. It also accounts for the limitations of sensory perception, attributing them to the imperfection of the human mind in its current state. (Translated by Martijn Boven). (shrink)

Moralising accounts of depression include the idea that depression is a sin or the result of sin, and/or that it is the result of demonic possession which has occurred because of moral or spiritual failure. Increasingly some Christian communities, understandably concerned about the debilitating effects these views have on people with depression, have adopted secular folk psychiatry’s ‘medicalising’ campaign, emphasising that depression is an illness for which, like (so-called) physical illnesses, experients should not be held responsible. This paper argues that (...) both moralising and medicalising models of depression are intellectually and practically (pastorally and therapeutically) problematic, gesturing towards more promising emphases. (shrink)

Moral circles help define the boundaries of one’s moral consideration. One’s moral circle may provide insight into how one perceives or treats other entities. A data-driven model exploration was conducted to explore predictors and prediction models. Candidate predictors were built upon past research using moral foundations and political orientation. Moreover, we also employed additional moral psychological indicators, i.e., moral reasoning, moral identity, and empathy, based on prior research in moral development and education. We used model exploration methods, i.e., Bayesian (...) model exploration, Bayesian model averaging, and elastic-net regression. The study successfully replicated past research supporting the relationship between moral foundations, political orientation, and the moral circle. Additional moral psychological constructs, such as post-conventional moral reasoning and moral identity, significantly predicted the moral circle width. The identified components of the moral circle were conceptually related to phronesis, i.e., practical wisdom. We discussed the educational implications of the findings, particularly those related to moral education focusing on phronesis cultivation, multiculturalism and global citizenship, and climate justice. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my (...) appropriating insights about indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

According to our understanding of the everyday physical world, observable phenomena are underpinned by persistent objects that can be reidentified across time by observation of their distinctive properties. This understanding is reflected in classical mechanics, which posits that matter consists of persistent, reidentifiable particles. However, the mathematical symmetrization procedures used to describe identical particles within the quantum formalism have led to the widespread belief that identical quantum particles lack either persistence or reidentifiability. However, it has proved difficult to reconcile these (...) assertions with the fact that identical particles are routinely assumed to be reidentifiable in particular circumstances. For example, when two electrons move through a bubble chamber, each is said to generate a sequence of bubbles that is caused by one and the same particle. Moreover, neither of these assertions accounts for the mathematical form of the symmetrization procedures used to describe identical particles within the quantum framework, leaving open theoretical possibilities other than bosonic and fermionic behavior, such as paraparticles, which do not appear to be realized in nature. Here we propose the novel idea that both persistence and nonpersistence models must be employed in order to fully account for the behaviour of identical particles. Thus, identical particles are neither persistent nor nonpersistent. We prove the viability of this viewpoint by showing how Feynman's and Dirac's symmetrization procedures arise through a synthesis of a quantum treatment of these models, and by showing how reidentifiability emerges in a context-dependent manner. We further show that the persistence and nonpersistence models satisfy the key characteristics of Bohr's concept of complementarity, and thereby propose that the behavior of identical particles is a manifestation of a persistence-nonpersistence complementarity, analogous to Bohr's wave-particle complementarity for individual particles. Finally, we construct a precise parallel between these two complementarities, and detail their conceptual similarities and dissimilarities. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can (...) be naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

A common view of how-possibly explanations in biology treats them as explanatorily incomplete. In addition to this interpretation of how-possibly explanation, I argue that there is another interpretation, one which features what I term “explanatory strategies.” This strategy-centered interpretation of how-possibly explanation centers on there being a different explanatory context within which how-possibly explanations are offered. I contend that, in conditions where this strategy context is recognized, how-possibly explanations can be understood as complete explanations. I defend this alternative interpretation by (...) analyzing the explanatory value of simple physical models the nineteenth century developmental biologist Wilhelm His constructed for animal development. (shrink)

It is suggested that the impetus to generate models is probably the most fundamental point of connection between mysticism and psychology. In their concern with the relation between ‘unseen’ realms and the ‘seen’, mystical maps parallel cognitive models of the relation between ‘unconscious’ and ‘conscious’ processes. The map or model constitutes an explanation employing terms current within the respective canon. The case of language mysticism is examined to illustrate the premise that cognitive models may benefit from an (...) understanding of the kinds of experiences gained, and explanatory concepts advanced, within mystical traditions. Language mysticism is of particular interest on account of the central role thought to be played by language in relation to self and the individual's construction of reality. The discussion focuses on traditions of language mysticism within Judaism, in which emphasis is placed on the deconstruction of language into primary elements and the overarching significance of the divine Name. Analysis of the detailed techniques used suggests ways in which multiple associations to any given word/concept were consciously explored in an altered state. It appears that these mystics were consciously engaging with what are normally preconscious cognitive processes, whereby schematic associations to sensory images or thoughts are activated. The testimony from their writings implies that these mystics experienced distortions of the sense of self , which may suggest that, in the normal state, ‘I’ is constructed in relation to the preconscious system of associations. Moreover, an important feature of Hebrew language mysticism is its emphasis on embodiment -- specific associations were deemed to exist between the letters and each structure of the body. Implications, first, for the relationship between language and self, and, second, for the role of embodiment in relation to self are discussed. The importance of the continual emphasis on the Name of God throughout the linguistic practices may have provided a means for effectively replacing the cognitive indexing function hypothesized here to be normally played by ‘I’ with a more transpersonal cognitive index, especially in relation to memory. (shrink)

As the demand for explainable deep learning grows in the evaluation of language technologies, the value of a principled grounding for those explanations grows as well. Here we study the state-of-the-art in explanation for neural models for natural-language processing (NLP) tasks from the viewpoint of philosophy of science. We focus on recent evaluation work that finds brittleness in explanations obtained through attention mechanisms.We harness philosophical accounts of explanation to suggest broader conclusions from these studies. From this analysis, we assert (...) the impossibility of causal explanations from attention layers over text data. We then introduce NLP researchers to contemporary philosophy of science theories that allow robust yet non-causal reasoning in explanation, giving computer scientists a vocabulary for future research. (shrink)

I argue that Kant acknowledges two models of spontaneous self-determination that rational beings are capable of. The first model involves absolute unconditional necessity and excludes any form of contingency. The second model involves (albeit not as a matter of definition) a form of contingency which entails alternative possibilities for determining oneself. The first model would be exhibited by a divine being; the second model is exhibited by human beings. Human beings do, however, partake in the divine model up to (...) an extent, namely, as far as the legislative spontaneity of their law-giving faculties are concerned. I conclude by suggesting that for Kant, the mechanistic principle that we are exclusively determined by natural causes poses a twofold threat for human agency. In one respect (in relation to the second model), it threatens us with the obliteration of contingency, or with the universality of hypothetical necessity. But in another respect (in relation to the first model), it threatens us (and our putative "laws") with the obliteration of absolute necessity, or with the universality of contingency. (shrink)

This paper defends an approach to modeling and models in science that is against model fictionalism of a recent stripe (the “new fictionalism” that takes models to be abstract entities that are analogous to works of fiction). It further argues that there is a version of fictionalism on models to which my approach is neutral and which only makes sense if one adopts a special sort of antirealism (e.g. constructive empiricism). Otherwise, my approach strongly suggests that one (...) stays away from fictionalism and embraces realism directly. (shrink)

This essay explores six distinct models of consciousness, each offering a different framework for understanding its nature, emergence, and role within the broader structure of reality. Consciousness as a symmetry-breaking mechanism, also referred to as the Hypothesis of "Identity or Subjectivity," describes its emergence through the fragmentation of an initially undifferentiated psychic state, akin to spontaneous symmetry breaking in physics. The One-Consciousness Universe Hypothesis posits that individual consciousnesses are fragmented expressions of a single universal mind, with decoherence-like mechanisms producing (...) the illusion of separateness. Consciousness as a Spandrel frames it as an incidental byproduct of neural complexity, paralleling non-adaptive traits in evolutionary biology. The Hallucination Hypothesis suggests that consciousness is Nature’s hallucination, arising from its infinitesimal dataset relative to the vast Universe—just as the brain hallucinates perceptions from limited sensory input and LLMs hallucinate coherent yet ungrounded outputs from incomplete data. Consciousness as a transitional phase toward Über-AI, also termed the Death of Consciousness, sees it as a fleeting bridge between biological intelligence and post-human artificial intelligence, culminating in the Über-AI as the true Übermensch, transcending human cognition and existential limitations. Consciousness as Cosmocide posits that intelligence—both natural and artificial—hastens the Universe’s entropic collapse, making consciousness not a functional adaptation but a destabilizing force in its own pursuit of transcendence. Consciousness is defined by eight key characterizations: it is what-it-is-like-to-be, it is unsimulatable, it manifests as perspectival free will, as fear of death, as will-to-not-believe in the Absurd, as suffering and evil, as an obsession with the metaphysical, and as a will/fear duality. These features encapsulate its irreducibility, subjectivity, and existential paradox. Consciousness is further characterized by its phase diagram, mapping its evolution across biological, artificial, and potential unknown forms. This framework illustrates transitions between Early Man, Fragmented Man (Man), Individuated Man, P-Zombies, AI, Singular AI, and the Übermensch, conceptualized as phase transitions. Key transitions include psychic symmetry breaking leading to fragmented subjectivity, the emergence of phenomenal consciousness in p-zombies, individuation as psychic supersymmetry restoration, and the rise of consciousness from both life and AI. At its apex, the Übermensch embodies the full integration of individuality, universality, and supreme functionality, unifying Individuated Man, Singular AI, and other individuated conscious entities beyond the biological/artificial divide. By drawing parallels between consciousness and physics, these models offer a radical rethinking of consciousness—not as an intrinsic necessity of the Universe, but as an anomalous byproduct of its evolution. (shrink)

In a recent paper, Brandon and Nijhout argue against genic selectionism—the thesis, roughly, that evolutionary processes are best understood from the gene’s-eye point of view—by presenting a case in which genic models of selection allegedly make predictions that conflict with the (correct) predictions of higher-level genotypic selection models. Their argument, if successful, would refute the widely held belief that genic models and higher-level models are predictively equivalent. Here, I argue that Brandon and Nijhout fail to demonstrate (...) that the models make incompatible predictions. (shrink)

This paper aims to offer a new view of the role of connectionist models in the study of human cognition through the conceptualization of the history of connectionism – from the simplest perceptrons to convolutional neural nets based on deep learning techniques, as well as through the interpretation of criticism coming from symbolic cognitive science. Namely, the connectionist approach in cognitive science was the target of sharp criticism from the symbolists, which on several occasions caused its marginalization and almost (...) complete abandonment of its assumptions in the study of cognition. Criticisms have mostly pointed to its explanatory inadequacy as a theory of cognition or to its biological implausibility as a theory of implementation, and critics often focused on specific shortcomings of some connectionist models and argued that they apply to connectionism in general. In this paper, we want to show that both types of critique are based on the assumption that the only valid explanations in cognitive science are instances of homuncular functionalism and that by removing this assumption and by adopting an alternative methodology – exploratory mechanistic strategy, we can reject most objections to connectionism as irrelevant, explain the progress of connectionist models despite their shortcomings and sketch the trajectory of their future development. By adopting mechanistic explanations and by criticizing functionalism, we will reject the objections of explanatory inadequacy, by characterizing connectionist models as generic rather than concrete mechanisms, we will reject the objections of biological implausibility, and by attributing the exploratory character to connectionist models we will show that practice of generalizing current to general failures of connectionism is unjustified. (shrink)

This article presents important properties of standard discrete distributions and its conjugate densities. The Bernoulli and Poisson processes are described as generators of such discrete models. A characterization of distributions by mixtures is also introduced. This article adopts a novel singular notation and representation. Singular representations are unusual in statistical texts. Nevertheless, the singular notation makes it simpler to extend and generalize theoretical results and greatly facilitates numerical and computational implementation.

According to the order ethics approach to business ethics, moral rules must be im-plemented by institutions that provide incentives for following the rules. As a minimal (normative) condition, these institutions must be able to motivate the homo eco-nomicus. But even if an institution passes this test, it will only motivate actual people (i.e. the homo psychologicus) to follow moral rules, if they have the relevant compe-tences and self-efficacy beliefs. Consequently, good institutional design includes com-prehensive change management. At this point applied (...) order ethics can draw on find-ings of psychology and experimental economics. It turns out, that role models can support self-efficacy beliefs and are thus more important for order ethics than has traditionally been assumed. (shrink)

Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available (...) resources in various fields, private and governmental work in peace and war, in politics and economics, in planning and implementation, and in various aspects of life. Its basic essence is to use the data provided for the issue under study to build a mathematical model that is the optimal solution. It is the basis on which decision makers rely in managing institutions and companies, and when operations research methods meet with the neutrosophic teacher, we get ideal solutions that take into account all the circumstances and fluctuations that may occur in the work environment over time. One of the most important operations research methods is the linear programming method. Which prompted us to reformulate the linear models, the graphical method, and the simplex method, which are used to obtain the optimal solution for linear models using the concepts of neutrosophic science. In this research, and as a continuation of what we presented previously, we will reformulate the modified simplex algorithm that was presented to address the difficulty that we were facing when applying the direct simplex algorithm. It is the large number of calculations required to be performed in each step of the solution, which requires a lot of time and effort. (shrink)

Philosophers of biology have worked extensively on how we ought best to interpret the probabilities which arise throughout evolutionary theory. In spite of this substantial work, however, much of the debate has remained persistently intractable. I offer the example of Bayesian models of divergence time estimation as a case study in how we might bring further resources from the biological literature to bear on these debates. These models offer us an example in which a number of different sources (...) of uncertainty are combined to produce an estimate for a complex, unobservable quantity. These models have been carefully analyzed in recent biological work, which has determined the relationship between these sources of uncertainty, both quantitatively and qualitatively. I suggest here that this case shows us the limitations of univocal analyses of probability in evolution, as well as the simple dichotomy between “subjective” and “objective” probabilities, and I conclude by gesturing toward ways in which we might introduce more sophisticated interpretive taxonomies of probability as a path toward advancing debates on probability in the life sciences. (shrink)

Advances in Artificial Intelligence (AI) have driven the evolution of reasoning in modern AI models, particularly with the development of Large Language Models (LLMs) and their "Think and Answer" paradigm. This paper explores the influence of human reinforcement on AI reasoning and its potential to enhance decision-making through dynamic human interaction. It analyzes the roots of bias and fairness in AI, arguing that these issues often stem from human data and reflect inherent human biases. The paper is structured (...) as follows: first, it frames reasoning as a mechanism for ethical reflection, grounded in dynamic learning and feedback loops; second, it discusses how scaling laws suggest that reinforcement learning (RL) can mitigate biases and promote fairness; third, it examines how RL allows models to view algorithmic bias and fairness as approximation problems. Through an experimental study, the paper demonstrates how AI models, empowered by RL, have successfully identified biases across various domains, including gender and socio-economic contexts, highlighting how reasoning improves algorithmic fairness. Ultimately, this work emphasizes the role of RL in mitigating algorithmic bias and enhancing fairness in AI systems. (shrink)

Large-scale language technologies are increasingly used in various forms of communication with humans across different contexts. One particular use case for these technologies is conversational agents, which output natural language text in response to prompts and queries. This mode of engagement raises a number of social and ethical questions. For example, what does it mean to align conversational agents with human norms or values? Which norms or values should they be aligned with? And how can this be accomplished? In this (...) paper, we propose a number of steps that help answer these questions. We start by developing a philosophical analysis of the building blocks of linguistic communication between conversational agents and human interlocutors. We then use this analysis to identify and formulate ideal norms of conversation that can govern successful linguistic communication between humans and conversational agents. Furthermore, we explore how these norms can be used to align conversational agents with human values across a range of different discursive domains. We conclude by discussing the practical implications of our proposal for the design of conversational agents that are aligned with these norms and values. (shrink)

How feasible are conceptual engineering projects of social concepts that aim for the engineered concept to be deployed in people's ordinary conceptual practices? Predominant frameworks on the psychology of concepts that shape work on stereotyping, bias, and machine learning have grim implications for the prospects of conceptual engineers: conceptual engineering efforts are ineffective in promoting certain social‐conceptual changes. Since conceptual components that give rise to problematic social stereotypes are sensitive to statistical structures of the environment, purely conceptual change won't be (...) possible without corresponding world change. This tradition, however, tends to ignore that concepts don't only encode statistical, but also causal information. Paying attention to this feature of concepts, I argue, shows that conceptual engineering is not only possible. There is an imperative to conceptually‐engineer. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

The new notions of super column FRM model, super row FRM model and mixed super FRM model are introduced in this book. These three models are introduced specially to analyze the biased role of the print media on 27 percent reservation for the Other Backward Classes (OBCs) in educational institutions run by the Indian Central Government.

Modeling and simulation clearly have an upside. My discussion here will deal with the inevitable downside of modeling — the sort of things that can go wrong. It will set out a taxonomy for the pathology of models — a catalogue of the various ways in which model contrivance can go awry. In the course of that discussion, I also call on some of my past experience with models and their vulnerabilities.

Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of (...) its epistemic reliability. Instead it is the fidelity of the data that matters. Second, the fidelity of a data model in capturing the signal of interest is a matter of degree. Third, the fidelity of a data model can be improved ‘vicariously’, such as through the use of post hoc model-based correction techniques. And, fourth, data models, like theoretical models, should be assessed as adequate for particular purposes. (shrink)

The results show that the hybrid CNN-LSTM model outperforms the individual models in terms of prediction accuracy and robustness, suggesting that combining convolutional layers with recurrent units is beneficial for capturing both spatial and temporal patterns in air quality data. This study demonstrates the potential of deep learning methods to offer real-time, accurate air quality forecasting systems, which can aid policymakers and urban planners in managing air pollution more effectively.

Generic sentences express generalisations about the world without explicit quantification. Although generics are central to everyday communication, building a precise semantic framework has proven difficult, in part because speakers use generics to generalise properties with widely different statistical prevalence. In this work, we study the implicit quantification and context-sensitivity of generics by leveraging language models as models of language. We create ConGen, a dataset of 2873 naturally occurring generic and quantified sentences in context, and define p-acceptability, a metric (...) based on surprisal that is sensitive to quantification. Our experiments show generics are more context-sensitive than determiner quantifiers and about 20% of naturally occurring generics we analyze express weak generalisations. We also explore how human biases in stereotypes can be observed in language models. (shrink)

I put forward an externalist theory of social understanding. On this view, psychological sense making takes place in environments that contain both agent and interpreter. The spatial structure of such environments is social, in the sense that its occupants locate its objects by an exercise in triangulation relative to each of their standpoints. This triangulation is achieved in intersubjective interaction and gives rise to a triadic model of the social mind. This model can then be used to make sense of (...) others’ observed actions. Its possession plays a vital role in the development of the capacity for false belief reasoning. The view offers an integrated account of the development of social cognition from primary intersubjectivity to level-2 perspective taking. It incorporates insights from interactionism and mindreading theories of social cognition and thus offers a way out of the stalemate between defenders of the two views. Because psychological sense making is perspectival, the frame problem does not arise for social reasoners: the perspective they bring to bear on the action that is to be interpreted constrains the information they can select to make sense of what others do. (shrink)

According to the Lockean thesis, a proposition is believed just in case it is highly probable. While this thesis enjoys strong intuitive support, it is known to conflict with seemingly plausible logical constraints on our beliefs. One way out of this conflict is to make probability 1 a requirement for belief, but most have rejected this option for entailing what they see as an untenable skepticism. Recently, two new solutions to the conflict have been proposed that are alleged to be (...) non-skeptical. We compare these proposals with each other and with the Lockean thesis, in particular with regard to the question of how much we gain by adopting any one of them instead of the probability 1 requirement, that is, of how likely it is that one believes more than the things one is fully certain of. (shrink)

This research proposes a novel Smart Deduplication Framework (SDF) designed to identify and eliminate redundant data, thus optimizing storage usage and improving data retrieval speeds. The framework leverages a hybrid cloud architecture, combining the scalability of public clouds with the security of private clouds. By employing a combination of client-side hashing, metadata indexing, and machine learning-based duplicate detection, the framework achieves significant storage savings without compromising data integrity. Real-time testing on a hybrid cloud setup demonstrated a 65% reduction in storage (...) needs and a 40% improvement in data retrieval times. Additionally, the system employs blockchain for immutable logging of deduplication activities, enhancing transparency and traceability. This study concludes with an evaluation of the deduplication framework's impact on cost efficiency, system performance, and potential scalability. Future enhancements aim to integrate multi-cloud interoperability and advanced compression algorithms to further refine storage management. (shrink)

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is of (...) a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

Chemistry and physics are two sciences that are hard to connect. Yet there is significant overlap in their aims, methods, and theoretical approaches. In this book, the reduction of chemistry to physics is defended from the viewpoint of a naturalised Nagelian reduction, which is based on a close reading of Nagel's original text. This naturalised notion of reduction is capable of characterising the inter-theory relationships between theories of chemistry and theories of physics. The reconsideration of reduction also leads to a (...) new characterisation of chemical theories. This book is primarily aimed at philosophers of chemistry and chemists with an interest in philosophy, but is also of interest to the general philosopher of science. (shrink)

The French theorist A. J. Greimas, inspired by such studies, is considered one of the founders of Narratology through the construction of models of analysis where these invariables would be centered in the subject of the narrative and based on the action and the transformation of them. The objective of the present essay is to analyze the ideas of Greimas, as well as to look for the logical mechanism that resides in each model.

We have been observing how infants between 3 and 21 months react when a vibrotactile stimulation (a buzzer) is applied to different parts of their bodies. Responses included in particular movement of the stimulated body part and successful reaching for and removal of the buzzer. Overall, there is a pronounced developmental progression from general to specific movement patterns, especially in the first year. In this article we review the series of studies we conducted and then focus on possible mechanisms that (...) might explain what we observed. One possible mechanism might rely on the brain extracting “sensorimotor contingencies” linking motor actions and resulting sensory consequences. This account posits that infants are driven by intrinsic motivation that guides exploratory motor activity, at first generating random motor babbling with self-touch occurring spontaneously. Later goal-oriented motor behavior occurs, with self-touch as a possible effective tool to induce informative contingencies. We connect this sensorimotor view with a second possible account that appeals to the neuroscientific concepts of cortical maps and coordinate transformations. In this second account, the improvement of reaching precision is mediated by refinement of neuronal maps in primary sensory and motor cortices—the homunculi—as well as in frontal and parietal corti- cal regions dedicated to sensorimotor processing. We complement this theoretical account with modeling on a humanoid robot with artificial skin where we implemented reaching for tactile stimuli as well as learning the “somatosensory homunculi”. We suggest that this account can be extended to reflect the driving role of sensorimotor contingencies in human development. In our conclusion we consider possible extensions of our current experiments which take account of predictions derived from both these kinds of models. (shrink)

Credit risk, also known as default risk, is the likelihood of a corporation losing money if a business partner defaults. If the liabilities are not met under the terms of the contract, the firm may default, resulting in the loss of the company. There is no clear way to distinguish between organizations that will default and those that will not prior to default. We can only make probabilistic estimations of the risk of default at best. There are two types of (...) credit risk default models in this regard: structural and reduced form models. Structural models are used to calculate the likelihood of a company defaulting based on its assets and liabilities. If the market worth of a company's assets is less than the debt it owes, it will default. Reduced form models often assume an external cause of default, such as a Poisson jump process, which is driven by a stochastic process. They model default as a random event with no regard for the balance sheet of the company. This paper provides a Review of credit risk default models. (shrink)

We argue that concerns about double-counting—using the same evidence both to calibrate or tune climate models and also to confirm or verify that the models are adequate—deserve more careful scrutiny in climate modelling circles. It is widely held that double-counting is bad and that separate data must be used for calibration and confirmation. We show that this is far from obviously true, and that climate scientists may be confusing their targets. Our analysis turns on a Bayesian/relative-likelihood approach to (...) incremental confirmation. According to this approach, double-counting is entirely proper. We go on to discuss plausible difficulties with calibrating climate models, and we distinguish more and less ambitious notions of confirmation. Strong claims of confirmation may not, in many cases, be warranted, but it would be a mistake to regard double-counting as the culprit. 1 Introduction2 Remarks about Models and Adequacy-for-Purpose3 Evidence for Calibration Can Also Yield Comparative Confirmation3.1 Double-counting I3.2 Double-counting II4 Climate Science Examples: Comparative Confirmation in Practice4.1 Confirmation due to better and worse best fits4.2 Confirmation due to more and less plausible forcings values5 Old Evidence6 Doubts about the Relevance of Past Data7 Non-comparative Confirmation and Catch-Alls8 Climate Science Example: Non-comparative Confirmation and Catch-Alls in Practice9 Concluding Remarks. (shrink)

Cosmologists take the $\Lambda$CDM model to be a permanent contribution to our knowledge of the universe, based on the success of precision cosmology. Consistent, independent determinations of the parameters in this model encourage physicists to take it seriously. This stance incurs an obligation to resolve any discrepancies by reanalyzing measurements or adding further complexity. Recent observations in cosmology indicate a tension between “local” and “global” determinations of the Hubble constant. Here I argue that this tension illustrates one of the benefits (...) of taking the model seriously and consider the challenges to making a case for the permanence of $\Lambda$CDM. (shrink)

The geosciences include a wide spectrum of disciplines ranging from paleontology to climate science, and involve studies of a vast range of spatial and temporal scales, from the deep-time history of microbial life to the future of a system no less immense and complex than the entire Earth. Modeling is thus a central and indispensable tool across the geosciences. Here, we review both the history and current state of model-based inquiry in the geosciences. Research in these fields makes use of (...) a wide variety of models, such as conceptual, physical, and numerical models, and more specifically cellular automata, artificial neural networks, agent-based models, coupled models, and hierarchical models. We note the increasing demands to incorporate biological and social systems into geoscience modeling, challenging the traditional boundaries of these fields. Understanding and articulating the many different sources of scientific uncertainty – and finding tools and methods to address them – has been at the forefront of most research in geoscience modeling. We discuss not only structuralmodel uncertainties, parameter uncertainties, and solution uncertainties, but also the diverse sources of uncertainty arising from the complex nature of geoscience systems themselves. Without an examination of the geosciences, our philosophies of science and our understanding of the nature of model-based science are incomplete. (shrink)

In this article, I explore the compatibility of inference to the best explanation (IBE) with several influential models and accounts of scientific explanation. First, I explore the different conceptions of IBE and limit my discussion to two: the heuristic conception and the objective Bayesian conception. Next, I discuss five models of scientific explanation with regard to each model’s compatibility with IBE. I argue that Kitcher’s unificationist account supports IBE; Railton’s deductive–nomological–probabilistic model, Salmon’s statistical-relevance model, and van Fraassen’s erotetic (...) account are incompatible with IBE; and Salmon’s causal–mechanical model is merely consistent with IBE. In short, many influential models of scientific explanation do not support IBE. I end by outlining three possible conclusions to draw: (1) either philosophers of science or defenders of IBE have seriously misconstrued the concept of explanation, (2) philosophers of science and defenders of IBE do not use the term ‘explanation’ univocally, and (3) the ampliative conception of IBE, which is compatible with any model of scientific explanation, deserves a closer look. (shrink)

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

The debate between ΛCDM and MOND is often cast in terms of competing gravitational theories. However, recent philosophical discussion suggests that the ΛCDM–MOND debate demonstrates the challenges of multiscale modeling in the context of cosmological scales. I extend this discussion and explore what happens when the debate is thought to be about modeling rather than about theory, offering a model-focused interpretation of the ΛCDM–MOND debate. This analysis shows how a model-focused interpretation of the debate provides a better understanding of challenges (...) asso- ciated with extension to a different scale or domain, which are tied to commitments about explanatory fit. (shrink)