39 found
Order:
  1.  13
    The Semantic Origins of Word Order.Marieke Schouwstra & Henriëtte de Swart - 2014 - Cognition 131 (3):431-436.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2. Introduction to Natural Language Semantics.Henriëtte de Swart - 1998
     
    Export citation  
     
    Bookmark   7 citations  
  3.  8
    Negation And Negative Concord In Romance.Henriëtte De Swart & Ivan Sag - 2002 - Linguistics and Philosophy 25 (4):373-417.
    This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. Given that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  26
    Meaning and Use of Not ... Until.H. de Swart - 1996 - Journal of Semantics 13 (3):221-263.
    Time adverbials introduced by until impose restrictions on the aspectual class of the main clause they combine with: they only combine with durative sentences. In negative sentences, the situation is more complex. The question arises whether negative sentences are durative, or whether there is a separate use of until as a negative polarity item. In this paper, I discuss the three treatments of not…until that are characterized in the literature as the scope analysis, the ambiguity thesis and the lexical composition (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  75
    Negation and Negative Concord in Romance.Ivan A. Sag & Henriëtte De Swart - 2002 - Linguistics and Philosophy 25 (4):373-417.
    This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. Given that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  17
    Meaning and Use of Not… Until.Henriëtte De Swart - 1996 - Journal of Semantics 13 (3):221-263.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  99
    Negation and the Temporal Structure of Narrative Discourse.H. de Swart - 1999 - Journal of Semantics 16 (1):1-42.
    This paper develops an analysis of the temporal role of negative sentences in narrative discourse in English and French. The analysis focuses on differences in the aspectual systems of English and French, and their consequences for the interpretation of negation and quantification. A recursive rule for the introduction of discourse referents characterizes both quantificational and negated sequences as complex states. The notion of coercion explains why states (including complex states) can behave as events at the level of narrative discourse. The (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8. The Continuum Hypothesis in Intuitionism.W. Gielen, H. de Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121-136.
  9.  18
    A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. de Swart - 1983 - Journal of Symbolic Logic 48 (1):1-20.
  10.  26
    A Large-Scale Investigation of Scalar Implicature.Petra Hendriks, John Hoeks, Helen de Hoop, Irene Krämer, Erik-Jan Smits, Jennifer Spenader & Henriëtte de Swart - 2009 - In Uli Sauerland & Kazuko Yatsushiro (eds.), Semantics and Pragmatics: From Experiment to Theory. Palgrave-Macmillan.
  11.  56
    Characteristic Properties of FPTP Systems.Eliora van der Hout & Harrie de Swart - 2010 - Theory and Decision 68 (3):325-340.
    In this article, we model FPTP systems as social preference rules and give two characterizations. We show that a social preference rule is an FPTP system if, and only if, it satisfies the axioms of subset consistency, district consistency, subset cancellation, and district cancellation. The second characterization consists of the axioms of subset consistency, subset anonymity, neutrality, topsonlyness, Pareto optimality, district consistency and district cancellation. The characterizations give us an opportunity to compare the characteristic properties of FPTP systems to the (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  22
    Elements of Intuitionistic Analysis II the Stone-Weierstrass Theorem and Ascoli's Theorem.H. de Swart - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):501-508.
  13.  25
    Another Intuitionistic Completeness Proof.H. De Swart - 1976 - Journal of Symbolic Logic 41 (3):644-662.
  14.  13
    Elements of Intuitionistic Analysis II the Stone‐Weierstrass Theorem and Ascoli's Theorem.H. de Swart - 1976 - Mathematical Logic Quarterly 22 (1):501-508.
  15.  25
    Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally Bounded, Metric Spaces.H. de Swart - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):289-298.
  16.  38
    An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
  17.  35
    A Critical Discussion of the Characteristic Properties of List PR and FPTP Systems.Eliora Van Der Hout, Jack Stecher & Harrie De Swart - 2007 - Analyse & Kritik 29 (2):259-268.
    This paper discusses the characteristic properties of List PR systems and FPTP systems, as given in Hout 2005 and Hout et al. 2006. While many of the properties we consider are common to both systems, it turns out that the British system distinguishes itself by satisfying the district cancel lation property, while the Dutch system distinguishes itself by satisfying consistency and anonymity. For scoring rules, topsonlyness is equivalent to being party fragmentation-proof . One might present this as an argument in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Indefinites and Genericity.Henriëtte De Swart - 1996 - In Makoto Kanazawa, Christopher Pinon & Henriette de Swart (eds.), Quantifiers, Deduction, and Context. CSLI Publications.
     
    Export citation  
     
    Bookmark   2 citations  
  19.  15
    Elements of Intuitionistic Analysis. Rolle's Theorem and Complete, Totally Bounded, Metric Spaces.H. de Swart - 1976 - Mathematical Logic Quarterly 22 (1):289-298.
  20. Quantifiers, Deduction, and Context.Makoto Kanazawa, Christopher Pinon & Henriette de Swart (eds.) - 1996 - CSLI Publications.
     
    Export citation  
     
    Bookmark   1 citation  
  21.  4
    Interpreting Silent Gesture: Cognitive Biases and Rational Inference in Emerging Language Systems.Marieke Schouwstra, Henriëtte de Swart & Bill Thompson - 2019 - Cognitive Science 43 (7).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  28
    The Interplay Between the Speaker’s and the Hearer’s Perspective.Petra Hendriks, Helen de Hoop & Henriëtte de Swart - 2012 - Journal of Logic, Language and Information 21 (1):1-5.
    The neutralization of contrasts in form or meaning that is sometimes observed in language production and comprehension is at odds with the classical view that language is a systematic one-to-one pairing of forms and meanings. This special issue is concerned with patterns of forms and meanings in language. The papers in this special issue arose from a series of workshops that were organized to explore variants of bidirectional Optimality Theory and Game Theory as models of the interplay between the speaker’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  19
    Spreads or Choice Sequences?H. C. M. De Swart - 1992 - History and Philosophy of Logic 13 (2):203-213.
    Intuitionistically. a set has to be given by a finite construction or by a construction-project generating the elements of the set in the course of time. Quantification is only meaningful if the range of each quantifier is a well-circumscribed set. Thinking upon the meaning of quantification, one is led to insights?in particular, the so-called continuity principles?which are surprising from a classical point of view. We believe that such considerations lie at the basis of Brouwer?s reconstruction of mathematics. The predicate ?α (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  39
    Implication with Possible Exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
    We introduce an implication-with-possible-exceptions and define validity of rules-with-possible-exceptions by means of the topological notion of a full subset. Our implication-with-possible-exceptions characterises the preferential consequence relation as axiomatized by Kraus, Lehmann and Magidor [Kraus, Lehmann, and Magidor, 1990]. The resulting inference relation is non-monotonic. On the other hand, modus ponens and the rule of monotony, as well as all other laws of classical propositional logic, are valid-up-to-possible exceptions. As a consequence, the rules of classical propositional logic do not determine the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  25. Gentzen-Type Systems for C, K and Several Extensions of C and K; Constructive Completeness Proofs and Effective Decision Procedure for These Systems.H. C. M. de Swart - 1980 - Logique Et Analyse 90 (91):263-284.
     
    Export citation  
     
    Bookmark   2 citations  
  26. Quantification Over Time.Henriëtte de Swart - 1996 - In J. van der Does & Van J. Eijck (eds.), Quantifiers, Logic, and Language. Stanford University.
     
    Export citation  
     
    Bookmark   1 citation  
  27.  9
    Validity and Quantification in Intuitionism.H. C. M. de Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117-126.
    We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logicalnotions considered we suggest that the "most natural" reading is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  1
    Negative Concord in French.Henrietta De Swart & Ivan Sag - 2002 - Linguistics and Philosophy 25 (4):373-417.
    This paper addresses the two interpretations that a combination ofnegative indefinites can get in concord languages like French:a concord reading, which amounts to a single negation, and a doublenegation reading. We develop an analysis within a polyadic framework,where a sequence of negative indefinites can be interpreted as aniteration of quantifiers or via resumption. The first option leadsto a scopal relation, interpreted as double negation. The secondoption leads to the construction of a polyadic negative quantifiercorresponding to the concord reading. Given that (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Gentzen-type systems for C,. K and several extensions of C and K.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  30.  10
    Search-Discrimination Time and the Applicability of Information Theory.Arie M. Oostlander & Hans De Swart - 1966 - Journal of Experimental Psychology 72 (3):423.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    First Steps in Intuitionistic Model Theory.H. de Swart - 1978 - Journal of Symbolic Logic 43 (1):3-12.
  32. Perspectives on Negation: Essays in Honour of Johan J. De Iongh on His 80th Birthday.Johan J. de Iongh, H. C. M. de Swart & L. J. M. Bergman (eds.) - 1995 - Tilburg University Press.
     
    Export citation  
     
    Bookmark  
  33. Constructive completeness proofs and effective decision procedures for these systems.H. C. M. De Swart - 1980 - Logique Et Analyse 23 (90):263.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Hintikka's “The Principles of Mathematics Revisited”'.Harrie de Swart, Tom Verhoeff & Renske Brands - 1997 - Logique Et Analyse 159:281-289.
  35. Logic Mathematics, Language, Computer Science, and Philosophy.H. C. M. de Swart - 1993
     
    Export citation  
     
    Bookmark  
  36. M. FITTING "Proof Methods for Modal and Intuitionistic Logics". [REVIEW]H. C. M. de Swart - 1985 - History and Philosophy of Logic 6 (1):152.
  37. Perspectives on Negation Essays in Honour of Johan J. De Iongh on His 80th Birthday = Perspectives Sur la Négation : Hommage À Johan J. De Iongh Pour Son 80e Anniversaire. [REVIEW]H. C. M. de Swart, L. J. M. Bergman & Johan J. de Iongh - 1995
     
    Export citation  
     
    Bookmark  
  38. A Critical Discussion of the Characteristic Properties of List PR and FPTP Systems.E. Hout, J. Stecher & H. C. M. de Swart - 2007 - Analyse & Kritik 2:259-268.
  39. Quantified Modal Logic, Reference and Essentialism.M. Perrick & H. de Swart - 1993 - Logique Et Analyse 143 (143-144):219-231.
     
    Export citation  
     
    Bookmark