insolite (insolite) wrote,

A logic worth its salt

A logic worth its salt should be understood as a method of correct reasoning about some class of entities, not as an empty formal game. For equational logic, the entities in question are sets, functions between them, and the relation of identity between elements. For rewriting logic, the entities in question are concurrent systems having states, and evolving by means of transitions. The signature of a rewrite theory describes a particular structure for the states of a system—e.g., multiset, binary tree, etc.—so that its states can be distributed according to such a structure.

― Dynamic Worlds: From the Frame Problem to Knowledge Management
Tags: quote

Recent Posts from This Journal

  • (no subject)

    It's whatever you say it is.

  • (no subject)

    There can be no identity, only structural similarity.

  • (no subject)

    Althusser said that the greatest event of history to date was the encounter of the working class with Marx’s theory of capital. Althusser, of course,…

  • Post a new comment


    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.