Results for 'Marko Barendregt'

278 found
Order:
  1. Genetic Explanation in Psychology.Marko Barendregt - 2003 - Journal of Mind and Behavior 24 (1):67-90.
    Attempts to explain behavior genetically face two major problems: the application of the concept of genetic coding and the theoretical possibility of decomposing behavior. This paper argues that using the notion of genetic coding is appropriate in explanations of protein synthesis but inadequate and even misleading in the context of explanations of behavior. Genes should be regarded as disparate components of mechanisms that account for behavior rather than as codes for behavioral phenotypes. Such mechanistic explanations, however, presuppose the possibility of (...)
     
    Export citation  
     
    My bibliography   1 citation  
  2.  39
    Adaptive and Genomic Explanations of Human Behaviour: Might Evolutionary Psychology Contribute to Behavioural Genomics? [REVIEW]Marko Barendregt & René Van Hezewijk - 2005 - Biology and Philosophy 20 (1):57-78.
    . Evolutionary psychology and behavioural genomics are both approaches to explain human behaviour from a genetic point of view. Nonetheless, thus far the development of these disciplines is anything but interdependent. This paper examines the question whether evolutionary psychology can contribute to behavioural genomics. Firstly, a possible inconsistency between the two approaches is reviewed, viz. that evolutionary psychology focuses on the universal human nature and disregards the genetic variation studied by behavioural genomics. Secondly, we will discuss the structure of biological (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  15
    Completeness of Two Systems of Illative Combinatory Logic for First-Order Propositional and Predicate Calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations are not translated. Both translations (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  13
    Enumerators of Lambda Terms Are Reducing Constructively.Henk Barendregt - 1995 - Annals of Pure and Applied Logic 73 (1):3-9.
    A closed λ-term E is called an enumerator if M ε /gL/dg /gTn ε N E/drn/dl = β M. Here Λ° is the set of closed λ-terms, N is the set of natural numbers and the /drn/dl are the Church numerals λfx./tfnx. Such an E is called reducing if moreover M ε /gL/dg /gTn ε N E/drn/dl /a/gb M. In 1983 I conjectured that every enumerator is reducing. An ingenious recursion theoretic proof of this conjecture by Statman is presented in (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  70
    The Lambda Calculus: Its Syntax and Semantics.H. P. Barendregt - 1984 - Elsevier.
    The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
    Direct download  
     
    Export citation  
     
    My bibliography   50 citations  
  6. Some Sketchy Notes on the Reaper Argument.Vladimir Marko - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):361-387.
    The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7. Looking for the Lazy Argument Candidates.Vladimir Marko - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3 & 4):363-383; 447-474.
    The Lazy Argument, as it is preserved in historical testimonies, is not logically conclusive. In this form, it appears to have been proposed in favor of part-time fatalism (including past time fatalism). The argument assumes that free will assumption is unacceptable from the standpoint of the logical fatalist but plausible for some of the nonuniversal or part-time fatalists. There are indications that the layout of argument is not genuine, but taken over from a Megarian source and later transformed. The genuine (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  14
    Lambda Calculus with Types.H. P. Barendregt - 2013 - Cambridge University Press.
    This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  14
    A Filter Lambda Model and the Completeness of Type Assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  10. A Characterization of Terms of the |Lambda I-Calculus Having a Normal Form.Henk Barendregt - 1973 - Journal of Symbolic Logic 38 (3):441 - 445.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11. The Abidhamma Model of Consciousness and its Consequences.Henk Barendregt - forthcoming - In M.G.T. Kwee, K.J. Gergen & F. Koshikawa (eds.), Buddhist Psychology: Practice, Research & Theory. Taos Institute Publishing, Taos, New Mexico.
  12.  21
    Mindfulness Reduces Habitual Responding Based on Implicit Knowledge: Evidence From Artificial Grammar Learning.Stephen Whitmarsh, Julia Uddén, Henk Barendregt & Karl Magnus Petersson - 2013 - Consciousness and Cognition 22 (3):833-845.
    Participants were unknowingly exposed to complex regularities in a working memory task. The existence of implicit knowledge was subsequently inferred from a preference for stimuli with similar grammatical regularities. Several affective traits have been shown to influence AGL performance positively, many of which are related to a tendency for automatic responding. We therefore tested whether the mindfulness trait predicted a reduction of grammatically congruent preferences, and used emotional primes to explore the influence of affect. Mindfulness was shown to correlate negatively (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  69
    The Impact of the Lambda Calculus in Logic and Computer Science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
    One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  14.  1
    The |Lambda-Calculus.H. P. Barendregt - 1988 - Philosophical Review 97 (1):132-137.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  35
    Reviews. [REVIEW]Kurt Marko - 1975 - Studies in East European Thought 15 (2):333-352.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  16.  16
    Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):289-306.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  11
    Typed Lambda Calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  18.  28
    Reviews. [REVIEW]Michael J. Zenzen & Kurt Marko - 1990 - Studies in East European Thought 39 (1):37-51.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  19.  28
    Reviews. [REVIEW]Gary S. Marko - 1980 - Studies in East European Thought 21 (3):239-251.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  20.  36
    Reviews. [REVIEW]Kurt Marko, R. C. Elwood, Fred Seddon, John D. Windhausen, Timothy E. O'Connor & Robert C. Williams - 1989 - Studies in East European Thought 37 (4):227-229.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  21.  96
    Buddhist Phenomenology.Henk Barendregt - manuscript
  22.  23
    Reviews. [REVIEW]F. Rapp & Kurt Marko - 1976 - Studies in East European Thought 16 (3-4):227-229.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  23.  29
    Reviews. [REVIEW]Kurt Marko & Francis Soo - 1979 - Studies in East European Thought 19 (2):167-175.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  24.  19
    Ex Oriente ... And What About It?Kurt Marko - 1986 - Studies in East European Thought 31 (3):243-246.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25.  4
    Why Locke’s “Of Power” Is Not a Metaphysical Pronouncement in Advance.Jonathan S. Marko - forthcoming - Philosophy and Theology.
  26.  26
    Reviews. [REVIEW]Kurt Marko & M. D. Henry - 1984 - Studies in East European Thought 27 (3):37-51.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  27.  27
    Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  23
    The Soviets and Other Marxists in 1976.T. Blakeley & Kurt Marko - 1977 - Studies in East European Thought 17 (3):243-246.
  29.  16
    Der Monat.Kurt Marko - 1985 - Studies in East European Thought 29 (4):319-320.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30. Typed Lambda Calculi. S. Abramsky Et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
     
    Export citation  
     
    My bibliography   2 citations  
  31.  21
    West Und Östliches Gelände.Kurt Marko - 1982 - Studies in East European Thought 24 (1):43-44.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32.  20
    Kontinent — Ein Gelungenes Experiment?Kurt Marko - 1980 - Studies in East European Thought 21 (3):221-225.
  33.  18
    Chasanow Zu Entdecken.Kurt Marko - 1987 - Studies in East European Thought 33 (3):245-250.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34.  9
    The New sovietPhilosophical Encyclopedia. IV.Kurt Marko - 1974 - Studies in Soviet Thought 14 (1-2):99-129.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  17
    A Note on Contemporary Soviet Ideology.Kurt Marko - 1973 - Studies in East European Thought 13 (1-2):92-93.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  36.  44
    Reviews. [REVIEW]Oliva Blanchette, Kurt Marko, David Ingram, John W. Murphy, Irving H. Anellis, Vladimir Zeman & Thomas Nemeth - 1986 - Studies in East European Thought 31 (2):135-137.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  37.  40
    Reviews. [REVIEW]Kurt Marko, K. M. Jensen, M. C. Chapman, Michael M. Boll, Mitchell Aboulafia, Charles E. Ziegler, Trudy Conway, Thomas A. Shipka, Fred Lawrence, James G. Colbert, John W. Murphy, Robert B. Louden & Maureen Henry - 1983 - Studies in East European Thought 25 (2):267-271.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  38.  8
    Anmerkungen zum Real Existierenden Totalitarismus und zu seinen Apologeten unter uns.Kurt Marko - 1989 - Studies in Soviet Thought 38 (2):165-181.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  8
    Chasanow Zu Entdecken.Kurt Marko - 1987 - Studies in Soviet Thought 33 (3):245-250.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  8
    Ex Oriente... And What About It?Kurt Marko - 1986 - Studies in Soviet Thought 31 (3):243-246.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41.  8
    No Juvenal of Bolshevism.Kurt Marko - 1981 - Studies in Soviet Thought 22 (2):147-149.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  8
    Some Remarks on Expectations of Imminent Changes in Socialist Countries.Kurt Marko - 1974 - Studies in Soviet Thought 14 (3-4):257-261.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  16
    The New Sovietphilosophical Encyclopedia. IV.Kurt Marko - 1974 - Studies in East European Thought 14 (1-2):99-129.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  44.  11
    Anmerkungen Zum Real Existierenden Totalitarismus Und Zu Seinen Apologeten Unter Uns.Kurt Marko - 1989 - Studies in East European Thought 38 (2):165-181.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  45.  26
    Reviews. [REVIEW]Kurt Marko & Alex Kozulin - 1985 - Studies in East European Thought 29 (4):227-229.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  46.  1
    Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 20 (19‐22):289-306.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  47.  35
    Reviews. [REVIEW]Kurt Marko, Thomas Nemeth, Michael M. Boll, Louis Dupré, Fred Seddon & Oliva Blanchette - 1987 - Studies in East European Thought 34 (3):135-137.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  48.  14
    Is Europe Destroying Itself?Kurt Marko - 1979 - Studies in East European Thought 20 (3):315-316.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  10
    Some Remarks on Expectations of Imminent Changes in Socialist Countries.Kurt Marko - 1974 - Studies in East European Thought 14 (3-4):257-261.
  50.  7
    Der Monat.Kurt Marko - 1985 - Studies in Soviet Thought 29 (4):319-320.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 278