The best possible unification for any collection of physical theories (Q1774707): Difference between revisions

Around 1935, \textit{A.~Tarski} [see: Logic, semantics, meta-mathematics. Papers from 1923 to 1938. Oxford: Clarendon Press; London: G. Cumberlege (1956; Zbl 0075.00702), pp. 60--109] introduced consequence operators for modeling human thought. This paper deals, and continues the author's work [see, e.g., ibid. 28, 93--102 (2001; Zbl 1008.03040)], with the so-called finitary consequence operators. The main result states that the set of all finitary consequence operators defined on a non-empty language is a join-complete lattice.