Time, Topology, Differential Logic • 4

Re: Peirce List Discussion • JFSJA

JA:
Trying to understand inquiry and semiosis in general as temporal processes is one of the things that forced me to develop differential logic as an extension of propositional logic, for which I naturally turned to Peirce’s logical graphs as a starting point.
JFS:
Yes, that’s another path to explore.  For any version of logic, it’s important to determine what kinds of problems it can express and what solutions it can facilitate.  What useful stories or Gedanken experiments can you explain in terms of it?

A first try at answering this question might well begin by reflecting on the analogous question in the quantitative realm:

  • What kinds of situations does the differential and integral calculus serve to describe and what kinds of solutions does it help to facilitate?

Differential logic is simply the qualitative analogue of the differential and integral calculus.  Both are called upon as we pass from the description of static situations to dealing with changes, differences, and transformations among multiple situations, those that occur in different modes of being or through different points in time.

References

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 1 Comment

Time, Topology, Differential Logic • 3

Re: Peirce List Discussion • JA

Worldly events are interfering with my concentration quite a bit this week, perhaps for days to come, but it does help to immerse myself in work.  I am starting a blog series to follow out the present train of thought and trace whatever dialogue, internal or external, may ensue.  Plus, the blog medium will give me better formatting if we get any further into the math.

By the way, there are a number of Facebook pages I devoted to these subjects, for anyone who makes use of that environment:

References

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 1 Comment

Time, Topology, Differential Logic • 2

Re: Peirce List Discussion • JBDJAJA

Topology is the most general study of geometric space.  It is critical here to get beyond the “popular” accounts and learn the basics from a real math book.  A classic introduction is General Topology by J.L. Kelley but there are lots of equally good choices out there.

One of the reasons I like Kelley is that it has an appendix on set theory where I got my first real taste of axiomatic set theory.  I posted excerpts from the appendix and the main text to several discussion groups early in the present millennium and I archived copies at the following locations:

These are raw text copies right now but I’m in the process of segmenting them for ease of study and retrieving Internet Archive links for the discussion pages no longer live on the web.

Another good text I recall on topology is Munkres.  I imagine there are newer editions still in print.

References

Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 1 Comment

Time, Topology, Differential Logic • 1

The clock indicates the moment . . . . but what does
eternity indicate?

Walt Whitman • Leaves of Grass

Re: Peirce List Discussion • ETJFSJA

Trying to understand inquiry in particular and semiosis in general as temporal processes is one of the forces that drove me to develop differential logic as an extension of propositional logic, for which I naturally turned to Peirce’s logical graphs as a starting point.

It might be thought that an independent time variable needs to be brought in at this point, but it is an insight of fundamental importance that the idea of process is logically prior to the notion of time.  A time variable is a reference to a clock — a canonical, conventional process that is accepted or established as a standard of measurement, but in essence no different than any other process.  This raises the question of how different subsystems in a more global process can be brought into comparison, and what it means for one process to serve the function of a local standard for others.  (Reference 3)

References

  1. Differential Logic : Introduction
  2. Differential Propositional Calculus
  3. Differential Logic and Dynamic Systems
Posted in C.S. Peirce, Change, Differential Logic, Dynamical Systems, Inquiry, Inquiry Driven Systems, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Semiotics, Systems Theory, Time, Topology | Tagged , , , , , , , , , , , , , , | 1 Comment

Pragmatic Maxims • 4

Re: Peirce List Discussion • (1)(2)

I haven’t been able to do more than randomly sample the doings on the Peirce List for the last half year, being deeply immersed in other Peirce work that I hope to report on one of these days, but Jon Alan Schmidt’s remarks on the Pragmatic Maxim drew me back in for a bit.  He recited one of the places where Peirce declares the role of the Pragmatic Maxim in giving a rule to abduction, a point often missed by many of the most careful commentators.  There are aspects of the Pragmatic Maxim that come more naturally to engineers, workers in the applied sciences, therapeutic professions, and other practical categories than they do to specialists in spectator philosophies.  But I have lost track of that direction for the moment.  No doubt the occasion will arise again …

Reference

Posted in C.S. Peirce, Inquiry, Logic, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, References, Sources | Tagged , , , , , , , , , | Leave a comment

Pragmatic Maxims • 3

Re: Peirce List DiscussionJerry Rhee

Inquiry begins in doubt and aims for belief but the rush to get from doubt to belief and achieve mental peace can cause us to short the integrated circuits of inquiry that we need to compute better answers.

For one thing, we sometimes operate under the influence of fixed ideas and hidden assumptions that keep us from seeing the sense of fairly plain advice, and here I would simply recommend reading those versions of the Pragmatic Maxim again and again and trying to triangulate the points to which they point.

For another thing, not everything in logic is an argument.  A well-developed formal system will have:  (1) Primitives, the undefined terms that acquire meaning from their place in the whole system rather than from explicit definitions, (2) Definitions, that connect derived terms to primitives, (3) Axioms, propositions taken to be true for the sake of the theorems that can be derived from them by means of certain (4) Inference Rules.

But that’s just the formal underpinnings — there’s all sorts of informal heuristics, regulative principles, rules of thumb that go toward sustaining any system of significant practical use, and that’s where bits of practical advice like the Maxim in question come into play.

Reference

Posted in C.S. Peirce, Inquiry, Logic, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, References, Sources | Tagged , , , , , , , , , | 1 Comment

Pragmatic Maxims • 2

Re: Peirce List DiscussionJerry Rhee

I tend to think more in relative terms than absolute terms, so I would not expect to find an absolute best formulation of any core principle in philosophy, science, or even math.  But taken relative to specific interpreters and objectives we frequently find that symbolic expressions of meaningful principles can be improved almost indefinitely.

Reference

Posted in C.S. Peirce, Inquiry, Logic, Method, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, References, Sources | Tagged , , , , , , , , , | Leave a comment