June 01, 2015

A quick look at Constructive Empiricism

Introduction: 

If a theory explains the physical world well, does that mean that that theory is an unfliching, absolute, objective truth of existence? 

The 'scientific realist' would say YES. The 'Constructive Empiricist' however, would say NO.


(Abstracted from the Stanford University Online Library)

Copyright © 2014 by The Metaphysics Research Lab, Stanford University.

Constructive Empiricism:

Constructive empiricism is the version of scientific anti-realism promulgated by Bas van Fraassen in his famous book The Scientific Image (1980).

Van Fraassen defines the view as follows:

Science aims to give us theories which are empirically adequate; and acceptance of a theory involves as belief only that it is empirically adequate. (1980, 12)

A theory is empirically adequate exactly if what it says about the observable things and events in the world is true — exactly if it ‘saves the phenomena.’ (van Fraassen 1980, 12)

To understand the above account, one needs first to appreciate the difference between the syntactic view of scientific theories and van Fraassen's preferred semantic view of scientific theories.

On the syntactic view, a theory is given by an enumeration of theorems, expressed in some one particular language.

In contrast, on the semantic view, a theory is given by the specification of a class of structures (describable in various languages) that are the theory's models (the determinate structures of which the theory holds true).

As van Fraassen says,

To present a theory is to specify a family of structures, its models; and secondly, to specify certain parts of those models (the empirical substructures) as candidates for the direct representation of observable phenomena. (1980, 64)

A theory is empirically adequate, then, if appearances — “the structures which can be described in experimental and measurement reports” (1980, 64) — are isomorphic to the empirical substructures of some model of the theory.

Roughly speaking, the theory is empirically adequate if the observable phenomena can “find a home” within the structures described by the theory — that is to say, the observable phenomena can be “embedded” in the theory.

The constructive empiricist rejects arguments that suggest that one is rationally obligated to believe in the truth of a theory, given that one believes in the empirical adequacy of the theory.

For this epistemological argument to work, the distinction between empirical adequacy and truth has to be well-founded.

Summary:

Constructive empiricism is a view which stands in contrast to the type of scientific realism that claims the following:

Science aims to give us, in its theories, a literally true story of what the world is like; and acceptance of a scientific theory involves the belief that it is true. (van Fraassen 1980, 8)

In contrast, the constructive empiricist holds that science aims at truth about observable aspects of the world, but that science does not aim at truth about unobservable aspects.

Acceptance of a theory, according to constructive empiricism, correspondingly differs from acceptance of a theory on the scientific realist view: the constructive empiricist holds that as far as belief is concerned, acceptance of a scientific theory involves only the belief that the theory is empirically adequate.


Dr. Michela Massimi is a Ph.D from the London School of Economics, and a senior lecturer of philosophy at the University of Edinburgh.

In the following video, she explains Constructive Empiricism very nicely:


Terms used by Dr. Massimi:

1. "Scientific realism":
Is a positive epistemic attitude towards the content of our best theories and models, recommending belief in both observable and unobservable aspects of the world described by the sciences.

2. "Scientific Anti-realism":
In philosophy of science, anti-realism applies chiefly to claims about the non-reality of "unobservable" entities such as electrons, which are not detectable with human senses.

3. "Epistemology":
Relating to knowledge or to the degree of its validation.

4. "Ontology":
The philosophical study of the nature of being, becoming, existence, or reality, as well as the basic categories of being and their relations.

5. "Empirical Adequacy":
Roughly speaking, if a theory works in practical life, it is called empirically adequate.

6. "Semantic aspect":
Semantics is the study of meaning.

7. "Syntactic aspect":
Syntax, or the study of structure.

August 20, 2013

A Quick Look at Duct Liner Sound Properties & Duct Elbows

Extracted from HPAC.COM

Acoustical benefits of duct liners and available choices of liner materials

By: STEPHANIE AYERS, Evonik Foams Inc., Allen, Texas; JEFFREY L. FULLERTON, INCE Bd. Cert., LEED AP BD+C, Acentech Inc., Boston, Mass.; and STEVEN H. MILLER, CDT, Chusid Associates, Tarzana, Calif., Jan 1, 2012.

"There are two basic types of duct liner: fibrous and foam.

oFibrous liners

oPolyimide

oElastomeric foam


Figure 1 compares the sound-absorption efficiencies of fiber-glass, polyimide-foam, and elastomeric-foam duct liners. Testing was performed per ASTM C423, Standard Test Method for Sound Absorption and Sound Absorption Coefficients by the Reverberation Room Method.

Spectrum of HVAC noise:





Images ctsy. Schaffer-Acoustics

The NC-Curve:

Lastly, a note on FibreGlass duct liners, from HPAC.COM:

According to the North American Insulation Manufacturers Association (NAIMA), fiberglass insulation is “inorganic and inert and does not support mold growth or act as nutrients for mold growth.”1

Fiberglass duct liners also are resistant to microbial attack, as described in ASTM C1338, Standard Test Method for Determining Fungi Resistance of Insulation Materials and Facings, and required by Standard 62.1 for HVAC air-stream surfaces. The duct liners also are in accordance with ASTM G21-96, Standard Practice for Determining Resistance of Synthetic Polymeric Materials to Fungi, and ASTM G22-76, Standard Practice for Determining Resistance of Plastics to Bacteria, as required by ASTM C 1071, Standard Specification for Fibrous Glass Duct Lining Insulation (Thermal and Sound Absorbing Material).

How much liner is enough?
via hpac.com:

For general environments (e.g., an office or a classroom), acceptable noise reduction often requires the lining of the first 10 to 20 ft of ducts adjoining a fan system. An engineer calculates how much lining is needed by determining an acceptable noise level for the application, using the documented noise output of the fans and the known acoustic properties of the lining material.

For spaces with exacting sound requirements, lining an entire duct for maximum noise control may be desirable.

Some work is done by the bends in the ducts itself..

image © Engineeringtoolbox

1.NAIMA. (2002). Insulation facts 34: The facts about mold growth. Alexandria, VA: North American Insulation Manufacturers Association.

Further reading:
1. Engineering Guidelines by Carrier
2. ASHRAE JOURNAL 2014

August 16, 2013

All Theories are Unprovable & Improbable

Introduction:
"Any physical theory is always provisional, in the sense that it is only a hypothesis: you can never prove it. No matter how many times the results of an experiment agree with some theory, you can never be sure that the next time the result will not contradict the theory." - Robert Pirsig.

Mathematician Benoit Mandelbrot's concepts, summarised at Wikipedia:

"Mandelbrot described both the "Noah effect" (in which sudden discontinuous changes can occur) and the "Joseph effect" (in which persistence of a value can occur for a while, yet suddenly change afterwards." - Wikipedia.

Mandelbrot says •persistence of a value can occur for a while, yet suddenly change afterwards.•

i.e. when it changes, it changes for no reason.

Nature follows no laws. There is precision, repetition in nature but it's not following any laws.

In 1934, Karl Popper argued that the mathematical probability of all theories, scientific or pseudo scientific, given any amount of evidence, is zero.




"Why theories are unprovable & improbable"
by Marc O'Brien

A. Why all theories are unprovable:


New­ton's theory of gravitation says that every particle of matter in the universe attracts every other particle with a force according to an inverse square law.

Newton's theory is a universal generalization that ap­plies to every particle of matter, anywhere in the universe, at any time. But however numerous they might be, our observations of planets, falling bodies, and projectiles concern only a finite number of bodies during finite amounts of time.

So the scope of Newton's theory vastly exceeds the scope of the evidence. It is possible that all our observations are correct, and yet Newton's theory is false because some bodies not yet observed violate the inverse square law.

Since "All Fs are G" cannot be deduced from "Some Fs are G," it cannot be true that Newton's theory can be proven by logically deducing it from the evidence.

As Lakatos points out, this prevents us from claiming that scientific theories, unlike pseudo-scientific theories, can be proven from observational facts. The truth is that no theory can be deduced from such facts. All theories are unprovable, scientific and unscientific alike.

_________________________

B. Why all theories are improbable:


While conceding that scientific theories cannot be proven, most people still believe that theories can be made more probable by evidence.

Lakatos follows Popper in denying that any theory can be made probable by any amount of evidence. Popper's argument for this controversial claim rests on the analysis of the objective probability of statements given by inductive logicians.

Consider a card randomly drawn from a standard deck of fifty-two cards. What is the probability that the card selected is the ten of hearts?

Obviously, the answer is 1/52. There are fifty-two possibilities, each of which is equally likely and only one of which would render true the statement "This card is the ten of hearts."

Now consider a scientific theory that, like Newton's theory of gravitation, is universal.

The number of things to which Newton's theory applies is, presumably, infinite. Imagine that we name each of these things by numbering them 1, 2, 3, . . . , n, . . .

There are infinitely many ways the world could be, each equally probable.

1 obeys Newton's theory, but none of the others do.

1 and 2 obey Newton's theory, but none of the others do.

1, 2, and 3 obey Newton's theory, but none of the others do.

All bodies (1, 2, 3, . . . , n, . . . ) obey Newton's theory.

Since these possibilities are infinite in number, and each of them has the same probability, the probability of any one of them must be 0. But only one, the last one, represents the way the world would be if Newton's theory were true. So the probability of Newton's theory (and any other universal generalization) must be ZERO.

Now one might think that, even if the initial probability of a theory must be ZERO, the probability of the theory when it has been confirmed by evidence will be greater than ZERO. As it turns out, the probability calculus denies this.

Let our theory be T, and let our evidence for T be E.

We are interested in P(T/E), the probability of T given our evidence E. Bayes's theorem (which follows logically from the axioms of the probability calculus) tells us that this probability is:

P(T/E) = P(E/T) x P(T)/P(E)

If the initial probability of T, that is P(T), is ZERO, then P(T/E) must also be ZERO. Thus, no theory can increase in objective probability, regardless of the amount of evidence for it. For this reason, Lakatos joins Popper in regarding all theories, whether scientific or not, as equally unprovable and equally improbable.

Why all theories are unprovable Part 2
by Marc O'Brien


We cannot study the big bang, if even there was one - what we have to do is infer from the hypothetical big bang to what the universe might look like if the big bang happened, microwave background radiation and gravitational waves and so on, and if we find those things then we consider the big bang to be a theory and no longer a hypothesis.

However, no theory can ever be proved and certainly no single observation can be expected to prove a whole theory. It is literally illogical to ask for proof of a theory. All proofs of a theory commit the fallacy of affirming the consequent. That is "If P then Q, Q, ergo P".

Instead theories are explanations of all the observed facts taken holistically - theories offer explanations for why it is that all these facts seen as relevant hang together the way they do.

One might ask for proof that the earth rotates and orbits the sun. Another might answer that all one needs to do is observe the sun rising in the morning. But a more simple explanation of the sun rising in the morning would be that the sun orbits the earth. By this we see that no single observation could ever prove a theory. There are always other possible explanations for singular observations. Theories must instead explain all the facts combined - they must account for all the observation facts under one umbrella.

So what happens when, like the big bang hypothesis, we make a god hypothesis? Well, we ask ourselves what the world and universe would look like if such a hypothesis got it right.

But when we do look to the world and universe we find that, of all the explanations for the way the universe and world are, the least best explanation is that there is or was a god. There are other better explanations. And only the ignorant or irrational would follow the less better explanations.

But again - only those ignorant of logic and the theory of knowledge would ask for a proof for anything outside of logic and math. It is literally illogical to ask for proof of a theory.

All Theories are unprovable part 3
by Marc O'Brien


Theories invoke confirmations out of the logical form "If P then Q" where an affirmation of Q cannot guarantee P.

Theorems on the other hand invoke confirmations out of the logical form "Iff P then Q" where an affirmation of Q unequivocally also establishes P. Theorems are confined to areas analytic - math and logic - they do not also cover theories (explanations).

Scientific theories are not theorems but rather are explanations and most explanations actually can't even be arguments anyway.

It is literally illogical and a major misunderstanding of science and its theories, the nature of theories generally, to ask for a theory to be proved or to not realise that one is being asked a nonsense question when one is being asked for a proof.

Also there is no such thing as "The" Scientific Method. Believing so is an example of scientism. Instead there are a myriad of methods each employed according to their appropriateness.

Ray comfort asks not for many but for just one observation that proves evolution.

But logic informs us that no single observation can ever unequivocally affirm a theoretical conditional proposition. For any one observation and even multiple observations there is always the possibility of some other explanation.

As I have said before - observing the sun's rising might be invoked in support of heliocentircism yet that one observation could be more simply invoked in support of geocentricism - such is the weakness in pursuits of some single observation that supports or proves a theory. The strength of a theory is measured not by it being supported by one single observation but rather that it explains all related observations and so not one but a list of observation must be invoked when trying to demonstrate that a theory is a good explanation.

The theory of evolution is not confirmed and, like all theories, nor can it be proved, by any single observation - instead it is the best explanation for all the observations taken as a whole.



Further reading: Science and Pseudoscience by Imre Lakatos

End Note:
And if that got a bit heavy...you might consider a little relaxation. A great artist I found at Reverbnation: