Movatterモバイル変換


[0]ホーム

URL:


PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs
Switch to: References

Add citations

You mustlogin to add citations.
  1. Wittgenstein et le lien entre la signification d’un énoncé mathématique et sa preuve.Mathieu Marion &Mitsuhiro Okada -2012 -Philosophiques 39 (1):101-124.
    The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...) given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates. (shrink)
    Direct download(5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Les conférences Hugues Leblanc 2010.Denis Fisette (ed.) -2011
    Ce numéro thématique de la revue Philosophiques est consacré aux Conférences Hugues Leblanc qui ont eu lieu du 1er au 3 avril 2010 au Département de philosophie de l'Université du Québec à Montréal. À cette occasion, le conférencier invité était Kevin Mulligan, titulaire de la chaire de philosophie analytique au Département de philosophie de l'Université de Genève, qui a prononcé trois conférences sous le titre " Wittgenstein vs ses prédécesseurs austro-allemands ", publiées dans ce numéro. Mulligan y développe un de (...) ses thèmes historiques de prédilection, à savoir la dette de Wittgenstein, dans ses travaux sur l'esprit et le langage, à l'endroit de ses prédécesseurs austro-allemands. Comme le veut la formule des conférences Hugues Leblanc, nous avons réuni quelques collègues afin de discuter de quelques-uns des aspects des travaux du conférencier invité et nous avons ajouté, pour compléter ce numéro de Philosophiques, quelques articles originaux portant également sur d'autres aspects des travaux de Mulligan. On peut regrouper l'ensemble de ces contributions sous quatre des grands thèmes exploités par Mulligan en philosophie : le domaine de l'ontologie (incluant les relations, les tropes, les états de choses et les vérifacteurs), le domaine de la philosophie de l'esprit, celui des émotions et des valeurs, et enfin le thème historique de la philosophie austro-allemande, de Bolzano à Wittgenstein en passant par M. Scheler et la phénoménologie de Munich. Faute de pouvoir rendre compte dans cette préface de l'ensemble de ces riches contributions à ce numéro de Philosophiques, je me contenterai de renvoyer le lecteur aux résumés, préparés par les auteurs de ces contributions, qui précèdent chacun des articles. (shrink)
    Direct download(5 more)  
     
    Export citation  
     
    Bookmark  

  • [8]ページ先頭

    ©2009-2025 Movatter.jp