Alpha Now, Omega Later : 4

Re: Cristopher Moore on Theorems From Physics?

It is critically important to distinguish between the objective landscape, the boolean functions as mathematical objects, and the syntactic landscape, the particular formal language we are using as a propositional calculus to denote and compute with those objects.  If we do hill-climbing, we must keep our feet on the objective territory, however much we rely on syntactic maps to narrate the travelogue.  (Many will be thinking of manifolds here.)  The object domain has a fixed structure but the conceptual clarity and computational efficiency of propositional calculi can very likely be improved indefinitely.

This entry was posted in C.S. Peirce, Computational Complexity, Differential Logic, Equational Inference, Fixation of Belief, General Problem Solver, Hill Climbing, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Peirce, Physics, Propositional Calculus, Scientific Inquiry, Scientific Method, Semiotics, Sisyphus, Spencer Brown, Systems Theory, Zeroth Order Logic and tagged , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Alpha Now, Omega Later : 4

  1. Pingback: All Process, No Paradox : 2 | Inquiry Into Inquiry

  2. Pingback: Alpha Now, Omega Later : 7 | 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 )

Google+ photo

You are commenting using your Google+ 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