Talk:Closure operator

From Wikipedia, the free encyclopedia

Useful - my thanks to Axel for pulling this together.

Charles Matthews 09:09, 23 Feb 2004 (UTC)

[edit] Proposed merge from consequence operator

I'm proposing that consequence operator be merged into this article (at closure operator). The only significant difference I see as that the operator may be required to be finitary, in that

(3) ,

then C is (finitary, an operation of finite character (although not precisely the definition we're presently using), etc.)

(Although I'm sure there's a better characterization of finitary.) — Arthur Rubin | (talk) 20:01, 16 November 2006 (UTC)

The finite consequence operator is much more than a mere closure operator. It is the major notion used in the subject universal logic. It is a major investigation of the Polish logicians due to its algebraic properties. The basic definition is correctly stated as it was done by Tarski. There are two types but the finite one is characterized by the general logic-system, which, like the consequence operator, is a set-theoretic generalization of a formal logic system. It is used to investigate natural languages, as is the main goal of universal logic. Raherrmann 19:12, 2 December 2006 (UTC)

Mathematically, a finite (I'd call it finitary) consequence operator is exactly a closure operator of finite character. As the latter concept has applications in (finitary) universal algebra, and there's little that can be said about a finitary consequence operator in the abstract that would not apply to a finitary closure operator, or the operation of the closure of a set with respect to the operations of a partial algebra. And Tarski is in closure operator already. — Arthur Rubin | (talk) 19:48, 2 December 2006 (UTC)

I am aware of all of this, but the finite consequence operators do not form a complete lattice. They do form a join-complete lattice. Using universal logic notions, when this is applied to any collection of physical theories, then one obtains the sup. unification, one that does not alter any of the actual physical theories. This fact has just recently been completely related to "general" logic-systems. Obviously, this page is a further refinement of the rather small introduction that appears as but an example of a closure operator as used in logic. There is also a more general class of objects called deductiuve processes that have consequence operators as a major subclass. 4.249.39.6 17:52, 3 December 2006 (UTC)

That should all be here, or in a separate article on finitary closure operators. That they are "consequence operators" is irrelevant. (Besides, "consequence operators" doesn't seem to be a standard name....) — Arthur Rubin | (talk) 17:56, 3 December 2006 (UTC)

I'll discuss below whether they are indeed irrelevant in their properties. In 1981 Dziobiak, changed the name to "finite consequence operations." In 1983, I changed it to "operators" for their use as set-maps. Apparently, this is now being used by those in universal logic. Even though it is true that they are finitary closure operators, it is shown in a paper just published that they when the notion of the general logic-system is carefully defined, that the finite consequence operators they generate are of two general types. When one can use general logic-systems to generate finitary closure operators, then they also would be of two general types. These types depend upon whether the rules of inference as set-theoretically defined are finite or not. The finite ones are sufficient for standard formal logic such as propositional and predicate. Of course, closure operators need not be restricted and related to say ZF set theory. Now to obtain a non-finite (general) consequence operator via the notion of rules of inference, it was shown many years ago that you need an infinite product space notion. The language one uses can have different effects upon the operators. The greatest effect is upon collections of operators. When languages are specially constructed, like restrictions of the propositional language, there are significant collections of consequence operators using these languages that are not meet-complete. These are very specifically defined wwf and the result are relative to the wwf's forms. I don't believe that this sort of thing happens for finite closure operators that are not so language specific as are some consequence operators. So, there probably is a difference when the closure operator is view as a language specific consequence operator.

In 1963, Robinson embedded a formal language into a nonstandard structure. (The hyphen has not been used for 20 years.) He developed a nonstandard semantics and applied it to model theory. In particular, he shows the need for a dual approach to what constitutes a truth-function, there being two acceptable but different such notions. I did the same thing for proof theory. But, this is done in a more general way via the consequence operator. Now the nonstandard consequence oeprators that extend the finite consequence operator are not usually finitary in the usual sense. Further, although they have many interesting properties, the extended operators are usually not a closure operator unless one restricts the sets upon which they are defined. The extensions can be extended by definition to a consequence operator that makes every "external" set inconsistent. These ideas and many more complement the Robinson results. I also point out that once again nonstandard consequence operators can differ in that certain significant properties are relative to specific language constructions. Of course, one can consider the general theory of finite closure operators within ZF set theory and then investigate the usual nonstandard stuff and today such a general investigation would be considered as rather. It is when you get much more specific properties that things become interesting. But, the basic question is whether Wikipedia is interested in listing such specific categories in a more refined manner? 4.249.12.31 22:15, 3 December 2006 (UTC)