|
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. On the contrast between syntactic and semantic views, Bas van Fraassen Bastiaan Cornelis van Fraassen (; born ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Science
Philosophy of science is a branch of philosophy concerned with the foundations, methods, and implications of science. The central questions of this study concern what qualifies as science, the reliability of scientific theories, and the ultimate purpose of science. This discipline overlaps with metaphysics, ontology, and epistemology, for example, when it explores the relationship between science and truth. Philosophy of science focuses on metaphysical, epistemic and semantic aspects of science. Ethical issues such as bioethics and scientific misconduct are often considered ethics or science studies rather than the philosophy of science. There is no consensus among philosophers about many of the central problems concerned with the philosophy of science, including whether science can reveal the truth about unobservable things and whether scientific reasoning can be justified at all. In addition to these general questions about science as a whole, philosophers of science consi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Model Theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those 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 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 Shelah's stability theory. Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit ... [...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 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 before he was six years old. His parents did not have much formal education.Cf. Suppes autobiography Suppes began college at ... [...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 axioms. 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 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 ... 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, later called logical empiricism, and both of which together are also known as neopositivism, is a movement in Western philosophy whose central thesis was the verification principle (also known as the verifiability criterion of meaning). This theory of knowledge asserted that only statements verifiable through direct observation or logical proof are meaningful in terms of conveying truth value, information or factual content. Starting in the late 1920s, groups of philosophers, scientists, and mathematicians formed the Berlin Circle and the Vienna Circle, which, in these two cities, would propound the ideas of logical positivism. Flourishing in several European centres through the 1930s, the movement sought to prevent confusion rooted in unclear language and unverifiable claims by converting philosophy into "scientific philosophy", which, according to the logical positivists, ought to share the bases and structures of empirical sciences' best examples, such as ... [...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, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the 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. Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he cha ... [...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 empiricism, a 20th-century movement in the philosophy of science. He is especially well known for his articulation of the deductive-nomological model of scientific explanation, which was considered the "standard model" of scientific explanation during the 1950s and 1960s. He is also known for the raven paradox (also known as "Hempel's paradox"). Education Hempel studied mathematics, physics and philosophy at the University of Göttingen and subsequently at the University of Berlin and the Heidelberg University. In Göttingen, he encountered David Hilbert and was impressed by his program attempting to base all mathematics on solid logical foundations derived from a limited number of axioms. After moving to Berlin, Hempel participated in a congress on scientific philosophy in 1929 where he met Rudolf Carnap and ... [...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. He is considered "one of the giants among twentieth-century philosophers." Biography Carnap's father had risen 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 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 Re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bas Van Fraassen
Bastiaan Cornelis van Fraassen (; born 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 Fraassen has taught at San ... [...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 for Research in Sex, Gender and Reproduction 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 ... [...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 compris ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frederick Suppe
Frederick Suppe (; born 1940 in Los Angeles, California) is a professor Emeritus of philosophy at the University of Maryland. He has prominent work in the philosophy of science including much work with the semantic view of theories. Biography Suppe received his Ph.D. from the University of Michigan and has research interests in the philosophy of science, epistemology and metaphysics, philosophical theology and philosophy of gender. In 2000 he moved to Texas Tech University where he became chair of the philosophy department. In 2002 he moved to the department of Classical and Modern Languages and Literatures where he was chair from 2002 to 2010. He is currently Professor of Classics, stationed at the Texas Tech Center in Seville, Spain, which he helped develop. His works on the semantic view of theories include Suppe, Frederick, ed. (1974), ''The Structure of Scientific Theories'' and (1989), ''The Semantic Conception of Theories and Scientific Realism''.Suppe, Frederick. (1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
