Notre Dame Journal of Formal Logic

A Remark on Henkin Sentences and Their Contraries

John P. Burgess

Abstract

That the result of flipping quantifiers and negating what comes after, applied to branching-quantifier sentences, is not equivalent to the negation of the original has been known for as long as such sentences have been studied. It is here pointed out that this syntactic operation fails in the strongest possible sense to correspond to any operation on classes of models.

Article information

Source
Notre Dame J. Formal Logic Volume 44, Number 3 (2003), 185-188.

Dates
First available: 28 July 2004

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

Digital Object Identifier
doi:10.1305/ndjfl/1091030856

Mathematical Reviews number (MathSciNet)
MR2130790

Zentralblatt MATH identifier
02187148

Subjects
Primary: 03C80: Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48]

Keywords
branching quantifiers Henkin sentences

Citation

Burgess, John P. A Remark on Henkin Sentences and Their Contraries. Notre Dame Journal of Formal Logic 44 (2003), no. 3, 185--188. doi:10.1305/ndjfl/1091030856. http://projecteuclid.org/euclid.ndjfl/1091030856.


Export citation

References

  • [1] Caicedo, X., and M. Krynicki, "Quantifiers for reasoning with imperfect information and $\Sigma\sp 1\sb 1$"-logic, pp. 17--31 in Advances in Contemporary Logic and Computer Science (Salvador, 1996), edited by W. A. Carnielli, vol. 235 of Contemporary Mathematics, American Mathematical Society, Providence, 1999.
  • [2] Enderton, H. B., "Finite partially-ordered quantifiers", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393--97.
  • [3] Hintikka, J., The Principles of Mathematics Revisited, Cambridge University Press, Cambridge, 1996.
  • [4] Walkoe, W. J., Jr., "Finite partially-ordered quantification", The Journal of Symbolic Logic, vol. 35 (1970), pp. 535--55.