[pt] A tese de Church propõe que tanto a noção de computável quanto a de função recursiva (ou equivalentes: máquina de Turing, cálculo lambda) possuem a mesma extensão. Sua peculiaridade, de acordo com as interpretações mais consolidadas, deve-se ao fato de não poder ser matematicamente demonstrada, uma vez que uma das noções envolvidas, a de computável, possui um caráter informal. Neste trabalho, consideraremos diversas críticas à tese de Church, prestando especial atenção às críticas de caráter intuicionista. Acreditamos ter obtido dois resultados, um que diz respeito diretamente à tese de Church, e outro que diz respeito à lógica intuicionista. Quanto ao primeiro, propomos, na contramão de um realismo ingênuo, que os conceitos matemáticos não são imutáveis e que, por essa razão, uma maneira mais adequada de compreender a tese de Church seria levando em consideração a gênese intencional do conceito de computável. Quanto ao segundo resultado, que diz respeito à associação que o intuicionismo faz entre demonstração e verdade, propõe-se uma maneira coerente de conciliar a condição contingente e temporal de posse de uma demonstração com o caráter necessário e atemporal do valor de verdade de proposições matemáticas. / [fr] La thèse de Church suppose que les notions de fonction calculable et de fonction récursive (ou ses équivalents: machine de Turing, lambda-calcul, etc.) possèdent la même extension. Sa particularité, selon les interprétations les plus consolidées, tient au fait qu elle ne peut pas être démontrée mathématiquement, car l une des notions impliquées, celle du calculable, présente un caractère informel. Dans ce travail, nous examinerons plusieurs critiques de la thèse de Church, en accordant une attention particulière aux critiques de caractère intuitionniste. Nous pensons avoir obtenu deux résultats, l un qui se rapporte directement à la thèse de Church, et l autre qui concerne la logique intuitionniste. Quant au premier, nous proposons, contrairement à un réalisme naif, que les concepts mathématiques ne sont pas immuables et que, pour cette raison, une meilleure façon de comprendre la thèse de Church consisterait à prendre en compte la genèse intentionnelle du concept du calculable. Quant au deuxième résultat, qui traite de l association que l intuitionnisme effectue entre démonstration et vérité, nous proposons une manière cohérente de réconcilier la condition contingente et temporelle de possession de la démonstration avec le caractère nécessaire et intemporel de la valeur de vérité des propositions mathématiques.

Ce mémoire porte sur les intuitions utilisées en philosophie morale contemporaine. Les intuitions sont interrogées sur trois aspects : leur nature, leur fiabilité et leur rôle. Concernant la nature des intuitions, celles-ci sont présentées comme des jugements spontanés ayant une valeur épistémique « à première vue ». Concernant la fiabilité des intuitions, trois grands types de raisons de douter de leur fiabilité sont considérés, à savoir les résultats de certaines études scientifiques montrant de diverses manières leur instabilité, les études réalisées par le mouvement de philosophie expérimentale afin d'illustrer le phénomène du désaccord intuitif, et enfin, le problème de l'origine douteuse des intuitions. Aucune de ces raisons n'est jugée efficace afin de discréditer l'usage des intuitions en philosophie. Concernant le rôle des intuitions, une distinction est proposée entre deux grands types d'usage philosophique contemporain. D'une part, ce qu'on peut appeler la méthodologie standard en philosophie morale contemporaine consiste en une combinaison d’expériences de pensée et de la méthode de l’équilibre réfléchi. Différentes manières d'aborder la méthode de l'équilibre réfléchi sont présentées, et le modèle de l'équilibre réfléchi large développé par Norman Daniels est jugé le plus efficace. D'autre part, les intuitions sont parfois utilisées en philosophie morale contemporaine dans le cadre de la théorie de l'intuitionnisme éthique. La théorie est défendue contre diverses objections, et elle est montrée compatible avec la méthode de l’équilibre réfléchi. / The object of this Master’s thesis is the intuitions used in contemporary moral philosophy. Intuitions are investigated on three aspects: their nature, their reliability, and their role. Regarding the nature of intuitions, they are presented as spontaneous judgments with “prima facie” epistemic value. Regarding the reliability of intuitions, three general types of reasons to question their reliability are considered, namely, the results of certain scientific studies showing in various ways Fiabilité des intuitionstheir unreliability, studies conducted in the field of experimental philosophy which emphasize the phenomenon of intuitive disagreement, and finally, the problem of the origin of intuitions. None of these reasons is judged good enough to discredit the use of intuitions in philosophy. Regarding the role of intuitions, a distinction is drawn between two main types of usage in contemporary philosophy. On the one hand, what can be called the “standard methodology” in contemporary moral philosophy consists in the combination of thought experiments and the method of reflective equilibrium. Different ways of construing the method of reflective equilibrium are considered, and the “Wide Reflective Equilibrium” model developed by Norman Daniels is judged the most successful. On the other hand, intuitions are sometimes used in contemporary moral philosophy in the context of the theory of ethical intuitionism. The theory is defended against various objections, and it is shown to be compatible with the method of reflective equilibrium.

Ce mémoire porte sur les intuitions utilisées en philosophie morale contemporaine. Les intuitions sont interrogées sur trois aspects : leur nature, leur fiabilité et leur rôle. Concernant la nature des intuitions, celles-ci sont présentées comme des jugements spontanés ayant une valeur épistémique « à première vue ». Concernant la fiabilité des intuitions, trois grands types de raisons de douter de leur fiabilité sont considérés, à savoir les résultats de certaines études scientifiques montrant de diverses manières leur instabilité, les études réalisées par le mouvement de philosophie expérimentale afin d'illustrer le phénomène du désaccord intuitif, et enfin, le problème de l'origine douteuse des intuitions. Aucune de ces raisons n'est jugée efficace afin de discréditer l'usage des intuitions en philosophie. Concernant le rôle des intuitions, une distinction est proposée entre deux grands types d'usage philosophique contemporain. D'une part, ce qu'on peut appeler la méthodologie standard en philosophie morale contemporaine consiste en une combinaison d’expériences de pensée et de la méthode de l’équilibre réfléchi. Différentes manières d'aborder la méthode de l'équilibre réfléchi sont présentées, et le modèle de l'équilibre réfléchi large développé par Norman Daniels est jugé le plus efficace. D'autre part, les intuitions sont parfois utilisées en philosophie morale contemporaine dans le cadre de la théorie de l'intuitionnisme éthique. La théorie est défendue contre diverses objections, et elle est montrée compatible avec la méthode de l’équilibre réfléchi. / The object of this Master’s thesis is the intuitions used in contemporary moral philosophy. Intuitions are investigated on three aspects: their nature, their reliability, and their role. Regarding the nature of intuitions, they are presented as spontaneous judgments with “prima facie” epistemic value. Regarding the reliability of intuitions, three general types of reasons to question their reliability are considered, namely, the results of certain scientific studies showing in various ways Fiabilité des intuitionstheir unreliability, studies conducted in the field of experimental philosophy which emphasize the phenomenon of intuitive disagreement, and finally, the problem of the origin of intuitions. None of these reasons is judged good enough to discredit the use of intuitions in philosophy. Regarding the role of intuitions, a distinction is drawn between two main types of usage in contemporary philosophy. On the one hand, what can be called the “standard methodology” in contemporary moral philosophy consists in the combination of thought experiments and the method of reflective equilibrium. Different ways of construing the method of reflective equilibrium are considered, and the “Wide Reflective Equilibrium” model developed by Norman Daniels is judged the most successful. On the other hand, intuitions are sometimes used in contemporary moral philosophy in the context of the theory of ethical intuitionism. The theory is defended against various objections, and it is shown to be compatible with the method of reflective equilibrium.