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)

The belief that Aristotle opposes potency (dunamis) to actuality (energeia or entelecheia) has gone untested. This essay defines and distinguishes forms of the Opposition Hypothesis—the Actualization, Privation, and Modal—examining the texts and arguments adduced to support them. Using Aristotle’s own account of opposition, the texts appear instead to show that potency and actuality are compatible, while arguments for their opposition produce intractable problems. Notably, Aristotle’s refutation of the Megarian Identity Hypothesis applies with equal or greater force to the (...) Opposition Hypothesis. For Aristotle, then, potency and actuality are compatible. (shrink)

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)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of (...) the generality of the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (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)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of (...) two deductive systems is an m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

The evolution of the human mind through natural selection mandates that our conscious experiences are causally potent in order to leave a tangible impact upon the surrounding physical world. Any attempt to construct a functional theory of the conscious mind within the framework of classical physics, however, inevitably leads to causally impotent conscious experiences in direct contradiction to evolution theory. Here, we derive several rigorous theorems that identify the origin of the latter impasse in the mathematical properties of ordinary differential (...) equations employed in combination with the alleged functional production of the mind by the brain. Then, we demonstrate that a mind--brain theory consistent with causally potent conscious experiences is provided by modern quantum physics, in which the unobservable conscious mind is reductively identified with the quantum state of the brain and the observable brain is constructed by the physical measurement of quantum brain observables. The resulting quantum stochastic dynamics obtained from sequential quantum measurements of the brain is governed by stochastic differential equations, which permit genuine free will exercised through sequential conscious choices of future courses of action. Thus, quantum reductionism provides a solid theoretical foundation for the causal potency of consciousness, free will and cultural transmission. (shrink)

Many results have been obtained on isolated graphs and complete graphs. In this paper, a necessary and sufficient condition will be proved for a single valued neutrosophic graph to be an isolated single valued neutrosophic graph.

In this book, the authors systematically define the new notion of linguistic graphs associated with a linguistic set of a linguistic variable. We can also define the notion of directed linguistic graphs and linguistic-weighted graphs. Chapter two discusses all types of linguistic graphs, linguistic dyads, linguistic triads, linguistic wheels, complete linguistic graphs, linguistic connected graphs, disconnected linguistic graphs, linguistic components of the graphs and so on. Further, we define the notion of linguistic subgraphs of a linguistic graph. However, like (...) usual graphs, we will not be able to arbitrarily connect any two linguistic words of a linguistic set associated with a linguistic variable. They can be related or adjacent depending on the linguistic variable associated with the linguistic set. This is an exceptional feature of a linguistic graph. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

Of Aristotle’s core terms, potency (dunamis) and actuality (energeia) are among the most important. But when we attempt to understand what they mean, we face the following problem: their primary meaning is movement, as a source (dunamis) or as movement itself (energeia). We therefore have to understand movement in order to understand them. But the structure of movement is itself articulated using these terms: it is the activity of a potential being, as potent. This paper examines this hermeneutic circle, (...) and works out a strategy for reading Aristotle based on his conception of our epistemological predicament. This hermeneutic approach helps us gain access to the phenomena of movement and its sources (potency, and energeia). The paper closes with a review of the conceptual resources we deploy to think about movement: homogeneity, space and time, impulse, relativity, the blend of sameness and difference, and being and non-being. Showing that Aristotle uses none of these clears the landscape for a fresh inquiry into his account of movement. (shrink)

In this paper, we propose a new concept named the uniform single valued neutrosophic graph. An illustrative example and some properties are examined. Next, we develop an algorithmic approach for computing the complement of the single valued neutrosophic graph. A numerical example is demonstrated for computing the complement of single valued neutrosophic graphs and uniform single valued neutrosophic graph.

The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.

In this paper, I respond to the (infamous) causal impotence objection to the standard arguments for ethical vegetarianism. The paper defends a non-consequentialist response to this objection, one that draws on an account of the principle of non-maleficence inspired by Ross.

Can you find an xy-equation that, when graphed, writes itself on the plane? This idea became internet-famous when a Wikipedia article on Tupper’s self-referential formula went viral in 2012. Under scrutiny, the question has two flaws: it is meaningless (it depends on fonts) and it is trivial. We fix these flaws by formalizing the problem.

We recall and improve our 2019 and 2020 concepts of n-SuperHyperGraph, Plithogenic nSuperHyperGraph, n-Power Set of a Set, and we present some application from the real world. The nSuperHyperGraph is the most general form of graph today and it is able to describe the complex reality we live in, by using n-SuperVertices (groups of groups of groups etc.) and nSuperHyperEdges (edges connecting groups of groups of groups etc.).

Once upon a time, coherentism was the dominant response to the regress problem in epistemology, but in recent decades the view has fallen into disrepute: now almost everyone is a foundationalist (with a few infinitists sprinkled here and there). In this paper, I sketch a new way of thinking about coherentism, and show how it avoids many of the problems often thought fatal for the view, including the isolation objection, worries over circularity, and concerns that the concept of coherence is (...) too vague or metaphorical for serious theoretical use. The key to my approach is to take a familiar tool from discussions of the regress problem -- namely, directed graphs depicting the support relations between beliefs -- and to use that tool in a more sophisticated manner than it is standardly employed. (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)

From my ongoing "Metalogical Plato" project. The aim of the diagram is to make reasonably intuitive how the Socratic elenchos (the logic of refutation applied to candidate formulations of virtues or ruling knowledges) looks and works as a whole structure. This is my starting point in the project, in part because of its great familiarity and arguable claim to being the inauguration of western philosophy; getting this point less wrong would have broad and deep consequences, including for philosophy’s self-understanding. -/- (...) (i.) is the first pass at elenchos in which the Socratic interlocutor does not reflect on knowledge being the crux of the problem. (ii.) is the second, rarer, reflective pass in which they are, making the investigation explicitly about knowledge. Its centrality in the Charmides makes that neglected dialogue of superlative importance. This structure is also the gateway through which the discussion/dialectic crosses into the Agathology (discussion of the form of the good) at Republic 505. -/- The problem of elenchos, then, grasped as a whole structure, is that it seems that knowledge can neither satisfactorily be included in nor excluded from its own scope. The development of the ti esti (“what is ---?”) question leads to the introduction of knowledge into its own scope (i. implicitly, as goodness contrasted with blind rule-following ii. explicitly qua knowledge) while the development of the dual peri tinos (“----about what?) question leads to K’s elimination from its own scope. The introductions are motivated to avoid contradiction, but produce regress; the eliminations are motivated to avoid regress, but produce contradiction. In scholarship, and in the history of philosophy, the ti esti question is universally recognized, to the point of being identified with philosophy’s origin and essence; the peri tinos question is neglected textually and never recognized as the equal dual to the ti esti. This, I claim, has blocked the development of a nontrivial logical appreciation of what Plato's Socrates is up to. (One rather disastrous effect of this neglect is taking Aristotle as the beginning of the development of logic, rather than, correctly, for the beginning of logic’s fatal separation from mathematics and dialectic.) -/- Further, because of this monopticism of the ti esti, the function of consistency in the elenchos has not been understood, even with respect to the ti esti. The ti esti is actually in search of completeness, given a norm of consistency; the peri tinos is in search of consistency, given a norm of completeness. Only appreciating the two questions as dual allows space in the structure to clarify these different orientations relative to consistency. (And, dually, to completeness, whose function in the elenchos is generally entirely missed by scholars and relegated to discussions of eros; it's not out of place there, of course, but its significance is secured here.) Recognizing the duality of the ti esti and peri tinos questions is thus the royal road, in the Socratic-Platonic context, to catching sight of what we post-Cantorians can recognize as the metalogical duality of consistency and completeness. (The salutary disruptive effects of this Plato-Cantor proximity have, of course, been traced in complementary ways by Badiou.) -/- Note that the diagram is supposed to provide a relatively accessible orientation, not to stand on its own, and certainly not to be the last word on any subject. An important qualification (telegraphed in the previous paragraph) is that what elenchos shows is not finally circular or paradoxical, though the problem first presents as such (stubbornly, obdurately, as "difficult" Plato's Socrates always says with characteristic understatement). What is depicted here is meant, at a first pass, to be the shape of that first presentation, the form of the problem of elenchos, rather than of its solution. It's not an accident that this problem strongly resembles "Russell's paradox" (not Russell's not a paradox.) Problem is to solution as RP is to the diagonal theorems. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

A set D subset of V(G) is a dominating set of a graph G if for all x ϵ V(G)\D, for some y ϵ D such that xy ϵ E(G). A dominating set D subset of V(G) is called a connected dominating set of a graph G if the subgraph <D> induced by D is connected. A connected domination number of G, denoted by γ_c(G), is the minimum cardinality of a connected dominating set D. The triple repetition sequence (...) denoted by {S_n:n ϵ Z+} is a sequence of positive integers which is repeated thrice, i.e., {S_n}={1,1,1,2,2,2,3,3,3, ...}. In this paper, we construct a combinatorial explicit formula for the triple repetition sequence of connected domination numbers of a triangular grid graph. (shrink)

Community detection is a major issue in network analysis. This paper combines a socio-historical approach with an experimental reconstruction of programs to investigate the early automation of clique detection algorithms, which remains one of the unsolved NP-complete problems today. The research led by the archaeologist Jean-Claude Gardin from the 1950s on non-numerical information and graph analysis is retraced to demonstrate the early contributions of social sciences and humanities. The limited recognition and reception of Gardin's innovative computer application to the (...) humanities are addressed through two factors, in addition to the effects of historiography and bibliographies on the recording, discoverability, and reuse of scientific productions: (1) funding policies, evidenced by the transfer of research effort on graph applications from temporary interdisciplinary spaces to disciplinary organizations related to the then-emerging field of computer science; and (2) the erratic careers of algorithms, in which efficiency, flaws, corrections, and authors’ status, were determining factors. (shrink)

We provide here irrefutable facts that prove the falsehood of the claims published in [1] by Dehmer and Mowshowitz (DM) against our paper published in [2]. We first prove that Dehmer’s definition of node probability [3] is flawed. In addition, we show that it was not Dehmer in [3] who proposed this definition for the first time. We continue by proving how the use of Dehmer’s definition does not reveal all the physico-mathematical richness of the walk entropy of graphs. Finally, (...) we show a few facts about the failure of DM themselves to cite properly the relevant literature in their field. We also show here how the Editors of Complexity have failed to manage the publication of [1] in an appropriate way according to the accepted guidelines given in the Code of Conduct and Best Practice Guidelines for Journal Editors, published by the Committee on Publication Ethics (COPE). (shrink)

A lean hylomorphism stands as a metaphysical holy grail. An embarrassing feature of traditional hylomorphic ontologies is prime matter. Prime matter is both so basic that it cannot be examined (in principle) and its engagement with the other hylomorphic elements is far from clear. One particular problem posed by prime matter is how it is to be understood both as a principle of individuation for material substances and as pure potency. I present Thomas Aquinas’s way of squeezing some intelligibility (...) out of prime matter by modeling it on the idea of logical genus. Such a modeling provides insight into understanding prime matter as substratum, as maximally indeterminate, and as ontologically vague. One of the unusual but exciting things that fall out from this analysis of prime matter is the Entirety Thesis: “For any substance x, if x has prime matter then the prime matter of x is the same* as x,” where ‘same*’ is understood as “indeterminately identical.”. (shrink)

This paper examines the narrative contribution of the humorous gag, as a dynamic image intended to create ambivalence, in the biblical stories. Despite being one of the most important resources used to produce comedy in the visual arts, the gag can also be observed from a narratological point of view to meas-ure its involvement in a plot. Storytelling through gags provides an alternative means of approaching issues, developing threads and concluding episodes. The distinctiveness of the gag lies in the strength (...) of the images it suggests. The more shocking or misplaced a gag appears, the greater its contribution to the general narrativity, which may become more evident according to the strength of the image built. This argument is shown through some biblical examples. (shrink)

In this research paper, the graph of the bipolar single-valued neutrosophic set model (BSVNS) is proposed. The graphs of single valued neutrosophic set models is generalized by this graph. For the BSVNS model, several results have been proved on complete and isolated graphs. Adding, an important and suitable condition for the graphs of the BSVNS model to become an isolated graph of the BSVNS model has been demonstrated.

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.

Barry Smith recently discussed the diagraphs of book eight of Jacob Lorhard’s Ogdoas scholastica under the heading “birth of ontology” (Smith, 2022; this issue). Here, I highlight the commonalities between the original usage of diagraphs in the tradition of Ramus for didactic purposes and the the usage of their present-day successors–modern ontologies–for computational purposes. The modern ideas of ontology and of the universal computer were born just two generations apart in the breakthrough century of instrumental reason.

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)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all (...) the sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

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)

I argue that the best scientific package is anti-Humean in its ontology, but Humean in its laws. This is because potencies and the best system account of laws complement each other surprisingly well. If there are potencies, then the BSA is the most plausible account of the laws of nature. Conversely, if the BSA is the correct theory of laws, then formulating the laws in terms of potencies rather than categorical properties avoids three serious objections: the mismatch objection, the impoverished (...) worlds objection, and the metaphysical 'oomph' objection. I argue that combining anti-Humean properties with Humean laws into a Potency-Best System Account of Laws is a powerful and science-friendly account---something that people on both sides should be able to appreciate. (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.

This book investigates what change is, according to Aristotle, and how it affects his conception of being. Mark Sentesy argues that change leads Aristotle to develop first-order metaphysical concepts such as matter, potency, actuality, sources of being, and the teleology of emerging things. He shows that Aristotle’s distinctive ontological claim—that being is inescapably diverse in kind—is anchored in his argument for the existence of change. -/- Aristotle may be the only thinker to have given a noncircular definition of change. (...) When he gave this definition, arguing that change is real was a losing proposition. To show that it exists, he had to rework the way philosophers understood reality. His groundbreaking analysis of change has long been interpreted through a Platonist lens, however, in which being is conceived as unchanging. Offering a comprehensive reexamination of the relationship between change and being in Aristotle, Sentesy makes an important contribution to scholarship on Aristotle, ancient philosophy, the history and philosophy of science, and metaphysics. (shrink)

The article studies historically and systematically one of the most important aspects of Suárez’s metaphysics: the actualism, which consists in a reinterpretation of the Aristotelian doctrine of potency and act, which rejects the potency in its own sense and replaces it by the idea of an actuated potency (i.e., possessing an own being).

It is universally acknowledged that, for St. Thomas, there is a distinction between human persons or supposits and their natures or essences. But it is usually thought that there is no parallel distinction between the angelic person or supposit and its nature. Yet, as this paper argues, Aquinas consistently puts forward just such a distinction. This paper surveys Aquinas’s arguments for the unique identity of God with his essence and the corresponding distinctions between created persons and their essences, showing in (...) the process how the distinction found in angels differs from that found in material substances. It is important to recognize the distinction between supposit and nature in angels not only for its own sake as it touches on his understanding of created persons—human or angelic—but also insofar as it sheds light on Aquinas’s understanding of divine simplicity and of other act-potency compositions in creatures. (shrink)

In this article, we first provide a modified definition of SuperHyperGraphs (SHG) and we call it Restricted SuperHyperGraphs (R-SHG). We then generalize the R-SHG to the neutrosophic graphs and then define the corresponding trees. In the following, we examine the Helly property for subtrees of SuperHyperGraphs.

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)

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)

The graph tong同and its associated concepts, such as da-tong (Great tong大同) and xuan-tong (mystic or dark tong玄同), have played important roles in the development of Chinese philosophy. Yet tong has received scant attention from either western or eastern scholarships. This paper is a first attempt to remedy such regret. Unlike usual understandings of tong as sameness or unity, this paper presents a nuanced account from early China, that is, ‘difference to one,’ a definition from the Mozi墨子. This definition can (...) be supported from etymological, textual, and lexical evidence. ‘Difference to one’ should not be solely attributed to a Mohist understanding; it in fact represents a common understanding of tong across philosophical streams in early China. This nuanced account provides new insights into the concept of tong in early philosophical texts, and furthermore breaks solid grounds for further studies of tong and its associated concepts. (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)

Background: Food fortification refers to the process of adding nutrients to foods during their production. It is a cost-effective strategy with well-documented health, economic, and social benefits. Food fortification practices in school meal programs need guidance and legal support from various national policies. Aim: This study aims to analyze how various national policies—such as those related to school feeding, nutrition, health, food safety, agriculture, and the private sector—associate with the implementation of in-school food fortification among countries with school meals programs. (...) Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that food safety policy and agriculture policy were positively and significantly associated with the in-school food fortification practices, while school feeding policy and private sector policy had ambiguous relationships with these practices. Nutrition policy and health policy had a significant negative association with food fortification practices among countries implementing school meal programs. Conclusions: Findings underscore the strong position of food safety policy and agriculture policy in guiding food fortification practices in school meal programs. There is a need to re-assess the implemented nutrition policy and health policy due to their significant negative associations with these practices. Enhancing and strengthening the school feeding policy and private sector policy may increase their potencies in giving positive impacts on in-school food fortification practices. (shrink)

Schelling’s Principle of Art returns us to an ancient epic sensibility, laying the foundations for reversing the unrealistic ‘modern mythology’ arguably at the core of humanity’s ecological/existential crisis. This contribution examines how, by detailing his systematic approach to constructing art ‘in the particular’ (art-forms/works). ‘Particularity’ is subject only to the reason inherent in the potences (or consequences) of the affirmation of the whole unity (Principle). Hence Schelling’s ‘affirming principles’ determine boundary conditions for his ‘mythological categories’, revealing why their generalities inform (...) a ‘scientific sequence’ for explaining the features of the Formative and Verbal arts (ie., all artforms, ‘for all time’). Examining specific examples shows how Schelling resolves key difficulties (appearance/reality, form/non-form, intentionality, and purpose) for assessing art’s higher meaning-value directionality; why phenomenology is key to understanding it; and how we arrived at the problematic modern ‘epic’ reversal of ancient universalising focusing our attention on ‘efficient’ over ‘final’ causes in art-making/admiring. Explaining practical application of the Principle-in-action expands on why Schelling’s ‘dialectical aesthetics’ presents a hitherto unrecognised radical advance on Kant’s. My conclusion summarises what shifts in attendance to the art object Schelling’s system demands, and why his Philosophy of Art offers a suitable framework for collectively re-worlding the world. (shrink)

Background: Food biofortification practices in agricultural sectors involve the process of employing biotechnology to enhance the nutritional content of crops during their growth process. Biofortification makes foods even more nutritious and highly functional for addressing malnutrition among children. These practices in farming industries need guidance and legal support from various national policies to support high-quality supplies of school meals fully. Aim: This study aims to analyze the association between various national policies and the implementation of food biofortification practices in agricultural (...) sectors among countries implementing school meal programs. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge Theory and inference advantages of Bayesian analysis, was employed on a dataset of 126 government representatives who manage large-scale school meal programs in 126 different countries. Results: Findings showed that food safety policy was positively associated with food biofortification practices in agricultural sectors among countries implementing school meal programs. In contrast, nutrition policy had a significant negative association with these practices. Additionally, policies of school feeding, health, agriculture, and the private sector had unclear associations with food biofortification. Conclusions: Findings underscore the strong position of food safety policy in guiding food biofortification practices in agricultural sectors among countries implementing school meal programs. There is a need to re-assess the implemented nutrition policy due to its significant negative association with these practices. Enhancing and strengthening the policies of school feeding, health, agriculture, and the private sector may increase their potencies in giving positive impacts on food biofortification practices in agricultural sectors to ensure high-quality school meal supplies. (shrink)

On one classical conception of God, God has no parts, not even metaphysical parts. God is not composed of form and matter, act and potency, and he is not composed of existence and essence. God is absolutely simple. This is the doctrine of Absolute Divine Simplicity. It is claimed that ADS implies a modal collapse, i.e. that God’s creation is absolutely necessary. I argue that a proper way of understanding the modal collapse argument naturally leads the proponent of ADS (...) to reject a particular premise of the argument: namely, “the same identical cause brings about the same effect.” However, I argue that the rejection of that premise leads to a deeper problem for ADS. It leads to an explanatory gap: how can we explain the relevant type of indeterminism in an absolutely simple God? (shrink)

Radical skepticism is the view that we know nothing or at least next to nothing. Nearly no one actually believes that skepticism is true. Yet it has remained a serious topic of discussion for millennia and it looms large in popular culture. What explains its persistent and widespread appeal? How does the skeptic get us to doubt what we ordinarily take ourselves to know? I present evidence from two experiments that classic skeptical arguments gain potency from an interaction between (...) two factors. First, people evaluate inferential belief more harshly than perceptual belief. Second, people evaluate inferential belief more harshly when its content is negative (i.e., that something is not the case) than when it is positive (i.e., that something is the case). It just so happens that potent skeptical arguments tend to focus our attention on negative inferential beliefs, and we are especially prone to doubt that such beliefs count as knowledge. That is, our cognitive evaluations are biased against this specific combination of source and content. The skeptic sows seeds of doubt by exploiting this feature of our psychology. (shrink)