Golden Recursion Inc. logoGolden Recursion Inc. logo
Advanced Search
Axiom

Axiom

Starting point of reasoning

Definition

An axiom is the starting position of a theory, accepted within the framework of this theory as true without requiring its proof and used as the basis for proving its other provisions according to the rules of logical inference adopted in it. Logical inference allows you to transfer the truth of the axioms to the consequences derived from them.

Examples of axioms

- An axiom can be interpreted as some expression of the symbolic language of calculus, if further reasoning is understood as the conclusions using it within the framework of this calculus. In this case, the reason for accepting the axioms is the very definition of the calculus in question. Here doubts about the acceptance of the axioms are meaningless.

- An axiom can be interpreted as some kind of empirical hypothesis, if further reasoning is understood as a branch of physics systematically developed on its basis. In this case, the reason for accepting the axiom is the belief in the regularity of nature, expressed by this hypothesis. Here, doubts about the acceptance of the axiom are not only meaningful, but also desirable.

- An axiom can be interpreted as an agreement to understand the terms involved in the formulation of a certain judgment, in any way, but still in such a way that, in understanding, the formulation under consideration expresses a true judgment. This is the case when further reasoning is understood as the conclusion of obviously true consequences from an ambiguously understood initial judgment. Here, doubts about the acceptance of the axiom are meaningless. When this kind of axiom is used within a scientific theory, it is often referred to as a meaning postulate.

- An axiom can be interpreted as a statement assessed as necessarily true (apodictic), if further reasoning is understood as any systematically developed doctrine that claims epistemological perfection (Euclid's geometry, Descartes' metaphysics, Spinoza's ethics, Fichte's science, Hilbert's metamathematics) . In this case, the reason for accepting the axiom is evidence of a special cognitive ability (intuition) for direct observation of certain (often called self-evident) truths. It is absurd to doubt the axioms within the framework of this claim, but the question of the justification of this claim itself is one of the deepest and most open problems in philosophy.

Axiomatic Method

It is an approach to knowledge acquisition in which axioms are first developed and then new theories are formulated with their help.

Basic axioms of Euclidean geometry

There is only one straight line through any two points.

- Each point on a line divides this line into two parts so that points from different parts lie on opposite sides of the given point. And points from one part lie on one side of the given point.

- On any ray from its beginning it is possible to postpone only one segment equal to the given one.

- Segments obtained by adding or subtracting respectively equal segments are equal.

- Each straight line on a plane divides this plane into two half-planes. Moreover, if two points belong to different parts, then the segment that connects these two points intersects with a straight line. If two points belong to the same part, then the line segment connecting these points does not intersect the line.

- From any ray on a plane in a given direction, only one angle can be set aside, which is equal to the given angle. All angles are equal.

- Angles are equal if they are obtained by adding or subtracting correspondingly equal angles.

Euclid's axiom of parallel lines

Given a line and any point not lying on this line, then only one single line can be drawn through it, which will be parallel to this first given line.

This axiom has two consequences:

a line that intersects one parallel line necessarily intersects another;

If two lines are parallel to a third, then they are also parallel to each other.

Timeline

Further Resources

Title
Author
Link
Type
Date

News

Search on Google
Search on Bing
Title
Author
Date
Publisher
Description
Black Book Research
June 22, 2021
www.prnewswire.com:443
/PRNewswire/ -- Black Book Research's annual poll of 917 CFOs, financial analysis and contract management software users evaluating over three dozen healthcare...
Darrell Etherington
June 2, 2021
TechCrunch
SpaceX is going to be providing more rides to private astronauts to the International Space Station, on top of the previously announced mission set to take place as early as next January. All four of these flights will be for Axiom, a private commercial spaceflight and space station company, and they're set to take place [...]
TOTO
May 18, 2021
www.prnewswire.com:443
/PRNewswire/ -- TOTO, the world's largest plumbing manufacturer with more than $5.47 billion in annual sales, announced its new TOUCHLESS smart-sensor faucets...

References

Golden logo
By using this site, you agree to our Terms & Conditions.