|
Foundations Of Mathematics
Foundations of mathematics is the study of the philosophy, philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts (set, function, geometrical figure, number, etc.) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their model theory, models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also called metamathematics, metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a cent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some sources claim the term was coined by Pythagoras ( BCE), although this theory is disputed by some. Philosophical methods include questioning, critical discussion, rational argument, and systematic presentation. in . Historically, ''philosophy'' encompassed all bodies of knowledge and a practitioner was known as a ''philosopher''."The English word "philosophy" is first attested to , meaning "knowledge, body of knowledge." "natural philosophy," which began as a discipline in ancient India and Ancient Greece, encompasses astronomy, medicine, and physics. For example, Newton's 1687 ''Mathematical Principles of Natural Philosophy'' later became classified as a book of physics. In the 19th century, the growth of modern research universiti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plato
Plato ( ; grc-gre, Πλάτων ; 428/427 or 424/423 – 348/347 BC) was a Greek philosopher born in Athens during the Classical period in Ancient Greece. He founded the Platonist school of thought and the Academy, the first institution of higher learning on the European continent. Along with his teacher, Socrates, and his student, Aristotle, Plato is a central figure in the history of Ancient Greek philosophy and the Western and Middle Eastern philosophies descended from it. He has also shaped religion and spirituality. The so-called neoplatonism of his interpreter Plotinus greatly influenced both Christianity (through Church Fathers such as Augustine) and Islamic philosophy (through e.g. Al-Farabi). In modern times, Friedrich Nietzsche diagnosed Western culture as growing in the shadow of Plato (famously calling Christianity "Platonism for the masses"), while Alfred North Whitehead famously said: "the safest general characterization of the European philosophical tra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics (Aristotle)
''Metaphysics'' (Greek: τὰ μετὰ τὰ φυσικά, "things after the ones about the natural world"; Latin: ''Metaphysica'') is one of the principal works of Aristotle, in which he develops the doctrine that is sometimes referred to as ''Wisdom'', sometimes as ''First Philosophy'', and sometimes as ''Theology,'' in English. It is one of the first major works of the branch of western philosophy known as metaphysics. It is a compilation of various texts treating abstract subjects, notably Being, different kinds of causation, form and matter, the existence of mathematical objects and the cosmos. Overview The ''Metaphysics'' is considered to be one of the greatest philosophical works. Its influence on the Greeks, the Muslim philosophers, Maimonides thence the scholastic philosophers and even writers such as Dante was immense. Aristotle gives an epistemology of causation: his theory of four causes to supplement the material and formal causes of earlier theories. Also hi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
The Unreasonable Effectiveness Of Mathematics In The Natural Sciences
"The Unreasonable Effectiveness of Mathematics in the Natural Sciences" is a 1960 article by the physicist Eugene Wigner. In the paper, Wigner observes that a physical theory's mathematical structure often points the way to further advances in that theory and even to empirical predictions. Original paper and Wigner's observations Wigner begins his paper with the belief, common among those familiar with mathematics, that mathematical concepts have applicability far beyond the context in which they were originally developed. Based on his experience, he writes, "it is important to point out that the mathematical formulation of the physicist's often crude experience leads in an uncanny number of cases to an amazingly accurate description of a large class of phenomena". He then invokes the fundamental law of gravitation as an example. Originally used to model freely falling bodies on the surface of the earth, this law was extended on the basis of what Wigner terms "very scanty observa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Platonism (mathematics)
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts. The philosophy of mathematics has two major themes: mathematical realism and mathematical anti-realism. History The origin of mathematics is subject to arguments and disagreements. Whether the birth of mathematics was a random happening or induced by necessity during the development of other subjects, like physics, is still a matter of prolific debates. Many thinkers have contributed their ideas concerning the nature of mathematics. Today, some philosophers of mathematics aim to give accounts of this form of inquiry and its products as they stand, while others emphasize a role for themselves that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Meno
''Meno'' (; grc-gre, Μένων, ''Ménōn'') is a Socratic dialogue by Plato. Meno begins the dialogue by asking Socrates whether virtue is taught, acquired by practice, or comes by nature. In order to determine whether virtue is teachable or not, Socrates tells Meno that they first need to determine what virtue is. When the characters speak of virtue, or rather ''arete'', they refer to virtue in general, rather than particular virtues, such as justice or temperance. The first part of the work showcases Socratic dialectical style; Meno, unable to adequately define virtue, is reduced to confusion or aporia. Socrates suggests that they seek an adequate definition for virtue together. In response, Meno suggests that it is impossible to seek what one does not know, because one will be unable to determine whether one has found it. Socrates challenges Meno's argument, often called "Meno's Paradox" or the "Learner's Paradox", by introducing the theory of knowledge as recollectio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syllogisms
A syllogism ( grc-gre, συλλογισμός, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BCE book '' Prior Analytics''), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise) and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, ''categorical syllogism'' and ''syllogism'' were usually used interchangeably. This a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid's Elements
The ''Elements'' ( grc, Στοιχεῖα ''Stoikheîa'') is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt 300 BC. It is a collection of definitions, postulates, propositions (theorems and constructions), and mathematical proofs of the propositions. The books cover plane and solid Euclidean geometry, elementary number theory, and incommensurable lines. ''Elements'' is the oldest extant large-scale deductive treatment of mathematics. It has proven instrumental in the development of logic and modern science, and its logical rigor was not surpassed until the 19th century. Euclid's ''Elements'' has been referred to as the most successful and influential textbook ever written. It was one of the very earliest mathematical works to be printed after the invention of the printing press and has been estimated to be second only to the Bible in the number of editions published since the first printing i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid
Euclid (; grc-gre, Wikt:Εὐκλείδης, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the ''Euclid's Elements, 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 new innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus (mathematician), 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 philosophers Proclus and Pappus of Alexandria many centuries later. Until the early Renaissance he was often mistaken f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiomatic Method
In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A theory is a consistent, relatively-self-contained body of knowledge which usually contains an axiomatic system and all its derived theorems. An axiomatic system that is completely described is a special kind of formal system. A formal theory is an axiomatic system (usually formulated within model theory) that describes a set of sentences that is closed under logical implication. A formal proof is a complete rendition of a mathematical proof within a formal system. Properties An axiomatic system is said to be ''consistent'' if it lacks contradiction. That is, it is impossible to derive both a statement and its negation from the system's axioms. Consistency is a key requirement for most axiomatic systems, as the presence of contradiction would allow any statement to be proven (principle of explosion). In an axiomatic system, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum and the wider Aristotelian tradition. His writings cover many subjects including physics, biology, zoology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West and it continues to be a subject of contemporary philosophical discussion. Little is known about his life. Aristotle was born in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Posterior Analytics
The ''Posterior Analytics'' ( grc-gre, Ἀναλυτικὰ Ὕστερα; la, Analytica Posteriora) is a text from Aristotle's ''Organon'' that deals with demonstration, definition, and scientific knowledge. The demonstration is distinguished as ''a syllogism productive of scientific knowledge'', while the definition marked as ''the statement of a thing's nature, ... a statement of the meaning of the name, or of an equivalent nominal formula''. Content In the ''Prior Analytics'', syllogistic logic is considered in its formal aspect; in the ''Posterior'' it is considered in respect of its matter. The "form" of a syllogism lies in the necessary connection between the premises and the conclusion. Even where there is no fault in the form, there may be in the matter, i.e. the propositions of which it is composed, which may be true or false, probable or improbable. When the premises are certain, true, and primary, and the conclusion formally follows from them, this is demonstratio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_drawing_29.gif "Click for more on -> Meno")
