# Center for Analysis and Design of Intelligent Agents

### Site Tools

public:rem4:rem4-16:philosophy_of_science_i

# Differences

This shows you the differences between two versions of the page.

public:rem4:rem4-16:philosophy_of_science_i [2016/08/22 20:07]
thorisson2 created
public:rem4:rem4-16:philosophy_of_science_i [2016/09/19 10:34] (current)
thorisson2
Line 7: Line 7:

-|  Theory (Icel. kenning)  | "A set of statements or principles devised to explain a group of facts or phenomena, especially one that has been repeatedly tested or is widely accepted and can be used to make predictions about natural phenomena.+|  Theory (Icel. kenning)  | Explains the connections between things in the world. \\ A set of statements or principles devised to explain a group of facts or phenomena, especially one that has been repeatedly tested or is widely accepted and can be used to make predictions about natural phenomena. |
-|  Hypothesis (Icel. tilgáta)  | A prediction about the relationship between a limited set of phenomena, as explained by a particular theory.   +|  Hypothesis (Icel. tilgáta)  | A prediction about the relationship between a limited set of phenomena, as explained by a particular theory. \\ Any statement about the world that must hold true if a given scientific theory is correct.
-|  Data (Icel. gögn)  | Typically "raw numbers" -- only contain low-level semantics | +|  Data (Icel. gögn)  | Typically "raw numbers" -- only contain low-level semantics.
-|  Information (Icel. upplýsingar)  | Processed and prepared data -- "data with a purpose" |+|  Information (Icel. upplýsingar)  | Processed and prepared data -- "data with a purpose".  |
|  Randomness  | It is hypothesized in quantum physics that the universe may possibly be built on a truly random foundation, which means that some things are by their very nature unpredictable. Randomness in the aggregate, however, does seem to follow some predictable laws (c.f. the concept of "laws of probability"). | |  Randomness  | It is hypothesized in quantum physics that the universe may possibly be built on a truly random foundation, which means that some things are by their very nature unpredictable. Randomness in the aggregate, however, does seem to follow some predictable laws (c.f. the concept of "laws of probability"). |
|  Sampling  | Sampling theory uses statistics to tell us \\ (a) how many random measurements we need to make to make a prediction about a whole group of which they are members and \\ (b) how reliable the results are given the particular methods of sampling and recorded variations in the data. \\ (Notice: not the same as Nyquist's sampling theorem, which states that to capture a waveform accuractly in digital form you need to sample it at more than twice its frequency.) | |  Sampling  | Sampling theory uses statistics to tell us \\ (a) how many random measurements we need to make to make a prediction about a whole group of which they are members and \\ (b) how reliable the results are given the particular methods of sampling and recorded variations in the data. \\ (Notice: not the same as Nyquist's sampling theorem, which states that to capture a waveform accuractly in digital form you need to sample it at more than twice its frequency.) |
-|  Empiricism   | All knowledge comes (ultimately) through the senses | +|  Empiricism  | All knowledge comes (ultimately) through the senses.
-|  Deduction (Icel. afleiðsla)  | "The facts speak for themsevles". \\ In deduction it's impossible for the premises to be true and the conclusion to be false. "You've got the facts, all you have to do is put them together, draw a natural conclusion." \\ Usually goes from the general to the particular. | +|  Deduction (Icel. afleiðsla) | "The facts speak for themsevles". \\ In deduction it's impossible for the premises to be true and the conclusion to be false. "You've got the facts, all you have to do is put them together, draw a natural conclusion." \\ Usually goes from the general to the particular.
-|  Induction (Icel. aðleiðsla, tilleiðsla)   | A generalization from a set of observations. \\ Generalization can be about a class of observed phenomena or about a particular unobserved phenomenon that is part of the class. |+|  Induction (Icel. aðleiðsla, tilleiðsla) | A generalization from a set of observations. \\ Generalization can be about a class of observed phenomena or about a particular unobserved phenomenon that is part of the class.  |
|  Abduction  | Inferring cause from (observed) fact.  | |  Abduction  | Inferring cause from (observed) fact.  |
-|  Experiment   | Typically refers to the most powerful method of science, the comparative experiment. \\ There are other reliable ways of studying the world, and they can be scientific if one realizes their limits. |  +|  Experiment   | Typically refers to the most powerful method of science, the comparative experiment. \\ There are other reliable ways of studying the world, and they can be scientific if one realizes their limits.  |
-|  Tautology (Icel. klifun, hringskýring)  | A 2-part sentence where the second part sounds like a logical conclusion of the first part but is simply a restatement of it. \\ Example: "All Icleanders love shopping — because it's fun!" | +|  Tautology (Icel. klifun, hringskýring)  | A 2-part sentence where the second part sounds like a logical conclusion of the first part but is simply a restatement of it. \\ Example: "All Icleanders love shopping — because it's fun!"
-|  The key to the advancement of scientific knowledge.  | The ability of individuals and groups to create "coherent stories" of how phenomena in the world are connected and produce rigorous models that support the stories is a necessary condition for scientific progress. |+|  The key to the advancement of scientific knowledge.  | The ability of individuals and groups to create verifiable "coherent stories" of how phenomena in the world are connectedand produce rigorous models that support the storiesis a necessary condition for scientific progress.  |

\\ \\
Line 30: Line 30:

-|  Greek philosophers  | Roughly 2000-3000 years ago \\ Plato, Aristoteles (his pupil) and Socrates (a big influence) -- provided the beginnings of modern philosophical thought, which later became modern philosophy and science. | +|  Greek philosophers  | Roughly 2000-3000 years ago \\ Plato, Aristoteles (his pupil) and Socrates (a big influence) -- provided the beginnings of modern philosophical thought, which later became modern philosophy and science.
-|  Roger Bacon \\ (1214 – 1294)  | English philosopher. \\ One of the earliest proponents of the scientific method (empiricism). | +|  Roger Bacon \\ (1214 – 1294)  | English philosopher. \\ One of the earliest proponents of the scientific method (empiricism).
-|  Descartes \\ (1596 - 1650)  | French philosopher. \\ Enormous influence on math (inventor of analytic geometry), science, philosophy of mind and philosophy in general. "I think, therefore I am." "Cogito ergo sum." |+|  Descartes \\ (1596 - 1650)  | French philosopher. \\ Enormous influence on math (inventor of analytic geometry), science, philosophy of mind and philosophy in general. "I think, therefore I am." "Cogito ergo sum."  |
|  Sir Francis Bacon \\ (1561 - 1626)  | English philosopher. \\ Influential proponent of the scientific method. Emphasized induction as the main principle of scientific progress.  | |  Sir Francis Bacon \\ (1561 - 1626)  | English philosopher. \\ Influential proponent of the scientific method. Emphasized induction as the main principle of scientific progress.  |
-|  Galileo Galilei \\ (1564 - 1642)  | Italian philosopher and polymath. \\ Influence on the use of quantitative measurements and the use of math. | +|  Galileo Galilei \\ (1564 - 1642)  | Italian philosopher and polymath. \\ Influence on the use of quantitative measurements and the use of math.
|  David Hume (1711-1776) | British philosopher. \\ Known for contributions to theories of knowledge and causation. Produced rigorous arguments that we can only base our knowledge on experience (the "copy principle").   | |  David Hume (1711-1776) | British philosopher. \\ Known for contributions to theories of knowledge and causation. Produced rigorous arguments that we can only base our knowledge on experience (the "copy principle").   |
-|  Karl Popper \\ (1902 - 1994)  | Austrian-British philosopher. Most famous for his claim that theories can only be tested through the falsification of hypotheses. \\ Book: The Logic of Scientific Discovery (1959) | +|  Karl Popper \\ (1902 - 1994)  | Austrian-British philosopher. Most famous for his claim that theories can only be tested through the falsification of hypotheses. \\ Book: The Logic of Scientific Discovery (1959).
-|  Thomas Kuhn \\ (1922 - 1996)  | American physicist and philosopher. Most famous for his theory of scientific change as intermittent challenges to the status quo. \\ Book: The Structure of Scientific Revolutions (1962) | +|  Thomas Kuhn \\ (1922 - 1996)  | American physicist and philosopher. Most famous for his theory of scientific change as intermittent challenges to the status quo. \\ Book: The Structure of Scientific Revolutions (1962).
-|  Imre Lakatos \\ (1922 - 1974)  | Hungarian philosopher. Proposed a "realistic" recombination of Kuhn's and Popper's views on science, focusing on research programs as a key organising concept. |+|  Imre Lakatos \\ (1922 - 1974)  | Hungarian philosopher. Proposed a "realistic" recombination of Kuhn's and Popper's views on science, focusing on research programs as a key organising concept.  |
\\ \\
\\ \\
Line 46: Line 46:

====Falsification of Hypotheses==== ====Falsification of Hypotheses====
-|  Very powerful method  | Given theory X, if one can deduce a relationship that has to hold between A and B, where A and B are the domain of a particular theory, and that relationship is falisifed through an experimental procedure that can be replicated by anyone, then obvioulsy theory X has been disproven. | +|  Very powerful method  | Given theory X, if one can deduce a relationship that has to hold between A and B, where A and B are the domain of a particular theory, and that relationship is falisifed through an experimental procedure that can be replicated by anyone, then obvioulsy theory X has been disproven.
-|  Problem  | Although scientific knowledge is the most reliable knowledge there is, most scientific theories at any point in time are theories in flux. But that is the key strength of scientific knowledge (over e.g. fairytales, urban myths, religion, etc.) -- so perhaps more of a feature than a bug! |+|  Problem  | Although scientific knowledge is the most reliable knowledge there is, most scientific theories at any point in time are theories in flux. But that is the key strength of scientific knowledge (over e.g. fairytales, urban myths, religion, etc.) -- so perhaps more of a feature than a bug!  |
|  Theories in flux  | Counter to what many think, theories almost never pop out complete and finished. The become assembled piece by piece, until there are so few pieces left that someone figures out the full picture. In the mean time, however, it is easy to falisfy hypotheses based on the theory, which, in the early stages, may not be much of a theory. | |  Theories in flux  | Counter to what many think, theories almost never pop out complete and finished. The become assembled piece by piece, until there are so few pieces left that someone figures out the full picture. In the mean time, however, it is easy to falisfy hypotheses based on the theory, which, in the early stages, may not be much of a theory. |
-|  Science builds theories  | The theory - hypothesis distinction is a convenience. In reality this is a continuum. Which means that theories are in various forms of growth. | +|  Science builds theories  | The theory--hypothesis distinction is a convenience. In reality this is more like a continuum, resulting from the fact that theories are in various stages of growth.
-|  Conclusion  | We need a mixture of methods during the development of theories. |+|  Conclusion  | We need a mixture of methods during the development of theories.  |

\\ \\
Line 59: Line 59:

====Why We Need Statistics & When to Use it==== ====Why We Need Statistics & When to Use it====
-|  When building theories: We go from the particular to the general  | The path of induction: We make observations and draw conclusions | +|  When building theories: We go from the particular to the general | The path of induction: We make observations and draw conclusions.
-|  Statistics are inappropriate in the early stages of scientific work  | When we are trying to "wrap our brain around a problem" | +|  Statistics are inappropriate in the early stages of scientific work  | When we are trying to "wrap our brain around a problem".
-|  When to use statistics  | When trying to uncover relationships between phenomena using measurements of particular limited observations. \\ To have an idea of the generality of a few isolated results, we use statistics.  \\ Statistics is essential for any usability study, because it makes it easy to extrapolate results from experimental data with human subjects. \\ It is essential when we want to generalize from particular observations done with imprecise measuring devices and/or under condtitions where we cannot control all independent variables. | +|  When to use statistics | When trying to uncover relationships between phenomena using measurements of particular limited observations. \\ To have an idea of the generality of a few isolated results, we use statistics.  \\ Statistics is essential for any usability study, because it makes it easy to extrapolate results from experimental data with human subjects. \\ It is essential when we want to generalize from particular observations done with imprecise measuring devices and/or under condtitions where we cannot control all independent variables.
-|  Randomness  | Key concept in statistics |+|  Randomness  | Key concept in statistics.   |

\\ \\
Line 71: Line 71:

====Why We Need Simulation and When to Use it==== ====Why We Need Simulation and When to Use it====
-|  Simulation  | Simulations are the newest methodology that science offers in our study of the (natural) world | +|  Simulation  | Simulations that "tell a story of a system" by integrating several observable and non-observable variables into a coherent whole, they can act as proper scientific theories. \\ Simulations can also act as hypotheses when they concretize theories. \\ Simulations are the newest methodology that science offers in our study of the (natural) world.
-|  Theories  | Explains the connections between things in the world +|  Model  | A //model// is a representation of a phenomenon. A model of the earth-sun system can be created by a ball and a flashlight. Simulations are an executable version of a model.
-|  Relation between theories and simulations  | Before a model can be built and a simulation can be done we need theory that tells us how things relate to each other +|  Software Simulations  | Implement //model// of a phenomenon as runnable code. The model, and its implementation as a simulation, are informed by higher-level theoretical or philosophical stance (example: A materialistic view of the world).  |
-|  When to use simulation  | When the complexity of that which is to be modeled/understood becomes so great that mathematical models are intractable and hypothesis falsification would take decades, centuries or millenia. |+|  Verification / Grounding  | To ensure that the results produced by a simulation match to reality, a process of //grounding// must be performed whereby the truthfulness of the model implemented as a simulation is ensured to represent the phenomenon correctly. This process is difficult; typically only a small part of the full model is something that is well understood in the physical world. It is expensive because for any reasonably complex system this process takes time.
+|  When to use simulation  | When the complexity of that which is to be modeled/understood becomes so great that mathematical models are intractable, or when they are not possible for other reasons, and experiments with standard hypothesis falsification would take decades, centuries or millenia.  |

\\ \\