Results for 'Thibault De Swarte'

1000+ found
Order:
  1.  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.
  2.  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.
  3.  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.
  4.  15
    The Semantic Origins of Word Order.Marieke Schouwstra & Henriëtte de Swart - 2014 - Cognition 131 (3):431-436.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  5.  27
    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.
  6.  9
    Introduction to Natural Language Semantics.Henriëtte de Swart - 1998 - Stanford Univ Center for the Study.
    This introduction examines the semantics of natural languages.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  7.  27
    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   13 citations  
  8.  10
    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   10 citations  
  9.  19
    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  
  10. The Continuum Hypothesis in Intuitionism.W. Gielen, H. de Swart & W. Veldman - 1981 - Journal of Symbolic Logic 46 (1):121-136.
  11.  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  
  12.  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.
  13.  29
    Another Intuitionistic Completeness Proof.H. De Swart - 1976 - Journal of Symbolic Logic 41 (3):644-662.
  14.  21
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  42
    An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. de Swart - 1977 - Journal of Symbolic Logic 42 (4):564-578.
  16.  82
    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 (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17. Meaning and Use of Not... Until.de Swart Henriette - 1996 - Journal of Semantics 13 (3).
     
    Export citation  
     
    Bookmark   2 citations  
  18. Negation and the Temporal Structure of Narrative Discourse.de Swart Henriette & Molendijk Arie - 1999 - Journal of Semantics 16 (1).
     
    Export citation  
     
    Bookmark   1 citation  
  19. 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  
  20. Quantified Modal Logic, Reference and Essentialism.M. Perrick & H. de Swart - 1993 - Logique Et Analyse 143 (143-144):219-231.
     
    Export citation  
     
    Bookmark  
  21.  43
    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  
  22. Quantifiers, Deduction, and Context.Makoto Kanazawa, Christopher Pinon & Henriette de Swart (eds.) - 1996 - CSLI Publications.
    This volume is an outgrowth of the second Workshop on Logic, Language and Computation held at Stanford in the spring of 1993. The workshop brought together researchers interested in natural language to discuss the current state of the art at the borderline of logic, linguistics and computer science. The papers in this collection fall into three central research areas of the nineties, namely quantifiers, deduction, and context. Each contribution reflects an ever-growing interest in a more dynamic approach to meaning, which (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  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  
  24.  1
    Nudging Commuters to Increase Public Transport Use: A Field Experiment in Rotterdam.Samuel Franssens, Ebo Botchway, Willie de Swart & Siegfried Dewitte - 2021 - Frontiers in Psychology 12.
    A large-scale field experiment in Rotterdam, Netherlands, tested whether nudging could increase public transport use. During one work week, 4000 commuters on six bus lines, received a free travel card holder. On the three bus lines in the experimental condition, the card holders displayed a social label that branded bus passengers as sustainable travelers because of their bus use. On the three bus lines in the control condition, there was no such message on the card holders. Analysis of the number (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. 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  
  26.  11
    First Steps in Intuitionistic Model Theory.H. de Swart - 1978 - Journal of Symbolic Logic 43 (1):3-12.
  27. 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  
  28. 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  
  29. Hintikka's “The Principles of Mathematics Revisited”'.Harrie de Swart, Tom Verhoeff & Renske Brands - 1997 - Logique Et Analyse 159:281-289.
  30. 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  
  31.  1
    Logic: Mathematics, Language, Computer Science, and Philosophy.H. C. M. De Swart - 1993 - Peter Lang.
    Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. M. FITTING "Proof Methods for Modal and Intuitionistic Logics". [REVIEW]H. C. M. de Swart - 1985 - History and Philosophy of Logic 6 (1):152.
  33.  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  
  34. 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   3 citations  
  35.  5
    The Biological Conditions of Consciousness a Review of Edelman and Tononis a Universe of Consciousness.Justus de Swart - 2001 - Journal of Consciousness Studies 8 (11):91-96.
    Although there is little empirical doubt of the cerebral base of consciousness, it still has an unapproachable quality about it. Gerald Edelman and Giulio Tononi offer a hypothesis that should give us the tool to start disentangling the 'world knot', an image Arthur Schopenhauer used to describe the problem of the origin of consciousness. Their primary focus is not the richness in everyday experience, but the conditions that allow us that experiential richness -- a difficult enough task, as most would (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  10
    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  
  37.  5
    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).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  58
    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  
  39.  7
    Contrast in Discourse: Guest Editors' Introduction.Helen de Hoop & Peter de Swart - 2004 - Journal of Semantics 21 (2):87-93.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. 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.
  41. 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  
  42.  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.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  51
    Introduction to Natural Language Semantics, Henriëtte de Swart.Katharina Hartmann & Thomas Ede Zimmermann - 2001 - Journal of Logic, Language and Information 10 (4):511-518.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Guest Editos Introduction.Hendriks Petra, de Hoop Helen & de Swart Henriette - 2000 - Journal of Semantics 17 (3).
     
    Export citation  
     
    Bookmark  
  45.  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  
  46.  20
    Doing Urban Public Theology in South Africa: Introducing a New Agenda.Ignatius Swart & Stephan De Beer - 2014 - Hts Theological Studies 70 (3):01-10.
    This article proposes a 'fusion of horizons' in constructing urban public theologies in South Africa. This is done through the introduction of five interrelated themes that have emerged from the on-going knowledge and idea production by a distinguishable counterpoint in contemporary scholarly, intellectual and activist engagement with the urban, in the authors' own South African context but also wider internationally. In advancing a praxis-agenda for urban public theology, the authors subsequently identify the following, albeit not exhaustive, themes: southern urbanisms and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  31
    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  
  48.  13
    La Capture de L’Esprit : Attention Et Admiration Chez Descartes Et Spinoza.Thibault Barrier - 2017 - Les Etudes Philosophiques 171 (1):43.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  10
    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.
  50.  11
    Nature and Behaviour of the Flood at the River Mouth.D. H. Swart, J. B. Crowley, J. P. Möller & A. de Wet - 1990 - Transactions of the Royal Society of South Africa 47 (3):217-245.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000