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 …

Interval Neutrosophic Rough Set, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This paper combines interval-valued neutrosophic sets and rough sets. It studies rougheness in interval-valued neutrosophic sets and some of its properties. Finally we propose a Hamming distance between lower an upper approximations of interval neutrosophic sets.

Importance Of Sources Using The Repeated Fusion Method And The Proportional Conflict Redistribution Rules #5 And #6, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

We present in this paper some examples of how to compute by hand the PCR5 fusion rule for three sources, so the reader will better understand its mechanism. We also take into consideration the importance of sources, which is different from the classical discounting of sources.

Neutrosophic Crisp Open Set And Neutrosophic Crisp Continuity Via Neutrosophic Crisp Ideals, A. A. Salama, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

The focus of this paper is to propose a new notion of neutrosophic crisp sets via neutrosophic crisp ideals and to study some basic operations and results in neutrosophic crisp topological spaces. Also, neutrosophic crisp L-openness and neutrosophic crisp L- continuity are considered as a generalizations for a crisp and fuzzy concepts. Relationships between the above new neutrosophic crisp notions and the other relevant classes are investigated. Finally, we define and study two different types of neutrosophic crisp functions.

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.

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.

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 …

New Research On Neutrosophic Algebraic Structures, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book, we define several new neutrosophic algebraic structures and their related properties. The main focus of this book is to study the important class of neutrosophic rings such as neutrosophic LA-semigroup ring, neutrosophic loop ring, neutrosophic groupoid ring and so on. We also construct their generalization in each case to study these neutrosophic algebraic structures in a broader sense. The indeterminacy element “ I “ gives rise to a more bigger algebraic structure than the classical algebraic structures. It mainly classifies the algebraic structures in three categories: such as neutrosophic algebraic structures, strong neutrosophic algebraic structures, and classical …

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.

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 …

Lower And Upper Soft Interval Valued Neutrosophic Rough Approximations Of An Ivnss-Relation, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we extend the lower and upper soft interval valued intuitionistic fuzzy rough approximations of IVIFS –relations proposed by Anjan et al. to the case of interval valued neutrosophic soft set relation(IVNSS-relation for short)

Intuitionistic Neutrosophic Soft Set Over Rings, Florentin Smarandache, Said Broumi, Pabitra Kumar Maji

Branch Mathematics and Statistics Faculty and Staff Publications

S.Broumi and F.Smarandache introduced the concept of intuitionistic neutrosophic soft set as an extension of the soft set theory. In this paper we have applied the concept of intuitionistic neutrosophic soft set to rings theory .The notion of intuitionistic neutrosophic soft set over ring (INSSOR for short ) is introduced and their basic properties have been investigated.The definitions of intersection, union, AND, and OR operations over ring (INSSOR) have also been defined. Finally, we have defined the product of two intuitionistic neutrosophic soft set over ring.

Law Of Included Multiple-Middle & Principle Of Dynamic Neutrosophic Opposition, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the author pledges for the generalization of the Lupasco-Nicolescu’s Law of Included Middle [A, nonA, and a third value T which resolves their contradiction at another level of reality] to the Law of Included Multiple-Middle [A, antiA, and neutA, which is split into a multitude of neutralities between A and antiA, such as neutA1, neutA2, etc.]. The value (i.e. neutrality or indeterminacy related to A) actually comprises the included middle value.

Further, similarly to the extension from dialectics to neutrosophy, the author extends the Principle of Dynamic Opposition [opposition between A and antiA] …

Algebraic Structures On Fuzzy Unit Square And Neutrosophic Unit Square, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors build algebraic structures on fuzzy unit semi open square UF = {(a, b) | a, b  [0, 1)} and on the fuzzy neutrosophic unit semi open square UN = {a + bI | a, b  [0, 1)}. This study is new and we define, develop and describe several interesting and innovative theories about them. We cannot build ring on UN or UF. We have only pseudo rings of infinite order. We also build pseudo semirings using these semi open unit squares. We construct vector spaces, S-vector spaces and strong pseudo special vector space using …

Neutrosophic Theory And Its Applications : Collected Papers - Vol. 1, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic Theory means Neutrosophy applied in many fields in order to solve problems related to indeterminacy. Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. This theory considers every entity together with its opposite or negation and with their spectrum of neutralities in between them (i.e. entities supporting neither nor ). The and ideas together are referred to as . Neutrosophy is a generalization of Hegel's dialectics (the last one is based on and only). According to this theory every entity tends to be …

Algebraic Structures On Real And Neutrosophic Semi Open Squares, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Here for the first time we introduce the semi open square using modulo integers. Authors introduce several algebraic structures on them. These squares under addition modulo ‘n’ is a group and however under product  this semi open square is only a semigroup as under  the square has infinite number of zero divisors. Apart from + and  we define min and max operation on this square. Under min and max operation this semi real open square is a semiring. It is interesting to note that this semi open square is not a ring under + and  since …

Algebraic Structures On The Fuzzy Interval [0, 1), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce several algebraic structures on the special fuzzy interval [0, 1). This study is different from that of the algebraic structures using the interval [0, n) n ≠ 1, as these structures on [0, 1) has no idempotents or zero divisors under ×. Further [0, 1) under product × is only a semigroup. However by defining min(or max) operation in [0, 1); [0, 1) is made into a semigroup. The semigroup under × has no finite subsemigroups but under min or max we have subsemigroups of order one, two and so on. [0, 1) under + …

Special Pseudo Linear Algebras Using [0,N), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce some special type of linear algebras called pseudo special linear algebras using the interval [0, n). These new types of special pseudo interval linear algebras has several interesting properties. Special pseudo interval linear algebras are built over the subfields in Zn where Zn is a S-ring. We study the substructures of them. The notion of Smarandache special interval pseudo linear algebras and Smarandache strong special pseudo interval linear algebras are introduced. The former Sspecial interval pseudo linear algebras are built over the Sring itself. Study in this direction has yielded several interesting results. S-strong special …

Groupoids Of Type I And Ii Using [0, N), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Study of algebraic structures built using [0, n) happens to be one of an interesting and innovative research. Here in this book authors define non associative algebraic structures using the interval [0, n). Here we define two types of groupoids using [0, n) both of them are of infinite order. It is an open conjecture to find whether these new class of groupoids satisfy any of the special identities like Moufang identity or Bol identity or Bruck identity or so on. We know on [0, n) we cannot build rings only pseudo rings, however in this book we use these …

Algebraic Structures On Finite Complex Modulo Integer Interval C([0, N)), Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors introduce the notion of finite complex modulo integer intervals. Finite complex modulo integers was introduced by the authors in 2011. Now using this finite complex modulo integer intervals several algebraic structures are built. Further the concept of finite complex modulo integers itself happens to be new and innovative for in case of finite complex modulo integers the square value of the finite complex number varies with varying n of Zn. In case of finite complex modulo integer intervals also we can have only pseudo ring as the distributive law is not true, in general in C([0, …

Soft Neutrosophic Algebraic Structures And Their Generalization - Vol. 2, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we define some new notions of soft neutrosophic algebraic structures over neutrosophic algebraic structures. We define some different soft neutrosophic algebraic structures but the main motivation is two-fold. Firstly the classes of soft neutrosophic group ring and soft neutrosophic semigroup ring defined in this book is basically the generalization of two classes of rings: neutrosophic group rings and neutrosophic semigroup rings. These soft neutrosophic group rings and soft neutrosophic semigroup rings are defined over neutrosophic group rings and neutrosophic semigroup rings respectively. This is basically the collection of parameterized subneutrosophic group ring and subneutrosophic semigroup ring of …

Soft Neutrosophic Algebraic Structures And Their Generalization - Vol. 1, Florentin Smarandache, Mumtaz Ali, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduced the notions of soft neutrosophic algebraic structures. These soft neutrosophic algebraic structures are basically defined over the neutrosophic algebraic structures which means a parameterized collection of subsets of the neutrosophic algebraic structure. For instance, the existence of a soft neutrosophic group over a neutrosophic group or a soft neutrosophic semigroup over a neutrosophic semigroup, or a soft neutrosophic field over a neutrosophic field, or a soft neutrosophic LA-semigroup over a neutrosophic LAsemigroup, or a soft neutosophic loop over a neutrosophic loop. It is interesting to note that these notions are defined over finite and …

Distance In Matrices And Their Applications To Fuzzy Models And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of distance between any two m  n matrices. If the distance is 0 or m  n there is nothing interesting. When the distance happens to be a value t; 0 < t < m  n the study is both innovating and interesting. The three cases of study which is carried out in this book are 1. If the difference between two square matrices is large, will it imply the eigen values and eigen vectors of those matrices are distinct? Several open conjectures in this direction are given. 2. The difference between parity check matrix and the generator matrix for the same C(n, k) code is studied. This will help in detecting errors in storage systems as well as in cryptography.

Solving Diophantine Equations, Florentin Smarandache, Octavian Cira

Branch Mathematics and Statistics Faculty and Staff Publications

In recent times, we witnessed an explosion of Number Theory problems that are solved using mathematical software and powerful computers. The observation that the number of transistors packed on integrated circuits doubles every two years made by Gordon E. Moore in 1965 is still accurate to this day. With ever increasing computing power more and more mathematical problems can be tacked using brute force. At the same time the advances in mathematical software made tools like Maple, Mathematica, Matlab or Mathcad widely available and easy to use for the vast majority of the mathematical research community. This tools don’t only …