The logic in philosophy of science

書誌事項

The logic in philosophy of science

Hans Halvorson

Cambridge University Press, 2019

  • : pbk
  • : hardback

大学図書館所蔵 件 / 3

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 284-292) and index

内容説明・目次

内容説明

Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Loewenheim-Skolem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in answering philosophical questions.

目次

  • Introduction: 1. Invitation to metatheory
  • 2. The category of sets
  • 3. The category of propositional theories
  • 4. Syntactic metalogic
  • 5. Syntactic metalogic redux
  • 6. Semantic metalogic
  • 7. Semantic metalogic redux
  • 8. From metatheory to philosophy.

「Nielsen BookData」 より

詳細情報

  • NII書誌ID(NCID)
    BB28729781
  • ISBN
    • 9781107527744
    • 9781107110991
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Cambridge
  • ページ数/冊数
    viii, 296 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
ページトップへ