Readings On Determination • Discussion 3

Re: Readings On Determination • 1

I keep coming back to Peirce’s early lectures on the logic of science because we see there the first inklings of his prospective theory of information, one of those ideas whose time was ripe enough but whose complete fruition lies yet in the future.  The ideas of constraint, definition, determination, information, and inquiry are naturally deeply intertwined.

Here is a link to my ongoing study of those lectures, focusing on the formula:

Definitions of Peirce’s various terms (content, sphere, etc.) may be found there.

Resources

cc: Peirce List

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Readings On Determination • 1

Re: Peirce List (1) (2)

The concepts of definition and determination converge in their concern for setting bounds to the point where they coincide at a certain level of abstraction.  One avenue of approach to determination may then begin from a consideration of definition.

The moment, then, that we pass from nothing and the vacuity of being to any content or sphere, we come at once to a composite content and sphere.  In fact, extension and comprehension — like space and time — are quantities which are not composed of ultimate elements;  but every part however small is divisible.

The consequence of this fact is that when we wish to enumerate the sphere of a term — a process termed division — or when we wish to run over the content of a term — a process called definition — since we cannot take the elements of our enumeration singly but must take them in groups, there is danger that we shall take some element twice over, or that we shall omit some.  Hence the extension and comprehension which we know will be somewhat indeterminate.  But we must distinguish two kinds of these quantities.  If we were to subtilize we might make other distinctions but I shall be content with two.  They are the extension and comprehension relatively to our actual knowledge, and what these would be were our knowledge perfect.  (Peirce, CE 1, 462)

Reference

  • Peirce, C.S. (1866), “The Logic of Science;  or, Induction and Hypothesis”, pp. 357–504 in Writings of Charles S. Peirce : A Chronological Edition, Volume 1, 1857–1866, Peirce Edition Project, Indiana University Press, Bloomington, IN, 1982.

Resources

cc: Peirce List

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Readings On Determination • Discussion 2

Re: Peirce List (1) (2)
Re: Jeffrey Downard (1) (2) (3)

Having been through this same discussion on many previous occasions I’ll try to sum up the more persistent confusions never ceasing to bedevil the subject.  Most of these arise from a failure to observe a number of critical distinctions.

  1. There is above all the distinction between relations and tuples.  When it is necessary to emphasize the distinction I will describe relations as “relations in general” or “relations proper” while referring to tuples as “elementary relations”.
  1. There is the corresponding distinction between sign relations and elementary sign relations or triples of the form (o, s, i).

Relations are, generally speaking, much more complex structures than elementary relations, so classifying relations is a much more complex affair than classifying elementary relations.

The same goes for sign relations and elementary sign relations.  Almost all the literature you see on “classifying sign relations” actually goes no further than the much simpler task of classifying elementary sign relations.  Classifying sign relations, in the proper sense of the word, is a task for the future.

  1. There is the distinction between formal or informational determination and causal or temporal determination.  The latter form of determination is a special case of the former.  A simple example of formal determination is found in such venerable phrases as “two points determine a line”.  Pairs of points do not cause lines or precede them in time.  Formal determination is defined at a higher level of abstraction than cause and time.
  1. There is the distinction between dyadic forms of determination and triadic forms of determination.  Here we run into a verbal problem.  There is something about the word “determination” — possibly the grammatical category of “to determine” as a transitive verb with a lone direct object — that almost inexorably drags the mind down into the ruts of dyadic thinking, so it helps to use the more general and less biased idea of constraint.

    In this more general perspective, the family of concepts including correspondence, determination, law, relation, structure, and so on all fall under the notion of constraint.  Constraint is present in a system to the extent that one set of choices is distinguished by some mark from a larger set of choices.  That mark may distinguish the actual from the possible, the desired from the conceivable, or any number of other divisions depending on the subject in view.

    Thus we have a form of determination wherever we have a form of constraint.  One of the most general ways of expressing a constraint is in terms of the subset relation:

    • A dyadic relation D is defined by the constraint D \subseteq X \times Y, where X and Y are the domains of the relation D.
    • A triadic relation T is defined by the constraint T \subseteq X \times Y \times Z, where X, Y, Z are the domains of the relation T.
    • A sign relation L is defined by the constraint L \subseteq O \times S \times I, where O, S, I are the domains of the sign relation L.

Resources

cc: Peirce List

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Readings On Determination • Discussion 1

Re: Peirce List (1) (2)

What I’m really after here has to do with the way a certain concept of determination figures into Peirce’s better definitions of a sign relation — “better” meaning definitions strong enough to bear the load of a consequential theory.

That is a very old business with me and there are developments of it still unfinished but lately I have noticed a number of related issues which are not as clear as they need to be.

So I’ll be trying to do something about that, by the by.

Resources

cc: Peirce List

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Definition and Determination • 13

Re: Peirce List (1) (2)
Re: Jerry Rhee (1) (2)

Verbal acrobatics can get a person only so far, even for a high-wire act like C.S. Peirce, and all the great failures to launch I’ve seen pragmatism and semiotics suffer from during the last century come about because people have a habit of getting waylaid in à priori armchair delicatessen methods of fixing their beliefs in premature contentments.

When it’s time to deal with real experimental data and realistic practical applications then there is no help for it but wrestling with the mathematical structures of triadic sign relations and relations in general.

Resources

cc: Inquiry List • Peirce List (1) (2) (3) (4) (5)

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Mathematics, Peirce, Semiotics, Structure | Tagged , , , , , , , , , , , , , , , , | 6 Comments

Definition and Determination • 12

Re: Peirce List (1) (2)
Re: Jerry Rhee, quoting Peirce (1) (2)

The surprising fact, C, is observed;
But if A were true, C would be a matter of course,
Hence, there is reason to suspect that A is true.  (CP 5.189)

For now I’m just focused on the bare essentials of Peirce’s semiotics, specifically, the minimal adequate definition of a sign relation as it figures into Peirce’s definition of logic along with the necessary concepts of triple correspondence and triadic determination on which all the rest depends.

The essential definitions of logic and sign relations can be found on the following page.

It would take a while to get from there to his full theory of inquiry, involving the interplay of abductive, deductive, and inductive styles of inference, but first things first, as they say.

Just as a side note, though, I’m sure every writer who ever attempted to introduce a complex subject to a new audience has tried the tactic of seeking out the simplest possible capsule summary of its main gist.  The pithy epitome of abduction cited above is a perfect example of just such a capsule and I have seen vast literatures in several areas spring from its pith and moment only to have their currents turn awry from its oversimplifications.  Let’s not get addicted to that capsule!

A better idea of the rich interplay among the three styles of reasoning and how they work in tandem to reinforce one another in genuine inquiry may be had from the study I carried out when I was working to view Peirce’s theories of inference, information, and inquiry from a systems analysis perspective on a systems engineering platform.  There is a sketch of that work in the following report.

cc: Inquiry List • Peirce List (1) (2) (3) (4) (5)

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Intension, Logic, Logic of Science, Mathematics, Peirce, Semiotics, Structure | Tagged , , , , , , , , , , , , , , , , | 6 Comments

Readings On Determination

This is an anchor post for a set of readings on determination, focusing on the census of senses Peirce employed in his pragmatic approach to information, inquiry, science, and signs with a pinch of readings from other writers for historical and contemporary context.

I will start with a set of readings I collected some twenty years ago.  Once that groundwork is laid down, there is a set of ideas coming from the relational programming paradigm in computer science I think would mesh nicely with Peirce’s theory of information and could be extended to cover the triadic relations of his semiotics.

Resource

cc: Peirce List

Posted in C.S. Peirce, Comprehension, Constraint, Definition, Determination, Differential Logic, Extension, Form, Indication, Information = Comprehension × Extension, Inquiry, Inquiry Driven Systems, Intension, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations | Tagged , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Systems of Interpretation • 9

Elementary Sign Relation
\text{Figure 2. An Elementary Sign Relation}

Re: Peirce ListJerry Chandler

It is above all important to understand that Peirce’s concept of a sign relation is defined at a higher order of abstraction than any notion of causal or temporal order.

A sign relation L \subseteq O \times S \times I is a structure which can generate the temporal sequences of signs making up a semiotic process but there is no necessary temporal order associated with the relational domains O, S, I nor with the roles of objects, signs, and interpretant signs in any triple of the form (o, s, i).

As it happens, generative relationships between a generating structure and a generated class of structures are very common throughout mathematics and not unique to semiotics.

References

  • Awbrey, S.M., and Awbrey, J.L. (2001), “Conceptual Barriers to Creating Integrative Universities”, Organization : The Interdisciplinary Journal of Organization, Theory, and Society 8(2), Sage Publications, London, UK, 269–284.  AbstractOnline.
  • Awbrey, S.M., and Awbrey, J.L. (September 1999), “Organizations of Learning or Learning Organizations : The Challenge of Creating Integrative Universities for the Next Century”, Second International Conference of the Journal ‘Organization’, Re‑Organizing Knowledge, Trans‑Forming Institutions : Knowing, Knowledge, and the University in the 21st Century, University of Massachusetts, Amherst, MA.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52.  ArchiveJournal.  Online (doc) (pdf).

cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science
cc: FB | SemeioticsMathstodonLaws of Form • Peirce List (1) (2) (3) (4) (5)

Posted in C.S. Peirce, Diagrammatic Reasoning, Interpretive Frameworks, Logic, Logical Graphs, Objective Frameworks, Relation Theory, Semiotics, Sign Relations, Systems of Interpretation, Triadic Relations, Visualization | Tagged , , , , , , , , , , , | 1 Comment

Systems of Interpretation • 8

Aspects of a Sign Relation
\text{Figure 3. Aspects of a Sign Relation}

Re: Peirce ListKirsti Määttänen

One of the chief advantages of Peirce’s systems of logical graphs, entitative and existential, is the way they escape the bounds of 1‑dimensional syntax and thus make it clear that many constraints of order imposed by the ordinary lines of linguistic text are not of the essence for logic but purely rhetorical accidents.  That does, of course, leave open the question of what constraints imposed by the 2‑dimensional medium of Peirce’s logical graphs might also be inessential to logic.

As far as visualizations of sign relations go, without worrying about their use as a calculus, there is the above 3‑dimensional example from a paper Susan Awbrey and I presented at conference in 1999 and revised for publication in 2001.

Resources

References

  • Awbrey, S.M., and Awbrey, J.L. (2001), “Conceptual Barriers to Creating Integrative Universities”, Organization : The Interdisciplinary Journal of Organization, Theory, and Society 8(2), Sage Publications, London, UK, 269–284.  AbstractOnline.
  • Awbrey, S.M., and Awbrey, J.L. (September 1999), “Organizations of Learning or Learning Organizations : The Challenge of Creating Integrative Universities for the Next Century”, Second International Conference of the Journal ‘Organization’, Re‑Organizing Knowledge, Trans‑Forming Institutions : Knowing, Knowledge, and the University in the 21st Century, University of Massachusetts, Amherst, MA.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52.  ArchiveJournal.  Online (doc) (pdf).

cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science
cc: FB | SemeioticsMathstodonLaws of Form • Peirce List (1) (2) (3) (4) (5)

Posted in C.S. Peirce, Diagrammatic Reasoning, Interpretive Frameworks, Logic, Logical Graphs, Objective Frameworks, Relation Theory, Semiotics, Sign Relations, Systems of Interpretation, Triadic Relations, Visualization | Tagged , , , , , , , , , , , | 1 Comment

Systems of Interpretation • 7

Elementary Sign Relation
\text{Figure 2. An Elementary Sign Relation}

Re: Peirce ListGary Fuhrman

Peirce’s existential graphs are a general calculus for expressing the same subject matter as his logic of relative terms and thus they serve to represent the structures of many‑place relations.  Cast at that level of generality, there is nothing to prevent existential graphs from being used to express the special cases of relative terms needed for a theory of triadic sign relations, for example, terms like “s stands to i for o” or “__ stands to __ for __” or any number of other forms, depending on the style one prefers.  It may give us pause that we have to use sign relations in order to mention sign relations but the fact is we do that all the time whether we are using Peirce’s semiotics or not.  Peirce’s pragmatic analysis of the process simply provides a clearer account than most other approaches do.

References

  • Awbrey, S.M., and Awbrey, J.L. (2001), “Conceptual Barriers to Creating Integrative Universities”, Organization : The Interdisciplinary Journal of Organization, Theory, and Society 8(2), Sage Publications, London, UK, 269–284.  AbstractOnline.
  • Awbrey, S.M., and Awbrey, J.L. (September 1999), “Organizations of Learning or Learning Organizations : The Challenge of Creating Integrative Universities for the Next Century”, Second International Conference of the Journal ‘Organization’, Re‑Organizing Knowledge, Trans‑Forming Institutions : Knowing, Knowledge, and the University in the 21st Century, University of Massachusetts, Amherst, MA.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (1995), “Interpretation as Action : The Risk of Inquiry”, Inquiry : Critical Thinking Across the Disciplines 15(1), 40–52.  ArchiveJournal.  Online (doc) (pdf).

cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science
cc: FB | SemeioticsMathstodonLaws of Form • Peirce List (1) (2) (3) (4) (5)

Posted in C.S. Peirce, Diagrammatic Reasoning, Interpretive Frameworks, Logic, Logical Graphs, Objective Frameworks, Relation Theory, Semiotics, Sign Relations, Systems of Interpretation, Triadic Relations, Visualization | Tagged , , , , , , , , , , , | 1 Comment