Logic and Foundations Commons^™

Some Observations On Scientific Epistemology With Applications To Conflict Resolution And Constructive Controversy, Judith Puncochar, Don Faust

Other Presentations

An overview, by Judy and Don (published in 2013 in the BULLETIN OF SYMBOLIC LOGIC):

Explorationism is a perspective wherein all of our knowledge is (so far) less than certain, and naturally would come equipped with a base logic entailing machinery for representing and processing evidential knowledge. One such base logic is Evidence Logic, which strives to deal with the phenomenon of the gradational presence of both confirmatory and refutatory evidence. From this perspective, we will address questions surrounding sociological problem areas that we see as deeply infused with substantial epistemological factors. By defining a framework as any theory, …

On The Indispensable Premises Of The Indispensability Argument, Andrea Sereni, Marco Panza

MPP Published Research

We identify four different minimal versions of the indispensability argument, falling under four different varieties: an epistemic argument for semantic realism, an epistemic argument for platonism and a non-epistemic version of both. We argue that most current formulations of the argument can be reconstructed by building upon the suggested minimal versions. Part of our discussion relies on a clarification of the notion of (in)dispensability as relational in character. We then present some substantive consequences of our inquiry for the philosophical significance of the indispensability argument, the most relevant of which being that both naturalism and confirmational holism can be dispensed …

A Quasi-Classical Logic For Classical Mathematics, Henry Nikogosyan

Honors College Theses

Classical mathematics is a form of mathematics that has a large range of application; however, its application has boundaries. In this paper, I show that Sperber and Wilson’s concept of relevance can demarcate classical mathematics’ range of applicability by demarcating classical logic’s range of applicability. Furthermore, I introduce how to systematize Sperber and Wilson’s concept of relevance into a quasi-classical logic that can explain classical logic’s and classical mathematics’ range of applicability.

Distance And Similarity Measures Of Interval Neutrosophic Soft Sets, Said Broumi, Irfan Deli, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper several distance and similarity measures of interval neutrosophic soft sets are introduced. The measures are examined based on the geometric model, the set theoretic approach and the matching function. Finally, we have successfully shown an application of this similarity measure of interval neutrosophic soft sets.

New Distance And Similarity Measures Of Interval Neutrosophic Sets, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we proposed a new distance and several similarity measures between interval neutrosophic sets.

Reichenbach Fuzzy Set Of Transitivity, Samina Ashraf, Muhammad A. Javed

Applications and Applied Mathematics: An International Journal (AAM)

Fuzzy implicators are the basic ingredients of many applications. So it becomes essential to study the various features of an implicator before implementing it in any practical application. This paper discusses the properties of transitivity of a fuzzy relation on a given universe and measure of fuzzy transitivity defined in terms of the Reichenbach fuzzy implicator which is an s-implicator.

Observing, Reporting, And Deciding In Networks Of Sentences, H. Jerome Keisler, Jeffrey M. Keisler

Management Science and Information Systems Faculty Publication Series

In prior work we considered networks of agents who prove facts from their knowledge bases and report them to their neighbors in their common languages in order to help a decider verify a single sentence. In report complete networks, the signatures of the agents and the links between agents are rich enough to verify any decider's sentence that can be proved from the combined knowledge base. This paper introduces a more general setting where new observations may be added to knowledge bases and the decider must choose a sentence from a set of alternatives. We consider the question of when …

Multi-Criteria Decision Making Based On Dsmt-Ahp, Jean Dezert, Jean Marc Tacnet, Mireille Batton-Hubert, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we present an extension of the multicriteria decision making based on the Analytic Hierarchy Process (AHP) which incorporates uncertain knowledge matrices for generating basic belief assignments (bba’s). The combination of priority vectors corresponding to bba’s related to each (sub)- criterion is performed using the Proportional Conflict Redistribution rule no. 5 proposed in Dezert-Smarandache Theory (DSmT) of plausible and paradoxical reasoning. The method presented here, called DSmT-AHP, is illustrated on very simple examples.

Euler, Reader Of Newton: Mechanics And Algebraic Analysis, Sébastien Maronne, Marco Panza

MPP Published Research

We follow two of the many paths leading from Newton’s to Euler’s scientific productions, and give an account of Euler’s role in the reception of some of Newton’s ideas, as regards two major topics: mechanics and algebraic analysis. Euler contributed to a re-appropriation of Newtonian science, though transforming it in many relevant aspects. We study this re-appropriation with respect to the mentioned topics and show that it is grounded on the development of Newton’s conceptions within a new conceptual frame also influenced by Descartes’s views sand Leibniz’s formalism.

A Proof-Theoretic Semantic Analysis Of Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

The present paper provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems which have been successfully applied to diverse scientific disciplines, but the proof theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of display calculi, a proof-theoretic paradigm which has been successfully employed to give a proof-theoretic semantic account of modal and substructural …

New Techniques To Analyse The Prediction Of Fuzzy Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

For the first time authors have ventured to study, analyse and investigate the properties of the fuzzy models, the experts opinion and so on. Here the concept of merged Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps are carried out, which are based on merged graphs and merged matrices. This concept is better than the usual combined Fuzzy Cognitive Maps. Further by this new technique we are able to give equal importance to all the experts who work with the problem. Here the new concept of New Average Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps is defined and described. This new …

Comments On The Paper “An Alternative Combination Rule For Evidential Reasoning” By Sebbak Et Al., Published In Fusion 2014 Conference, Salamanca, Spain, July 2014, Florentin Smarandache, Jean Dezert, Arnaud Martin

Branch Mathematics and Statistics Faculty and Staff Publications

In this note we want to show that the PCR6 fusion rule works and redistributes the conflicting mass properly, contrarily to the authors’ assertion that “the focal element {v3} absorbs almost all of the conflicting mass (the majority).” We also question the validity of the new CREC rule of combination presented by the authors.

Eccentricity, Space Bending, Dimension, Florentin Smarandache, Marian Nitu, Mircea Eugen Selariu

Branch Mathematics and Statistics Faculty and Staff Publications

The main goal of this paper is to present new transformations, previously non-existent in traditional mathematics, that we call centric mathematics (CM) but that became possible due to the new born eccentric mathematics, and, implicitly, to the supermathematics (SM).

As shown in this work, the new geometric transformations, namely conversion or transfiguration, wipe the boundaries between discrete and continuous geometric forms, showing that the first ones are also continuous, being just apparently discontinuous.

New Operations On Intuitionistic Fuzzy Soft Sets Based On First Zadeh's Logical Operators, Florentin Smarandache, Said Broumi, Pinaki Majumdar

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper , we have defined First Zadeh’s implication , First Zadeh’s intuitionistic fuzzy conjunction and intuitionistic fuzzy disjunction of two intuitionistic fuzzy soft sets and some their basic properties are studied with proofs and examples.

New Results Of Intuitionistic Fuzzy Soft Set, Florentin Smarandache, Said Broumi, Mamoni Dhar, Pinaki Majumdar

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, three new operations are introduced on intuitionistic fuzzy soft sets .They are based on concentration, dilatation and normalization of intuitionistic fuzzy sets. Some examples of these operations were given and a few important properties were also studied.

New Operations Over Interval Valued Intuitionistic Hesitant Fuzzy Set, Florentin Smarandache, Said Broumi

Branch Mathematics and Statistics Faculty and Staff Publications

Hesitancy is the most common problem in decision making, for which hesitant fuzzy set can be considered as a useful tool allowing several possible degrees of membership of an element to a set. Recently, another suitable means were defined by Zhiming Zhang [1], called interval valued intuitionistic hesitant fuzzy sets, dealing with uncertainty and vagueness, and which is more powerful than the hesitant fuzzy sets. In this paper, four new operations are introduced on interval-valued intuitionistic hesitant fuzzy sets and several important properties are also studied.

New Operations On Interval Neutrosophic Sets, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

An interval neutrosophic set is an instance of a neutrosophic set, which can be used in real scientific and engineering applications. In this paper, three new operations based on the arithmetic mean, geometrical mean, and respectively harmonic mean are defined on interval neutrosophic sets.

Neutrosophic Parametrized Soft Set Theory And Its Decision Making, Said Broumi, Irfan Deli, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this work, we present definition of neutrosophic parameterized (NP) soft set and its operations. Then we define NP-aggregation operator to form NP-soft decision making method which allows constructing more efficient decision processes. We also dive an example which shows that they can be successfully applied to problem that contain indeterminacy.

Further Generalization Of N-D Distance And N-D Dependent Function In Extenics, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Prof. Cai Wen [1] defined the 1-D Distance and 1-D Dependent Function in 1983. F. Smarandache [6] generalized them to n-D Distance and n-D Dependent Function respectively in 2012 during his postdoc research at Guangdong University of Technology in Guangzhou. O. I. Şandru [7] extended the last results in 2013. Now [2015], as a further generalization, we unify all these results into a single formula for the n-D Distance and respectively for the n-D Dependent Function.

Neutrosophic Ideal Theory Neutrosophic Local Function And Generated Neutrosophic Topology, A. A. Salama, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the notion of ideals on neutrosophic set which is considered as a generalization of fuzzy and fuzzy intuitionistic ideals studies in [9,11] , the important neutrosophic ideals has been given in [4]. The concept of neutrosophic local function is also introduced for a neutrosophic topological space. These concepts are discussed with a view to find new nutrosophic topology from the original one in [8]. The basic structure, especially a basis for such generated neutrosophic topologies and several relations between different neutrosophic ideals and neutrosophic topologies are also studied here. Possible application to GIS topology rules …