Search results for 'Bert Visser' (try it on Scholar)

662 found
Sort by:
  1. Isabelle Hirtzlin, Christine Dubreuil, Nathalie Préaubert, Jenny Duchier, Brigitte Jansen, Jürgen Simon, Paula Lobatao De Faria, Anna Perez-Lezaun, Bert Visser, Garrath Williams, Anne Cambon-Thomsen & The Eurogenbank Consortium (2003). An Empirical Survey on Biobanking of Human Genetic Material and Data in Six EU Countries. European Journal of Human Genetics 11:475–488.score: 240.0
    Biobanks correspond to different situations: research and technological development, medical diagnosis or therapeutic activities. Their status is not clearly defined. We aimed to investigate human biobanking in Europe, particularly in relation to organisational, economic and ethical issues in various national contexts. Data from a survey in six EU countries (France, Germany, the Netherlands, Portugal, Spain and the UK) were collected as part of a European Research Project examining human and non-human biobanking (EUROGENBANK, coordinated by Professor JC Galloux). A total of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Pepijn R. S. Visser & Trevor J. M. Bench-Capon (1998). A Comparison of Four Ontologies for the Design of Legal Knowledge Systems. Artificial Intelligence and Law 6 (1):27-57.score: 60.0
    There is a growing interest in how people conceptualise the legal domain for the purpose of legal knowledge systems. In this paper we discuss four such conceptualisations (referred to as ontologies): McCarty's language for legal discourse, Stamper's norma formalism, Valente's functional ontology of law, and the ontology of Van Kralingen and Visser. We present criteria for a comparison of the ontologies and discuss the strengths and weaknesses of the ontologies in relation to these criteria. Moreover, we critically review the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Lester van der Pluijm & Jacky Visser (2011). David Hitchcock and Bart Verheij (Eds): Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation. [REVIEW] Argumentation 25 (4):527-539.score: 60.0
    David Hitchcock and Bart Verheij (eds): Arguing on the Toulmin Model. New Essays in Argument Analysis and Evaluation Content Type Journal Article Pages 1-13 DOI 10.1007/s10503-011-9214-y Authors Lester C. van der Pluijm, University of Amsterdam, Amsterdam, The Netherlands Jacky C. Visser, University of Amsterdam, Amsterdam, The Netherlands Journal Argumentation Online ISSN 1572-8374 Print ISSN 0920-427X.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Arnoud S. Q. Visser (2011). Reading Augustine in the Reformation: The Flexibility of Intellectual Authority in Europe, 1500-1620. OUP USA.score: 60.0
    Augustine of Hippo (354-430 AD) was regarded by sixteenth century Europe as one of the most contested religious and philosophical authorities. He was cast as a characteristically Lutheran, Catholic, or Calvinist thinker, and even as the ideal Erasmian pastor. These wildly contrasting receptions raise crucial questions about the significance of Augustine's thought in the Reformation period. They also show the complex relationship between religious change and the new intellectual culture of Renaissance humanism. Drawing on a variety of printed and manuscript (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Troy A. W. Visser & Philip M. Merikle (1999). Conscious and Unconscious Processes: The Effects of Motivation. Consciousness and Cognition 8 (1):94-113.score: 30.0
    The process-dissociation procedure has been used in a variety of experimental contexts to assess the contributions of conscious and unconscious processes to task performance. To evaluate whether motivation affects estimates of conscious and unconscious processes, participants were given incentives to follow inclusion and exclusion instructions in a perception task and a memory task. Relative to a control condition in which no performance incentives were given, the results for the perception task indicated that incentives increased the participants' ability to exclude previously (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Troy A. W. Visser, Philip M. Merikle & Vincent Di Lollo (2005). Priming in the Attentional Blink: Perception Without Awareness? Visual Cognition 12 (7):1362-1372.score: 30.0
  7. Albert Visser (2009). Cardinal Arithmetic in the Style of Baron Von Münchhausen. Review of Symbolic Logic 2 (3):570-589.score: 30.0
    In this paper we show how to interpret Robinson’s arithmetic Q and the theory R of Tarski, Mostowski, and Robinson as theories of cardinals in very weak theories of relations over a domain.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  8. Henk Visser (1999). Boltzmann and Wittgenstein or How Pictures Became Linguistic. Synthese 119 (1-2):135-156.score: 30.0
    Emphasis in historiography of science is naturally placed on the discoveries and inventions which scientists make and generally less on new methods of doing science, but sometimes the latter can he an important clue to help us understand the former. For example, while we all acknowledge how great the contributions of Maxwell, Boltzmann, Planck, and Einstein were to physics from roughly 1870 to 1920, we often overlook the significance of a methodological phrase which was popular during that same period, namely, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.score: 30.0
    This paper studies a propositional logic which is obtained by interpreting implication as formal provability. It is also the logic of finite irreflexive Kripke Models.A Kripke Model completeness theorem is given and several completeness theorems for interpretations into Provability Logic and Peano Arithmetic.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Albert Visser (2012). A Tractarian Universe. Journal of Philosophical Logic 41 (3):519-545.score: 30.0
    In this paper we develop a reconstruction of the Tractatus ontology. The basic idea is that objects are unsaturated and that Sachlagen are like molecules. Bisimulation is used for the proper individuation of the Sachlagen. We show that the ordering of the Sachlagen is a complete distributive, lattice. It is atomistic , i.e., each Sachlage is the supremum of the Sachverhalte below it. We exhibit three normal forms for Sachlagen: the bisimulation collapse, the canonical unraveling and the canonical bisimulation collapse. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Henk Visser (1982). Wittgenstein's Debt to Mach's Popular Scientific Lectures. Mind 91 (361):102-105.score: 30.0
  12. Albert Visser (1984). Four Valued Semantics and the Liar. Journal of Philosophical Logic 13 (2):181 - 212.score: 30.0
  13. Jan van Eijck & Albert Visser, Stanford Encyclopedia of Philosophy.score: 30.0
    Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the..
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  14. Rineke Verbrugge & Albert Visser (1994). A Small Reflection Principle for Bounded Arithmetic. Journal of Symbolic Logic 59 (3):785-812.score: 30.0
    We investigate the theory IΔ 0 + Ω 1 and strengthen [Bu86. Theorem 8.6] to the following: if NP ≠ co-NP. then Σ-completeness for witness comparison formulas is not provable in bounded arithmetic. i.e. $I\delta_0 + \Omega_1 + \nvdash \forall b \forall c (\exists a(\operatorname{Prf}(a.c) \wedge \forall = \leq a \neg \operatorname{Prf} (z.b))\\ \rightarrow \operatorname{Prov} (\ulcorner \exists a(\operatorname{Prf}(a. \bar{c}) \wedge \forall z \leq a \neg \operatorname{Prf}(z.\bar{b})) \urcorner)).$ Next we study a "small reflection principle" in bounded arithmetic. We prove that for (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  15. Albert Visser (1991). The Formalization of Interpretability. Studia Logica 50 (1):81 - 105.score: 30.0
    This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Joost J. Joosten & Albert Visser (2000). The Interpretability Logic of All Reasonable Arithmetical Theories. Erkenntnis 53 (1-2):3-26.score: 30.0
    This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Jérémy Vanhelst, Ludovic Hardy, Dina Bert, Stéphane Duhem, Stéphanie Coopman, Christian Libersa, Dominique Deplanque, Frédéric Gottrand & Laurent Béghin (2013). Effect of Child Health Status on Parents' Allowing Children to Participate in Pediatric Research. BMC Medical Ethics 14 (1):7.score: 30.0
    To identify motivational factors linked to child health status that affected the likelihood of parents’ allowing their child to participate in pediatric research.
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  18. Denny Borsboom & Ingmar Visser (2008). Semantic Cognition or Data Mining? Behavioral and Brain Sciences 31 (6):714-715.score: 30.0
    We argue that neural networks for semantic cognition, as proposed by Rogers & McClelland (R&M), do not acquire semantics and therefore cannot be the basis for a theory of semantic cognition. The reason is that the neural networks simply perform statistical categorization procedures, and these do not require any semantics for their successful operation. We conclude that this has severe consequences for the semantic cognition views of R&M.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Sandra Visser (2009). Anselm. Oxford University Press.score: 30.0
    The reason of faith -- Thought and language -- Truth -- The Monologion arguments for the existence of God -- The Proslogion argument for the existence of God -- The divine attributes -- Thinking and speaking about God -- Creation and the word -- The Trinity -- Modality -- Freedom -- Morality -- Incarnation and atonement -- Original sin, grace, and salvation.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Albert Visser (1999). Rules and Arithmetics. Notre Dame Journal of Formal Logic 40 (1):116-140.score: 30.0
    This paper is concerned with the logical structure of arithmetical theories. We survey results concerning logics and admissible rules of constructive arithmetical theories. We prove a new theorem: the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic. We provide some further insights concerning predicate logical admissible rules for arithmetical theories.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Soemini Kasanmoentalib & Matthew B. H. Visser (1997). Perspectives on Animal Consciousness. Journal of Agricultural and Environmental Ethics 10 (3):215-215.score: 30.0
  22. Alasdair Urquhart & Albert Visser (2010). Decorated Linear Order Types and the Theory of Concatenation. In F. Delon (ed.), Logic Colloquium 2007. Cambridge University Press. 1.score: 30.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Gilles Dutilh, Eric-Jan Wagenmakers, Ingmar Visser & Han L. J. van der Maas (2011). A Phase Transition Model for the Speed-Accuracy Trade-Off in Response Time Experiments. Cognitive Science 35 (2):211-250.score: 30.0
    Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model for (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  24. Albert Visser (2012). The Second Incompleteness Theorem and Bounded Interpretations. Studia Logica 100 (1-2):399-418.score: 30.0
    In this paper we formulate a version of Second Incompleteness Theorem. The idea is that a sequential sentence has ‘consistency power’ over a theory if it enables us to construct a bounded interpretation of that theory. An interpretation of V in U is bounded if, for some n , all translations of V -sentences are U -provably equivalent to sentences of complexity less than n . We call a sequential sentence with consistency power over T a pro-consistency statement for T (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Sandra Visser (2006). Review of Daniel A. Dombrowski, Rethinking the Ontological Argument: A Neoclassical Theistic Response. [REVIEW] Notre Dame Philosophical Reviews 2006 (12).score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Albert Visser (1984). The Provability Logics of Recursively Enumerable Theories Extending Peano Arithmetic at Arbitrary Theories Extending Peano Arithmetic. Journal of Philosophical Logic 13 (1):97 - 113.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Albert Visser (1989). Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency. Notre Dame Journal of Formal Logic 30 (2):161-196.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Tijs Goldschmidt & Jaap Visser (1990). On the Possible Role of Egg Mimics in Speciation. Acta Biotheoretica 38 (2).score: 30.0
    Sexually active male haplochromine cichlid fishes possess pronounced yellow ovoid spots on the anal fm, which mimic eggs of the female and have therefore been called egg dummies (Wickler, 1962b).It is thought that divergence in egg dummy characteristics can considerably reduce gene flow and in this way may trigger off reproductive isolation. Two ways in which egg dummy divergence can develop are described. Both mechanisms may have been operating, at the same time and in the same area, in different species, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Albert Visser (2002). The Donkey and the Monoid. Dynamic Semantics with Control Elements. Journal of Logic, Language and Information 11 (1):107-131.score: 30.0
    Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk and Stokhof. One rationale behind the introduction of DPL is that it is closer to Natural Language than ordinary Predicate Logic in the way it treats scope. In this paper I develop some variants of DPL that can more easily approximate Natural Language in some further aspects. Specifically I add flexibility in the treatment of polarity and and some further flexibility in the treatment of scope.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Albert Visser (2008). Closed Fragments of Provability Logics of Constructive Theories. Journal of Symbolic Logic 73 (3):1081-1096.score: 30.0
    In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the closed fragment of the provability logic of Heyting's Arithmetic plus Markov's Principle and Heyting's Arithmetic plus Primitive Recursive Markov's Principle.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Albert Visser (1997). Dynamic Relation Logic is the Logic of DPL-Relations. Journal of Logic, Language and Information 6 (4):441-452.score: 30.0
    In this paper we prove that the principles in the languagewith relation composition and dynamic implication, valid forall binary relations, are the same ones as the principlesvalid when we restrict ourselves to DPL-relations,i.e. relations generated from conditions (tests) and resettings.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Ingmar Visser (2000). Hidden Markov Model Interpretations of Neural Networks. Behavioral and Brain Sciences 23 (4):494-495.score: 30.0
    Page's manifesto makes a case for localist representations in neural networks, one of the advantages being ease of interpretation. However, even localist networks can be hard to interpret, especially when at some hidden layer of the network distributed representations are employed, as is often the case. Hidden Markov models can be used to provide useful interpretable representations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Albert Visser & Kees Vermeulen (1996). Dynamic Bracketing and Discourse Representation. Notre Dame Journal of Formal Logic 37 (2):321-365.score: 30.0
    In this paper we describe a framework for the construction of entities that can serve as interpretations of arbitrary contiguous chunks of text. An important part of the paper is devoted to describing stacking cells, or the proposed meanings for bracket-structures.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Albert Visser (1991). On the $\Sigma^01$-Conservativity of $\Sigma^01$-Completeness. Notre Dame Journal of Formal Logic 32 (4):554-561.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  35. Dick Jongh & Albert Visser (1991). Explicit Fixed Points in Interpretability Logic. Studia Logica 50 (1):39 - 49.score: 30.0
    The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryski.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  36. Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.score: 30.0
    In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests and random resettings in the case that we are working over an infinite domain. These relations are precisely the ones expressible in DPL if we allow ourselves arbitrary tests as a starting point. We discuss some possible extensions of DPL and the way (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  37. Albert Visser (2009). Growing Commas. A Study of Sequentiality and Concatenation. Notre Dame Journal of Formal Logic 50 (1):61-85.score: 30.0
    In his paper "Undecidability without arithmetization," Andrzej Grzegorczyk introduces a theory of concatenation $\mathsf{TC}$. We show that pairing is not definable in $\mathsf{TC}$. We determine a reasonable extension of $\mathsf{TC}$ that is sequential, that is, has a good sequence coding.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Albert Visser (2006). Predicate Logics of Constructive Arithmetical Theories. Journal of Symbolic Logic 71 (4):1311 - 1326.score: 30.0
    In this paper, we show that the predicate logics of consistent extensions of Heyting's Arithmetic plus Church's Thesis with uniqueness condition are complete $\Pi _{2}^{0}$. Similarly, we show that the predicate logic of HA*, i.e. Heyting's Arithmetic plus the Completeness Principle (for HA*) is complete $\Pi _{2}^{0}$. These results extend the known results due to Valery Plisko. To prove the results we adapt Plisko's method to use Tennenbaum's Theorem to prove 'categoricity of interpretations' under certain assumptions.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Marco Hollenberg & Albert Visser (1999). Dynamic Negation, the One and Only. Journal of Logic, Language and Information 8 (2):137-141.score: 30.0
    We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  40. Thomas Pronk & Ingmar Visser (2010). The Role of Reversal Frequency in Learning Noisy Second Order Conditional Sequences. Consciousness and Cognition 19 (2):627-635.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. A. van Heijst, C. J. W. Leget & M. Visser (2012). Lost in Medical Treatment: Doctoring with Borders. Clinical Ethics 7 (2):54-61.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. Albert Visser (1992). An Inside View of Exp; or, the Closed Fragment of the Provability Logic of Iδ0 + Ω1 with a Propositional Constant for $\Operatorname{Exp}$. [REVIEW] Journal of Symbolic Logic 57 (1):131 - 165.score: 30.0
    In this paper I give a characterization of the closed fragment of the provability logic of I ▵0 + EXP with a propositional constant for EXP. In three appendices many details on arithmetization are provided.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  43. Albert Visser (2005). Faith & Falsity. Annals of Pure and Applied Logic 131 (1):103-131.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Jean-François Bert (2013). Georges Dumézil, un parcours en mots. le Portique 30 (30).score: 30.0
    L’histoire récente des sciences humaines et sociales commence à prendre en considération la question des représentations de la vie savante par les savants eux mêmes, comme de la manière dont il parle et commente leur propre travail de recherche. Georges Dumézil donne à voir un parcours très intéressant, faits de multiples repentirs et tâtonnements que Dumézil intégra au cœur de sa méthode comparative.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  45. Albert Visser (forthcoming). An Inside View of Exp; or, The Closed Fragment of the Provability Logic of IΔ0+ Ω1 with a Propositional Constant For. Journal of Symbolic Logic.score: 30.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Frank Visser (2013). A Review of “Evolutionaries: Unlocking the Spiritual and Cultural Potential of Science's Greatest Idea”. [REVIEW] World Futures 69 (3):184-195.score: 30.0
    (2013). A Review of “Evolutionaries: Unlocking the Spiritual and Cultural Potential of Science's Greatest Idea”. World Futures: Vol. 69, No. 3, pp. 184-195.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Sergei Artemov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger & Albert Visser (1995). Preface. Annals of Pure and Applied Logic 75 (1-2):1.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. James G. Gosselink, Gary P. Shaffer, Lyndon C. Lee, David M. Burdick, Daniel L. Childers, Nancy C. Leibowitz, Susan C. Hamilton, Roel Boumans, Douglas Cushman, Sherri Fields, Marguerite Koch & Jenneke M. Visser (1990). Landscape Conservation in a Forested Wetland Watershed. Bioscience 40 (8):588-600.score: 30.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  49. Chris Klok, Remko Holtkamp, Rob van Apeldoorn, Marcel E. Visser & Lia Hemerik (2006). Analysing Population Numbers of the House Sparrow in the Netherlands with a Matrix Model and Suggestions for Conservation Measures. Acta Biotheoretica 54 (3).score: 30.0
    The House Sparrow (Passer domesticus), formerly a common bird species, has shown a rapid decline in Western Europe over recent decades. In The Netherlands, its decline is apparent from 1990 onwards. Many causes for this decline have been suggested that all decrease the vital rates, i.e. survival and reproduction, but their actual impact remains unknown. Although the House Sparrow has been dominant in The Netherlands, data on life history characteristics for this bird species are scarce: data on reproduction are non-existent, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Pepijn Visser, Trevor Bench-Capon & Jaap van den Herik (1997). A Method for Conceptualising Legal Domains. An Example From the Dutch Unemployment Benefits Act. Artificial Intelligence and Law 5 (3):207-242.score: 30.0
    There has been much talk of the need to build intermediate models of the expertise required preparatory to constructing a knowledge-based system in the legal domain. Such models offer advantages for verification, validation, maintenance and reuse. As yet, however, few such models have been reported at a useful level of detail. In this paper we describe a method for conceptualising legal domains as well as its application to a substantial fragment of the Dutch Unemployment Benefits Act (DUBA).We first discuss the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 662