【目次】 編者序文 謝辞 著者序説 第1章 1. 問題と推測 2. 証明 3. 局所的であるが大局的でない反例による証明批判 4. 大局的反例による推測批判 a. 推測の拒否,降伏の方法 b. 例の拒否,モンスター排除法 c. 例外排除法による推測の改良,断片的排除,戦略的退却もしくは安全のために大事をとること d. モンスター調整法 e. 補題組み込み法による推測の改良,証明から生成される定理対素朴な推測 5. 大局的であるが局所的でない反例による証明分析の批判,厳密性の問題 a. 証明擁護のためのモンスター排除 b. 隠れた補題 c. 証明と論駁の方法 d. 証明対証明分析,定理の概念と証明分析における厳密性の概念の相対化 6. 局所的であるが大局的でない反例による証明批判への帰還,内容の問題 a. より深い証明によって内容を増すこと b. 最終証明および対応する必要十分条件に向かって c. 異なる証明は異なる定理を生むこと 7. 内容の問題再訪 a. 素朴な推測の素朴さ b. 証明と論駁の方法の基礎としての帰納法 c. 演繹的推量対素朴な推量 d. 演繹的推量による内容の増加 e. 論理的反例発見的反例 8. 概念形成 a. 概念拡張による論駁,モンスター排除および誤謬と論駁の概念の再評価 b. 証明から生成される概念対素朴な概念,理論的分類対素朴な分類 c. 論理的論駁と発見的論駁再訪 d. 理論的概念拡張対素朴な概念拡張,連続的成長対批判的成長 e. 内容の増加の限界,理論的論駁対素朴な論駁 9. 批判はいかにして数学的真理を論理的真理に転化するか a. 無制限の概念拡張は意味と真理を破壊する b. 和らげられた概念拡張が数学的真理を論理的真理に転化する可能性 第2章 編者序説 1. ベクトル代数の「完全に知られた」用語への推測の翻訳,翻訳の問題 2. 推測の別証明 3. 証明の最終性についての疑念,翻訳手続きおよび定義への本質主義的アプローチ対唯名論的アプローチ 付論 1 証明と論駁の方法のもう1つのケース・スタディ 1. コーシーによる 「連続性原理」の擁護 2. ザイデルの証明および一様収束という証明生成概念 3. アーベルの例外排除法 4. 証明分析法の発見への障害 付論 2 演繹主義的アプローチ対発見的アプローチ 1. 演繹主義的アプローチ 2. 発見的アプローチ,証明から生成される概念 a. 一様収束 b. 有界変動 c. カラテオドリによる可測集合の定義 参考文献 訳者あとがき 人名索引 事項索引
備考 ①.同梱することで、元々の配送料より高くなるような組み合わせの商品の場合、同梱を承諾せず、そのままの状態での購入をお願いする可能性があります。易経講座(3冊セット)(下) 程氏易伝を読む/本田濟【著】。ただし、購入者様に本来の送料の超過分をご負担頂けるのであれば、入札前に限り、本来の送料よりも値段が高い配送方法での同梱も可能です。【安岡正篤の本20冊】『活人活学』『小学』『運命と立命』『十八史略』/中村天風/陽明学/儒教/禅/明治維新/まとめて/一括。 ②.こちらの商品は特にご指定がない場合、「お手軽配送(ヤマト運輸)ネコポス」(¥200)で配送する予定です。668h06「中観思想の展開 Bhavaviveka研究」江島恵教 春秋社 昭和55年。 ③「お手軽配送(ヤマト運輸)宅急便コンパクト(EAZY)」で配送する場合、送料は¥520(内,専用BOX代¥70)になるかと思われます。【多宇宙論】フォントネル『著作集』第1巻、Oeuvres Diverses de M. de Fontenelle, in-12, Tome 1, London, 1721, 206, 125, 260 pp.。
*商品について
商品名:数学的発見の論理ー証明と論駁ー
著者名:I.ラカトシュ
編者名:J.ウォラル、E.ザハール
訳者名:佐々木力
出版社:共立出版株式会社
発行年月日:昭和55年4月1日
版・刷:初版第1刷発行
【目次】
編者序文
謝辞
著者序説
第1章
1. 問題と推測
2. 証明
3. 局所的であるが大局的でない反例による証明批判
4. 大局的反例による推測批判
a. 推測の拒否,降伏の方法
b. 例の拒否,モンスター排除法
c. 例外排除法による推測の改良,断片的排除,戦略的退却もしくは安全のために大事をとること
d. モンスター調整法
e. 補題組み込み法による推測の改良,証明から生成される定理対素朴な推測
5. 大局的であるが局所的でない反例による証明分析の批判,厳密性の問題
a. 証明擁護のためのモンスター排除
b. 隠れた補題
c. 証明と論駁の方法
d. 証明対証明分析,定理の概念と証明分析における厳密性の概念の相対化
6. 局所的であるが大局的でない反例による証明批判への帰還,内容の問題
a. より深い証明によって内容を増すこと
b. 最終証明および対応する必要十分条件に向かって
c. 異なる証明は異なる定理を生むこと
7. 内容の問題再訪
a. 素朴な推測の素朴さ
b. 証明と論駁の方法の基礎としての帰納法
c. 演繹的推量対素朴な推量
d. 演繹的推量による内容の増加
e. 論理的反例発見的反例
8. 概念形成
a. 概念拡張による論駁,モンスター排除および誤謬と論駁の概念の再評価
b. 証明から生成される概念対素朴な概念,理論的分類対素朴な分類
c. 論理的論駁と発見的論駁再訪
d. 理論的概念拡張対素朴な概念拡張,連続的成長対批判的成長
e. 内容の増加の限界,理論的論駁対素朴な論駁
9. 批判はいかにして数学的真理を論理的真理に転化するか
a. 無制限の概念拡張は意味と真理を破壊する
b. 和らげられた概念拡張が数学的真理を論理的真理に転化する可能性
第2章
編者序説
1. ベクトル代数の「完全に知られた」用語への推測の翻訳,翻訳の問題
2. 推測の別証明
3. 証明の最終性についての疑念,翻訳手続きおよび定義への本質主義的アプローチ対唯名論的アプローチ
付論 1
証明と論駁の方法のもう1つのケース・スタディ
1. コーシーによる 「連続性原理」の擁護
2. ザイデルの証明および一様収束という証明生成概念
3. アーベルの例外排除法
4. 証明分析法の発見への障害
付論 2
演繹主義的アプローチ対発見的アプローチ
1. 演繹主義的アプローチ
2. 発見的アプローチ,証明から生成される概念
a. 一様収束
b. 有界変動
c. カラテオドリによる可測集合の定義
参考文献
訳者あとがき
人名索引
事項索引
【著者略歴】
・ラカトシュ・イムレ(Lakatos Imre)(1922年11月9日 - 1974年2月2日)
ハンガリーの数理哲学、科学哲学者。ykbd/24/1123/p100+80/Y/9.5★唯物論研究 復刻版 全18巻+別巻 計19冊揃 青木書店。数学の可謬性と、数学の発展の前公理的段階における「証明と論駁の方法論」についての論文で知られる。U93◆19冊まとめ『安藤昌益全集1〜16巻+別冊 安藤昌益事典 +写真集 人間安藤昌益 / 自然直営道 統道真伝』江戸時代の医師 仏教思想 241026。彼の科学の研究計画における概念である「リサーチプログラム」の概念を紹介したことでも有名。□田中美知太郎全集 全26巻中19冊 筑摩書房 月報付 1877-89年 除籍本[管理番号102]。
【訳者略歴】
・佐々木力(ささきちから)(1947年3月7日 - 2020年12月4日)
宮城県に生まれる。写真集 見てきた中国 濱谷浩 河出書房新社 昭和33年 1958年 8月5日 初版 発行者 河出孝雄 函入 帯付き 希少 ■B120。1969年、東北大学理学部数学科卒業。洋書 新ニヤーヤ学派 ジャガディーシャの詩論: 2つの解説 『The sabdasaktiprakasika by Sri Jagadisa Tarkalankara』 ●サンスクリット詩。同大学大学院理学研究科博士課程(数学専攻)を経て、1976-80年、プリンストン大学に留学。人間 幻像と世界 山縣三千雄 理想社 昭47 第2刷。Ph.D(歴史学)。★【福沢諭吉著作集 全12冊揃】2002年 慶應義塾大学出版会。1980年から東京大学教養学部講師、助教授を経て、91年から2010年まで教授。13か9123す 聖中心道 肥田式強健術 肥田春充 著 壮神社 昭和62年 拡大復刻版 裸本●健康法 聖中心社 強健術 天真療法 宇宙倫理 気合術。定年退職後、2012年から北京の中国科学院大学人文学院教授。ひげ文字洋書 ビスマルク時代における観念論の終焉 Das Ende des Idealismus im Zeitalter Bismarcks ヴィルヘルム・リュトゲルト著 1930。専門は数学史を中心とする科学史・科学哲学。資料 戦後学生運動 全8冊揃/東大細胞とスターリン主義・エセ左翼・安保 羽田闘争 YDD861。
*状態について
書き込みはありません。時間と物語 全3巻 + 象徴の解釈学 / 計4冊セット / ポール・リクール (著), 久米 博 (翻訳) / 新曜社。
*商品の「同梱&値下げ」について
入札前に限り、商品の同梱、また、それに伴う配送料分の値下げが可能です。イスラーム・ラディカリズム 五十嵐一 法蔵館 送料無料。商品ページを一つにまとめて新しい商品として再出品する、という形で同梱を行うので、ご希望の方は、必ず入札前に質問欄よりお知らせ下さい。純粋理性批判/イマヌエルカント【著】,熊野純彦【訳】。
【例】
入札前に落札希望者が商品A(¥4000)と商品B(¥4000)の同梱を希望した。□服部之總全集 全24冊揃 福村出版 1973-76年 初版 除籍本[管理番号102]。
↓
商品Aと商品Bを、別々に配送するよりも安くなる配送方法で配送可能なことが判明した。へーゲル大論理学精解 上中下巻3冊セット 姜尚暉 ミネルヴァ書房。(→①.)
↓
出品者が、元の配送料よりも安くなった分(ここでは仮に¥100安くなったとする)だけ値下げした状態で商品Aと商品Bをまとめて一つとした商品Xを¥7900(=¥8000-¥100)で再出品した。★【送料無料】岩波 哲学・思想辞典 廣松渉他 著★。
↓
落札希望者が商品を落札。プルースト全集 別巻 訳者 岩崎力・鈴木道彦 他 筑摩書房 平成11年4月25日 第1刷発行 1999年 プルースト研究 / 年譜 函入 ■B119。
↓
以後、取引に進む。チベットの聖者ミラレパ 大型本 1994/7/20 エヴァ・ヴァン・ダム (著), 中沢 新一 (翻訳)。
*配送について
入札前に限り、ご希望の配送方法に変更可能です。ショーペンハウアー全集 全14巻 別巻1(初和訳) 月報全揃。本来の送料¥200(こちら側が負担)(→②.)を超過した分だけ、商品を値上げさせていただく形で、購入者様にご負担していただくことになります。人■ 梅原猛著作集 全20巻中の17冊セット 帯・月報 小学館。その場合、必ず入札前に質問欄よりお知らせ下さい。加藤周一自選集 全10巻+加藤周一を読む/計11冊セット/岩波書店 【少数ヶ所帯、裏表紙、地にシミ汚れ有】。入札後に変更を希望される場合、上記の超過分の送料に加え、出品取消システム利用料¥550を本来の商品の値段に上乗せした形で再出品したものをご購入していただくことになります。GA901 鶴見俊輔書評集成 全3巻 みすず書房 定価15180円 2007年版 1)1946-1969 2)1970-1987 3)1988-2007。
【例】
入札前に落札希望者が「お手軽配送(ヤマト運輸)宅急便コンパクト(EAZY)」(→③.)での配送を希望した。インド学大事典 全3巻揃 1981年 金花社。
↓
出品者が本来の値段¥2000に元の配送料¥200を超過した分¥320(=¥520-¥200)を上乗せした値段¥2320で再出品した。L16☆ 【 5巻抜け まとめ 7冊 】 森信三選集 不揃い セット 実践社 森信三 自伝 読書論 教師論 道徳教育 教育 対話 やぶ椿 人生論 241109。
↓
落札希望者が商品を購入した。絶版!! 廣松渉著作集 全16巻揃 岩波書店 検:カント/ヘーゲル/現象学/メルロ=ポンティ/フッサ-ル/マルクスエンゲルス全集/資本論/ニーチェ。
↓
以後、取引に進む。1 岩波文庫 まとめて 100冊以上 セット 徒然草 ファウスト こころ 三国志。
備考
①.同梱することで、元々の配送料より高くなるような組み合わせの商品の場合、同梱を承諾せず、そのままの状態での購入をお願いする可能性があります。易経講座(3冊セット)(下) 程氏易伝を読む/本田濟【著】。ただし、購入者様に本来の送料の超過分をご負担頂けるのであれば、入札前に限り、本来の送料よりも値段が高い配送方法での同梱も可能です。【安岡正篤の本20冊】『活人活学』『小学』『運命と立命』『十八史略』/中村天風/陽明学/儒教/禅/明治維新/まとめて/一括。
②.こちらの商品は特にご指定がない場合、「お手軽配送(ヤマト運輸)ネコポス」(¥200)で配送する予定です。668h06「中観思想の展開 Bhavaviveka研究」江島恵教 春秋社 昭和55年。
③「お手軽配送(ヤマト運輸)宅急便コンパクト(EAZY)」で配送する場合、送料は¥520(内,専用BOX代¥70)になるかと思われます。【多宇宙論】フォントネル『著作集』第1巻、Oeuvres Diverses de M. de Fontenelle, in-12, Tome 1, London, 1721, 206, 125, 260 pp.。