Search results for "Axiom"

The forgotten mathematical legacy of Peano

2019

International audience; The formulations that Peano gave to many mathematical notions at the end of the 19th century were so perfect and modern that they have become standard today. A formal language of logic that he created, enabled him to perceive mathematics with great precision and depth. He described mathematics axiomatically basing the reasoning exclusively on logical and set-theoretical primitive terms and properties, which was revolutionary at that time. Yet, numerous Peano’s contributions remain either unremembered or underestimated.

Frege, Peano and Russell on Descriptions: a Comparison

2000

Refutation systems for a system of nonsense-logic

2013

In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule  the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems.

Universal Bounds for SU(3) Low Energy Constants

2008

In this paper bounds for L_1, L_2 and L_3 are obtained in Chiral Perturbation Theory with three flavours. At the same time we test the compatibility of this theory with axiomatic principles. Following a recent paper we use dispersion relations to write positivity conditions that translate into bounds for the chiral low energy constants. As a first approach we consider the exact SU(3)_V limit and notice that if a common mass of the order of that of the kaon is adopted for the octet of pseudo-Goldstone bosons the bounds have very large O(p^6) corrections. Once the positivity conditions are adapted to account for different masses, we correct the previous bounds for a physical kaon mass and fin…

The discoursive research orientation and its marxist inspiration

2014

Questions about the specifics of bulding of socio-political sphere phenomenon, lied at the dawn of countless attempts of systematization of knowledge over this subject, and of constructing the axioms, responding to efforts to enucleate of algorithm, ruling the dynamics of this sphere. One of such examples is discoursive research orientation. It was an effect of series of transformations inside social sciences during XXth century. Nonetheless, its program was not completely utilized by researchers achivements. I would like to express the conviction that primary catalogue of inspirations derives from rich achivements of Marxist thought. As node points of those considerations I take four inspi…

Transitive Anosov flows and Axiom-A diffeomorphisms

2009

AbstractLet M be a smooth compact Riemannian manifold without boundary, and ϕ:M×ℝ→M a transitive Anosov flow. We prove that if the time-one map of ϕ is C1-approximated by Axiom-A diffeomorphisms with more than one attractor, then ϕ is topologically equivalent to the suspension of an Anosov diffeomorphism.

A metric characterization of Carnot groups

2013

We give a short axiomatic introduction to Carnot groups and their subRiemannian and subFinsler geometry. We explain how such spaces can be metrically described as exactly those proper geodesic spaces that admit dilations and are isometrically homogeneous.

A geometrical constructive approach to infinitesimal analysis: epistemological potential and boundaries of tractional motion

2014

Recent foundational approaches to Infinitesimal Analysis are essentially algebraic or computational, whereas the first approaches to such problems were geometrical. From this perspective, we may recall the seventeenth-century investigations of the “inverse tangent problem.” Suggested solutions to this problem involved certain machines, intended as both theoretical and actual instruments, which could construct transcendental curves through so-called tractional motion. The main idea of this work is to further develop tractional motion to investigate if and how, at a very first analysis, these ideal machines (like the ancient straightedge and compass) can constitute the basis of a purely geome…

An Algebraic Approach to Knowledge Representation

1999

This paper is an attempt to apply domain-theoretic ideas to a new area, viz. knowledge representation. We present an algebraic model of a belief system. The model consists of an information domain of special kind (belief algebra) and a binary relation on it (entailment). It is shown by examples that several natural belief algebras are, essentially, algebras of flat records. With an eye on this, we characterise those domains and belief algebras that are isomorphic to domains or algebras of records. For illustration, we suggest a system of axioms for revision in such a model and describe an explicit construction of what could be called a maxichoise revision.

Deontology of Compound Actions

2018

This paper, being a companion to the book [2] elaborates the deontology of sequential and compound actions based on relational models and formal constructs borrowed from formal linguistics. The semantic constructions presented in this paper emulate to some extent the content of  [3] but are more involved. Although the present work should be regarded as a sequel of [3] it is self-contained and may be read independently. The issue of permission and obligation of actions is presented in the form of a logical system . This system is semantically defined by providing its intended models in which the role of actions of various types (atomic, sequential and compound ones) is accentuated. Since the…