Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574658023> ?p ?o ?g. }
Showing items 1 to 44 of
44
with 100 items per page.
- W1574658023 abstract "La litterature temoigne d’une tendance croissante a soutenir l’intuitionisme par la phenomenologie. Le disciple de Brouwer Arend Heyting est considere comme un precurseur de cette tendance, parce qu’il usait d’une terminologie phenomenologique en vue de definir la negation intuitioniste, en elaborant la premiere logique intuitioniste. Dans cet article, l’auteur tente d’explorer — en reference aux materiaux inedits conserves aux Archives Heyting — ce qui, dans la pensee de Heyting, est compatible avec la phenomenologie. Dans la conclusion, l’auteur suggere que Heyting et Husserl, pour autant qu’ils pensent tous deux que la conscience doit etre le veritable commencement de la connaissance, partagent une meme attitude antipsychologiste coexistant avec une tentative de depassement du solipsisme. Toutefois, le concept phenomenologique de degre d’evidence ne peut etre applique a l’echelle de l’evidence de Heyting (incluant les petits nombres naturels, les grands nombres naturels, les suites infinies, le quantificateur universel), d’un cote parce qu’on ne voit pas clairement si la seconde est partagee par tous les intuitionistes, et de l’autre parce que le premier presuppose une evidence revisable qui ne cadre pas avec le point de vue de Heyting. En outre, les conceptions de la nature de la mathematique et de la logique et de leurs relations mutuelles defendues par Husserl et Heyting sont essentiellement differentes. D’un point de vue intuitioniste, la mathematique est le domaine de l’evidence, alors que la logique transcrit ses regularites. D’un point de vue phenomenologique, la mathematique demeure en dehors du domaine de l’evidence. La logique apophantique coincide avec la mathematique (sans que l’une absorbe l’autre), mais la logique transcendantale se situe a un niveau plus eleve." @default.
- W1574658023 created "2016-06-24" @default.
- W1574658023 creator A5037855553 @default.
- W1574658023 date "2007-01-01" @default.
- W1574658023 modified "2023-09-23" @default.
- W1574658023 title "Arend Heyting and Phenomenology: Is the Meeting Feasible?" @default.
- W1574658023 cites W1479316927 @default.
- W1574658023 cites W1491813684 @default.
- W1574658023 cites W153254979 @default.
- W1574658023 cites W1564506233 @default.
- W1574658023 cites W1601952742 @default.
- W1574658023 cites W1971012672 @default.
- W1574658023 cites W1977662840 @default.
- W1574658023 cites W1996058864 @default.
- W1574658023 cites W2009862785 @default.
- W1574658023 cites W2041870325 @default.
- W1574658023 cites W2051685387 @default.
- W1574658023 cites W2058376983 @default.
- W1574658023 cites W2062220037 @default.
- W1574658023 cites W2314596706 @default.
- W1574658023 cites W2326620404 @default.
- W1574658023 cites W2479720412 @default.
- W1574658023 cites W2945714532 @default.
- W1574658023 cites W390427495 @default.
- W1574658023 cites W578063101 @default.
- W1574658023 cites W584943619 @default.
- W1574658023 cites W595873107 @default.
- W1574658023 hasPublicationYear "2007" @default.
- W1574658023 type Work @default.
- W1574658023 sameAs 1574658023 @default.
- W1574658023 citedByCount "0" @default.
- W1574658023 crossrefType "journal-article" @default.
- W1574658023 hasAuthorship W1574658023A5037855553 @default.
- W1574658023 hasConcept C138885662 @default.
- W1574658023 hasConcept C15708023 @default.
- W1574658023 hasConceptScore W1574658023C138885662 @default.
- W1574658023 hasConceptScore W1574658023C15708023 @default.
- W1574658023 hasLocation W15746580231 @default.
- W1574658023 hasOpenAccess W1574658023 @default.
- W1574658023 hasPrimaryLocation W15746580231 @default.
- W1574658023 isParatext "false" @default.
- W1574658023 isRetracted "false" @default.
- W1574658023 magId "1574658023" @default.
- W1574658023 workType "article" @default.