Order:
Disambiguations
A. Heyting [37]Arend Heyting [13]Frieda Heyting [10]G. F. Heyting [6]
von A. Heyting [1]
  1. (1 other version)Intuitionism.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
  2.  37
    (1 other version)Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie.Arend Heyting - 1934 - Berlin,: Springer.
    In den letzten Jahrzehntel! hat sich das Interesse an der Grund­ legung der Mathematik immer gesteigert. Fanden frtiher die wenigen Forscher, die sich emsthaft mit dieser 'Frage beschaftigten, wenig Be­ achtung, heute ist die Teilnahme sowohl von mathematischer wie von philosophischer Seite fast allgemein. Zu diesem Umschwung hat sieher die CANToRSche Mengenlehre, die gleich nach ihrem Entstehen lebhafte Erorterungen tiber ihre Berechtigung hervorrief, den AnstoB gegeben, und besonders die bei riicksichtsloser Durchfiihrung ihrer Grundgedanken auftretenden Widerspriiche zogen die allgemeine Aufmerksamkeit auf (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  3.  98
    Die intuitionistische grundlegung der mathematik.Arend Heyting - 1931 - Erkenntnis 2 (1):106-115.
  4. Intuitionistic views on the nature of mathematics.Arend Heyting - 1974 - Synthese 27 (1-2):79 - 91.
  5.  21
    (1 other version)La conception intuitionniste de la logique.Arend Heyting - 1956 - Les Etudes Philosophiques 11 (2):226 - 233.
  6.  64
    The role of critique in philosophy of education: Its subject matter and its ambiguities.Frieda Heyting & Christopher Winch - 2004 - Journal of Philosophy of Education 38 (3):311–321.
    The role of critique in the Anglophone analytical tradition of philosophy of education is outlined and some of its shortcomings are noted, particularly its apparent claim to methodological objectivity in arriving at what are clearly contestable positions about the normative basis of education. Many of these issues can be seen to have a long history within European, and especially German, philosophy of education. In the light of this the discussion moves on to a consideration of similarities and contrasts between the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Sur la logique intuitionniste.Arend Heyting - 1930 - Académie Royale de Belgique, Bulletin de la Classe des Sciences 16 (7):957-963.
  8.  7
    (1 other version)Constructivity in mathematics.A. Heyting (ed.) - 1959 - Amsterdam,: North-Holland Pub. Co..
  9.  11
    Les fondements des mathématiques.Arend Heyting - 1955 - Paris,: Gauthier-Villars.
  10.  17
    After Thirty Years.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-674.
  11.  38
    Blick Von der intuitionistischen warte.von A. Heyting - 1958 - Dialectica 12 (3‐4):332-345.
    ZusammenfassungDie Arbeit enthält Bemerkungen über den Intuitionismus and über seine Beziehungen zu anderen Gebieten der Grundlagenforschung. Innerhalb der intuitionistischen Mathematik werden, im Anschluss an die Kritik von Griss gegen den Gebrauch der Negation, Evidenzstufen unterschieden, abhängend von der Art, in der bedingte Konstruktionen zugelassen werden. Auch werden gewisse Schwierigkeiten in der Theorie der endlichen Spezies diskutiert. Was die Grundlagenforschung im Aligemeinen betrifft, wird bemerkt, dass sie die klassische Mathematik weitgehend in ihre intuitiven, formalen and platonischen Bestandteile zerlegt hat. Es wird (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  17
    Some Remarks on Intuitionism.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):673-674.
  13. 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.
  14.  59
    Beware of ideals in education.Frieda Heyting - 2004 - Journal of Philosophy of Education 38 (2):241–247.
    In reaction to Doret De Ruyter's recent defence of the importance of ideals in education, I advocate cautiousness in three respects. First, I explain the importance of distinguishing ideals more sharply from goals by demonstrating the problems of considering ideals even approximately realisable. Second, I substantiate my doubts about their indispensability in human motivation, and question the desirability of encouraging the motivational use of ideals. Third, I question whether ideals could or should be ‘passed on’ in education, drawing attention to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15. Blick von der intuitionistischen Warte.A. Heyting - 1958 - Dialectica 12 (3):332.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  16. Intuitionism in mathematics.A. Heyting - 1958 - In R. Klibansky (ed.), Philosophy in the mid-century. A survey. Nuova Italia. pp. 101–115.
  17.  28
    Das Aktual-Unendliche in der Mathematik.A. Heyting - 1957 - Philosophia Naturalis 4:3.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  18. (1 other version)G. F. C. Griss and His Negationless Intuitionistic Mathematics.A. Heyting - 1953 - Synthese 9 (2):91-96.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  19.  42
    On weakened quantification.A. Heyting - 1946 - Journal of Symbolic Logic 11 (4):119-121.
  20. Remarques sur le constructivisme.Arend Heyting - 1960 - Logique Et Analyse 3 (11):177-182.
     
    Export citation  
     
    Bookmark   3 citations  
  21.  27
    Infinitistic Methods from a Finitist Point of View.A. Heyting - 1967 - Journal of Symbolic Logic 32 (4):515-515.
  22.  25
    Methods in philosophy of education.G. F. Heyting, D. Lenzen & J. White - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  39
    In memoriam: Evert Willem Beth (1909--1964).Arend Heyting - 1966 - Notre Dame Journal of Formal Logic 7 (4):289-295.
  24.  22
    The fruits of irony: gaining insight into how we make meaning of the world.Roel Goor & Frieda Heyting - 2006 - Studies in Philosophy and Education 25 (6):479-496.
    Many philosophers of education emphasise the impossibility to really ‘solve’ philosophical—and with that, educational—problems these days. Philosophers have been trying to give philosophy a new, constructive turn in the face of this insolvability. This paper focuses on irony-based approaches that try to exploit the very uncertainty of philosophical issues to further philosophical understanding. We will first briefly discuss a few highlights of historical uses of irony as a philosophical tool. Then we concentrate on two different interpretations of irony, formulated by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  80
    The fruits of irony: gaining insight into how we make meaning of the world.Roel van Goor & Frieda Heyting - 2006 - Studies in Philosophy and Education 25 (6):479-496.
    Many philosophers of education emphasise the impossibility to really ‘solve’ philosophical—and with that, educational—problems these days. Philosophers have been trying to give philosophy a new, constructive turn in the face of this insolvability. This paper focuses on irony-based approaches that try to exploit the very uncertainty of philosophical issues to further philosophical understanding. We will first briefly discuss a few highlights of historical uses of irony as a philosophical tool. Then we concentrate on two different interpretations of irony, formulated by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  23
    Axiomatic Method and Intuitionism.A. Heyting, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1971 - Journal of Symbolic Logic 36 (3):522-523.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  51
    Conclusions.A. Heyting - 1966 - Synthese 16 (1):86-88.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  14
    Espace de Hilbert et Intuitionnisme.A. Heyting, Paul Bernays, H. Hermes, Ingebrigt Johansson & Abraham Robinson - 1958 - Journal of Symbolic Logic 23 (2):228-229.
  29.  64
    Formal logic and mathematics.Arend Heyting - 1947 - Synthese 6 (7-8):275 - 282.
  30.  3
    Identity and Difference as an Educational Issue Groningen, 1-2 June 1995.Frieda Heyting - 1996 - European Journal of Women's Studies 3 (2):177-178.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  9
    Intuïtionistic Mathematics.A. Heyting - 1940 - Journal of Symbolic Logic 5 (2):73-74.
  32.  9
    Language and Sign in Mathematics.A. Heyting - 1949 - Journal of Symbolic Logic 14 (3):195-195.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  13
    Logique et Intuitionnisme.A. Heyting - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  34.  20
    L. E. J. Brouwer Collected Works Vol. I: Philosophy and Foundations of Mathematics.A. Heyting (ed.) - 1975 - North-Holland Publishing.
  35. Les fondements des mathématiques : intuitionnisme, théorie de la démonstration.A. Heyting - 1958 - Revue Philosophique de la France Et de l'Etranger 148:119-119.
     
    Export citation  
     
    Bookmark  
  36. 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  
  37.  17
    L'Axiomatique Intuitionniste.A. Heyting - 1958 - Journal of Symbolic Logic 23 (3):343-344.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  11
    Méthodes et Problèmes de L'intuitionnisme.A. Heyting - 1971 - Journal of Symbolic Logic 36 (4):674-675.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  98
    Methods in philosophy of education.Frieda Heyting, Dieter Lenzen & John Ponsford White (eds.) - 2001 - New York: Routledge.
    This book gives a comprehensive account of methods in philosophy of education, it also examines their application in the 'real world' of education. It will therefore be of interest to philosophers and educators alike.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  52
    Mannoury's „methodologisches und philosophisches zur elementarmathematik”.A. Heyting - 1956 - Synthese 10 (1):440 - 444.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41.  32
    Ohnishi Masao. On intuitionistic functional calculus. Osaka mathematical journal, vol. 5 , pp. 203–209.A. Heyting - 1957 - Journal of Symbolic Logic 22 (3):299-299.
  42.  38
    Relativism and the critical potential of philosophy of education.Frieda Heyting - 2004 - Journal of Philosophy of Education 38 (3):493–510.
    How can philosophy exert its critical function in society and in education if any appeal to independent and even relatively ‘certain’ criteria seems problematic? The epistemological doubts that foundationalist models of justification encounter unavoidably seem to raise this question. In particular, the relativist implications that seem to result from rejecting such models seem to paralyse the critical potential of philosophy of education. In order to explore the possibilities of a conception of educational critique that avoids the pitfalls of foundationalism, I (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  45
    Remarques sur la théorie intuitionniste Des espaces linéaires.A. Heyting - 1966 - Synthese 16 (1):47 - 52.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  44. Spanningen in de wiskunde.A. Heyting - 1949 - Groningen,: P. Noordhoff.
     
    Export citation  
     
    Bookmark  
  45. Sur la logique intuitionniste.Arend Heyting - 1930 - Académie Royale de Belgique, Bulletin de la Classe des Science 16:957–963.
     
    Export citation  
     
    Bookmark  
  46.  15
    (1 other version)Sur la t'che de la philosophie des mathématiques.A. Heyting - 1953 - Proceedings of the XIth International Congress of Philosophy 5:193-198.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  16
    The Development of Intuitionistic Mathematics.A. Heyting - 1937 - Journal of Symbolic Logic 2 (2):89-89.
  48.  17
    Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.
  49. Logic and foundations of mathematics.D. van Dalen, J. G. Dijkman, A. Heyting, Stephen Cole Kleene & A. S. Troelstra (eds.) - 1969 - Groningen,: Wolters-Noordhoff.
  50.  82
    Negotiating the World: Some philosophical considerations on dealing with differential academic language proficiency in schools.Roel Van Goor & Frieda Heyting - 2008 - Educational Philosophy and Theory 40 (5):652-665.
    Differential academic language proficiency is an issue of major educational concern, bearing on problems varying from pupil performance, to social prospects, and citizenship. In this paper we develop a conception of the language‐acquiring subject, and we discuss the consequences for understanding differential language proficiency in schools. Starting from Wittgenstein's meaning‐as‐use theory we show that learning a language requires an activity that relates the subject both to the community of language users, and to the things language is about. In opposition to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 54