12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to searchadd text from previous draft
<blockquote>
Every mind which passes from doubt to belief must have ideas which follow after one another in time. Every mind which reasons must have ideas which not only follow after others but are caused by them. Every mind which is capable of logical criticism of its inferences, must be aware of this determination of its ideas by previous ideas. (Peirce, "On Time and Thought", CE 3, 68-69.)
</blockquote>
All through the 1860s the young Charles Peirce was busy establishing a conceptual base-camp and a technical supply line for the intellectual adventures of a lifetime. Taking the long view of this activity and trying to choose the best titles for the story, it all seems to have something to do with the dynamics of inquiry. This broad subject area has a part that is given by nature and a part that is ruled by nurture. On first approach, it is possible to see a question of articulation and a question of explanation:
:* What is needed to articulate the workings of the active form of representation that is known as ''conscious experience''?
:* What is needed to account for the workings of the reflective discipline of inquiry that is known as ''science''?
The pursuit of answers to these questions finds them to be so entangled with each other that it's ultimately impossible to comprehend them apart from each other, but for the sake of exposition it's convenient to organize our study of Peirce's assault on the ''summa'' by following first the trails of thought that led him to develop a ''[[theory of signs]]'', one that has come to be known as '[[semiotic]]', and tracking next the ways of thinking that led him to develop a ''[[theory of inquiry]]'', one that would be up to the task of saying 'how science works'.
Opportune points of departure for exploring the dynamics of representation, such as led to Peirce's theories of [[inference]] and [[information]], inquiry and signs, are those that he took for his own springboards. Perhaps the most significant influences radiate from points on parallel lines of inquiry in [[Aristotle]]'s work, points where the intellectual forerunner focused on many of the same issues and even came to strikingly similar conclusions, at least about the best ways to begin. Staying within the bounds of what will give us a more solid basis for understanding Peirce, it serves to consider the following ''loci'' in Aristotle:
:* The basic terminology of [[psychology]], in ''[[On the Soul]]''.
:* The founding description of [[sign relations]], in ''[[On Interpretation]]'';
:* The differentiation of the genus of reasoning into three species of [[inference]] that are commonly translated into English as ''[[Abductive reasoning|abduction]]'', ''[[Deductive reasoning|deduction]]'', and ''[[Inductive reasoning|induction]]'', in the ''[[Prior Analytics]]''.
In addition to the three elements of inference, that Peirce would assay to be [[irreducible]], [[Aristotle]] analyzed several types of [[compound inference]], most importantly the type known as 'reasoning by [[analogy]]' or 'reasoning from [[example]]', employing for the latter description the Greek word 'paradeigma', from which we get our word '[[paradigm]]'.
Inquiry is a form of reasoning process, in effect, a particular way of conducting thought, and thus it can be said to institute a specialized manner, style, or turn of thinking. Philosophers of the school that is commonly called 'pragmatic' hold that all
thought takes place in signs, where 'sign' is the word they use for the broadest conceivable variety of characters, expressions, formulas, messages, signals, texts, and so on up the line, that might be imagined. Even intellectual concepts and mental ideas are held to be a special class of signs, corresponding to internal states of the thinking agent that both issue in and result from the interpretation of external signs.
The subsumption of inquiry within reasoning in general and the inclusion of thinking within the class of sign processes allows us to approach the subject of inquiry from two different perspectives:
:* The ''[[syllogistic]]'' approach treats inquiry as a species of logical process, and is limited to those of its aspects that can be related to the most basic laws of inference.
:* The ''[[sign-theoretic]]'' approach views inquiry as a genus of ''[[semiosis]]'', an activity taking place within the more general setting of [[sign relation]]s and [[sign process]]es.
The distinction between signs denoting and objects denoted is critical to the discussion of Peirce's theory of signs. Wherever needed in the rest of this article, therefore, in order to mark this distinction a little more emphatically than usual, double quotation marks placed around a given sign, for example, a string of zero or more characters, will be used to create a new sign that denotes the given sign as its object.
===Theory of signs, or semiotic===
Peirce referred to his general study of signs, based on the concept of a [[triadic relation|triadic]] [[sign relation]], as ''[[semiotic]]'' or ''[[semeiotic]]'', either of which terms are currently used in either singular of plural form. Peirce began writing on semeiotic in the 1860s, around the time that he devised his system of three categories. He eventually defined ''[[semiosis]]'' as an "action, or influence, which is, or involves, a cooperation of ''three'' subjects, such as a sign, its object, and its interpretant, this tri-relative influence not being in any way resolvable into actions between pairs". (Houser 1998: 411, written 1907). This triadic relation grounds the semeiotic.
In order to understand what a ''[[sign (semiotics)|sign]]'' is we need to understand what a ''[[sign relation]]'' is, for signhood is a way of being in relation, not a way of being in itself. In order to understand what a sign relation is we need to understand what a ''[[triadic relation]]'' is, for the role of a sign is constituted as one among three, where roles in general are distinct even when the things that fill them are not. In order to understand what a triadic relation is we need to understand what a ''[[relation (mathematics)|relation]]'' is, and here there are traditionally two ways of understanding what a relation is, both of which are necessary if not sufficient to complete understanding, namely, the way of ''[[extension (semantics)|extension]]'' and the way of ''[[intension]]''. To these traditional approximations, Peirce adds a third way, the way of ''[[semiotic information theory|information]]'', that integrates the other two approaches in a unified whole.
====Sign relations====
{{main|Sign relation}}
With that hasty map of relations and relatives sketched above, we may now trek into the terrain of ''[[sign relation]]s'', the main subject matter of Peirce's ''[[semeiotic]]'', or theory of signs.
====Types of signs====
Peirce proposes several typologies and definitions of the signs. More than 76 definitions of what a sign is have been collected throughout Peirce's work. Some canonical typologies can nonetheless be observed, one crucial one being the distinction between "icons", "indices" and "symbols" (CP 2.228, CP 2.229 and CP 5.473). This typology emphasizes the different ways in which the ''representamen'' (or its ''ground'') addresses or refers to its ''object'', through a particular mobilisation of an ''interpretant'' (but Peirce proposes also other typologies based on other criteria).
* An '''icon''' is a sign that denotes its objects by virtue of a quality that it shares with them. The sign is perceived as resembling or imitating the object it refers to (e.g. fork on a sign by the road indicating a rest stop). In other words, an icon thus "resembles" to its object. It shares a character or an aspect with it, which allows for it to be interpreted as a sign even if the object does not exist. It signifies essentially on the basis of its "ground".
* An '''index''' is a sign that denotes its objects by virtue of an existential connection that it has with them. For an index to signify, the relation to the object is crucial. The ''representamen'' is directly connected in some way (physically or casually) to the object it denotes (e.g. smoke coming from a building is an index of fire). Hence, an index refers to the object because it is really affected or modified by it, and thus may stand as a trace of the existence of the object.
* A '''symbol''' is a sign that denotes its objects solely by virtue of the fact that it is interpreted to do so. The ''representamen'' does not resemble the object signified but is fundamentally conventional, so that the signifying relationship must be learned and agreed upon (e.g. the word “cat”). A symbol thus denotes, primarily, by virtue of its ''interpretant''. Its action (''semeiosis'') is ruled by a convention, a more or less systematic set of associations that guarantees its interpretation, independently of any resemblance or any material relation with its object.
Note that these definitions are specific to Peirce's theory of signs and are not exactly equivalent to general uses of the notion of "[[icon]]", "[[symbol]]" or "[[index]]".
===Theory of inquiry===
{{main|Inquiry}}
: Upon this first, and in one sense this sole, rule of reason, that in order to learn you must desire to learn, and in so desiring not be satisfied with what you already incline to think, there follows one corollary which itself deserves to be inscribed upon every wall of the city of philosophy:
<center> Do not block the way of inquiry.</center>
: Although it is better to be methodical in our investigations, and to consider the economics of research, yet there is no positive sin against logic in ''trying'' any theory which may come into our heads, so long as it is adopted in such a sense as to permit the investigation to go on unimpeded and undiscouraged. On the other hand, to set up a philosophy which barricades the road of further advance toward the truth is the one unpardonable offence in reasoning, as it is also the one to which metaphysicians have in all ages shown themselves the most addicted. (Peirce, "F.R.L." (c. 1899), CP 1.135–136.)
Peirce extracted the pragmatic model or [[theory]] of [[inquiry]] from its raw materials in classical logic and refined it in parallel with the early development of symbolic logic to address problems about the nature of scientific reasoning. Borrowing a brace of concepts from [[Aristotle]], Peirce examined three fundamental modes of reasoning that play a role in inquiry, processes that are currently known as ''[[abductive]]'', ''[[deductive]]'', and ''[[inductive]]'' [[inference]].
In the roughest 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.
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 the [[knowledge]] or [[skills]], in other words, an [[augmentation]] in the [[competence]] or [[performance]], of the agent or community engaged in the inquiry.
In the pragmatic way of thinking every thing has a purpose, and the purpose of any thing is the first thing that we should try to note about it. 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''. It needs to be appreciated that the three kinds of inference, insofar as they contribute to the end of inquiry, 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 [[abductive reasoning|abduction]] is to generate guesses of a kind that [[deductive reasoning|deduction]] can explicate and that [[inductive reasoning|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.
If we then think to inquire, "What sort of [[constraint]], exactly, does pragmatic thinking place on our guesses?", we have asked the question that is generally recognized as the problem of "giving a rule to abduction". Peirce's way of answering it is given in terms of the so-called ''[[pragmatic maxim]]'', and this in turn gives us a clue as to the central role of abductive reasoning in Peirce's pragmatic philosophy.
===Logic of information===
{{main|Logic of information}}
<blockquote>
Let us now return to the information. The information of a term is the measure of its superfluous comprehension. That is to say that the proper office of the comprehension is to determine the extension of the term. For instance, you and I are men because we possess those attributes — having two legs, being rational, &tc. — which make up the comprehension of ''man''. Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the information instead. (C.S. Peirce, "The Logic of Science, or, Induction and Hypothesis" (1866), CE 1, 467.)
</blockquote>
==Source materials==
[[C.S. Peirce]], “On Time and Thought”, MS 215, 8 March 1873.
[[C.S. Peirce]], “On Time and Thought”, MS 215, 8 March 1873.
