A Remark on Henkin Sentences and Their Contraries

Notre Dame Journal of Formal Logic 44 (3):185-188 (2003)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1091030856

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Explicit Henkin sentences.Robert M. Solovay - 1985 - Journal of Symbolic Logic 50 (1):91-93.
Contraries and subcontraries.David H. Sanford - 1968 - Noûs 2 (1):95-96.
Henkin quantifiers and the definability of truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
An abstract setting for Henkin proofs.Robert Goldblatt - 1984 - Topoi 3 (1):37-41.
Questions.Peter Hanks - 2006 - In Donald M. Borchert (ed.), Encyclopedia of Philosophy, Vol. 10. Detroit et al.: Thomson Gale. pp. 32-37.
The speculative remark: one of Hegel's bons mots.Jean-Luc Nancy - 2001 - Stanford, Calif.: Stanford University Press.
Spectra of formulae with Henkin quantifiers.Joanna Golinska-Pilarek & Konrad Zdanowski - 2003 - In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. pp. 29-45.
Schiffer on communication.Peter Pagin - 2003 - Facta Philosophica 5 (1):25-48.
How do sentences do it?Lars Hertzberg - unknown
A new semantics for intuitionistic predicate logic.Yuichi Komori - 1986 - Studia Logica 45 (1):9 - 17.
Simple sentences, substitution, and intuitions.Jennifer Mather Saul - 2007 - New York: Oxford University Press.
Wittgenstein and parmenides.Paul Livingston - manuscript
Contradictories and Contraries.P. T. Geach - 1969 - Analysis 29 (6):187 - 190.
Hateful Contraries. [REVIEW]E. S. T. - 1967 - Review of Metaphysics 20 (3):554-554.

Analytics

Added to PP
2010-08-24

Downloads
45 (#346,111)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.

View all 8 citations / Add more citations

References found in this work

Finite partially-ordered quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.
Finite Partially‐Ordered Quantifiers.Herbert B. Enderton - 1970 - Mathematical Logic Quarterly 16 (8):393-397.
Finite partially-ordered quantification.Wilbur John Walkoe - 1970 - Journal of Symbolic Logic 35 (4):535-555.

Add more references