Volterra operator: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>NESFreak
No edit summary
 
It should be f∈L²(0,1) rather than f(s)∈L²(0,1) - the latter one is the value of the function f at s and not the function itself.
Line 1: Line 1:
Nice to meet you, my title is Figures Held although I don't really like being called like that. California is our beginning place. Hiring is her day job now but she's usually needed her own company. Playing baseball is the pastime he will never stop doing.<br><br>My website: [https://mostlymusiccom.zendesk.com/entries/53427870-Prevent-Candida-Albicans-Before-Hand-With-These-Tips at home std testing]
{{otheruses}}
 
{{More footnotes|date=March 2013}}
An '''inquiry''' is any process that has the aim of augmenting [[knowledge]], resolving [[doubt]], or [[problem solving|solving a problem]]. A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim.
{{TOC limit|limit=3}}
==Classical sources==
===Deduction===
<blockquote>
When three terms are so related to one another that the last is wholly contained in the middle and the middle is wholly contained in or excluded from the first, the extremes must admit of perfect syllogism. By 'middle term' I mean that which both is contained in another and contains another in itself, and which is the middle by its position also; and by 'extremes' (a) that which is contained in another, and (b) that in which another is contained. For if ''A'' is predicated of all ''B'', and ''B'' of all ''C'', ''A'' must necessarily be predicated of all ''C''. ... I call this kind of figure the First. (Aristotle, ''Prior Analytics'', 1.4)
</blockquote>
 
===Induction===
<blockquote>
Inductive reasoning consists in establishing a relation between one extreme term and the middle term by means of the other extreme; for example, if ''B'' is the middle term of ''A'' and ''C'', in proving by means of ''C'' that ''A'' applies to ''B'';  for this is how we effect inductions. (Aristotle, ''Prior Analytics'', 2.23)
</blockquote>
 
===Abduction===
The ''locus classicus'' for the study of [[abductive reasoning]] is found in [[Aristotle]]'s ''[[Prior Analytics]]'', Book 2, Chapt. 25. It begins this way:
<blockquote>
We have Reduction (απαγωγη, [[abductive reasoning|abduction]]):
:# When it is obvious that the first term applies to the middle, but that the middle applies to the last term is not obvious, yet is nevertheless more probable or not less probable than the conclusion;
:# Or if there are not many intermediate terms between the last and the middle;
For in all such cases the effect is to bring us nearer to knowledge.
</blockquote>
 
By way of explanation, [[Aristotle]] supplies two very instructive examples, one for each of the two varieties of abductive inference steps that he has just described in the abstract:
<blockquote>
:# For example, let ''A'' stand for "that which can be taught", ''B'' for "knowledge", and ''C'' for "morality". Then that knowledge can be taught is evident;  but whether virtue is knowledge is not clear. Then if ''BC'' is not less probable or is more probable than ''AC'', we have reduction;  for we are nearer to knowledge for having introduced an additional term, whereas before we had no knowledge that ''AC'' is true.
:# Or again we have reduction if there are not many intermediate terms between ''B'' and ''C'';  for in this case too we are brought nearer to knowledge. For example, suppose that ''D'' is "to square", ''E'' "rectilinear figure", and ''F'' "circle".  Assuming that between ''E'' and ''F'' there is only one intermediate term — that the circle becomes equal to a rectilinear figure by means of [[lunule]]s — we should approximate to knowledge. ([[Aristotle]], "[[Prior Analytics]]", 2.25, with minor alterations)
</blockquote>
 
Aristotle's latter variety of abductive reasoning, though it will take some explaining in the sequel, is well worth our contemplation, since it hints already at streams of inquiry that course well beyond the syllogistic source from which they spring, and into regions that Peirce will explore more broadly and deeply.
 
==Inquiry in the pragmatic paradigm==
In the pragmatic philosophies of [[Charles Sanders Peirce]], [[William James]], [[John Dewey]], and others, inquiry is closely associated with the [[normative science]] of [[logic]]. In its inception, the pragmatic model or theory of inquiry was extracted by Peirce from its raw materials in classical logic, with a little bit of help from [[Immanuel Kant|Kant]], and refined in parallel with the early development of symbolic logic by [[George Boole|Boole]], [[Augustus De Morgan|De Morgan]], and Peirce himself to address problems about the nature and conduct of scientific reasoning. Borrowing a brace of concepts from [[Aristotle]], Peirce examined three fundamental modes of reasoning that play a role in inquiry, commonly known as [[abductive reasoning|abductive]], [[deductive reasoning|deductive]], and [[inductive reasoning|inductive]] [[inference]].
 
In rough terms, ''[[abductive reasoning|abduction]]'' is what we use to generate a likely [[hypothesis]] or an initial [[diagnosis]] in response to a phenomenon of interest or a problem of concern, while ''[[deductive reasoning|deduction]]'' is used to clarify, to derive, and to explicate the relevant consequences of the selected hypothesis, and ''[[inductive reasoning|induction]]'' is used to test the sum of the predictions against the sum of the data. It needs to be observed that the classical and pragmatic treatments of the types of reasoning, dividing the generic territory of inference as they do into three special parts, arrive at a different characterization of the environs of reason than do those accounts that count only two.
 
These three processes typically operate in a cyclic fashion, systematically operating to reduce the uncertainties and the difficulties that initiated the inquiry in question, and in this way, to the extent that inquiry is successful, leading to an increase in knowledge or in skills.
 
In the pragmatic way of thinking everything has a purpose, and the purpose of each thing is the first thing we should try to note about it. <ref> Rescher, N. (2012). ''Pragmatism: The Restoration of its Scientific Roots''. New Brunswick, NJ: Transaction Press. </ref> The purpose of inquiry is to reduce doubt and lead to a state of belief, which a person in that state will usually call ''[[knowledge]]'' or ''[[certainty]]''. As they contribute to the end of inquiry, we should appreciate that the three kinds of inference describe a cycle that can be understood only as a whole, and none of the three makes complete sense in isolation from the others. For instance, the purpose of abduction is to generate guesses of a kind that deduction can explicate and that induction can evaluate. This places a mild but meaningful constraint on the production of hypotheses, since it is not just any wild guess at explanation that submits itself to reason and bows out when defeated in a match with reality. In a similar fashion, each of the other types of inference realizes its purpose only in accord with its proper role in the whole cycle of inquiry. No matter how much it may be necessary to study these processes in abstraction from each other, the integrity of inquiry places strong limitations on the effective [[modularity]] of its principal components.
 
In ''Logic: The Theory of Inquiry'', John Dewey defined inquiry as "the controlled or directed transformation of an indeterminate situation into one that is so determinate in its constituent distinctions and relations as to convert the elements of the original situation into a unified whole" <ref> Dewey, John (1938). ''Logic: The Theory of Inquiry''. New York:NY: D.C. Heath & Co.(http://www2.sunysuffolk.edu/osullis/spring07/courses/page0/history/documents_files/Dewey_pattern%20of%20inquiry.pdf) </ref> Dewey and Peirce's conception of inquiry extended beyond a system of thinking and incorporated the social nature of inquiry. These ideas are summarize in the notion [[Community of inquiry]].<ref>{{cite web|last=Peirce|first=C.S.|title=The Fixation of Belief|url=http://en.wikisource.org/wiki/The_Fixation_of_Belief|work=1877|publisher=Wikisource|accessdate=4 June 2012}}</ref><ref>{{cite web|last=Seixas|first=Peter|title=The Community of Inquiry as a Basis for Knowledge and Learning: The Case of History|url=http://aer.sagepub.com/content/30/2/305.short|publisher=Sage|accessdate=4 June 2012}}</ref><ref>{{cite web|last=Shields|first=Patricia|title=The Community of Inquiry|url=http://aas.sagepub.com/content/35/5/510.short|publisher=Sage|accessdate=4 June 2012}}</ref>
 
===Art and science of inquiry===
For our present purposes, the first feature to note in distinguishing the three principal modes of reasoning from each other is whether each of them is exact or approximate in character. In this light, deduction is the only one of the three types of reasoning that can be made exact, in essence, always deriving true conclusions from true premises, while abduction and induction are unavoidably approximate in their modes of operation, involving elements of fallible judgment in practice and inescapable error in their application.
 
The reason for this is that deduction, in the ideal limit, can be rendered a purely internal process of the reasoning agent, while the other two modes of reasoning essentially demand a constant interaction with the outside world, a source of phenomena and problems that will no doubt continue to exceed the capacities of any finite resource, human or machine, to master. Situated in this larger reality, approximations can be judged appropriate only in relation to their context of use and can be judged fitting only with regard to a purpose in view.
 
A parallel distinction that is often made in this connection is to call deduction a ''demonstrative'' form of inference, while abduction and induction are classed as ''[[non-demonstrative]]'' forms of reasoning. Strictly speaking, the latter two modes of reasoning are not properly called inferences at all. They are more like controlled associations of words or ideas that just happen to be successful often enough to be preserved as useful heuristic strategies in the repertoire of the agent. But non-demonstrative ways of thinking are inherently subject to error, and must be constantly checked out and corrected as needed in practice.
 
In classical terminology, forms of judgment that require attention to the context and the purpose of the judgment are said to involve an element of "art", in a sense that is judged to distinguish them from "science", and in their renderings as expressive judgments to implicate arbiters in styles of [[rhetoric]], as contrasted with [[logic]].
 
In a figurative sense, this means that only deductive logic can be reduced to an exact theoretical science, while the practice of any empirical science will always remain to some degree an art.
 
===Zeroth order inquiry===
Many aspects of inquiry can be recognized and usefully studied in very basic logical settings, even simpler than the level of [[syllogism]], for example, in the realm of reasoning that is variously known as ''[[Boolean algebra (logic)|Boolean algebra]]'', ''[[propositional logic|propositional calculus]]'', ''sentential calculus'', or ''zeroth-order logic''. By way of approaching the learning curve on the gentlest availing slope, we may well begin at the level of ''[[zeroth-order inquiry]]'', in effect, taking the syllogistic approach to inquiry only so far as the propositional or sentential aspects of the associated reasoning processes are concerned. One of the bonuses of doing this in the context of Peirce's logical work is that it provides us with doubly instructive exercises in the use of his [[logical graph]]s, taken at the level of his so-called "[[alpha graph]]s".
 
In the case of propositional calculus or sentential logic, deduction comes down to applications of the [[transitive relation|transitive law]] for conditional implications and the approximate forms of inference hang on the properties that derive from these. In describing the various types of inference I will employ a few old "terms of art" from classical logic that are still of use in treating these kinds of simple problems in reasoning.
 
: '''Deduction''' takes a Case, the [[minor premise]] <math>X \Rightarrow Y</math>
: and combines it with a Rule, the major premise <math>Y \Rightarrow Z</math>
: to arrive at a Act, the demonstrative [[logical consequence|conclusion]] <math>X \Rightarrow Z.</math>
 
: '''Induction''' takes a Case of the form <math>X \Rightarrow Y</math>
: and matches it with a Fact of the form <math>X \Rightarrow Z</math>
: to infer a Rule of the form <math>Y \Rightarrow Z.</math>
 
: '''Abduction''' takes a Fact of the form <math>X \Rightarrow Z</math>
: and matches it with a Rule of the form <math>Y \Rightarrow Z</math>
: to infer a Case of the form <math>X \Rightarrow Y.</math>
 
For ease of reference, Figure 1 and the Legend beneath it
summarize the classical terminology for the three types
of inference and the relationships among them.
 
<pre style="width: 700px;">
o-------------------------------------------------o
|                                                |
|                  Z                            |
|                  o                            |
|                  |\                            |
|                  | \                          |
|                  |  \                          |
|                  |  \                        |
|                  |    \                        |
|                  |    \  R U L E            |
|                  |      \                      |
|                  |      \                    |
|              F  |        \                    |
|                  |        \                  |
|              A  |          \                  |
|                  |          o Y              |
|              C  |          /                  |
|                  |        /                  |
|              T  |        /                    |
|                  |      /                    |
|                  |      /                      |
|                  |    /  C A S E            |
|                  |    /                        |
|                  |  /                        |
|                  |  /                          |
|                  | /                          |
|                  |/                            |
|                  o                            |
|                  X                            |
|                                                |
| Deduction takes a Case of the form X → Y,      |
| matches it with a Rule of the form Y → Z,      |
| then adverts to a Fact of the form X → Z.      |
|                                                |
| Induction takes a Case of the form X → Y,      |
| matches it with a Fact of the form X → Z,      |
| then adverts to a Rule of the form Y → Z.      |
|                                                |
| Abduction takes a Fact of the form X → Z,      |
| matches it with a Rule of the form Y → Z,      |
| then adverts to a Case of the form X → Y.      |
|                                                |
| Even more succinctly:                          |
|                                                |
|          Abduction  Deduction  Induction      |
|                                                |
| Premise:    Fact      Case      Case        |
| Premise:    Rule      Rule      Fact        |
| Outcome:    Case      Fact      Rule        |
|                                                |
o-------------------------------------------------o
Figure 1.  Elementary Structure and Terminology
</pre>
 
In its original usage a statement of Fact has to do with a deed done or a record made, that is, a type of event that is openly observable and not riddled with speculation as to its very occurrence. In contrast, a statement of Case may refer to a hidden or a hypothetical cause, that is, a type of event that is not immediately observable to all concerned. Obviously, the distinction is a rough one and the question of which mode applies can depend on the points of view that different observers adopt over time. Finally, a statement of a Rule is called that because it states a regularity or a regulation that governs a whole class of situations, and not because of its syntactic form. So far in this discussion, all three types of constraint are expressed in the form of conditional propositions, but this is not a fixed requirement. In practice, these modes of statement are distinguished by the roles that they play within an argument, not by their style of expression. When the time comes to branch out from the syllogistic framework, we will find that propositional constraints can be discovered and represented in arbitrary syntactic forms.
 
==Example of inquiry==
Examples of inquiry, that illustrate the full cycle of its abductive, deductive, and inductive phases, and yet are both concrete and simple enough to be suitable for a first (or zeroth) exposition, are somewhat rare in Peirce's writings, and so let us draw one from the work of fellow pragmatician [[John Dewey]], analyzing it according to the model of zeroth-order inquiry that we developed above.
<blockquote>
A man is walking on a warm day. The sky was clear the last time he observed it; but presently he notes, while occupied primarily with other things, that the air is cooler. It occurs to him that it is probably going to rain; looking up, he sees a dark cloud between him and the sun, and he then quickens his steps. What, if anything, in such a situation can be called thought? Neither the act of walking nor the noting of the cold is a thought. Walking is one direction of activity; looking and noting are other modes of activity. The likelihood that it will rain is, however, something ''suggested''. The pedestrian ''feels'' the cold; he ''thinks of'' clouds and a coming shower. (John Dewey, ''How We Think'', pp. 6-7).
</blockquote>
 
===Once over quickly===
Let's first give Dewey's elegant example of inquiry in everyday life the quick once over, hitting just the high points of its analysis into Peirce's three kinds of reasoning.
 
====Abductive phase====
In Dewey's "Rainy Day" or "Sign of Rain" story, we find our peripatetic hero presented with a surprising Fact:
:* Fact: C → A, In the Current situation the Air is cool.
 
Responding to an intellectual reflex of puzzlement about the situation, his resource of common knowledge about the world is impelled to seize on an approximate Rule:
:* Rule: B → A, Just Before it rains, the Air is cool.
This Rule can be recognized as having a potential relevance to the situation because it matches the surprising Fact, C → A, in its consequential feature A.
 
All of this suggests that the present Case may be one in which it is just about to rain:
:* Case: C → B,  The Current situation is just Before it rains.
 
The whole mental performance, however automatic and semi-conscious it may be, that leads up from a problematic Fact and a previously settled knowledge base of Rules to the plausible suggestion of a Case description, is what we are calling an [[abductive inference]].
 
====Deductive phase====
The next phase of inquiry uses deductive inference to expand the implied consequences of the abductive hypothesis, with the aim of testing its truth. For this purpose, the inquirer needs to think of other things that would follow from the consequence of his precipitate explanation. Thus, he now reflects on the Case just assumed:
:* Case: C → B, The Current situation is just Before it rains.
 
He looks up to scan the sky, perhaps in a random search for further information, but since the sky is a logical place to look for details of an imminent rainstorm, symbolized in our story by the letter B, we may safely suppose that our reasoner has already detached the consequence of the abduced Case, C → B, and has begun to expand on its further implications. So let us imagine that our up-looker has a more deliberate purpose in mind, and that his search for additional data is driven by the new-found, determinate Rule:
:* Rule: B → D, Just Before it rains, Dark clouds appear.
 
Contemplating the assumed Case in combination with this new Rule leads him by an immediate deduction to predict an additional Fact:
:* Fact: C → D, In the Current situation Dark clouds appear.
 
The reconstructed picture of reasoning assembled in this second phase of inquiry is true to the pattern of [[deductive inference]].
 
====Inductive phase====
Whatever the case, our subject observes a Dark cloud, just as he would expect on the basis of the new hypothesis. The explanation of imminent rain removes the discrepancy between observations and expectations and thereby reduces the shock of surprise that made this process of inquiry necessary.
 
===Looking more closely===
====Seeding hypotheses====
Figure 4 gives a graphical illustration of Dewey's example of inquiry, isolating for the purposes of the present analysis the first two steps in the more extended proceedings that go to make up the whole inquiry.
 
<pre>
o-----------------------------------------------------------o
|                                                          |
|    A                                              D    |
|      o                                            o      |
|      \ *                                      * /      |
|        \  *                                  *  /        |
|        \  *                              *  /        |
|          \    *                          *    /          |
|          \    *                      *    /          |
|            \  R u l e            R u l e  /            |
|            \      *              *      /            |
|              \        *          *        /              |
|              \        *      *        /              |
|                \          * B *          /                |
|              F a c t        o        F a c t              |
|                  \          *          /                  |
|                  \        *        /                  |
|                    \        *        /                    |
|                    \      *      /                    |
|                      \  C a s e  /                      |
|                      \    *    /                      |
|                        \    *    /                        |
|                        \  *  /                        |
|                          \  *  /                          |
|                          \ * /                          |
|                            \*/                            |
|                            o                            |
|                            C                            |
|                                                          |
| A  =  the Air is cool                                    |
| B  =  just Before it rains                                |
| C  =  the Current situation                              |
| D  =  a Dark cloud appears                                |
|                                                          |
| A is a major term                                        |
| B is a middle term                                        |
| C is a minor term                                        |
| D is a major term, associated with A                      |
|                                                          |
o-----------------------------------------------------------o
Figure 4.  Dewey's 'Rainy Day' Inquiry
</pre>
 
In this analysis of the first steps of Inquiry, we have a complex or a mixed form of inference that can be seen as taking place in two steps:
:* The first step is an Abduction that abstracts a Case from the consideration of a Fact and a Rule.
:: Fact: C → A, In the Current situation the Air is cool.
:: Rule: B → A, Just Before it rains, the Air is cool.
:: Case: C → B, The Current situation is just Before it rains.
 
:* The final step is a Deduction that admits this Case to another Rule and so arrives at a novel Fact.
:: Case: C → B, The Current situation is just Before it rains.
:: Rule: B → D, Just Before it rains, a Dark cloud will appear.
:: Fact: C → D, In the Current situation, a Dark cloud will appear.
 
This is nowhere near a complete analysis of the Rainy Day inquiry, even insofar as it might be carried out within the constraints of the syllogistic framework, and it covers only the first two steps of the relevant inquiry process, but maybe it will do for a start.
 
One other thing needs to be noticed here, the formal [[Dualism|duality]] between this expansion phase of inquiry and the argument from [[analogy]]. This can be seen most clearly in the propositional [[graph (data structure)|lattice]] diagrams shown in Figures 3 and 4, where analogy exhibits a rough "A" shape and the first two steps of inquiry exhibit a rough "V" shape, respectively. Since we find ourselves repeatedly referring to this expansion phase of inquiry as a unit, let's give it a name that suggests its duality with [[analogical reasoning|analogy]]—"[[catalogical reasoning|catalogy]]" will do for the moment. This usage is apt enough if one thinks of a catalogue entry for an item as a text that lists its salient features. Notice that [[analogical reasoning|analogy]] has to do with the examples of a given quality, while [[catalogical reasoning|catalogy]] has to do with the qualities of a given example. Peirce noted similar forms of duality in many of his early writings, leading to the consummate treatment in his 1867 paper [http://www.cspeirce.com/menu/library/bycsp/newlist/nl-frame.htm "On a New List of Categories"] (CP 1.545-559, W 2, 49-59).
 
====Weeding hypotheses====
In order to comprehend the bearing of [[inductive reasoning]] on the closing phases of inquiry there are a couple of observations that we need to make:
:* First, we need to recognize that smaller inquiries are typically woven into larger inquiries, whether we view the whole pattern of inquiry as carried on by a single agent or by a complex community.
:* Further, we need to consider the different ways in which the particular instances of inquiry can be related to ongoing inquiries at larger scales. Three modes of inductive interaction between the micro-inquiries and the macro-inquiries that are salient here can be described under the headings of the "Learning", the "Transfer", and the "Testing" of rules.
 
====Analogy of experience====
Throughout inquiry the reasoner makes use of rules that have to be transported across intervals of experience, from the masses of experience where they are learned to the moments of experience where they are applied. Inductive reasoning is involved in the learning and the transfer of these rules, both in accumulating a knowledge base and in carrying it through the times between acquisition and application.
:* Learning. The principal way that induction contributes to an ongoing inquiry is through the learning of rules, that is, by creating each of the rules that goes into the knowledge base, or ever gets used along the way.
:* Transfer. The continuing way that induction contributes to an ongoing inquiry is through the exploit of analogy, a two-step combination of induction and deduction that serves to transfer rules from one context to another.
:* Testing. Finally, every inquiry that makes use of a knowledge base constitutes a "field test" of its accumulated contents. If the knowledge base fails to serve any live inquiry in a satisfactory manner, then there is a prima facie reason to reconsider and possibly to amend some of its rules.
 
Let's now consider how these principles of learning, transfer, and testing apply to John Dewey's "Sign of Rain" example.
 
=====Learning=====
Rules in a knowledge base, as far as their effective content goes, can be obtained by any mode of inference.
 
For example, a rule like:
:* Rule: B → A, Just Before it rains, the Air is cool,
is usually induced from a consideration of many past events, in a manner that can be rationally reconstructed as follows:
:* Case: C → B, In Certain events, it is just Before it rains,
:* Fact: C → A, In Certain events, the Air is cool,
: ------------------------------------------------------------------------------------------
:* Rule: B → A, Just Before it rains, the Air is cool.
 
However, the very same proposition could also be abduced as an explanation of a singular occurrence or deduced as a conclusion of a presumptive theory.
 
=====Transfer=====
What is it that gives a distinctively inductive character to the acquisition of a knowledge base? It is evidently the "analogy of experience" that underlies its useful application. Whenever we find ourselves prefacing an argument with the phrase "If past experience is any guide..." then we can be sure that this principle has come into play. We are invoking an analogy between past experience, considered as a totality, and present experience, considered as a point of application. What we mean in practice is this: "If past experience is a fair sample of possible experience, then the knowledge gained in it applies to present experience". This is the mechanism that allows a knowledge base to be carried across gulfs of experience that are indifferent to the effective contents of its rules.
 
Here are the details of how this notion of transfer works out in the case of the "Sign of Rain" example:
 
Let K(pres) be a portion of the reasoner's knowledge base that is [[logical equivalence|logically equivalent]] to the conjunction of two rules, as follows:
:* K(pres) = (B → A) and (B → D).
 
K(pres) is the present knowledge base, expressed in the form of a logical constraint on the present [[universe of discourse]].
 
It is convenient to have the option of expressing all logical statements in terms of their [[logical model]]s, that is, in terms of the primitive circumstances or the elements of experience over which they hold true.
:* Let E(past) be the chosen set of experiences, or the circumstances that we have in mind when we refer to "past experience".
:* Let E(poss) be the collective set of experiences, or the projective total of possible circumstances.
:* Let E(pres) be the present experience, or the circumstances that are present to the reasoner at the current moment.
 
If we think of the knowledge base K(pres) as referring to the "regime of experience" over which it is valid, then all of these sets of models can be compared by the simple relations of [[set inclusion]] or [[logical implication]].
 
Figure 5 schematizes this way of viewing the "analogy of experience".
 
<pre>
o-----------------------------------------------------------o
|                                                          |
|                          K(pres)                          |
|                            o                            |
|                            /|\                            |
|                          / | \                          |
|                          /  |  \                          |
|                        /  |  \                        |
|                        /  Rule  \                        |
|                      /    |    \                      |
|                      /      |      \                      |
|                    /      |      \                    |
|                    /    E(poss)    \                    |
|              Fact /        o        \ Fact              |
|                  /        *  *        \                  |
|                /      *      *      \                |
|                /      *          *      \                |
|              /    *              *    \              |
|              /    *                  *    \              |
|            /  *  Case          Case  *  \            |
|            /  *                          *  \            |
|          / *                              * \          |
|          /*                                  *\          |
|        o<<<---------------<<<---------------<<<o        |
|      E(past)        Analogy Morphism        E(pres)      |
|    More Known                              Less Known    |
|                                                          |
o-----------------------------------------------------------o
Figure 5.  Analogy of Experience
</pre>
 
In these terms, the "analogy of experience" proceeds by inducing a Rule about the validity of a current knowledge base and then deducing a Fact, its applicability to a current experience, as in the following sequence:
 
Inductive Phase:
:* Given Case: E(past) → E(poss), Chosen events fairly sample Collective events.
:* Given Fact: E(past) → K(pres), Chosen events support the Knowledge regime.
: -----------------------------------------------------------------------------------------------------------------------------
:* Induce Rule: E(poss) → K(pres), Collective events support the Knowledge regime.
 
Deductive Phase:
:* Given Case: E(pres) → E(poss), Current events fairly sample Collective events.
:* Given Rule: E(poss) → K(pres), Collective events support the Knowledge regime.
: --------------------------------------------------------------------------------------------------------------------------------
:* Deduce Fact: E(pres) → K(pres), Current events support the Knowledge regime.
 
=====Testing=====
If the observer looks up and does not see dark clouds, or if he runs for shelter but it does not rain, then there is fresh occasion to question the utility or the validity of his knowledge base. But we must leave our foulweather friend for now and defer the logical analysis of this testing phase to another occasion.
 
==Citations==
<references/>
 
==Bibliography==
* [[Dana Angluin|Angluin, Dana]] (1989), "Learning with Hints", pp.&nbsp;167–181 in David Haussler and Leonard Pitt (eds.), ''Proceedings of the 1988 Workshop on Computational Learning Theory'', MIT, 3–5 August 1988, Morgan Kaufmann, San Mateo, CA, 1989.
* [[Aristotle]], "[[Prior Analytics]]", [[Hugh Tredennick]] (trans.), pp.&nbsp;181–531 in ''Aristotle, Volume 1'', [[Loeb Classical Library]], [[Heinemann (book publisher)|William Heinemann]], London, UK, 1938.
* Awbrey, Jon, and Awbrey, Susan (1995), "Interpretation as Action : The Risk of Inquiry", ''Inquiry : Critical Thinking Across the Disciplines'' 15, 40–52.  [http://www.chss.montclair.edu/inquiry/fall95/awbrey.html Eprint].
* [[Cornelius F. Delaney|Delaney, C.F.]] (1993), ''Science, Knowledge, and Mind:  A Study in the Philosophy of C.S. Peirce'', University of Notre Dame Press, Notre Dame, IN.
* [[John Dewey|Dewey, John]] (1910), ''How We Think'', [[D.C. Heath]], Lexington, MA, 1910.  Reprinted, Prometheus Books, Buffalo, NY, 1991.
* Dewey, John (1938), ''Logic: The Theory of Inquiry'', Henry Holt and Company, New York, NY, 1938.  Reprinted as pp.&nbsp;1–527 in ''John Dewey, The Later Works, 1925–1953, Volume 12: 1938'', Jo Ann Boydston (ed.), Kathleen Poulos (text. ed.), [[Ernest Nagel]] (intro.), Southern Illinois University Press, Carbondale and Edwardsville, IL, 1986.
* [[Susan Haack|Haack, Susan]] (1993), ''Evidence and Inquiry:  Towards Reconstruction in Epistemology'', Blackwell Publishers, Oxford, UK.
* [[Norwood Russell Hanson|Hanson, Norwood Russell]] (1958), ''Patterns of Discovery, An Inquiry into the Conceptual Foundations of Science'', Cambridge University Press, Cambridge, UK.
* [[Vincent F. Hendricks|Hendricks, Vincent F.]] (2005), ''Thought 2 Talk: A Crash Course in Reflection and Expression'', Automatic Press / VIP, New York, NY.  ISBN 87-991013-7-8
* [[Cheryl J. Misak|Misak, Cheryl J.]] (1991), ''Truth and the End of Inquiry, A Peircean Account of Truth'', Oxford University Press, Oxford, UK.
* [[Charles Sanders Peirce|Peirce, C.S.]], (1931–1935, 1958), ''Collected Papers of Charles Sanders Peirce'', vols. 1–6, [[Charles Hartshorne]] and [[Paul Weiss (philosopher)|Paul Weiss]] (eds.), vols. 7–8, [[Arthur W. Burks]] (ed.), Harvard University Press, Cambridge, MA.  Cited as CP&nbsp;volume.paragraph.
* [[Robert C. Stalnaker|Stalnaker, Robert C.]] (1984), ''Inquiry'', MIT Press, Cambridge, MA.
 
==See also==
{{Portal|Thinking}}
{{Wiktionary}}
* [[Charles Sanders Peirce bibliography]]
* [[C. West Churchman]]
* [[Curiosity]]
* [[Empirical limits in science]]
* [[Information entropy]]
* [[Information theory]]
* [[Logic of information]]
* [[Pragmatic information]]
* [[Pragmatic theory of truth]]
* [[Pragmaticism]]
* [[Uncertainty]]
* [[Community of inquiry]]
 
{{philosophy of science}}
{{logic}}
 
[[Category:Logic]]
[[Category:Philosophical logic]]
[[Category:Philosophy of science]]
[[Category:Evaluation methods]]
[[Category:Thought]]
[[Category:Critical thinking]]
[[Category:Inquiry| ]]
[[Category:Wikipedia articles with ASCII art]]

Revision as of 18:00, 4 November 2013

Template:Otheruses

Template:More footnotes An inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim. To safe the long run, there are quite a few funding options, one out of which is investing in new launch apartment property. In case you are planning to make investment in Singapore condominiums to safeguard your future, then now we have provide you with sure pros & cons of making funding in the apartment property for your help. Read these pros and cons before you resolve to make the funding at Duo Residences , Thomson View , or different condos.

In the end, New Hyde Park residents obtained their want to preserve the historical spot, and McDonald's had no other option but to revive the property to its former glory. Clara Kirk, who runs two ladies's shelters in Englewood, instructed DNAinfo the price of growing a property into something greater than a backyard or expanded yard might be a problem. The Mayor's officer informed HuffPost that under Chicago's Large Heaps program, candidates would wish to own a property for a minimum of five years before selling. Jade Residences is a new rare freehold residential property launching close to Serangoon MRT and situated at Lew Lian Vale. Benefit from the 50m Lap pool, Kids's Pool in this beautiful improvement. You are not obliged to proceed to buy. Woodlands EC Forestville @ Woodlands

Property investors may be typically categorized into 2 broad classes. These investing with a give attention to rental yield and those investing with a concentrate on capital beneficial properties. Seasoned investors tend to favor accomplished properties as it will probably instantly generate cash move when it comes to rental collections. But when your focus is on capital good points, new launches are inclined to have an important appreciation in worth by the time it HIGH. When a neighborhood developer launched a property in the east in mid-2011, as a substitute of using the standard trade apply minidvd.nl of balloting for the sequence to select a flat, their marketing agent requested interested buyers to line up in front of the gross sales gallery. ROI = (month-to-month rental – mortgage reimbursement – upkeep charge – property tax) x 12 ÷ preliminary funding

Reductions are usually given in the course of the preview, like 5~10% of the list value. Regardless of the xx% discounts (fluctuate from developers to developers), the bottom line is the enticing PSF you may enjoy to buy on the very Preview day. Another benefit is that you've the precedence to decide on your selection unit should no one else choose the same. In a hot property market, many units are snapped up at VIP Preview day, while some initiatives are absolutely sold even earlier than the public come to know about it.

After acquiring a Sale License (subject to government circumstances meant to protect folks shopping for property in Singapore), he might proceed to promote models in his development. Property Launches Listings Map (Singapore & Iskandar Malaysia) - All Properties Listed In SGDevelopersale.com Buyers do NOT, and will NOT, need to pay any agent any price, when buying property in Singapore. PropertyLaunch.sg , is a web site with the aims to supply quality, correct and nicely presented info to all our clients or anybody who are keen on new property launches in Singapore. Marina One Residences By Malaysia Khazanah & Singapore Temasek. SINGAPORE – Singaporeans are streets ahead of every other group of foreigners snapping up property developed by UEM Dawn at Iskandar Malaysia.

RC Suites is an elegant residential and industrial development for the discerning individual who values trendy dwelling in stunning environment. With a daring up to date facade housing 45 cosy flats, providing the perfect residing spaces for younger upwardly cellular professionals.28 RC Suites is near NE8 Farrer Park MRT Station and never removed from several Faculties such as Farrer Park Primary College,Stamford Primary College and Service Hospital Connexion.

After close to 1 / 4-century of doing enterprise at the Denton House in New Hyde Park, although, McDonald's appears to be getting alongside simply high quality with the area people, and residents who originally had an issue with the franchise being there have made the correct changes to get by. As a part of the Inexperienced and Wholesome Chicago Neighborhoods initiative approved by the Chicago Plan Fee Thursday, the specific Giant Tons pilot program will allow qualifying residents and nonprofits to buy metropolis-owned vacant lots for $1 in the Englewood neighborhood on the South Facet. For years, $1 lot programs have cropped up in different cities around the nation. The principles and necessities range, but what they all have in frequent is the next-to-nothing worth.

Classical sources

Deduction

When three terms are so related to one another that the last is wholly contained in the middle and the middle is wholly contained in or excluded from the first, the extremes must admit of perfect syllogism. By 'middle term' I mean that which both is contained in another and contains another in itself, and which is the middle by its position also; and by 'extremes' (a) that which is contained in another, and (b) that in which another is contained. For if A is predicated of all B, and B of all C, A must necessarily be predicated of all C. ... I call this kind of figure the First. (Aristotle, Prior Analytics, 1.4)

Induction

Inductive reasoning consists in establishing a relation between one extreme term and the middle term by means of the other extreme; for example, if B is the middle term of A and C, in proving by means of C that A applies to B; for this is how we effect inductions. (Aristotle, Prior Analytics, 2.23)

Abduction

The locus classicus for the study of abductive reasoning is found in Aristotle's Prior Analytics, Book 2, Chapt. 25. It begins this way:

We have Reduction (απαγωγη, abduction):

  1. When it is obvious that the first term applies to the middle, but that the middle applies to the last term is not obvious, yet is nevertheless more probable or not less probable than the conclusion;
  2. Or if there are not many intermediate terms between the last and the middle;

For in all such cases the effect is to bring us nearer to knowledge.

By way of explanation, Aristotle supplies two very instructive examples, one for each of the two varieties of abductive inference steps that he has just described in the abstract:

  1. For example, let A stand for "that which can be taught", B for "knowledge", and C for "morality". Then that knowledge can be taught is evident; but whether virtue is knowledge is not clear. Then if BC is not less probable or is more probable than AC, we have reduction; for we are nearer to knowledge for having introduced an additional term, whereas before we had no knowledge that AC is true.
  2. Or again we have reduction if there are not many intermediate terms between B and C; for in this case too we are brought nearer to knowledge. For example, suppose that D is "to square", E "rectilinear figure", and F "circle". Assuming that between E and F there is only one intermediate term — that the circle becomes equal to a rectilinear figure by means of lunules — we should approximate to knowledge. (Aristotle, "Prior Analytics", 2.25, with minor alterations)

Aristotle's latter variety of abductive reasoning, though it will take some explaining in the sequel, is well worth our contemplation, since it hints already at streams of inquiry that course well beyond the syllogistic source from which they spring, and into regions that Peirce will explore more broadly and deeply.

Inquiry in the pragmatic paradigm

In the pragmatic philosophies of Charles Sanders Peirce, William James, John Dewey, and others, inquiry is closely associated with the normative science of logic. In its inception, the pragmatic model or theory of inquiry was extracted by Peirce from its raw materials in classical logic, with a little bit of help from Kant, and refined in parallel with the early development of symbolic logic by Boole, De Morgan, and Peirce himself to address problems about the nature and conduct of scientific reasoning. Borrowing a brace of concepts from Aristotle, Peirce examined three fundamental modes of reasoning that play a role in inquiry, commonly known as abductive, deductive, and inductive inference.

In rough terms, abduction is what we use to generate a likely hypothesis or an initial diagnosis in response to a phenomenon of interest or a problem of concern, while deduction is used to clarify, to derive, and to explicate the relevant consequences of the selected hypothesis, and induction is used to test the sum of the predictions against the sum of the data. It needs to be observed that the classical and pragmatic treatments of the types of reasoning, dividing the generic territory of inference as they do into three special parts, arrive at a different characterization of the environs of reason than do those accounts that count only two.

These three processes typically operate in a cyclic fashion, systematically operating to reduce the uncertainties and the difficulties that initiated the inquiry in question, and in this way, to the extent that inquiry is successful, leading to an increase in knowledge or in skills.

In the pragmatic way of thinking everything has a purpose, and the purpose of each thing is the first thing we should try to note about it. [1] The purpose of inquiry is to reduce doubt and lead to a state of belief, which a person in that state will usually call knowledge or certainty. As they contribute to the end of inquiry, we should appreciate that the three kinds of inference describe a cycle that can be understood only as a whole, and none of the three makes complete sense in isolation from the others. For instance, the purpose of abduction is to generate guesses of a kind that deduction can explicate and that induction can evaluate. This places a mild but meaningful constraint on the production of hypotheses, since it is not just any wild guess at explanation that submits itself to reason and bows out when defeated in a match with reality. In a similar fashion, each of the other types of inference realizes its purpose only in accord with its proper role in the whole cycle of inquiry. No matter how much it may be necessary to study these processes in abstraction from each other, the integrity of inquiry places strong limitations on the effective modularity of its principal components.

In Logic: The Theory of Inquiry, John Dewey defined inquiry as "the controlled or directed transformation of an indeterminate situation into one that is so determinate in its constituent distinctions and relations as to convert the elements of the original situation into a unified whole" [2] Dewey and Peirce's conception of inquiry extended beyond a system of thinking and incorporated the social nature of inquiry. These ideas are summarize in the notion Community of inquiry.[3][4][5]

Art and science of inquiry

For our present purposes, the first feature to note in distinguishing the three principal modes of reasoning from each other is whether each of them is exact or approximate in character. In this light, deduction is the only one of the three types of reasoning that can be made exact, in essence, always deriving true conclusions from true premises, while abduction and induction are unavoidably approximate in their modes of operation, involving elements of fallible judgment in practice and inescapable error in their application.

The reason for this is that deduction, in the ideal limit, can be rendered a purely internal process of the reasoning agent, while the other two modes of reasoning essentially demand a constant interaction with the outside world, a source of phenomena and problems that will no doubt continue to exceed the capacities of any finite resource, human or machine, to master. Situated in this larger reality, approximations can be judged appropriate only in relation to their context of use and can be judged fitting only with regard to a purpose in view.

A parallel distinction that is often made in this connection is to call deduction a demonstrative form of inference, while abduction and induction are classed as non-demonstrative forms of reasoning. Strictly speaking, the latter two modes of reasoning are not properly called inferences at all. They are more like controlled associations of words or ideas that just happen to be successful often enough to be preserved as useful heuristic strategies in the repertoire of the agent. But non-demonstrative ways of thinking are inherently subject to error, and must be constantly checked out and corrected as needed in practice.

In classical terminology, forms of judgment that require attention to the context and the purpose of the judgment are said to involve an element of "art", in a sense that is judged to distinguish them from "science", and in their renderings as expressive judgments to implicate arbiters in styles of rhetoric, as contrasted with logic.

In a figurative sense, this means that only deductive logic can be reduced to an exact theoretical science, while the practice of any empirical science will always remain to some degree an art.

Zeroth order inquiry

Many aspects of inquiry can be recognized and usefully studied in very basic logical settings, even simpler than the level of syllogism, for example, in the realm of reasoning that is variously known as Boolean algebra, propositional calculus, sentential calculus, or zeroth-order logic. By way of approaching the learning curve on the gentlest availing slope, we may well begin at the level of zeroth-order inquiry, in effect, taking the syllogistic approach to inquiry only so far as the propositional or sentential aspects of the associated reasoning processes are concerned. One of the bonuses of doing this in the context of Peirce's logical work is that it provides us with doubly instructive exercises in the use of his logical graphs, taken at the level of his so-called "alpha graphs".

In the case of propositional calculus or sentential logic, deduction comes down to applications of the transitive law for conditional implications and the approximate forms of inference hang on the properties that derive from these. In describing the various types of inference I will employ a few old "terms of art" from classical logic that are still of use in treating these kinds of simple problems in reasoning.

Deduction takes a Case, the minor premise XY
and combines it with a Rule, the major premise YZ
to arrive at a Act, the demonstrative conclusion XZ.
Induction takes a Case of the form XY
and matches it with a Fact of the form XZ
to infer a Rule of the form YZ.
Abduction takes a Fact of the form XZ
and matches it with a Rule of the form YZ
to infer a Case of the form XY.

For ease of reference, Figure 1 and the Legend beneath it summarize the classical terminology for the three types of inference and the relationships among them.

o-------------------------------------------------o
|                                                 |
|                   Z                             |
|                   o                             |
|                   |\                            |
|                   | \                           |
|                   |  \                          |
|                   |   \                         |
|                   |    \                        |
|                   |     \   R U L E             |
|                   |      \                      |
|                   |       \                     |
|               F   |        \                    |
|                   |         \                   |
|               A   |          \                  |
|                   |           o Y               |
|               C   |          /                  |
|                   |         /                   |
|               T   |        /                    |
|                   |       /                     |
|                   |      /                      |
|                   |     /   C A S E             |
|                   |    /                        |
|                   |   /                         |
|                   |  /                          |
|                   | /                           |
|                   |/                            |
|                   o                             |
|                   X                             |
|                                                 |
| Deduction takes a Case of the form X → Y,       |
| matches it with a Rule of the form Y → Z,       |
| then adverts to a Fact of the form X → Z.       |
|                                                 |
| Induction takes a Case of the form X → Y,       |
| matches it with a Fact of the form X → Z,       |
| then adverts to a Rule of the form Y → Z.       |
|                                                 |
| Abduction takes a Fact of the form X → Z,       |
| matches it with a Rule of the form Y → Z,       |
| then adverts to a Case of the form X → Y.       |
|                                                 |
| Even more succinctly:                           |
|                                                 |
|           Abduction  Deduction  Induction       |
|                                                 |
| Premise:     Fact       Case       Case         |
| Premise:     Rule       Rule       Fact         |
| Outcome:     Case       Fact       Rule         |
|                                                 |
o-------------------------------------------------o
Figure 1.  Elementary Structure and Terminology

In its original usage a statement of Fact has to do with a deed done or a record made, that is, a type of event that is openly observable and not riddled with speculation as to its very occurrence. In contrast, a statement of Case may refer to a hidden or a hypothetical cause, that is, a type of event that is not immediately observable to all concerned. Obviously, the distinction is a rough one and the question of which mode applies can depend on the points of view that different observers adopt over time. Finally, a statement of a Rule is called that because it states a regularity or a regulation that governs a whole class of situations, and not because of its syntactic form. So far in this discussion, all three types of constraint are expressed in the form of conditional propositions, but this is not a fixed requirement. In practice, these modes of statement are distinguished by the roles that they play within an argument, not by their style of expression. When the time comes to branch out from the syllogistic framework, we will find that propositional constraints can be discovered and represented in arbitrary syntactic forms.

Example of inquiry

Examples of inquiry, that illustrate the full cycle of its abductive, deductive, and inductive phases, and yet are both concrete and simple enough to be suitable for a first (or zeroth) exposition, are somewhat rare in Peirce's writings, and so let us draw one from the work of fellow pragmatician John Dewey, analyzing it according to the model of zeroth-order inquiry that we developed above.

A man is walking on a warm day. The sky was clear the last time he observed it; but presently he notes, while occupied primarily with other things, that the air is cooler. It occurs to him that it is probably going to rain; looking up, he sees a dark cloud between him and the sun, and he then quickens his steps. What, if anything, in such a situation can be called thought? Neither the act of walking nor the noting of the cold is a thought. Walking is one direction of activity; looking and noting are other modes of activity. The likelihood that it will rain is, however, something suggested. The pedestrian feels the cold; he thinks of clouds and a coming shower. (John Dewey, How We Think, pp. 6-7).

Once over quickly

Let's first give Dewey's elegant example of inquiry in everyday life the quick once over, hitting just the high points of its analysis into Peirce's three kinds of reasoning.

Abductive phase

In Dewey's "Rainy Day" or "Sign of Rain" story, we find our peripatetic hero presented with a surprising Fact:

  • Fact: C → A, In the Current situation the Air is cool.

Responding to an intellectual reflex of puzzlement about the situation, his resource of common knowledge about the world is impelled to seize on an approximate Rule:

  • Rule: B → A, Just Before it rains, the Air is cool.

This Rule can be recognized as having a potential relevance to the situation because it matches the surprising Fact, C → A, in its consequential feature A.

All of this suggests that the present Case may be one in which it is just about to rain:

  • Case: C → B, The Current situation is just Before it rains.

The whole mental performance, however automatic and semi-conscious it may be, that leads up from a problematic Fact and a previously settled knowledge base of Rules to the plausible suggestion of a Case description, is what we are calling an abductive inference.

Deductive phase

The next phase of inquiry uses deductive inference to expand the implied consequences of the abductive hypothesis, with the aim of testing its truth. For this purpose, the inquirer needs to think of other things that would follow from the consequence of his precipitate explanation. Thus, he now reflects on the Case just assumed:

  • Case: C → B, The Current situation is just Before it rains.

He looks up to scan the sky, perhaps in a random search for further information, but since the sky is a logical place to look for details of an imminent rainstorm, symbolized in our story by the letter B, we may safely suppose that our reasoner has already detached the consequence of the abduced Case, C → B, and has begun to expand on its further implications. So let us imagine that our up-looker has a more deliberate purpose in mind, and that his search for additional data is driven by the new-found, determinate Rule:

  • Rule: B → D, Just Before it rains, Dark clouds appear.

Contemplating the assumed Case in combination with this new Rule leads him by an immediate deduction to predict an additional Fact:

  • Fact: C → D, In the Current situation Dark clouds appear.

The reconstructed picture of reasoning assembled in this second phase of inquiry is true to the pattern of deductive inference.

Inductive phase

Whatever the case, our subject observes a Dark cloud, just as he would expect on the basis of the new hypothesis. The explanation of imminent rain removes the discrepancy between observations and expectations and thereby reduces the shock of surprise that made this process of inquiry necessary.

Looking more closely

Seeding hypotheses

Figure 4 gives a graphical illustration of Dewey's example of inquiry, isolating for the purposes of the present analysis the first two steps in the more extended proceedings that go to make up the whole inquiry.

o-----------------------------------------------------------o
|                                                           |
|     A                                               D     |
|      o                                             o      |
|       \ *                                       * /       |
|        \  *                                   *  /        |
|         \   *                               *   /         |
|          \    *                           *    /          |
|           \     *                       *     /           |
|            \   R u l e             R u l e   /            |
|             \       *               *       /             |
|              \        *           *        /              |
|               \         *       *         /               |
|                \          * B *          /                |
|              F a c t        o        F a c t              |
|                  \          *          /                  |
|                   \         *         /                   |
|                    \        *        /                    |
|                     \       *       /                     |
|                      \   C a s e   /                      |
|                       \     *     /                       |
|                        \    *    /                        |
|                         \   *   /                         |
|                          \  *  /                          |
|                           \ * /                           |
|                            \*/                            |
|                             o                             |
|                             C                             |
|                                                           |
| A  =  the Air is cool                                     |
| B  =  just Before it rains                                |
| C  =  the Current situation                               |
| D  =  a Dark cloud appears                                |
|                                                           |
| A is a major term                                         |
| B is a middle term                                        |
| C is a minor term                                         |
| D is a major term, associated with A                      |
|                                                           |
o-----------------------------------------------------------o
Figure 4.  Dewey's 'Rainy Day' Inquiry

In this analysis of the first steps of Inquiry, we have a complex or a mixed form of inference that can be seen as taking place in two steps:

  • The first step is an Abduction that abstracts a Case from the consideration of a Fact and a Rule.
Fact: C → A, In the Current situation the Air is cool.
Rule: B → A, Just Before it rains, the Air is cool.
Case: C → B, The Current situation is just Before it rains.
  • The final step is a Deduction that admits this Case to another Rule and so arrives at a novel Fact.
Case: C → B, The Current situation is just Before it rains.
Rule: B → D, Just Before it rains, a Dark cloud will appear.
Fact: C → D, In the Current situation, a Dark cloud will appear.

This is nowhere near a complete analysis of the Rainy Day inquiry, even insofar as it might be carried out within the constraints of the syllogistic framework, and it covers only the first two steps of the relevant inquiry process, but maybe it will do for a start.

One other thing needs to be noticed here, the formal duality between this expansion phase of inquiry and the argument from analogy. This can be seen most clearly in the propositional lattice diagrams shown in Figures 3 and 4, where analogy exhibits a rough "A" shape and the first two steps of inquiry exhibit a rough "V" shape, respectively. Since we find ourselves repeatedly referring to this expansion phase of inquiry as a unit, let's give it a name that suggests its duality with analogy—"catalogy" will do for the moment. This usage is apt enough if one thinks of a catalogue entry for an item as a text that lists its salient features. Notice that analogy has to do with the examples of a given quality, while catalogy has to do with the qualities of a given example. Peirce noted similar forms of duality in many of his early writings, leading to the consummate treatment in his 1867 paper "On a New List of Categories" (CP 1.545-559, W 2, 49-59).

Weeding hypotheses

In order to comprehend the bearing of inductive reasoning on the closing phases of inquiry there are a couple of observations that we need to make:

  • First, we need to recognize that smaller inquiries are typically woven into larger inquiries, whether we view the whole pattern of inquiry as carried on by a single agent or by a complex community.
  • Further, we need to consider the different ways in which the particular instances of inquiry can be related to ongoing inquiries at larger scales. Three modes of inductive interaction between the micro-inquiries and the macro-inquiries that are salient here can be described under the headings of the "Learning", the "Transfer", and the "Testing" of rules.

Analogy of experience

Throughout inquiry the reasoner makes use of rules that have to be transported across intervals of experience, from the masses of experience where they are learned to the moments of experience where they are applied. Inductive reasoning is involved in the learning and the transfer of these rules, both in accumulating a knowledge base and in carrying it through the times between acquisition and application.

  • Learning. The principal way that induction contributes to an ongoing inquiry is through the learning of rules, that is, by creating each of the rules that goes into the knowledge base, or ever gets used along the way.
  • Transfer. The continuing way that induction contributes to an ongoing inquiry is through the exploit of analogy, a two-step combination of induction and deduction that serves to transfer rules from one context to another.
  • Testing. Finally, every inquiry that makes use of a knowledge base constitutes a "field test" of its accumulated contents. If the knowledge base fails to serve any live inquiry in a satisfactory manner, then there is a prima facie reason to reconsider and possibly to amend some of its rules.

Let's now consider how these principles of learning, transfer, and testing apply to John Dewey's "Sign of Rain" example.

Learning

Rules in a knowledge base, as far as their effective content goes, can be obtained by any mode of inference.

For example, a rule like:

  • Rule: B → A, Just Before it rains, the Air is cool,

is usually induced from a consideration of many past events, in a manner that can be rationally reconstructed as follows:

  • Case: C → B, In Certain events, it is just Before it rains,
  • Fact: C → A, In Certain events, the Air is cool,
------------------------------------------------------------------------------------------
  • Rule: B → A, Just Before it rains, the Air is cool.

However, the very same proposition could also be abduced as an explanation of a singular occurrence or deduced as a conclusion of a presumptive theory.

Transfer

What is it that gives a distinctively inductive character to the acquisition of a knowledge base? It is evidently the "analogy of experience" that underlies its useful application. Whenever we find ourselves prefacing an argument with the phrase "If past experience is any guide..." then we can be sure that this principle has come into play. We are invoking an analogy between past experience, considered as a totality, and present experience, considered as a point of application. What we mean in practice is this: "If past experience is a fair sample of possible experience, then the knowledge gained in it applies to present experience". This is the mechanism that allows a knowledge base to be carried across gulfs of experience that are indifferent to the effective contents of its rules.

Here are the details of how this notion of transfer works out in the case of the "Sign of Rain" example:

Let K(pres) be a portion of the reasoner's knowledge base that is logically equivalent to the conjunction of two rules, as follows:

  • K(pres) = (B → A) and (B → D).

K(pres) is the present knowledge base, expressed in the form of a logical constraint on the present universe of discourse.

It is convenient to have the option of expressing all logical statements in terms of their logical models, that is, in terms of the primitive circumstances or the elements of experience over which they hold true.

  • Let E(past) be the chosen set of experiences, or the circumstances that we have in mind when we refer to "past experience".
  • Let E(poss) be the collective set of experiences, or the projective total of possible circumstances.
  • Let E(pres) be the present experience, or the circumstances that are present to the reasoner at the current moment.

If we think of the knowledge base K(pres) as referring to the "regime of experience" over which it is valid, then all of these sets of models can be compared by the simple relations of set inclusion or logical implication.

Figure 5 schematizes this way of viewing the "analogy of experience".

o-----------------------------------------------------------o
|                                                           |
|                          K(pres)                          |
|                             o                             |
|                            /|\                            |
|                           / | \                           |
|                          /  |  \                          |
|                         /   |   \                         |
|                        /  Rule   \                        |
|                       /     |     \                       |
|                      /      |      \                      |
|                     /       |       \                     |
|                    /     E(poss)     \                    |
|              Fact /         o         \ Fact              |
|                  /        *   *        \                  |
|                 /       *       *       \                 |
|                /      *           *      \                |
|               /     *               *     \               |
|              /    *                   *    \              |
|             /   *  Case           Case  *   \             |
|            /  *                           *  \            |
|           / *                               * \           |
|          /*                                   *\          |
|         o<<<---------------<<<---------------<<<o         |
|      E(past)        Analogy Morphism         E(pres)      |
|    More Known                              Less Known     |
|                                                           |
o-----------------------------------------------------------o
Figure 5.  Analogy of Experience

In these terms, the "analogy of experience" proceeds by inducing a Rule about the validity of a current knowledge base and then deducing a Fact, its applicability to a current experience, as in the following sequence:

Inductive Phase:

  • Given Case: E(past) → E(poss), Chosen events fairly sample Collective events.
  • Given Fact: E(past) → K(pres), Chosen events support the Knowledge regime.
-----------------------------------------------------------------------------------------------------------------------------
  • Induce Rule: E(poss) → K(pres), Collective events support the Knowledge regime.

Deductive Phase:

  • Given Case: E(pres) → E(poss), Current events fairly sample Collective events.
  • Given Rule: E(poss) → K(pres), Collective events support the Knowledge regime.
--------------------------------------------------------------------------------------------------------------------------------
  • Deduce Fact: E(pres) → K(pres), Current events support the Knowledge regime.
Testing

If the observer looks up and does not see dark clouds, or if he runs for shelter but it does not rain, then there is fresh occasion to question the utility or the validity of his knowledge base. But we must leave our foulweather friend for now and defer the logical analysis of this testing phase to another occasion.

Citations

  1. Rescher, N. (2012). Pragmatism: The Restoration of its Scientific Roots. New Brunswick, NJ: Transaction Press.
  2. Dewey, John (1938). Logic: The Theory of Inquiry. New York:NY: D.C. Heath & Co.(http://www2.sunysuffolk.edu/osullis/spring07/courses/page0/history/documents_files/Dewey_pattern%20of%20inquiry.pdf)
  3. Template:Cite web
  4. Template:Cite web
  5. Template:Cite web

Bibliography

  • Angluin, Dana (1989), "Learning with Hints", pp. 167–181 in David Haussler and Leonard Pitt (eds.), Proceedings of the 1988 Workshop on Computational Learning Theory, MIT, 3–5 August 1988, Morgan Kaufmann, San Mateo, CA, 1989.
  • Aristotle, "Prior Analytics", Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.
  • Awbrey, Jon, and Awbrey, Susan (1995), "Interpretation as Action : The Risk of Inquiry", Inquiry : Critical Thinking Across the Disciplines 15, 40–52. Eprint.
  • Delaney, C.F. (1993), Science, Knowledge, and Mind: A Study in the Philosophy of C.S. Peirce, University of Notre Dame Press, Notre Dame, IN.
  • Dewey, John (1910), How We Think, D.C. Heath, Lexington, MA, 1910. Reprinted, Prometheus Books, Buffalo, NY, 1991.
  • Dewey, John (1938), Logic: The Theory of Inquiry, Henry Holt and Company, New York, NY, 1938. Reprinted as pp. 1–527 in John Dewey, The Later Works, 1925–1953, Volume 12: 1938, Jo Ann Boydston (ed.), Kathleen Poulos (text. ed.), Ernest Nagel (intro.), Southern Illinois University Press, Carbondale and Edwardsville, IL, 1986.
  • Haack, Susan (1993), Evidence and Inquiry: Towards Reconstruction in Epistemology, Blackwell Publishers, Oxford, UK.
  • Hanson, Norwood Russell (1958), Patterns of Discovery, An Inquiry into the Conceptual Foundations of Science, Cambridge University Press, Cambridge, UK.
  • Hendricks, Vincent F. (2005), Thought 2 Talk: A Crash Course in Reflection and Expression, Automatic Press / VIP, New York, NY. ISBN 87-991013-7-8
  • Misak, Cheryl J. (1991), Truth and the End of Inquiry, A Peircean Account of Truth, Oxford University Press, Oxford, UK.
  • Peirce, C.S., (1931–1935, 1958), Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA. Cited as CP volume.paragraph.
  • Stalnaker, Robert C. (1984), Inquiry, MIT Press, Cambridge, MA.

See also

Sportspersons Hyslop from Nicolet, usually spends time with pastimes for example martial arts, property developers condominium in singapore singapore and hot rods. Maintains a trip site and has lots to write about after touring Gulf of Porto: Calanche of Piana. Property Brokers and Team Managers – Looking for good Actual Estate Agency to join or contemplating which is the Finest Property Agency to join in Singapore? Join Leon Low in OrangeTee Singapore! In OrangeTee, we've much more attractive commission structure than before, enrichment courses, 10 most vital components to hitch OrangeTee and 1 motive to join Leon Low and his Workforce. 1. Conducive working environment

Via PropNex International, we continually construct on our fame in the international property enviornment. Click here for more of our abroad initiatives. Instances have modified. We don't see those unlawful hawkers anymore. Instead, nicely dressed property brokers were seen reaching out to people visiting the market in the morning. Real estate can be a lonely enterprise and it is straightforward to really feel demoralised, especially when there are no enquiries despite your greatest effort in advertising your shopper's property. That is the place having the fitting assist from fellow associates is essential. Our firm offers administration services for condominiums and apartments. With a crew of qualified folks, we assist to make your estate a nicer place to stay in. HDB Flat for Hire 2 Rooms

Achievers are all the time the first to check new technologies & providers that can help them enhance their sales. When property guru first began, many brokers didn't consider in it until they began listening to other colleagues getting unbelievable outcomes. Most brokers needs to see proof first, before they dare to take the first step in attempting. These are often the late comers or late adopters. There is a purpose why top achievers are heading the wave or heading the best way. Just because they try new properties in singapore issues ahead of others. The rest just observe after!

Firstly, a Fraudulent Misrepresentation is one that is made knowingly by the Representor that it was false or if it was made without belief in its fact or made recklessly without concerning whether or not it is true or false. For instance estate agent A told the potential consumers that the tenure of a landed property they are considering is freehold when it is really one with a ninety nine-yr leasehold! A is responsible of constructing a fraudulent misrepresentation if he is aware of that the tenure is the truth is a ninety nine-yr leasehold instead of it being freehold or he didn't consider that the tenure of the house was freehold or he had made the assertion with out caring whether or not the tenure of the topic property is in fact freehold.

I such as you to be, am a brand new projects specialist. You've got the conception that new tasks personnel should be showflat certain. Should you're eager, let me train you the right way to master the entire show flats island vast as a substitute of getting to stay just at 1 place. Is that attainable you may ask, well, I've achieved it in 6 months, you can too. Which company is well-recognized and is actually dedicated for developing rookie within the industry in venture sales market with success? Can a rookie join the company's core group from day one? I wish to propose a third class, which I have been grooming my agents in the direction of, and that is as a Huttons agent, you will be able to market and have knowledge of ALL Huttons projects, and if essential, projects exterior of Huttons as properly.

GPS has assembled a high workforce of personnel who are additionally well-known figures in the native actual property scene to pioneer this up-and-coming organization. At GPS Alliance, WE LEAD THE WAY! Many people have asked me how I managed to earn S$114,000 from my sales job (my third job) at age 24. The reply is easy. After graduation from NUS with a Historical past diploma, my first job was in actual estate. Within the ultimate part of this series, I interview one of the top agents in ERA Horizon Group and share with you the secrets to his success! Learn it RIGHT HERE

Notice that the application must be submitted by the appointed Key Government Officer (KEO) such as the CEO, COO, or MD. Once the KEO has submitted the mandatory paperwork and assuming all documents are in order, an email notification shall be sent stating that the applying is permitted. No hardcopy of the license might be issued. A delicate-copy could be downloaded and printed by logging into the CEA website. It takes roughly four-6 weeks to course of an utility.

Template:Philosophy of science Template:Logic