Search
Search Results
-
Frege’s Ontological Diagram Completed
In a letter of 1891, Frege drew a diagram to illustrate his logical ontology. We observe that it omits features that play an important role in his...
-
“Logical Lantern”: Analogue of the Square of Opposition for Propositions in V.I. Markin’s Universal Language for Traditional Positive Syllogistic Theories
In this paper is constructed an analogue of the square of opposition for propositions about relations between two non-empty sets. Unlike the...
-
On the Logical Geometry of Geometric Angles
In this paper we provide an analysis of the logical relations within the conceptual or lexical field of angles in 2D geometry. The basic tripartition...
-
Dialectica Logical Principles
Gödel’ s Dialectica interpretation was designed to obtain a relative consistency proof for Heyting arithmetic, to be used in conjunction with the... -
Logical Diagrams, Visualization Criteria, and Boolean Algebras
This paper considers logical diagrams as a method for visualizing information concerning logical/linguistic/conceptual systems. I introduce four... -
Uniform Logical New Proofs for the Daniell–Stone Theorem and the Riesz Representation Theorem
Integration logic is a logical (model theoretic) framework for studying measure and probability structures by logical means. The Daniell–Stone...
-
Dynamics of a Double Pendulum with Viscous Friction at the Hinges. I. Mathematical Model of Motion and Construction of the Regime Diagram
AbstractThe paper discusses the dynamic behavior of a double mathematical pendulum with identical parameters of links and end loads, which is under...
-
Calculation of Reliability Indicators in Nonmonotone Logical-Probabilistic Models of Multilevel Systems
AbstractWe consider logical-probabilistic modeling of the reliability behavior of multilevel systems described by nonmonotone functions of the...
-
Logical Methodology and the Structure of Logic Syllabi
This paper starts from a dissatisfaction with the way logic is currently taught in philosophy departments. In such a context, we would want logic to... -
Algebraic Operations on Fuzzy Sets and Relations in Automata Interpretation Implemented by Logical Hardware
Algebraic operations on fuzzy sets and relations and their implementation by hardware in automata interpretation are considered. Two ways of...
-
A diagram-free approach to the stochastic estimates in regularity structures
In this paper, we explore the version of Hairer’s regularity structures based on a greedier index set than trees, as introduced in (Otto et al. in A...
-
Logical Foundations of Group Traffic Control of Trains
We show an application of the methods of mathematical logic to the design of a control system for group movement of trains for a railway station. We...
-
Algebraic and Logical Operations on Operators One Application to Semantic Computation
Different domains use operators without giving a clear definition of the corresponding notion. In mathematics, more particularly, there is not... -
Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents...
-
Existential Presupposition and Logical Square
We will deal here only with the presupposition of existence of the assertion by adopting a pragmatic approach. Our subject will thus be to report... -
Logical Rules as Fractions and Logics as Sketches
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.
-
Morphisms Between Aristotelian Diagrams
In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in...
-
Develo** a Supervisory Control System Based on Fuzzy Logical Inference
AbstractThe paper discusses the development of a supervisory control system enabling automatic stabilization of output parameters of multi-pass...
-
From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry
In this paper I explore the connection between Schopenhauer’s Euler diagrams and the Aristotelian diagrams that are studied in contemporary logical... -
Intelligent Control Systems and Fuzzy Controllers. I. Fuzzy Models, Logical-Linguistic and Analytical Regulators
The problems of control systems intellectualization are observed. The necessity of intellectualization of a wide range of systems and control methods...