12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 14:03, 11 August 2009
, 14:03, 11 August 2009→Logic as sign transformation: reconnect fragmented paragraph
Still, one of the aims of formalizing what acts of reasoning that we can is to draw them into an arena where we can examine them more carefully, perhaps to get better at their performance than we can unreflectively, and thus to live, to formalize again another day. Formalization is not the be-all end-all of human life, not by a long shot, but it has its uses on that behalf.
Still, one of the aims of formalizing what acts of reasoning that we can is to draw them into an arena where we can examine them more carefully, perhaps to get better at their performance than we can unreflectively, and thus to live, to formalize again another day. Formalization is not the be-all end-all of human life, not by a long shot, but it has its uses on that behalf.
This looks like a good place to pause and take stock. The question arises: What is really going on here? We have all these signs, but what is the object?
This looks like a good place to pause and take stock. The question arises: What is really going on here? We have all these signs, but what is the object? One object worth the candle is simply to study a non-trivial example of a syntactic system, simple in design but not entirely a toy, just to see how these systems tick. More than that, we would like to understand how sign systems come to exist or can be placed in relation to object systems, in the likes of which we possess some compelling independent reason to take an interest. What is the utility of setting up sets of strings and sets of graphs, and sorting them according to their ''semiotic equivalence class'' (SEC) based on this or that abstract notion of transformational equivalence?
One object worth the candle is simply to study a non-trivial example of a syntactic system, simple in design but not entirely a toy, just to see how these systems tick.
More than that, we would like to understand how sign systems come to exist or can be placed in relation to object systems, in the likes of which we possess some compelling independent reason to take an interest.
What is the utility of setting up sets of strings and sets of graphs, and sorting them according to their ''semiotic equivalence class'' (SEC) based on this or that abstract notion of transformational equivalence?
Good questions.
Good questions.