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

715 found
Order:
  1.  8
    Isabelle Hirtzlin, Christine Dubreuil, Nathalie Préaubert, Jenny Duchier, Brigitte Jansen, Jürgen Simon, Paula Lobatao De Faria, Anna Perez-Lezaun, Bert Visser, Garrath D. Williams, Anne Cambon-Thomsen & The Eurogenbank Consortium, An Empirical Survey on Biobanking of Human Genetic Material and Data in Six EU Countries.
    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 were collected as part of a European Research Project examining human and non-human biobanking . A total of 147 institutions concerned with biobanking of human samples and data were investigated by questionnaires (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  2.  25
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  18
    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.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  4.  4
    Arnoud S. Q. Visser (2011). Reading Augustine in the Reformation: The Flexibility of Intellectual Authority in Europe, 1500-1620. OUP Usa.
    Augustine of Hippo was regarded by sixteenth century Europe as one of the most contested religious and philosophical authorities. Through deep examination of the production, circulation and consumption of Augustine's works, Arnoud Visser reveals the wildly contrasting ways in which he was read and appropriated by publishers, humanist scholars, and individual readers.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  1
    Albert Visser (2008). Pairs, Sets and Sequences in First-Order Theories. Archive for Mathematical Logic 47 (4):299-326.
    In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. First, we show that first-order theories of finite signature that have functional non-surjective ordered pairing are definitionally equivalent to extensions in the same language of the basic theory of non-surjective ordered pairing. Second, we show that a first-order theory of finite signature is sequential (is a theory of sequences) iff it is (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  6. John T. Cacioppo, Penny S. Visser & Cynthia L. Pickett (eds.) (2006). Social Neuroscience: People Thinking About Thinking People. MIT Press.
  7.  17
    Sandra Visser & Thomas Williams (2009). Anselm. Oxford University Press.
    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  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  19
    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.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  71
    Troy A. W. Visser & Philip M. Merikle (1999). Conscious and Unconscious Processes: The Effects of Motivation. Consciousness and Cognition 8 (1):94-113.
    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)  
     
    Export citation  
     
    My bibliography   6 citations  
  10.  4
    Albert Visser (2005). Faith & Falsity. Annals of Pure and Applied Logic 131 (1):103-131.
    A theory T is trustworthy iff, whenever a theory U is interpretable in T, then it is faithfully interpretable. In this paper we give a characterization of trustworthiness. We provide a simple proof of Friedman’s Theorem that finitely axiomatized, sequential, consistent theories are trustworthy. We provide an example of a theory whose schematic predicate logic is complete Π20.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  4
    Albert Visser (2012). Vaught's Theorem on Axiomatizability by a Scheme. Bulletin of Symbolic Logic 18 (3):382-402.
    In his 1967 paper Vaught used an ingenious argument to show that every recursively enumerable first order theory that directly interprets the weak system VS of set theory is axiomatizable by a scheme. In this paper we establish a strengthening of Vaught's theorem by weakening the hypothesis of direct interpretability of VS to direct interpretability of the finitely axiomatized fragment VS2 of VS. This improvement significantly increases the scope of the original result, since VS is essentially undecidable, but VS2 has (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  12
    Albert Visser (2012). The Second Incompleteness Theorem and Bounded Interpretations. Studia Logica 100 (1-2):399-418.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  6
    Albert Visser (2009). Growing Commas. A Study of Sequentiality and Concatenation. Notre Dame Journal of Formal Logic 50 (1):61-85.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  1
    Stephanie C. Goodhew, Paul E. Dux, Ottmar V. Lipp & Troy A. W. Visser (2012). Understanding Recovery From Object Substitution Masking. Cognition 122 (3):405-415.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  2
    Albert Visser (2011). Hume's Principle, Beginnings. Review of Symbolic Logic 4 (1):114-129.
    In this note we derive Robinsons Principle in the context of very weak theories of classes and relations.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  4
    Johan van Benthem, Theo Kuipers & Henk Visser (2011). Introduction. Synthese 179 (2):203-206.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  6
    Jeffrey D. Holland, Daniel G. Bert & Lenore Fahrig (2004). Determining the Spatial Scale of Species' Response to Habitat. BioScience 54 (3):227.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  38
    Albert Visser (2009). Cardinal Arithmetic in the Style of Baron Von Münchhausen. Review of Symbolic Logic 2 (3):570-589.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  6
    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.
    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)  
     
    Export citation  
     
    My bibliography   5 citations  
  20.  0
    Albert Visser (1993). The Unprovability of Small Inconsistency. Archive for Mathematical Logic 32 (4):275-298.
    We show that a consistent, finitely axiomatized, sequential theory cannot prove its own inconsistency on every definable cut. A corollary is that there are at least three degrees of global interpretability of theories equivalent modulo local interpretability to a consistent, finitely axiomatized, sequential theory U.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  21.  2
    Albert Visser (2009). The Predicative Frege Hierarchy. Annals of Pure and Applied Logic 160 (2):129-153.
    In this paper, we characterize the strength of the predicative Frege hierarchy, , introduced by John Burgess in his book [J. Burgess, Fixing frege, in: Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005]. We show that and are mutually interpretable. It follows that is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [M. Ganea, Burgess’ PV is Robinson’s Q, The Journal of Symbolic Logic 72 619–624] using a different proof. Another consequence of the our (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  42
    Albert Visser (1981). A Propositional Logic with Explicit Fixed Points. Studia Logica 40 (2):155 - 175.
    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)  
     
    Export citation  
     
    My bibliography   5 citations  
  23.  6
    Thomas Pronk & Ingmar Visser (2010). The Role of Reversal Frequency in Learning Noisy Second Order Conditional Sequences. Consciousness and Cognition 19 (2):627-635.
    The hallmark of implicit learning is that complex knowledge can be acquired unconsciously. The second order conditionals of Reed and Johnson were developed to be complex, and they are popular materials for implicit learning research. Recently, it was demonstrated that in a sequence made noisy , shared features of the SOCs may be learned explicitly . What are these shared features? We hypothesized that low reversal frequency may play a significant role. We have varied reversal frequency, and discovered that reversal (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  7
    W. P. J. Visser & S. C. A. Kluiters (1998). Modelling the Effects of Operating Conditions and Alternative Fuels on Gas Turbine Performance and Emissions. Complexity 21:2.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  3
    Guido Fioretti & Bauke Visser (2004). A Cognitive Interpretation of Organizational Complexity. Emergence: Complexity and Organization 6.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  5
    Brenda R. J. Jansen, Maartje E. J. Raijmakers & Ingmar Visser (2007). Rule Transition on the Balance Scale Task: A Case Study in Belief Change. Synthese 155 (2):211 - 236.
    For various domains in proportional reasoning cognitive development is characterized as a progression through a series of increasingly complex rules. A multiplicative relationship between two task features, such as weight and distance information of blocks placed at both sides of the fulcrum of a balance scale, appears difficult to discover. During development, children change their beliefs about the balance scale several times: from a focus on the weight dimension (Rule I) to occasionally considering the distance dimension (Rule II), guessing (Rule (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  27.  40
    Henk Visser (1999). Boltzmann and Wittgenstein or How Pictures Became Linguistic. Synthese 119 (1-2):135-156.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  33
    Albert Visser (1984). Four Valued Semantics and the Liar. Journal of Philosophical Logic 13 (2):181 - 212.
  29.  3
    Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.) (2006). The Age of Alternative Logics. Springer.
    This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  16
    Denny Borsboom & Ingmar Visser (2008). Semantic Cognition or Data Mining? Behavioral and Brain Sciences 31 (6):714-715.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  4
    Albert Visser (2015). The Arithmetics of a Theory. Notre Dame Journal of Formal Logic 56 (1):81-119.
    In this paper we study the interpretations of a weak arithmetic, like Buss’s theory $\mathsf{S}^{1}_{2}$, in a given theory $U$. We call these interpretations the arithmetics of $U$. We develop the basics of the structure of the arithmetics of $U$. We study the provability logic of $U$ from the standpoint of the framework of the arithmetics of $U$. Finally, we provide a deeper study of the arithmetics of a finitely axiomatized sequential theory.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  13
    Albert Visser (1989). Semantics and the Liar Paradox. Handbook of Philosophical Logic 4 (1):617--706.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  2
    Albert Visser & Maartje de Jonge (2006). No Escape From Vardanyan's Theorem. Archive for Mathematical Logic 45 (5):539-554.
    Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  0
    Albert Visser (2001). Submodels of Kripke Models. Archive for Mathematical Logic 40 (4):277-295.
    A Kripke model ? is a submodel of another Kripke model ℳ if ? is obtained by restricting the set of nodes of ℳ. In this paper we show that the class of formulas of Intuitionistic Predicate Logic that is preserved under taking submodels of Kripke models is precisely the class of semipositive formulas. This result is an analogue of the Łoś-Tarski theorem for the Classical Predicate Calculus.In Appendix A we prove that for theories with decidable identity we can take (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  28
    Albert Visser (1991). The Formalization of Interpretability. Studia Logica 50 (1):81 - 105.
    This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I0+1.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  3
    Henk Visser (2006). Transpositions. In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics. Springer 75--86.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  2
    Vincent Di Lollo, Jun-Ichiro Kawahara, Samantha M. Zuvic & Troy A. W. Visser (2001). The Preattentive Emperor has No Clothes: A Dynamic Redressing. Journal of Experimental Psychology: General 130 (3):479.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  32
    Albert Visser (2012). A Tractarian Universe. Journal of Philosophical Logic 41 (3):519-545.
    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)  
     
    Export citation  
     
    My bibliography  
  39.  13
    Albert Visser (1999). Rules and Arithmetics. Notre Dame Journal of Formal Logic 40 (1):116-140.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  2
    Stephanie C. Goodhew, Troy A. W. Visser, Ottmar V. Lipp & Paul E. Dux (2011). Implicit Semantic Perception in Object Substitution Masking. Cognition 118 (1):130-134.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  41.  39
    Jan van Eijck & Albert Visser, Stanford Encyclopedia of Philosophy.
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  42.  23
    Rineke Verbrugge & Albert Visser (1994). A Small Reflection Principle for Bounded Arithmetic. Journal of Symbolic Logic 59 (3):785-812.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  43.  11
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  0
    Albert Visser (2002). Substitutions of Σ10-Sentences: Explorations Between Intuitionistic Propositional Logic and Intuitionistic Arithmetic. Annals of Pure and Applied Logic 114 (1-3):227-271.
    This paper is concerned with notions of consequence. On the one hand, we study admissible consequence, specifically for substitutions of Σ 1 0 -sentences over Heyting arithmetic . On the other hand, we study preservativity relations. The notion of preservativity of sentences over a given theory is a dual of the notion of conservativity of formulas over a given theory. We show that admissible consequence for Σ 1 0 -substitutions over HA coincides with NNIL -preservativity over intuitionistic propositional logic . (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  23
    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.
    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)  
     
    Export citation  
     
    My bibliography  
  46.  15
    Dick Jongh & Albert Visser (1991). Explicit Fixed Points in Interpretability Logic. Studia Logica 50 (1):39 - 49.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  43
    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.
  48.  4
    Dick De Jongh, Rineke Verbrugge & Albert Visser (2011). Intermediate Logics and the de Jongh Property. Archive for Mathematical Logic 50 (1):197-213.
    We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  49.  14
    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.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  17
    A. van Heijst, C. J. W. Leget & M. Visser (2012). Lost in Medical Treatment: Doctoring with Borders. Clinical Ethics 7 (2):54-61.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 715