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

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 these inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Blog Dialogs

Blog Series

Blog Surveys

OEIS Wiki

Ontolog Forum

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Survey of Relation Theory • 6

In this Survey of blog and wiki posts on Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set‑theoretic constructions, many of which arise quite naturally in applications.  This approach to relation theory is distinct from, though closely related to, its study from the perspectives of abstract algebra on the one hand and formal logic on the other.

Elements

Relational Concepts

Relation Construction Relation Composition Relation Reduction
Relative Term Sign Relation Triadic Relation
Logic of Relatives Hypostatic Abstraction Continuous Predicate

Illustrations

Information‑Theoretic Perspective

  • Mathematical Demonstration and the Doctrine of Individuals • (1)(2)

Blog Series

Peirce’s 1870 “Logic of Relatives”

Peirce’s 1880 “Algebra of Logic” Chapter 3

Resources

cc: FB | Relation TheoryLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science
cc: W3 | RDF Surfaces

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Survey of Theme One Program • 5

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 ProgramLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science
cc: W3 | RDF Surfaces

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

Survey of Animated Logical Graphs • 5

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

Beginnings

Elements

Examples

Excursions

Applications

Blog Series

  • Logical Graphs, Iconicity, Interpretation • (1)(2)
  • Genus, Species, Pie Charts, Radio Buttons • (1)

Anamnesis

cc: FB | Logical GraphsLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science
cc: W3 | RDF Surfaces

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Differential Logic and Dynamic Systems • Overview

In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade‑off between dynamic paradigms and symbolic paradigms.  Dynamic models take their cue from physics, using quantitative measures and differential equations to model the evolution of a system’s state through time.  Symbolic models use logical methods to describe systems and their agents in qualitative terms, deriving logical consequences of a system’s description or an agent’s state of information.  Logic‑based systems have tended to be static in character, largely because we have lacked a proper logical analogue of differential calculus.  The work laid out in this report is intended to address that lack.

This article develops a differential extension of propositional calculus and applies it to the analysis of dynamic systems whose states are described in qualitative logical terms.  The work pursued here is coordinated with a parallel application focusing on neural network systems but the dependencies are arranged to make the present article the main and the more self‑contained work, to serve as a conceptual frame and a technical background for the network project.

Part 1

Review and Transition

A Functional Conception of Propositional Calculus

Qualitative Logic and Quantitative Analogy

Philosophy of Notation : Formal Terms and Flexible Types

Special Classes of Propositions

Basis Relativity and Type Ambiguity

The Analogy Between Real and Boolean Types

Theory of Control and Control of Theory

Propositions as Types and Higher Order Types

Reality at the Threshold of Logic

Tables of Propositional Forms

A Differential Extension of Propositional Calculus

Differential Propositions : Qualitative Analogues of Differential Equations

An Interlude on the Path

The Extended Universe of Discourse

Intentional Propositions

Life on Easy Street

Part 2

Back to the Beginning : Exemplary Universes

A One-Dimensional Universe

Example 1. A Square Rigging

Back to the Feature

Tacit Extensions

Example 2. Drives and Their Vicissitudes

Part 3

Transformations of Discourse

Foreshadowing Transformations : Extensions and Projections of Discourse

Extension from 1 to 2 Dimensions

Extension from 2 to 4 Dimensions

Thematization of Functions : And a Declaration of Independence for Variables

Thematization : Venn Diagrams

Thematization : Truth Tables

Propositional Transformations

Alias and Alibi Transformations

Transformations of General Type

Analytic Expansions : Operators and Functors

Operators on Propositions and Transformations

Differential Analysis of Propositions and Transformations

The Secant Operator : E
The Radius Operator : e
The Phantom of the Operators : η
The Chord Operator : D
The Tangent Operator : T

Part 4

Transformations of Discourse (cont.)

Transformations of Type B² → B¹

Analytic Expansion of Conjunction

Tacit Extension of Conjunction
Enlargement Map of Conjunction
Digression : Reflection on Use and Mention
Difference Map of Conjunction
Differential of Conjunction
Remainder of Conjunction
Summary of Conjunction

Analytic Series : Coordinate Method

Analytic Series : Recap

Terminological Interlude

End of Perfunctory Chatter : Time to Roll the Clip!

Operator Maps : Areal Views
Operator Maps : Box Views
Operator Diagrams for the Conjunction J = uv

Part 5

Transformations of Discourse (concl.)

Taking Aim at Higher Dimensional Targets

Transformations of Type B² → B²

Logical Transformations

Local Transformations

Difference Operators and Tangent Functors

Epilogue, Enchoiry, Exodus

Appendices

Appendices

Appendix 1. Propositional Forms and Differential Expansions

Table A1. Propositional Forms on Two Variables

Table A2. Propositional Forms on Two Variables

Table A3. Ef Expanded Over Differential Features

Table A4. Df Expanded Over Differential Features

Table A5. Ef Expanded Over Ordinary Features

Table A6. Df Expanded Over Ordinary Features

Appendix 2. Differential Forms

Table A7. Differential Forms Expanded on a Logical Basis

Table A8. Differential Forms Expanded on an Algebraic Basis

Table A9. Tangent Proposition as Pointwise Linear Approximation

Table A10. Taylor Series Expansion Df = df + d²f

Table A11. Partial Differentials and Relative Differentials

Table A12. Detail of Calculation for the Difference Map

Appendix 3. Computational Details

Operator Maps for the Logical Conjunction f8(u, v)

Computation of εf8
Computation of Ef8
Computation of Df8
Computation of df8
Computation of rf8
Computation Summary for Conjunction

Operator Maps for the Logical Equality f9(u, v)

Computation of εf9
Computation of Ef9
Computation of Df9
Computation of df9
Computation of rf9
Computation Summary for Equality

Operator Maps for the Logical Implication f11(u, v)

Computation of εf11
Computation of Ef11
Computation of Df11
Computation of df11
Computation of rf11
Computation Summary for Implication

Operator Maps for the Logical Disjunction f14(u, v)

Computation of εf14
Computation of Ef14
Computation of Df14
Computation of df14
Computation of rf14
Computation Summary for Disjunction

Appendix 4. Source Materials

Appendix 5. Various Definitions of the Tangent Vector

References

References

Works Cited

Works Consulted

Incidental Works

Document History

Document History

cc: FB | Differential LogicLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

In the Way of Inquiry • Objections to Reflexive Inquiry

Inquiry begins when an automatic routine or normal course of activity is interrupted and agents are thrown into doubt concerning what is best to do next and what is really true of their situation.  If this interruptive aspect of inquiry applies at the level of self-application then occasions for inquiry into inquiry arise when an ongoing inquiry into any subject becomes obstructed and agents are obliged to initiate a new order of inquiry in order to overcome the obstacle.

At such moments agents need the ability to pause and reflect — to accept the interruption of the inquiry in progress, to acknowledge the higher order of uncertainty obstructing the current investigation, and finally to examine accepted conventions and prior convictions regarding the conduct of inquiry in general.  The next order of inquiry requires agents to articulate the assumptions embodied in previous inquiries, to consider their practical effects in light of their objective intents, and to reconstruct forms of conduct which formerly proceeded through their paces untroubled by any articulate concern.

Our agent of inquiry is brought to the threshold of two questions:

  • What actions are available to achieve the aims of the present activity?
  • What assumptions already accepted are advisable to amend or abandon?

The inquirer is faced in the object of inquiry with an obstinately oppositional state of affairs, a character marked by the Greek word pragma for object, whose manifold of senses and derivatives includes among its connotations the ideas of purposeful objectives and problematic objections, and not too incidentally both inquiries and expositions.

An episode of inquiry bears the stamp of an interlude — it begins and ends in medias res with respect to actions and circumstances neither fixed nor fully known.  As easy as it may be to overlook the contingent character of the inquiry process it’s just as essential to observe a couple of its consequences:

First, it means genuine inquiry does not touch on the inciting action at points of total doubt or absolute certainty.  An incident of inquiry does not begin or end in absolute totalities but only in the differential and relative measures which actually occasion its departures and resolutions.

Inquiry as a process does not demand absolutely secure foundations from which to set out or any “place to stand” from which to examine the balance of onrushing events.  It needs no more than it does in fact have at the outset — assumptions not in practice doubted just a moment before and a circumstance of conflict that will force the whole situation to be reviewed before returning to the normal course of affairs.

Second, the interruptive character or escapist interpretation of inquiry is especially significant when contemplating programs of inquiry with recursive definitions, as the motivating case of inquiry into inquiry.  It means the termination criterion for an inquiry subprocess is whatever allows continuation of the calling process.

Resource

cc: FB | Inquiry Driven SystemsLaws of FormMathstodon • Academia.edu (1) (2) (3)
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 4 Comments

In the Way of Inquiry • Reconciling Accounts

The Reader may share with the Author a feeling of discontent at this point, attempting to reconcile the formal intentions of this inquiry with the cardinal contentions of experience.  Let me try to express the difficulty in the form of a question:

What is the bond between form and content in experience, between the abstract formal categories and the concrete material contents residing in experience?

Once toward the end of my undergrad years a professor asked me how I’d personally define mathematics and I told him I saw it as “the form of experience and the experience of form”.  This is not the place to argue for the virtues of that formulation but it does afford me one of the handles I have on the bond between form and content in experience.

I have no more than a tentative way of approaching the question.  I take there to be a primitive category of “form‑in‑experience” — I don’t have a handy name for it yet but it looks to have a flexible nature which from the standpoint of a given agent easily passes from the “structure of experience” to the “experience of structure”.

Resource

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 4 Comments

In the Way of Inquiry • Material Exigency

Our survey of obstacles to inquiry has dealt at length with blocks arising from its formal aspects.  On the other hand, I have cast this project as an empirical inquiry, proposing to represent experimental hypotheses in the form of computer programs.  At the heart of that empirical attitude is a feeling all formal theories should arise from and bear on experience.

Every season of growth in empirical knowledge begins with a rush to the sources of experience.  Every fresh‑thinking reed of intellect is raised to pipe up and chime in with the still‑viable canons of inquiry in one glorious paean to the personal encounter with natural experience.

But real progress in the community of inquiry depends on observers being able to orient themselves to objects of common experience — the uncontrolled exaltation of individual phenomenologies leads as a rule to the disappointment and disillusionment which befalls the lot of unshared enthusiasms and fragmented impressions.

Look again at the end of the season and see it faltering to a close, with every novice scribe rapped on the knuckles for departing from that uninspired identification with impersonal authority which expresses itself in third‑person passive accounts of one’s own experience.

A turn of events so persistent must have a cause, a force of reason to explain the dynamics of its recurring moment in the history of ideas.  The nub of it’s not born on the sleeve of its first and last stages, where the initial explosion and the final collapse march along their stubborn course in lockstep fashion, but is embodied more naturally in the middle of the above narrative.

Experience exposes and explodes expectations.  How can experiences impact expectations unless the two types of entities are both reflected in one medium, for instance and perhaps without loss of generality, in the form of representation constituting the domain of signs?

However complex its world may be, internal or external to itself or on the boundaries of its being, a finite creature’s description of it rests in a finite number of finite terms or a finite sketch of finite lines.  Finite terms and lines are signs.  What they indicate need not be finite but what they are, must be.

Fragments

The common sensorium.

The common sense and the senses of common.

This is the point where the empirical and the rational meet.

I describe as empirical any method which exposes theoretical descriptions of an object to further experience with that object.

Resource

cc: FB | Inquiry Driven SystemsLaws of FormMathstodon • Academia.edu (1) (2)
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 5 Comments

In the Way of Inquiry • Formal Apology

Using form in the sense of abstract structure, the focus of my interest in this investigation is limited to the formal properties of the inquiry process.  Among its chief constituents are numbered all the thinking and unthinking processes supporting the ability to learn and to reason.  This formal apology, the apologetics of declaring a decidedly formal intent, will be used on numerous occasions to beg off a host of material difficulties and thus avoid the perceived necessity of meeting a multitude of conventional controversies.

Category Double‑Takes

The first use of the formal apology is to rehabilitate certain classes of associations between concepts otherwise marked as category mistakes.  The conversion is achieved by flipping from one side of the concept’s dual aspect to the other as the context demands.  Thus it is possible in selected cases to reform the characters of category mistakes in the manner of categorical retakes or double‑takes.

Conceptual Extensions

The second use of the formal apology is to permit the tentative extension of concepts to novel areas, giving them experimental trial beyond the cases and domains where their use is already established in the precedents of accustomed habit and successful application.

This works to dispel the “in principle” objection that any category distinction puts a prior constraint on the recognition of similar structure between materially dissimilar domains.  It leaves the issue a matter to be settled by after the fact judgment, a matter of what fits best “in practice”.

Explosional Recombinations

Another obstacle to inquiry is posed by the combinatorial explosion of questions arising in complex cases.  The embarrassment of riches found here is deceptively deadly to the ends of inquiry in the very measure it appears so productive at first.  An eye to form provides a way to manage the wealth of material diversity by identifying formal similarities among materially distinct domains.  It allows the same formal answer to unify a host of concrete questions under a single roof, overall reducing the number of distinct topics that need to be covered.

Interpretive Frameworks

Iterations of the recombinatorial process generate alternative hierarchies of categories for controlling the explosion of parts in the domain under inquiry.  If by some piece of luck an alternative framework is uniquely suited to the natural ontology of the domain in question, it becomes advisable to reorganize the inquiry along the lines of the new topic headings.

But a complex domain seldom falls out that neatly.  The new interpretive framework will not preserve all the information in the object domain but typically capture only another aspect of it.  To take the maximal advantage of all the different frameworks that might be devised it is best to quit depending on any one of them exclusively.  Thus, a rigid reliance on a single hierarchy to define the ontology of a given domain passes over into a flexible application of interpretive frameworks to make contact with particular aspects of one’s object domain.

Resource

cc: FB | Inquiry Driven SystemsLaws of FormMathstodon • Academia.edu |1|2|3|4|
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 4 Comments

In the Way of Inquiry • Justification Trap

There is a particular type of “justification trap” a person can fall into, of trying to prove the scientific method by deductive means alone, that is, of trying to show the scientific method is a good method by starting from the simplest possible axioms, principles everyone would accept, about what is good.

Often this happens, in spite of the fact one really knows better, simply in the process of arranging one’s thoughts in a rational order, say, from the most elementary and independent to the most complex and derivative, as if for the sake of a logical and summary exposition.  But when does that rearrangement cease to be a rational reconstruction and start to become a destructive rationalization, a distortion of the genuine article, and a falsification of the authentic inquiry it attempts to recount?

Sometimes people express their recognition of this trap and their appreciation of the factor it takes to escape it by saying there is really no such thing as the scientific method, that the very term “scientific method” is a misnomer and does not refer to any uniform method at all.  As they see it, the development of knowledge cannot be reduced to any fixed method because it involves in an essential way such a large component of non‑methodical activity.  If one’s idea of what counts as method is fixed on the ideal of a deductive procedure then it’s no surprise one draws that conclusion.

Resource

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 7 Comments