オーガスタス・ド・モーガン(1806年6月27日 - 1871年3月18日)は、イギリスの数学者、論理学者である。彼は論理的結合、選言、否定に関するド・モーガンの法則と、「数学的帰納法」という用語を造語し、その基本原理を形式化したことで最もよく知られている。[ 1 ]ド・モーガンの論理学への貢献は、集合論や確率論などの数学の多くの分野、およびコンピュータ科学などの関連分野で広く利用されている。
オーガスタス・デ・モーガンは、 1806年にインドのカルナティック地方のマドゥライで生まれた。 [ 2 ] [ a ]彼の父はジョン・デ・モーガン中佐(1772年 - 1816年)で、東インド会社で様々な役職を務め、母のエリザベス(旧姓ドッドソン、1776年 - 1856年)は、逆対数表を作成したジェームズ・ドッドソンの孫娘だった。[ 3 ]オーガスタス・デ・モーガンは、生後数ヶ月で片目を失明した。オーガスタスが生後7ヶ月の時に、家族はイギリスに移住した。彼の父と祖父はともにインド生まれだったため、デ・モーガンは、自分はイギリス人でもスコットランド人でもアイルランド人でもなく、「所属のない」イギリス人だとよく言っていた。これは、オックスフォード大学やケンブリッジ大学の学部生で、いずれのカレッジにも所属していない学生に使われる専門用語である。
ド・モーガンが10歳の時、父親が亡くなった。[ 2 ]彼の数学の才能は、14歳の時に家族の友人が定規とコンパスを使ってユークリッドの著作にある図形を精巧に描いている彼を発見するまで、誰にも気づかれなかった。[ 2 ]彼はオックスフォード大学オリエル・カレッジのフェローで、数学よりも古典を好んだパーソンズ氏から中等教育を受けた。
1823年、16歳でデ・モーガンはケンブリッジ大学トリニティ・カレッジに入学し[ 4 ]、そこでジョージ・ピーコック、ウィリアム・ホイウェル、ジョージ・ビデル・エアリー、H・パー・ハミルトン、ジョン・フィリップス・ヒグマンらが教師や家庭教師を務めた。ピーコックとホイウェルは、デ・モーガンが代数学と論理学を研究対象として選ぶ際に影響を与えた[ 5 ] 。
ド・モーガンは数学トライポスで4位となり、文学士号を取得した。修士号を取得し、奨学金を受ける資格を得るには、神学試験に合格する必要があった。イングランド国教会で育ったにもかかわらず、ド・モーガンはこの試験を受けることに強く反対した。拒否したために学問の道に進むことができず、リンカーンズ・インに入り、法律の道に進むことを決意した。[ 6 ]
ロンドン大学(現在はユニバーシティ・カレッジ・ロンドンとして知られる)は、オックスフォード大学とケンブリッジ大学に代わる世俗的な大学として1826年に設立されました。カトリック教徒、ユダヤ人、非国教徒も学生として入学し、職に就くことができました。1828年の開校に先立ち、大学は教授職の24の空席を公募し、そのうち2つは数学で、ド・モーガンが応募しました。[ 7 ] [ 8 ]
ド・モーガンは1828年2月23日、21歳で数学教授に任命された。ロンドン大学評議会はチャールズ・バベッジとジョン・ハーシェルをこの職に採用できなかった。最終的に、創設者のブルーム卿、オリンサス・グレゴリー、ヘンリー・ウォーバートンが率いる選考委員会は、ディオニュシウス・ラードナー、ピーター・ニコルソン、ジョン・ラドフォード・ヤング、ヘンリー・モーズリー、ジョン・ヘラパス、トーマス・ヒューイット・キー、ウィリアム・リッチー、ジョン・ウォーカーを含む少なくとも31人の候補者の中からド・モーガンを選出した。[ 9 ] [ 10 ]
この時期のド・モルガンの研究は数学教育に焦点を当てており、最初の出版物はルイ・ブルドンによるフランス語の教科書の翻訳である『代数学の基礎』(1828年)[ 11 ]、続いて広く使われ長く使われた教科書である『算術の基礎』(1830年)[12]、[ 13 ] 、そして数学教育に関する論考である『数学の研究と難しさ』(1831年)[ 14 ]が出版された。
デ・モーガンを含む教員と大学当局、特に学長のレナード・ホーナーとの間で一連の口論が続いた後、医学生たちが無能を理由に解剖学教授のグランビル・シャープ・パティソンの解任を求める抗議活動の処理をめぐって論争が起こった。デ・モーガンらは学生がこの問題に影響力を持つべきではないと主張したが、大学は学生の圧力に屈し、パティソンを解雇した。デ・モーガンは1831年7月24日に辞任し、続いてジョージ・ロング教授とフリードリヒ・アウグスト・ローゼン教授も辞任した。[ 15 ] [ 16 ]
1826年、ロンドン大学の創設者の一人であるブルーム卿は、安価で入手しやすい出版物を通して、中流階級と労働者階級の自主教育を促進し、道徳性を向上させることを目的として、有用知識普及協会(SDUK)を設立した。 [ 17 ]デ・モーガンは1827年3月にSDUKに関わるようになり、協会のために執筆した未発表の原稿『静力学の基礎』が、ロンドン大学への任命に何らかの役割を果たした可能性がある。[ 10 ]最も多作で影響力のある作家の一人であるデ・モーガンは、SDUK から数冊の本を出版しました。数学の研究と難しさについて(1831 年)、[ 14 ]微分積分法の初等的図解(1832 年) 、球面三角法の要素(1834 年)、算術と代数の過程の例(1835 年)、球面のグノミック投影の説明(1836 年)、[ 18 ]微分積分法(1842 年)、[ 19 ]および天球と地球儀(1845 年)、[ 20 ]また、ペニー百科事典に 700 以上の記事を寄稿し、季刊教育ジャーナル、肖像画ギャラリー、英国年鑑コンパニオンにも寄稿しました。[ 21 ]
ロンドン大学を最初に辞任した後、デ・モーガンは個人家庭教師として働き始めた。[ 22 ]彼の初期の生徒の一人はジェイコブ・ウェイリーだった。彼は1840年から1842年にかけて、主に通信教育でエイダ・ラブレスを指導した。[ 23 ]
デ・モーガンの曽祖父、祖父、義父は皆アクチュアリーでした。当然のことながら、デ・モーガン自身も、ファミリー・エンダウメント・アシュアランス・オフィス[ 24 ] 、アルバート・ライフ・アシュアランス・オフィス[ 25 ] 、アライアンス・アシュアランス・カンパニー[ 26 ]など、さまざまな生命保険会社の顧問アクチュアリーとして働いていました。彼はアクチュアリーに関するいくつかの記事のほか、『確率とその生命保険および保険事務所への応用に関するエッセイ』という本も出版しました[27]。しかし、アクチュアリーとしての彼の最も注目すべき業績は、ベンジャミン・ゴンペルツの業績を広めたことです。ゴンペルツの「死亡率の法則」は、過小評価され、盗用されていました[ 28 ] 。
デ・モーガンは1828年にロンドン天文学会に関わり始めた。1831年には名誉秘書に任命され、同協会は王室勅許状を受け、王立天文学会となった。[ 29 ]彼は18年間秘書を務め、その後30年間協会に積極的に関わり続けた。
1836年、数学教授としてド・モーガンの後任となったジョージ・JP・ホワイトが溺死した。ド・モーガンは説得されて復帰し、復職した。同年、ロンドン大学はユニバーシティ・カレッジと改称され、キングス・カレッジとともに新設されたロンドン大学の提携校となった。[ 30 ]
ド・モーガンは非常に成功した数学教師でした。30年以上にわたり、彼の講義はユークリッドから変分法まで全カリキュラムを網羅し、彼のクラスはしばしば100人を超える学生で占められました。彼のアプローチは、講義、読書、問題集、個人指導、そして膨大な講義ノートを統合したものでした。彼は丸暗記を嫌い、数学教育を推論を学ぶことであり、リベラル・アーツ教育の中核であると考えていました。[ 31 ]彼の教え子の中には、ジェームズ・ジョセフ・シルベスターをはじめとする数学者になった者もおり、エドワード・ラウスやアイザック・トッドハンターなど、著名な教育者になった者もいます。数学者ではない教え子の多くも彼を高く評価しており、ウィリアム・スタンレー・ジェボンズはド・モーガンを教師として「比類なき存在」と評しました。[ 13 ] [ 32 ]ジェボンズはド・モーガンの影響を強く受け、論理学で独立した研究を行い、いわゆる限界革命の一環として効用理論を発展させたことで最もよく知られるようになりました。[ 33 ] [ 34 ]
1866年、ユニバーシティ・カレッジの精神哲学・論理学講座が空席となり、ジェームズ・マルティノーが上院から評議会に正式に推薦された。評議会はジョージ・グロートの働きかけにより、マルティノーがユニテリアン派の聖職者であることを理由に彼を拒否し、代わりに一般人のジョージ・クルーム・ロバートソンを任命した。ド・モーガンは、宗教的中立という創設原則が放棄されたと主張し、即座に辞任した。[ 35 ]
ド・モルガンは記号代数の初期の提唱者であった。ジョージ・ピーコックが『代数学論』(1830年)で初めて提唱し、ダンカン・グレゴリーが発展させた記号代数は、記号の操作をその算術的意味から分離する抽象代数への第一歩であった。記号代数は、アドリアン=カンタン・ビュエ、ジャン=ロベール・アルガン、ジョン・ウォーレンらの研究のように、負の数や虚数を機械的に構成することはできたが、それらの解釈を提供することはできなかった。ド・モルガンは、同様の問題が古典インドの数学者バースカラ2世の『ビジャガニタ』にも見られたと指摘している。[ 36 ] [ 37 ]
ド・モルガンは記号代数から、一連の論文[ 38 ] [ 39 ] [ 40 ] [ 41 ]と著書『三角法と二重代数』(1849年) [ 42 ]で、彼が「論理代数」または「二重代数」と呼んだものを発展させた。ド・モルガンの二重代数は完全に発展することはなかったが、幾何代数の先駆けとなり、アイルランドの数学者サー・ウィリアム・ローワン・ハミルトンが四元数を開発する際に影響を与えた。[ 13 ] [ 36 ] [ 37 ]
デ・モーガンとハミルトンは25年以上にわたり友人であり文通相手であり、デ・モーガンは数学の同僚として、ハミルトンの『四元数に関する講義』(1853年)を批評し、また個人的な事柄についても相談相手としてハミルトンを支えた。[ 43 ] [ 28 ]
1826年にリチャード・ホワットリーの『論理学の要素』が出版されたことをきっかけに、イギリスにおける論理学の研究は再び活発化した。この本自体が、ド・モーガンとジョージ・ブールの両名を行動へと駆り立てる論争の的となった。一方では、ウィリアム・ウェウェルが、論理学、特にホワットリーが強調した三段論法は「新しい真理」に到達することはできず、したがって科学的推論よりも劣り、それとは異なると主張した。他方では、スコットランドの哲学者ウィリアム・ハミルトン卿が、ホワットリーが論理学を「推論のための文法」と同一視しようとした試みは誤りであり、還元主義的であると主張した。おそらくシルヴェストル・フランソワ・ラクロワの著作に影響を受けたド・モルガンは、ホワットリーの論理学が数学において有用であると考え、その三段論法への重点と文法のような抽象化の両方に着目した。これは、彼自身の教育に関する著作[ 14 ] [ 44 ]や、ケンブリッジ大学のカリキュラムに論理学を取り入れるよう求めたこと[ 5 ]からも明らかである。
1846年に発表されたド・モルガンの論文「三段論法の構造について」[ 45 ]は、アリストテレス論理学、特に三段論法の規則を数学的に定義しており、現在ド・モルガンの法則として知られるものも含まれている。数学的論理学の始まりとして歴史的に重要な[ 46 ]ド・モルガンの論文は、当時、論理学における数学の役割をめぐってハミルトンとの論争を引き起こした。「数学は論理的習慣には全く役立たない」とハミルトンは書いている。論争は、ハミルトンが主張する述語のいわゆる量化に焦点を当てていたが、アテネウム誌や両著者の出版物で論争が長引くにつれて、ハミルトンとその支持者が間違っており、ド・モルガンによるアリストテレス論理学の数学的に正確な記述が正しいことが明らかになった。これに気付いたハミルトンは、ド・モルガンが盗作をしたと主張した。[ 47 ] [ b ]
1842年以来ド・モーガンの友人であったブールは、ホイウェルとハミルトン、そしてド・モーガンとハミルトンの間の論争に一部動機づけられ、ド・モーガンの『形式論理』と同じ日に出版された『論理の数学的分析』を1847年に執筆した。ブールの業績はド・モーガンの業績を凌駕し、初期の数理論理学を定義づけるものとなった。ド・モーガンはブールの努力を継続的に支援し、ブールの著作の校正や擁護を行った。ブールの死後、ド・モーガンはブールの家族が政府年金を受け取れるよう尽力した。[ 49 ] [ 28 ]
1849年、エリザベス・ジェッサー・リードに採用されたデ・モーガンは、ベッドフォード・スクエアに新設された女子大学で1年間数学を教えた。[ 50 ]
1850年、デ・モーガンはジョン・エリオット・ドリンクウォーター・ベチューンから、独学のインド人数学者ラムチュンドラが執筆し自費出版した『最大値と最小値の問題に関する論文』という本を受け取った。デ・モーガンはその作品に感銘を受け、ラムチュンドラと文通を始め、1859年にヨーロッパの読者を対象にロンドンで再出版する手配をした。デ・モーガンの序文は、古典的なインドの数学思想を概観し、インド数学の現代における復活を訴えた。[ 51 ] [ 52 ] [ 28 ]
この作品を精査した結果、私はそこに、単に奨励に値する功績だけでなく、特別な種類の功績を見出した。そして、その功績を奨励することは、インドにおける土着精神の復興に向けた土着の努力を促進する可能性が高いと私には思われた。
古典インド論理学がド・モーガンの論理学研究に与えた 影響については、これまで様々な憶測がなされてきた。 [ 53 ]メアリー・ブールは、叔父のジョージ・エベレストを通じて、インド思想全般、特にインド論理学が、夫のジョージ・ブールやド・モーガンに深い影響を与えたと主張した。
バベッジ、ド・モルガン、ジョージ・ブールといった3人の人物がヒンドゥー教に深く傾倒したことが、1830年から1865年にかけての数学界にどのような影響を与えたかを考えてみてください。ベクトル解析や、現在物理科学の研究に用いられている数学を生み出す上で、それはどのような役割を果たしたのでしょうか?[ 54 ]
アーサー・カウパー・ラニャードと、デ・モーガンの息子であるジョージ・キャンベル・デ・モーガンは、ロンドンに数学協会を設立するというアイデアを思いついた。そこでは、数学論文が(王立協会のように)受け入れられるだけでなく、読まれ、議論される。ロンドン数学協会の最初の会合は、1865年にユニバーシティ・カレッジで開催された。デ・モーガンが初代会長、彼の息子が初代書記を務めた。初期の会員には、デ・モーガンの親友で同僚の保険数理士であるベンジャミン・ゴンペルツ、デ・モーガンの元教え子であるウィリアム・スタンレー・ジェボンズとジェームズ・ジョセフ・シルベスター、デ・モーガンの同僚であるトーマス・アーチャー・ハースト、数学者のウィリアム・キングダム・クリフォードとアーサー・ケイリーがいた。[ 55 ] [ 28 ]
オーガスタスは7人兄弟の1人で、成人まで生き残ったのは4人だけだった。その兄弟姉妹は、バース在住の外科医ルイス・ヘンズリーと結婚したエリザ(1801年~1836年)、海軍中将ジョサイア・コグヒル(第3代コグヒル準男爵)の娘ジョセフィンと結婚した弁護士ジョージ(1808年~1890年)、そしてミドルセックス病院の外科医キャンベル・グレイグ(1811年~1876年)である。
デ・モーガンがロンドンに移り住んだとき、彼はウィリアム・フレンド(1757-1841)と親しくなった。二人ともケンブリッジ大学で数学を学んだが、後に宗教上の理由で退学し、二人とも保険数理士だった。1837年の秋、デ・モーガンはウィリアム・フレンドとサラ・ブラックバーン(1779-?)の長女で、クリーブランド大執事フランシス・ブラックバーン(1705-1787)の孫娘であるソフィア・エリザベス・フレンド( 1809-1892)と結婚した。[ 56 ]
デ・モーガンには3人の息子と4人の娘がおり、その中には童話作家のメアリー・デ・モーガンも含まれている。長男は陶芸家のウィリアム・デ・モーガンで、後に画家のエヴリン・デ・モーガン(旧姓ピッカリング)と結婚した。次男のジョージは、ユニバーシティ・カレッジとロンドン大学で数学の分野で優れた成績を収めた。
ド・モーガンは個性的な人物だった。友人のブルーム卿がエディンバラ大学の学長に就任した際、大学評議会は彼に名誉法学博士号を授与しようとしたが、彼はその称号を不適切として辞退した。彼は自らをユーモラスに「文学を持たない人間」(Homo paucarum literarum)と表現した。「(教養の乏しい人物)」という表現は、数学と論理学への多大な貢献に対する彼の謙虚さを反映している。
彼はロンドン郊外の地方を嫌い、家族が海辺で休暇を楽しんだり、科学者たちが地方で開催された英国科学振興協会の会合で楽しい時間を過ごしたりしている間も、彼は都会の暑くて埃っぽい図書館にこもりきりだった。彼は、アテネから遠ざかるほど幸福から遠ざかると述べたソクラテスの気持ちに似ていると語った。
彼は王立協会のフェローになろうとしたことはなく、協会の会合にも出席したことがなかった。彼は物理哲学者とは考えも共感も共有していないと述べており、その態度はおそらく、観察者にも実験者にもなれない身体的な弱さによるものだったのだろう。[ 57 ]
厳格なイングランド国教会の教育を受けたにもかかわらず[ 59 ]、ド・モーガンは公には非国教徒であり、個人的にはいくつかの犠牲を払った。国教に従うことを拒否したため、ケンブリッジ大学での昇進は阻まれ、結婚式は教会式ではなく[ 60 ]、宗教的中立性を維持するために大学当局と何度か争い[ 61 ] 、最終的にはこの問題で辞任した[ 62 ] 。私生活では、ド・モーガンは非国教徒であった。ユニテリアン派の家庭に嫁いだが、そこでは彼の本質的にキリスト教的理神論的な聖書解釈は歓迎された[ 63 ] 。晩年には、彼はより理神論に傾倒し、マルティノーの自由キリスト教連合に加わった[ 64 ]。
ド・モルガンは時折無神論者だと非難されたが[ 65 ]、それを宗派主義だと一蹴した[ c ] [ 67 ] 。ド・モルガンは遺言で次のように書いている。
私は希望と確信をもって、全能の神、すなわち私たちの主イエス・キリストの父なる神に私の未来を委ねます。私は心の中でイエス・キリストを神の子と信じていますが、口では告白していません。なぜなら、私の時代には、そのような告白は常に世に出世するための道だったからです。[ 68 ]

60歳になったデ・モーガンは、教え子たちのおかげで年額500ポンドの年金を受け取ることができたが、その後不幸が続いた。2年後、息子ジョージ(オーガスタスは、同名の著名な父子数学者にちなんで、息子を「若いベルヌーイ」と呼ぶのを好んだ[ 69 ])が亡くなった。この打撃に続いて娘も亡くなった。ユニバーシティ・カレッジを辞任してから5年後の1871年3月18日、デ・モーガンは神経衰弱で亡くなった。
ド・モルガンは、数学論理学、特に代数論理学への先駆的な貢献で最もよく知られており、また、それほどではないにせよ、抽象代数学の黎明期への貢献でも知られている。
ド・モルガンの論理学への貢献は二つある。第一に、ド・モルガン以前には数学的論理学は存在せず、形式論理学を含む論理学は哲学者の領域であった。ド・モルガンは形式論理学を初めて数学的な学問分野とした人物である。第二に、ド・モルガンは関係計算を発展させ、代数原理の適用を通して論理学を抽象化した。
ド・モーガンの論理学に関する最初の独創的な論文「三段論法の構造について」[ 45 ]は、1846年にケンブリッジ哲学協会の紀要に掲載された。この論文は、アリストテレス論理学、特に三段論法を形式化する数学体系について述べている。ド・モーガンが定義した規則(同名のド・モーガンの法則を含む)は単純明快だが、その形式化は重要である。それは、論理学の分野に浸透することになる数学的論理学の最初の本格的な事例であり、論理プログラミングを予見するものであった。[ 70 ]ド・モーガンの論文で言及されている「述語の量化」をめぐって哲学者ウィリアム・スターリング・ハミルトン卿と論争したことがきっかけで、ジョージ・ブールはパンフレット「論理学の数学的分析」(1847年)を執筆することになった。ド・モーガンは、最初の論文を『形式論理、あるいは必然的かつ蓋然的な推論の計算』(1847年)[ 71 ]という本でさらに詳しく論じたが、この本はブールのパンフレットと同じ週に出版され、すぐにその影に隠れてしまった。しかし、後世の研究者たちは彼の研究の先駆的な性質を認識することになる。C.I .ルイスは、「新しい論理形式の発明における彼の独創性、機知に富んだ頭脳、的確な例え、そして明快で生き生きとした文章は、論理学に『数学的』方法を導入することに対する偏見を打ち破るのに大いに役立った」と書いている。[ 72 ]
ド・モーガンは、論文「三段論法について、第 4 項」[ 73 ]および著書『提案された論理体系のシラバス(1860 年)』[ 74 ] において関係の計算を発展させた。彼は、三段論法による推論は関係の合成に置き換えることができることを示した。[ 75 ]この計算は、ド・モーガンを尊敬し、彼の死の直前に会ったチャールズ・サンダース・パースによって、関係の論理として記述された。歴史家は、現代論理のいくつかの発展を、ド・モーガンの代数論理への貢献に直接遡って辿っている。「タルスキやバーコフの同時代の研究を真剣に研究しようとするならば、まず彼らの分野の最も重要な創始者、特にブール、ド・モーガン、パース、シュレーダーを真剣に研究することから始めるべきである」。[ 76 ]実際、1860 年にド・モルガンによって明確にされた定理は、後にシュレーダーが二項関係に関する教科書の中で表現し、現在では一般にシュレーダー規則と呼ばれています。
ド・モーガンはピーコックの記号代数 の初期の支持者であったが、すぐに幻滅した。1839年から、ド・モーガンは「代数の基礎について」[ 38 ] [ 39 ] [ 40 ] [ 41 ]という一連の論文を執筆し、彼が「論理代数」または「二重代数」と呼んだもの、本質的には幾何代数の初期形態について記述した。これらの論文は、ウィリアム・ローワン・ハミルトン卿と四元数の開発に与えた影響で最も有名かもしれないが、[ 13 ] [ 77 ]ド・モーガンが完全な抽象代数へと向かう歩みを示したものとしても認識されている。
「独自の単位記号体系を発明し、それらの相互作用様式を定義する関係を調査または割り当てること」[ 78 ]
ド・モルガンは、著書『三角法と二重代数』(1849年)の中で、自身の代数学の研究を要約し、さらに発展させた。[ 42 ]
ド・モルガンは多作な作家であり、彼の著作の不完全なリストは回想録の15ページを占めている。[ 79 ]彼の数学に関する著作のほとんどは教育的な性質のもので、さまざまな教科書から成り立っているが、彼が最もよく知られているのは、論理学への先駆的な貢献であり、それはいくつかの書籍や論文で発表されており、特に『形式論理学』(1847年)と『提案された論理体系のシラバス』(1860年)が挙げられる。彼の代数学に関する業績も注目に値するが、特に『三角法と二重代数』(1849年)が挙げられる。
デ・モーガンは科学と数学の普及者としても有名で、そろばんからトーマス・ヤングまで、600以上の記事をペニー百科事典に寄稿した。[ 80 ]彼の最も異彩を放つ作品は、アテネウム・ジャーナルに寄稿した彼の著作(主に書評)をまとめた『パラドックスの予算』である。
ド・モルガンの代数学に関する初期の2つの著作、ブルドンの『代数学の基礎』(1828年)[ 11 ]の翻訳と彼自身の教科書『代数学の基礎』(1835年)[ 81 ]は教育的なものだが、それらを執筆する際に彼が直面した問題は、後の研究を促すことになった。[ 37 ]
ド・モルガンの代数学に関する研究論文は、 1839年から1844年にかけてケンブリッジ哲学協会紀要に「代数学の基礎について」と題された4つの連続した論文として発表され、[ 38 ] [39][40][ 41 ]ド・モルガンが「論理代数学」または「二重代数学」と呼んだものを定義した。これらの論文はハミルトンと四元数に与えた影響で最も有名だが、[ 82 ]第II論文[ 39 ]には現在体と呼ばれるものの定義が含まれており[ 37 ]、第IV論文[ 41 ]ではハミルトンが解決できなかった「三重代数学」の場合を扱っている。[ 77 ]
ド・モルガンの著書『三角法と二重代数』(1849年)[ 42 ]は、三角法に関する論文と、代数に関する彼の以前の研究の統合から成り、算術から記号代数まで、「二重」代数、本質的には幾何代数の発展をたどり、複素数の構成によって随所で説明されている。[ 83 ]ド・モルガンは、ホワイトヘッドが普遍代数と呼ぶものの初期の例として、代数構造 を定義する法則を列挙している。ド・モルガンはグレゴリーの結合法則を省略しているが、例えば交換法則などの法則の選択的適用がハミルトンの四元数につながった。[ 84 ] [ 77 ]また、双曲線関数 の導入と円三角法と双曲線三角法の比較も注目に値する。[ 48 ]
ド・モルガンの論理学に関する最初の著作である『論理学の最初の概念』(1839年)は教育的なものであり、学生がユークリッドの『原論』を学ぶために必要な論理学を紹介するものである。
ド・モルガンの論理学に関する最初の研究論文「三段論法の構造について」(1846年)[ 45 ]は、アリストテレスの三段論法の数学的体系を記述しており、いわゆる数理論理学の始まりを示すものと言えるだろう。[ d ]
おそらくド・モーガンの最も有名な著作である『形式論理、あるいは必然的かつ蓋然的な推論の計算』[ 71 ]は、1847年にジョージ・ブールの『論理の数学的分析』と同じ週に(取り決めにより)出版された。この本は主に彼の論文「三段論法の構造について」(1846年)[ 45 ]の再版であるが、彼の以前の著書『論理の最初の概念』 (1839年) [ 44 ]、誤謬と確率に関する章、スコットランドの哲学者ウィリアム・ハミルトン卿との論争の詳細も含まれている。
ド・モルガンは一連の論文で論理学の研究を続け、[ 85 ] [ 86 ] [ 73 ] [ 87 ]特に「三段論法について、第4号」(1860) [ 73 ]では関係の論理を導入した。ド・モルガンはこの研究の多くを著書『提案された論理体系のシラバス』(1860)にまとめている。[ 88 ]
1872年に死後出版された『パラドックスの予算』は、デ・モーガンがアテネウム誌に連載していた同名のコラムをまとめたもので、主に書評で構成され、いわゆるパラドクサー(デ・モーガンの新語である疑似数学者や疑似科学者とも呼ばれる)に焦点を当てている。[ 89 ]
デ・モーガンが記述する擬似数学者は、トーマス・バクスター[ 90 ]のような円平方法、立方体倍増法、角度三分割法などである。そのような角度三分割法の1つがジェームズ・サベンであり、彼の研究はデ・モーガンから一行のレビューを受けた。
「長年の熟考の結果」:非常に可能性が高く、非常に悲しい。[ 91 ]
デ・モルガンが特定したもう一人の疑似数学者は、リバプールの成功した商人ジェームズ・スミスで、彼は次のように主張した。ド・モーガンは次のように書いている。
スミス氏は私に長文の手紙を書き続け、それに対して返事を書くようにとほのめかしている。31 ページにびっしりと書き込まれた最後の手紙で、彼は私の頑固な沈黙について、私自身も他人も数学の巨人だと思っているが、私は数学のカタツムリを演じ、殻の中に閉じこもることに決めたと述べている。しかし彼は、単純な真実と常識の投石器から投げられた小石が、最終的には私の殻を割るだろうとあえて私に告げている。[ 92 ]
デ・モーガンが否定する多くの疑似科学的アイデアの中には、アルフレッド・ウィルクス・ドレイソンの膨張地球説[ 93 ]やサミュエル・ロウボサムのゼテティック天文学、つまり平面地球説[ 94 ]などがある。
計算についての議論の中でド・モルガンは、ビュフォンの近似と、その方法を用いた自身の結果について詳しく論じている。 [ 95 ]
デ・モーガンは『予算』の中で、非技術的なテーマ、特に宗教にも紙面を割いている。デ・モーガンはゴッドフリー・ヒギンズの『アナカリプシス』[ 96 ]を好意的に評価し、ラプラス[ 97 ]やオイラー[ 98 ]をはじめとする偉大な数学者たちの宗教観に関する逸話をいくつか紹介している。
デ・モーガンは『予算』の中で、例えば「偉大なる銃よ、我々に計算をしてくれ!」(「オーガスタス・デ・モーガン」)[99]、「天文学者の酒飲み歌」[ 100 ] [ 101 ]、詩「サイフォナプテラ」 [ 102 ] など、様々なアナグラムを用いてユーモアを頻繁に披露している。『予算』は好評を博したが、分類が難しかった。[ e ] [ 104 ] [ 105 ]
後年、ド・モーガンは心霊主義に興味を持つようになった。当初は透視能力に惹かれ、アメリカ人霊媒師マリア・ヘイデンと共に超常現象の調査を行った。これらの調査結果は、ソフィア・ド・モーガンが著し、報復を避けるために匿名で出版された『物質から霊へ:霊的顕現における10年間の経験の結果』(1863年)という本に記録されている。[ 106 ]
ソフィアはおそらく確固たる心霊主義者であったが、ド・モルガン自身は熱心な信者でも懐疑論者でもなかった。彼は、物理科学の方法論は超常現象を自動的に排除するものではないと主張し、そのような現象は物理学者によってまだ特定されていない自然の力によっていずれ説明されるかもしれないと示唆した。[ 107 ]『物質から精神へ』 (1863年)の序文で、ド・モルガンは次のように書いている。
宇宙には、人間が何も知らないような存在が、 例えば50万個ほど存在する可能性が非常に高いと考えると、これらの存在のうちのごく一部、例えば5000個が、それぞれ単独で、あるいは他の存在と混ざって、あらゆる(心霊現象の)発生に十分な能力を持っているのではないかと疑わざるを得ません。私が目にしてきた物理的な説明は容易ではありますが、ひどく不十分です。一方、心霊現象の仮説は十分ではありますが、非常に難解です。時間と考察が判断を下すでしょう。考察は、より多くの試行錯誤の結果を求めるでしょう。
デ・モーガンは、心霊主義の研究に興味を持ったイギリスで最初の著名な科学者の1人であり、ウィリアム・クルックスにも心霊主義の研究を促した。[ 108 ]
ロンドン数学会の本部はデ・モーガン・ハウスと呼ばれ、同協会が授与する最高の賞はデ・モーガン・メダルである。
ユニバーシティ・カレッジ・ロンドンの数学科の学生団体は、オーガスタス・ド・モーガン協会と呼ばれている。
ド・モーガンの膨大な数学および科学の著作(歴史的なものも多数含まれる)の蔵書は、サミュエル・ジョーンズ=ロイドによってロンドン大学のために購入され、現在は上院図書館のコレクションの一部となっている。[ 109 ]
あなたに知っておいていただきたいのは、あなたと他のサー・WHは私に対して互いに正反対の立場にあるということです(知的にも道徳的にも。スコットランドの準男爵はホッキョクグマで、あなたはホッキョク紳士だと言おうとしていました)。私がエディンバラに調査結果を送ると、その種のWHは私がそれを彼から盗んだと言います。私があなたに送ると、あなたはそれを私から受け取り、一目で一般化し、そのように一般化されたものを広く社会に広め、私を既知の定理の第二の発見者にするのです。[ 48 ]