Logic and Foundations Commons^™

Conditionals And Modalities In Constructive Quantum Logics, Juan P. Aguilera, Guillaume Massas

Mathematics, Physics, and Computer Science Faculty Articles and Research

We investigate logics that generalize both intuitionistic logic and quantum logic. In earlier work, we introduced Ex-logic, an extension of Holliday's fundamental logic that coincides with the intersection of orthologic and the implication-free fragment of intuitionistic logic. In this paper, we add an implication connective to Ex-logic and axiomatize iEx-logic, the intersection of full intuitionistic logic and orthomodular logic with the implication connective interpreted as the Sasaki hook. As a consequence, we obtain a characterization of the lattice of logics extending iEx-logic as the product of the lattice of intermediate logics and the lattice of orthomodular logics. We also explore …

Identifiability, Sequentiality And Infinity, Jose L. Menaldi

Mathematics Faculty Research Publications

Abstract: A definition of identifiable-sets is used with sequential analysis to establish a realm of mathematics. Within this imaginary world, a specific consonant between infinite sets and sequentiality is reached.  This consonant allows some mathematical constructions to model pieces of the reality, based on dual philosophy and physics itself.  There is an effort made to render this understandable for the scientific community.

All Games Have Equilibria, M. Ali Khan, Arthur Paul Pedersen, Maxwell B. Stinchcombe

Publications and Research

Research on Nash equilibrium existence for infinite games has grown into a patchwork of technical preconditions and counterexamples. This paper presents a unified program in equilibrium theory by revising the predominant model of mixed strategies based on countable additivity. A game is specified by a nonempty set of players and, for each player, a nonempty action set and a bounded von Neumann-Morgenstern utility function. Every such game is shown to admit a Nash equilibrium in finitely additive mixed strategies. In addition, the equilibrium correspondence for any such game is shown to be nonempty, compact-valued, and upper hemicontinuous, and the same …

All Games Have Equilibria, Arthur Paul Pedersen, M. Ali Khan, Maxwell B. Stinchcombe

Publications and Research

Research on Nash equilibrium existence for infinite games has grown into a patchwork of technical preconditions and counterexamples. This paper presents a unified program in equilibrium theory by revising the predominant model of mixed strategies based on countable additivity. A game is specified by a nonempty set of players and, for each player, a nonempty action set and a bounded von Neumann-Morgenstern utility function. Every such game is shown to admit a Nash equilibrium in finitely additive mixed strategies. In addition, the equilibrium correspondence for any such game is shown to be nonempty, compact-valued, and upper hemicontinuous, and the same …

Logic Enriched Over A Quantale, Alexander Kurz

Engineering Faculty Articles and Research

Many-valued logics have a long history in mathematical logic as well as in applications to the semantics of programming languages and to engineering more generally. Typically these logics are rich with features motivated by the particular applications they stem from. In his 1973 article "Metric Spaces, Generalized Logic, and Closed Categories", Lawvere argued that any quantale Ω gives rise to a generalized Ω-valued logic that has as its models the categories enriched over the quantale. This suggests developing a uniform framework for many-valued logics parameterized in a quantale. In this talk we will review some previous and ongoing work in …

Logic's Modern British Up-Enders, Defenders, And Extenders: Whately's Revitalization Of Logic, Calvin Jongsma

Faculty Work Comprehensive List

Logic developed dramatically during the last half of the nineteenth century. The baseline for these transformations in Great Britain was the revival of logic by Richard Whately around 1825. Whately successfully defended syllogistic logic as the science of valid reasoning against potent seventeenth and eighteenth-century detractors—Bacon, Locke, Reid, Campbell, Stewart, and others. In so doing, he made logic an intellectually respectable field of investigation for the next generation of logicians to explore and extend. This included John Stuart Mill (inductive logic), Augustus De Morgan (logic of relations), and George Boole (algebraic logic; propositional logic).

Dedekind-Macneille And Related Completions: Subfitness, Regularity, And Booleanness, G. Bezhanishvili, F. Dashiell Jr., M. A. Moshier, Joanne Walters-Wayland

Mathematics, Physics, and Computer Science Faculty Articles and Research

Completions play an important rôle for studying structure by supplying elements that in some sense “ought to be.” Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom connected to these is regularity. We explore similar characterizations of when closely related completions are subfit, regular, or Boolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical completions, which (unlike the Dedekind-MacNeille completion) satisfy stronger forms of distributivity. The first two are widely used in pointfree topology, while the latter is of …

Local-Neutrosophic Logic And Local-Neutrosophic Sets: Incorporating Locality With Applications, Florentin Smarandache, Takaaki Fujita

Branch Mathematics and Statistics Faculty and Staff Publications

The study of uncertainty has been a significant area of research, with concepts such as fuzzy sets [87], fuzzy graphs [51], and neutrosophic sets [58] receiving extensive attention. In Neutrosophic Logic, indeterminacy often arises from real-world complexities. This paper explores the concept of locality as a key factor in determining indeterminacy, building upon the framework introduced by F. Smarandache in [73]. Locality refers to processes constrained within a specific region, where an object or system is directly influenced by its immediate surroundings. In contrast, nonlocality involves effects that transcend spatial or temporal boundaries, where changes in one location have direct …

Significado Neutrosófico: Partes Comunes De Cosas Poco Comunes Y Partes Poco Comunes De Cosas Comunes, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Esta investigación explora la Neutrosofía, un enfoque filosófico que se centra en la identificación de elementos comunes entre conceptos opuestos y en el análisis de las diferencias entre conceptos semejantes. En este contexto, se estudian las Partes Comunes a Cosas No Comunes, que se manifiestan cuando elementos como y < antiA > comparten aspectos en su intersección, y las Partes No Comunes a Cosas Comunes, donde conceptos iguales como y difieren al exhibir elementos únicos. Este análisis permite comprender mejor la neutralidad e indeterminación representada por < neutA > y < neutB >, situados entre sus respectivos opuestos. La investigación abarca diversas áreas como la Dialéctica, el Yin …

Smooth And Proper Maps With Respect To A Fibration, Mathieu Anel, Jonathan Weinberger

Engineering Faculty Articles and Research

This paper explain how the geometric notions of local contractibility and properness are related to the Σ-types and Π-types constructors of dependent type theory. We shall see how every Grothendieck fibration comes canonically with such a pair of notions—called smooth and proper maps—and how this recovers the previous examples and many more. This paper uses category theory to reveal a common structure between geometry and logic, with the hope that the parallel will be beneficial to both fields. The style is mostly expository, and the main results are proved in external references.

Nidus Idearum. Scilogs, Xiii: Structure / Neutrostructure / Antistructure, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

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 …

Canonical Extensions Of Quantale Enriched Categories, Alexander Kurz

MPP Research Seminar

No abstract provided.

New Trends In Neutrosophic Theories And Applications, Volume Iii, Florentin Smarandache, Surapati Pramanik

Branch Mathematics and Statistics Faculty and Staff Publications

The field of neutrosophic set theory and its applications has been rapidly expanding, particularly since the introduction of the journal "Neutrosophic Sets and Systems." New theories, techniques, and algorithms are being developed at a very high rate. One of the most notable trends in neutrosophic theory is its hybridization with other set theories such as rough set theory, bipolar set theory, soft set theory, hesitant fuzzy set theory, and more. Various hybrid structures like rough neutrosophic sets, neutrosophic soft set, single valued neutrosophic hesitant fuzzy sets, among others, have been proposed in a short period. Neutrosophic sets have proven to …

Introduction To Upside-Down Logic: Its Deep Relation To Neutrosophic Logic And Applications, Takaaki Fujita, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In the study of uncertainty, concepts such as fuzzy sets [113], fuzzy graphs [79], and neutrosophic sets [88] have been extensively investigated. This paper focuses on a novel logical framework known as Upside-Down Logic, which systematically transforms truths into falsehoods and vice versa by altering contexts, meanings, or perspectives. The concept was first introduced by F. Smarandache in [99]. To contribute to the growing interest in this area, this paper presents a mathematical definition of Upside-Down Logic, supported by illustrative examples, including applications related to the Japanese language. Additionally, it introduces and explores Contextual Upside-Down Logic, an advanced extension that …

Breve Introducción A Los Conjuntos Y A La Lógica Neutrosófica Estándar Y No Estándar, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Se recuerdan las definiciones de Conjunto Neutrosófico de Valor Único (SVNS), Conjunto Neutrosófico de Valor Intervalo (IVNS), Conjunto Neutrosófico de Valor Subconjunto (SVNS) y, respectivamente, Conjunto Neutrosófico No Estándar [Con Valor Único ( SVNS NoS ), Con Valor Intervalo ( IVNS NoS ) y Con Valor Subconjunto ( SVNS NoS )], junto con sus operadores. De manera similar, para Conjunto Neutrosófico Estándar y No Estándar.

Many-Valued Coalgebraic Logic: From Boolean Algebras To Primal Varieties, Alexander Kurz, Wolfgang Poiger

Engineering Faculty Articles and Research

We study many-valued coalgebraic logics with primal algebras of truth-degrees. We describe a way to lift algebraic semantics of classical coalgebraic logics, given by an endofunctor on the variety of Boolean algebras, to this many-valued setting, and we show that many important properties of the original logic are inherited by its lifting. Then, we deal with the problem of obtaining a concrete axiomatic presentation of the variety of algebras for this lifted logic, given that we know one for the original one. We solve this problem for a class of presentations which behaves well with respect to a lattice structure …

One Formula For Non-Prime Numbers: Motivations And Characteristics, Mahmoud Mansour, Kamal Hassan Prof.

Basic Science Engineering

Primes are essential for computer encryption and cryptography, as they are fundamental units of whole numbers and are of the highest importance due to their mathematical qualities. However, identifying a pattern of primes is not easy. Thinking in a different way may get benefits, by considering the opposite side of the problem which means focusing on non-prime numbers. Recently, researchers introduced, the pattern of non-primes in two maximal sets while in this paper, non-primes are presented in one formula. Getting one-way formula for non-primes may pave the way for further applications based on the idea of primes.

Platonism, De Re, And (Philosophy Of) Mathematical Practice, Marco Panza

MPP Published Research

The chapter advances a reformulation of the classical problem of the nature of mathematical objects (if any), here called “Plato’s problem,” in line with the program of a philosophy of mathematical practice. It then provides a sketch of a platonist solution, following the same perspective. This solution disregards as nonsensical the question of the existence of abstract, and specifically mathematical, objects, by rather focusing on the modalities of our access to them: objects (in general, both concrete and abstract) are regarded as individual contents that we have (or can have) a de re epistemic access to. The question of the …

Generations Of Reason: A Family’S Search For Meaning In Post-Newtonian England (Book Review), Calvin Jongsma

Faculty Work Comprehensive List

Reviewed Title: Generations of Reason: A Family's Search for Meaning in Post-Newtonian England by Joan L. Richards. New Haven, CT: Yale University Press, 2021. 456 pp. ISBN: 9780300255492.

Richard Whately's Revitalization Of Syllogistic Logic, Calvin Jongsma

Faculty Work Comprehensive List

This is an expanded version of the first chapter Richard Whately’s Revitalization of Syllogistic Logic in Aristotle’s Syllogism and the Creation of Modern Logic edited by Lukas M. Verburgt and Matteo Cosci (Bloomsbury, 2023). Drawing upon the author’s 1982 Ph. D. dissertation (https://digitalcollections.dordt.edu/faculty_work/230/ ) and more current scholarship, this essay traces the critical historical background to Whately’s work in more detail than could be done in the published version.

Completeness Of Nominal Props, Samuel Balco, Alexander Kurz

Engineering Faculty Articles and Research

We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This leads us to define nominal PROPs and nominal monoidal theories. We show that the categories of ordinary PROPs and nominal PROPs are equivalent. This equivalence is then extended to symmetric monoidal theories and nominal monoidal theories, which allows us to transfer completeness results between ordinary and nominal calculi for string diagrams.

Beyond Negation And Excluded Middle: An Exploration To Embrace The Otherness Beyond Classical Logic System And Into Neutrosophic Logic, Florentin Smarandache, Victor Christianto

Branch Mathematics and Statistics Faculty and Staff Publications

As part of our small contribution in dialogue toward better peace development and reconciliation studies, and following Toffler & Toffler’s War and Antiwar (1993), the present article delves into a realm of logic beyond the traditional confines of negation and the excluded middle principle, exploring the nuances of "Otherness" that transcend classical and Nagatomo logics. Departing from the foundational premises of classical Aristotelian logic systems, this exploration ventures into alternative realms of reasoning, specifically examining Neutrosophic Logic and Klein bottle logic (cf. Smarandache, 2005). The study challenges conventional boundaries and explores the implications of embracing paradoxes and self-reference in logic …

Unknowable Truths: The Incompleteness Theorems And The Rise Of Modernism, Caroline Tvardy

Honors Scholars Collaborative Projects

This thesis evaluates the function of the current history of mathematics methodologies and explores ways in which historiographical methodologies could be successfully implemented in the field. Traditional approaches to the history of mathematics often lack either an accurate portrayal of the social and cultural influences of the time, or they lack an effective usage of mathematics discussed. This paper applies a holistic methodology in a case study of Kurt Gödel’s influential work in logic during the Interwar period and the parallel rise of intellectual modernism. In doing so, the proofs for Gödel’s Completeness and Incompleteness theorems will be discussed as …

Gödel's Incompleteness Theorems, Derick Swarey

Senior Honors Theses

The Incompleteness Theorems of Kurt Godel are very famous both within and outside of mathematics. They focus on independence and consistency within mathematics and hence a more thorough understanding of these is beneficial to their study. The proofs of the theorems involve many ideas which may be unfamiliar to many, including those of formal systems, Godel numbering, and recursive functions and relations. The arguments themselves mirror the Liar’s Paradox in that Godel constructs a statement asserting its own unprovability and then shows that such a statement and its negation must both be independent of the system, otherwise the system is …

Nidus Idearum. Scilogs, X: Via Neutrosophica, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this tenth book of scilogs – called via neutrosophica (the neutrosophic way) –, one may find new and old questions and solutions, referring mostly to topics on NEUTROSOPHY, but also MULTISPACE, with miscellaneous addition of topics on Physics, Mathematics, or Sociology – email messages to research colleagues, or replies, notes about authors, articles, or books, spontaneous ideas, and so on.

Exchanging ideas with A. Elhassouny, Junhui Kim, Jeong Gon Lee, Kul Hur, Hojjatollah Farahani, W. B. Vasantha Kandasamy, Said Broumi, Mumtaz Ali, Mohamed Abdel-Basset, Ozen Ozer, Madad Khan, Gheorghe Săvoiu, John Mordeson, Adesina Agboola, Waldyr Rodrigues, Ajay Sharma, Stephen …

Nidus Idearum. Scilogs, Viii: Painting By Numbers, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this eighth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes handwritten on the planes to, and from international conferences, about all kind of topics, centered mostly on Paradoxism and Neutrosophy.

Exchanging ideas with: Robert Neil Boyd, Joseph Brenner, Ahmed Cevik, Victor Christianto, Adrian Curaj, Jean Dezert, Andrei-Lucian Drăgoi, Ervin Goldfain, Young Bae Jun, Yale Landsberg, Radu Munteanu, Paul Piștea, Viorel Roman, Ridvan Sahin, Said Broumi, Selcuk Topal, Eric W. Weisstein, Xiaohing Zhang.

Nidus Idearum. Scilogs, Ix: Neutrosophia Perennis, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this ninth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, – in email messages to research colleagues, or replies, and personal notes, some handwritten on the planes to, and from international conferences, about topics on Neutrosophy and its applications, such as: Neutrosophic Bipolar Set, Linguistic Neutrosophic Set, Neutrosophic Resonance Frequency, n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra, Plithogenic Crisp Graph, Plithogenic Fuzzy Graph, Plithogenic Intuitionistic Fuzzy Graph, Plithogenic Neutrosophic Graph, Plithogenic Real Number Graph, Plithogenic Complex Number Graph, Plithogenic Neutrosophic Number Graph, and many more.

Exchanging ideas with: Tareq Al-Shami, …

Introduction To Discrete Mathematics: An Oer For Ma-471, Mathieu Sassolas

Open Educational Resources

The first objective of this book is to define and discuss the meaning of truth in mathematics. We explore logics, both propositional and first-order , and the construction of proofs, both formally and human-targeted. Using the proof tools, this book then explores some very fundamental definitions of mathematics through set theory. This theory is then put in practice in several applications. The particular (but quite widespread) case of equivalence and order relations is studied with detail. Then we introduces sequences and proofs by induction, followed by number theory. Finally, a small introduction to combinatorics is …

Contributions To The Teaching And Learning Of Fluid Mechanics, Ashwin Vaidya

Department of Mathematics Faculty Scholarship and Creative Works

This issue showcases a compilation of papers on fluid mechanics (FM) education, covering different sub topics of the subject. The success of the first volume [1] prompted us to consider another follow-up special issue on the topic, which has also been very successful in garnering an impressive variety of submissions.

As a classical branch of science, the beauty and complexity of fluid dynamics cannot be overemphasized. This is an extremely well-studied subject which has now become a significant component of several major scientific disciplines ranging from aerospace engineering, astrophysics, atmospheric science (including climate modeling), biological and biomedical science …

The Agnostic Structure Of Data Science Methods, Domenico Napoletani, Marco Panza, Daniele Struppa

MPP Published Research

In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by `forcing’, i.e. on the basis of their ability to reorganize the data for further analysis and the intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within …