Notre Dame Journal of Formal Logic

Set-theoretical Invariance Criteria for Logicality

Solomon Feferman

Full-text: Access denied (no subscription detected) We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language $L_{\omega,\omega}$. It continues with a review of critiques of the Tarski-Sher thesis and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending on its formulation, one in terms of FOL, the other by Bonnay in terms of $L_{\omega,\omega}$, both without equality. From that we move on to a survey of Bonnay's work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU–Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality.

Article information

Source
Notre Dame J. Formal Logic Volume 51, Number 1 (2010), 3-20.

Dates
First available: 4 May 2010

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1273002107

Digital Object Identifier
doi:10.1215/00294527-2010-002

Zentralblatt MATH identifier
05720467

Mathematical Reviews number (MathSciNet)
MR2666567

Subjects
Primary: 03B99: None of the above, but in this section
Secondary: 03C95: Abstract model theory

Keywords
criteria for logicality set-theoretical invariance criteria similarity invariance isomorphism invariance homomorphism invariance absoluteness

Citation

Feferman, Solomon. Set-theoretical Invariance Criteria for Logicality. Notre Dame Journal of Formal Logic 51 (2010), no. 1, 3--20. doi:10.1215/00294527-2010-002. http://projecteuclid.org/euclid.ndjfl/1273002107.


Export citation

References

  • [1] Addison, J. W., L. Henkin, and A. Tarski, editors, The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley, North-Holland Publishing Co., Amsterdam, 1965.
  • [2] Barwise, J., and S. Feferman, editors, Model-theoretic Logics, Perspectives in Mathematical Logic. Springer-Verlag, New York, 1985.
  • [3] Barwise, J., "Back and forth through infinitary logic", pp. 5--34 in Studies in Model Theory, vol. 8 of MAA Studies in Mathematics, The Mathematical Association of America, Buffalo, 1973.
  • [4] Barwise, K. J., "Absolute logics and $L_\infty \omega $", Annals of Pure and Applied Logic, vol. 4 (1972), pp. 309--40.
  • [5] Bonnay, D., Qu'est-ce qu'une constante logique?, Ph.D. Dissertation, Université Paris I, 2006.
  • [6] Bonnay, D., "Logicality and invariance", Bulletin of Symbolic Logic, vol. 14 (2008), pp. 29--68.
  • [7] Ebbinghaus, H.-D., "Extended logics: The general framework", pp. 25--76 in Model-theoretic Logics, Perspectives in Mathematical Logic, Springer, New York, 1985.
  • [8] Feferman, S., "Persistent and invariant formulas for outer extensions", Compositio Mathematica, vol. 20 (1968), pp. 29--52.
  • [9] Feferman, S., "Applications of many-sorted interpolation theorems", pp. 205--23 in Proceedings of the Tarski Symposium (Proceedings of the Symposium on Pure Mathematics, Vol. XXV, Berkeley, 1971), Providence, 1974. American Mathematical Society,
  • [10] Feferman, S., "Logic, logics, and logicism", Special issue in honor and memory of George S. Boolos (Notre Dame, 1998), Notre Dame Journal of Formal Logic, vol. 40 (1999), pp. 31--54.
  • [11] Flum, J., "Characterizing logics", pp. 77--120 in Model-theoretic Logics, Perspectives in Mathematical Logic, Springer, New York, 1985.
  • [12] Fraïssé, R., "Sur quelques classifications des systèmes de relations", Publications Scientifique, Série A, vol. 1 (1954), pp. 35--182.
  • [13] Karp, C. R., "Finite-quantifier equivalence", pp. 407--12 in Theory of Models (Proceedings of the 1963 International Symposium, Berkeley), North-Holland, Amsterdam, 1965.
  • [14] Lindenbaum, A., and A. Tarski, "On the limitation of the means of expression of deductive theories", pp. 384--92 in Logic, Semantics, Metamathematics, edited by J. Corcoran, Hackett Publishing Co., Indianapolis, 2d edition, 1983. Papers from 1923 to 1938, Translated by J. H. Woodger.
  • [15] Lindström, P., "First order predicate logic with generalized quantifiers", Theoria, vol. 32 (1966), pp. 186--95.
  • [16] Lindström, P., "On extensions of elementary logic", Theoria, vol. 35 (1969), pp. 1--11.
  • [17] Manders, K., "First-order logical systems and set-theoretic definability", Manuscript, 1979.
  • [18] Mautner, F. I., "An extension of Klein's Erlanger Program: Logic as invariant-theory", American Journal of Mathematics, vol. 68 (1946), pp. 345--84.
  • [19] McGee, V., "Logical operations", Journal of Philosophical Logic, vol. 25 (1996), pp. 567--80.
  • [20] Mostowski, A., "On a generalization of quantifiers", Fundamenta Mathematicae, vol. 44 (1957), pp. 12--36.
  • [21] Peters, S., and D. Westerstå hl, Quantifiers in Language and Logic, Clarendon Press, Oxford, 2006.
  • [22] Quine, W. V. O., Philosophy of Logic, 2d edition, Harvard University Press, Cambridge, 1986.
  • [23] Sher, G., The Bounds of Logic. A Generalized Viewpoint, A Bradford Book. The MIT Press, Cambridge, 1991.
  • [24] Tarski, A., "On the concept of logical consequence", pp. 409--20 in Logic, Semantics, Metamathematics, edited by J. Corcoran, Hackett Publishing Co., Indianapolis, 2d edition, 1983. Papers from 1923 to 1938, Translated by J. H. Woodger.
  • [25] Tarski, A., ``What are logical notions?'' History and Philosophy of Logic, vol. 7 (1986), pp. 143--54.
  • [26] Väänänen, J., "Set-theoretic definability of logics", pp. 599--643 in Model-theoretic Logics, Perspectives in Mathematical Logic, Springer, New York, 1985.