+ All Categories
Home > Documents > CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE,...

CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE,...

Date post: 25-Feb-2016
Category:
Upload: ilyssa
View: 35 times
Download: 5 times
Share this document with a friend
Description:
CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic School of Innovation, Design and Engineering Mälardalen University. Theory of Science. - PowerPoint PPT Presentation
Popular Tags:
100
1 CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUTH, MEANING Gordana Dodig-Crnkovic School of Innovation, Design and Engineering Mälardalen University
Transcript
Page 1: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

1

CDT403 Research Methodology in Natural Sciences and Engineering

Theory of ScienceSCIENCE, KNOWLEDGE, TRUTH, MEANING

Gordana Dodig-Crnkovic

School of Innovation, Design and Engineering

Mälardalen University

Page 2: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

2

Theory of Science

Lecture 1 SCIENCE AND KNOWLEDGE: TRUTH, MEANING. FORMAL LOGICAL SYSTEMS PRESUPPOSITIONS

Lecture 2 LANGUAGE AND COMMUNICATION. CRITICAL THINKING. PSEUDOSCIENCE - DEMARCATION

Lecture 3 SCIENCE AND RESEARCH: TECHNOLOGY, SOCIETAL ASPECTS. PROGRESS. HISTORY OF SCIENTIFIC THEORY. POSTMODERNISM AND CROSSDISCIPLINES

Lecture 4 GOLEM LECTURE. ANALYSIS OF SCIENTIFIC CONFIRMATION: THEORY OF RELATIVITY, COLD FUSION, GRAVITATIONAL WAVES

Lecture 5 COMPUTING HISTORY OF IDEAS

Lecture 6 PROFESSIONAL & RESEARCH ETHICS

Page 3: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

3

Science, Knowledge, Truth and Meaning

CRITICAL THINKING

WHAT IS SCIENCE?

WHAT IS SCIENTIFIC METHOD?

WHAT IS KNOWLEDGE?

KNOWLEDGE, TRUTH AND MEANING

FORMAL SYSTEMS AND THE CLASSICAL MODEL OF SCIENCE

Page 4: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

4

Course Material

– Course web page http://www.idt.mdh.se/kurser/ct3340/

– Theory of Science Compendium G Dodig-Crnkovic

– The Golem: What You Should Know about Science Harry M. Collins & Trevor Pinch

Page 5: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

5

Red Thread: Critical Thinking

“Reserve your right to think, for even to think wrongly is better than not to think at all.”

Hypatia, natural philosopher and mathematician

Page 7: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

7EyeMaurits Cornelis Escher

What Is Science?

Page 8: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

8

1. Definitions by Goal (Result) and Process (1)

science from Latin scientia, scire to know; 1: a department of systematized knowledge as an

object of study2: knowledge or a system of knowledge covering

general truths or the operation of general laws especially as obtained and tested through scientific method

Page 9: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

9

1. Definitions by Goal (Result) and Process (2)

3: such knowledge or such a system of knowledge concerned with the physical world and its phenomena : natural science

4: a system or method reconciling practical ends with scientific laws <engineering is both a science and an art>

Page 10: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

10

2. Science: Definitions by Contrast

To do science is to search for repeated patterns, not simply to accumulate facts.

Robert H. MacArthur

Religion is a culture of faith; science is a culture of doubt. Richard Feynman

Page 11: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

11

3. Empirical approach. What Sciences are there?Dewey Decimal Classification®

http://www.geocities.com/Athens/Troy/8866/15urls.html

000 - & Psychology200 - ReliComputers, Information & General Reference100 - Philosophy gion300 - Social sciences400 - Language500 - Science600 - Technology700 - Arts & Recreation800 - Literature900 - History & Geography

Page 12: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

12

3. Dewey Decimal Classification®

500 – Science510 Mathematics520 Astronomy530 Physics540 Chemistry550 Earth Sciences & Geology560 Fossils & Prehistoric Life570 Biology & Life Sciences580 Plants (Botany)590 Animals (Zoology)

Page 13: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

13

Culture(Religion, Art,

…)5

Natural Sciences(Physics,

Chemistry,Biology, …)

2

Social Sciences(Economics, Sociology,

Anthropology, …)3

The Humanities(Philosophy, History,

Linguistics …)4

Logic &

Mathematics1

4. Language Based SchemeClassical Sciences in their Cultural Context –

Page 14: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

14

5. Understanding what science is by understanding what scientists do

"Scientists are people of very dissimilar temperaments doing different things in very different ways. Among scientists are collectors, classifiers and compulsive tidiers-up; many are detectives by temperament and many are explorers; some are artists and others artisans. There are poet-scientists and philosopher-scientists and even a few mystics."

Peter Medawar, Pluto's Republic

Page 15: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

15

The narrow inductivist conception of scientific inquiry

1. All facts are observed and recorded.2. All observed facts are analyzed, compared and classified,

without hypotheses or postulates other than those necessarily involved in the logic of thought.

3. Generalizations inductively drawn as to the relations, classificatory or causal, between the facts.

4. Further research employs inferences from previously established generalizations.

6. Critique of Usual Naïve Image of Scientific Method (1)

Page 16: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

16

Critique of Usual Naïve Image of Scientific Method (2)

This narrow idea of scientific inquiry is groundless for several reasons:

1.   A scientific investigation could never get off the ground, for a collection of all facts would take infinite time, as there are infinite number of facts.

The only possible way to do data collection is to take only relevant facts. But in order to decide what is relevant and what is not, we have to have a theory or at least a hypothesis about what is it we are observing.

Page 17: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

17

Critique of Usual Naïve Image of Scientific Method (3)

A hypothesis (preliminary theory) is needed to give the direction to a scientific investigation!

2.  A set of empirical facts can be analyzed and classified in many different ways. Without hypothesis, analysis and classification are blind.

3.  Induction is sometimes imagined as a method that leads, by mechanical application of rules, from observed facts to general principles. Unfortunately, such rules do not exist!

Page 18: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

18

Why is it not possible to derive hypothesis (theory) directly from the data? (1)

– For example, theories about atoms contain terms like “atom”, “electron”, “proton”, etc; yet what one actually measures are spectra (wave lengths), traces in bubble chambers, calorimetric data, etc.

– So the theory is formulated on a completely different (and more abstract) level than the observable data!

– The transition from data to theory requests creative imagination!

Page 19: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

19

Why is it not possible to derive hypothesis (theory) directly from the data?* (2)

– Scientific hypothesis is formulated based on “educated guesses” at the connections between the phenomena under study, at regularities and patterns that might underlie their occurrence. Scientific guesses are completely different from any process of systematic inference.

– The discovery of important mathematical theorems, like the discovery of important theories in empirical science, requires inventive ingenuity.

*Here is instructive to study Automated discovery methods in order to see how much theory must be used in order to extract meaning from the “raw data”

Page 20: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

20

 

Socratic Method Scientific Method

1. Wonder. Pose a question(of the “What is X ?” form).

1. Wonder. Pose a question.(Formulate a problem).

2. Hypothesis. Suggest a plausible answer (a definition or definiens) from which some conceptually testable hypothetical propositions can be deduced.

2. Hypothesis. Suggest a plausible answer (a theory) from which some empirically testable hypothetical propositions can be deduced.

3. Elenchus ; “testing,” “refutation,” or “cross-examination.” Perform a thought experiment by imagining a case which conforms to the definiens but clearly fails to exemplify the definiendum, or vice versa. Such cases, if successful, are called counterexamples. If a counterexample is generated, return to step 2, otherwise go to step 4.

3. Testing. Construct and perform an experiment, which makes it possible to observe whether the consequences specified in one or more of those hypothetical propositions actually follow when the conditions specified in the same proposition(s) pertain. If the test fails, return to step 2, otherwise go to step 4.

4. Accept the hypothesis as provisionally true. Return to step 3 if you can conceive any other case which may show the answer to be defective.

4. Accept the hypothesis as provisionally true. Return to step 3 if there are predictable consequences of the theory which have not been experimentally confirmed.

5. Act accordingly. 5. Act accordingly.

Page 21: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

21

The Scientific Method

The hypotetico-deductive cycle

EXISTING THEORIESAND OBSERVATIONS

1

SELECTION AMONG COMPETING THEORIES

6

EXISTING THEORY CONFIRMED

(within a new context) or

NEW THEORY PUBLISHED

5

Hypotesen måste

justeras

PREDICTIONS

3HYPOTHESIS

2

TESTS AND NEW OBSERVATIONS

4

Hypothesis must be

redefined

Hypothesis must be adjusted

The scientific-community cycle

Consistency achieved

Page 22: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

22

Formulating Research Questions and Hypotheses

Different approaches:

Intuition – (Educated) GuessAnalogySymmetryParadigmMetaphor

and many more ..

Page 23: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

23

Criteria to Evaluate Theories

When there are several rivaling hypotheses number of criteria can be used for choosing a best theory.

Following can be evaluated:

– Theoretical scope– Heuristic value (heuristic: rule-of-thumb or argument

derived from experience)– Parsimony (simplicity, Ockham’s razor)– Esthetics– Etc.

Page 24: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

24

Criteria which Good Scientific Theory Shall Fulfill

– Logically consistent– Consistent with accepted facts – Testable– Consistent with related theories– Interpretable: explain and predict– Parsimonious– Pleasing to the mind (Esthetic, Beautiful)– Useful (Relevant/Applicable)

Page 25: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

25

Ockham’s Razor (Occam’s Razor)(Law Of Economy, Or Law Of Parsimony, Less Is More!)

A philosophical statement developed by William of Ockham, (1285–1347/49), a scholastic, that Pluralitas non est ponenda sine necessitate; “Plurality should not be assumed without necessity.”

The principle gives precedence to simplicity; of two competing theories, the simplest explanation of an entity is to be preferred.

Page 26: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

26

What Is Knowledge?Plato´s Definition

Plato believed that we learn in this life by remembering knowledge originally acquired in a previous life, and that the soul already has knowledge, and we learn by recollecting what in fact the soul already knows.

Plato offers three analyses of knowledge, [dialogues Theaetetus 201 and Meno 98] all of which Socrates rejects.

Page 27: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

27

What Is Knowledge?Plato´s Definition

Plato's third definition: " Knowledge is justified, true belief. "

The problem with this concerns the word “justified”. All interpretations of “justified” are deemed inadequate.

Edmund Gettier, in the paper called "Is Justified True Belief Knowledge?“ argues that knowledge is not the same as justified true belief. (Gettier Problem)

Page 28: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

28

What Is Knowledge? Descartes´ Definition

"Intuition is the undoubting conception of an unclouded and attentive mind, and springs from the light of reasons alone; it is more certain than deduction itself in that it is simpler."

“Deduction by which we understand all necessary inference from other facts that are known with certainty,“ leads to knowledge when recommended method is being followed.

Page 29: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

29

What Is Knowledge?Descartes´ Definition

"Intuitions provide the ultimate grounds for logical deductions. Ultimate first principles must be known through intuition while deduction logically derives conclusions from them.

These two methods [intuition and deduction] are the most certain routes to knowledge, and the mind should admit no others."

Page 30: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

30

What Is Knowledge?

– Propositional knowledge: knowledge that such-and-such is the case.

– Non-propositional knowledge (tacit knowledge): the knowing how to do something.

 

Page 31: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

31

Sources of Knowledge

– A Priori Knowledge (built in, developed by evolution and inheritance)

– Perception (“on-line input”, information acquisition)

– Reasoning (information processing)

– Testimony (network, communication)

Page 32: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

32

Knowledge and Objectivity: Observations

 Observations are always interpreted in the context of an a priori knowledge. (Kuhn, Popper)

“What a man sees depends both upon what he looks at and also upon what his previous visual-conceptual experience has taught him to see”.

Page 33: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

33

Knowledge and Objectivity Observations

– All observation is potentially ”contaminated”, whether by our theories, our worldview or our past experiences.

– It does not mean that science cannot ”objectively” [inter-subjectivity] choose from among rival theories on the basis of empirical testing.

– Although science cannot provide one with hundred percent certainty, yet it is the most, if not the only, objective mode of pursuing knowledge.

Page 34: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

34

Perception and “Direct Observation”

Page 35: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

35

Perception and “Direct Observation”

Page 36: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

36

Perception and “Direct Observation”

Page 37: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

37

Perception and “Direct Observation”

Page 38: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

38

Perception and “Direct Observation”

"Reality is merely an illusion, albeit a very persistent one." -

Einstein

Page 39: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

39

Perception and “Direct Observation”

Page 40: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

40

Perception and “Direct Observation”

Page 41: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

41

Perception and “Direct Observation”

Page 42: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

42

Perception and “Direct Observation”

Page 43: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

43

Page 44: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

44

Perception and “Direct Observation”

Checker-shadow illusionhttp://web.mit.edu/persci/people/adelson/checkershadow_illusion.html

See even:http://persci.mit.edu/people/adelson/publications/gazzan.dir/gazzan.htm

Lightness Perception and Lightness Illusions

http://www.ihu.his.se/~christin/Vetenskapsteori/Vetenskapsteorikurser

Page 45: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

45

Direct Observation?!

An atom interferometer, which splits an atom into separate wavelets, can allow the measurement of forces acting on the atom. Shown here is the laser system used to coherently divide, redirect, and recombine atomic wave packets (Yale University).

Page 46: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

46

Direct Observation?!

Electronic signatures produced by collisions of protons and antiprotons in the Tevatron accelerator at Fermilab provided evidence that the elusive subatomic particle known as top quark has been found.

Page 47: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

47

Knowledge Justification

– Foundationalism (uses architectural metaphor to describe the structure of our belief systems. The superstructure of a belief system inherits its justification from a certain subset of beliefs – all rests on basic beliefs.)

– Coherentism

– Internalism (a person has “cognitive grasp”) and Externalism (external justification)

Page 48: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

48

Truth (1)

– The correspondence theory

– The coherence theory

– The deflationary theory

Page 49: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

49

Truth (2)The Correspondence Theory

A common intuition is that when I say something true, my statement corresponds to the facts.

But: how do we recognize facts and what kind of relation is this correspondence?

Page 50: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

50

Truth (3)The Coherence Theory

Statements in the theory are believed to be true because being compatible with other statements.

The truth of a sentence just consists in its belonging to a system of coherent statements.

The most well-known adherents to such a theory was Spinoza (1632-77), Leibniz (1646-1716) and Hegel (1770-1831).

Characteristically they all believed that truths about the world could be found by pure thinking, they were rationalists and idealists. Mathematics was the paradigm for a real science; it was thought that the axiomatic method in mathematics could be used in all sciences.

Page 51: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

51

Truth (4) The Deflationary Theory

The deflationary theory is belief that it is always logically superfluous to claim that a proposition is true, since this claim adds nothing further to a simple affirmation of the proposition itself.

"It is true that birds are warm-blooded " means the same thing as "birds are warm-blooded ".

For the deflationist, truth has no nature beyond what is captured in ordinary claims such as that ‘snow is white’ is true just in case snow is white.

Page 52: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

52

The Deflationary Theory is also called the redundancy theory, the disappearance theory, the no-truth theory, the disquotational theory, and the minimalist theory .

63-70 see Lars-Göran Johansson http://www.filosofi.uu.se/utbildning/Externt/slu/slultexttruth.htmand Stanford Encyclopedia of Philosophyhttp://plato.stanford.edu/entries/truth-deflationary/

Truth (5) The Deflationary Theory

Page 53: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

53

Truth and Reality

Noumenon,"Ding an sich" is distinguished from Phenomenon "Erscheinung", an observable event or physical manifestation, and the two words serve as interrelated technical terms in Kant's philosophy.

Page 54: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

54

Whole vs. Parts

• tusk spear• tail rope• trunk snake• side wall• leg tree

The flaw in all their reasoning is that speculating on the WHOLE from too few FACTS can lead to VERY LARGE errors in judgment.

Page 55: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

The Classical Model of Science

The Classical Model of Scienceis a system S of propositions and concepts satisfying the following conditions:

• All propositions and all concepts (or terms) of S concern a specific set of objects or are about a certain domain of being(s).

• There are in S a number of so-called fundamental concepts (or terms).

• All other concepts (or terms) occurring in S are composed of (or are definable from) these fundamental concepts (or terms).

55

Page 56: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

The Classical Model of Science

• There are in S a number of so-called fundamental propositions.

• All other propositions of S follow from or are grounded in (or are provable or demonstrable from) these fundamental propositions.

• All propositions of S are true.

• All propositions of S are universal and necessary in some sense or another.

56

Page 57: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

The Classical Model of Science

• All concepts or terms of S are adequately known. A non-fundamental concept is adequately known through its composition (or definition).

• The Classical Model of Science is a reconstruction a posteriori and sums up the historical philosopher’s ideal of scientific explanation.

• The fundamental is that “All propositions and all concepts (or terms) of S concern a specific set of objects or are about a certain domain of being(s).”

57

Betti A & De Jong W. R., Guest Editors, The Classical Model of Science I: A Millennia-Old Model of Scientific Rationality, Forthcoming in Synthese, Special Issue

Page 58: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

58

Science and Truth

– Science as controversy (new science, frontiers)

– Science as consensus (old, historically settled)

– Science as knowledge about complex systems

– Opens systems, paraconsistent logic

Page 59: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

59

Scientific Truth (1)

– Physics professor is walking across campus, runs into Math professor. Physics professor has been doing an experiment, and has worked out an empirical equation that seems to explain his data, and asks the Math professor to look at it.

Page 60: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

60

Scientific Truth (2)

– A week later, they meet again, and the Math professor says the equation is invalid. By then, the Physics professor has used his equation to predict the results of further experiments, and he is getting excellent results, so he asks the Math professor to look again.

– Another week goes by, and they meet once more. The Math professor tells the Physics professor the equation does work, ”but only in the trivial case where the numbers are real and positive."

Page 61: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

61

Proof

The word proof can mean: • originally, a test assessing the validity or quality of something.

Hence the saying, "The exception that proves the rule" -- the rule is tested to see whether it applies even in the case of the (apparent) exception.

• a rigorous, compelling argument, including: – a logical argument or a mathematical proof – a large accumulation of scientific evidence – (...)

(from Wikipedia)

Page 62: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

62

Mathematical Proof

In mathematics, a proof is a demonstration that, given certain axioms, some statement of interest is necessarily true.

(from Wikipedia)

Page 63: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

63

Mathematical Proof

Proofs employ logic but usually include some amount of natural language which of course admits some ambiguity. In the context of proof theory, where purely formal proofs are considered, such not entirely formal demonstrations are called "social proofs".

The distinction has led to much examination of current and historical mathematical practice, quasi-empiricism in mathematics, and so-called folk mathematics (in both senses of that term).

The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.

(from Wikipedia)

Page 64: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

64

Mathematical Proof

Regardless of one's attitude to formalism, the result that is proved to be true is a theorem; in a completely formal proof it would be the final line, and the complete proof shows how it follows from the axioms alone. Once a theorem is proved, it can be used as the basis to prove further statements.

The so-called foundations of mathematics are those statements one cannot, or need not, prove. These were once the primary study of philosophers of mathematics. Today focus is more on practice, i.e. acceptable techniques.

(from Wikipedia)

Page 65: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

65

Pressupositions and Limitations of Formal Logical Systems

Axiomatic System of Euclid: Shaking up Geometry

Euclid built geometry on a set of few axioms/postulates (ideas which are considered so elementary and manifestly obvious that they do not need to be proven as any proof would introduce more complex ideas).

When a system requires increasing number of axioms (as e.g. number theory does), doubts begin to arise. How many axioms are needed? How do we know that the axioms aren't mutually contradictory?

Page 66: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

66

Until the 19th century no one was too concerned about axiomatization.

Geometry had stood as conceived by Euclid for 2100 years.

If Euclid's work had a weak point, it was his fifth axiom, the axiom about parallel lines. Euclid said that for a given straight line, one could draw only one other straight line parallel to it through a point somewhere outside it.

Pressupositions and Limitations of Formal Logical Systems

Axiomatic System of Euclid: Shaking up Geometry

Page 67: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

67

EUCLID'S AXIOMS (1)

1. Every two points lie on exactly one line.

2. Any line segment with given endpoints may be continued in either direction.

3. It is possible to construct a circle with any point as its center and with a radius of any length.  (This implies that there is neither an upper nor lower limit to distance. In-other-words, any distance, no mater how large can always be increased, and any distance, no mater how small can always be divided.)

Page 68: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

68

EUCLID'S AXIOMS (2)

4. If two lines cross such that a pair of adjacent angles are congruent, then each of these angles are also congruent to any other angle formed in the same way. (Says that all right angles are equal to one another.)

5. (Parallel Axiom): Given a line l and a point not on l, there is one and only one line which contains the point, and is parallel to l.

Page 69: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

69

NON-EUCLIDEAN GEOMETRIES (1)

Mid-1800s: mathematicians began to experiment with different definitions for parallel lines.

Lobachevsky, Bolyai, Riemann: new non-Euclidean geometries by assuming that there could be several parallel lines through the outside point or there could be no parallel lines.

Page 70: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

70

NON-EUCLIDEAN GEOMETRIES (2)

Two ways to negate the Euclidean Parallel Axiom:

– 5-S (Spherical Geometry Parallel Axiom):  Given a line l and a point not on l, no lines exist that contain the point, and are parallel to l.

– 5-H (Hyperbolic Geometry Parallel Axiom):  Given a line l and a point not on l, there are at least two distinct lines which contains the point, and are parallel to l.

Page 71: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

71

Reproducing the Euclidean World in a model of the Elliptical Non-Euclidean World.

Page 72: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

72

Spherical/Elliptical Geometry

In spherical geometry lines of latitude are not great circles (except for the equator), and lines of longitude are. Elliptical Geometry takes the spherical plan and removes one of two points directly opposite each other. The end result is that in spherical geometry, lines always intersect in exactly two points, whereas in elliptical geometry, lines always intersect in one point.

Page 73: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

73

Properties of Elliptical/Spherical Geometry

In Spherical Geometry, all lines intersect in 2 points. In elliptical geometry, lines intersect in 1 point.

In addition, the angles of a triangle always add up to be greater than 180 degrees. In elliptical/spherical geometry, all of Euclid's postulates still do hold, with the exception of the fifth postulate.

This type of geometry is especially useful in describing the Earth's surface.

Page 74: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

74

Hyperbolic Cubes

Page 75: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

75

DEFINITION: Parallel lines are infinite lines in the same plane that do not intersect.

Hyperbolic Universe Flat Universe Spherical Universe

Einstein incorporated Riemann's ideas into relativity theory to describe the curvature of space.

Page 76: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

76

MORE PROBLEMS WITH AXIOMATIZATION…

Not only had Riemann created a system of geometry which put commonsense notions on its head, but the philosopher-mathematician Bertrand Russell had found a serious paradox for set theory!

He has shown that Frege’s attempt to reduce mathematics to logical reasoning starting with sets as basics leads to contradictions.

Page 77: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

77

HILBERT’S PROGRAM

Hilbert’s hope was that mathematics would be reducible to finding proofs (by manipulating the strings of symbols) from a fixed system of axioms, axioms that everyone could agree were true.

Can all of mathematics be made algorithmic, or will there always be new problems that outstrip any given algorithm, and so require creative mind to solve?

Page 78: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

78

AXIOMATIC SYSTEM OF PRINCIPIA: PARADOX IN SET THEORY

Mathematicians hoped that Hilbert's plan would work because axioms and definitions are based on logical commonsense intuitions, such as e.g. the idea of set.

 A set is any collection of items chosen for some characteristic common for all its elements.

Page 79: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

79

RUSSELL'S PARADOX (1)

There are two kinds of sets:

– Normal sets, which do not contain themselves, and – Non-normal sets, which are sets that do contain themselves.

The set of all apples is not an apple. Therefore it is a normal set. The set of all thinkable things is itself thinkable, so it is a non-normal set.

Page 80: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

80

RUSSELL'S PARADOX (2)

Let 'N' stand for the set of all normal sets.

Is N a normal set?

If it is a normal set, then by the definition of a normal set it cannot be a member of itself. That means that N is a non-normal set, one of those few sets which actually are members of themselves.

 

Page 81: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

81

RUSSELL'S PARADOX (3)

But on the other hand…N is the set of all normal sets; if we describe it as a non-normal set, it cannot be a member of itself, because its members are, by definition, normal.

 

Page 82: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

82

RUSSELL'S PARADOX (4)

Russell resolved the paradox by redefining the meaning of 'set' to exclude peculiar (self-referencing) sets, such as "the set of all normal sets“.

Together with Whitehead in Principia Mathematica he founded mathematics on that new set definition.

They hoped to get self-consistent and logically coherent system …

Page 83: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

83

RUSSELL'S PARADOX (5)

… However, even before the project was complete, Russell's expectations were dashed!

 The man who showed that Russell's aim was impossible was Kurt

Gödel, in a paper titled "On Formally Undecidable Propositions of Principia Mathematica and Related Systems."

Page 84: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

84

GÖDEL: TRUTH AND PROVABILITY (1)

Kurt Gödel actually proved two extraordinary theorems. They have revolutionized mathematics, showing that mathematical truth is more than bare logic and computation.

Gödel has been called the most important logician since Aristotle. His two theorems changed logic and mathematics as well as the way we look at truth and proof.

Page 85: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

85

GÖDEL: TRUTH AND PROVABILITY (2)

Gödels first theorem proved that any formal system strong enough to support number theory has at least one undecidable statement. Even if we know that the statement is true, the system cannot prove it. This means the system is incomplete. For this reason, Gödel's first proof is called "the incompleteness theorem".

 

Page 86: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

86

GÖDEL: TRUTH AND PROVABILITY (3)

Gödel's second theorem is closely related to the first. It says that no one can prove, from inside any complex formal system, that it is self-consistent.

  "Gödel showed that provability is a weaker notion than truth, no

matter what axiomatic system is involved.

In other words, we simply cannot prove some things in mathematics (from a given set of premises) which we nonetheless can know are true. “ (Hofstadter)

Page 87: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

87

TRUTH VS. PROVABILITY ACCORDING TO GÖDEL

After: Gödel, Escher, Bach - an Eternal Golden Braid by Douglas Hofstadter.

Page 88: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

88

Gödel theorem is built upon Aristotelian logic. So it is true within the paradigm of Aristotelian logic.

However, nowadays it is not the only logic existing.

TRUTH VS. PROVABILITY ACCORDING TO GÖDEL

Page 89: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

89

LOGIC (1)

The precision, clarity and beauty of mathematics are the consequence of the fact that the logical basis of classical mathematics possesses the features of parsimony and transparency.

Classical logic owes its success in large part to the efforts of Aristotle and the philosophers who preceded him. In their endeavour to devise a concise theory of logic, and later mathematics, they formulated so-called "Laws of Thought".

Page 90: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

90

LOGIC (2)

One of these, the "Law of the Excluded Middle," states that every proposition must either be True or False.

When Parminedes proposed the first version of this law (around 400 B.C.) there were strong and immediate objections.

For example, Heraclitus proposed that things could be simultaneously True and not True.

Page 91: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

91

NON-STANDARD LOGICFUZZY LOGIC (1)

Plato laid the foundation for fuzzy logic, indicating that there was a third region (beyond True and False).

Some among more modern philosophers follow the same path, particularly Hegel.

But it was Lukasiewicz who first proposed a systematic alternative to the bi-valued logic of Aristotle.

Page 92: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

92

NON-STANDARD LOGIC FUZZY LOGIC (2)

In the early 1900's, Lukasiewicz described a three-valued logic, along with the corresponding mathematics.

The third value "possible," assigned a numeric value between True and False.

Eventually, he proposed an entire notation and axiomatic system from which he hoped to derive modern mathematics.

Page 93: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

93

NON-STANDARD LOGICS

• Categorical logic • Combinatory logic • Conditional logic • Constructive logic • Cumulative logic • Deontic logic • Dynamic logic • Epistemic logic • Erotetic logic • Free logic • Fuzzy logic • Higher-order logic • Infinitary logic • Intensional logic • Intuitionistic logic • Linear logic

• Many-sorted logic • Many-valued logic • Modal logic • Non-monotonic logic • Paraconsistent logic • Partial logic • Prohairetic logic • Quantum logic • Relevant logic • Stoic logic • Substance logic • Substructural logic • Temporal (tense) logic • Other logics

Page 94: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

94

NON-STANDARD LOGICS

http://www.earlham.edu/~peters/courses/logsys/nonstbib.htmhttp://www.math.vanderbilt.edu/~schectex/logics/

Page 95: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

95

The Limits of Reason - G J Chaitin

The limits of reason Scientific American 294, No. 3 (March 2006), pp. 74-81.

Epistemology as information theory: from Leibniz to Ω Collapse 1 (2006), pp. 27-51. Reprinted in Teoria algoritmica della complessità, 2006.

Meta Math! first paperback edition Vintage, 2006.

Speculations on biology, information and complexity Bulletin of the European Association for Theoretical Computer Science 91 (February 2007), pp. 231-237.

Page 96: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

96

Meaning (1)

All meaning is determined by the method of analysis where the method of analysis sets the context and so the rules that are used to determine the “meaningful” from “meaningless”.

C. J. Lofting

Page 97: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

97

Meaning (2)

At the fundamental level meaning is reducible to distinguishing• Objects (the what) from• Relationships (the where)

which are the result of process of• Differentiation or• Integration

Page 98: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

98

Meaning (3)

Human brain is not tabula rasa (clean slate) on birth but rather contains

• behavioral patterns to particular elements of environment (gene-based)

• template used for distinguishing meaning based on the distinctions of “what” from “where”

• Meaning as use implies holistic rationality, and value systems (hence ethical views) are integrated in the aims of a rational agents.

Page 99: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

http://ndpr.nd.edu/review.cfm?id=12083 Notre Dame Philosophical Reviews 99

Page 100: CDT403 Research Methodology in Natural Sciences and Engineering Theory of Science SCIENCE, KNOWLEDGE, TRUT H, MEANING Gordana Dodig-Crnkovic

100

Assignments

– Assignment 2: Analyze Pseudoscience vs. Science                        (in groups of two)

– Discussion of Assignment 2 - compulsory– Assignment 2-extra (For those who miss the

discussion of the Assignment 2)– Assignment 3: GOLEM: Analyze Three Cases of

Theory Confirmation (in groups of two) – Discussion of Assignment 3 - compulsory– Assignment 3-extra (For those who miss the

discussion of the Assignment 3)


Recommended