000 | 00000nam c2200205 c 4500 | |
001 | 000046015222 | |
005 | 20200203111958 | |
007 | ta | |
008 | 200131s2019 ja a b 001c jpn | |
020 | ▼a 9784130101356 | |
040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
082 | 0 4 | ▼a 512.7 ▼2 23 |
085 | ▼a 512.7 ▼2 DDCK | |
090 | ▼a 512.7 ▼b 2019 | |
100 | 1 | ▼a 野本和幸, ▼d 1939- |
245 | 1 0 | ▼a 数論ㆍ論理ㆍ意味論その原型と展開 : ▼b 知の巨人たちの軌跡をたどる = ▼x The development of number‐theories, logic and semantics in the 19th and the 20th centuries / ▼d 野本和幸 著 |
246 | 3 | ▼a Sūron ronri imiron sono genkei to tenkai : ▼b chi no kyojintachi no kiseki o tadoru |
246 | 3 1 | ▼a Development of number‐theories, logic and semantics in the 19th and the 20th centuries |
260 | ▼a 東京 : ▼b 東京大学出版会, ▼c 2019 | |
300 | ▼a xxii, 705 p. : ▼b 揷畵 ; ▼c 22 cm | |
504 | ▼a 參考文獻(p. [673]-695)と索引收錄 | |
900 | 1 0 | ▼a Nomoto, Kazuyuki, ▼e 著 |
945 | ▼a KLPA |
소장정보
No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
---|---|---|---|---|---|---|---|
No. 1 | 소장처 중앙도서관/제2자료실(3층)/ | 청구기호 512.7 2019 | 등록번호 111823269 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
•序論 数論・論理・メタ数学の誕生と真理論・意味論の展開 •第1部 論理主義の誕生と現代論理学の創始—デデキント、ブール‐シュレーダーからフレーゲへ(デデキントの数論—論理主義の一つの出発点;ブール‐シュレーダーの論理代数的論理主義;フレーゲの論理主義—「判断優位説」と「文脈原理」;ラッセルの論理主義と知識論抄) •第2部 数学基礎論とメタ数学—ヒルベルトからゲーデルまで(ヒルベルトの数学基礎論—メタ的形式主義への歩み;完全性前史—ポスト‐ヒルベルト‐ベルナイスとヒルベルトの問題提起;ゲーデルの完全性定理および不完全性定理への予示;不完全性定理の概要) •第3部 真理・モデル・意味論の誕生と展開—タルスキの真理論とモデル理論(タルスキの真理定義—メタ理論の構築;内包的意味論の展開—カルナップ・チャーチ・モンタギュからクリプキ・カプランへ;直接指示、意味、信念;フレーゲ再考—意味・意義・真理;補論1 言語と哲学—言語的転回の射程;補論2 ことばと信念序説—デイヴィドソンとダメットを手引きに)