內容簡介
內容簡介 ・論理学の基本をマスターするためのテキスト。・「証明」の組み立て方を、豊富な練習問題、ていねいな解答・解説により、この一冊でしっかり身につけられる。・論理学は、ゲームのように面白い!論理学を使いこなせるようにすることを目標にしたテキスト。論理学を習得するのにもっとも近道なのが、「自然演繹」の証明体系を身につけることである。哲学だけでなく、数学・情報科学・認知科学などで必須のツールである「証明」の組み立て方を、初学者にも分かりやすいよう、豊富な例題、問題を証明図を用いて、ていねいに解説する。充実した解答・解説、文献案内も収録。さらにアドバンスの学習を望む人のために、購入者にむけたサポートページにも開設。
作者介紹
作者介紹 峯島宏次"慶應義塾大学文学部准教授。博士(哲学)。専門は哲学、論理学、言語学(意味論、語用論、計算言語学)。主な業績に、『論理の哲学』(共著、飯田隆編、講談社、2005年)、『岩波講座哲学 第三巻 言語 思考の哲学』(共著、飯田隆編、岩波書店、2009年)、『名詞句の世界――その意味と解釈の神秘に迫る』(西山佑司編、ひつじ書房、2013年)、Modern Perspectives in Type Theoretical Semantics (共著、S. Chatzikyriakidis and Z. Luo, eds., Springer, 2017)、W. ライカン『言語哲学――入門から中級まで』(共訳、勁草書房、2005年)などがある。"