Essay PreviewMore ↓
There is a lot of empirical evidence supporting the proposition '‘All metals expand when heated’. For example on many, many occasions we have observed metals expanding when heated. Because of this large amount of evidence we take the proposition to be true (or highly likely to be true).
The proposition '‘All metals expand when heated’ is caled a universal proposition. A universal proposition mentions al things of a certain kind. The proposition '‘Al metals expand when heated’ is about al metals, not just some of them; it is about al pieces of metal, not just some pieces. Any piece of metal, any kind of metal, according to this proposition, wil expand when heated. Now as we have said there is a great deal of evidence supporting this universal proposition; it is not a proposition that many would doubt. But however large the body of evidence supporting this proposition, and whatever the variety, this body of evidence is finite. Our experience is finite, even our colective experience. But the proposition is universal: it refers to al metals, not just this bit or that bit, nor this kind or that kind. Any bit of metal at al,
whatever kind, wil expand when heated. This is what the proposition says. The proposition does not just say, only those bits of metal that we have observed, expand when heated. Those bits we have observed, they expand when heated; but the proposition also says, even those bits that we have not observed expand when heated. This is what the '‘al’ means; this is why we cal the proposition universal.
The evidence which supports ‘Al metals expand when heated’ is finite. The proposition which draws support from this evidence is universal. How can finite evidence support a universal proposition? A universal proposition, even when supported by evidence, goes wel beyond evidence. There are infinitely many bits of metal. Compared to the many bits of metal in the universe the bits we have observed is only a tiny fraction. How can a tiny fraction support such a large number? When we have no evidence for a proposition we would not take the proposition to be true. When we have only a litle evidence for a proposition we stil would not take it to be true. If we are to take a proposition to be true, or likely to be true, we require a large amount of evidence.
How to Cite this Page
"Finite Evidence and Universal Propositions." 123HelpMe.com. 17 Dec 2018
Need Writing Help?
Get feedback on grammar, clarity, concision and logic instantly.Check your paper »
- For thousands of years, religions have had a monumental impact upon billions of people’s lives. Religions have affected every square inch of the planet, and have influenced almost everyone’s life. There are two types of religions, universal, and ethnic. Universal religions have managed to proselytize an impressive amount of followers across the globe. Ethnic religions and universal religions are very different. While ethnic religions have stayed in concentrated areas, isolated from everyone else, not seeking any other followers, universal religions had openly welcomed many diverse people, and succeeded to rapidly solve major world issues.... [tags: Universal Religions Essays]
1140 words (3.3 pages)
- Aristotle starts by saying we suppose ourselves to possess knowledge of a thing, rather than accidentally knowing it (sophist). He asserts that we know all events by demonstration: by a syllogism that is a product of scientific knowledge. Assuming this is true, the premises must be true because we can’t know what doesn’t exist, they must be primary or basic truths which is an immediate proposition, they must be indemonstrable because you need a demonstration to know something demonstrable, they must cause the conclusion, and they must be better known and prior to the conclusion.... [tags: aristotle, enunciations]
824 words (2.4 pages)
- Before forensic evidence is presented in a trial, it must be deemed admissible (Imwinkelried, 1998). The admissibility of evidence is determined by its reliability, its relevance and its legitimacy. The evidence must be screened against the trial court’s Rules of Evidence. The trial court is the deciding factor on the admissibility or inadmissibility of any forensic evidence. The Rules of Evidence are utilized by the courts to determine if either side (Defense or Prosecution), have presented any evidence that may be irrelevant to the case at hand (Imwinkelried, 1998).... [tags: Evidence law]
1001 words (2.9 pages)
- Currently, there are thousands of religions in the world. These religions can be identified as two groups: universal and ethnic. Universal religions can be defined as two words: proselytizing, and accepting. Ethnic religions are religions that are clique. However, universal religions are more beneficial for the health of the world; they influence others on their culture and history, they are generally more accepting and welcoming of diverse affiliations of people, and they also encourage egalitarianism of people throughout the world.... [tags: Universal Religions Essays]
1241 words (3.5 pages)
- Within this essay Evidence based Practice will be identified and the significant effect it has on the nursing profession, barriers will also be explored in the implementation of Evidence Based Practice. Individuals need specific care tailored to them, it is vitality important to have the correct professional and appropriate personal care. In order to receive this we need to get the patient involved in the decision process, listen to their views and opinions and receive the relevant, accurate, professional and medical information.... [tags: Evidence Based Practice (EBP)]
713 words (2 pages)
- “The investigation of [a]crime encompasses the collection of information and evidence for identifying, apprehending, and convicting suspected offenders” (Osterburg). Many things may come to mind when an investigation is mentioned, such as TV shows of Law and Order, CSI and Criminal Minds. The realities of an investigation though differ from these TV shows immensely. In reality, there are certain responsibilities an investigator must go through to achieve the evidence needed to prosecute the offender and close the case successfully.... [tags: crime scene, investigator, case evidence]
1315 words (3.8 pages)
- Defining Evidence-based Practice An Introduction into Evidence-Based Practice Evidence-based practice (EBP) is a process, a clinical master tool, so to speak, used by the nurse who is focused on positive outcomes in patient care. Registered Nurses (RNs), that assume a leadership role, continuously assess their practice in order to find out what is working and what is lacking or in need of more information (Barry, 2014). The RN who uses EBP strives to prevent healthcare errors, critically thinking through processes and anticipating obstacles, methodically drawing upon clinical research and expertise, including their own knowledge and drawing upon the individual patient experience toward imp... [tags: Nursing, Patient, Evidence-based medicine]
1515 words (4.3 pages)
- Universal Orlando Resorts are sizzling escapade theme park owned by NBCUniversal and is located in Orlando, Florida. The Universal Orlando Resorts comprises of twin theme parks known as the Island of Adventure and Universal Studios Florida, three Hard Rock Hotel, Loews Hotels (Loews Portofino Bay Hotel and Loews Royal Pacific Resort respectively along with the all night exotic entertainment complex – The Universal CityWalk Orlando. Universal Orlando was originally opened in the year 1990 as Universal Studios Florida and flourished in to the largest ever theme park located in the Orlando.... [tags: Island of Adventure, Universal Studios Florida]
672 words (1.9 pages)
- Are There Synthetic A-Priori Propositions. From a logical point of view, the propositions that express human knowledge can be divided according to two distinctions. First is the distinction between propositions that are a priori, in the sense that they are knowable prior to experience, and those that are a posteriori, in the sense that they are knowable only after experience. Second is the distinction between propositions that are analytic, that is, those in which the predicate is included in the subject, and those that are synthetic, that is, those in which the predicate is not included in the subject.... [tags: Papers]
848 words (2.4 pages)
- Access, efficiency, quality, and sustainability have been the issues put into question in the on going battle of the health care reform over the years. Today President Obama is working on providing coverage for uninsured American's. His solution: universal health care. “Universal health care is a health care coverage for all eligible residents of a political region and often covers medical, dental, and mental health care.” (“Universal Health Care” 1). This may be beneficial for the lower income families, but for the greater majority of insured American's 'Obamacare' comes up short.... [tags: Universal Healthcare, Healthcare]
408 words (1.2 pages)
A Once-Popular Answer
It appears strange that finite evidence can support universal propositions. We have used metals expanding as an example but the same question can be raised in other cases. Much of the knowledge we have are represented by universal propositions; but the evidence we have for them can only be finite. How can finite evidence support universal propositions?
Not so long ago a popular answer to this question has it that finite evidence can support universal propositions because besides deductive logic there is also an ampliative logic (also caled inductive), a logic that alows us to arive at conclusions which contain more information than is present in the premises. If there is such a logic, we can use propositions describing the evidence as premises and see if these premises validly lead to some universal proposition as conclusion. If they do, the universal proposition receives logical support. For example we can use propositions reporting actual instances of metals expanding as premises and see if these premises validly lead to the conclusion that al metals expand when heated. If they do, then these premises logicaly support the conclusion that al metals expand when heated.
Why speak here of an ampliative logic? How is ampliative logic diferent from deductive logic?
A logic is a set of rules teling us when reasoning is valid. In deductive logic we have a set of rules teling us when deductive reasoning is valid. In valid deductive reasoning, there is never more information in the conclusion than is present in the premises. An ampliative logic is a set of rules teling us when ampliative reasoning is valid. In valid ampliative reasoning there is more information in the conclusion than is present in the premises. We need an ampliative logic if finite evidence is to provide logical support to universal propositions because deductive logic cannot explain why such support is possible. Indeed, according to deductive logic, if we reason from finite evidence to universal propositions our reasoning wil necessarily be invalid. It wil necessarily be invalid because the universal propositions go beyond the evidence (where the information they cary is concerned). In our example about metals expanding the universal proposition is about an infinite number of bits of metal whereas the evidence gives us information only about a finite number. In valid deductive reasoning the conclusion never goes beyond the premises. Since deductive logic cannot explain why finite evidence can support universal propositions, if we want such an explanation, so the argument goes, we need a diferent logic: an ampliative logic, a logic which alows an inference to be valid even when the conclusion goes beyond the premises.
Why does an inference have to be valid? What do we mean by validity? Clearly, this is important. If we are to explain why finite evidence can logicaly support universal propositions the evidence has to lead to the universal proposition validly; otherwise the universal proposition wil not receive logical support. In reasoning premises do not validly lead to just any conclusion; they only validly lead to some and not to others. From a set of premises we can, if we want to, draw any conclusion, but the conclusion we draw wil not necessarily be valid. From the premise that I have one dolar in my bank account I can, if I want to, draw the conclusion that I have one hundred dolars in my bank account but this conclusion wil be invalid. To be valid my inference has to folow general rules which alow of no exceptions, rules of such a kind that whenever the premises are true the conclusion wil be true. There is no general rule which alows me to draw from the premise that I have one dolar in my bank account the conclusion that I have one hundred dolars in my bank account. When we have general rules of the kind mentioned, simply from knowing that we have folowed these rules and that our premises are true, we wil know that the conclusion is true; nothing more is needed. Validity in reasoning has to do with general rules, rules detaling the forms of reasoning in which if the premises are true, the conclusion wil also be true. It is for this reason that valid inference is useful.
It is important to notice that in valid reasoning it is not suficient that the premises and conclusions happen to be true. Suppose it is true that I have one dolar in my bank account and also true that I have one hundred dolars in my walet. From the premise 'I have one dolar in my bank account' I cannot validly infer the conclusion 'I have one hundred dolars in my walet'. I cannot validly do this because there is no general rule that alows me to do so, even though in this case both premise and conclusion happen to be true. But it is not suficient that they happen to be true. For the inference to be valid the truth of the conclusion has to be guaranteed to folow from the truth of the premises by some general rule.
Are there general rules guaranteeing that the truth of the conclusion wil folow from the truth of the premises in ampliative reasoning? If there are such rules; if there is an ampliative logic; finite evidence can support universal propositions.
Until recently, as I have said, it is popular to think there is an ampliative logic; it is just that we do not know it yet. It, this ampliative logic, has yet to be found, according to this popular belief.
The search for an ampliative logic started a long time ago but despite much efort none has been discovered. As a result this once popular answer— that finite evidence supports universal propositions logicaly—is not so popular any more.
Is it likely that there is an ampliative logic stil waiting to be found? That none has been found so far does not mean that one cannot be found later on.
It seems not likely that there should be an ampliative logic. If there were, then simply by reasoning—that is, , by treating propositions in a certain way—we should arive at knowledge not contained in the evidence. An ampliative logic is supposed to lead to conclusions containing more information than is present in the premises. If we know the premises to be true, by folowing such a logic we should arive at knowledge that goes beyond the knowledge present in the premises. The excess results simply from this passage from premise to conclusion. The knowledge present in the premises could have resulted from experience but the excess present in the conclusion does not; it is simply produced by the ampliative logic. It is not likely that there is a logic this powerful.
In the absence of an ampliative logic, Karl Popper [1959, 1963] says we can never claim that a universal proposition is true, or close to being true, or even probably true. We may hope that it is true but whatever the amount of evidence there can be no support that it is. Evidence is always finite. Finite evidence, Popper says, cannot support universal propositions. Finite evidence can be used to refute a universal proposition but never support it. If there is one piece of metal which does not expand when heated the proposition that al metals expand when heated is false. But no amount of evidence about metals expanding can support the proposition that al metals expand when heated, according to Popper. According to Popper we do not know that al metals expand when heated. That al metals expand when heated is just an as-yet unrefuted theory.
Support other than logical
Is it true that if universal propositions can be supported by finite evidence, the only way is by using an ampliative logic? If it is, and if there is no ampliative logic, then universal propositions cannot be supported by finite evidence.
But how do we know that this is true? How do we know that the only kind of support for universal propositions is logical? Is it beyond imagination that finite evidence can support universal proposition in some other way? When a statue is about to fal down we can prop it up in many ways: we can use wood, or metal, or masonry, or baloons, …. For a statue there is no reason why support should be limited to just one way. If we use our imagination we can think of many. Why should the support provided by finite evidence to universal propositions be diferent? Why should this support be limited to just one way—which, , moreover, does not work. Is our imagination that impoverished?
In fact do we have to depend on imagination to find a way by which finite evidence can support universal propositions? //Have we not seen in the example in cryptanalysis we have been using in earlier essays in this book finite evidence supporting universal propositions?
In our example we are given the folowing cryptogram to solve. SBR SBCTU DBCKERVS FCGG WTTCXR SFH FRRJD YTHE SHUWI
What are some of the results we have obtained? They are, put slightly diferently, , the folowing.
Al ciphertext leters S stand for cleartext leter T. Al ciphertext leters B stand for cleartext leter H. Al ciphertext leters R stand for cleartext leter E.
We see here that al these are universal propositions!
What evidence do we have for these universal propositions? What evidence do we have that supports them?
We have finite evidence! The evidence we have for ariving at these universal propositions—which we think are likely to be true—is the cryptogram that we have been given to solve, the cryptogram that begins with SBR and ends with SHUWI, a cryptogram that we can squeeze into a single line, a cryptogram that contains only 43 leters.
Why do we think the universal propositions we have obtained are likely to be true? Is it because of a non-existent logic?
Clearly no. We crack ciphers by folowing clues. When folowing clues we can tel that our results are likely to be right even though we cannot compare them to originals. We can tel because there is a method embedded in the clue-folowing process: the theseological method. The theseological method tels us that we should folow clues and not make wild guesses. Not only this but we should also develop new clues from old. When old clues lead to more and more new clues they, the old clues, are likely to have been corectly interpreted. The more (generations of) new clues they lead to, the more likely this is the case.
In cracking our cipher we arive at a set of universal propositions by using the cryptogram as evidence, a cryptogram which is finite in length. From this example we see, finite evidence supports universal propositions not because of some non-existent logic, but because of a method: theseological method. The support that universal propositions receive from finite evidence is not logical but methodological.//
Perhaps the theseological method is a kind of logic? This it cannot be. A logic tels us what conclusions to draw from what premises, but the theseological method is not about premises and conclusions at al; it is about clues and new clues.
Why is it that by folowing the theseological method we can arive at universal propositions from finite evidence? How is it that the theseological method can bridge the gap between the finite and the universal? This gap is huge; it is hard to imagine how it can be filed. Compared to the infinite, the finite is close to nothing.
If we look carefuly into our understanding of the theseological method this apparent mystery—that the finite can support the infinite—disappears. The first important thing to notice in this connection is that the universal propositions (al S is T, etc.) are not obtained from the evidence by some kind of inference; they are, instead, suggested by clues. The clues are in the evidence. In answer to these clues we put forward the universal propositions as hypotheses. When these hypotheses lead to new clues we know then they are likely to be corect. But when the hypotheses are corect, , what do they tel us? They tel us how the cipher works, the cipher we have broken. Why is the cipher breakable? It is breakable because it has a structure, the reason why there are clues. What describes the structure of this cipher we have broken? The universal propositions that we have found to be corect!
So this is how finite evidence leads to universal propositions. It does so by providing those clues which eventualy lead to the corect description of a structure by a set of universal propositions. There is no gap between the finite and the infinite. There is such a gap if we keep thinking that the universal propositions are infered from propositions describing the evidence. The evidence is made up of particular things that we have experienced (for example, the SBR cryptogram). When you have a finite set of premises describing particular things and you infer from this set of premises a universal proposition, of course you wil have a huge gap, the gap between the finite and the infinite. But when we folow the theseological method the universal propositions are not infered from the evidence. The theseological method is about clues and new clues. The evidence contains clues which, being the characteristics of structures, alow us to recognise those structures hidden behind the evidence. Of course the more clues we have the easier it is to pin down these structures, but there is no requirement that we should have an infinite number of clues. Since there is no need for an infinite number of clues, there is no need for an infinite amount of evidence. Finite evidence can provide us with enough clues to be reasonably certain what the hidden structures are, as in our SBR example. Now some of the structures we uncover this way we describe by universal propositions. The cipher in our example we describe by a set of universal propositions. In this cipher, al S is T and al B is H. If we change any of these universal propositions, we wil have a diferent cipher. Now it does not mater how many times a cipher is used; we wil stil describe it by using universal propositions. The cipher in our example could have been used only once or it could have been used a milion times; in al cases al S is T. In al cases this universal proposition is hidden in the cryptogram generated by the cipher. Now al this we can understand; there is no mystery here, no gap between the finite and the infinite, no such gap because the infinite is not infered from the finite.
Of course, if we revert to thinking that the universal propositions are infered from the evidence, forgeting al that we have said about clues and structures and the way some structures are described, the gap between the finite and the infinite reappears. But why should we revert to that way of thinking? Is there any one who prefer insoluble mysteries to rational explanations?
Investigations vs. Generalisations
The way metals behave shows a patern: whenever they are heated they expand. In addition to this bit of evidence, we also have the universal proposition 'Al metals expand when heated', which proposition most people believe to be true. Now if we put these two pieces of information together, does it mean that whenever we see a patern repeating itself we can form a generalisation from it? For example, suppose I have found from past records the stock market always rise the day before a ful moon, can I infer that it wil always rise the day before a ful moon, not just in the past but also in the future?
From what we have done so far we can see that we cannot validly make such an inference. This inference is ampliative. As far as we know, there is no ampliative logic. It is true that in practice many people do make this kind of inference but that many do does not make this kind of inference valid. The proper way to ascertain the truth of a universal proposition like this one is not through ampliative reasoning but by carying out an investigation, that is, by folowing clues. Those who understand this clue-folowing or theseological process wil not generalise indiscriminately: they know that not al paterns that have repeated themselves in the past wil do so indefinitely in the future. A bank robber casing a bank several days in a row wil not keep on doing so for ever; one of these days he wil stop and rob the bank. How a repeating patern wil behave depends on the reason behind the patern. The way to catch hold of this reason is to folow clues, and to develop new clues from old. Using observations about metals expanding as a clue, and developing from it other clues, we have found there is a structural reason why metals always expand when heated: it has to do with the vibration of the molecules. We have no structural reasons to believe that the stock market wil always rise the day before a ful moon.
What is included in the evidence
When folowing the theseological method finite evidence can support universal propositions. We have the proposition 'Al metals expand when heated' which most people believe to be true. What evidence is there that supports it? Is the only evidence the fact that in the past al metals expand when heated?
From what we have said in the last section we can see that the fact that in the past al metals expand when heated cannot be the only evidence supporting 'Al metals expand when heated'. That a patern has repeated itself in the past is not suficient evidence that it wil repeat itself in the future. Some paterns that has repeated itself in the past wil repeat itself indefinitely but some wil not: it depends on the reason for the patern.
If the fact that metals expand when heated in the past is not suficient evidence that al metals expand when heated, what other evidence is needed? From what we have understood of the theseological process we can see that the evidence needed in addition to the patern itself is evidence in the presence of which the hypothesis that al metals expand when heated has led to new clues. There is a large body of such evidence except that we are not in the habit of citing it. In practice there is no need. In most investigations we usualy make use of a large number of third party results, for which we do not cite the evidence. As long as our investigation is able to advance, we take these results to be corect (see Essay 2).
When looking for knowledge of things hidden we should guard against looking
set of universal propositions, not just a universal proposition. Similarly we describe the structures we find in this world by sets of universal propositions. The proposition '‘Al metals expand when heated’ is one member of one of these sets. When we go after hidden structures by folowing clues we do not go after a single, isolated universal proposition; we go after the sets by which these structures are described. Because the proposition '‘Al metals expand when heated’ is one of the universal propositions with which we describe a structure, it can be supported by finite evidence. This means also, as we have pointed out, the evidence supporting the proposition '‘Al metals expand when heated’ wil have to include more than just those instances in which we observe metals expanding when heated. In our example in cryptanalysis we do not uncover the universal proposition S = T in isolation; we uncover other universal propositions as wel. Together these universal propositions describe the cipher. But we use the same cryptogram as evidence. The same evidence that supports S = T supports other universal propositions at the same time, such as B = H and R = E and so on.
A plaintext attack is possible only sometimes
The evidence supporting the universal proposition that al metals expand when heated includes actual instances of pieces of metal expanding when heated. Without these actual instances, could we have arived at the same universal proposition?
Some may think we could not. Without actualy seeing pieces of metals expanding when heated, they wil ask, how could we arive at the proposition that al metals expand when heated?
From a (purely) logical standpoint, that we could arive at the proposition that al metals expand when heated without seeing a single piece of metal expanding when heated, appears strange. But we could have by folowing clues. In our SBR example to uncover the proposition that al S is T we did not use as evidence even a single instance where we see an S being a T. We see S but not T. We see SB in the cryptogram. We think SB stands for TH. But we do not see TH. TH is in the plaintext which is hidden from view. In this case therefore, without seeing one single case of an S standing for a T, we arive at the universal proposition that al S is T. To arive at a universal proposition when folowing the theseological method we sometimes do not need to have experienced any of those instances included under the universal proposition.
Why is it that sometimes we can experience such instances and sometimes not? Are there situations in cryptanalysis in which we can experience instances included under the universal proposition?
There are. This kind of situation in cryptanalysis is caled a plaintext atack. Let me explain.
In our SBR example we were required to find the cipher and the plaintext when given only the cryptogram. This of course makes the cryptanalysis dificult. If we had been given the plaintext and the cryptogram at the same time, and were asked merely to find the cipher, our task would have been a lot simpler. Solving a cipher when given both the cryptogram and plaintext is caled a plaintext atack. If we had been able to employ a plaintext atack in solving our cryptogram, we would have seen many instances of Ss being Ts when we put the plaintext and the cryptogram side by side.
THE THIRD SHIPMENT WILL ARRIVE TWO WEEKS FROM TODAY SBR SBCTU DBCKERVS FCGG WTTCXR SFH FRRJD YTHE SHUWI
Both in cryptanalysis and elsewhere, to arive at a universal proposition by folowing clues we sometimes could have experienced instances included in the universal proposition. But this is only sometimes. At other times we could have arived at a universal proposition without having experienced any instances included in the universal proposition. In science text books we find in plain view many universal propositions about things unobserved, for example, universal propositions about the electron. No one has ever seen an electron. We can see the efects of an electron but not the electron itself. How can such universal propositions be possible? There is no mystery from the theseological standpoint. In folowing clues we can legitimately arive at universal propositions about the unobserved.