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)

It is illegitimate to read any ontology about "race" off of biological theory or data. Indeed, the technical meaning of "genetic variation" is fluid, and there is no single theoretical agreed-upon criterion for defining and distinguishing populations (or groups or clusters) given a particular set of genetic variation data. Thus, by analyzing three formal senses of "genetic variation"—diversity, differentiation, and heterozygosity—we argue that the use of biological theory for making epistemic claims about "race" can only seem plausible when (...) it relies on the user’s own assumptions about race; the move from biological measures to claims about “race” inevitably amounts to a pernicious reification. We also excavate assumptions in the history of the technical discourse over the concept of "race" (e.g., Livingstone's and Dobzhansky's 1962 exchange, Edwards' 2003 response to Lewontin 1972, as well as contemporary discussions of cladistic "race", and "races" as clusters). We show that claims about the existence (or non-existence) of "race" are underdetermined by biological facts, methods, and theories. Biological theory does not force the concept of "race" upon us; our social discourse, social ontology, and social expectations do. We become prisoners of our abstractions at our own hands, and at our own expense. (shrink)

In this dissertation I achieve the following: (1) I present motivating criteria for a general comprehensive theory of scientific explanation. I review historical approaches to modeling explanation in light of these criteria. (2) I present New Mechanist Explanation ("NME") as the leading candidate for a contemporary, complete theory of scientific explanation. (3) I present constraints on the applicability of New Mechanism in modeling biology, chemistry, and physics. I argue for the unsuitability of NME as a candidate for a (...) general theory of explanation due to its significant omissions of explanatory content and subsequent incompleteness. (4) I present arguments for the indispensable explanatory power of mathematics in science, noting that much of NME's failures are owed to its poor integration of mathematical explanation as applied to science. (5) I propose a Rational-Relational theory of explanation(“RRE”). I present RRE in detail and demonstrate it as a true working general theory of explanation which best meets the motivating criteria presented in (1). I disambiguate RRE from structural explanation ("SE"). I show that historical models of explanation, including the deductive nomological (DNE) model, statistical relevance ("SRE") model, structural model (SE) and unification model ("UE") may be successfully treated as sub-classes of explanation within the scope of RRE. I provide a rubric for selecting amongst sub-theories of explanation under RRE in the purpose of highlighting particular features of relational explanations. (6) In conclusion, I argue that philosophers of science should move forward using RRE as a general model of scientific explanation as a working alternative to the incomplete model of NME. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy (...) class='Hi'>theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

Currently there are at least four sizeable projects going on to establish the gravitational acceleration of massive antiparticles on earth. While general relativity and modern quantum theories strictly forbid any repulsive gravity, it has not yet been established experimentally that gravity is attraction only. With that in mind, the Elementary Process Theory (EPT) is a rather abstract theory that has been developed from the hypothesis that massive antiparticles are repulsed by the gravitational field of a body of (...) ordinary matter: the EPT essentially describes the elementary processes by which the smallest massive systems have to interact with their environments for repulsive gravity to exist. In this paper we model a nonrelativistic, one-component massive system that evolves in time by the processes as described by the EPT in an environment described by classical fields: the main result is a semi-classical model of a process at Planck scale by which a non-relativistic onecomponent system interacts with its environment, such that the interaction has both gravitational and electromagnetic aspects. Some worked-out examples are provided, among which the repulsion of an antineutron by the gravitational field of the earth. The general conclusion is that the semi-classical model of the EPT corresponds to non-relativistic classical mechanics. Further research is aimed at demonstrating that the EPT has a model that reproduces the successful predictions of general relativity. (shrink)

The Fundamental Interrelationships Model – An Alternative Approach to the Theory of Everything, Part 4 Subtitle: The Nature of Beauty and Fundamental Interrelationships -/- Abstract: This article is Chapter 21, titled The Nature of Beauty and the Fundamental Interrelationships, from the book Behind Civilization. It posits that the nature of beauty is rooted in one of the fundamental interrelationships: order. Beauty is perceived as a response in the human brain to this fundamental interrelationship. This article provides evidence (...) that the order theory uniquely explains all forms of beauty and reaffirms the IRM's ability to offer a comprehensive framework for the Theory of Everything. (shrink)

Ecological neutral theory has been controversial as an alternative to niche theory for explaining community structure. Neutral theory, which explains community structure in terms of ecological drift, is frequently charged with being unrealistic, but commentators have usually not provided an account of theory or model realism. In this paper, I propose a framework for comparing the “realism” or accuracy of alternative theories within a domain with respect to the extent to which the theories abstract (...) and idealize. Using this framework I argue, contrary to most previous commentators, that neutral and niche theories are similarly realistic. Realism cannot provide a basis for accepting or rejecting either type of theory; instead, community ecologists should continue working with a plurality of models. While theoretical unification may become possible, we should treat a plurality of complementary, partial models as the expected situation within community ecology. (shrink)

Purpose – The purpose of this paper is to ask whether a first-order-cybernetics concept, Shannon’s Information Theory, actually allows a far-reaching mathematics of perception allegedly derived from it, Norwich et al.’s “Entropy Theory of Perception”. Design/methodology/approach – All of The Entropy Theory, 35 years of publications, was scrutinized for its characterization of what underlies Shannon Information Theory: Shannon’s “general communication system”. There, “events” are passed by a “source” to a “transmitter”, thence through a “noisy channel” to (...) a “receiver”, that passes “outcomes” (received events) to a “destination”. Findings – In the entropy theory, “events” were sometimes interactions with the stimulus, but could be microscopic stimulus conditions. “Outcomes” often went unnamed; sometimes, the stimulus, or the interaction with it, or the resulting sensation, were “outcomes”. A “source” was often implied to be a “transmitter”, which frequently was a primary afferent neuron; elsewhere, the stimulus was the “transmitter” and perhaps also the “source”. “Channel” was rarely named; once, it was the whole eye; once, the incident photons; elsewhere, the primary or secondary afferent. “Receiver” was usually the sensory receptor, but could be an afferent. “Destination” went unmentioned. In sum, the entropy theory’s idea of Shannon’s “general communication system” was entirely ambiguous. Research limitations/implications – The ambiguities indicate that, contrary to claim, the entropy theory cannot be an “information theoretical description of the process of perception”. Originality/value – Scrutiny of the entropy theory’s use of information theory was overdue and reveals incompatibilities that force a reconsideration of information theory’s possible role in perception models. A second-order-cybernetics approach is suggested. (shrink)

A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – (...) of a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)

We present an abstract model of rationality that focuses on structural properties of attitudes. Rationality requires coherence between your attitudes, such as your beliefs, values, and intentions. We define three 'logical' conditions on attitudes: consistency, completeness, and closedness. They parallel the familiar logical conditions on beliefs, but contrast with standard rationality conditions like preference transitivity. We establish a formal correspondence between our logical conditions and standard rationality conditions. Addressing John Broome's programme 'rationality through reasoning', we formally characterize how (...) you can (not) become more logical by reasoning. Our analysis connects rationality with logic, and enables logical talk about multi-attitude psychology. (shrink)

I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it (...) can potentially make claims about systems in reality, other than the particular one which originally induced it. Any so-called correspondence relation between (systems in) reality and the entities and relations in some scientific theory, thus consists of two jumps or interpretations: from the theory (linguistic level) to some model of it (constructural level); and from there to some system in reality. Clearly then the level of fundamental theories cannot be ignored la Nancy Cartwright - in studying the relations between a theory and reality, because the particular features of the theory (the various systems in reality onto which the theory can be mapped) cannot be studied without the underlying knowledge that these systems have one common feature, namely that each of them is the range (or other pole) of a mapping of a context-specific model of the theory - which in itself, is a mapping, or more specifically, an interpretation of the theory. I am also claiming that the nature of these levels and the relations between them necessitate an epistemological rather than an ontological notion of truth criteria, and a referential rather than a representational link between science and reality. (shrink)

ABSTRACT: It will be argued that Eric Winsberg has created a problem where nobody is in the position to rationally support the Anthropogenic Climate Change hypothesis, since he demands the normal lay public defer to experts but, from Winsberg’s philosophical commitments, experts are precluded from having the ability to rationally conclude that a hypothesis is superior to an alternative. Winsberg’s difficulties can be resolved with a little help from Bayesian Confirmation Theory. A Bayesian analysis will be provided which (...) allows for the evaluation of climate models that uses Winsberg’s analysis of robustness. (shrink)

According to conciliatory views on the significance of disagreement, it’s rational for you to become less confident in your take on an issue in case your epistemic peer’s take on it is different. These views are intuitively appealing, but they also face a powerful objection: in scenarios that involve disagreements over their own correctness, conciliatory views appear to self-defeat and, thereby, issue inconsistent recommendations. This paper provides a response to this objection. Drawing on the work from defeasible logics paradigm and (...) abstract argumentation, it develops a formal model of conciliatory reasoning and explores its behavior in the troubling scenarios. The model suggests that the recommendations that conciliatory views issue in such scenarios are perfectly reasonable—even if outwardly they may look odd. (shrink)

According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I argue (...) that, even if such positions (emphasizing simple tasks) avoid the traditional form of Kripke's charge, they still succumb to special cases of the finitude problem. Furthermore, I show how such positions can be augmented so as to avoid even these special cases. Doing so requires qualifying the dispositions of interest as those possessed by the abstracted version of an actual agent (in contrast to, say, an idealized version of the agent). In addition to avoiding the finitude problem in its various forms, the position that results provides new materials for appreciating the role that abstracting models can play for a dispositionalist theory of meaning. (shrink)

Reification is to abstraction as disease is to health. Whereas abstraction is singling out, symbolizing, and systematizing, reification is neglecting abstractive context, especially functional, historical, and analytical-level context. William James and John Dewey provide similar and nuanced arguments regarding the perils and promises of abstraction. They share an abstraction-reification account. The stages of abstraction and the concepts of “vicious abstractionism,” “/the/ psychologist’s fallacy,” and “the philosophic fallacy” in the works of these pragmatists are here analyzed in detail. For instance, in (...) 1896 Dewey exposes various fallacies associated with reifying dualistic reflex arc theory. The conclusion prescribes treatments (pluralism and assumption archaeology) for de-reifying ill models (i.e., universalized, narrowed, and ontologized models) in contemporary scientific fields such as cognitive science and biology. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

The quest for a unified “Theory of Everything” that explains the fundamental nature of the universe has long been a holy grail for scientists and philosophers, dating back to the ancient Greeks’ search for Arche. -/- So far, the mainstream of research on A Theory of Everything primarily focuses on the lifeless phenomena and laws of physics while ignores the realm of biology. However, a fundamentally different approach to the ToE has been put forward, presenting a viable alternative (...) to address the challenge of a Theory of Everything. This approach does not seek the ultimate “building block” but rather aims to uncover the intangible rules that fundamentally govern everything in the universe, seeking their universality across the vast spectrum, from the minute subatomic world to the mega mass cosmic world and the magical biological world. -/- To address the challenge, a set of the fundamental interrelationships is introduced and represented by a model, the Fundamental Interrelationships Model. This model cohesively represents these fundamental interrelationships, including serial-parallel relationships, transition of state, critical point, continuation-discontinuation, convergence-divergence, contraction-expansion, singularity-plurality, commonality-difference, similarity, symmetry-asymmetry, periodicity, dynamics-stability, order-disorder, limitation-without limitation, hierarchical structure, and cohesive interconnectedness. These interrelationships, found in nature, can be interpreted as the fundamental laws of physics. -/- Built on the foundation of the Fundamental Interrelationships Model, a collection of the well-established laws of physics and theories are represented and unified, including Newton’s three laws of motion, the four laws of thermodynamics, Einstein’s space-time relationship, Heisenberg’s uncertainty principle, Noether’s theorem, Schrodinger’s wave function collapse, chaos theory and complexity theory. The list continues to grow… Based on this model, a groundbreaking research has, for the first time, put forward a new hypothesis that unifies the Big Bang theory with the evolutionary theory, published in a book in 2022. This research unequivocally demonstrates that the evolution of life also follows the fundamental laws of physics, marking a significant stride toward addressing the longstanding challenge of a comprehensive Theory of Everything. -/- Subsequent studies reveal that the evolution of life (including the evolution of multicellularity), embryonic development, evolution of society (civilisation), and the evolution of the universe all adhere to these fundamental interrelationships. These events are specific expressions of the underlying principles of the Fundamental Interrelationships Model. -/- Ultimately, as a truly all-encompassing theory, the Theory of Everything should not only incorporate non-biological events and the laws of physics but also extend to all facets of life. Thus, unlike most existing candidates, the Fundamental Interrelationships Model offers a comprehensive framework, encompassing both non-biological and living phenomena. Therefore, any hypothesis failing to integrate biology and sociology shouldn’t be considered a comprehensive Theory of Everything -/- This article and the subsequent ones are the abstracts derived from the book, Behind Civilisation/civilization (multiple editions), which represents the culmination of decades of research. The book offers a more comprehensive exploration of how fundamental interrelationships govern all aspect of the universe. -/- . (shrink)

Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunctions being the primary lens. If adjunctions are so important in mathematics, then perhaps they will isolate concepts of some importance in the empirical sciences. But the applications of adjunctions have been hampered by an overly restrictive formulation that avoids heteromorphisms or hets. By reformulating an adjunction using hets, it is split into two parts, a left and a right semiadjunction. (...) Semiadjunctions (essentially a formulation of universal mapping properties using hets) can then be combined in a new way to define the notion of a brain functor that provides an abstract model of the intentionality of perception and action (as opposed to the passive reception of sense-data or the reflex generation of behavior). (shrink)

We model scientific theories as Bayesian networks. Nodes carry credences and function as abstract representations of propositions within the structure. Directed links carry conditional probabilities and represent connections between those propositions. Updating is Bayesian across the network as a whole. The impact of evidence at one point within a scientific theory can have a very different impact on the network than does evidence of the same strength at a different point. A Bayesian model allows us to (...) envisage and analyze the differential impact of evidence and credence change at different points within a single network and across different theoretical structures. (shrink)

Abstract The values of the healthcare sector are fairly ubiquitous across the globe, focusing on caring and respect, patient health, excellence in care delivery, and multi-stakeholder collaboration. Many individual pharmacists embrace these core values. But their ability to honor these values is significantly determined by the nature of the system they work in. -/- The paper starts with a model of the prevailing pharmacist workforce model in Scotland, in which core roles are predominantly separated into hierarchically disaggregated (...) jobs focused on one professional ‘pillar’: Clinician /Practice Provider; Educator; Leader/Manager; and Researcher. This is the ‘Atomistic’ Model. This skills-segregation yields a workforce of individuals working in isolation rather than collaborating together, and lacking a shared information flow, purpose and identity. Key strategic flaws include suboptimal responsiveness to population and subpopulation needs, inconsistency and inequity of care, an erosion of professional agency, and lower job satisfaction. It is conjectured that this results from a lack of congruence between values, professional ethos, and organizational structure. ‘Atomism’ culminates in a syndrome of widespread professional-level cognitive dissonance. -/- The paper contrasts this with a new emerging workforce vision, The Collaborative Care Model. This new model defines a systems-first-approach, built on the principle that all jobs must include all four professional ‘pillars’. Vertical skills integration, involving education and task sharing, will support sustainability and succession planning. Horizontal skills integration (across practice, leadership and research) is included to improve responsiveness to population need and individual professional agency. The working conditions, supportive ethos, and career structure needed to make the model work are described. Moral theory and workforce theory are used to justify why the model may be more effective for population health, delivering greater job satisfaction for individuals and ultimately helping systematically realize and honor healthcare values. Finally, the paper sketches the first steps needed to implement the model at the national level, starting with the operationalization of new multi-pillar professional curricula across the career spectrum. Potential pitfalls and challenges are also discussed. -/- Co-Authors: 1. Paul Forsyth (PF) Lead Pharmacist Clinical Cardiology, Pharmacy, NHS Greater Glasgow & Clyde. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Writing - original draft (lead author), Writing - review & editing (lead author) 2. Andrew Radley (AR), Consultant in Public Health Pharmacy, NHS Tayside. Contribution: Conceptualization; Model curation; Model Theory; Writing - review & editing 3. Gordon Rushworth (GR), MPharm MSc FFRPS FRPharmS (Consultant). Programme Director, Highland Pharmacy Education & Research Centre, NHS Highland, Inverness. Contribution: Model curation; Writing - review & editing 4. Fiona Marra (FM) National Lead Clinician Scottish Infection and Immunology Network (SPAIIN) / Advanced Pharmacist HCV / HIV, NHS Greater Glasgow & Clyde. Contribution: Model curation; Writing - review & editing 5. Susan Roberts (SR) Associate Postgraduate Pharmacy Dean, NHS Education for Scotland. Contribution: Model curation; Writing - review & editing 6. Roisin O’Hare (RO) Lead Teacher Practitioner Pharmacist, Northern Ireland University Network, Southern Health and Social Care Trust. Contribution: Model curation; Writing - review & editing 7. Catherine Duggan (CD) Chief Executive Officer, International Pharmaceutical Federation (FIP). Contribution: Model curation; Writing - review & editing 8. Barry Maguire (BM) Senior Lecturer, School of Philosophy, Psychology and Life Sciences, The University of Edinburgh. Contribution: Conceptualization; Model Curation; Model Theory; Model Visualization; Supervision; Writing - original draft (senior academic supervisor), Writing - review & editing (senior academic supervisor) -/- . (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract (...) theorizing about the normative principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

The theory of mind debate has reached a “hybrid consensus” concerning the status of theory-theory and simulation-theory. Extant hybrid models either specify co-dependency and implementation relations, or distribute mentalizing tasks according to folk-psychological categories. By relying on a non-developmental framework these models fail to capture the central connection between simulation and theory. I propose a “dynamic” hybrid that is informed by recent work on the nature of similarity cognition. I claim that Gentner’s model of (...) structure-mapping allows us to understand simulation as a process in which psychological representations are aligned, causing the spontaneous abstraction of theoretical generalizations about the psychological domain. (shrink)

Most philosophical accounts of scientific models assume that models represent some aspect, or some theory, of reality. They also assume that interpretation plays only a supporting role. This paper challenges both assumptions. It proposes that models can be used in science to interpret reality. (a) I distinguish these interpretative models from representational ones. They find new meanings in a target system’s behaviour, rather than fit its parts together. They are built through idealisation, abstraction and recontextualisation. (b) To show how (...) interpretative models work, I offer a case study on the scientific controversy over foetal pain. It highlights how pain scientists use conflicting models to interpret the human foetus and its behaviour, and thereby to support opposing claims about whether the foetus can feel pain. (c) I raise a sceptical worry and a methodological challenge for interpretative models. To address the latter, I use my case study to compare how interpretative and representational models ought to be evaluated. (shrink)

This article reconstructs and defends Theodor Adorno’s social theory by motivating the central role of abstract domination within it. Whereas critics such as Axel Honneth have charged Adorno with adhering to a reductive model of personal domination, I argue that the latter rather understands domination as a structural and de-individualized feature of capitalist society. If Adorno’s social theory is to be explanatory, however, it must account for the source of the abstractions that dominate modern individuals and, (...) in particular, that of value. While such an account remains undeveloped in Adorno, Marx provides resources for its development, in positing the constitution of value neither in production nor exchange alone, but in the social totality. This article argues that Marx’s account is compatible with Adorno’s, and that it may be used to render Adorno’s theory of domination more credible on explanatory grounds. (shrink)

ABSTRACT This article offers the first step in an ongoing project of revisiting the foundations of latinidad and lo latinoamericano by focusing on the exclusions enacted by the history of these concepts and the cultural and political identity that comes with them. In conversation with Susana Nuccetelli and Omar Rivera, the author focuses on two emblematic authors in the history of Latin American philosophy (Simón Bolívar and José de Vasconcelos) that are usually read as offering a novel, liberatory conception (...) of the Latin American reality/identity, categorically different from European and Anglo-American conceptions. This common reading of some of the foundational texts on Latin American identity, however, conceals not only the active, textual removal of Blackness in the construction of this identity, but also the literal subtraction of Black bodies, lives, and histories from the Latin American nations and communities. Both of these elements are an explicit part of the philosophical programs of Bolívar and Vasconcelos. The article shows how the thought and political practice of these two authors, celebrated in different ways as foundational of what we understand as Latin America today, exemplify the exclusionary historical demarcation of latinidad. (shrink)

Plato’s philosophy is important to Badiou for a number of reasons, chief among which is that Badiou considered Plato to have recognised that mathematics provides the only sound or adequate basis for ontology. The mathematical basis of ontology is central to Badiou’s philosophy, and his engagement with Plato is instrumental in determining how he positions his philosophy in relation to those approaches to the philosophy of mathematics that endorse an orthodox Platonic realism, i.e. the independent existence of a realm of (...) mathematical objects. The Platonism that Badiou makes claim to bears little resemblance to this orthodoxy. Like Plato, Badiou insists on the primacy of the eternal and immu- table abstraction of the mathematico-ontological Idea; however, Badiou’s reconstructed Platonism champions the mathematics of post-Cantorian set theory, which itself af rms the irreducible multiplicity of being. Badiou in this way recon gures the Platonic notion of the relation between the one and the multiple in terms of the multiple-without-one as represented in the axiom of the void or empty set. Rather than engage with the Plato that is gured in the ontological realism of the orthodox Platonic approach to the philosophy of mathematics, Badiou is intent on characterising the Plato that responds to the demands of a post-Cantorian set theory, and he considers Plato’s philosophy to provide a response to such a challenge. In effect, Badiou reorients mathematical Platonism from an epistemological to an ontological problematic, a move that relies on the plausibility of rejecting the empiricist ontology underlying orthodox mathematical Platonism. To draw a connec- tion between these two approaches to Platonism and to determine what sets them radically apart, this paper focuses on the use that they each make of model theory to further their respective arguments. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment (...) of concrete universals along with a new concept to abstractly model the functions of a brain. (shrink)

In a previous paper (Compléments pour une théorie des distorsions cognitives, Journal de Thérapie Comportementale et Cognitive, 2007), we did present some elements aimed at contributing to a general theory of cognitive distortions. Based on the reference class, the duality and the system of taxa, these elements led to distinguish between the general cognitive distortions (dichotomous reasoning, disqualification of one pole, minimization, maximization) and the specific cognitive distortions (disqualifying the positive, selective abstraction, catastrophism). By also distinguishing between three levels (...) of reasoning – the instantiation stage, the interpretation stage and the generalization stage – we did also define two other cognitive distortions: over-generalization and mislabeling (Théorie des distorsions cognitives : la sur-généralisation et l'étiquetage, Journal de Thérapie Comportementale et Cognitive, 2009). We currently extend this model to another classical cognitive distortion: personalization. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon (...) Kendall Walton’s ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Abstraction is the lifeblood of theoretical physics, enabling us to model complex systems and predict phenomena with remarkable precision. Yet, by distilling reality into mathematical frameworks, we risk losing touch with the very essence of the physical world. This paper argues that abstraction in physics does not merely hinder our understanding of reality; it fundamentally reshapes it. By delving into quantum mechanics, general relativity, and the Standard Model, we reveal how abstraction extends our cognitive boundaries, uncovers hidden layers (...) of reality, and simultaneously challenges our intuitive perceptions. Through a critical analysis of these pivotal theories, we explore the transformative power of abstraction and its profound implications for our epistemic relationship with the universe. (shrink)

Levins and Lewontin have contributed significantly to our philosophical understanding of the structures, processes, and purposes of biological mathematical theorizing and modeling. Here I explore their separate and joint pleas to avoid making abstract and ideal scientific models ontologically independent by confusing or conflating our scientific models and the world. I differentiate two views of theorizing and modeling, orthodox and dialectical, in order to examine Levins and Lewontin’s, among others, advocacy of the latter view. I compare the positions of (...) these two views with respect to four points regarding ontological assumptions: (1) the origin of ontological assumptions, (2) the relation of such assumptions to the formal models of the same theory, (3) their use in integrating and negotiating different formal models of distinct theories, and (4) their employment in explanatory activity. Dialectical is here used in both its Hegelian–Marxist sense of opposition and tension between alternative positions and in its Platonic sense of dialogue between advocates of distinct theories. I investigate three case studies, from Levins and Lewontin as well as from a recent paper of mine, that show the relevance and power of the dialectical understanding of theorizing and modeling. (shrink)

Maps and mapping raise questions about models and modeling and in science. This chapter archives map discourse in the founding generation of philosophers of science (e.g., Rudolf Carnap, Nelson Goodman, Thomas Kuhn, and Stephen Toulmin) and in the subsequent generation (e.g., Philip Kitcher, Helen Longino, and Bas van Fraassen). In focusing on these two original framing generations of philosophy of science, I intend to remove us from the heat of contemporary discussions of abstraction, representation, and practice of science and thereby (...) see in a more distant and neutral light the many productive ways in which maps can stand in analytically for scientific theories and models. The chapter concludes by complementing the map analogy – i.e., a scientific theory is a map of the world – with a model analogy, viz., a scientific model is a vehicle for understanding. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can (...) be represented for investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

In this paper I examine a new variant of the well-known idea that the self is an abstract object. I propose a simple model of the self as a property of temporal slices of a body's history. I argue that this model, when combined with even a modest realism with regard to properties, implies that the self has many of the chief features traditionally attributed to selves. I conclude that this model allows one to reconcile the (...) full reality of the self with even the most deflationary materialistic theories of consciousness. (shrink)

Abstract: Without directly taking sides in the design/anti-design debate, this paper defends the following position: the assertion that biological evolution “is” design-free presupposes the possibility to model biological evolution in a design-free way. Certainly, there are design-free models of evolution based on cumulative selection. But “to model” is a verb denoting “modeling” as the process leading to a model. So any modeling – trivially – needs “previous human design.” Nevertheless, contrary to other scientific activities which legitimately (...) consider models while ignoring the process leading to them, evolution theory must take into account the human activity of modeling required by its corresponding models. (shrink)

The abstract concept of indeterministic free will is distinguished from the phenomenon of free will. Evidence for the abstract concept is examined and critically compared with various designs of automata. It is concluded that there is no evidence to support the abstract concept of indeterministic free will, it is inconceivable that a test could be constructed to distinguish an indeterministic agent from a complicated automaton. Testing the free will of an alien visitor is introduced to separate prejudices (...) about who has free will from objective experiments. The phenomenon of free will is modelled with a deterministic decision making agent. The agent values ‘independence’ and satisfies a desire for independence by responding to ‘challenges’. When the agent generates challenges internally it will establish a record of being able to do otherwise. In principle a computer could be built with a free will property. The model also explains false attributions of free will (superstitions). (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + (...) A]. This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

This chapter explores to what extent some core ideas of predictive processing can be applied to the phenomenology of time consciousness. The focus is on the experienced continuity of consciously perceived, temporally extended phenomena (such as enduring processes and successions of events). The main claim is that the hierarchy of representations posited by hierarchical predictive processing models can contribute to a deepened understanding of the continuity of consciousness. Computationally, such models show that sequences of events can be represented as states (...) of a hierarchy of dynamical systems. Phenomenologically, they suggest a more fine-grained analysis of the perceptual contents of the specious present, in terms of a hierarchy of temporal wholes. Visual perception of static scenes not only contains perceived objects and regions but also spatial gist; similarly, auditory perception of temporal sequences, such as melodies, involves not only perceiving individual notes but also slightly more abstract features (temporal gist), which have longer temporal durations (e.g., emotional character or rhythm). Further investigations into these elusive contents of conscious perception may be facilitated by findings regarding its neural underpinnings. Predictive processing models suggest that sensorimotor areas may influence these contents. (shrink)

Abstract. The theory-change epistemological model, tried on maxwellian revolution and special relativity genesis, is unfolded to apprehend general relativity genesis. It is exhibited that the dynamics of general relativity (GR) construction was largely governed by internal tensions of special relativity and Newton’s theory of gravitation. The research traditions’ encounter engendered construction of the hybrid domain at first with an irregular set of theoretical models. However, step by step, on revealing and gradual eliminating the contradictions between the (...) models involved, the hybrid set was put into order with a help of equivalence principle. A hierarchy of theoretical models starting from the crossbreeds and up to usual hybrids was moulded. The claim to put forward is that Einstein’s unification design could be successfully implemented since his programme embraced the ideas of the Nordström research programme, as well as the presuppositions of the programme of Max Abraham. By and large Einstein’s victory over his rivals became possible because the core of his research strategy was formed by the equivalence principle comprehended in the light of Kantian epistemology. It is stated that the theories of Nordström and Abraham contrived before November 25, 1915, were not merely the scaffolds to construct the GR basic model. They are still the necessary part of the whole GR theory necessary for its common use. Key words: Einstein, Nordstrom, Abraham, general relativity. -/- . (shrink)

ABSTRACT In previous work I explored how Integral Theory can be applied as a metatheoretical and transdisciplinary framework, in an attempt to arrive at an integrally informed metatheory of addiction. There was an overemphasis on Integral Methodological Pluralism in that thread of research, without clarifying the ontological pluralism of addiction as a multiple object enacted by various methodologies. To arrive at a comprehensive integral metatheory and integral ontology of addiction, I believe it is necessary to include the conception (...) of Integral Pluralism and Integral Enactment Theory as posited by Sean Esbjörn-Hargens. Integral Enactment Theory highlights the phenomenon of addiction as a multiple and dynamic object arising along a continuum of ontological complexity; it adeptly points out how etiological models “co-arise” in relation to methodology (methodological pluralism) to enact a particular reality of addiction (ontological pluralism) while being mediated by the worldview of the subject (epistemological pluralism) applying the method. This article briefly explores the significance of including Integral Pluralism and Integral Enactment Theory in the quest of an integral metatheory and integral ontology of addiction. (shrink)

At the very beginning of On Interpretation (I, 1, 16a3-14) Aristotle distinguishes four levels and discusses their relationships. From this text, we can infer the following: 1. There are four levels: writing, speaking, mental experience and external world. Since writing and speaking can truly be taken as belonging to the same realm, we can reduce Aristotle’s distinction to three realms: language, thought and external world. 2. The realm of language, in both levels of writing and speaking, is different for different (...) people but both of the other realms of thought and external world are the same for them. By this Aristotle must mean that though people of different languages have different writings and speaking words, the things that are in the world and their affections on people’s thought are the same. 3. The relations both between language and thought and in language itself is symbolization: ‘Spoken words are the symbols of mental experience and written words are the symbols of spoken words.’ 4. The relation between external world and thought is similarity: ‘Those things of which our mental experiences are similarities (παθἠματα τῆς ψυχῆς ... ὁμοιώματα).’ (ΟΙ., 16a7) In de Anima (16a8-9; II, 5, 418a4-5; II, 4, 429a10-11; 429a13-16; 429a23) Aristotle describes thoughts as ‘likenesses of objects.’ Paolo Crivelli says that in these addresses Aristotle believe that ‘a thought is of an object just if it is a likeness of it’ and ‘to be a likeness of an object is to be the result of a process of likening of which that object is a cause.’ This, Crivelli believes, is indeed the basis of the sameness of the objects of thoughts: they are results of the same processes of likening by the same objects. 5. There is a correspondence between nouns and verbs on the one hand and objects of thought without co-positing and positing away on the other hand: ‘Nouns themselves and verbs are like objects of thought (νοἠματι) without co-positing and positing away.’ (OI, I, 1, 16a13-14) A. Relationship between external world and thought The following can be inferred from Aristotle’s works about the relationship between thought and external world: 1. ‘The soul is in a way all existing things; for existing things are either sensible or thinkable, and knowledge is in a way what is knowable, and sensation is in a way what is sensible.’ (So., Γ, 8, 431b21-23) In fact, ‘within the soul the faculties of knowledge and sensation are potentially these objects, the one what is knowable, the other what is sensible.’ (So., Γ, 8, 431b26-27) 2. It is the form of the external objects that are in thought (So., Γ, 8, 431b26-29) and the objects of thought are in the sensible forms, viz. both the abstract objects and all the states and affections of sensible things (ἐν τοῖς εἴδεσι τοῖς αἰσθητοῖς τὰ νοητὰ ἐστι, τά τε ἐν ἀφαιρέσει λεγόμενα, καὶ ὃσα τῶν αἰσθητῶν ἓξις καὶ πάθη). (So., Γ, 8, 432a3-6) 3. While external objects are perishable, objects of thought seem to be eternal. (PrA., A, 33, 47b21-22) B. Relationship between language and the external world 1. There is a correspondence between the external world and the true statements about them: ‘If it is true to say that a thing is white, it must necessarily be white; if the reverse proposition is true, it will of necessity not be white.’ (OI, I, 9, 18a39-b5) 2. While external objects ‘does seem in some way the cause of’ the truth or falsity of lingual statements, ‘the true statement is in no way the cause of the actual thing’s existence.’ (Cat., 12, 14b18-22; cf. OI, I, 9, 18b36-19a6) Thus, the external objects reciprocate as to implication of existence with the corresponding true statement about them and thus are prior to them.’ (Cat., 12, 14b11-23) 3. The opposition between an affirmation and negation corresponds to an opposition in the external world between the objects underlying those statements. (Cat., 10, 12b6-15) 4. The correspondence of the whole structure of the external world and language for Aristotle is so that in analyzing the language he shows himself as analyzing the external world. It is in fact a very crucial and controversial dispute whether Aristotle’s philosophy in its very decisive parts is theorizing about language or about external world. In most of his important theories, he begins with discussing language. In fact, language is where he enters the discussion and, in many cases, where he finishes it. In these cases, he either does not discuss external world at all or only derives some principles or conclusions about it. In some other cases he begins from language but ends in external world. a) Daniel W. Graham thinks that language is Aristotle’s ‘model of the world.’ He refers to ‘subjecthood’ as what formally characterizes primary substance and explains how it bases reality in Aristotle: while to be an absolute subject is equal to be fully real, to be a predicate of a subject is equal to be real. ‘Language is not merely a tool to get around in the world; it reveals the structure of the world … the deep structure of language is isomorphic with the world… In this word, logic can reveal connections between elements because language and the world have a form in common. He lists Trendelenburg (1846, 11-13), Gillespie (1925) and (Ackrill (1963, 78-81) as those who have the same idea. b) Emphasizing on the force of τί in Aristotle’s statement when he says that assertions affirm something (τί) of something (τί) makes Peter Simpson (p. 85) to stress, in his interpretation of Jacob’s theory, on the ontological aspect of Aristotle’s philosophy. Jacob says that in his theory of predication, Aristotle focuses on ‘things’ and not words or concepts and predication is a relationship between extralinguistic entities rather than merely linguistic ones; something extralinguistic and ontological. c) Quoting Ackrill ((1963, 73): ‘the categories classify things, not words’) and Kahn ((1978, 248): ‘Aristotle never regards predication as a grammatical or linguistic relation of word to word, nor does he ever speak of subject and predicate as concepts united in judgment’), Fabio Morales says that Aristotle is not classifying predication in Categories but the attributes or properties these stand for.’ d) Graham thinks that the theory of synonymity-homonimity is not purely linguistic, since it is things rather than words that have these properties. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can (...) be represented for investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Abstract The Theory of Computation in its existed form is based on Church –Turing Thesis. Throughout this paper, we show that the Turing computation model of this theory leads us to a contradiction. In brief, by applying a well-known paradox (Unexpected hanging paradox) we show a contradiction in the Theory when we consider the Turing model as our Computation model.

北宋理學家張載和程頤創造性地提出了內在感應論及其實踐問題。張載認為內在感應論以「靜中之動」的動力模式為特徵，且十分強調「至靜」的境界在道德實踐中的重要性。「神」和「地氣」為至靜的太虛能夠產生內在感應活 動提供了動力。相較之下，程頤明確反對「靜中之動」的模式，他通過揭示天理在兩端的互動中持續向內感發，闡明瞭天理擁有不竭內在動力的可能性。這種可能性在主體層面體現為主動的誠意在與邪念的抵抗中不斷湧現。總體 而言，張載和程頤的感應論分別以太虛的「靜中之動」和天理的「恆久之動」為特徵，代表了兩種不同的感應動力模式和修養路徑。兩位儒者從各自獨特的視角論證了內在感應的可能性，從而為傳統感應論注入了新的理論意涵。 Abstract: Northern Song Confucian scholars Zhang Zai and Cheng Yi creatively formulated the theory of internal resonance along with its practical implications. Zhang Zai posited that internal resonance manifests as a dynamic pattern of “motion within stillness,” emphasizing the significance of the state of “ultimate tranquility” in moral refinement. The “numinous” (shen) and “earthly energy” (diqi) serve as the driving forces for the emergence of internal resonance activities within the state of the great void tranquility. In contrast, (...) Cheng Yi explicitly opposed the “motion within stillness” model. Instead, he revealed the continuous inward resonance of Heavenly Principle through its interaction at dual poles, thus illuminating the potentiality of Heavenly Principle possessing inexhaustible intrinsic dynamism. At the subjective level, this potential manifests as proactive sincerity continually emerging amidst resistance to deviant thoughts. In summary, the internal resonance theories proposed by Zhang Zai and Cheng Yi respectively feature the “motion within stillness” of the great void and the “constant motion” of the Heavenly Principle, representing two distinct patterns of inductive dynamics and avenues for self-cultivation. The two Confucian scholars expounded the potentiality of internal resonance from their respective unique perspectives, thereby infusing novel theoretical implications into traditional theories of resonance. Key Terms: Internal Resonance, Non-external Movement, Non-external Inductance, Zhang Zai, Cheng Yi. (shrink)

Dung’s argumentation frameworks are formalisms widely used to model interaction among arguments. Although their study has been profusely developed in the field of Artificial Intelligence, it is not common to see its treatment among those less connected to computer science within the logical-philosophical community. In this paper we propose to bring to that audience a proof-theory for argument justification based on tableaux, very similar to those the Logic students are familiar with. The tableaux enable to calculate whether an (...) argument or subset of arguments are accepted or rejected in accordance to Dung’s preferred and grounded extension-based semantics. Soundness and completeness results regarding those semantics are provided. (shrink)

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a (...) broad subject which begins when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

With the linguistic turn came an ever-increasing tendency to see language as the locus where truths are born, passed along, or modified. As such, postmodern theories have proved highly compatible with postcolonial studies, which have inspired studies of modern Iran as a country that was colonized, only not officially. However, the latter seem to have fallen for extreme abstraction where metaphysical claims abound: presuming constructivist views of language but failing to present a tangible framework, these studies discuss “discursive change” without (...) giving a clue as to what either discourse or change is. Convinced as such, we have adopted Wittgenstein’s idea of language-games to present a tangible model for discursive change. (shrink)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the (...) adjointness between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

Dual-process theories divide cognition into two kinds of processes: Type 1 processes that are autonomous and do not use working memory, and Type 2 processes that are decoupled from the immediate situation and use working memory. Often, Type 1 processes are also fast, high capacity, parallel, nonconscious, biased, contextualized, and associative, while Type 2 processes are typically slow, low capacity, serial, conscious, normative, abstract, and rule-based. This article argues for an embodied dual-process theory based on the phenomenology of (...) Martin Heidegger. According to Heidegger, the basis of human agents’ encounters with the world is in a prereflective, pragmatically engaged disposition marked by readiness-to-hand (Zuhandenheit), sometimes equated with “smooth coping.” Examples of smooth coping include walking, throwing a ball, and other embodied actions that do not require reflective thought. I argue that smooth coping primarily consists of Type 1 processes. The Heideggerian dual-process model yields distinctly different hypotheses from Hubert Dreyfus’ model of smooth coping, and I will critically engage with Dreyfus’ work. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...) nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)