|
Semantic View Of Theories
The semantic view of theories is a position in the philosophy of science that holds that a scientific theory can be identified with a collection of models. The semantic view of theories was originally proposed by Patrick Suppes in “A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences” as a reaction against the received view of theories popular among the logical positivists. Many varieties of the semantic view propose identifying theories with a class of set-theoretic models in the Tarskian sense, while others specify models in the mathematical language stipulated by the field of which the theory is a member. Semantic vs. syntactic views of theories The semantic view is typically contrasted with the syntactic view of theories of the logical positivists and logical empiricists, especially Carl Gustav Hempel and Rudolf Carnap Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Euro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Science
Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, and the ultimate purpose and meaning of science as a human endeavour. Philosophy of science focuses on metaphysical, epistemic and semantic aspects of scientific practice, and overlaps with metaphysics, ontology, logic, and epistemology, for example, when it explores the relationship between science and the concept of truth. Philosophy of science is both a theoretical and empirical discipline, relying on philosophical theorising as well as meta-studies of scientific practice. Ethical issues such as bioethics and scientific misconduct are often considered ethics or science studies rather than the philosophy of science. Many of the central problems concerned with the philosophy of science lack contemporary consensus, including whether ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mathematical logic), mathematical structure), and their Structure (mathematical logic), models (those Structure (mathematical logic), structures in which the statements of the theory hold). The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be definable set, defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Patrick Suppes
Patrick Colonel Suppes (; March 17, 1922 – November 17, 2014) was an American philosopher who made significant contributions to philosophy of science, the theory of measurement, the foundations of quantum mechanics, decision theory, psychology and educational technology. He was the Lucie Stern Professor of Philosophy Emeritus at Stanford University and until January 2010 was the Director of the Education Program for Gifted Youth also at Stanford. Early life and career Suppes was born on March 17, 1922, in Tulsa, Oklahoma. He grew up as an only child, later with a half-brother George nearly 20 years his junior who was born in 1943 after Patrick had entered the army. His grandfather, C. E. Suppes, had moved to Oklahoma from Ohio. Suppes' father and grandfather were independent oil men. His mother died when he was a young boy. He was raised by his stepmother, who married his father when he was almost six years old. His parents did not have much formal education.Cf. Suppes autob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Received View Of Theories
The received view of theories is a position in the philosophy of science that identifies a scientific theory with a set of propositions which are considered to be linguistic objects, such as axiom 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 ...s. Frederick Suppe describes the position of the received view by saying that it identifies scientific theories with "axiomatic calculi in which theoretical terms are given a partial observation interpretation by mean of correspondence rules." The received view is generally associated with the logical empiricists. Recently, the received view of theories has been displaced by the semantic view of theories as the dominant position in theory formulation in the philosophy of science. Notes Metatheory of science Logical positivism [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Positivism
Logical positivism, also known as logical empiricism or neo-positivism, was a philosophical movement, in the empiricist tradition, that sought to formulate a scientific philosophy in which philosophical discourse would be, in the perception of its proponents, as authoritative and meaningful as empirical science. Logical positivism's central thesis was the verification principle, also known as the "verifiability criterion of meaning", according to which a statement is ''cognitively meaningful'' only if it can be verified through empirical observation or if it is a tautology (true by virtue of its own meaning or its own logical form). The verifiability criterion thus rejected statements of metaphysics, theology, ethics and aesthetics as ''cognitively meaningless'' in terms of truth value or factual content. Despite its ambition to overhaul philosophy by mimicking the structure and process of empirical science, logical positivism became erroneously stereotyped as an agenda t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alfred Tarski
Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, type theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school, Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.#FefA, Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steven French (philosopher)
Steven Richard Douglas French (born November 8, 1956) is an emeritus professor of philosophy at University of Leeds. Life and works French studied physics before coming to philosophy and received his B.Sc. in physics from the Newcastle University in 1978. He then pursued philosophy and received his Ph.D. in philosophy of science in 1985 from the University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in Post-nominal letters, post-nominals) is a collegiate university, federal Public university, public research university located in London, England, United Kingdom. The ... with the dissertation entitled ‘''Identity and Individuality in Classical and'' ''Quantum Physics''’ under the supervision of Michael Redhead. Selected publications Monographs * * * Editorials * * Articles * * References External links 1956 births Living people Philosophers of physics {{Academic-bio-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carl Gustav Hempel
Carl Gustav "Peter" Hempel (; ; January 8, 1905 – November 9, 1997) was a German writer, philosopher, logician, and epistemologist. He was a major figure in Logical positivism, logical empiricism, a 20th-century movement in the philosophy of science. Hempel articulated the deductive-nomological model of science, scientific explanation, which was considered the "standard model" of scientific explanation during the 1950s and 1960s. He is also known for the raven paradox ("Hempel's paradox") and Hempel's dilemma. Education Hempel studied mathematics, physics and philosophy at the Georg August University of Göttingen, University of Göttingen and subsequently at the Humboldt University of Berlin, University of Berlin and the Heidelberg University. In Göttingen, he encountered David Hilbert and was impressed by Hilbert's program, his program attempting to base all mathematics on solid logical foundations derived from a limited number of axioms. After moving to Berlin, Hempel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rudolf Carnap
Rudolf Carnap (; ; 18 May 1891 – 14 September 1970) was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. Biography Carnap's father rose from being a poor ribbon-weaver to be the owner of a ribbon-making factory. His mother came from an academic family; her father was an educational reformer and her oldest brother was the archaeologist Wilhelm Dörpfeld. As a ten-year-old, Carnap accompanied Wilhelm Dörpfeld on an expedition to Greece. Carnap was raised in a profoundly religious Protestant family, but later became an atheist. He began his formal education at the Barmen Gymnasium (school), Gymnasium and the Gymnasium in Jena. From 1910 to 1914, he attended the University of Jena, intending to write a thesis in physics. He also intently studied Immanuel Kant's ''Critique of Pure Reason'' during a course taught by Bruno Bauch, and was one of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bas Van Fraassen
Bastiaan Cornelis "Bas" van Fraassen (; ; born 5 April 1941) is a Dutch-American philosopher noted for his contributions to philosophy of science, epistemology and formal logic. He is a Distinguished Professor of Philosophy at San Francisco State University and the McCosh Professor of Philosophy Emeritus at Princeton University. Biography and career Van Fraassen was born in the German-occupied Netherlands on 5 April 1941. His father, a steam fitter, was forced by the Nazis to work in a factory in Hamburg. After the war, the family reunited and, in 1956, emigrated to Edmonton, in western Canada. Van Fraassen earned his B.A. (1963) from the University of Alberta and his M.A. (1964) and Ph.D. (1966, under the direction of Adolf Grünbaum) from the University of Pittsburgh. He previously taught at Yale University, the University of Southern California, the University of Toronto and, from 1982 to 2008, at Princeton University, where he is now emeritus. Since 2008, Van Fraasse ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elisabeth Lloyd
Elisabeth Anne Lloyd (born September 3, 1956) is an American philosopher of science specialising in the philosophy of biology. She is currently Distinguished Professor of History and Philosophy of Science and Medicine - as well as Adjunct Professor of biology - at Indiana University, Bloomington, affiliated faculty scholar at the Kinsey Institute and Adjunct Faculty at the Center for the Integrative Study of Animal Behavior. Education and career Lloyd was born in Morristown, New Jersey, and earned her BA in science and political theory from University of Colorado, Boulder in 1980, summa cum laude. Lloyd studied under Bas van Fraassen at Princeton University for a PhD in philosophy 19801984. While a student at Princeton, she spent a year (1983) studying with Richard C. Lewontin at Harvard's Museum of Comparative Zoology. She worked as an assistant professor in the Department of Philosophy at University of California, San Diego, 1985–88; and then was assistant professor, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Structuralism (philosophy Of Science)
In the philosophy of science, structuralism (also known as scientific structuralism or as the structuralistic theory-concept) asserts that all aspects of reality are best understood in terms of empirical scientific constructs of entities and their relations, rather than in terms of concrete entities in themselves. Overview Structuralism is an active research program in the philosophy of science, which was first developed in the late 1960s and throughout the 1970s by several analytic philosophers. As an instance of structuralism, the concept of matter should be interpreted not as an absolute property of nature in itself, but instead of how scientifically-grounded mathematical relations describe how the concept of matter interacts with other properties, whether that be in a broad sense such as the gravitational fields that mass produces or more empirically as how matter interacts with sense systems of the body to produce sensations such as weight. Structuralism's aim is to compr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
