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)

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)

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)

We present a multi-agent system where agents can cooperate to solve a system of dependent tasks, with agents having the capability to explore a solution space, make inferences, as well as query for information under a limited budget. Re-exploration of the solution space takes place by an agent when an older solution expires and is thus able to adapt to dynamic changes in the environment. We investigate the effects of task dependencies, with highly-dependent graph G_40 (a well-known program graph (...) that contains 40 highly interlinked nodes, each representing a task) and less-dependent graphs G_18 (a program graph that contains 18 tasks with fewer links), increasing the speed of the agents and the complexity of the problem space and the query budgets available to agents. Specifically, we evaluate trade-offs between the agent's speed and query budget. During the experiments, we observed that increasing the speed of a single agent improves the system performance to a certain point only, and increasing the number of faster agents may not improve the system performance due to task dependencies. Favoring faster agents during budget allocation enhances the system performance, in line with the "Matthew effect." We also observe that allocating more budget to a faster agent gives better performance for a less-dependent system, but increasing the number of faster agents gives a better performance for a highly-dependent system. (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)

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)

The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and (...) defended a definition of exact location in terms of weak location that does not entail functionality. This paper provides the first thorough assessment of Eagle’s proposal. In particular, we argue that it cannot account for the location of immanent universals, the multi-location of mereologically changing three-dimensional objects, the multi-location of mereologically complex objects, and that it makes extended simples impossible. (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 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)

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.

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 the recent literature, it has been shown that the wave function in the de Broglie–Bohm theory can be regarded as a new kind of field, i.e., a "multi-field", in three-dimensional space. In this paper, I argue that the natural framework for the multi-field is the original second-order Bohm’s theory. In this context, it is possible: i) to construe the multi-field as a real-valued scalar field; ii) to explain the physical interaction between the multi-field and the (...) Bohmian particles; and iii) to clarify the status of the energy-momentum conservation and the dynamics of the theory. (shrink)

It is a familiar point that many ordinary dispositions are multi-track, that is, not fully and adequately characterisable by a single conditional. In this paper, I argue that both the extent and the implications of this point have been severely underestimated. First, I provide new arguments to show that every disposition whose stimulus condition is a determinable quantity must be infinitely multi-track. Secondly, I argue that this result should incline us to move away from the standard assumption that (...) dispositions are in some way importantly linked to conditionals, as presupposed by the debate about various versions of the ‘conditional analysis’ of dispositions. I introduce an alternative conception of dispositionality, which is motivated by linguistic observations about dispositional adjectives and links dispositions to possibility instead of conditionals. I argue that, because of the multi-track nature of dispositions, the possibility-based conception of dispositions is to be preferred. (shrink)

In this paper, we define correlation coefficient measure between any two rough neutrosophic sets. We also prove some of its basic properties.. We develop a new multiple attribute group decision making method based on the proposed correlation coefficient measure. An illustrative example of medical diagnosis is solved to demonstrate the applicability and effecriveness of the proposed method.

In this paper, the sine, cosine and cotangent similarity measures of interval rough neutrosophic sets is proposed. Some properties of the proposed measures are discussed. We have proposed multi attribute decision making approaches based on proposed similarity measures. To demonstrate the applicability, a numerical example is solved.

Many multinational corporations develop business operations in Europe. The current research attempts to fill the gap on how corporations can increase their political influence in this geography by exploring the joint effect of corporate political activity(CPA) and social responsibility (CSR) on political embeddedness and financial performance. Based on institutional theory and on a sample of autochthonous (European Union [EU]) and allochthonous (non-EU) firms with declared EU lobbying (from 2008to 2019) we conducted two studies. Based on a multi-level model, Study (...) 1 finds strong and robust evidence that boardroom gender diversity and EU lobbyists inter-actively increase EU political embeddedness. Complementarily, Study 2, which relies on general linear Modeling, suggests that allochthonous corporations are more profit-able when they display high-level political embeddedness and lobbying expenditures, combined with adoption of United Nations (UN) guidelines. Overall, findings show that lobbying in Europe pays off, especially when corporations strive to be aligned with EU ethical values and aspirations. Hiring lobbyists to be based in Brussels and promoting gender equality help establish EU political connections. Subsequently, findings highlight the role that EU political embeddedness, lobbying expenditures, and UN guidelines play in leveraging financial performance, especially across non-EU corporations. Regarding EU corporations, results show that a firm-level investment on CPA-CSR is particularly important. Overall, findings from this research support corporations that are growing businesses in Europe. KEYWORDScorporate political activity, corporate social responsibility, lobbying, return on assets (ROA),United Nations (UN_. (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 this paper, we define projection and bidirectional projection measures between interval rough neutrosophic sets and prove their basic properties. Then two new multi attribute decision making strategies are proposed based on interval rough neutrosophic projection and bidirectional projection measures respectively. Then the proposed methods are applied for solving multi attribute decision making problems. Finally, a numerical example is solved to show the feasibility, applicability and effectiveness of the proposed strategies.

Do multi-level selection explanations of the evolution of social traits deepen the understanding provided by single-level explanations? Central to the former is a mathematical theorem, the multi-level Price decomposition. I build a framework through which to understand the explanatory role of such non-empirical decompositions in scientific practice. Applying this general framework to the present case places two tasks on the agenda. The first task is to distinguish the various ways of suppressing within-collective variation in fitness, and moreover to (...) evaluate their biological interest. I distinguish four such ways: increasing retaliatory capacity, homogenising assortment, and collapsing either fitness structure or character distribution to a mean value. The second task is to discover whether the third term of the Price decomposition measures the effect of any of these hypothetical interventions. On this basis I argue that the multi-level Price decomposition has explanatory value primarily when the sharing-out of collective resources is `subtractable'. Thus its value is more circumscribed than its champions Sober and Wilson (1998) suppose. (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)

The problem of multi-peer disagreement concerns the reasonable response to a situation in which you believe P1 … Pn and disagree with a group of ‘epistemic peers’ of yours, who believe ∼P1 … ∼Pn, respectively. However, the problem of multi-peer disagreement is a variant on the preface paradox; because of this the problem poses no challenge to the so-called ‘steadfast view’ in the epistemology of disagreement, on which it is sometimes reasonable to believe P in the face of (...) peer disagreement about P. After some terminology is defined (§1), Peter van Inwagen's challenge to the steadfast view will be presented (§2). The preface paradox will then be presented and diagnosed (§3), and it will be argued that van Inwagen's challenge relies on the same principle that generates the preface paradox (§4). The reasonable response to multi-peer disagreement will be discussed (§5), and an objection addressed (§6). (shrink)

We review some of the main implications of the free-energy principle (FEP) for the study of the self-organization of living systems – and how the FEP can help us to understand (and model) biotic self-organization across the many temporal and spatial scales over which life exists. In order to maintain its integrity as a bounded system, any biological system - from single cells to complex organisms and societies - has to limit the disorder or dispersion (i.e., the long-run entropy) of (...) its constituent states. We review how this can be achieved by living systems that minimize their variational free energy. Variational free energy is an information theoretic construct, originally introduced into theoretical neuroscience and biology to explain perception, action, and learning. It has since been extended to explain the evolution, development, form, and function of entire organisms, providing a principled model of biotic self-organization and autopoiesis. It has provided insights into biological systems across spatiotemporal scales, ranging from microscales (e.g., sub- and multicellular dynamics), to intermediate scales (e.g., groups of interacting animals and culture), through to macroscale phenomena (the evolution of entire species). A crucial corollary of the FEP is that an organism just is (i.e., embodies or entails) an implicit model of its environment. As such, organisms come to embody causal relationships of their ecological niche, which, in turn, is influenced by their resulting behaviors. Crucially, free-energy minimization can be shown to be equivalent to the maximization of Bayesian model evidence. This allows us to cast natural selection in terms of Bayesian model selection, providing a robust theoretical account of how organisms come to match or accommodate the spatiotemporal complexity of their surrounding niche. In line with the theme of this volume; namely, biological complexity and self-organization, this chapter will examine a variational approach to self-organization across multiple dynamical scales. (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.

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)

The article summarizes the software tool on astrophysical analysis with multi-wavelength space telescope data. It recaps the evidence analysis conducted on the Kerr-Newman black hole (KNBH). It was written prior to the article Research on the Kerr-Newman Black Hole in M82 Confirms Black Hole and White Hole Juxtapose not soon after the experiment. The conducted analysis suggested Hawking radiation is caused by the movement of ergosurfaces of the BH and serves as the primal evidence for black hole and white (...) hole juxtapose. A later data exploration was conducted with the radiation trails in the multi-wavelength data. The evidences produced corroborates with Yale professor Priyamvada Natarajan's black hole seeds theory. It implies that the electromagnetic dynamic of fusion and fission temperature determines the pressure of surface tension on the macro particles, and the mass density of the BH is determined by the electromagnetic tension between the outer ergosurface and inner ergosurface. The ring singularity of the BH and the Penrose-Hawking singularity of the BH determine the spin and gravitational singularity of the BH. Inside the ergosurfaces, the BH singularities' backward inflow causes the vicinity's rate on feeding the BH. It makes the active galactic nuclei (AGN) a semi-closed system. The density pressure is released on threshold. During the mass exchange observed by energy momentum upon the AGN's open, the macroparticle composition of the BH changes with the galactic event. This causes the expansion rate of the galaxy and contraction rate of the BH. AGN types and their relative motions determine the expansion rate of the cosmic universe in a generalized quantitative thinking. The article concludes that BH spin is caused by the asymmetric motions of AGN in the BH system. A set of the nuclear resonance caused by BH and white hole (WH) oscillation is processed with the same set of data. (shrink)

Where does agency lie in musical performance? How is it expressed? Recent music scholarship has highlighted an increasingly prominent tendency to conceive of agency as not confined to any one individual or type of individual, instead being distributed across diverse individuals that can be found occupying performance situations. . This article uses two ‘percussion’ works from the 1970s by the composer John Cage, Child of Tree (1975) and its multi-performer elaboration Branches (1976), as a foil for engaging with these (...) practical and theoretical musical concerns, and for suggesting some heretofore underappreciated distinctions within the ongoing work on multi-agential performance. (shrink)

Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a (...) scalarization of weighted multiple objectives into a single-objective function. The latter approach requires finding a set of weights that guarantees the equivalence of the original problem and the single-objective one and the search of correct weights can be very time consuming. In this work a new approach for solving LMOLP problems using a recently introduced computational methodology allowing one to work numerically with infinities and infinitesimals is proposed. It is shown that a smart application of infinitesimal weights allows one to construct a single-objective problem avoiding the necessity to determine finite weights. The equivalence between the original multi-objective problem and the new single-objective one is proved. A simplex-based algorithm working with finite and infinitesimal numbers is proposed, implemented, and discussed. Results of some numerical experiments are provided. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

Much attention has been devoted recently to cases where a controversial speaker is invited to speak on campus and subsequently some members of the university seek to have that speaker disinvited. Debates about such scenarios often blur together legal, normative, and empirical considerations. I seek to help clarify issues by separating key legal, normative, and empirical questions. Central to my examination is the idea of the university as a multi-forum institution—i.e. a complex public institution whose parts contain different types (...) of forums. I conclude that it is sometimes legally and normatively permissible (1) for universities to disinvite speakers, and (2) for students to seek to get speakers they consider unacceptable disinvited. I also suggest that my arguments sometimes extent to shouting down speakers. (shrink)

This study explores entrepreneurship research in Vietnam, a lower-middle-income country in Southeast Asia that has witnessed rapid economic growth since the 1990s but has nonetheless been absent in the relevant Western-centric literature. Using an exclusively developed software, the study presents a structured dataset on entrepreneurship research in Vietnam from 2008 to 2018, highlighting: low research output, low creativity level, inattention to entrepreneurship theories, and instead, a focus on practical business matters. The scholarship remains limited due to the detachment between the (...) academic and entrepreneur communities. More important are the findings that Vietnamese research on entrepreneurship, still in its infancy, diverges significantly from those in developed and emerging economies in terms of their content and methods. These studies are contextualized to a large extent to reflect the concerns of a developing economy still burdened by the high financial and nonfinancial costs. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators (...) and the pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (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.

Bayne and Carter argue that the mode of consciousness induced by psychedelic drugs does not fit squarely within the traditional account of modes as levels of consciousness, and favor instead a multi-dimensional account according to which modes of consciousness differ along several dimensions—none of which warrants a linear ordering of modes. We discuss the assumption that psychedelic drugs induce a single or paradigmatic mode of consciousness, as well as conceptual issues related to Bayne and Carter’s main argument against the (...) traditional account. Finally, we raise a set of questions about the individuation of dimensions selected to differentiate modes of consciousness that could be addressed in future discussions of the multi-dimensional account. (shrink)

Background: Multi Drug Therapy approved by WHO is the best treatment option for Leprosy. There is a significant decline of mortality and morbidity after the introduction of multi drug therapy. But the adverse effects causing changes in clinical and laboratory parameters to multi drug therapy are the main limiting obstacle for the treatment course completion. Objective: The aim of this study is to find out the effects on routine laboratory parameters including hematological and biochemical changes before, during (...) and after the treatment of multi drug therapy in leprosy. Methodology: A descriptive cohort hospital based study on 85 multi drug therapy treated leprosy patients using standard laboratory tools for routine investigations for 18 months. Results: During the one year multidrug treatment period, most of the routine laboratory parameters showed mild to moderate change from normal level during the first 3 months with gradual recovery in the following months. Complete blood count assessment revealed mild decline in Hb, PCV, MCH, MCHC, and moderate decline in WBC and Platelet count. A mild increase in liver function tests (Bilirubin, AST, ALT, Alkaline phosphatase) and renal function tests (S.Creatinine, b. Urea) was observed. A moderate decline in S. Sodium with mild increase in S. Potassium was found on investigating S. Electrolytes. Patients were fully recovered from all hemato-biochemical adverse effects after 6 months of completion of the multi drug therapy. Conclusion: Despite of mild to moderate hematological and biochemical adverse reactions with multi drug therapy, recovery was excellent after 6 months of completion of therapy. (shrink)

In modern zoos, enrichment programs have become a standard part of animal care routines. Although 'higher' primates usually receive complex enrichment programs, encompassing many types of enrichment, these are less common for prosimians. These animals often largely receive food-based enrichment, as was previously the case at Auckland Zoo, where the ring-tailed lemur enrichment schedule contained only three different items, all food-related. Lemurs tend to be considered less curious and quick to learn than other primates, as well as being less manually (...) dextrous, and for these reasons can be overlooked for complex enrichment. However, they have strong sensory abilities, in particular an acute sense of smell (Sauther et al 1999). This paper describes an enrichment program designed for the lemurs at Auckland Zoo with the aim of stimulating all senses. (shrink)

In his recent book, The Dimensions of Consequentialism, Martin Peterson puts forward a new version of consequentialism that he dubs ‘multidimensional consequentialism’. The defining thesis of the new theory is that there are irreducible moral aspects that jointly determine the deontic status of an act. In defending his particular version of multidimensional consequentialism, Peterson advocates the thesis—he calls it DEGREE—that if two or more moral aspects clash, the act under consideration is right to some non-extreme degree. This goes against the (...) orthodoxy according to which—Peterson calls this RESOLUTION—each act is always either entirely right or entirely wrong. The argument against RESOLUTION appeals to the existence of so-called deontic leaps: the idea is that endorsing RESOLUTION would not give each relevant moral aspect its due in the final analysis. Our paper argues that, contrary to Peterson, all moral aspects remain visible in what can properly be called the final analysis of a moral theory that involves RESOLUTION, moral aspects do not have to remain visible in judgements of all-things-considered rightness or wrongness, respectively, introduction of what Peterson calls verdictive reasons does not change the overall picture in favour of DEGREE. We conclude that multi-dimensional consequentialists should accept RESOLUTION rather than DEGREE. (shrink)

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: Does our representation of time provide and amodal framework for multi-sensory integration?

Multi-space is the notion combining different fields in to a unifying field, which is more applicable in our daily life. In this paper, we introduced the notion of multi-soft space which is the approximated collection of the multi-subspaces of a multi-space . Further, we defined some basic operations such as union, intersection, AND, OR etc. We also investigated some properties of multi-soft spaces.

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)

The main idea of this thesis is multi-descriptional physicalism. According to it, only physical entities are elements of our ontology, and there are different ways to describe them. Higher-level vocabularies (e.g., mental, neurological, biological) truly describe reality. Sentences about higher-level entities are made true by physical entities. Every chapter will develop multi-descriptional physicalism or defend it from objections. In chapter 1, I will propose a new conceptual reductive account that conceptually reduces higher-level entities to physical entities. This conceptual (...) reductive account combines resources from Heil’s truthmaker theory and either a priori physicalism or a posteriori physicalism. In chapter 2, I apply this conceptual reductive account to various debates. Physicalism, the multiple-realisability argument, the prototype theory of concepts, and truthmaker explanations will be discussed. In chapter 3, I will argue that a major aim of metaphysics should be to discover which entities are fundamental and explain why they suffice for the existence of derivative entities. In chapter 4, I will propose a new way to explain why sentences apparently about composite objects are true even though there are no composite objects. It combines resources from Cameron’s truthmaker theory and van Inwagen’s paraphrase strategy. In chapter 5, I will argue that the intuition that the mind and the body are very different does not show that the mind is distinct from the body. This intuition can be explained away by mentioning our dispositions to give non-physical explanations when we are ignorant of physical facts. In chapter 6, I will examine two arguments for the existence of a metaphysically independent level, and I will argue that only a modified version of one of them succeeds. I will argue that methodological principles support the view that there is a metaphysically independent level. (shrink)

We show how faceted search using a combination of traditional classification systems and mixed-membership topic models can go beyond keyword search to inform resource discovery, hypothesis formulation, and argument extraction for interdisciplinary research. Our test domain is the history and philosophy of scientific work on animal mind and cognition. The methods can be generalized to other research areas and ultimately support a system for semi-automatic identification of argument structures. We provide a case study for the application of the methods to (...) the problem of identifying and extracting arguments about anthropomorphism during a critical period in the development of comparative psychology. We show how a combination of classification systems and mixed-membership models trained over large digital libraries can inform resource discovery in this domain. Through a novel approach of “drill-down” topic modeling—simultaneously reducing both the size of the corpus and the unit of analysis—we are able to reduce a large collection of fulltext volumes to a much smaller set of pages within six focal volumes containing arguments of interest to historians and philosophers of comparative psychology. The volumes identified in this way did not appear among the first ten results of the keyword search in the HathiTrust digital library and the pages bear the kind of “close reading” needed to generate original interpretations that is the heart of scholarly work in the humanities. Zooming back out, we provide a way to place the books onto a map of science originally constructed from very different data and for different purposes. The multilevel approach advances understanding of the intellectual and societal contexts in which writings are interpreted. (shrink)

In this paper, multi attribute decision making problem based on grey relational analysis in neutrosophic cubic set environment is investigated. In the decision making situation, the attribute weights are considered as single valued neutrosophic sets. The neutrosophic weights are converted into crisp weights. Both positve and negative GRA coefficients, and weighted GRA coefficients are determined. Hamming distances for weighted GRA coefficients and standard (ideal) GRA coefficients are determined. The relative closeness coefficients are derived in order to rank the alternatives. (...) The relative closeness coefficients are designed in ascending order. Finally, a numerical example is solved to demonstrate the applicability of the proposed approach. (shrink)

Counterfactual attitudes like imagining, dreaming, and wishing create a problem for the standard formal semantic theory of de re attitude ascriptions. I show how the problem can be avoided if we represent an agent's attitudinal possibilities using "multi-centered worlds", possible worlds with multiple distinguished individuals, each of which represents an individual with whom the agent is acquainted. I then present a compositional semantics for de re ascriptions according to which singular terms are "assignment-sensitive" expressions and attitude verbs are "assignment (...) shifters". (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)

I argue that it is not possible to accurately represent our task settings as close environments with a single well defined cost structure. Natural environments are places where many things are done, often at the same time, and often by many people. To appreciate the way such invariants of everyday life affect design I present a case study, a micro-analysis of espresso making at Starbucks to show the challenges facing a cost structure approach.

The paper proposes a new technique for dealing with multi-attribute decision making problems through an extended TOPSIS method under neutrosophic cubic environment. Neutrosophic cubic set is the generalized form of cubic set and is the hybridization of a neutrosophic set with an interval neutrosophic set. In this study, we have defined some operation rules for neutrosophic cubic sets and proposed the Euclidean distance between neutrosophic cubic sets. In the decision making situation, the rating of alternatives with respect to some (...) predefined attributes are presented in terms of neutrosophic cubic information where weights of the attributes are completely unknown. In the selection process, neutrosophic cubic positive and negative ideal solutions have been defined. An extended TOPSIS method is then proposed for ranking the alternatives and finally choosing the best one. Lastly, an illustrative example is solved to demonstrate the decision making procedure and effectiveness of the developed approach. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable to acquire more knowledge, which makes it a key virtue of the information age. However, the claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker ex- presses by uttering it. We therefore suggest analyzing intellectual (...) humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humili- ty’. We present a thesaurus-based methodology to map the semantic space of intellectual hu- mility and the vices it opposes as a heuristic to support philosophical and psychological anal- ysis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both lan- guages, we find basically the same three semantic dimensions of intellectual humility (sensi- bility, discreetness, and knowledge dimensions) as well as three dimensions of its related vic- es (self-overrating, other-underrating and dogmatism dimensions). The resulting semantic clusters were validated in an empirical study with English (n=276) and German (n=406) par- ticipants. We find medium to high correlations (0.54-0.72) between thesaurus similarity and perceived similarity, and we can validate the labels of the three dimensions identified in the study. But we also find indications of the limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for construct- ing psychometric scales for intellectual humility. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches (...) to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel logical vocabulary for (...) expressing structural features of inference (§4). (shrink)