Logic and Foundations Commons^™

The Varieties Of Indispensability Arguments, Marco Panza, Andrea Sereni

MPP Published Research

The indispensability argument (IA) comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and …

Group Decision Making Using Comparative Linguistic Expression Based On Hesitant Intuitionistic Fuzzy Sets, Ismat Beg, Tabasam Rashid

Applications and Applied Mathematics: An International Journal (AAM)

We introduce a method for aggregation of experts’ opinions given in the form of comparative linguistic expression. An algorithmic form of technique for order preference is proposed for group decision making. A simple example is given by using this method for the selection of the best alternative as well as ranking the alternatives from the best to the worst.

On The Stability Of A Pexiderized Functional Equation In Intuitionistic Fuzzy Banach Spaces, Nabin C. Kayal, Pratap Mondal, T. K. Samanta

Applications and Applied Mathematics: An International Journal (AAM)

During the last few decades several researchers have been devoted to establishing stability of different kinds of functional equations, differential equations, functional differential equations, fractional differential equations, etc. under different sufficient conditions in different spaces like Banach spaces, Banach modules, fuzzy Banach spaces etc. In this paper, we remain confined in the discussion of stability of functional equations in intuitionistic fuzzy Banach spaces. Ulam was the first person who introduced an open question concerning the stability of a group homomorphism in an international conference. Thereafter several researchers have replied and are still replying to this open question in different contexts. …

Comparing The Strength Of Diagonally Non-Recursive Functions In The Absence Of Σ02 Induction, Francois G. Dorais, Jeffry L. Hirst, Paul Shafer

Dartmouth Scholarship

We prove that the statement "there is a k such that for every f there is a k-bounded diagonally non-recursive function relative to f" does not imply weak K\"onig's lemma over RCA0+BΣ02. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that every k-bounded diagonally non-recursive function computes a 2-bounded diagonally non-recursive function may fail in the absence of IΣ02.

The Strict Higher Grothendieck Integral, Scott W. Dyer

Department of Mathematics: Dissertations, Theses, and Student Research

This thesis generalizes A. Grothendieck’s construction, denoted by an integral, of a fibered category from a contravariant pseudofunctor, to a construction for n- and even ∞-categories. Only strict higher categories are considered, the more difficult theory of weak higher categories being neglected. Using his axioms for a fibered category, Grothendieck produces a contravariant pseudofunctor from which the original fibered category can be reconstituted by integration. In applications, the integral is often most efficient, constructing the fibered category with its structure laid bare. The situation generalizes the external and internal definitions of the semidirect product in group theory: fibration is …

How Does “Collaboration” Occur At All? Remarks On Epistemological Issues Related To Understanding / Working With ‘The Other’, Don Faust, Judith Puncochar

Conference Presentations

Collaboration, if to occur successfully at all, needs to be based on careful representation and communication of each stakeholder’s knowledge. In this paper, we investigate, from a foundational logical and epistemological point of view, how such representation and communication can be accomplished. What we tentatively conclude, based on a careful delineation of the logical technicalities necessarily involved in such representation and communication, is that a complete representation is not possible. This inference, if correct, is of course rather discouraging with regard to what we can hope to achieve in the knowledge representations that we bring to our collaborations. We suggest …

Introduction To Functions And Generality Of Logic. Reflections On Frege's And Dedekind's Logicisms, Hourya Benis Sinaceur, Marco Panza, Gabriel Sandu

MPP Published Research

This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intuitive …

Paratodo X: Una Introducción A La Lógica Formal, P.D. Magnus

Philosophy Faculty Books

A translation of the logic textbook forall x (v 1.30) into Spanish. Translation by José Ángel Gascón.

Newton On Indivisibles, Antoni Malet, Marco Panza

MPP Published Research

Though Wallis’s Arithmetica infinitorum was one of Newton’s major sources of inspiration during the first years of his mathematical education, indivisibles were not a central feature of his mathematical production.

Wallis On Indivisibles, Antoni Malet, Marco Panza

MPP Published Research

The present chapter is devoted, first, to discuss in detail the structure and results of Wallis’s major and most influential mathematical work, the Arithmetica Infinitorum (Wallis 1656). Next we will revise Wallis’s views on indivisibles as articulated in his answer to Hobbes’s criticism in the early 1670s. Finally, we will turn to his discussion of the proper way to understand the angle of contingence in the first half of the 1680s. As we shall see, there are marked differences in the status that indivisibles seem to enjoy in Wallis’s thought along his mathematical career. These differences correlate with the changing …

Transition To Higher Mathematics: Structure And Proof (Second Edition), Bob A. Dumas, John E. Mccarthy

Books and Monographs

This book is written for students who have taken calculus and want to learn what “real mathematics" is. We hope you will find the material engaging and interesting, and that you will be encouraged to learn more advanced mathematics. This is the second edition of our text. It is intended for students who have taken a calculus course, and are interested in learning what higher mathematics is all about. It can be used as a textbook for an "Introduction to Proofs" course, or for self-study. Chapter 1: Preliminaries, Chapter 2: Relations, Chapter 3: Proofs, Chapter 4: Principles of Induction, Chapter …

The Finite Embeddability Property For Some Noncommutative Knotted Varieties Of Rl And Drl, Riquelmi Salvador Cardona Fuentes

Electronic Theses and Dissertations

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical calculus FL. We denote by ������ � the varieties of knotted residuated lattices. Examples of these knotted rules include integrality and contraction. The extension of �� by the rules corresponding to these two equations is …

The Logical System Of Frege’S Grundgesetze : A Rational Reconstruction, Méven Cadet, Marco Panza

MPP Published Research

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.

Pruebas Entimemáticas Y Pruebas Canónicas En La Geometría Plana De Euclides, Marco Panza, Abel Lassalle Casanave

MPP Published Research

Dado que la aplicación del Postulado I.2 no es uniforme en Elementos, ¿de qué manera debería ser aplicado en la geometría plana de Euclides? Además de legitimar la pregunta misma desde la perspectiva de una filosofía de la práctica matemática, nos proponemos esbozar una perspectiva general de análisis conceptual de textos matemáticos que involucra una noción ampliada de la teoría matemática como sistema de autorizaciones o potestades y una noción de prueba que depende del auditorio.

Since the application of Postulate I.2 in the Elements is not uniform, one could wonder in what way should it be applied in Euclid’s …

Neutrosophic Graphs: A New Dimension To Graph Theory, Florentin Smarandache, Wb. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time have made a through study of neutrosophic graphs. This study reveals that these neutrosophic graphs give a new dimension to graph theory. The important feature of this book is it contains over 200 neutrosophic graphs to provide better understanding of this concepts. Further these graphs happen to behave in a unique way inmost cases, for even the edge colouring problem is different from the classical one. Several directions and dimensions in graph theory are obtained from this study. Finally certainly these new notions of neutrosophic graphs in general and in particular the …

Symbolic Neutrosophic Theory, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Symbolic (or Literal) Neutrosophic Theory is referring to the use of abstract symbols (i.e. the letters T, I, F, or their refined indexed letters T_j, I_k, F_l) in neutrosophics.

In the first chapter we extend the dialectical triad thesis-antithesis-synthesis (dynamics of A and antiA, to get a synthesis) to the neutrosophic tetrad thesis-antithesis-neutrothesis-neutrosynthesis (dynamics of A, antiA, and neutA, in order to get a neutrosynthesis).

In the second chapter we introduce the neutrosophic system and neutrosophic dynamic system. A neutrosophic system is a quasi- or –classical system, in the sense that the neutrosophic …

Special Type Of Topological Spaces Using [0, N), Florentin Smarandache, W.B Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of special type of topological spaces using the interval [0, n). They are very different from the usual topological spaces. Algebraic structure using the interval [0, n) have been systemically dealt by the authors. Now using those algebraic structures in this book authors introduce the notion of special type of topological spaces. Using the super subset interval semigroup special type of super interval topological spaces are built. Several interesting results in this direction are obtained. Next six types of topological spaces using subset interval pseudo ring semiring of type …

Neutrosophic Crisp Set Theory, Florentin Smarandache, A.A. Salama

Branch Mathematics and Statistics Faculty and Staff Publications

Since the world is full of indeterminacy, the Neutrosophics found their place into contemporary research. We now introduce for the first time the notions of Neutrosophic Crisp Sets and Neutrosophic Topology on Crisp Sets. We develop the 2012 notion of Neutrosophic Topological Spaces and give many practical examples. Neutrosophic Science means development and applications of Neutrosophic Logic, Set, Measure, Integral, Probability etc., and their applications in any field. It is possible to define the neutrosophic measure and consequently the neutrosophic integral and neutrosophic probability in many ways, because there are various types of indeterminacies, depending on the problem we need …

Fuzzy Abel Grassmann Groupoids, Florentin Smarandache, Madad Khan, Tariq Aziz

Branch Mathematics and Statistics Faculty and Staff Publications

Usually the models of real world problems in almost all disciplines like engineering, medical sciences, mathematics, physics, computer science, management sciences, operations research and articial intelligence are mostly full of complexities and consist of several types of uncertainties while dealing them in several occasion. To overcome these di¢ culties of uncertainties, many theories have been developed such as rough sets theory, probability theory, fuzzy sets theory, theory of vague sets, theory of soft ideals and the theory of intuitionistic fuzzy sets, theory of neutrosophic sets, Dezert-Smarandache Theory (DSmT), etc. Zadeh introduced the degree of membership/truth (t) in 1965 and dened …

Theory Of Abel Grassmann's Groupoids, Florentin Smarandache, Madad Khan

Branch Mathematics and Statistics Faculty and Staff Publications

It is common knowledge that common models with their limited boundaries of truth and falsehood are not su¢ cient to detect the reality so there is a need to discover other systems which are able to address the daily life problems. In every branch of science problems arise which abound with uncertainties and impaction. Some of these problems are related to human life, some others are subjective while others are objective and classical methods are not su¢ cient to solve such problems because they can not handle various ambiguities involved. To overcome this problem, Zadeh [67] introduced the concept of …

Probleme De Geometrie Și Trigonometrie, Compilate Și Rezolvate, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Α-Discounting Method For Multi-Criteria Decision Making (Α-D Mcdm), Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce a new procedure called αDiscounting Method for Multi-Criteria Decision Making (α-D MCDM), which is as an alternative and extension of Saaty’s Analytical Hierarchy Process (AHP). It works for any number of preferences that can be transformed into a system of homogeneous linear equations. A degree of consistency (and implicitly a degree of inconsistency) of a decision-making problem are defined. α-D MCDM is afterwards generalized to a set of preferences that can be transformed into a system of linear and/or non-linear homogeneous and/or nonhomogeneous equations and/or inequalities. Many consistent, weak inconsistent, and strong inconsistent examples are …

255 Compiled And Solved Problems In Geometry And Trigonometry, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Readup Buildup. Thync - Instant Α-Readings, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Quaestiones Neutrosophicae, Florentin Smarandache, Yale Landsberg

Branch Mathematics and Statistics Faculty and Staff Publications

The following dialogue contains cuts from different non-protocolar conversations, initially not intended for publication, held by the authors by email during the beginning of 2015 – on Neutrosophy and related topics.

Many thanks to all friends and dialogue partners who payed attention to Neutrosophy and connected areas, in emails, yahoo groups, social media, letters, private discussions.

Euclid Squares On Infinite Planes, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time the authors study the new type of Euclid squares in various planes like real plane, complex plane, dual number plane, special dual like number plane and special quasi dual number plane. There are six such planes and they behave distinctly. From the study it is revealed that each type of squares behave in a different way depending on the plane. We define several types of algebraic structures on them. Such study is new, innovative and interesting. However for some types of squares; one is not in a position to define product. Further under …

Techno-Art Of Selariu Supermathematics Functions, 2nd Volume, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

An ALBUM, according to the dictionary, is defined as "notebook for storing photos, postcards, stamps, lyrics, quotes etc.", which, in other words, means gatherings of "pieces" of the same "species". Or, in the new Techno-Art of Selariu SuperMathematics Functions ALBUM (the second book of Selariu SuperMathematics Functions), one contemplates a unique COMPOSITION, INTER-, INTRA- and TRANS-DISCIPLINARY. (Capitalizing here is not a futility, but a harmony with the TRUTH.) One caveat I am indebted to do, as a consequent "reader" – over time, I received the ALBUM, chapter by chapter, pace by pace, which gave me the time to analyze / …

N-Valued Interval Neutrosophic Sets And Their Application In Medical Diagnosis, Said Broumi, Irfan Deli, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper a new concept is called n-valued interval neutrosophic sets is given. The basic operations are introduced on n-valued interval neutrosophic sets such as; union, intersection, addition, multiplication, scalar multiplication, scalar division, truthfavorite and false-favorite. Then, some distances between n-valued interval neutrosophic sets (NVINS) are proposed. Also, we propose an efficient approach for group multi-criteria decision making based on n-valued interval neutrosophic sets. An application of n-valued interval neutrosophic sets in medical diagnosis problem is given.

(T, I, F)-Neutrosophic Structures, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce for the first time a new type of structures, called (T, I, F)-Neutrosophic Structures, presented from a neutrosophic logic perspective, and we show particular cases of such structures in geometry and in algebra. In any field of knowledge, each structure is composed from two parts: a space, and a set of axioms (or laws) acting (governing) on it. If the space, or at least one of its axioms (laws), has some indeterminacy, that structure is a (T, I, F)-Neutrosophic Structure.

Neutrosophic Axiomatic System, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, we introduce for the first time the notions of Neutrosophic Axiom, Neutrosophic Axiomatic System, Neutrosophic Deducibility and Neutrosophic Inference, Neutrosophic Proof, Neutrosophic Tautologies, Neutrosophic Quantifiers, Neutrosophic Propositional Logic, Neutrosophic Axiomatic Space, Degree of Contradiction (Dissimilarity) of Two Neutrosophic Axioms, and Neutrosophic Model. A class of neutrosophic implications is also introduced. A comparison between these innovatory neutrosophic notions and their corresponding classical notions is made. Then, three concrete examples of neutrosophic axiomatic systems, describing the same neutrosophic geometrical model, are presented at the end of the paper.