Tenacity, Authority, Plausibility, Inquiry

Re: Peter CameronMathematics and Logic

My favorite polymathematician, Charles Sanders Peirce, gave a fourfold classification of what he called “methods of fixing belief”, or “settling opinion”, most notably and seminally in his paper, “The Fixation of Belief” (1877).  Adjusting his nomenclature very slightly, if only for the sake of preserving a mnemonic rhyme scheme, we may refer to his four types as Tenacity, Authority, Plausibility (à priori pleasing praiseworthiness), and full-fledged Scientific Inquiry.

Posted in Authority, Belief, Belief Fixation, C.S. Peirce, Fixation of Belief, Inquiry, Logic, Method, Philosophy of Science, Plausibility, Science, Scientific Inquiry, Scientific Method, Tenacity, Uncertainty | Tagged , , , , , , , , , , , , , , | 4 Comments

Paint Creek • 10 January 2013

Paint Creek • 10 January 2013 • 2:14 pm

Posted in Photo | Tagged | Leave a comment

Providence

Red-breasted robins and brown-speckled starlings
Mobbing the crab-apple tree outside my window,
Stretching their necks for the frozen red berries —
The snow-sprinkled branches saved them for now.

Jon Awbrey
31 Dec 2012

Posted in Verse | Tagged | Leave a comment

Theme One • A Program Of Inquiry 3

Re: Peirce ListGary Richmond

The program I wrote for my M.A. in Psych was barely a prototype, a “test of concept”, as they say, but I continued to develop and apply the underlying collection of ideas to a number of concrete problems throughout the ensuing years.

Here is a paper describing the associated program of research Susan Awbrey and I presented at a conference the following year.

  • Awbrey, J.L., and Awbrey, S.M. (August 1990), “Exploring Research Data Interactively. Theme One : A Program of Inquiry”, Proceedings of the Sixth Annual Conference on Applications of Artificial Intelligence and CD-ROM in Education and Training, Society for Applied Learning Technology, Washington, DC, pp. 9–15.  Online.
Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 8 Comments

Why am I afraid of writing what I know?

or in a place where it might be understood?

or to a person who might understand it?

Posted in Meditation, Question, Reflection | Tagged , , | Leave a comment

Constraints and Indications • 1

Re: Peirce ListChristophe MenantJon AwbreyChristophe Menant

The system-theoretic concept of constraint is one that unifies a manifold of other notions — definition, determination, habit, information, law, predicate, regularity, and so on.  Indeed, it is often the best way to understand these concepts.

Entwined with the concept of constraint is the concept of information, the power signs bear to reduce uncertainty and advance inquiry.  Asking what consequences those ideas have for Peirce’s theory of triadic sign relations led me some years ago to the following thoughts.

Here I am thinking of the concept of constraint that constitutes one of the fundamental ideas of classical cybernetics and mathematical systems theory.

For example, here is how Ashby introduces the concept of constraint in his Introduction to Cybernetics (1956).

A most important concept, with which we shall be much concerned later, is that of constraint.  It is a relation between two sets, and occurs when the variety that exists under one condition is less than the variety that exists under another.  Thus, the variety of the human sexes is 1 bit;  if a certain school takes only boys, the variety in the sexes within the school is zero;  so as 0 is less than 1, constraint exists.  (1964 ed., p. 127).

At its simplest, then, constraint is just an aspect of the subset relation.

The objective of an agent, organism, or similar regulator is to keep within its viable region, a particular subset of its possible state space.  That is the constraint of primary interest to the agent.

Incidentally, Ashby’s book, in my estimation still the best introduction to classical cybernetics going, is available online in PDF form:

  • Ashby, W.R. (1956), Introduction to Cybernetics, Methuen, London, UK.  Online.
Posted in Adaptive Systems, Artificial Intelligence, Ashby, C.S. Peirce, Constraint, Control, Cybernetics, Determination, Error-Controlled Regulation, Feedback, Indication, Indicator Functions, Information, Inquiry, Inquiry Driven Systems, Intelligent Systems, Intentionality, Learning Theory, Peirce, Semiotic Information, Semiotics, Systems Theory, Uncertainty | Tagged , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Theme One • A Program Of Inquiry 2

Re: Peirce ListJerry Chandler

I think I was probably the first person in that particular psychology department to submit a program as a master’s thesis, at any rate they didn’t have regular procedures set up for that kind of thing, so it fell under the cache-all of a “Plan B”.  The department accepted the program, the initial manual, and some work I did applying the program to an “Exploratory Qualitative Analysis of Sequential Observation Data” as sufficient grief for an M.A.

I’m assembling what documentation I have on the following page.

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Peirce, Semiotics | Tagged , , , , , , , , , , , , , | 8 Comments

Theme One • A Program Of Inquiry 1

Re: Peirce ListJerry ChandlerJon AwbreyGary RichmondChristophe Menant

I view psychology, throughout its many branches, as a fascinating and compelling collection of subjects, so much so I spent one of my parallel lives in the 1980s earning a Master’s degree in it, submitting a “Plan B” thesis in the form of a computer program designed to integrate a module for complex sequential learning with a module for propositional constraint satisfaction based on an extension of Peirce’s logical graphs.  I wandered through three universities during that time, taking graduate courses in math, psychology, statistics, and computer science, finally finishing in 1989.

The hot topics of Artificial Intelligence and Cognitive Science from those times have lately enjoyed a revival on the Peirce List, and though it brings me a twinge of seasonal nostalgia now and then to hear those old chestnuts being fired up again, those problems seem to me now as problems existing for and within a peculiar tradition of thought, a tradition of chasing will o’ th’ wisps Peirce side-stepped long before the chase began.

I hear in Peirce a different drummer …

I remember when others heard it, too …

cc: FB | Theme One ProgramLaws of FormPeirce List

Posted in Artificial Intelligence, C.S. Peirce, Cognition, Computation, Constraint Satisfaction Problems, Cybernetics, Formal Languages, Inquiry, Inquiry Driven Systems, Intelligent Systems, Learning Theory, Logic, Semiotics, Visualization | Tagged , , , , , , , , , , , , , | 8 Comments

Constants, Inconstants, and Higher Order Propositions

A question arising on the Foundations Of Math List gives me an opportunity to introduce the subject of higher order propositions, which I think afford a better way to handle the situations of confusion, doubt, obscurity, uncertainty, and vagueness often approached by way of variations in the values assigned to propositions.

Re: FOM | TerminologyIrving Anellis

IA:
My own preference for t-definite, t-indefinite or f-indefinite, and f-definite, as opposed to tautology, contingent, and contradiction lies in allowing application of those terms for truth as well as for validity, for semantic and syntactic uses.

If we start with a universe of discourse X and think of propositions as being (or denoting) functions of the form f : X \to \mathbb{B}, where \mathbb{B} = \{ 0, 1 \}, then what we are charged with is choosing suitable names for higher order propositions of the form m : (X \to \mathbb{B}) \to \mathbb{B}.

The term tautology or 1-definite is true of exactly one f : X \to \mathbb{B}, namely the constant function 1 : X \to \mathbb{B}.

The term contradiction or 0-definite is true of exactly one f : X \to \mathbb{B}, namely the constant function 0 : X \to \mathbb{B}.

The term contingent or indefinite is true of all the functions f : X \to \mathbb{B} which are neither of the above.

Here is a place where I took the trouble to think up names for higher order propositions over a 1-dimensional universe.

I called the contingent propositions either informed or non-uniform.

Posted in Foundations of Mathematics, Higher Order Propositions, Irving Anellis, Logic, Mathematics | Tagged , , , , | Leave a comment

Demonstrative And Otherwise

I am constantly encountering what I perceive as echoes of Peircean themes in places where acquaintance with or interest in Peirce’s work is slight at best, and that leaves me with a lot of pent up thoughts that I’ve learned through trial and error can’t always be ventilated in the places that stirred them up.

The recent discussion of fuzzy set theory on the Foundations Of Math List is a prime example of that.  I see the questions arising there as falling within a larger question about the proper roles of demonstrative reasoning and non-demonstrative reasoning in the logic of inquiry.

That particular theme has recurred so frequently over the years that I’ve decided to give it a name, “Demonstrative And Otherwise” (DAO), and to start collecting the data of its cases in a more deliberate manner.

Here’s another case I view as falling under the rubric of DAO — it arose on a blog devoted to a fundamental problem in computational complexity.

And here’s a blog post where I began to gather a few reflections that bear on this computational aspect of DAO.

Posted in Abduction, Artificial Intelligence, C.S. Peirce, Computation, Computational Complexity, Cybernetics, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems, Logic, Peirce, Programming, Semiotics | Tagged , , , , , , , , , , , , , , | 2 Comments