Peirce’s Categories • 7

Re: Peirce List DiscussionBen Udell

The week before last my home office got tossed like a salad into the middle of our bedroom floor while workmen worked on various things that needed re-working.  There’s probably a metaphor of brute secondness there, I don’t know.  One of the unintended but beneficial (in the long run) side-effects of all that uproar in the Awbrey household is that books and notes and papers at the bottom of their respective categories of stacks all got flipped to the tops of their heaps with the causal consequence that I am now busy re-acquainting myself with the unfinished business of a decade or more ago.  So it may be a while before I can manage to get any sort of concentration again.

By way of interlusory comments then …

Earlier on I said a little about what I mean by charitable interpretation and just now I said a little more about how I understand critical interpretation.  Before you can agree or disagree with someone you have to figure out what he or she is intending to say.  That is the question we have to ask with respect to the corpus of Peirce’s texts.

Most readers of Peirce have their pet correspondences among any budget of threesomes he happens to mention and they all have their favorite snippets to support their choices.  In 50 years of following these animadversions I have seen no total agreement among the various parties, though some do agree on some.  My reading of Peirce over the years leaves me with no certainty on these scores and certainly nothing approaching the orders of axiomatic definitions and formal proofs that would privilege any one-to-one correspondences among the trios that might be fixed and unique in all contexts for all intents and purposes and times.  I find Peirce making suggestive correlations in various contexts of application and others in others.  But when he is casting the most critical reflection on the alignment of the moment I see him expressing a duly requisite doubt and then begging off with a conclusion more apology than logical proof.

My first ten years of reading Peirce were quite a struggle.  I came to college as a math and physics major.  I couldn’t say Peirce is wholly responsible for my wandering years through fields and majors as diverse as communication and computer science to psychology and philosophy, but my efforts to understand what he was saying are decidedly one of the main forces that drove me back to graduate school, first mathematics, then adding psychology again along a parallel track, then more computer science and systems engineering as I worked to program a theorem prover for his logical graphs and then broadened that into my long-running work on Inquiry Driven Systems.  But the way I read his scientific work stabilized fairly well after that first decade, and I know I have done little on the Peirce List over the last ten years but rehash what I said during the first five.

To be continued …

Resources

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 6

Re: Peirce List DiscussionBen Udell

I read Peirce primarily for his insights into logic, mathematics, and science, which are considerable enough to occupy several lifetimes, and I read him the same way I read other thinkers in those areas.  Maybe some people read Peirce as Charles the Revelator, applying the principles of scriptural interpretation and chasing his tale around hermeneutic circles in hopes of cornering a sublime truth.  Scientific texts are read a different way.  There we have a line between two kinds of statements, those that serve as conjectures, heuristics, or suggestions and those that are proved (or proven).

To be continued …

Resources

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 5

Re: Peirce List DiscussionBen Udell

For my part, I see a distinctive paradigm of thought and practice immanent in Peirce’s work and all I’ve been trying to do for many years now has been to nudge it a little further from immanence to implementation.  It is precisely the engagement with applications that brings these criticisms to the fore.

Applications to empirical situations force one to view sign relations as large collections of triples, you might even say clouds of triples.  A sign relation, in this extended sense, is more like the environment in which our discussion and thought takes place than any single focal triple of the all too fixed gaze.  Any attempt at significant application simply never gets off square one, or rather triangle one, if it fails to step back and take in the big picture of an extended sign relation.

Resources

Posted in Abstraction, C.S. Peirce, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce's Categories, Phenomenology, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , | 8 Comments

Peirce’s Categories • 4

Re: Peirce List Discussions • (1)(2)(3)(4)(5)

Let me state a few principles that have guided me in my efforts to read and understand Peirce for the past fifty years.

There is a long-running strain of Peirce commentary that sees radical modifications in his thinking over the years.  I do not belong to that tradition.  I see more continuity than radical re-thinking in his thought through the years.  But seeing things that way is due to a certain perspective.

I apply the same principles of charitable and critical interpretation to Peirce that I do to any other writer.

Charity entails a search for a consistent interpretation if one is possible at all.  Charity goes only so far with some writers and some styles of writing;  contradictions of a sort that cannot be glossed over develop almost immediately and about all one can do is read things emotively or impressionistically after that point.  In Peirce’s case I almost always find that a little extra charity repays itself in the long run.  That is not to deny the apparent inconsistencies that we find in Peirce’s work, taken whole cloth, as careful readers have noted many, but it does imply a particular strategy for dealing with the wrinkles that do appear.

To be continued …

Resources

Posted in Abstraction, Category Theory, Logic, Logic of Relatives, Mathematics, Peirce, Peirce List, Peirce's Categories, Phenomenology, Philosophy, Pragmatism, Relation Theory, Semiotics, Thirdness, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , | 8 Comments

Definition and Determination • 14

Re: Peirce List (1) (2)

I’ve been trying to sort through the explosion of topics and tangents that have arisen over the past month — disruptions in my actual and virtual office spaces have made it hard for me to keep track — I still have the general impression that many things once relatively well understood among Peircean pilgrims are no longer as commonly consensual.

I can almost hear Galadriel’s prologue echoing in my ears …

I’m still not sure how we jumped from relatively simple questions about the meaning of correspondence and determination in Peirce’s definition of triadic sign relations to all the other issues that flared up, and I’m not seeing anything in the late Peirce manuscripts he didn’t say many times before, perhaps less subtly but rather more concretely and thus more clearly for all that.

By way of trying to get organized again, or maybe just recapping my part before moving on, here are the blog editions of my main comments on these subjects over the past month.

  • Definition and Determination
    (11)(12)(13)
  • Readings On Determination
    (0)(1)
  • Readings On Determination • Discussion
    (1)(2)(3)
  • Types of Reasoning in C.S. Peirce and Aristotle
    (1)(2)
  • Abduction, Deduction, Induction, Analogy, Inquiry
    (23)(24)

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 , , , , , , , , , , , , , , , , | 5 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 24

Re: Peirce ListJon Alan Schmidt

Peirce’s categories are best viewed as categories of relations.  To a first approximation, firstness, secondness, thirdness are simply what all monadic, dyadic, triadic relations, respectively, have in common.  At a second approximation, we may take up the issues of generic versus degenerate cases of 1-, 2-, 3-adicity, but it is critical to address the first approximation first before attempting to deal with the second.

In that light, thirdness is a global property of the whole triadic relation in question and it is a category error to attribute thirdness to any one relational domain or role, much less any of the elements belonging to those domains or filling the roles of the triadic relation.

As it happens, we often approach a complex relation by picking one of its elements, that is, a single tuple as exemplary of the whole set of tuples making up the relation, and then we take up the components of that tuple in one convenient order or another.  That method lends itself to the impression k-ness abides in the k-th component we happen to take up, but that impression begs the question of whether that order is a property of the relation itself or merely an artifact of our choice.

Failing to examine that question puts us at risk for a type of error I’ve previously dubbed the Fallacy Of Misplaced Abstraction (FOMA).  As I see it, there is a lot of that going on in the present discussion, arising from a tendency to assign Peircean categories to everything in sight, despite the fact that Peirce’s categories apply only to certain levels of structure.

cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11)

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 8 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 23

Re: Peirce ListBenjamin UdellJon Awbrey • Gary Richmond (1) (2)Jon Alan Schmidt

These days it takes me a web search to discover what I was thinking and writing the month before.  I went looking for the passage in McCulloch where he uses Case, Fact, Rule and it led me through hill and dale and back to my own post here on March 11.  See McCulloch’s paper with the Bardic title “What’s In The Brain That Ink May Character?”, but watch out for a few typos in the online copy.

Abductive reasoning was one of the first topics that pulled me into the briar patch of AI many years ago.  There were early papers by Harry Pople that I recall, partly because they came up again when I was working at the University of Texas Medical Branch and folks there were just beginning to explore computer-aided medical diagnosis.  At any rate, my search did turn up a copy of one of Pople’s early papers that references both Peirce and McCulloch.

  • Pople, H., and Werner, G. (1972), “An Information Processing Approach to Theory Formation in Biomedical Research”.  Online.

There have been four or five distinct waves of AI literature on so-called “abduction” since that time but almost all of it takes off from the same syntactic over-simplification of Peirce’s more complex model of abductive reasoning as it performs its role within the process of inquiry, so I have largely lost interest in that departure from the fons et origo.

References

  • McCulloch, W.S. (1964), “What’s in the Brain That Ink May Character?”, International Congress for Logic, Methodology, and Philosophy of Science, Israel, August 28, 1964.  Reprinted in Embodiments of Mind, pp. 387–397.
  • McCulloch, W.S. (1965), Embodiments of Mind, MIT Press, Cambridge, MA.
  • Pople, H., and Werner, G. (1972), “An Information Processing Approach to Theory Formation in Biomedical Research”, International Workshop on Managing Requirements Knowledge, December 5–7, 1972, Anaheim, CA, American Federation of Information Processing Societies (AFIPS), 1972 Proceedings of the Spring Joint Computer Conference, pp. 1125–1138.

cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10)

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 8 Comments

Types of Reasoning in C.S. Peirce and Aristotle • 2

Re: Peirce List DiscussionBen UdellGary Richmond

Present business has kept me from following much of the recent discussion on Peirce’s three types of reasoning, but we have been down this road before and so old tunes keep coming to mind whenever I get a chance to sample the stream.  I’ll use this thread to post what incidental reflections I may have, as they come to mind, in no particular order.

First, to the question recently discussed by Ben Udell and Gary Richmond, as to what we know and when we know it.

Inquiry situations where both premisses, major and minor, rule and case, arise at roughly the same time are very common, maybe even the archetype.  Aristotle said somewhere that the essence of wit was quickly grasping the middle term and I somewhat later dubbed this the process of discovering a “trial factorization” of a problem space or phenomenal field.  There is a bit of discussion in my essay titled Prospects for Inquiry Driven Systems in the section headed The Trees, The Forest.

For the present purpose, it should be recognized that this “trial factorization” of a problem space or phenomenal field is an important intellectual act in itself, one that deserves attention in the effort to understand the competencies that support intelligent functioning.  It is a good question to ask just what sort of reasoning processes might be involved in the ability to find such a middle term, as is served by “knowledge” in the example at hand.  Generally speaking, interest will reside in a whole system of middle terms, which might be called a “medium” of the problem domain or the field of phenomena.  This usage makes plain the circumstance that the very recognition and expression of a problem or phenomenon is already contingent upon and complicit with a particular set of hypotheses that will inform the direction of its resolution or explanation.

References

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Peirce List, Philosophy, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotic Information, Semiotics, Sign Relations, Syllogism | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Types of Reasoning in C.S. Peirce and Aristotle • 1

Re: Peirce List Discussion

In one of his earliest treatments of the three types of reasoning, from his Harvard Lectures “On the Logic of Science” (1865), Peirce gives an example that illustrates how one and the same proposition might be reached from three different directions, as the end result of an inference in each of the three modes.  There is a discussion of this example in my project report on Inquiry and Analogy.

Preceding that section there is a table of diagrams giving a rough illustration of how the three types of inference relate to Aristotle’s figures of the syllogism.

Posted in Abduction, Analogy, Argument, Aristotle, C.S. Peirce, Constraint, Deduction, Determination, Diagrammatic Reasoning, Diagrams, Differential Logic, Functional Logic, Hypothesis, Indication, Induction, Inference, Information, Inquiry, Logic, Logic of Science, Mathematics, Peirce, Peirce List, Philosophy, Probable Reasoning, Propositional Calculus, Propositions, Reasoning, Retroduction, Semiotic Information, Semiotics, Sign Relations, Syllogism | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

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