Results for 'Arend Heyting'

(not author) ( search as author name )
703 found
Order:
  1. Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  2.  78
    Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
  3. Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.
  4. Remarques sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3:177-182.
     
    Export citation  
     
    Bookmark   3 citations  
  5. La fundamentación intuicionista de la matemática.Arend Heyting - 2020 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 10 (2):73--78.
    This is the Spanish translation, by María Gabriela Fulugonio, of Arend Heyting’s classical text “Die logizistische Grundlegung der Mathematik”, which was originally presented at the Königsberg’s Symposium on Philosophy of Mathematics in 1930, and finally published in Erkenntnis in 1931.
    No categories
     
    Export citation  
     
    Bookmark  
  6.  6
    Les fondements des mathématiques.Arend Heyting - 1955 - Paris,: Gauthier-Villars.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  30
    In memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.
  8.  54
    Formal logic and mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
  9. Note sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3 (11):177.
     
    Export citation  
     
    Bookmark  
  10. Symposium on the foundations of mathematics.Rudolf Carnap, Arend Heyting & Johann von Neumann - 1964 - In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall.
  11. Arend Heyting and Phenomenology: Is the Meeting Feasible?Miriam Franchella - 2007 - Bulletin d'Analyse Phénoménologique (2).
    La littérature témoigne d’une tendance croissante à soutenir l’intuitionisme par la phénoménologie. Le disciple de Brouwer Arend Heyting est considéré comme un précurseur de cette tendance, parce qu’il usait d’une terminologie phénoménologique en vue de définir la négation intuitioniste, en élaborant la première logique intuitioniste. Dans cet article, l’auteur tente d’explorer — en référence aux matériaux inédits conservés aux Archives Heyting — ce qui, dans la pensée de Heyting, est compatible avec la phénoménologie. Dans la conclusion, (...)
     
    Export citation  
     
    Bookmark   1 citation  
  12.  11
    An embodied theorisation: Arend Heyting's hypothesis about how the self separates from the outer world finds confirmation.Miriam Franchella - 2023 - Theoria 89 (5):660-670.
    At the beginning of the twentieth century, among the foundational schools of mathematics appeared ‘intuitionism’ by Dutchman L. E. J. Brouwer, who based arithmetic on the intuition of time and all mental constructions that could be made out of it. His pupil Arend Heyting was the first populariser of intuitionism, and he repeatedly emphasised that no philosophy was required to practise intuitionism so that such mathematics could be shared by anyone. Still, stimulated by invitations to humanistic conferences, he (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Review: Arend Heyting, Les Fondements des Mathematiques du Point de vue Intuitionniste. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
  14.  8
    Review: Arend Heyting, Formal Logic and Mathematics. [REVIEW]E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
  15.  9
    The correspondence between Oskar Becker and Arend Heyting.Mark van Atten - 2005 - In Volker Peckhaus (ed.), Oskar Becker und die Philosophie der Mathematik. Wilhelm Fink Verlag. pp. 119-142.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  15
    Paul Benacerraf and Hilary Putnam. Introduction. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, 1964, pp. 1–27. - Rudolf Carnap. The logicist foundations of mathematics. English translation of 3528 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 31–41. - Arend Heyting. The intuitionist foundations of mathematics. English translation of 3856 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall, Inc., Engle-wood Cliffs, New Jersey, pp. 42–49. - Johann von Neumann. The formalist foundations of mathematics. English translation of 2998 by Erna Putnam and Gerald E. Massey. Philosophy of mathematics, Selected readings, edited by Paul Benacerraf and Hilary Putnam, Prentice-Hall,. [REVIEW]Alec Fisher - 1969 - Journal of Symbolic Logic 34 (1):107-110.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  14
    Heyting Arend. Formal logic and mathematics. Synthese , vol. 6 , pp. 275–282.E. W. Beth - 1949 - Journal of Symbolic Logic 14 (3):195-195.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  29
    Heyting Arend. Les fondements des mathématiques du point de vue intuitionniste. Philosophie mathematique, by Gonseth F., Actualités scientifiques et induatrielles 837, Hermann et Cie, Paris 1939, pp. 73–75. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (2):78-78.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  19. Connecting the revolutionary with the conventional: Rethinking the differences between the works of Brouwer, Heyting, and Weyl.Kati Kish Bar-On - 2023 - Philosophy of Science 90 (3):580–602.
    Brouwer’s intuitionism was a far-reaching attempt to reform the foundations of mathematics. While the mathematical community was reluctant to accept Brouwer’s work, its response to later-developed brands of intuitionism, such as those presented by Hermann Weyl and Arend Heyting, was different. The paper accounts for this difference by analyzing the intuitionistic versions of Brouwer, Weyl, and Heyting in light of a two-tiered model of the body and image of mathematical knowledge. Such a perspective provides a richer account (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  53
    Like a bee on a windowpane: Heyting's reflections on solipsism.Miriam Franchella - 1995 - Synthese 105 (2):207 - 251.
    This paper presents the content of the unpublished notes that the Dutch mathematician Arend Heyting wrote in different periods of his life on solipsism and that are preserved in Heyting's archive at the University of Amsterdam. Most of the notes are quoted here and translated into English. Their study shows the originality of Heyting's reflections on a subject that was typical of his master, L. E. J. Brouwer, the father of intuitionism.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  39
    Do Spin-Offs Make the Academics' Heads Spin?Arend H. Zomer, Ben W. A. Jongbloed & Jürgen Enders - 2010 - Minerva 48 (3):331-353.
    As public research organisations are increasingly driven by their national and regional governments to engage in knowledge transfer, they have started to support the creation of companies. These research based spin-off companies (RBSOs) often keep contacts with the research institutes they originate from. In this paper we present the results of a study of four research institutes within two universities and two non-university public research organisations (PROs) in the Netherlands. We show that research organisations have distinct motivations to support the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  11
    Legal Rules and International Society.Anthony Clark Arend - 1999 - Oxford University Press USA.
    This book provides an interdisciplinary examination of international law by addressing four critical questions: How are international legal rules distinctive? How does an investigator determine the existence of a rule of international law? Does international law really matter in international politics? and What effect could the changing nature of international relations have on international law? Using Constructivist theory, Arend argues that international law can alter the identity of states, and, consequently, have a profound impact on state behavior.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  1
    Portret Ibn Siny.A. K. Arends & [From Old Catalog] (eds.) - 1956
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  2
    Antinomie und Dialetik.Arend Kulenkampff - 1969 - Stuttgart,: Metzler.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  5
    Methodenfragen der Gerechtigkeitstheorie. Überlegungen im Anschluß an Tugendhats "Comments on some Methodological Aspects of Rawls' 'Theory of Justice'".Arend Kulenkampff - 1979 - Analyse & Kritik 1 (1):90-104.
    The purpose of this paper is the clarification of some methodological problems concerning Rawls’ theory of justice. The first part seeks to make more precise Tugendhat’s distinction between 1st-person-theory and 3rd-person-theory. Rawls’ theory fulfills all criteria for 1st-person-theories. In the second part Rawl’s coherence model for the justification of norms („reflective equilibrium“) is critically analyzed and opposed to the hypothetical decision which individuals are to make in the original position (contract model). It is shown that the conception of reflective equilibrium (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  5
    Methodologie der Philosophie.Arend Kulenkampff (ed.) - 1979 - Darmstadt: Wissenschaftliche Buchgesellschaft, [Abt. Verl.].
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  21
    Trying an Alternative Ansatz to Quantum Physics.Arend Niehaus - 2022 - Foundations of Physics 52 (2):1-19.
    We report to which extent elementary particles and the nucleons can be described by an Ansatz that is alternative to the established standard model, and can still yield predicted results that reproduce the observed ones, without using the formalism of quantum mechanics. The different Ansatz is motivated by the attempt to explain known properties of elementary particles as a consequence of an inner structure, in contrast to the approach of the standard model, where the properties are ascribed to point-like particles. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  25
    A Probabilistic Model of Spin and Spin Measurements.Arend Niehaus - 2016 - Foundations of Physics 46 (1):3-13.
    Several theoretical publications on the Dirac equation published during the last decades have shown that, an interpretation is possible, which ascribes the origin of electron spin and magnetic moment to an autonomous circular motion of the point-like charged particle around a fixed centre. In more recent publications an extension of the original so called “Zitterbewegung Interpretation” of quantum mechanics was suggested, in which the spin results from an average of instantaneous spin vectors over a Zitterbewegung period. We argue that, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. L. E. J. Brouwer Collected Works Vol. I: Philosophy and Foundations of Mathematics.A. Heyting (ed.) - 1975 - North-Holland Publishing.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Spanningen in de wiskunde.A. Heyting - 1949 - Groningen,: P. Noordhoff.
     
    Export citation  
     
    Bookmark  
  31. Critique of Heaven.Arend Th. Van Leeuwen - 1972
    No categories
     
    Export citation  
     
    Bookmark  
  32.  22
    Stemrecht, stemplicht, opkomstplicht: inleiding tot het debat.Arend Lijphart - 2010 - Res Publica 52 (1):9-18.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Konsistenz und Relevanz einer Evolutionären Ethik.Arend Mittwollen - 2000 - Philosophia Naturalis 37 (1):153-175.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Constructivity in mathematics: Proceedings of the colloquium held at Amsterdam 1957.A. Heyting (ed.) - 1959 - Amsterdam: North-Holland.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  20
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Philosophia Naturalis 4:3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  8
    De Grenzen van het goede leven: rechtsgeleerde opstellen aangeboden aan Prof.mr. A. Soeteman ter gelegenheid van zijn afscheid als hoogleraar Encyclopedie der Rechtswetenschap en Rechtsfilosofie aan de Vrije Universiteit te Amsterdam.Arend Soeteman & Olaf Tans (eds.) - 2009 - Nijmegen: Ars Aequi Libri.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  38.  25
    Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  39.  66
    Legal logic? Or can we do without?Arend Soeteman - 2003 - Artificial Intelligence and Law 11 (2-3):197-210.
    In this paper the thesis is argued that there is no need for a special legal logic to deal with the defeasibility of legal arguments. An important argument for this thesis is that legal judgements ask for a complete justification and that such a complete justification requires a deductively valid argument.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  10
    Rechtsbeginselen en positivisme!?Arend Soeteman - 2009 - Netherlands Journal of Legal Philosophy 38 (1):5-10.
    In this contribution I argue that Brouwer’s legal positivism suffers from an internal tension that is not easily solved. This tension stems from the combination of two strands in Brouwer’s thought. The first is that Brouwer wants to stick to the legal positivist view that the law is fixed by convention. The second is that there can be exceptions to the application of legal rules, based on legal principles. The combination of these two strands is, I argue, problematic, because the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  22
    Wetenschappelijke rechtsgeleerdheid.Arend Soeteman - 2009 - Netherlands Journal of Legal Philosophy 38 (3):226-235.
    This article is a comment on Carel Smith’s paper. Smith rightly argues that the study of law has a hermeneutic character. But his interpretation of legal hermeneutics includes the thesis that in hard cases there is no right or true legal decision. This seems to have negative implications for the scholarly character of the study of law: in hard cases any solution goes. This paper argues, against Smith, that the study of law defends right answers for hard cases. It is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  18
    Spatial differential and integral operations in human vision: Implications of stabilized retinal image fading.Lawrence E. Arend - 1973 - Psychological Review 80 (5):374-395.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  43.  8
    Alexandre Wenger, La fibre littéraire. Le discours médical sur la lecture au XVIIIe siècle.Isabelle Brouard-Arends - 2009 - Clio 29.
    L’ouvrage d’A. Wenger est la version remaniée de sa thèse de doctorat complétée par certains développements parus dans des revues spécialisées, Clio. Histoire, Femmes et Sociétés, Dix-huitième Siècle… La reprise de travaux antérieurs a entraîné parfois quelques redondances – sur l’onanisme ou la lectrice, par exemple – qu’une lecture plus attentive aurait pu éviter. Cette restriction est mineure au regard de l’intérêt de cette étude dont « l’objectif est de faire bouger les objets d’analyse t...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  24
    Laure Challandes, L’'me a-t-elle un sexe? Formes et paradoxes de la distinction sexuelle dans l’œuvre de Jean-Jacques Rousseau.Isabelle Brouard-Arends - 2012 - Clio 35:03-03.
    L’auteur a pris le risque de traiter d’une question qui, aujourd’hui encore, fait polémique : celle du rapport qu’entretient le philosophe et romancier Jean-Jacques Rousseau avec la différence sexuelle. L’un des mérites de l’étude de Laure Challandes est d’argumenter, avec une grande précision, sur la nécessaire frontière qui existe entre les textes théoriques, Lettre à d’Alembert sur les spectacles, Du contrat social, Émile ou de l’éducation, entre autres, et les textes fictifs, parmi lesque...
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  45. «Les Solitaires» et «La Nouvelle Héloïse» ou l'ambiguïté féminine chez Jean-Jacques Rousseau.Isabelle Brouard-Arends - 1991 - Etudes Jean-Jacques Rousseau 5:77-84.
     
    Export citation  
     
    Bookmark  
  46.  6
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  2
    Intuitionism Reconsidered.A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Intuitionism, an Introduction.A. Heyting - 1958 - Studia Logica 7:277-278.
     
    Export citation  
     
    Bookmark   99 citations  
  49. Philosophy of medicine in the netherlands.Henk Have & Arie Arend - 1985 - Theoretical Medicine and Bioethics 6 (1).
    This report explores the relationship between philosophy and medicine in the Netherlands. In Section 1 we outline the ups and downs of medico-philosophical research in our country: pre-war flourishing, post-war decline, and modern renaissance. In Section 2 we review recent Dutch literature in the philosophy of medicine. The topics dealt with include methodology of medical science, alternative medicine, the basic concepts of medicine, anthropological medicine, medicalization, medicine and culture, and health care ethics.
     
    Export citation  
     
    Bookmark  
  50.  21
    Inclusion Practice in Lung Cancer Trials.Patricia Jaspers, Arie van der Arend & Rinus Wanders - 2006 - Nursing Ethics 13 (6):649-660.
    This article presents the results of a qualitative study on the ethical aspects of inclusion practice for radiotherapy patients taking part in clinical research. The study focused on the standards and values of this process. Patients and physicians were interviewed about their views and experiences. Analysis of these interviews showed that candidate research participants need better protection from unwanted factors that could influence their choice about participation. Researchers need proper education about regulation, codes and directives in the field of research (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 703