Results for 'Johan Van Bentham'

1000+ found
Order:
  1.  88
    Logic and Reasoning: Do the Facts Matter?Johan Van Bentham - 2008 - Studia Logica 88 (1):67-84.
    Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational agency, and what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  2. Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknown
    Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin et al. [8]), Epistemic-Temporal Logic (ETL, Parikh & Ramanujam [22]), STIT (Belnap et al. [5]), Process Algebra and Game Semantics (Abramsky [1]). This variety is an asset, as different modeling tools can be fine-tuned to specific applications. But it may also be an obstacle, when barriers between paradigms and schools go up. This paper takes a closer look at one particular interface, between two systems (...)
     
    Export citation  
     
    Bookmark   34 citations  
  3.  77
    Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.Johan Van Benthem, Patrick Girard & Olivier Roy - 2009 - Journal of Philosophical Logic 38 (1):83 - 125.
    This paper presents a new modal logic for ceteris paribus preferences understood in the sense of "all other things being equal". This reading goes back to the seminal work of Von Wright in the early 1960's and has returned in computer science in the 1990' s and in more abstract "dependency logics" today. We show how it differs from ceteris paribus as "all other things being normal", which is used in contexts with preference defeaters. We provide a semantic analysis and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  4.  35
    Strategies and Instruments for Organising CSR by Small and Large Businesses in the Netherlands.Johan Graafland, Bert van de Ven & Nelleke Stoffele - 2003 - Journal of Business Ethics 47 (1):45-60.
    This paper analyses the use of strategies and instruments for organising ethics by small and large business in the Netherlands. We find that large firms mostly prefer an integrity strategy to foster ethical behaviour in the organisation, whereas small enterprises prefer a dialogue strategy. Both large and small firms make least use of a compliance strategy that focuses on controlling and sanctioning the ethical behaviour of workers. The size of the business is found to have a positive impact on the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   54 citations  
  5.  26
    ‘This Man is My Property’: Slavery and Political Absolutism in Locke and the Classical Social Contract Tradition.Johan Olsthoorn & Laurens van Apeldoorn - 2020 - European Journal of Political Theory 21 (2):147488512091130.
    It is morally impossible, Locke argued, for individuals to consensually establish absolute rule over themselves. That would be to transfer to rulers a power that is not ours, but God’s alone: owner...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  31
    In the Image of Cicero: German Philosophy Between Wolff and Kant.Johan Van Der Zande - 1995 - Journal of the History of Ideas 56 (3):419.
  7.  1
    Sinndeutung Und Periodisierung der Geschichte: Eine Systematische Ub̈ersicht der Theorien Und Auffassungen.Johan van der Pot - 1999 - Brill.
    In this huge study the author presents a systematic and thematic overview of all concepts and ideas, that are basic and gave shape to Western thinking about history: Jewish and Christian concepts of redemptive history, particularism vs. universal concepts, ethnocentric concepts, typology, eschatology and the apocalyptic. He considers concepts of history in the Classical Age, the Middle Ages, Reformation, the Age of Enlightenment, the Romantic Age, Humanism, Positivism, the impact of the Holocaust and Postmodernism. He offers a critical treatment of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  6
    Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  64
    Modal Frame Correspondences and Fixed-Points.Johan Van Benthem - 2006 - Studia Logica 83 (1-3):133-155.
    Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results – while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspective, showing how modal languages with fixed-point operators are a natural medium to work with.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  10.  10
    Diversity of Logical Agents in Games.Johan van Benthem & Liu - 2004 - Philosophia Scientiae 8 (2):163-178.
    Epistemic agents may have different powers of observation and reasoning, and we show how this diversity fits into dynamic update logics.RésuméLes agents épistémiques peuvent avoir différents pouvoirs d’observation et de raisonnement, et nous montrons comment cette diversité prend place en logique dynamique de mise à jour.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  11.  50
    Johan van Benthem and Alice ter Meulen, Eds.Jaroslav Peregrin - unknown
    The relationships between logic and natural language are multiverse. On the one hand, logic is a theory of argumentation, proving and giving reasons, and such activities are primarily carried out in natural language. This means that logic is, in a certain loose sense, about natural language. On the other hand, logic has found it useful to develop its own linguistic means which sometimes in a sense compete with those of natural language. This has led to the situation where the systems (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Johan van BENTHEM: Modal Logik and Classical Logik.Jesús Padilla Gálvez - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2):539-542.
     
    Export citation  
     
    Bookmark  
  13.  10
    Diversity of Logical Agents in Games.Johan van Benthem & Fenrong Liu - 2004 - Philosophia Scientae 8:163-178.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  28
    Minimal Predicates. Fixed-Points, and Definability.Johan Van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696 - 712.
    Minimal predicates P satisfying a given first-order description ϕ(P) occur widely in mathematical logic and computer science. We give an explicit first-order syntax for special first-order 'PIA conditions' ϕ(P) which quarantees unique existence of such minimal predicates. Our main technical result is a preservation theorem showing PIA-conditions to be expressively complete for all those first-order formulas that are preserved under a natural model-theoretic operation of 'predicate intersection'. Next, we show how iterated predicate minimization on PIA-conditions yields a language MIN(FO) equal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15. Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]Graeme Forbes - 1987 - Philosophy in Review 7:88-90.
     
    Export citation  
     
    Bookmark  
  16.  7
    ‘This Man is My Property’: Slavery and Political Absolutism in Locke and the Classical Social Contract Tradition.Johan Olsthoorn & Laurens van Apeldoorn - 2022 - European Journal of Political Theory 21 (2):253-275.
    It is morally impossible, Locke argued, for individuals to consensually establish absolute rule over themselves. That would be to transfer to rulers a power that is not ours, but God’s alone: ownership of our lives. This article analyses the conceptual presuppositions of Locke’s argument for the moral impossibility of self-enslavement through a comparison with other classical social contract theorists, including Grotius, Hobbes and Pufendorf. Despite notoriously defending the permissibility of voluntary enslavement of individuals and even entire peoples, Grotius similarly endorsed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  6
    The Microscope of Experience: Christian Garve's Translation of Cicero's De Officiis (1783).Johan van der Zande - 1998 - Journal of the History of Ideas 59 (1):75-94.
  18. Johan van Benthem, Modal Logic and Classical Logic Reviewed By.Graeme Forbes - 1987 - Philosophy in Review 7 (2):88-90.
     
    Export citation  
     
    Bookmark  
  19.  11
    Johan Van der Auwera and Andrej Malchukov.Andrej Malchukov - 2005 - In Nikolaus Himmelmann & Eva Schultze-Berndt (eds.), Secondary Predication and Adverbial Modification: The Typology of Depictives. Oxford University Press. pp. 393.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  47
    Johan van Benthem. Logic in Games. The MIT Press, Cambridge MA, 2014, Xv + 547 Pp. [REVIEW]Sebastian Sequoiah-Grayson - 2014 - Bulletin of Symbolic Logic 20 (4):501-503.
  21. Modality: The Three-Layered Scalar Square.van der Auwera Johan - 1996 - Journal of Semantics 13 (3).
     
    Export citation  
     
    Bookmark  
  22. Johan Van Der Zande and Richard H. Popkin: The Skeptical Tradition Around 1800.P. J. E. Kail - 1999 - British Journal for the History of Philosophy 7 (2):382-383.
     
    Export citation  
     
    Bookmark  
  23.  1
    Johan van der Zande, Richard H. Popkin, Eds., The Skeptical Tradition Around 1800: Skepticism in Philosophy, Science, and Society. [REVIEW]Heiner Klemme - 1999 - Journal of the History of Philosophy 37 (1):171-173.
  24.  57
    CSR, Transparency and the Role of Intermediate Organisations.Wim Dubbink, Johan Graafland & Luc van Liedekerke - 2008 - Journal of Business Ethics 82 (2):391 - 406.
    Transparency is a crucial condition to implement a CSR policy based on the reputation mechanism. The central question of this contribution is how a transparency policy ought to be organised in order to enhance the CSR behaviour of companies. Governments endorsing CSR as a new means of governance have different strategies to foster CSR transparency. In this paper we discuss the advantages and disadvantages of two conventional policy strategies: the facilitation policy and the command and control strategy. Using three criteria (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  25.  1
    Jesus: 'N Geloofsgeneser?Johan Ayres & Andries Van Aarde - 1998 - HTS Theological Studies 54 (3/4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    Review: Johan van Benthem, Language in Action. Categories, Lambdas and Dynamic Logic. [REVIEW]Richard T. Oehrle - 1993 - Journal of Symbolic Logic 58 (4):1472-1475.
  27.  25
    Johan van Benthem and Kees Doets. Higher-Order Logic. Handbook of Philosophica Logic, Volume I, Elements of Classical Logic, Edited by D. Gabbay and F. Guenthner, Synthese Library, Vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, Pp. 275–329. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
  28.  23
    Johan van Benthem. Modal Logic and Classical Logic. Indices, No. 3. Bibliopolis, Naples 1985 , Also Distributed by Humanities Press, Atlantic Highlands, N.J., 234 Pp. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
  29.  43
    Review: Johan van Benthem, Kees Doets, Higher-Order Logic. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
  30.  6
    The Range of Modal Logic: An Essay in Memory of George Gargov.Johan van Benthem - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.
    ABSTRACT George Gargov was an active pioneer in the ‘Sofia School’ of modal logicians. Starting in the 1970s, he and his colleagues expanded the scope of the subject by introducing new modal expressive power, of various innovative kinds. The aim of this paper is to show some general patterns behind such extensions, and review some very general results that we know by now, 20 years later. We concentrate on simulation invariance, decidability, and correspondence. What seems clear is that ‘modal logic’ (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  22
    Estimation of Parameters in a Bertalanffy Type of Temperature Dependent Growth Model Using Data on Juvenile Stone Loach (Barbatula Barbatula).Johan Grasman, Willem B. E. van Deventer & Vincent van Laar - 2012 - Acta Biotheoretica 60 (4):393-405.
    Parameters of a Bertalanffy type of temperature dependent growth model are fitted using data from a population of stone loach ( Barbatula barbatula ). Over two periods respectively in 1990 and 2010 length data of this population has been collected at a lowland stream in the central part of the Netherlands. The estimation of the maximum length of a fully grown individual is given special attention because it is in fact found as the result of an extrapolation over a large (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    A Mini-Guide to Logic in Action.Johan van Benthem - 2006 - In Michael Stöltzner & Friedrich Stadler (eds.), Time and History: Proceedings of the 28. International Ludwig Wittgenstein Symposium, Kirchberg Am Wechsel, Austria 2005. De Gruyter. pp. 419-440.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  16
    Johan van Benthem. Essays in Logical Semantics. Studies in Linguistics and Philosophy, Vol. 29. D. Reidel Publishing Company, Dordrecht Etc. 1986, Xi + 225 Pp. - Johan van Benthem. Determiners and Logic. Linguistics and Philosophy, Vol. 6 , Pp. 447–478. - Johan van Benthem. Questions About Quantifiers. The Journal of Symbolic Logic, Vol. 49 , Pp. 443–466. - Johan van Benthem. Foundations of Conditional Logic. Journal of Philosophical Logic, Vol. 13 , Pp. 303–349. [REVIEW]John Hawthorn - 1988 - Journal of Symbolic Logic 53 (3):990-991.
  34.  36
    Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, Pp. 350. ISBN: 9781575865997 US $70.00, ISBN: 9781575865980 US $30.00. [REVIEW]Hans van Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
  35.  26
    Question–Answer Games.Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch & Stefan Minica - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):265-288.
    We propose strategic games wherein the strategies consist of players asking each other questions and answering those questions. We study simplifications of such games wherein two players simultaneously ask each other a question that the opponent is then obliged to answer. The motivation for our research is to model conversation including the dynamics of questions and answers, to provide new links between game theory and dynamic logics of information, and to exploit the dynamic/strategic structure that, we think, lies implicitly inside (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  75
    Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknown
    Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...)
    Direct download  
     
    Export citation  
     
    Bookmark   118 citations  
  37.  4
    Interpolation, Preservation, and Pebble Games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881 - 903.
    Preservation and interpolation results are obtained for L ∞ω and sublogics $\mathscr{L} \subseteq L_{\infty\omega}$ such that equivalence in L can be characterized by suitable back-and-forth conditions on sets of partial isomorphisms.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  38.  7
    Review: Johan van Benthem, Modal Logic and Classical Logic. [REVIEW]R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
  39.  62
    Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
    We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  45
    Johan van Benthem, Frans H. Van Eemeren, Rob Grootendorst and Frank Veltman (Eds.), Logic and Argumentation.Robert W. Binkley - 1998 - Argumentation 12 (4):508-512.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Resetting the Bounds of Logic.Johan van Benthem - 1999 - European Review of Philosophy 12 (4).
     
    Export citation  
     
    Bookmark  
  42.  27
    Johan van der Hoeven's "Karl Marx: The Roots of His Thought". [REVIEW]David H. Degrood - 1978 - Philosophy and Phenomenological Research 38 (4):582.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  28
    Johan van Benthem, Amitabha Gupta and Rohit Parikh (Eds.), Proof, Computation and Agency. Logic at the Crossroads. Dordrecht, Springer, 2011. Johan van Benthem, Amitabha Gupta and Eric Pacuit (Eds.), Games, Norms and Reasons. Logic at the Crossroads. Dordrecht, Springer, 2011 (Joint Review). [REVIEW]Lorenz Demey - 2012 - Tijdschrift Voor Filosofie 74 (2):379-381.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Euclidean Hierarchy in Modal Logic.Johan van Benthem1 Guram Bezhanishvili & Mai Gehrke - 2003 - Studia Logica 75:327-344.
  45.  27
    Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, Pp. 350. ISBN: 9781575865997 (Hardcover) US $70.00, ISBN: 9781575865980 (Paperback) US $30.00. [REVIEW]Hans Ditmarsch - 2012 - Studia Logica 100 (5):1055-1057.
  46.  18
    Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic. [REVIEW]Johan Van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.
  47.  7
    Counter-Factual Mathematics of Counterfactual Predictive Models.Maria Otworowska, Johan Kwisthout & Iris van Rooij - 2014 - Frontiers in Psychology 5.
  48.  12
    The Logic of Natural Language.Johan van Benthem - 1983 - Philosophical Books 24 (2):99-102.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  1
    Dealing with Sexual Boundary Violation in Mental Healthcare Institutions by Government Policies: The Case of Flanders, Belgium.Johan Bilsen, Hubert Van Puyenbroeck, Dirk De Wachter, Frieda Matthys, Kim Dewilde & Lara Vesentini - 2022 - BMC Medical Ethics 23 (1):1-8.
    BackgroundTo prevent sexual boundary violations in mental health care institutions overall governments require these institutions to report SBV incidents to a central registry and to develop institutional guidelines how to react. In Europe SBV policies are only recently developed or implemented, as is also the case in Flanders. The implementation of a new institutional policy is always a challenge and can encounter resistance, especially when it concerns SBV, because they remain delicate and complex.MethodThis study evaluated the extent to which mandatory (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  3
    Co-Creating Nano-Imaginaries: Report of a Delphi-Exercise.Lieve Goorden, Johan Evers, Michiel Van Oudheusden & Marian Deblonde - 2008 - Bulletin of Science, Technology and Society 28 (5):372-389.
    In the first phase of the research project Nanotechnologies for Tomorrow's Society, the research consortium explored a variety of futuristic visions or technoscientific imaginaries. This exploration took the form of a Policy Delphi, adapted to the particular objective of jointly constructing nano-imaginaries, taking participants' personal visions of possible future applications and societal issues as a starting point. The participants were nanoresearchers, as well as societal experts and primary involved citizens. In this article, the authors describe the theoretical frame that inspired (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000