ペネロペ・マディ(1950年7月4日生まれ)は、アメリカの哲学者であり、カリフォルニア大学アーバイン校の論理学・科学哲学および数学の名誉教授である。彼女は数学哲学における影響力のある業績でよく知られており、数学的実在論(特に集合論的実在論)と数学的自然主義について研究している。

マディが数学に興味を持ったのは、中学校で初めて受けた代数の授業がきっかけだった。[ 2 ]先生から抽象代数の本をもらった後、1968年のウェスティングハウス科学才能コンテストに出場し、ファイナリストとなり、総合7位に入賞した。[ 3 ]その後、カリフォルニア大学バークレー校で数学を学び、1972年に学士号を取得した。 [ 2 ]
マディは、高校時代に初めて知った連続体仮説に興味を持ち、新しい公理を導入しなければ証明できないという事実から、ある公理を別の公理よりも支持する証拠として何が認められるのか疑問を抱くようになった。[ 3 ]マディによれば、この時点で彼女は「すでに数学から哲学への滑りやすい坂道をかなり下っていた」[ 4 ]ので、プリンストン大学で哲学の博士号取得を目指した。[ 3 ]彼女は1979年に博士号を取得した。彼女の博士論文「集合論的実在論」は、ジョン・P・バージェスが指導した。[ 5 ]
彼女はノートルダム大学とイリノイ大学シカゴ校で教鞭を執った後、1987年にカリフォルニア大学アーバイン校に着任した。 [ 2 ]そこで彼女は哲学学科の学科長を務め、後に論理学・科学哲学学科の創設学科長となった。2002年に総長教授、2007年に特別教授に任命された。2020年に退職した。[ 6 ]彼女は名誉特別教授である。[ 7 ]
彼女は1998年にアメリカ芸術科学アカデミーのフェローに選出された。[ 8 ] [ 9 ]彼女は1997年の著書『数学における自然主義』で2002年のラカトシュ賞を受賞した。[ 10 ]ドイツ数学会は2006年に彼女にガウス記念講演を授与した。彼女は2007年から2009年まで記号論理学会の会長を務め、その間に『記号論理レビュー』の創刊を監督した。[ 6 ]彼女は2019年から2020年までアメリカ哲学会太平洋支部の会長を務めた。[ 11 ]
マディの初期の著作、特に『数学における実在論』では、数学は直観を通してアクセスできる、精神から独立した領域の真の記述であるというクルト・ゲーデルの立場を擁護した。しかし、彼女は、数学的実体の中には、実際には具体的なものもあると示唆した。これは、すべての数学的対象が抽象的であると仮定したゲーデルとは対照的である。彼女は、集合は因果的に有効であり、実際にはその要素のすべての因果的および時空間的特性を共有していると示唆した。したがって、テーブルの上に3つのカップを見ると、同時にその集合も見ていることになる。彼女は、認知科学と心理学における現代の研究を用いてこの立場を支持し、ある年齢で単なる感覚知覚ではなく対象物を見るようになるのと同様に、ある年齢で単なる対象物ではなく集合を見るようになることを指摘した。
1990年代、彼女はこの立場から離れ、『数学における自然主義』で述べた立場へと移行した。クワインと同様に、彼女の「自然主義的」立場は、科学が世界を知るためのこれまでのところ最も成功したプロジェクトであるため、哲学者は自らの分野で、特に科学について議論する際に、科学の方法を採用すべきだと示唆している。マディがインタビューで述べたように、「あなたが『自然主義者』であれば、科学は科学以外の基準に拘束されるべきではなく、科学以外の承認を必要としないと考えるでしょう。」[ 12 ] しかし、クワインのような科学の統一的な像ではなく、彼女の像では数学は独立したものとして扱われている。つまり、数学は科学のニーズや目標によって支えられることも損なわれることもなく、独自の基準に従うことが許されている。これは、数学の哲学における伝統的な形而上学的および認識論的な懸念が的外れであることを意味する。彼女はウィトゲンシュタインと同様に、こうした多くの難問は、言語が本来の意味領域を超えて用いられることによって生じるのだと示唆している。