Definition talk:Operation

I would rather the page Definition:Logical Connective not be merged into Definition:Operation.

There is a link from the former to the latter already.

Yes, so a logical connective is an operation / operator (call it what you will), but I think it is better to keep the Logic definitions separate from the Mathematics ones as much as possible.

Reason: because the definitions for logic are what the whole of the basis of ZF set theory is based on, via the Axiom of Replacement, mainly. We can't define an "operation" in the context of abstract algebra until we have deduced that those structures exist in the first place, and we need to ensure the soundness of our logic before we can do that. The concept of a logical connective is about the very first step in that process. --Matt Westwood 21:20, 18 July 2010 (UTC)