# Category Archives: Animata

## Logic Syllabus • Discussion 2

Re: Logic Syllabus Re: Laws of Form • John Mingers JM: Is [the “just one true” operator] the same or different to xor?  I have read that xor is true when an odd number of variables are true which would … Continue reading

## Logic Syllabus • Discussion 1

Re: Logic Syllabus Re: Laws of Form • John Mingers JM: In a previous post you mentioned the minimal negation operator.  Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments … Continue reading

## Survey of Differential Logic • 5

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, … Continue reading

## Theme One Program • Discussion 10

Re: Mathstodon • Seamus Bradley SB: I thought of a programming language where every function can only return one type:  the return type.  The return type is just a wrapper around a struct that contains the actual return value, but … Continue reading

## 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 … Continue reading

## 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 Logical Graphs … Continue reading

## 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 … Continue reading

## 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 … Continue reading

## 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 … Continue reading

## 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 … Continue reading