If the advance of science results in an increase or decrease in the resources needed for deductive systematization of science (or whatever is the favored task of logic), what counts as logic changes accordingly (Warmbrod 1999, 533).
Note that we are counting only logic and addition operations, not storage of values in program variables.
A principled demarcation of logical constants might offer an answer to this question, thereby clarifying what is at stake in philosophical controversies for which it matters what counts as logic (for example, logicism and structuralism in the philosophy of mathematics).
Logicism of course raises the difficult issue of what exactly counts as logic and not all identificationists embrace it (Pollard and Martin 1986).
Logic, for example, is a set of practices and therefore a language, perfectly in order as it stands; what counts in logic as a correct application of a term or a permissible inference, therefore, depends only on what logicians do.
I didn't know what counted as logic or what counted as a novel.
While pragmatic demarcations seek to minimize what counts as logic, analytical demarcations are inclusive.
Or, in Harman's pithier formulation: "Count as logic only as much as you have to" (Harman 1972, 79).
Finally, on a pragmatic demarcation, what counts as logic may depend on the current state of scientific and mathematical theory.
These rules are based on the event-condition-action triad, and use operators (e.g., logic, counting, temporal, causal, and spatial) on input events, searching for correlations, exceptional conditions, and the occurrence of patterns.
