|
Frege (programming Language)
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, logic, and 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 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 cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical pa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Western Philosophy
Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre-Socratic philosophy, pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" , "to love" and σοφία ''Sophia (wisdom), sophía'', "wisdom". History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology (the nature and origin of the universe), while rejecting unargued fables in place for argued theory, i.e., dogma superseded reason, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hans Sluga
Hans D. Sluga (; born 24 April 1937) is a German philosopher who spent most of his career as professor of philosophy at the University of California, Berkeley. Sluga teaches and writes on topics in the history of analytic philosophy, the history of continental philosophy, as well as on political theory, and ancient philosophy in Greece and China. He has been particularly influenced by the thought of Gottlob Frege, Ludwig Wittgenstein, Martin Heidegger, Friedrich Nietzsche, and Michel Foucault. Education and career Hans Sluga studied at the University of Bonn and the University of Munich. He subsequently obtained a BPhil at Oxford, where he studied under R. M. Hare, Isaiah Berlin, Gilbert Ryle and Michael Dummett. Since 1970, Sluga has been a professor of philosophy at the University of California, Berkeley, serving from 2009 as the William and Trudy Ausfahl Professor of Philosophy until his retirement in 2020. He previously served as a lecturer in philosophy at University Colle ... [...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] |
Ancestral Relation
In mathematical logic, the ancestral relation (often shortened to ancestral) of a binary relation ''R'' is its transitive closure, however defined in a different way, see below. Ancestral relations make their first appearance in Frege's ''Begriffsschrift''. Frege later employed them in his ''Grundgesetze'' as part of his definition of the finite cardinals. Hence the ancestral was a key part of his search for a logicist foundation of arithmetic. Definition The numbered propositions below are taken from his ''Begriffsschrift'' and recast in contemporary notation. A property ''P'' is called ''R''-hereditary if, whenever ''x'' is ''P'' and ''xRy'' holds, then ''y'' is also ''P'': :(Px \land xRy) \rightarrow Py An individual ''b'' is said to be an ''R''-ancestor of ''a'', written ''aR*b'', if ''b'' has every ''R''-hereditary property that all objects ''x'' such that ''aRx'' have: :\mathbf\ \vdash aR^*b \leftrightarrow \forall F forall x (aRx \to Fx) \land \forall x \forall y ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Language
Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought. Gottlob Frege and Bertrand Russell were pivotal figures in analytic philosophy's "linguistic turn". These writers were followed by Ludwig Wittgenstein (''Tractatus Logico-Philosophicus''), the Vienna Circle, Logical positivism, logical positivists, and Willard Van Orman Quine. History Ancient philosophy In the West, inquiry into language stretches back to the 5th century BC with philosophers such as Socrates, Plato, Aristotle, and the Stoics. Linguistic speculation predated systematic descriptions of grammar which emerged in India and in Greece. In the dialogue ''Cratylus (dialogue), Cratylus'', Plato considered the question of whether ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to 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] |
Redundancy Theory Of Truth
According to the redundancy theory of truth (also known as the disquotational theory of truth), asserting that a statement is true is completely equivalent to asserting the statement itself. For example, asserting the sentence Snow is white' is true" is equivalent to asserting the sentence "Snow is white". The philosophical redundancy theory of truth is a deflationary theory of truth. Overview Redundancy theorists infer from this premise that truth is a redundant concept—in other words, that "truth" is merely a word that it is conventional to use in certain contexts but not one that points to anything in reality. The theory is commonly attributed to Frank P. Ramsey, who argued that the use of words like ''fact'' and ''truth'' was nothing but a roundabout way of asserting a proposition, and that treating these words as separate problems in isolation from judgment was merely a "linguistic muddle", though there remains some debate as to the correct interpretation of his position (Le ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
On Sense And Reference
In the philosophy of language, the distinction between sense and reference was an idea of the German philosopher and mathematician Gottlob Frege in 1892 (in his paper "On Sense and Reference"; German: "Über Sinn und Bedeutung"), reflecting the two ways he believed a singular term may have meaning. The reference (or "referent"; ''Bedeutung'') of a ''proper name'' is the object it means or indicates (''bedeuten''), whereas its sense (''Sinn'') is what the name expresses. The reference of a ''sentence'' is its truth value, whereas its sense is the thought that it expresses."On Sense and Reference" Über Sinn und Bedeutung" '' Zeitschrift für Philosophie und philosophische Kritik'', vol. 100 (1892), pp. 25–50, esp. p. 31. Frege justified the distinction in a number of ways. #Sense is something possessed by a name, whether or not it has a reference. For example, the name "Odysseus" is intelligible, and therefore has a sense, even though there is no individual object (its refer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Realism
Direct may refer to: Mathematics * Directed set, in order theory * Direct limit of (pre), sheaves * Direct sum of modules, a construction in abstract algebra which combines several vector spaces Computing * Direct access (other), a method of accessing data in a database * Direct connect (other), various methods of telecommunications and computer networking * Direct memory access, access to memory by hardware subsystems independently of the CPU Entertainment * ''Direct'' (Tower of Power album) * ''Direct'' (Vangelis album) * ''Direct'' (EP), by The 77s Other uses * Direct (music symbol), a music symbol used in music notation that is similar to a catchword in literature * Nintendo Direct, an online presentation frequently held by Nintendo * Mars Direct, a proposal for a crewed mission to Mars * DIRECT, a proposed space shuttle-derived launch vehicle * DirectX, a proprietary dynamic media platform * Direct current, a direct flow of electricity * Dir ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indirect Realism
In the philosophy of perception and philosophy of mind, direct or naïve realism, as opposed to indirect or representational realism, are differing models that describe the nature of conscious experiences.Lehar, Steve. (2000)The Function of Conscious Experience: An Analogical Paradigm of Perception and Behavior, ''Consciousness and Cognition''.Lehar, Steve. (2000), ''The Function of Conscious Experience''. The debate arises out of the metaphysical question of whether the world we see around us is the real world itself or merely an internal perceptual copy of that world generated by our conscious experience. Indirect perceptual realism is broadly equivalent to the scientific view of perception that subjects do not experience the external world as it really is, but perceive it through the lens of a conceptual framework. Furthermore, indirect realism is a core tenet of the cognitivism paradigm in psychology and cognitive science. While there is superficial overlap, the indirect mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tom Rockmore
Tom Rockmore (born 1942) is an American philosopher. Although he denies the usual distinction between philosophy and the history of philosophy, he has strong interests throughout the history of philosophy and defends a constructivist view of epistemology. The philosophers whom he has studied extensively are Kant, Fichte, Hegel, Marx, Lukács, and Heidegger. He received his Ph.D. from Vanderbilt University in 1974 and his Habilitation à diriger des recherches from the Université de Poitiers in 1994. He is Distinguished Professor Emeritus at Duquesne University, as well as Distinguished Humanities Chair Professor at Peking University. Philosophy Rockmore is a strong critic of representationalism in epistemology. This is the view that the mind has access to external reality via copies of that reality that the mind receives from the object.Weber, Eric Thomas. ''Rawls, Dewey and Constructivism: On the Epistemology of Justice''. Continuum, 2010, p.1. It assumes a metaphysical real ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
