Quasi-empirical
Quasi-empiricism in mathematics is the attempt in the philosophy of mathematics to direct philosophers' attention to mathematical practice, in particular, relations with physics, social sciences, and computational mathematics, rather than solely to issues in the foundations of mathematics. Of concern to this discussion are several topics: the relationship of empiricism (see Penelope Maddy) with mathematics, issues related to realism, the importance of culture, necessity of application, etc. Primary arguments A primary argument with respect to quasi-empiricism is that whilst mathematics and physics are frequently considered to be closely linked fields of study, this may reflect human cognitive bias. It is claimed that, despite rigorous application of appropriate empirical methods or mathematical practice in either field, this would nonetheless be insufficient to disprove alternate approaches. Eugene Wigner (1960) noted that this culture need not be restricted to mathematics, ph ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hilary Putnam
Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis (mathematician), Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem. Putnam applied equal scrutiny to his own philosophical positions as to those of others, subjecting each position to rigorous analysis until he exposed its flaws. As a result, he acquired a reputation for frequently changing his positions. In philosophy of mind, Putnam argued against the type physicalism, type-identity of mental and physical states based on his hypothesis of th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosophy Of Mathematics
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship to other areas of philosophy, particularly epistemology and metaphysics. Central questions posed include whether or not mathematical objects are purely abstract entities or are in some way concrete, and in what the relationship such objects have with physical reality consists. Major themes that are dealt with in philosophy of mathematics include: *''Reality'': The question is whether mathematics is a pure product of human mind or whether it has some reality by itself. *''Logic and rigor'' *''Relationship with physical reality'' *''Relationship with science'' *''Relationship with applications'' *''Mathematical truth'' *''Nature as human activity'' (science, the arts, art, game, or all together) Major themes Reality Logic and rigor Mathematical reasoning requires Mathematical rigor, rigor. This means that the definitions must be absolutely unambiguous and th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quasi-empiricism
Quasi-empirical methods are scientific methods used to gain knowledge in situations where empirical evidence cannot be gathered through experimentation, or experience cannot falsify the ideas involved. Quasi-empirical methods aim to be as closely analogous to empirical methods as possible. Empirical research relies on, and its empirical methods involve experimentation and disclosure of apparatus for reproducibility, by which scientific findings are validated by other scientists. Empirical methods are studied extensively in the philosophy of science, but they cannot be used directly in fields whose hypotheses cannot be falsified by real experiment (for example, mathematics, philosophy, theology, and ideology). Because of such limits, the scientific method must rely not only on empirical methods but sometimes also on quasi-empirical ones. The prefix '' quasi-'' came to denote methods that are "almost" or "socially approximate" an ideal of truly empirical methods. Quasi-empirical m ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Proofs And Refutations
''Proofs and Refutations: The Logic of Mathematical Discovery'' is a 1976 book by philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students who debate the proof of the Euler characteristic defined for the polyhedron. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour. At the end of the Introduction, Lakatos explains that his purpose is to challenge formalism in mathematics, and to show that informal mathematics grows by a logic of "proofs and refutations". Background The 1976 book ''Proofs and Refutations'' is based on the first three chapters of his 1961 four-chapter doctoral thesis ''Essays in the Logic of Mathematical Discovery''. But its first chapter is Lakatos's own revision of its chapter 1 that was first published ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Imre Lakatos
Imre Lakatos (, ; ; 9 November 1922 – 2 February 1974) was a Hungarian philosopher of mathematics and science, known for his thesis of the fallibility of mathematics and its "methodology of proofs and refutations" in its pre-axiomatic stages of development, and also for introducing the concept of the "research programme" in his methodology of scientific research programmes. Life Lakatos was born Imre (Avrum) Lipsitz to a Jewish family in Debrecen, Hungary, in 1922. He received a degree in mathematics, physics, and philosophy from the University of Debrecen in 1944. In March 1944 the Germans invaded Hungary, and Lakatos along with Éva Révész, his then-girlfriend and subsequent wife, formed soon after that event a Marxist resistance group. In May of that year, the group was joined by Éva Izsák, a 19-year-old Jewish antifascist activist. Lakatos, considering that there was a risk that she would be captured and forced to betray them, decided that her duty to the group was ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Paul Benacerraf
Paul Joseph Salomon Benacerraf (; 26 March 1930 – 13 January 2025) was a French-born American philosopher working in the field of the philosophy of mathematics who taught at Princeton University his entire career, from 1960 until his retirement in 2007. Benacerraf was appointed Stuart Professor of Philosophy in 1974, and retired as the James S. McDonnell Distinguished University Professor of Philosophy. Life and career Benacerraf was born in Paris on 26 March 1930, to a Moroccan-Venezuelan Sephardic Jewish father, Abraham Benacerraf, and Algerian Jewish mother, Henrietta Lasry. In 1939 the family moved to Caracas and then to New York City. When the family returned to Caracas, Benacerraf remained in the United States, boarding at the Peddie School in Hightstown, New Jersey. He attended Princeton University for both his undergraduate and graduate studies. He was elected a fellow of the American Academy of Arts and Sciences in 1998. Benacerraf died on 13 January 2025, at the a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Foundation Ontology
In information science, an upper ontology (also known as a top-level ontology, upper model, or foundation ontology) is an ontology (in the sense used in information science) that consists of very general terms (such as "object", "property", "relation") that are common across all domains. An important function of an upper ontology is to support broad semantic interoperability among a large number of domain-specific ontologies by providing a common starting point for the formulation of definitions. Terms in the domain ontology are ranked under the terms in the upper ontology, e.g., the upper ontology classes are superclasses or supersets of all the classes in the domain ontologies. A number of upper ontologies have been proposed, each with its own proponents. Library classification systems predate upper ontology systems. Though library classifications organize and categorize knowledge using general concepts that are the same across all knowledge domains, neither system is a repl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, and the arts. As the founder of the Peripatetic school of philosophy in the Lyceum (classical), Lyceum in Athens, he began the wider Aristotelianism, Aristotelian tradition that followed, which set the groundwork for the development of modern science. Little is known about Aristotle's life. He was born in the city of Stagira (ancient city), Stagira in northern Greece during the Classical Greece, Classical period. His father, Nicomachus (father of Aristotle), Nicomachus, died when Aristotle was a child, and he was brought up by a guardian. At around eighteen years old, he joined Plato's Platonic Academy, Academy in Athens and remained there until the age of thirty seven (). Shortly after Plato died, Aristotle left Athens and, at the request ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Plato's Ontology
The Theory of Forms or Theory of Ideas, also known as Platonic idealism or Platonic realism, is a philosophical theory credited to the Classical Greek philosopher Plato. A major concept in metaphysics, the theory suggests that the physical world is not as real or true as Forms. According to this theory, Forms—conventionally capitalized and also commonly translated as Ideas—are the timeless, absolute, non-physical, and unchangeable essences of all things, which objects and matter in the physical world merely participate in, imitate, or resemble. In other words, Forms are various abstract ideals that exist even outside of human minds and that constitute the basis of reality. Thus, Plato's Theory of Forms is a type of philosophical realism, asserting that certain ideas are literally real, and a type of idealism, asserting that reality is fundamentally composed of ideas, or abstract objects. Plato describes these entities only through the characters (primarily Socrates) in his ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Arabia
The Arabian Peninsula (, , or , , ) or Arabia, is a peninsula in West Asia, situated north-east of Africa on the Arabian plate. At , comparable in size to India, the Arabian Peninsula is the largest peninsula in the world. Geographically, the Arabian Peninsula comprises Bahrain, Kuwait, Oman, Qatar, Saudi Arabia, the United Arab Emirates (UAE) and Yemen, as well as southern Iraq and Jordan. The largest of these is Saudi Arabia. In the Roman era, the Sinai Peninsula was also considered a part of Arabia. The Arabian Peninsula formed as a result of the rifting of the Red Sea between 56 and 23 million years ago, and is bordered by the Red Sea to the west and south-west, the Persian Gulf and the Gulf of Oman to the north-east, the Levant and Mesopotamia to the north and the Arabian Sea and the Indian Ocean to the south-east. The peninsula plays a critical geopolitical role in the Arab world and globally due to its vast reserves of petroleum, oil and natural gas. Before the mod ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
India
India, officially the Republic of India, is a country in South Asia. It is the List of countries and dependencies by area, seventh-largest country by area; the List of countries by population (United Nations), most populous country since 2023; and, since its independence in 1947, the world's most populous democracy. Bounded by the Indian Ocean on the south, the Arabian Sea on the southwest, and the Bay of Bengal on the southeast, it shares land borders with Pakistan to the west; China, Nepal, and Bhutan to the north; and Bangladesh and Myanmar to the east. In the Indian Ocean, India is near Sri Lanka and the Maldives; its Andaman and Nicobar Islands share a maritime border with Thailand, Myanmar, and Indonesia. Modern humans arrived on the Indian subcontinent from Africa no later than 55,000 years ago., "Y-Chromosome and Mt-DNA data support the colonization of South Asia by modern humans originating in Africa. ... Coalescence dates for most non-European populations averag ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |