In this paper, we generalize the soft set to the hypersoft set by transforming the function F into a multi-attribute function. Then we introduce the hybrids of Crisp, Fuzzy, Intuitionistic Fuzzy, Neutrosophic, and Plithogenic Hypersoft Set.

This is a review paper, where we recall the definitions together with practical applications of the Soft Set and its extensions to HyperSoft Set, IndetermSoft Set, IndetermHyperSoft Set, and TreeSoft Set.

In this paper we define the Soft Set Product as a product of many soft sets and afterwards we extend it to the HyperSoft Set. Similarly, the IndetermSoft Product is extended to the IndetermHyperSoft Set. We also present several applications of the Soft Set Product to Fuzzy (and fuzzy-extensions) Soft Set Product and to IndetermSoft Set and IndetermHyperSoft Set.

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.

In this paper, we first defined soft intervalvalued neutrosophic rough sets(SIVN- rough sets for short) which combines interval valued neutrosophic soft set and rough sets and studied some of its basic properties. This concept is an extension of soft interval valued intuitionistic fuzzy rough sets( SIVIF- rough sets). Finally an illustartive example is given to verfy the developped algorithm and to demonstrate its practicality and effectiveness.

The traditional soft set is a mapping from a parameter set to family of all crisp subsets of a universe. Molodtsov introduced the soft set as a generalized tool for modelling complex systems involving uncertain or not clearly defined objects. In this paper, the notion of neutrosophic soft set is reanalysed. The novel theory is a combination of neutrosophic set theory and soft set theory. The complement, “and”, “or”, intersection and union operations are defined on the (...) neutrosophic soft sets. The neutrosophic soft relations accompanied with their compositions are also defined. The basic properties of the neutrosophic soft sets, neutrosophic soft relations and neutrosophic soft compositions are also discussed. (shrink)

Soft set theory is a general mathematical tool for dealing with uncertain, fuzzy, not clearly defined objects. In this paper we introduced soft neutrosophic biLA-semigroup,soft neutosophic sub bi-LA-semigroup, soft neutrosophic N -LA-semigroup with the discuission of some of their characteristics. We also introduced a new type of soft neutrophic bi-LAsemigroup, the so called soft strong neutrosophic bi-LAsemigoup which is of pure neutrosophic character. This is also extend to soft neutrosophic strong N-LA-semigroup. We also (...) given some of their properties of this newly born soft structure related to the strong part of neutrosophic theory. (shrink)

Today, soft computing is a field that is used a lot in solving real-world problems, such as problems in economics, finance, banking... With the aim to serve for solving the real problem, many new theories and/or tools which were proposed, improved to help soft computing used more efficiently. We can mention some theories as fuzzy sets theory (L. Zadeh, 1965), intuitionistic fuzzy set (K Atanasov, 1986), neutrosophic set (F. Smarandache 1999). In this paper, we introduce a new notion (...) of sup port-neutrosophic set (SNS), which is the combination a neutrosophic set with a fuzzy set. So, SNS set is a direct extension of fuzzy set and neutrosophic sets (F. Smarandache). Then, we define some operators on the support-neutrosophic sets, and investigate some properties of these operators. (shrink)

In this paper we introduce the concept of interval valued neutrosophic soft topological space together with interval valued neutrosophic soft finer and interval valued neutrosophic soft coarser topology. We also define interval valued neutrosophic interior and closer of an interval valued neutrosophic soft set. Some theorems and examples are cites. Interval valued neutrosophic soft subspace topology are studied. Some examples and theorems regarding this concept are presented.

Soft neutrosophic group and soft neutrosophic subgroup are generalized to soft neutrosophic bigroup and soft neutrosophic N-group respectively in this paper. Different kinds of soft neutrosophic bigroup and soft neutrosophic N-group are given. The structural properties and theorems have been discussed with a lot of examples to disclose many aspects of this beautiful man made structure.

This study provides an innovative approach to neutrosophic algebraic structures by introducing a new structure called Neutrosophic Soft Cubic T-ideal (NSCTID), which combines T-ideal (TID) and neutrosophic Soft Cubic Sets (NSCSs) within the framework of PS-Algebra. Within the already-existing neutrosophic cubic structures, the addition of soft sets with the characteristics of TID makes this structure more desirable. The theoretical development of the proposed structure includes the application of fundamental ideas as union, intersection, the Cartesian product, and homomorphism. (...) We also introduce the notions of NSCTID-translation and NSCTID-multiplication to further enhance the structure of NSCTID. By applying the idea of translation and multiplication, we offer improved algorithm for neutrosophic cubic sets to deal with different parameters that are satisying the TID’s distinctive characteristics. Through this thorough research, we offer an elementary understanding of NSCTID and its capabilities, providing the way to new algebraic structures. (shrink)

In this paper one introduces for the first time the IndetermSoft Set, as extension of the classical (determinate) Soft Set, that deals with indeterminate data, and similarly the HyperSoft Set extended to IndetermHyperSoft Set, where ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, not unique outcome). They are built on an IndetermSoft Algebra that is an algebra dealing with IndetermSoft Operators resulted from our real world. Afterwards, the corresponding Fuzzy / Intuitionistic Fuzzy / Neutrosophic / and other fuzzy-extension IndetermSoft Set & (...) IndetermHyperSoft Set are presented together with their applications. (shrink)

Soft set theory is a general mathematical tool for dealing with uncertain, fuzzy, not clearly defined objects. In this paper we introduced soft neutrosophic loop,soft neutosophic biloop, soft neutrosophic N -loop with the discuission of some of their characteristics. We also introduced a new type of soft neutrophic loop, the so called soft strong neutrosophic loop which is of pure neutrosophic character. This notion also found in all the other corresponding notions of soft (...) neutrosophic thoery. We also given some of their properties of this newly born soft structure related to the strong part of neutrosophic theory. (shrink)

The IndetermSoft Set is as an extension of the Soft Set, because the data, or the function, or the sets involved in the definition of the soft set have indeterminacy - as in our everyday life, and we still need to deal with such situations. And similarly, IndetermHyperSoft Set as extension of the HyperSoft Set, when there is indeterminate data, or indeterminate functions, or indeterminate sets. Herein, ‘Indeterm’ stands for ‘Indeterminate’ (uncertain, conflicting, incomplete, not unique outcome). We now (...) introduce for the first time the TreeSoft Set as extension of the MultiSoft Set. Several applications are presented for each type of soft set. (shrink)

Enterprise resource planning (ERP) has a significant impact on modern businesses by enhancing productivity, automation, and streamlining of business processes, even accounting. Manufacturers can assure proper functioning and timely client demand using ERP software. Coordination, procurement control, inventory control, and dispatch of commodities are all features of supply chain management.

In this paper, we introduce the notion of single-valued neutrosophic soft uniform spaces as a view point of the entourage approach. We investigate the relationship among single-valued neutrosophic soft uniformities, single-valued neutrosophic soft topologies and single-valued neutrosophic soft interior operators. Also, we study several single-valued neutrosophic soft topologies induced by a single-valued neutrosophic soft uniform space.

In this paper we extend the neutrosophic group and subgroup to soft neutrosophic group and soft neutrosophic subgroup respectively. Properties and theorems related to them are proved and many examples are given.

In this paper we extend the theory of neutrosophic rings and neutrosophic fields to soft sets and construct soft neutrosophic rings and soft neutrosophic fields. We also extend neutrosophic ideal theory to form soft neutrosophic ideal over a neutrosophic ring and soft neutrosophic ideal of a soft neutrosophic ring . We have given many examples to illustrate the theory of soft neutrosophic rings and soft neutrosophic fields and display many properties of of (...) these. At the end of this paper we gave soft neutrosophic ring homomorphism. (shrink)

This paper discusses and criticizes Joseph Nye’s account of soft power. First, we set the stage and make some general remarks about the notion of social power. In the main part of this paper we offer a detailed critical discussion of Nye’s conception of soft power. We conclude that it is too unclear and confused to be of much analytical use. However, despite this failure, Nye is aiming at explaining an important but also neglected form of social power: (...) the power to influence the will and not just the behavior of other agents. In the last part of this paper we briefly discuss Steven Lukes’ alternative view of a “third dimension” of power and end with a sketch of a more promising way to account for this neglected form of power. (shrink)

Cloud computing (ClC) has become a more popular computer paradigm in the preceding few years. Quality of Service (QoS) is becoming a crucial issue in service alteration because of the rapid growth in the number of cloud services. When evaluating cloud service functioning using several performance measures, the issue becomes more complex and non-trivial. It is therefore quite difficult and crucial for consumers to choose the best cloud service. The user's choices are provided in a quantifiable manner in the current (...) methods for choosing cloud services. Hence, this study attempts to achieve this objective through construction. decision-making framework so-called cloud services evaluator (CSsEv). The main indicator and its sub-indicators are formed as nodes at levels(n) in tree soft sets (TSSs). Thereafter Single Value Neutrosophic Sets (SVNSs) as branch of neutrosophic sets which conjunction with the Multi-Criteria Decision Making (MCDM) technique to facilitate analysis and evaluation process for the available Cloud services providers. Hence, entropy is employed to obtain indicators and sub_indicators weights and Complex Proportional Assessment utilizes these weights to facilitate the decision process of selecting optimal ClSPs. (shrink)

The concept of a hypersoft membership function is introduced in the extension of a soft set known as a hypersoft set, permitting it to handle complicated and uncertain information in a more powerful and flexible manner. Many academics have already become fascinated with this new area of study, leading to the development of a number of hybrid structures. This chapter develops some new hybrid hypersoft set structures by taking into account multiple fuzzy set-like settings and possibility degree-based settings collectively. (...) Additionally, numerical examples are included to clarify the concept of these structures. Researchers can utilize this work to better understand and apply a variety of mathematical ideas. (shrink)

This paper presents for the first time the IndetermSoft Set, as an extension of the classical (determinate) Soft Set, which operates on indeterminate data, and similarly the HyperSoft Set extended to the IndetermHyperSoft Set, where 'Indeterm' means 'Indeterminate' (uncertain, conflicting, non-unique result). They are built on an IndetermSoft Algebra which is an algebra dealing with IndetermSoft Operators resulting from our real world. Subsequently, the IndetermSoft and IndetermHyperSoft Sets and their Fuzzy/Fuzzy Intuitionistic/Neutrosophic and other fuzzy extensions and their applications are (...) presented. (shrink)

Since the 1990’s, the debate concerning the ethical, legal and societal aspects of ‘neuro-enhancement’ has evolved into a massive discourse, both in the public realm and in the academic arena. This ethical debate, however, tends to repeat the same sets of arguments over and over again. Normative disagreements between transhumanists and bioconservatives on invasive or radical brain stimulators, and uncertainties regarding the use and effectivity of nootropic pharmaceuticals dominate the field. Building on the results of an extensive European project on (...) responsible research and innovation in neuro-enhancement, we observe and encourage that the debate is now entering a new and, as we will argue, more realistic and societally relevant stage. This new stage concerns those technologies that enter the market as ostensibly harmless contrivances that consumers may use for self-care or entertainment. We use the examples and arguments of participants in NERRI debates to describe three case studies of such purportedly innocent ‘toys’. Based upon this empirical material, we argue that these ‘soft’ enhancement gadgets are situated somewhere in the boundary zone between the internal and the external, between the intimate and the intrusive, between the familiar and the unfamiliar, between the friendly and the scary and, in Foucauldian terms, between technologies of the self and technologies of control. Therefore, we describe their physiognomy with the help of a term borrowed from Jacques Lacan, namely as “extimate” technologies. (shrink)

In this paper we extend soft neutrosophic rings and soft neutrosophic fields to soft neutrosophic birings, soft neutrosophic N-rings and soft neutrosophic bifields and soft neutrosophic N-fields. We also extend soft neutrosophic ideal theory to form soft neutrosophic biideal and soft neutrosophic N-ideals over a neutrosophic biring and soft neutrosophic N-ring . We have given examples to illustrate the theory of soft neutrosophic birings, soft neutrosophic N-rings and (...) class='Hi'>soft neutrosophic fields and soft neutrosophic N-fields and display many properties of these. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this (...) data fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

This article is a preliminary draft for initiating and commencing a new pioneer dimension of expression. To deal with higher-dimensional data or information flowing in this modern era of information technology and artificial intelligence, some innovative super algebraic structures are essential to be formulated. In this paper, we have introduced such matrices that have multiple layers and clusters of layers to portray multi-dimensional data or massively dispersed information of the plithogenic universe made up of numerous subjects their attributes, and sub-attributes. (...) For grasping that field of parallel information, events, and realities flowing from the micro to the macro level of universes, we have constructed hypersoft and hyper-super-soft matrices in a Plithogenic Fuzzy environment. These Matrices classify the non-physical attributes by accumulating the physical subjects and further sort the physical subjects by accumulating their non-physical attributes. We presented themasPlithogenicAttributiveSubjectivelyWholeHyper-Super-Soft-Matrix(PASWHSS-Matrix)andPlithogenic Subjective Attributively Whole-Hyper-Super-Soft-Matrix (PSAWHSS-Matrix). Several types of views and level-layers of these matrices are described. In addition, some local aggregation operators for Plithogenic Fuzzy Hypersoft Set (PPFHS-Set) are developed. Finally, few applications of these matrices and operators are used as numerical examples of COVID-19 data structures. (shrink)

The topics approached in the 52 papers included in this book are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single (...) valued trapezoidal neutrosophic number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; Maclaurin symmetric mean; pseudo-BCI algebra; hesitant fuzzy set; photovoltaic plan; decision-making trial and evaluation laboratory (DEMATEL); Choquet integral; fuzzy measure; clustering algorithm; and many more. (shrink)

Neutrosophic theory and its applications have been expanding in all directions at an astonishing rate especially after of the introduction the journal entitled “Neutrosophic Sets and Systems”. New theories, techniques, algorithms have been rapidly developed. One of the most striking trends in the neutrosophic theory is the hybridization of neutrosophic set with other potential sets such as rough set, bipolar set, soft set, hesitant fuzzy set, etc. The different hybrid structures such as rough neutrosophic set, single valued neutrosophic rough (...) set, bipolar neutrosophic set, single valued neutrosophic hesitant fuzzy set, etc. are proposed in the literature in a short period of time. Neutrosophic set has been an important tool in the application of various areas such as data mining, decision making, e-learning, engineering, medicine, social science, and some more. (shrink)

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

Neutrosophic theory and its applications have been expanding in all directions at an astonishing rate especially after of the introduction the journal entitled “Neutrosophic Sets and Systems”. New theories, techniques, algorithms have been rapidly developed. One of the most striking trends in the neutrosophic theory is the hybridization of neutrosophic set with other potential sets such as rough set, bipolar set, soft set, hesitant fuzzy set, etc. The different hybrid structures such as rough neutrosophic set, single valued neutrosophic rough (...) set, bipolar neutrosophic set, single valued neutrosophic hesitant fuzzy set, etc. are proposed in the literature in a short period of time. Neutrosophic set has been an important tool in the application of various areas such as data mining, decision making, e-learning, engineering, medicine, social science, and some more. (shrink)

In this thirteenth book of scilogs – one may find topics on Neutrosophy, Plithogeny, Physics, Mathematics, Philosophy – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. It presents new types of soft sets and new types of topologies. -/- Exchanging ideas with Mohammad Abobala, Ishfaq Ahmad, Ibrahim M. Almanjahie, Fatimah Alshahrani, Nizar Altounji, Muhammad Aslam, Said Broumi, Victor Christianto, R. Diksh, Feng Liu, Frank Julian Gelli, Erick Gonzalez (...) Caballero, Riad Hamido, Yaser Al-Hasan, Ahmed Hatip, Yasin Karmouta, Nivetha Martin, Preda Mihăilescu, V. Lakshmana Gomathi Nayagam, Ze Carlos Tiago de Oliveira, Alexey Platonov, Andrei Pogany, Shakti Prasad, Ranulfo Paiva Barbosa (Sobrinho), Dmitri Rabounski, Ackbar Rezaei, Constantin Sandu, A. Saraswathi, Usman Shahzad, Gocho V. Sharlanov, Stefan Spaarmann, Michael Voskoglou, Vinay Kumar Yadav, Tomasz Witczak, William H. Woodall, Mircea Zărnescu, Mohamed Bisher Zeina (in order of reference in the book). (shrink)

The topics approached in this collection of papers are: neutrosophic sets; neutrosophic logic; generalized neutrosophic set; neutrosophic rough set; multigranulation neutrosophic rough set (MNRS); neutrosophic cubic sets; triangular fuzzy neutrosophic sets (TFNSs); probabilistic single-valued (interval) neutrosophic hesitant fuzzy set; neutro-homomorphism; neutrosophic computation; quantum computation; neutrosophic association rule; data mining; big data; oracle Turing machines; recursive enumerability; oracle computation; interval number; dependent degree; possibility degree; power aggregation operators; multi-criteria group decision-making (MCGDM); expert set; soft sets; LA-semihypergroups; single valued trapezoidal neutrosophic (...) number; inclusion relation; Q-linguistic neutrosophic variable set; vector similarity measure; fundamental neutro-homomorphism theorem; neutro-isomorphism theorem; quasi neutrosophic triplet loop; quasi neutrosophic triplet group; BE-algebra; cloud model; fuzzy measure; clustering algorithm; and many more. (shrink)

In this fourteenth book of scilogs – one may find topics on examples where neutrosophics works and others don’t, law of included infinitely-many-middles, decision making in games and real life through neutrosophic lens, sociology by neutrosophic methods, Smarandache multispace, algebraic structures using natural class of intervals, continuous linguistic set, cyclic neutrosophic graph, graph of neutrosophic triplet group , how to convert the crisp data to neutrosophic data, n-refined neutrosophic set ranking, adjoint of a square neutrosophic matrix, neutrosophic optimization, de-neutrosophication, the (...) n-ary soft set relationship, hypersoft set, extending the hypergroupoid to the superhypergroupoid, alternative ranking, Dezert-Smarandache Theory (DSmT), reconciliation between theoretical and market prices, extension of the MASS model by the incorporation of neutrosophic statistics and the DSmT combination rule, conditional probability of actually detecting a financial fraud, neutrosophic extension using DSmT combination rule, probabilistic information content, absolute and relative DSm conditioning rules, example of PCR5 with Zhang’s degree, PCR5 with degree of intersection, the most general form of SuperHyperAlgebra, on Crittenden and Vanden Eynden’s conjecture, use of special types of linear algebras and their generalizations, SuperMathematics, 3D-space in physics, neutrosophic physical laws, neutrosophy as a meta-philosophy, principle of interconvertibility matter-energy-information, neutrosophic philosophical interpretation, possible neutrosophic applications to Indian philosophy and religion, philosophical horizons in neutrosophy, clan capitalism, or artificial intelligence – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. Exchanging ideas with Mirela Teodorescu, Linfan Mao, Shondiin Silversmith, Mumtaz Ali, Vasantha W.B. Kandasamy, V. Lakshmana Gomathi Nayagam, Bharanidharan R., Michael Voskoglou, Said Broumi, Maissam Jdid, Sagvan Y. Musa, Mohammad Hamidi, Yaser Ahmad Alhasan, Nivetha Martin, Mohammad Khoshnevisan, Deqiang Han, Jean Dezert, Mircea Șelariu, Ștefan Vlăduțescu, Tudor Păroiu (in order of reference in the book). (shrink)

This is the first volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The 78 authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. -/- Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, (...) inconsistent, and indeterminacy. -/- In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements. (shrink)

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems (...) and propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

Tailoring the design of robot bodies for control purposes is implicitly performed by engineers, however, a methodology or set of tools is largely absent and optimization of morphology (shape, material properties of robot bodies, etc.) is lag- ging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or "soft" bodies. These carry substantial potential regarding their exploitation for control – sometimes referred to as "mor- phological computation" in the sense of offloading (...) computation needed for control to the body. Here, we will argue in favor of a dynamical systems rather than com- putational perspective on the problem. Then, we will look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of “soft” bodies automatically taking over control tasks. We will address another key dimension of the design space – whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. ----- This paper was also published in the 2014 AISB proceedings http://aisb50.org/representation-of-reality-humans-animals-and-machines/ - http://doc.gold.ac.uk/aisb50/. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment (...) problems, economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the sixth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. -/- ES: Este es el Sexto volumen de la Enciclopedia de Investigadores Neutróficos, editados a partir de materiales ofrecidos por los autores que respondieron a la invitación del editor. Los autores se enumeran alfabéticamente. La introducción contiene una breve historia de la neutrosófica, y en especial se sus impacto en latinoamérica junto con enlaces a los principales artículos y libros. Conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, medida neutrosófica, precálculo neutrosófico, cálculo neutrosófico, psicología neutrosófica, sociología neutrosófica etc., están ganando una atención significativa en resolver muchos problemas de la vida real que implican incertidumbre, imprecisión, vaguedad, incompletitud, inconsistencia e indeterminación. En los últimos años, los campos de la neutrosófica se han ampliado y aplicado en diversos campos, tales como: inteligencia artificial, minería de datos, software informática, toma de decisiones en forma incompleta / indeterminada / inconsistente sistemas de información, procesamiento de imágenes, modelado computacional, robótica, diagnóstico médico, ingeniería biomédica, problemas de inversión, previsión económica, ciencias sociales, humanística y la validación y consolidación del conocimiento científico. (shrink)

Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment (...) problems, economic forecasting, social science, humanistic and practical achievements. There are about 7,000 neutrosophic researchers, within 89 countries around the globe, that have produced about 4,000 publications and tenths of PhD and MSc theses, within more than two decades. This is the fifth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation, with an introduction contains a short history of neutrosophics, together with links to the main papers and books. (shrink)

The purpose of this chapter is to analyse approaches to the sharing economy from the perspective of public policy science. In the first part of the text, attention is paid to perceiving the development of the emerging sharing economy not only as phenomenon with positive economic effects but also as a set of public problems (e.g., on the labour market and for existing economic structures) that require intervention at the level of national governments as well as at international level. Subsequent (...) sections identify possible actions for regulating the development of the sharing economy. The role of soft law, stakeholders’ networks, self-regulation and standardisation are discussed in the chapter. The summary includes potential directions for further research. (shrink)

This is the first volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and (...) indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements. (shrink)

This is the fourth volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and (...) indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements. (shrink)

Over the past few years we have seen an increasing number of legal proceedings related to inappropriately implemented technology. At the same time career paths have diverged from the foundation of statistics out to Data Scientist, Machine Learning and AI. All of these new branches being fundamentally branches of statistics and mathematics. This has meant that formal training has struggled to keep up with what is required in the plethora of new roles. Mathematics as a taught subject is still based (...) in decades old teaching specifications and has not been updated centrally as a curriculum to include new technologies, coding or ethics. This subject area is firmly split between ICT and Mathematics in secondary school, continuing on to be split between Computer Science and Mathematics at University. As we move forwards with technology we see these once seperate fields becoming increasingly intertwined. We propose that existing provision for concepts such as ethics and societal responsibility in analysis currently exist but have not been incorporated into the mainstream curriculum of School or University. This is partially due to the split between fields in an educational setting but also the speed with which education is able to keep up with Industry and its requirements. Principles and frameworks of socially responsible modelling beginning at school level means that ethics and real-life modelling are introduced much earlier than normal. Integrating these concepts with philosophical principles of society and politics ensures a suitable background for future modellers and users of technology to draw on. Modelling is currently undertaken in technical sciences at University but the Subject Benchmark Statements are not current (Subject Benchmark Statements describe the nature of study and the academic standards expected of graduates in specific subject areas. They show what graduates might reasonably be expected to know, do and understand at the end of their studies). Even in 2019 the UK did not yet have Benchmark Statements that discuss the learning to be done in Higher Education around AI and advanced Machine Learning. Where there is provision for AI and Data Science within degree courses ethics is not generally highlighted as a key concept. As such there can be a lack of focus on the teaching of modelling or ethics as specific skills. The skills required to use a basic statistical model, for example would not be sufficient to start from scratch and build an ethical model reflecting real-world scenarios with which to inform policy or organisational decision making. This is a skill in itself and includes such aspects as awareness of data quality, ethics, user implementation problems, context and an understanding of the environment that the model is being created in. As the field of analytics has progressed so quickly in the last decade modules such as those covering AI have simply been bolted on to Maths or Computing degrees rather than being fully detailed as key areas of study or driving new, more integrated courses of study. This paper posits that gaps at primary, secondary and tertiary educational levels need to be addressed. Implementing and integrating key concepts from school level is essential so that areas such as assumptions, caveats, quality assurance and answering the right questions with constructive challenge become a cultural fixture. This not only helps developers of technology but users of rapidly developing technology also. In addition, leadership and soft skills as part of this education will ensure that a cultural shift can take place and promote continuous improvement in analysis within organisations. The addition of key concepts throughout the educational system and the updating of potentially outdated curriculums is key to ensuring a functional society. A society where every citizen is a user of tech and those that develop it can be ethical and socially responsible in its development. (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)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

This is the third volume of the Encyclopedia of Neutrosophic Researchers, edited from materials offered by the authors who responded to the editor’s invitation. The authors are listed alphabetically. The introduction contains a short history of neutrosophics, together with links to the main papers and books. Neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic measure, neutrosophic precalculus, neutrosophic calculus and so on are gaining significant attention in solving many real life problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and (...) indeterminacy. In the past years the fields of neutrosophics have been extended and applied in various fields, such as: artificial intelligence, data mining, soft computing, decision making in incomplete / indeterminate / inconsistent information systems, image processing, computational modelling, robotics, medical diagnosis, biomedical engineering, investment problems, economic forecasting, social science, humanistic and practical achievements. (shrink)

This study investigates the nature of academic work in contemporary academia, which is set in an under-researched context, Vietnam. The research context is unique in its blending between long and rich cultural values and Western ideologies in management. The study examines how Vietnamese academics practice their academic roles in response to the interactions of those two domains. Avoiding the approach of seeking for evidence of negative impacts of managerial controls on aspects of academic life as commonly used in the existing (...) literature, this study focuses on analysing the complexities in relationships of individual academics with management and other actors including managers, colleagues, students and scholar community. This approach is advanced in understanding both social and individual meanings in academic work as well as the social and cultural values which shape their perception of academic roles. The research enquiry of producing an insight into academics’ work life and experience in contemporary academia informs a qualitative and interpretive research. The findings suggest that the application of managerial controls is less challenged whilst highly accepted in Vietnamese higher education as a context under the influence of Confucianism. The evidence of academics’ compliance and collective actions underpinned by Vietnamese cultural values in this study offers to reconsider the discrepancy of the nature of these phenomena in the belief of the West and the East. The study’s exploration of being an academic as multi-layered meanings expanding from within and outside of university roles proposes academics’ potential strengths in coping with insecurity and ambiguity at work. It then sharpens the suggestion that contemporary management in higher education needs to be mindful of the emotional-related and meaningful nature of academic profession for the best outcomes of both individual work and organisational aims rather than relying on either soft or hard controls. (shrink)

This study investigates the nature of academic work in contemporary academia, which is set in an under-researched context, Vietnam. The research context is unique in its blending between long and rich cultural values and Western ideologies in management. The study examines how Vietnamese academics practice their academic roles in response to the interactions of those two domains. -/- Avoiding the approach of seeking for evidence of negative impacts of managerial controls on aspects of academic life as commonly used in the (...) existing literature, this study focuses on analysing the complexities in relationships of individual academics with management and other actors including managers, colleagues, students and scholar community. This approach is advanced in understanding both social and individual meanings in academic work as well as the social and cultural values which shape their perception of academic roles. -/- The research enquiry of producing an insight into academics’ work life and experience in contemporary academia informs a qualitative and interpretive research. The findings suggest that the application of managerial controls is less challenged whilst highly accepted in Vietnamese higher education as a context under the influence of Confucianism. The evidence of academics’ compliance and collective actions underpinned by Vietnamese cultural values in this study offers to reconsider the discrepancy of the nature of these phenomena in the belief of the West and the East. The study’s exploration of being an academic as multi-layered meanings expanding from within and outside of university roles proposes academics’ potential strengths in coping with insecurity and ambiguity at work. It then sharpens the suggestion that contemporary management in higher education needs to be mindful of the emotional-related and meaningful nature of academic profession for the best outcomes of both individual work and organisational aims rather than relying on either soft or hard controls. (shrink)

John Martin Fischer’s core project in Our Fate (2016) is to develop and defend Pike-style arguments for theological incompatibilism, i. e., for the view that divine omniscience is incompatible with human free will. Against Ockhamist attacks on such arguments, Fischer maintains that divine forebeliefs constitute so-called hard facts about the times at which they occur, or at least facts with hard ‘kernel elements’. I reconstruct Fischer’s argument and outline its structural analogies with an argument for logical fatalism. I then point (...) out some of the costs of Fischer’s reasoning that come into focus once we notice that the set of hard facts is closed under entailment. (shrink)

In international law and just war theory, war is treated as normatively and legally unique. In the context of international law, war’s special status gives rise to a specific set of belligerent rights and duties, as well as a complex set of laws related to, among other things, the status of civilians, prisoners of war, trade and economic relationships, and humanitarian aid. In particular, belligerents are permitted to derogate from certain human rights obligations and to use lethal force in a (...) far more permissive manner than is the case in other kinds of conflicts and in domestic law enforcement operations. Given war’s unique status, the task of defining war requires not just identifying the empirical features that are characteristic of war but explaining and justifying war’s special legal and moral status. In this chapter, I propose a definition of war that captures war’s unique features and can offer insights into when and how some forms of unarmed conflict could count as wars. (shrink)

In 1685, in The Art of Discovery, Leibniz set down an extraordinary idea: "The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right." Calculemus.