Results for 'Marinus van den Berg'

992 found
Order:
  1.  9
    Bookreviews.Katrin Hauspie, Bart J. Koet, H. Rikhof, Stefan Mangnus, Carlo Leget, W. Van Herck, Jean-Jacques Suurmond, Marinus van den Berg & Paul Schotsmans - 2004 - Bijdragen 65 (1):114-124.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Metabletica En Wetenschap Kritische Bestandsopname van Het Werk van J.H. Van den Berg.J. H. van den Berg & J. van Belzen - 1997
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  34
    A Functional Interpretation for Nonstandard Arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
    We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  4.  12
    Factorial Comparison of Working Memory Models.Ronald van den Berg, Edward Awh & Wei Ji Ma - 2014 - Psychological Review 121 (1):124-149.
  5.  13
    Aspects of Predicative Algebraic Set Theory I: Exact Completion.Benno van den Berg & Ieke Moerdijk - 2008 - Annals of Pure and Applied Logic 156 (1):123-159.
    This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6.  21
    A Blooming and Buzzing Confusion: Buffon, Reimarus, and Kant on Animal Cognition.Hein van den Berg - 2018 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 72:1-9.
    Kant’s views on animals have received much attention in recent years. According to some, Kant attributed the capacity for objective perceptual awareness to non-human animals, even though he denied that they have concepts. This position is difficult to square with a conceptualist reading of Kant, according to which objective perceptual awareness requires concepts. Others take Kant’s views on animals to imply that the mental life of animals is a blooming, buzzing confusion. In this article I provide a historical reconstruction of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  19
    Kant and the Scope of Analogy in the Life Sciences.Hein van den Berg - 2018 - Studies in History and Philosophy of Science Part A 71:67-76.
    In the present paper I investigate the role that analogy plays in eighteenth-century biology and in Kant’s philosophy of biology. I will argue that according to Kant, biology, as it was practiced in the eighteenth century, is fundamentally based on analogical reflection. However, precisely because biology is based on analogical reflection, biology cannot be a proper science. I provide two arguments for this interpretation. First, I argue that although analogical reflection is, according to Kant, necessary to comprehend the nature of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  11
    Axiomatic Natural Philosophy and the Emergence of Biology as a Science.Hein van den Berg & Boris Demarest - 2020 - Journal of the History of Biology 53 (3):379-422.
    Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  9
    Extended Use of IST.I. P. Van den Berg - 1992 - Annals of Pure and Applied Logic 58 (1):73-92.
    Van den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer , Idealization , and Standardization . We show that the range of application of these axiom schemes may be enlarged with respect to the original formulation. Not only more kinds of formulas are allowed, but also different settings. Many examples illustrate these extensions. Most concern formal aspects of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  11
    Proclus' Commentary on the Cratylus in Context: Ancient Theories of Language and Naming.van den Berg & M. R. - 2008 - Brill Academic.
    This book explores the various views on language and its relation to philosophy in the Platonic tradition by examening the reception of Plato's Cratylus in antiquity in general, and the commentary of the Neoplatonist Proclus in particular.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  11. Kant’s Conception of Proper Science.Hein van den Berg - 2011 - Synthese 183 (1):7-26.
    Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  80
    The Human Body and the Significance of Human Movement: A Phenomenological Study.J. H. Van Den Berg - 1952 - Philosophy and Phenomenological Research 13 (2):159-183.
  13.  14
    What is Psychotherapy?J. H. Van den Berg - forthcoming - Humanitas.
  14.  31
    Kant on Proper Science: Biology in the Critical Philosophy and the Opus Postumum.Hein van den Berg - 2014 - Springer Science + Business Media.
    Biology in the Critical Philosophy and the Opus postumum Hein van den Berg. Parts of Chap. 2 have been previously published in Hein van den Berg (2011), “ Kant's Conception of Proper Science.” Synthese 183 (1): 7–26. Parts of Chap.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  17
    The Phenomenological Approach to Psychiatry.J. H. Van den Berg - 1957 - Philosophical Review 66 (1):131-133.
  16.  40
    Non-Deterministic Inductive Definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
    We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  12
    Derived Rules for Predicative Set Theory: An Application of Sheaves.Benno van den Berg & Ieke Moerdijk - 2012 - Annals of Pure and Applied Logic 163 (10):1367-1383.
  18.  3
    Theoretical Signposts for Tracing Spirituality Within the Fluid Decision-Making of a Mobile Virtual Reality.Jan-Albert Van den Berg - 2012 - Hts Theological Studies 68 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19. On Hallucinating: Critical–Historical Overview and Guidelines for Further Study.J. H. Van den Berg - 1982 - In A. J. J. de Koning & F. A. Jenner (eds.), Phenomenology and Psychiatry. Grune & Stratton.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  20.  21
    Wolff and Kant on Scientific Demonstration and Mechanical Explanation.Hein van den Berg - 2013 - Archiv für Geschichte der Philosophie 95 (2):178-205.
    This paper analyzes Immanuel Kant’s views on mechanical explanation on the basis of Christian Wolff’s idea of scientific demonstration. Kant takes mechanical explanations to explain properties of wholes in terms of their parts. I reconstruct the nature of such explanations by showing how part-whole conceptualizations in Wolff’s logic and metaphysics shape the ideal of a proper and explanatory scientific demonstration. This logico-philosophical background elucidates why Kant construes mechanical explanations as ideal explanations of nature.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  11
    Inductive Types and Exact Completion.Benno van den Berg - 2005 - Annals of Pure and Applied Logic 134 (2-3):95-121.
    Using the theory of exact completions, I construct a certain class of pretoposes, consisting of what one might call “predicative realizability toposes”, that can act as categorical models of certain predicative type theories, including Martin-Löf Type Theory.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  35
    The Phenomenological Approach to Psychiatry an Introduction to Recent Phenomenological Psychopathology.J. H. VAN DEN BERG - 1955 - Thomas.
  23.  17
    The Social Sciences According to Bunge.Axel Van Den Berg - 2001 - Philosophy of the Social Sciences 31 (1):83-103.
  24.  15
    The Story of the Hashtag: A Practical Theological Tracing of the Hashtag Symbol on Twitter.Jan Albert Van den Berg - 2014 - Hts Theological Studies 70 (1).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  38
    The Axiom of Multiple Choice and Models for Constructive Set Theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.
    We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Löf's type theory. In addition, it is strong enough to prove the Set Compactness theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  20
    Kant's Organicism: Epigenesis and the Development of Critical Philosophy. [REVIEW]Hein van den Berg - 2014 - International Studies in the Philosophy of Science 28 (1):99-101.
  27.  10
    Procheirisis: Porphyry Sent. 16 and Plotinus on the Similes of the Waxen Block and the Aviary.Robbert van den Berg - 2010 - International Journal of the Platonic Tradition 4 (2):163-180.
    This paper studies Sentence 16 of Porphyry’s Pathways to the Intelligible. It is argued that it should be understood against the background of Plotinus’ discussions of the similes of the waxen block and the aviary from Plato’s Theaetetus. The first part of the paper concentrates on Plotinus’ reception of these similes. In the second part of the paper Plotinus’ discussions of the two similes are used to shed light on Sentence 16, in particular on the term προχείρισις. Furthermore it is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  17
    Non-Well-Founded Trees in Categories.Benno van den Berg & Federico De Marchi - 2007 - Annals of Pure and Applied Logic 146 (1):40-59.
    Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive existence results for M-types in locally cartesian closed pretoposes with a natural numbers object, using their internal logic. These are then used to prove stability of such categories with M-types under various topos-theoretic constructions; namely, slicing, formation of coalgebras , and sheaves for an (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  29
    The Wolffian Roots of Kant’s Teleology.Hein van den Berg - 2013 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 44 (4):724-734.
    Kant’s teleology as presented in the Critique of Judgment is commonly interpreted in relation to the late eighteenth-century biological research of Johann Friedrich Blumenbach. In the present paper, I show that this interpretative perspective is incomplete. Understanding Kant’s views on teleology and biology requires a consideration of the teleological and biological views of Christian Wolff and his rationalist successors. By reconstructing the Wolffian roots of Kant’s teleology, I identify several little known sources of Kant’s views on biology. I argue that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  39
    Models of Non-Well-Founded Sets Via an Indexed Final Coalgebra Theorem.Benno van Den Berg & Federico de Marchi - 2007 - Journal of Symbolic Logic 72 (3):767-791.
    The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  14
    On the Relation Between Elementary Partial Difference Equations and Partial Differential Equations.I. P. van den Berg - 1998 - Annals of Pure and Applied Logic 92 (3):235-265.
    The nonstandard stroboscopy method links discrete-time ordinary difference equations of first-order and continuous-time, ordinary differential equations of first order. We extend this method to the second order, and also to an elementary, yet general class of partial difference/differential equations, both of first and second order. We thus obtain straightforward discretizations and continuizations, even avoiding change of variables. In fact, we create intermediary objects: partial difference equations with S-continuous solutions, which have both discrete and continuous properties.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  5
    Phenomenology and Psychotherapy.Jan van den Berg - 1980 - Journal of Phenomenological Psychology 11 (2):21-49.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  99
    Accardi on Quantum Theory and the "Fifth Axiom" of Probability.Hans Van Den Berg, Dick Hoekzema & Hans Radder - 1990 - Philosophy of Science 57 (1):149-157.
    In this paper we investigate Accardi's claim that the "quantum paradoxes" have their roots in probability theory and that, in particular, they can be evaded by giving up Bayes' rule, concerning the relation between composite and conditional probabilities. We reach the conclusion that, although it may be possible to give up Bayes' rule and define conditional probabilities differently, this contributes nothing to solving the philosophical problems which surround quantum mechanics.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Perception of Self-Motion From Visual Flow.Markus Lappe, Frank Bremmer & A. V. van den Berg - 1999 - Trends in Cognitive Sciences 3 (9):329-336.
  35. The Schizophrenic Patient: Anthropological Considerations.J. Van den Berg - 1982 - In A. J. J. de Koning & F. A. Jenner (eds.), Phenomenology and Psychiatry. Grune & Stratton.
     
    Export citation  
     
    Bookmark   1 citation  
  36. Towards a Computational History of Ideas.Arianna Betti & Hein Van Den Berg - 2016 - CEUR Workshop Proceedings, 1681.
    The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A computational history (...)
     
    Export citation  
     
    Bookmark   4 citations  
  37.  5
    On Historicity, Context and the Existence of African Philosophy.M. E. S. Van den Berg - 2003 - South African Journal of Philosophy 22 (3):277-286.
  38.  4
    A Remark of Genius and Well Worthy of Platonic Principles" : Proclus' Criticism of Porphyry's Semantic Theory.Robert Van Den Berg - 2004 - In Carlos G. Steel, Gerd van Riel, Caroline Macé & Leen van Campe (eds.), Platonic Ideas and Concept Formation in Ancient and Medieval Thought. Leuven University Press. pp. 155.
  39.  68
    Modelling the History of Ideas.Arianna Betti & Hein van den Berg - 2014 - British Journal for the History of Philosophy 22 (4):812-835.
    We propose a new method for the history of ideas that has none of the shortcomings so often ascribed to this approach. We call this method the model approach to the history of ideas. We argue that any adequately developed and implementable method to trace continuities in the history of human thought, or concept drift, will require that historians use explicit interpretive conceptual frameworks. We call these frameworks models. We argue that models enhance the comprehensibility of historical texts, and provide (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  40.  31
    Commentary On Van Den Berg.Gary Gabor - 2013 - Proceedings of the Boston Area Colloquium of Ancient Philosophy 28 (1):232-237.
    I agree with Robbert Van den Berg that Plotinus endorses Socratic intellectualism, but I challenge his view that Plotinus rejects the phenomenon of akrasia. According to Van den Berg, the only form of akrasia acknowledged by Plotinus is a conditional, or ‘weak,’ akrasia. I provide some reasons for thinking that Plotinus might have accepted complete or ‘strong’ akrasia—full stop. While such strong forms of akrasia are usually taken to conflict with Socratic intellectualism, I argue that Plotinus’s complex, dual-self (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  72
    Discourse Grammar and Verb Phrase Anaphora.Hub Prüst, Remko Scha & Martin Van Den Berg - 1994 - Linguistics and Philosophy 17 (3):261-327.
    We argue that an adequate treatment of verb phrase anaphora must depart in two major respects from the standard approaches. First of all, VP anaphors cannot be resolved by simply identifying the anaphoric VP with an antecedent VP. The resolution process must establish a syntactic/semantic parallelism between larger units that the VPs occur in. Secondly, discourse structure has a significant influence on the reference possibilities of VPA. This influence must be accounted for. We propose a treatment which meets these requirements. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. The Changing Reality of Modern Man: Essays in Honour of Jan Hendrik Van Den Berg.den Berg, H. J. & Dreyer Kruger (eds.) - 1985 - Humanities Press.
  43. @PhilosTEI: Building Corpora for Philosophers.Arianna Betti, Martin Reynaert & Hein Van Den Berg - 2017 - In J. Odijk & A. Van Hessen (eds.), Clarin in the Low Countries. Londen, Verenigd Koninkrijk: pp. 379-392.
    The step to e-research in philosophy depends on the availability of high quality, easily and freely accessible corpora in a sustainable format composed from multi-language, multi-script books from different historical periods. Corpora matching these needs are at the moment virtually non-existing. Within @PhilosTei, we have addressed this corpus building problem by developing an open source, web-based, user-friendly workflow from textual images to TEI, based on state-of-the-art open source OCR software, to wit Tesseract, and a multi-language version of TICCL, a powerful (...)
     
    Export citation  
     
    Bookmark   1 citation  
  44.  11
    The Magnificent Progress Achieved By Capitalism:Is The Evidence Incontrovertible?Hendrik Van Den Berg - 2004 - Journal of Ayn Rand Studies 5 (10):251-269.
    HENDRIK VAN DEN BERG argues that Rand's claim that evidence of capitalism's success is "incontrovertible" cannot be confirmed using familiar annual GDP per capita figures. This article argues that annual GDP per capita cannot logically represent individual welfare because it measures an annual income flow while individuals judge their welfare by their lifetime income. Data are available to measure an economy's capacity to enhance individual lifetime welfare. Not only does this measure come closer to Rand's focus on the individual, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  11
    Nonstandard Functional Interpretations and Categorical Models.Amar Hadzihasanovic & Benno van den Berg - 2017 - Notre Dame Journal of Formal Logic 58 (3):343-380.
    Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Metabletica van God de Drie Voornaamste Veranderingen.J. H. van den Berg - 1995
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Metabletica van God. De drie voornaamste veranderingen.J. van den Berg - 1996 - Tijdschrift Voor Filosofie 58 (3):597-598.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  4
    Van 'T Hoff En de Roep Uit Leipzig in 1887.Rob Van den Berg - 2018 - Studium : Revue D’Histoire des Sciences Et des Universités 10 (4):173.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Cultural Factors in the Origin and Remediation of Alternative Conceptions in Physics.Gerard D. Thijs & E. D. Van Den Berg - 1995 - Science & Education 4 (4):317-347.
  50. Die Betekenis van Die Bestaan van Die Nederduitsch Hervormde Gemeentes in Oos-Afrika 1910-1960.C. L. Van den Berg - 1965 - Hts Theological Studies 20 (3/4).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 992