Theme One Program • Discussion 2

Re: Systems ScienceJoseph Simpson

Warfield gets it right about the relationship between object languages and metalanguages.  Something about the prefix meta- has contributed to a not uncommon misconception that metalanguages are formalized to a higher degree than the languages they objectify whereas in fact the opposite is true.

As it happens, the relation of informal contexts to formal contexts and what I’ve elsewhere called the formalization arrows between them are themes of major importance in my study of Inquiry Driven Systems.  Being short on time at the moment, I’ll give just a pointer to one of many relevant discussions and hope to elaborate further at the next opportunity.

cc: Ontolog ForumSystems Science

This entry was 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 and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Theme One Program • Discussion 2

  1. Pingback: Survey of Theme One Program • 3 | Inquiry Into Inquiry

  2. Pingback: Survey of Theme One Program • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.