|
Axioms
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'. The precise definition varies across fields of study. In classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. In modern logic, an axiom is a premise or starting point for reasoning. In mathematics, an ''axiom'' may be a "logical axiom" or a " non-logical axiom". Logical axioms are taken to be true within the system of logic they define and are often shown in symbolic form (e.g., (''A'' and ''B'') implies ''A''), while non-logical axioms are substantive assertions about the elements of the domain of a specific mathematical theory, for example ''a'' + 0 = ''a'' in integer arithmetic. Non- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Self-evidence
In epistemology (theory of knowledge), a self-evident proposition is a proposition that is known to be true by understanding its meaning without proof, and/or by ordinary human reason. Some epistemologists deny that any proposition can be self-evident. For most others, one's belief that oneself is conscious and possesses free will are offered as examples of self-evidence. However, one's belief that someone else is conscious or has free will are not epistemically self-evident. The following proposition is often said to be self-evident: "A finite whole is greater than, or equal to, any of its parts". A logical argument for a self-evident conclusion would demonstrate only an ignorance of the purpose of persuasively arguing for the conclusion based on one or more premises that differ from it (see ' and begging the question). Analytic propositions It is sometimes said that a self-evident proposition is one whose denial is self-contradictory. It is also sometimes said that an anal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician who works in the field of geometry is called a ''List of geometers, geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point (geometry), point, line (geometry), line, plane (geometry), plane, distance, angle, surface (mathematics), surface, and curve, as fundamental concepts. Originally developed to model the physical world, geometry has applications in almost all sciences, and also in art, architecture, and other activities that are related to graphics. Geometry also has applications in areas of mathematics that are apparently unrelated. For example, methods of algebraic geometry are fundamental in Wiles's proof of Fermat's Last Theorem, Wiles's proof of Fermat's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid
Euclid (; ; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of geometry that largely dominated the field until the early 19th century. His system, now referred to as Euclidean geometry, involved innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus. With Archimedes and Apollonius of Perga, Euclid is generally considered among the greatest mathematicians of antiquity, and one of the most influential in the history of mathematics. Very little is known of Euclid's life, and most information comes from the scholars Proclus and Pappus of Alexandria many centuries later. Medieval Islamic mathematicians invented a fanciful biography, and medieval Byzantine and early Renaissance scholars mistook him for the earlier philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry, ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. One of those is the parallel postulate which relates to parallel lines on a Euclidean plane. Although many of Euclid's results had been stated earlier,. Euclid was the first to organize these propositions into a logic, logical system in which each result is ''mathematical proof, proved'' from axioms and previously proved theorems. The ''Elements'' begins with plane geometry, still taught in secondary school (high school) as the first axiomatic system and the first examples of mathematical proofs. It goes on to the solid geometry of three dimensions. Much of the ''Elements'' states results of what are now called algebra and number theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proclus
Proclus Lycius (; 8 February 412 – 17 April 485), called Proclus the Successor (, ''Próklos ho Diádokhos''), was a Greek Neoplatonist philosopher, one of the last major classical philosophers of late antiquity. He set forth one of the most elaborate and fully developed systems of Neoplatonism and, through later interpreters and translators, exerted an influence on Byzantine philosophy, early Islamic philosophy, scholastic philosophy, and German idealism, especially G. W. F. Hegel, who called Proclus's ''Platonic Theology'' "the true turning point or transition from ancient to modern times, from ancient philosophy to Christianity." Biography The primary source for the life of Proclus is the eulogy ''Proclus'', ''or On Happiness'' that was written for him upon his death by his successor, Marinus, Marinus' biography set out to prove that Proclus reached the peak of virtue and attained eudaimonia. There are also a few details about the time in which he lived in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geminus
Geminus of Rhodes (), was a Greek astronomer and mathematician, who flourished in the 1st century BC. An astronomy work of his, the ''Introduction to the Phenomena'', still survives; it was intended as an introductory astronomy book for students. He also wrote a work on mathematics, of which only fragments quoted by later authors survive. Life Nothing is known about the life of Geminus. It is not even certain that he was born in Rhodes, but references to mountains on Rhodes in his astronomical works suggests that he worked there. His dates are not known with any certainty either. A passage in his works referring to the ''Annus Vagus'' (Wandering Year) of the Egyptian calendar of 120 years before his own time, has been used to imply a date of c. 70 BC for the time of writing, which would be consistent with the idea that he may have been a pupil of Posidonius, but a date as late as 50 AD has also been suggested. The crater Geminus on the Moon is named after him. Astronomy The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boethius
Anicius Manlius Severinus Boethius, commonly known simply as Boethius (; Latin: ''Boetius''; 480–524 AD), was a Roman Roman Senate, senator, Roman consul, consul, ''magister officiorum'', polymath, historian, and philosopher of the Early Middle Ages. He was a central figure in the translation of the Greek classics into Latin, a precursor to the Scholasticism, Scholastic movement, and, along with Cassiodorus, one of the two leading Christian scholars of the 6th century. The local cult of Boethius in the Diocese of Pavia was sanctioned by the Sacred Congregation of Rites in 1883, confirming the diocese's custom of honouring him on the 23 October. Boethius was born in Rome a few years after the forced abdication of the last Western Roman Empire, Western Roman emperor, Romulus Augustulus. A member of the Anicii family, he was orphaned following the family's sudden decline and was raised by Quintus Aurelius Memmius Symmachus, a later Roman consul, consul. After mastering both Latin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Statement (logic)
In logic and semantics, the term statement is variously understood to mean either: #a meaningful sentence (linguistics)#By_function_or_speech_act, declarative sentence that is Truth, true or false (logic), false, or #a proposition. Which is the ''Denotation, assertion'' that is made by (i.e., the Meaning (linguistics), meaning of) a true or false declarative sentence. "A statement is defined as that which is ''expressible'' by a ''sentence'', and is either true or false... A statement is a more abstract entity than even a sentence type. It is not identical with the sentence used to express it... [That is,] different sentences can be used to express the same statement." In the latter case, a (declarative) sentence is just one way of expressing an underlying statement. A statement is what a sentence means, it is the notion or idea that a sentence expresses, i.e., what it represents. For example, it could be said that "2 + 2 = 4" and "two plus two equals four" are two different sente ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosopher
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational and critical inquiry that reflects on its methods and assumptions. Historically, many of the individual sciences, such as physics and psychology, formed part of philosophy. However, they are considered separate academic disciplines in the modern sense of the term. Influential traditions in the history of philosophy include Western philosophy, Western, Islamic philosophy, Arabic–Persian, Indian philosophy, Indian, and Chinese philosophy. Western philosophy originated in Ancient Greece and covers a wide area of philosophical subfields. A central topic in Arabic–Persian philosophy is the relation between reason and revelation. Indian philosophy combines the Spirituality, spiritual problem of how to reach Enlightenment in Buddhism, enlighten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
