Results for 'Jaap Visser'

769 found
Order:
  1.  86
    A method for conceptualising legal domains. An example from the dutch unemployment benefits act.Pepijn Visser, Trevor Bench-Capon & Jaap van den Herik - 1997 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. On the possible role of egg mimics in speciation.Tijs Goldschmidt & Jaap Visser - 1990 - Acta Biotheoretica 38 (2).
    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, (...)
     
    Export citation  
     
    Bookmark  
  3.  32
    Affective touch modulates the rubber hand illusion.Haike E. van Stralen, Martine J. E. van Zandvoort, Sylco S. Hoppenbrouwers, Lidewij M. G. Vissers, L. Jaap Kappelle & H. Chris Dijkerman - 2014 - Cognition 131 (1):147-158.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4. A comparison of four ontologies for the design of legal knowledge systems.Pepijn R. S. Visser & Trevor J. M. Bench-Capon - 1998 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  5. A propositional logic with explicit fixed points.Albert Visser - 1981 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  6. Semantics and the liar paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.
  7.  70
    Anselm.Sandra Visser & Thomas Williams - 2009 - New York: Oxford University Press. Edited by Thomas Williams.
    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  
     
    Bookmark   25 citations  
  8.  56
    Reasoning with Rules: An Essay on Legal Reasoning and its Underlying Logic.Jaap Hage - 1996 - Kluwer Academic Publishers.
    Rule-applying legal arguments are traditionally treated as a kind of syllogism. Such a treatment overlooks the fact that legal principles and rules are not statements which describe the world, but rather means by which humans impose structure on the world. Legal rules create legal consequences, they do not describe them. This has consequences for the logic of rule- and principle-applying arguments, the most important of which may be that such arguments are defeasible. This book offers an extensive analysis of the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  9.  29
    Essential hereditary undecidability.Albert Visser - 2024 - Archive for Mathematical Logic 63 (5):529-562.
    In this paper we study essential hereditary undecidability. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of essentially hereditarily undecidable theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation essential tolerance, or, in (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Four valued semantics and the liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
  11. New Constructions of Satisfaction Classes.Albert Visser & Ali Enayat - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  12.  31
    Pragmatism, Critical Theory and Business Ethics: Converging Lines.Max Visser - 2019 - Journal of Business Ethics 156 (1):45-57.
    There is a “Pragmatist turn” visible in the field of organization science today, resulting from a renewed interest in the work of Pragmatist philosophers like Dewey, Mead, Peirce, James and others, and in its implications for the study of organizations. Following Wicks and Freeman, in the past decade Pragmatism has also entered the field of business ethics, which, however, has not been uniformly applauded in that field. Some scholars fear that Pragmatism may enhance already existing positivist and managerialist tendencies in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  20
    Die Offenbarung des Parmenides und die menschliche Welt.Jaap Mansfeld - 1964 - Assen,: Van Gorcum.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  14.  35
    Annotating Argument Schemes.Jacky Visser, John Lawrence, Chris Reed, Jean Wagemans & Douglas Walton - 2020 - Argumentation 35 (1):101-139.
    Argument schemes are abstractions substantiating the inferential connection between premise(s) and conclusion in argumentative communication. Identifying such conventional patterns of reasoning is essential to the interpretation and evaluation of argumentation. Whether studying argumentation from a theory-driven or data-driven perspective, insight into the actual use of argumentation in communicative practice is essential. Large and reliably annotated corpora of argumentative discourse to quantitatively provide such insight are few and far between. This is all the more true for argument scheme corpora, which tend (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  31
    Responsibility without Moralism in Technoscientific Design Practice.Jaap Jelsma & Tsjalling Swierstra - 2006 - Science, Technology, and Human Values 31 (3):309-332.
    While engineering ethics usually addresses the responsibility of engineers in rare cases of whistle blowing, the authors broach the question to what extent engineers can be held responsible in normal practice. For this purpose, they define the conditions under which individuals can be imputable as they prevail in ethics and common sense. From outcomes of science and technology studies research, the authors conclude that these conditions are seldom met in modern technoscientific research practice. By examining such practice in a case (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  16. The formalization of interpretability.Albert Visser - 1991 - 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  
     
    Bookmark   23 citations  
  17.  94
    Growing Commas. A Study of Sequentiality and Concatenation.Albert Visser - 2009 - 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  
     
    Bookmark   17 citations  
  18.  44
    Heresiography in Context: Hippolytus' elenchos as a Source for Greek Philosophy.Jaap Mansfeld (ed.) - 1992 - New York: Brill.
    A new assessment of the philosophical traditions Hippolytus depends on and of his method of presentation. This book deals with the reception of the Presocratics, Plato and Aristotle in the first centuries CE, and is a major contribution to our knowledge of the various currents in Pre-Neoplatonic Greek philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  19.  77
    Another look at the second incompleteness theorem.Albert Visser - 2020 - Review of Symbolic Logic 13 (2):269-295.
    In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  20. Conscious and unconscious processes: The effects of motivation.Troy A. W. Visser & Philip M. Merikle - 1999 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  21. A theory of legal reasoning and a logic to match.Jaap Hage - 1996 - Artificial Intelligence and Law 4 (3):199-273.
    This paper describes a model of legal reasoning and a logic for reasoning with rules, principles and goals that is especially suited to this model of legal reasoning. The paper consists of three parts. The first part describes a model of legal reasoning based on a two-layered view of the law. The first layer consists of principles and goals that express fundamental ideas of a legal system. The second layer contains legal rules which in a sense summarise the outcome of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  22.  82
    An Inside View of Exp; or, The Closed Fragment of the Provability Logic of IΔ0+ Ω1 with a Propositional Constant for.Albert Visser - 1992 - 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 \triangle_0 + \mathrm{EXP}$ with a propositional constant for $\mathrm{EXP}$. In three appendices many details on arithmetization are provided.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  23.  49
    Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  64
    The predicative Frege hierarchy.Albert Visser - 2009 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  25.  80
    Rules and Arithmetics.Albert Visser - 1999 - 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  
     
    Bookmark   19 citations  
  26. An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.
    No categories
     
    Export citation  
     
    Bookmark   19 citations  
  27.  65
    Faith & falsity.Albert Visser - 2004 - Annals of Pure and Applied Logic 131 (1-3):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 (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  28.  49
    The unprovability of small inconsistency.Albert Visser - 1993 - 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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  29.  49
    The provability logics of recursively enumerable theories extending peano arithmetic at arbitrary theories extending peano arithmetic.Albert Visser - 1984 - Journal of Philosophical Logic 13 (1):97 - 113.
  30.  89
    Peano's smart children: a provability logical study of systems with built-in consistency.Albert Visser - 1989 - Notre Dame Journal of Formal Logic 30 (2):161-196.
  31. Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  32.  79
    Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.Albert Visser - 2002 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  33.  82
    Genericity generalized.Alnica Visser - 2022 - Philosophical Studies 180 (3):703-723.
    In his _Between Logic and the World_, in the course of presenting his theory of generics, Nickel (Between logic and the world, Oxford University Press, 2016) argues for a theory of characteristicness, or “genericity”, which states that a property is characteristic for a kind if and only if its presence among the members of that kind is explicable by some explanatory domain that recognizes the existence of that kind in the course of engaging the explanatory strategies made available by that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  53
    Euthanasia requests in dementia cases; what are experiences and needs of Dutch physicians? A qualitative interview study.Jaap Schuurmans, Romy Bouwmeester, Lamar Crombach, Tessa van Rijssel, Lizzy Wingens, Kristina Georgieva, Nadine O’Shea, Stephanie Vos, Bram Tilburgs & Yvonne Engels - 2019 - BMC Medical Ethics 20 (1):1-9.
    In the Netherlands, in 2002, euthanasia became a legitimate medical act, only allowed when the due care criteria and procedural requirements are met. Legally, an Advanced Euthanasia Directive can replace direct communication if a patient can no longer express his own wishes. In the past decade, an exponential number of persons with dementia share a euthanasia request with their physician. The impact this on physicians, and the consequent support needs, remained unknown. Our objective was to gain more insight into the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  35. An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.
    No categories
     
    Export citation  
     
    Bookmark   16 citations  
  36. Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic.Jaap C. Hage - 2000 - Studia Logica 65 (2):285-287.
     
    Export citation  
     
    Bookmark   22 citations  
  37.  62
    On the completenes principle: A study of provability in heyting's arithmetic and extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.
  38.  29
    Recognition and Work in the Platform Economy: a Normative Reconstruction.Max Visser & Thomas C. Arnold - 2021 - Philosophy of Management 21 (1):31-45.
    The rise of the platform economy in the past two decades (and neoliberal capitalist expansion and crises more in general), have on the whole negatively affected working conditions, leading to growing concerns about the “human side” of organizations. To address these concerns, the purpose of this paper is to apply Axel Honneth’s recognition theory and method of normative reconstruction to working conditions in the platform economy. The paper concludes that the ways in which platform organizations function constitutes a normative paradox, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  23
    Running out of farmland? Investment discourses, unstable land values and the sluggishness of asset making.Oane Visser - 2017 - Agriculture and Human Values 34 (1):185-198.
    This article critically analyzes the assumption that land is becoming increasingly scarce and that, therefore, farmland values are bound to rise across the globe. It investigates the process of land value creation, as well as its flipside: value erosion and stagnation, looking at the various mechanisms involved in each. As such, it is a study of how the financialization of agriculture affects the process of land commoditization. I show that, for farmland to be turned into an asset, a whole range (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  41.  71
    Modal Logic and Self-Reference.Albert Visser & Craig Smorynski - 1989 - Journal of Symbolic Logic 54 (4):1479.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  42.  21
    Aëtiana: the method and intellectual context of a doxographer.Jaap Mansfeld - 1997 - New York: E.J. Brill. Edited by David T. Runia.
    v. 1. The sources -- v. 2., pt. 2. The compendium -- v. 3. Studies in the doxographical traditions of ancient philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  43.  72
    Prolegomena: questions to be settled before the study of an author, or a text.Jaap Mansfeld - 1994 - New York: E.J. Brill.
    This study of the practices and principles of a wide range of ancient scholars dealing with philosophical, scientific, biblical and other authors is an ...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  44.  53
    Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories.Albert Visser - 2014 - Mathematical Logic Quarterly 60 (1-2):92-117.
    In this paper we study local induction w.r.t. Σ1‐formulas over the weak arithmetic. The local induction scheme, which was introduced in, says roughly this: for any virtual class that is progressive, i.e., is closed under zero and successor, and for any non‐empty virtual class that is definable by a Σ1‐formula without parameters, the intersection of and is non‐empty. In other words, we have, for all Σ1‐sentences S, that S implies, whenever is progressive. Since, in the weak context, we have (at (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  45.  22
    Studies in the Historiography of Greek Philosophy.Jaap Mansfeld - 1990
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  46.  50
    A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
    In this paper we study 1. the frame-theory of certain bimodal provability logics involving the reflection principle and we study2. certain specific bimodal logics with a provability predicate for a subtheory of Peano arithmetic axiomatized by a non-standardly finite number of axioms.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  47.  26
    Executive functioning in preschoolers with specific language impairment.Constance Vissers, Sophieke Koolen, Daan Hermans, Annette Scheper & Harry Knoors - 2015 - Frontiers in Psychology 6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  48.  44
    (1 other version)Submodels of Kripke models.Albert Visser - 2001 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  49.  12
    Studies in Early Greek Philosophy: A Collection of Papers and One Review.Jaap Mansfeld - 2018 - Boston: Brill.
    Jaap Mansfeld’s _Studies in Early Greek Philosophy_ span the period from Anaximander to Socrates. General issues and particular problems of interpretation are tackled by a scrutiny of the sources, and of traditions of reception both ancient and modern.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Correspondence Between th Pragma-Dialectical Disussion Model and the Argument Interchange Format.Jacky Visser, Floris Bex, Chris Reed & Bart Garssen - 2011 - Studies in Logic, Grammar and Rhetoric 23 (36).
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 769