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)

The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of (...) class='Hi'>grid graphs. (shrink)

Prior to this intervention the site used to be a degraded fiscal property, that functioned as a bus yard, a police legal deposit, and a restaurant parking lot. Underneath it runs the Maldonado stream culvert, covered by a concrete slab at a depth of only -20cm. Next to the site is a 5m high railroad embankment. The plot is strategically located at the end of Juan B. Justo avenue and works as a gateway to the Tres de Febrero park (also (...) known as Bosques de Palermo, the Buenos Aires’s biggest green space designed by Charles Thays in 1875). It is situated in the neighborhood of Palermo, an area that underwent a vertiginous residential and commercial expansion since the late 90´s. -/- The design approach is influenced by the adjacent urban fragments: the grounds of the Sociedad Rural Argentina, the surrounding Avenues Santa Fe-Sarmiento; the opening of Darregueyra street expected for the near future, the implementation of historic preservation guidelines for the Tres de Febrero Park, and the proposal for the development of nearby railroad yards. -/- Specifically, the project seeks to minimize the impact of the fast traffic that runs along Bullrich avenue, improving pedestrian and cycle access to the park. At the same time it defines new landscape features, utilizing the earth made available by the tunneling works of a new subway line. -/- The project comprises the structuring of an existing 800 meter long embankment and the transformation of the sidewalk into a public promenade. This is achieved through a wider sidewalk of 12m on average, which is part of a series of longitudinal stripes ranging from high speed to quiet spaces. The first band of grass and aged tipas (tipuana tipu) buffer pedestrian and cyclist from automotive traffic. Cycle traffic is organized on its own lane. The sidewalk itself contains several bays that act as urban lounges. Next, a continuous concrete bench delimits the beginning of the slope, backed by a stripe of grass that works as a soft extension. Finally, plants for contemplation are arranged as undulating traces. Rhythmic use of retaining gabions defines longitudinal segments of varying slope, unifying the spacial criterion. This series is punctuated by an amphitheater and framed by triangular plazas at the corners. -/- Material choices for hard surfaces are constrained by concerns of durability, low cost, and consistency with other ongoing public works. -/- Hard materials, as well as the plant selection needed to be low-maintenance. The palette was kept to reinforced concrete, granitic slabs, and granite stone in large size –forming retaining gabions- and as loose finishing for pavements. Likewise, the lack of a protective enclosure and of continuous surveillance dictated that urban furniture and fixtures be anti-vandalic. The stealing of these components –from inspection lids, to benches, to plants- is a common problem in urban spaces in many Latin American cities. To prevent this, fixtures must be designed according to precise specifications regarding their weight, fixing and anchoring systems, and mechanical parts. -/- Sidewalks are organized through a 6 meter grid made of granitic white slab, infilled with textured combed nonslip concrete modules. Extended bays and corner squares are finished with white and black slabs respectively. These materials are similar to another used in public spaces under construction, in the believe that it creates a collective identification of themselves along the city. -/- The continuous reinforced concrete bench is 1.10 m wide, in order to allow people to use it in non-conventional ways. Further up on the slope, undulating paths separate plant species and provide access for gardening, but are also open to use by the public. They are paved with 2 meter-long precast concrete slabs (smaller and lighter pieces were avoided to deter robbery). As they reach the gabions they connect with sloping paths covered with loose granitic stones. The gabions themselves allow the creation of varying slopes while contributing to retaining the soil, which is reinforced with geosynthetic fabric in the perimeter to avoid landslides originated by strong rains typical of the region. -/- Urban furniture is featured on the wider bays of the sidewalk and at corner plazas. It includes seats, water fountains, bicycle racks, wastepaper baskets. As a counterpoint to the linear concrete bench, groups of concrete seats are arranged informally. These seats are a reinterpretation of the dynamic BKF chair (also known as Butterfly chair), the classic Argentinean design of the 1930’ by Antonio Bonet, Juan Kurchan, and Jorge Ferrari-Hardoy. A few low concrete tables complete these spaces as authentic urban lounges. Lighting design accompanies the general features of the project and creates a new scenography emphasizing night-time usage. -/- Landscape gardening criteria is set up by a selection of various species of high-resistant pasture (grass). The higher the slope, the higher the grass, increasing the final volumetric result. Based on considering the original tipas line (tipuana tipu, a species from the north of Argentina, yellow flowering) as a vertical wall that frames the view, the horizontal stripes contain a single species each, differing in size, shade and flowering periods –adding, in the middle band, a changing color on the big green plane slope in the same chromatic range. The final configuration of the stripe sequence from bottom to top: bermuda grass, bulbine frutescens, euryops pectinatus. The upper band existing native species is reinforced with new samples: paspalum exaltatum + cortadera selloana and ipomea + thumbergia climbing the railway fence. Each sector between gabions has an automated system of drip irrigation. Near the corner plazas, several palms are planted to provide shade and identity to the street-crossing. -/- The intervention proposes an ambivalent effect on the landscape, trascending the merely ornamental by accompanying the motorist in speed, while conforting the pedestrian with spaces for contemplation and urban relax. (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)

Lieto’s Minimal Cognitive Grid (MCG) for assessing artificial agents, augmented as the method MCG+, has two implications: (1) MCG+ can advance the mathematical science of universal intelligence/cognition. (2) (a) pre-Lieto, this science lacks of coverage of perception; (b) heralded artificial agents of today are devoid of human-level perceptual intelligence.

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)

Structuralism can be defined as an important concept of using “units” as elements of form and space-giving, where the whole form is made not only up of a “texture”, a certain flexible grid, or an algorithm of shape-giving, but it depends also on the relationships created and how people use it. The hypothesis of this study is that “Modular Construction” can also have an aesthetically pleasing outlook and that modular housing can definitely have increasing importance in the future. Modular (...) housing due to its cheap, and manufactural way of construction can be replicable in various locations. Structuralism and Modular Construction have been at the core of the Modernist movement. Although postmodernism marked the decline of modular construction adopting methods known for a more close sense of place, vernacular, and locality, which differs from the ubiquitous model of modernism, it is the universality of space and habitation seen since the times of Hippodamus Grid, Japanese Tattami systems, and rational universal space in housing known in Europe that make grid and modular design an excellent system in obtaining, rationality, functionality, flexibility, and energy efficiency, including quick construction and possibility for replication. In this regard, modular construction has a future, especially in times of crisis and economic instability. (shrink)

Abstract: The aims of this study are to introduce acceleration methods that are called triangular acceleration methods, which come within the series of several acceleration methods that generally known as Al-Tememe's acceleration methods of the second kind which are discovered by (Ali Hassan Mohammed). These methods are useful in improving the results of determining numerical integrals of continuous integrands where the main error is of the forth order with respect to accuracy, partial intervals and the fasting of calculating the (...) results specifically to accelerate results come out by Simpson's method. Also, it is possible to make use of it to improve the results of solving differential equations numerically of the main error of the forth order. (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.

The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical foundations of modern perspective geometry. Alberti’s work on perspective exerted a powerful influence on painters of the stature of Albrecht Dürer, Leonardo da Vinci and Piero della Francesca. But his Della pittura of 1435–36 contains also a hitherto unrecognized ontology of pictorial projection. We sketch this ontology, and show how it can be generalized to apply to representative devices in (...) general, including maps and spatial and non-spatial databases. (shrink)

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)

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)

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)

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.

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.

Abstract: The main aim of this work is to introduce acceleration methods called a Trigonometric acceleration methods which are of series of numerated methods. In general, these methods named as AL-Tememe’s acceleration methods of first kind to his discoverer ''Ali Hassan Mohammed''. These are very beneficial to acceleration the numerical results for definite integrations with continuous integrands which are of 2nd order main error, with respect to the accuracy and the number of the used subintervals and the fasting obtaining results. (...) Especially, for acceleration the results which are obviously obtained by trapezoidal and midpoint methods. Moreover, these methods could be enhancing the results of the ordinary differential equations numerically which are of 2nd order main error. (shrink)

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)

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)

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)

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

In this article, I argue that the artificial components of hybrid bionic systems do not play a direct explanatory role, i.e., in simulative terms, in the overall context of the systems in which they are embedded in. More precisely, I claim that the internal procedures determining the output of such artificial devices, replacing biological tissues and connected to other biological tissues, cannot be used to directly explain the corresponding mechanisms of the biological component(s) they substitute (and therefore cannot be used (...) to explain the local mechanisms determining an overall biological or cognitive function replicated by such bionic models). I ground this analysis on the use of the Minimal Cognitive Grid (MCG), a novel framework proposed in Lieto (Cognitive design for artificial minds, 2021) to rank the epistemological and explanatory status of biologically and cognitively inspired artificial systems. Despite the lack of such a direct mechanistic explanation from the artificial component, however, I also argue that the hybrid bionic systems can have an indirect explanatory role similar to the one played by some AI systems built by using an overall structural design approach (but including the partial adoption of functional components). In particular, the artificial replacement of part(s) of a biological system can provide i) a local functional account of that part(s) in the context of the overall functioning of the hybrid biological–artificial system and ii) global insights about the structural mechanisms of the biological elements connected to such artificial devices. (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)

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.

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.

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)

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)

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.

Global law settings are characterized by a structural pre-eminence of connectivity norms, a type of norm which differs from coherency or possibility norms. The centrality of connectivity norms emerges from the function of global law, which is to increase the probability of transfers of condensed social components, such as economic capital and products, religious doctrines, and scientific knowledge, from one legally structured context to another within world society. This was the case from colonialism and colonial law to contemporary global supply (...) chains and human rights. Both colonial law and human rights can be understood as serving a constitutionalizing function aimed at stabiliz- ing and facilitating connectivity. This allows for an understanding of colonialism and contemporary global governance as functional, but not as normative, equivalents. (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.

In this paper, we introduce the integer programming in neutrosophic environment, by considering coffecients of problem as a triangulare neutrosophic numbers. The degrees of acceptance, indeterminacy and rejection of objectives are simultaneously considered. The Neutrosophic Integer Programming Problem (NIP) is transformed into a crisp programming model, using truth membership (T), indeterminacy membership (I), and falsity membership (F) functions as well as single valued triangular neutrosophic numbers. To measure the efficiency of the model, we solved several numerical examples.

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.

Abstract: Our soul, as Plato proposed, responds to the nature, functions and interaction of the three parts of which it is composed, without this preventing it from possessing a unitary character. His model of psychism respected the universal perception of the diversity of soul entities, but, by using the tools provided by Greek thought, he turned them into components of a process of opposition and dialectical ascent that reproduced within man the structure of the cosmos. The triangular systems of (...) Aristotle, Kant and Freud are indebted to the power of the Platonic scheme and, at the same time, they have contributed to making the strategy of the tripartite soul one of the fundamental references in philosophy. Key words: tripartite soul, dialectical ascent, unitary character, cosmos, triangular systems. --------------- Resumen: Nuestra alma, propuso Platón, responde a la naturaleza, funciones e interacción de las tres partes de las que se compone, sin que ello impida que, a la vez, posea un carácter unitario. Su modelo de psiquismo respetaba la percepción universal de la diversidad de las entidades anímicas, pero, valiéndose de las herramientas proporcionadas por el pensamiento griego, las convertía en componentes de un proceso de oposición y ascenso dialéctico que reproducía en el interior del hombre la estructura del cosmos. Los sistemas triangulares de Aristóteles, Kant y Freud son deudores de la potencia del esquema platónico y, a la vez, han contribuido a que la estrategia del alma tripartita sea uno de los referentes fundamentales de la filosofía. Palabras clave: alma tripartita, ascenso dialéctico, carácter unitario, cosmos, sistemas triangulares. (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)

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)

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)

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)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be such (...) that there is no real distinction between them is for them to be identical. (shrink)