|
Die Grundlagen Der Arithmetik
''The Foundations of Arithmetic'' () is a book by Gottlob Frege, published in 1884, which investigates the Philosophy, philosophical foundations of arithmetic. Frege refutes other Idealism, idealist and Materialism, materialist theories of number and develops his own Mathematical platonism, platonist theory of numbers. The ''Grundlagen'' also helped to motivate Frege's later works in logicism. The book was also seminal in the philosophy of language. Michael Dummett traces the linguistic turn to Frege's ''Grundlagen'' and his context principle. The book was not well received and was not read widely when it was published. It did, however, draw the attentions of Bertrand Russell and Ludwig Wittgenstein, who were both heavily influenced by Frege's philosophy. An English translation was published (Oxford, 1950) by J. L. Austin, with a second edition in 1960. Linguistic turn ;Gottlob Frege, Introduction to ''The Foundations of Arithmetic'' (1884/1980) : In the enquiry that follows, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, philosophy of logic, logic, and Philosophy of mathematics, mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever. His contributions include the History of logic#Rise of modern logic, development of modern logic in the ''Begriffsschrift'' and work in the foundations of mathematics. His book the ''Foundations of Arithmetic'' is the seminal text of the logicist project, and is ci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
Ontology is the philosophical study of existence, being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To articulate the basic structure of being, ontology examines the commonalities among all things and investigates their classification into basic types, such as the Theory of categories, categories of particulars and Universal (metaphysics), universals. Particulars are unique, non-repeatable entities, such as the person Socrates, whereas universals are general, repeatable entities, like the color ''green''. Another distinction exists between Abstract and concrete, concrete objects existing in space and time, such as a tree, and abstract objects existing outside space and time, like the number 7. Systems of categories aim to provide a comprehensive inventory of reality by employing categories such as Substance t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Stuart Mill
John Stuart Mill (20 May 1806 – 7 May 1873) was an English philosopher, political economist, politician and civil servant. One of the most influential thinkers in the history of liberalism and social liberalism, he contributed widely to social theory, political theory, and political economy. Dubbed "the most influential English-speaking philosopher of the nineteenth century" by the ''Stanford Encyclopedia of Philosophy'', he conceived of liberty as justifying the freedom of the individual in opposition to unlimited state and social control. He advocated political and social reforms such as proportional representation, the emancipation of women, and the development of labour organisations and farm cooperatives. The ''Columbia Encyclopedia'' describes Mill as occasionally coming "close to socialism, a theory repugnant to his predecessors". He was a proponent of utilitarianism, an ethical theory developed by his predecessor Jeremy Bentham. He contributed to the investigation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empiricism
In philosophy, empiricism is an epistemological view which holds that true knowledge or justification comes only or primarily from sensory experience and empirical evidence. It is one of several competing views within epistemology, along with rationalism and skepticism. Empiricists argue that empiricism is a more reliable method of finding the truth than purely using logical reasoning, because humans have cognitive biases and limitations which lead to errors of judgement. Empiricism emphasizes the central role of empirical evidence in the formation of ideas, rather than innate ideas or traditions. Empiricists may argue that traditions (or customs) arise due to relations of previous sensory experiences. Historically, empiricism was associated with the " blank slate" concept (''tabula rasa''), according to which the human mind is "blank" at birth and develops its thoughts only through later experience. Empiricism in the philosophy of science emphasizes evidence, especi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel Postulate
In geometry, the parallel postulate is the fifth postulate in Euclid's ''Elements'' and a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles. This postulate does not specifically talk about parallel lines; it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23 just before the five postulates. ''Euclidean geometry'' is the study of geometry that satisfies all of Euclid's axioms, including the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive. Eventually, it was discovered that inverting the postulate gave valid, albeit different geometries. A geometry where the parallel postulate do ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truth Value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values ('' true'' or '' false''). Truth values are used in computing as well as various types of logic. Computing In some programming languages, any expression can be evaluated in a context that expects a Boolean data type. Typically (though this varies by programming language) expressions like the number zero, the empty string, empty lists, and null are treated as false, and strings with content (like "abc"), other numbers, and objects evaluate to true. Sometimes these classes of expressions are called falsy and truthy. For example, in Lisp, nil, the empty list, is treated as false, and all other values are treated as true. In C, the number 0 or 0.0 is false, and all other values are treated as true. In JavaScript, the empty string (""), null, undefined, NaN, +0, −0 and false are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
A Priori And A Posteriori
('from the earlier') and ('from the later') are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. knowledge is independent from any experience. Examples include mathematics,Some associationist philosophers have contended that mathematics comes from experience and is not a form of any ''a priori'' knowledge () tautologies and deduction from pure reason. Galen Strawson has stated that an argument is one in which "you can see that it is true just lying on your couch. You don't have to get up off your couch and go outside and examine the way things are in the physical world. You don't have to do any science." () knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge. The terms originate from the analytic methods found in '' Organon'', a collection of works by Aristotle. Prior analytics () is about deductive logic, which comes from ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analytic–synthetic Distinction
The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions (in particular, statements that are affirmative subject– predicate judgments) that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world. While the distinction was first proposed by Immanuel Kant, it was revised considerably over time, and different philosophers have used the terms in very different ways. Furthermore, some philosophers (starting with Willard Van Orman Quine) have questioned whether there is even a clear distinction to be made between propositions which are analytically true and propositions which are synthetically true. Debates regarding the nature and usefulness of the distinction continue to this day in contemporary philosophy of language. Kant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Evolution
Evolution is the change in the heritable Phenotypic trait, characteristics of biological populations over successive generations. It occurs when evolutionary processes such as natural selection and genetic drift act on genetic variation, resulting in certain characteristics becoming more or less common within a population over successive generations. The process of evolution has given rise to biodiversity at every level of biological organisation. The scientific theory of evolution by natural selection was conceived independently by two British naturalists, Charles Darwin and Alfred Russel Wallace, in the mid-19th century as an explanation for why organisms are adapted to their physical and biological environments. The theory was first set out in detail in Darwin's book ''On the Origin of Species''. Evolution by natural selection is established by observable facts about living organisms: (1) more offspring are often produced than can possibly survive; (2) phenotypic variatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Property
Property is a system of rights that gives people legal control of valuable things, and also refers to the valuable things themselves. Depending on the nature of the property, an owner of property may have the right to consume, alter, share, rent, sell, exchange, transfer, give away, or destroy it, or to exclude others from doing these things, as well as to perhaps abandon it; whereas regardless of the nature of the property, the owner thereof has the right to properly use it under the granted Property rights (economics), property rights. In economics and political economy, there are three broad forms of property: private property, public property, and collective property (or ''cooperative propert''y). Property may be jointly owned by more than one party equally or unequally, or according to simple or complex agreements; to distinguish ownership and easement from rent, there is an expectation that each party's will with regard to the property be clearly defined and unconditional ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anti-psychologism
In logic, anti-psychologism (also logical objectivism or logical realism) is the theory that logical truth does not depend upon the contents of human ideas, but exists independent of human ideas. Overview The anti-psychologistic treatment of logic originated in the works of Immanuel Kant and Bernard Bolzano. The concept of logical objectivism or anti-psychologism was further developed by Johannes Rehmke (founder of Greifswald objectivism) and Gottlob Frege (founder of logicism the most famous anti-psychologist in the philosophy of mathematics), and has been the center of an important debate in early phenomenology and analytical philosophy. Frege's work was influenced by Bolzano. Elements of anti-psychologism in the historiography of philosophy can be found in the work of the members of the 1830s speculative theist movement and the late work of Hermann Lotze. The psychologism dispute () in 19th-century German-speaking philosophy is closely related to the contemporary internalis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
