Modeling mechanisms is central to the biological sciences – for purposes of explanation, prediction, extrapolation, and manipulation. A closer look at the philosophical literature reveals that mechanisms are predominantly modeled in a purely qualitative way. That is, mechanistic models are conceived of as representing how certain entities and activities are spatially and temporally organized so that they bring about the behavior of the mechanism in question. Although this adequately characterizes how mechanisms are represented in biology textbooks, contemporary biological research practice (...) shows the need for quantitative, probabilistic models of mechanisms, too. In this paper we argue that the formal framework of causal graph theory is well-suited to provide us with models of biological mechanisms that incorporate quantitative and probabilistic information. On the ba-sis of an example from contemporary biological practice, namely feedback regulation of fatty acid biosynthesis in Brassica napus, we show that causal graph theoretical models can account for feedback as well as for the multi-level character of mechanisms. However, we do not claim that causal graph theoretical representations of mechanisms are advantageous in all respects and should replace common qualitative models. Rather, we endorse the more balanced view that causal graph theoretical models of mechanisms are useful for some purposes, while being insufficient for others. (shrink)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, (...) then give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

In graph theory, the concept of domination is essential in a variety of domains. It has broad applications in diverse fields such as coding theory, computer net work models, and school bus routing and facility lo cation problems. If a fuzzy graph fails to obtain acceptable results, neutrosophic sets and neutrosophic graphs can be used to model uncertainty correlated with indeterminate and inconsistent information in arbitrary real-world scenario. In this study, we consider the concept of domination (...) as it relates to single-valued neutrosophic incidence graphs (SVNIGs). Given the importance of domination and its utilization in numerous fields, we propose the application of dominating sets in SVNIG with valid edges. We present some relevant definitions such as those of valid edges, cardinality, and isolated vertices in SVNIG along with some examples. Furthermore, we also show a few significant sets connected to the dominating set in an SVNIG such as independent and irredundant sets. We also investigate a relationship between the concepts of dominating sets and domination numbers as well as irredundant and independence sets in SVNIGs. Finally, a real-life deployment of domination in SVNIGsis investigated in relation to COVID-19 vaccination locations as a practical application. (shrink)

Metaphysical graphical structuralism is the view that at some fundamental level the world is a mathematical graph of nodes and edges. Randall Dipert has advanced a graphical structuralist theory of fundamental particulars and Alexander Bird has advanced a graphical structuralist theory of fundamental properties. David Oderberg has posed a powerful challenge to graphical structuralism: that it entails the absurd inexistence of the world or the absurd cessation of all change. In this paper I defend graphical structuralism. A (...) sharper formulation, some theorems about such structures, and careful attention to the interaction of metaphysical and mathematical features, shows that the absurdities depend on assumptions that are not essential to the view and brings to light a surprising fact about the necessary structure of fundamental properties. (shrink)

Neutrosophic theory has many applications in graph theory, bipolar single valued neutrosophic graphs (BSVNGs) is the generalization of fuzzy graphs and intuitionistic fuzzy graphs, SVNGs. In this paper we introduce some types of BSVNGs, such as subdivision BSVNGs, middle BSVNGs, total BSVNGs and bipolar single valued neutrosophic line graphs (BSVNLGs), also investigate the isomorphism, co weak isomorphism and weak isomorphism properties of subdivision BSVNGs, middle BSVNGs, total BSVNGs and BSVNLGs.

Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...) sets of issues can lead to paradoxical outcomes. Any pragmatic method for running a multi-issue election will have to balance these two concerns. We identify and analyse the problem of generating an agenda for a given election, specifying which issues to vote on together in local elections and in which order to schedule those local elections. (shrink)

I examine to what extent accounts of mechanisms based on formal interventionist theories of causality can adequately represent biological mechanisms with complex dynamics. Using a differential equation model for a circadian clock mechanism as an example, I first show that there exists an iterative solution that can be interpreted as a structural causal model. Thus, in principle, it is possible to integrate causal difference-making information with dynamical information. However, the differential equation model itself lacks the right modularity properties for a (...) full integration. A formal mechanistic model will therefore have to leave out either noncausal or causal explanatory relations. (shrink)

Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes of (...) the clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth (...) bearers, thus never sentences of any formal logic system. (shrink)

This paper presents an analysis of Seneca's 58th letter to Lucilius and Porphyry's Isagoge, which were the origin of the tree diagrams that became popular in philosophy and logic from the early Middle Ages onwards. These diagrams visualise the extent to which a concept can be understood as a category, genus, species or individual and what the method of dihairesis (division) means. The paper explores the dissimilarities between Seneca's and Porphyry's tree structures, scrutinising them through the perspective of modern (...) class='Hi'>graph theory. Although traditional trees can be interpreted in a modern way, their terms and definitions defy modern standardisation. These distinctions are not only useful for differentiating between Seneca's and Porphyry's trees, but also for comprehending the evolution of this philosophical tradition. Thus the paper highlights the continued significance of these tree diagrams in analysing concepts and categories in philosophy and structuring objects and information in modern fields such as artificial intelligence, computer science, bioinformatics, graph theory, and many more. (shrink)

By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which (...) explains both paradoxical and paradox-free reasoning. The different structure between cyclic graphs and acyclic graphs is the key to understanding paradoxes. By explaining the immanent between logic, paradox, and cellular automata, it also illustrates dialectical logic as ontology. (shrink)

We analyze a solitaire game in which a demon rearranges some cards after each move. The graph edge coloring theorems of K˝onig (1931) and Vizing (1964) follow from the winning strategies developed.

The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality -- these are the so-called "dangerous" directed graphs. Building on Rabern, et. al (2013) we reformulate this problem in terms of fixed points of certain functions, thereby boiling it down to get (...) a purely mathematical problem. (shrink)

In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies (...) conformant to the Basic Formal Ontology. But it can be used also for more general applications, particularly in the biomedical domain. (shrink)

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the (...) point of view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (shrink)

The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many (...) empirical sciences can hardly be denied. The aim of this paper is to show that Quine’s and Goodman’s harsh verdicts about this notion are mistaken. The concept of similarity is susceptible to a precise logico-mathematical analysis through which its place in the conceptual landscape of modern mathematical theories such as order theory, topology, and graph theory becomes visible. Thereby it can be shown that a quasi-analysis of a similarity structure S can be conceived of as a sheaf (etale space) over S. (shrink)

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. (...) This article explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)

In contemporary human brain mapping, it is commonly assumed that the “mind is what the brain does”. Based on that assumption, task-based imaging studies of the last three decades measured differences in brain activity that are thought to reflect the exercise of human mental capacities (e.g., perception, attention, memory). With the advancement of resting state studies, tractography and graph theory in the last decade, however, it became possible to study human brain connectivity without relying on cognitive tasks or (...) constructs. It therefore is currently an open question whether the assumption that “the mind is what the brain does” is an indispensable working hypothesis in human brain mapping. This paper argues that the hypothesis is, in fact, dispensable. If it is dropped, researchers can “meet the brain on its own terms” by searching for new, more adequate concepts to describe human brain organization. Neuroscientists can establish such concepts by conducting exploratory experiments that do not test particular cognitive hypotheses. The paper provides a systematic account of exploratory neuroscientific research that would allow researchers to form new concepts and formulate general principles of brain connectivity, and to combine connectivity studies with manipulation methods to identify neural entities in the brain. These research strategies would be most fruitful if applied to the mesoscopic scale of neuronal assemblies, since the organizational principles at this scale are currently largely unknown. This could help researchers to link microscopic and macroscopic evidence to provide a more comprehensive understanding of the human brain. The paper concludes by comparing this account of exploratory neuroscientific experiments to recent proposals for large-scale, discovery-based studies of human brain connectivity. (shrink)

This paper examines the adequacy of causal graph theory as a tool for modeling biological phenomena and formalizing biological explanations. I point out that the causal graph approach reaches it limits when it comes to modeling biological phenomena that involve complex spatial and structural relations. Using a case study from molecular biology, DNA-binding and -recognition of proteins, I argue that causal graph models fail to adequately represent and explain causal phenomena in this field. The inadequacy of (...) these models is due to their failure to include relevant spatial and structural information in a way that does not render the model non-explanatory, unmanageable, or inconsistent with basic assumptions of causal graph theory. (shrink)

The recent literature on causality has seen the introduction of several distinctions within causality, which are thought to be important for understanding the widespread scientific practice of focusing causal explanations on a subset of the factors that are causally relevant for a phenomenon. Concepts used to draw such distinctions include, among others, stability, specificity, proportionality, or actual-difference making. In this contribution, I propose a new distinction that picks out an explanatorily salient class of causes in biological systems. Some select causes (...) in complex biological systems, I argue, have the property of enabling coherent causal control of these systems. Examples of such control variables include hormones and other signaling molecules, e.g., TOR (target of rapamycin), morphogens or the products of homeotic selector genes in embryonic pattern formation. I propose an analysis of this notion based on concepts borrowed from causal graph theory. (shrink)

This review focuses on the Ogdoas scholastica by Jacob Lorhard, published in 1606. The importance of this document turns on the fact that it contains what is almost certainly the first published occurrence of the term “ontology.” The body of the work consists in a series of diagrams called “diagraphs.” Relevant features of this compendium of diagraphs are: 1. that it does not in fact contain the word “ontology,” and 2. that Lorhard himself was not responsible for its content.

In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the (...) entities. (shrink)

Mind, according to cognitive neuroscience, is a set of brain functions. But, unlike sets, our minds are cohesive. Moreover, unlike the structureless elements of sets, the contents of our minds are structured. Mutual relations between the mental contents endow the mind its structure. Here we characterize the structural essence and the logical form of the mind by focusing on thinking. Examination of the relations between concepts, propositions, and syllogisms involved in thinking revealed the reflexive graph structure of the conceptual (...) mind. Objective logic of the conceptual mind is calculated from its structure. Noteworthy features of the logic of conceptual mind are: degrees of truth, varieties of negation, admission of contradiction, and the failure of a de Morgan's law. Furthermore, cohesion of the conceptual mind follows from its reflexive graph structure. Our characterization of the structure and logic of mind constitutes a substantial refinement of the contemporary cognitive neuroscientific conceptualization of the mind as a set. (shrink)

This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic (...) Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; Information Fusion; Statistics; Decision Making; Extenics; Instantaneous Physics; Paradoxism; Mathematica; Miscellanea), comprising 965 pages, published between 2005-2022 in different scientific journals, by the author alone or in collaboration with the following 110 co-authors (alphabetically ordered) from 26 countries: Abduallah Gamal, Sania Afzal, Firoz Ahmad, Muhammad Akram, Sheriful Alam, Ali Hamza, Ali H. M. Al-Obaidi, Madeleine Al-Tahan, Assia Bakali, Atiqe Ur Rahman, Sukanto Bhattacharya, Bilal Hadjadji, Robert N. Boyd, Willem K.M. Brauers, Umit Cali, Youcef Chibani, Victor Christianto, Chunxin Bo, Shyamal Dalapati, Mario Dalcín, Arup Kumar Das, Elham Davneshvar, Bijan Davvaz, Irfan Deli, Muhammet Deveci, Mamouni Dhar, R. Dhavaseelan, Balasubramanian Elavarasan, Sara Farooq, Haipeng Wang, Ugur Halden, Le Hoang Son, Hongnian Yu, Qays Hatem Imran, Mayas Ismail, Saeid Jafari, Jun Ye, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Abdullah Kargın, Vasilios N. Katsikis, Nour Eldeen M. Khalifa, Madad Khan, M. Khoshnevisan, Tapan Kumar Roy, Pinaki Majumdar, Sreepurna Malakar, Masoud Ghods, Minghao Hu, Mingming Chen, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohamed Loey, Mihnea Alexandru Moisescu, Muhammad Ihsan, Muhammad Saeed, Muhammad Shabir, Mumtaz Ali, Muzzamal Sitara, Nassim Abbas, Munazza Naz, Giorgio Nordo, Mani Parimala, Ion Pătrașcu, Gabrijela Popović, K. Porselvi, Surapati Pramanik, D. Preethi, Qiang Guo, Riad K. Al-Hamido, Zahra Rostami, Said Broumi, Saima Anis, Muzafer Saračević, Ganeshsree Selvachandran, Selvaraj Ganesan, Shammya Shananda Saha, Marayanagaraj Shanmugapriya, Songtao Shao, Sori Tjandrah Simbolon, Florentin Smarandache, Predrag S. Stanimirović, Dragiša Stanujkić, Raman Sundareswaran, Mehmet Șahin, Ovidiu-Ilie Șandru, Abdulkadir Șengür, Mohamed Talea, Ferhat Taș, Selçuk Topal, Alptekin Ulutaș, Ramalingam Udhayakumar, Yunita Umniyati, J. Vimala, Luige Vlădăreanu, Ştefan Vlăduţescu, Yaman Akbulut, Yanhui Guo, Yong Deng, You He, Young Bae Jun, Wangtao Yuan, Rong Xia, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Zayen Azzouz Omar, Xiaohong Zhang, Zhirou Ma.‬‬‬‬‬‬‬‬. (shrink)

Necessity is a touchstone issue in the thought of Charles Peirce, not least because his pragmatist account of meaning relies upon modal terms. We here offer an overview of Peirce’s highly original and multi-faceted take on the matter. We begin by considering how a self-avowed pragmatist and fallibilist can even talk about necessary truth. We then outline the source of Peirce’s theory of representation in his three categories of Firstness, Secondness and Thirdness, (monadic, dyadic and triadic relations). These have (...) modal purport insofar as the first category corresponds to possibility, the second to mechanical necessity and the third to a kind of semantic or intentional necessity. We then turn to Peirce’s explicit modal epistemology and show how it began as information-relative, with different modalities (e.g. logical, physical, practical) distinguished in terms of respective ‘designated states of information’, and shifted later in his life towards a more robust realism founded in direct perception of ideas in their relations. We then turn to Peirce’s formal logic, focusing on his diagrammatic system of Existential Graphs where he did his most serious logical research. Finally we discuss Peirce’s modal metaphysics and its implications for determinism and realism about universals. (shrink)

A hypergroup, as a generalization of the notion of a group, was introduced by F. Marty in 1934. The first book in hypergroup theory was published by Corsini. Nowadays, hypergroups have found applications to many subjects of pure and applied mathematics, for example, in geometry, topology, cryptography and coding theory, graphs and hypergraphs, probability theory, binary relations, theory of fuzzy and rough sets and automata theory, physics, and also in biological inheritance.

The purpose of this paper is to open for investigation a range of phenomena familiar from dynamical systems or chaos theory which appear in a simple fuzzy logic with the introduction of self-reference. Within that logic, self-referential sentences exhibit properties of fixed point attractors, fixed point repellers, and full chaos on the [0, 1] interval. Strange attractors and fractals appear in two dimensions in the graphing of pairs of mutually referential sentences and appear in three dimensions in the graphing (...) of mutually referential triples. (shrink)

Conceptual models as representations of real-world systems are based on diverse techniques in various disciplines but lack a framework that provides multidisciplinary ontological understanding of real-world phenomena. Concurrently, systems’ complexity has intensified, leading to a rise in developing models using different formalisms and diverse representations even within a single domain. Conceptual models have become larger; languages tend to acquire more features, and it is not unusual to use different modeling languages for different components. This diversity has caused problems with consistency (...) between models and incompatibly with designed systems. Two main solutions have been adopted over the last few years: (1) A currently dominant technology-based solution tries “to harmonize or unify” models, e.g., unifies EER and UML. This solution would solidify modeling achievements, reaping benefits from huge investments over the last thirty years. (2) A less prevalent solution is to pursuit deeper roots that reveal unifying modeling principles and apparatuses. An example of the second method is a “category theory”-based approach that utilizes the strengths of the graph and set theory, along with other topological tools. This manuscript is a sequel in a research venture that belongs to the second approach and uses a model called thinging machines (TMs) founded on Stoic ontology and Lupascian logic. TM modeling contests the thesis that there is no universal approach that covers all aspects of an application, and the paper demonstrates that pursuing such universality is anything but a dead-end method. This paper continues in this direction, with emphasis on TM foundation (e.g., existence and subsistence of things) and exemplifies this pursuit by proposing an alternative representation of set theory. (shrink)

This is the first book in a two-volume series. The present volume introduces the basics of the conceptual foundations of quantum physics. It appeared first as a series of video lectures on the online learning platform Udemy.]There is probably no science that is as confusing as quantum theory. There's so much misleading information on the subject that for most people it is very difficult to separate science facts from pseudoscience. The goal of this book is to make you able (...) to separate facts from fiction with a comprehensive introduction to the scientific principles of a complex topic in which meaning and interpretation never cease to puzzle and surprise. An A-Z guide which is neither too advanced nor oversimplified to the weirdness and paradoxes of quantum physics explained from the first principles to modern state-of-the-art experiments and which is complete with figures and graphs that illustrate the deeper meaning of the concepts you are unlikely to find elsewhere. A guide for the autodidact or philosopher of science who is looking for general knowledge about quantum physics at intermediate level furnishing the most rigorous account that an exposition can provide and which only occasionally, in few special chapters, resorts to a mathematical level that goes no further than that of high school. It will save you a ton of time that you would have spent searching elsewhere, trying to piece together a variety of information. The author tried to span an 'arch of knowledge' without giving in to the temptation of taking an excessively one-sided account of the subject. What is this strange thing called quantum physics? What is its impact on our understanding of the world? What is ‘reality’ according to quantum physics? This book addresses these and many other questions through a step-by-step journey. The central mystery of the double-slit experiment and the wave-particle duality, the fuzzy world of Heisenberg's uncertainty principle, the weird Schrödinger's cat paradox, the 'spooky action at a distance' of quantum entanglement, the EPR paradox and much more are explained, without neglecting such main contributors as Planck, Einstein, Bohr, Feynman and others who struggled themselves to come up with the mysterious quantum realm. We also take a look at the experiments conducted in recent decades, such as the surprising "which-way" and "quantum-erasure" experiments. Some considerations on why and how quantum physics suggests a worldview based on philosophical idealism conclude this first volume. This treatise goes, at times, into technical details that demand some effort and therefore requires some basics of high school math (calculus, algebra, trigonometry, elementary statistics). However, the final payoff will be invaluable: Your knowledge of, and grasp on, the subject of the conceptual foundations of quantum physics will be deep, wide, and outstanding. Additionally, because schools, colleges, and universities teach quantum physics using a dry, mostly technical approach which furnishes only superficial insight into its foundations, this manual is recommended for all those students, physicists or philosophers of science who would like to look beyond the mere formal aspect and delve deeper into the meaning and essence of quantum mechanics. The manual is a primer that the public deserves. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with (...) nodes and links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local (...) law in which a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

Ecological economics is an interdisciplinary science that is primarily concerned with developing interventions to achieve sustainable ecological and economic systems. While ecological economists have, over the last few decades, made various empirical, theoretical, and conceptual advancements, there is one concept in particular that remains subject to confusion: critical natural capital. While critical natural capital denotes parts of the environment that are essential for the continued existence of our species, the meaning of terms commonly associated with this concept, such as ‘non-substitutable’ (...) and ‘impossible to substitute,’ require a clearer formulation then they tend to receive. With the help of equations and graphs, this article develops new definite account of critical natural capital that makes explicit what it means for objective environmental conditions to be essential for continued existence. The second main part of this article turns to the question of formally modeling the priority of conserving critical natural capital. While some ecological economists have maintained that, beyond a certain threshold, critical natural capital possesses absolute infinite value, absolute infinite utility models encounter significant problems. This article shows that a relative infinite utility model provides a better way to model the priority of conserving critical natural capital. (shrink)

We describe a method, based on Jennifer Nado's definition of classification procedures as targets of conceptual engineering, that implements such procedures using a large language model. We then apply this method using data from the Wikidata knowledge graph to evaluate concept definitions from two paradigmatic conceptual engineering projects: the International Astronomical Union's redefinition of PLANET and Haslanger's ameliorative analysis of WOMAN. We discuss implications of this work for the theory and practice of conceptual engineering. The code and data (...) can be found on GitHub. (shrink)

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.

In the last several decades, a confluence of work in the social sciences, philosophy, statistics, and computer science has developed a theory of causal inference using directed graphs. This theory typically rests either explicitly or implicitly on two major assumptions.

Upon what philosophical foundation are semantic network graphs based? Does this foundation allow for the legitimization of other semantic networks and ontological diversity? How can we design our computational and informational systems to accommodate this ontological diversity and the variety of semantic networks? Are semantic networks segmentations of larger semantic landscapes? This paper explores semantic networks from a Heideggerian existentialist and phenomenological perspective. The analysis presented uses cultural schema theory to bridge the syntactic and lexical elements to the semantic (...) and conceptual dimensions of semantic network graphs and offers reasons why the viability of such graphs as they are currently constructed are insufficient for creating semantic interoperability for our informationtechnologies. Reconceptualizing semantic networks as cultural landscapes offers us. (shrink)

The approach to the question of philosophical practice has been dominated by a subordination of practice to theory corresponding in general to a representational conception of philosophy. Methods of diagrammatic reasoning developed within philosophical semiotics provide a more effective approach. Inparticular, Peirce’s system of existential graphs exemplifies how diagrammatic reasoning is able formally to express the processes through which philosophical dialogue and cooperation actually take place and to link such processes to the methods and practices arising in other disciplines (...) and traditions, including those of science, politics, art, religion and technological production. (shrink)

An ideal constructor produces geometry from scratch, modelled through the bottom-up assembly of a graph-like lattice within a space that is defined, bootstrap-wise, by that lattice. Construction becomes the problem of assembling a homogeneous lattice in three-dimensional space; that becomes the problem of resolving geometrical frustration in quasicrystalline structure; achieved by reconceiving the lattice as a dynamical system. The resulting construction is presented as the introductory model sufficient to motivate the formal argument that it is a fundamental structure; based (...) on which, it is proposed that where mathematics’ numbers conventionally correspond to dimensionless points on the stateless number line, numbers more fundamentally correspond to an ordering of discrete objects constructed within the stateful number lattice. A second observation is that this fundamental lattice structure is helically configured with fractal character, which, as it relates to the geometry underlying spacetime, has relevance to questions in physics, particularly those involving wave-particle duality. (shrink)

In the first month of 2024, there was a significant increase in the number of downloads for the Bayesian stats / MCMC computing program, bayesvl, developed by AISDL running on R and Stan. The following RDocumentation (CRAN) graph illustrates the noticeable leap in data for January 2024.

An actual cause of some token effect is itself a token event that helped to bring about that effect. The notion of an actual cause is different from that of a potential cause – for example a pre-empted backup – which had the capacity to bring about the effect, but which wasn't in fact operative on the occasion in question. Sometimes actual causes are also distinguished from mere background conditions: as when we judge that the struck match was a cause (...) of the fire, while the presence of oxygen was merely part of the relevant background against which the struck match operated. Actual causation is also to be distinguished from type causation: actual causation holds between token events in a particular, concrete scenario; type causation, by contrast, holds between event kinds in scenario kinds. (shrink)

Our conscious experiences are qualitative and unitary. The qualitative universals given in particular experiences, i.e. qualia, combine into the seamless unity of our conscious experience. The problematics of quality and cohesion are not unique to consciousness studies. In mathematics, the study of qualities (e.g., shape) resulting from quantitative variations in cohesive spaces led to the axiomatization of cohesion and quality. Using the mathematical definition of quality, herein we model qualia space as a categorical product of qualities. Thus modeled qualia space (...) is a codomain space wherein composite qualities (e.g. shape AND color) of conscious experiences can be valued. As part of characterizing the qualia space, we provide a detailed exemplification of the mathematics of quality and cohesion in terms of the categories of idempotents and reflexive graphs. More specifically, with qualities as commutative triangles formed of cohesion-preserving functors, first we calculate the product of commutative triangles. Next, we explicitly show that the category of idempotents is a quality type. Lastly, as part of showing that the category of reflexive graphs is cohesive, we characterize the adjointness between functors relating cohesive graphs to discrete sets. In conclusion, our category theoretic construction of qualia space is a formalization of the binding of qualitative features (colors and shapes) into the cohesive objects (colored-shapes) of conscious experiences. Compared to the feature-vector accounts of conscious experiences, our product-of-qualities account of consciousness is a substantial theoretical advance. (shrink)

The purpose of this paper is to provide a detailed technical protocol analysis of chess masters' evaluative expertise, paying particular attention to the analysis of the structure of their memory process in evaluating foreseen possibilities in games of dynamic equilibrium. The paper has two purposes. First, to publish a results chapter from my DPhil thesis (in revised journal article form) attending to the measurement of foresight in chess masters' evaluation process, testing alternative theories of cognitive expertise in the domain of (...) chess; and second to provide a subset of the technical graphical analysis that corresponds to that measurement to preserve this protocol analysis for access in the academic domain for future studies of expert memory and foresight (e.g., Ericsson & Simon, 1993). The step-by-step protocol analysis consists of: (i) an introduction to foresight cognition as hypothesis testing, (ii) a theoretical review in the domain of chess masters' expertise according to the theoretical frameworks in that field purporting hypotheses relevant to chess masters' evaluative skill processes, and (iii) summary tables and non-parametric statistical analysis corroborating chunking theory frameworks of expert cognition (e.g., DeGroot, 1965; Newell & Simon, 1972; Gobet, 1998; Gobet et al., 2004), and refuting the alternative search-evaluation models (e.g., Holding & Reynolds, 1982). Moreover, the journal article espouses the preservation of the traditional protocol analysis method core to the field of expert cognition (DeGroot, 1969; Kotov, 1971). The full protocol analysis can be found in monograph form here on my SSRN profile in ‘The role of falsification in hypothesis testing’. It takes the form of a specialist population study (e.g., detailed case study work; Luria, 1987). Thus the outline consists of a short introduction, a theoretical methodological review discussing protocol analysis methods for specialist population studies in cognition (with particular attention to the preservation of protocol analysis methods for chess studies in cognition and expert memory/ with a fresh angle on the foresight process), and the full set of protocol analyses with corresponding problem behaviour graphs. A subset of the main results has been published elsewhere (e.g., Cowley & Byrne, 2004; Cowley 2006), receiving scientific and scientific journalistic acclaim (e.g., Nature Online News 2004). (shrink)

What might be the fundamental psychology of intelligence naturally selected in biological evolution to minimize, prevent, and cure social and personal issues like war, crime, commit suicide, homicide, theft, drug addictions, and so on? How to achieve a higher level of well-being? I found a primary cognitive limiting factor called mind viruses (MV)(more than 3000) which regresses intelligence and well-being and makes the grand delusion: remedies are healthy mind viruses(HMV)(3000). Here, I show the disclosed core of early Buddhist teachings (on (...) learning, training the mind, and behavior on the 8-fold psychological course psychologically 'program' for better (intelligent) decisions. A theoretical 3D graph might represent the state of evolution of intelligence, nature, nurture, X-ultra quantum unique consciousness particle (X-UQUPC), and psychological well-being with the psychological time of a person. To this hypothesis, if the afterlife occurs, the natural selection of vacant zygote/early embryo neurons of the next life and their quality might depend on the finally evolved X-ultra quantum genomic particle of consciousness (X-UQGPC). Therefore, the quality, including the species of the new life and its nurture in the universe/s, depends on the quality of the finally evolved X-UQGPC. Such natural selection of a new nurturing environment for future (promising)life might be uncertain and, therefore, a high risk of finding a life-consciousness in great nature and nurture. However, there may be more mysterious issues to be solved in future research; therefore, the article might not discuss a theory of everything on the central theme. -/- . (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 1 of a five-part introduction. The focus here is on defining the key mathematical structures first, and presenting the semantic-database application in subsequent Parts. We focus in Part 1 (...) on general axioms for the structures, and introduce key concepts. Part 2 analyses the CAT2 sub-relation of CAT4 in more detail. The interpretation of fact networks is introduced in Part 3, where we turn to interpreting semantics. We start with examples of relational and graph databases, with methods to translate them into CAT3 networks, with the aim of retaining the meaning of information. The full application to semantic theory comes in Part 4, where we introduce general functions, including the language interpretation or linguistic functions. The representation of linear symbolic languages, including natural languages and formal symbolic languages, is a function that CAT4 is uniquely suited to. In Part 5, we turn to software design considerations, to show how files, indexes, functions and screens can be defined to implement a CAT4 system efficiently. (shrink)

General Morphological Analysis (GMA) is a method for structuring a conceptual problem space – called a morphospace – and, through a process of existential combinatorics, synthesizing a solution space. As such, it is a basic modelling method, on a par with other scientific modelling methods including System Dynamics Modelling, Bayesian Networks and various types graph-based “influence diagrams”. The purpose of this article is 1) to present the theoretical and methodological basics of morphological modelling; 2) to situate GMA within a (...) broader modelling theoretical framework by developing a (morphological) model representing different modelling methods, and 3) to demonstrate some of the basic modelling techniques that can be carried out with GMA using dedicated computer support. (shrink)

This volume presents state-of-the-art papers on new topics related to neutrosophic theories, such as neutrosophic algebraic structures, neutrosophic triplet algebraic structures, neutrosophic extended triplet algebraic structures, neutrosophic algebraic hyperstructures, neutrosophic triplet algebraic hyperstructures, neutrosophic n-ary algebraic structures, neutrosophic n-ary algebraic hyperstructures, refined neutrosophic algebraic structures, refined neutrosophic algebraic hyperstructures, quadruple neutrosophic algebraic structures, refined quadruple neutrosophic algebraic structures, neutrosophic image processing, neutrosophic image classification, neutrosophic computer vision, neutrosophic machine learning, neutrosophic artificial intelligence, neutrosophic data analytics, neutrosophic deep learning, and neutrosophic (...) symmetry, as well as their applications in the real world. (shrink)

This book is an introduction to first-order modal logic. It starts with classical propositional logic and ends with first-order modal logic. The text introduces the basic theory of sets, graphs and a chapter on argumentation from contemporary pragmatics.