Being In Time

Posted on February 29, 2024 by Jon Awbrey

I need to be in the state I’m in.
I need to dwell on the indwelling.
I need to unpack the original source,
Too long hidebound by habit of force.

Posted in Anthem, Anthematics, Mantra, Maxim, Meditation, Poem, Reflection, Resource, Reverie, Verse | Tagged , , , , , , , , , | Leave a comment

Survey of Inquiry Driven Systems • 6

Posted on February 28, 2024 by Jon Awbrey

This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more compact and systematic treatment of the subject.

An inquiry driven system is a system having among its state variables some representing its state of information with respect to various questions of interest, for example, its own state and the states of potential object systems.  Thus it has a component of state tracing a trajectory though an information state space.

Anthem

Elements

Background

Blog Series

  • Pragmatic Cosmos • (1)

Blog Dialogs

  • Architectonics of Inquiry • (1)

Developments

Applications

  • Conceptual Barriers to Creating Integrative Universities
    (Abstract) (Online)
  • Interpretation as Action • The Risk of Inquiry
    (Journal) (doc) (pdf)
  • An Architecture for Inquiry • Building Computer Platforms for Discovery
    (Online)
  • Exploring Research Data Interactively • Theme One : A Program of Inquiry
    (Online)

cc: FB | Inquiry Driven Systems • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in Abduction, Adaptive Systems, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognitive Science, Cybernetics, Deduction, Educational Systems Design, Educational Technology, Fixation of Belief, Induction, Information Theory, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Interpretation, Logic, Logic of Science, Mathematics, Mental Models, Pragmatic Maxim, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 19 Comments

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 4

Posted on February 27, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way the inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Anthem

Blog Dialogs

Blog Series

Blog Surveys

OEIS Wiki

Ontolog Forum

cc: FB | Inquiry Driven Systems • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in Abduction, Aristotle, C.S. Peirce, Deduction, Dewey, Discovery, Doubt, Fixation of Belief, Functional Logic, Icon Index Symbol, Induction, Inference, Information, Inquiry, Invention, Logic, Logic of Science, Mathematics, Morphism, Paradigmata, Paradigms, Pattern Recognition, Peirce, Philosophy, Pragmatic Maxim, Pragmatism, Scientific Inquiry, Scientific Method, Semiotics, Sign Relations, Surveys, Syllogism, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Survey of Theme One Program • 6

Posted on February 26, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I had earlier developed separate programs for basic components of those tasks, namely, 2-level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce’s logical graphs as a syntax for propositional logic.  Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate.  The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education.

Wiki Hub

Documentation

Blog Series

Blog Dialogs

Applications

References

  • Awbrey, S.M., and Awbrey, J.L. (May 1991), “An Architecture for Inquiry • Building Computer Platforms for Discovery”, Proceedings of the Eighth International Conference on Technology and Education, Toronto, Canada, pp. 874–875.  Online.
  • Awbrey, J.L., and Awbrey, S.M. (January 1991), “Exploring Research Data Interactively • Developing a Computer Architecture for Inquiry”, Poster presented at the Annual Sigma Xi Research Forum, University of Texas Medical Branch, Galveston, TX.
  • 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.

cc: FB | Theme One Program • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 35 Comments

Survey of Differential Logic • 7

Posted on February 25, 2024 by Jon Awbrey

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.

Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description.  A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models.  To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

Elements

Blog Series

Architectonics

Applications

Blog Dialogs

Explorations

cc: FB | Differential Logic • Laws of Form • Mathstodon • Ontolog • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 41 Comments

Sign Relations, Triadic Relations, Relation Theory • Discussion 12

Posted on February 24, 2024 by Jon Awbrey

Re: Sign Relations, Triadic Relations, Relation Theory • 1

A note from a longtime correspondent points out a search of the available texts turns up no use of the plural form “semiotics” by Peirce and just one place where he uses the plural form “Semeiotics”.  That prompts me to make the following excuse for my use or abuse of Peirce’s terms, as the case may be.

Peirce has always been one of my chief resources in the quest to understand how logic and math and science work.  There is much to be gained by getting his distinctive ideas across to active practitioners in those fields.  In doing that I find it better to tweak the words a bit, if that’s what it takes to preserve the idea, than to hallow the words at the risk of losing the idea.

As far as semiotics by any name goes, what seems to work best without too much clanging in modern ears is parsing semiotics in line with words like mathematics and cybernetics, plus we can now use the singular form as the adjective semiotic.

cc: FB | Semeiotics • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 4 Comments

Sign Relations, Triadic Relations, Relation Theory • 4

Posted on February 22, 2024 by Jon Awbrey

For ease of reference, here are two variants of Peirce’s 1902 definition of a sign, which he gives in the process of defining logic.

Selections from C.S. Peirce, “Carnegie Application” (1902)

No. 12.  On the Definition of Logic

Logic will here be defined as formal semiotic.  A definition of a sign will be given which no more refers to human thought than does the definition of a line as the place which a particle occupies, part by part, during a lapse of time.  Namely, a sign is something, A, which brings something, B, its interpretant sign determined or created by it, into the same sort of correspondence with something, C, its object, as that in which itself stands to C.  It is from this definition, together with a definition of “formal”, that I deduce mathematically the principles of logic.  I also make a historical review of all the definitions and conceptions of logic, and show, not merely that my definition is no novelty, but that my non‑psychological conception of logic has virtually been quite generally held, though not generally recognized.  (NEM 4, 20–21).

No. 12.  On the Definition of Logic [Earlier Draft]

Logic is formal semiotic.  A sign is something, A, which brings something, B, its interpretant sign, determined or created by it, into the same sort of correspondence (or a lower implied sort) with something, C, its object, as that in which itself stands to C.  This definition no more involves any reference to human thought than does the definition of a line as the place within which a particle lies during a lapse of time.  It is from this definition that I deduce the principles of logic by mathematical reasoning, and by mathematical reasoning that, I aver, will support criticism of Weierstrassian severity, and that is perfectly evident.  The word “formal” in the definition is also defined.  (NEM 4, 54).

Reference

  • Peirce, C.S. (1902), “Parts of Carnegie Application” (L 75), in Carolyn Eisele (ed., 1976), The New Elements of Mathematics by Charles S. Peirce, vol. 4, 13–73.  Online.

cc: FB | Semeiotics • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 4 Comments

Sign Relations, Triadic Relations, Relation Theory • 3

Posted on February 20, 2024 by Jon Awbrey

The middle ground between relations in general and the sign relations informing logic, inquiry, and communication is occupied by triadic relations, also called ternary or 3‑place relations.

Triadic relations are some of the most pervasive in mathematics, over and above the importance of sign relations for logic.

For a primer on triadic relations, with examples from mathematics and semiotics, see the article linked below.

cc: FB | Semeiotics • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 4 Comments

Sign Relations, Triadic Relations, Relation Theory • 2

Posted on February 19, 2024 by Jon Awbrey

I always have trouble deciding whether to start with the genus and drive down to the species or begin with concrete examples and accompany Sisyphus up Mt. Abstraction.

To start at the wide end of the funnel, the following article takes up relations in general, focusing on the discrete mathematical varieties we find most useful in applications, for example, as background for empirical data sets and relational data bases.

cc: FB | Semeiotics • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 4 Comments

Sign Relations, Triadic Relations, Relation Theory • 1

Posted on February 18, 2024 by Jon Awbrey

To understand how signs work in Peirce’s theory of triadic sign relations, or “semiotics”, we have to understand, in order of increasing generality, sign relations, triadic relations, and relations in general, each as conceived in Peirce’s logic of relative terms and the corresponding mathematics of relations.

Toward that understanding, here are the current versions of articles I long ago contributed to Wikipedia and Wikiversity and continue to develop at a number of other places.

cc: FB | Semeiotics • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

Posted in C.S. Peirce, Icon Index Symbol, Information, Inquiry Driven Systems, Logic, Logic of Relatives, Mathematics, Peirce, Pragmatism, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations, Triadicity, Visualization | Tagged , , , , , , , , , , , , , , , | 5 Comments