Weaving self-evidence : a sociology of logic
著者
書誌事項
Weaving self-evidence : a sociology of logic
(Princeton studies in cultural sociology / editors, Paul J. DiMaggio ... [et al.])
Princeton University Press, c2008
- : [hardcover]
- : pbk
- タイトル別名
-
La trame de l'évidence
大学図書館所蔵 全7件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Translation of: La trame de l'évidence. Paris : Presses universitaires de France, 2003
Includes bibliographical references and index
内容説明・目次
内容説明
The development of theorems in logic is generally thought to be a solitary and purely cerebral activity, and therefore unobservable by sociologists. In "Weaving Self-Evidence", French sociologist Claude Rosental challenges this notion by tracing the history of one well-known recent example in the field of artificial intelligence - a theorem on the foundations of fuzzy logic. Rosental's analyses disclose the inherently social nature of the process by which propositions in logic are produced, disseminated, and established as truths. Rosental describes the different phases of the emergence of the theorem on fuzzy logic, from its earliest drafts through its publication and diffusion, discussion and reformulation, and eventual acceptance by the scientific community.Through observations made at major universities and scholarly conferences, and in electronic forums, he looks at the ways students are trained in symbolic manipulations and formal languages and examines how researchers work, interact, and debate emerging new ideas.
By carefully analyzing the concrete mechanisms that lead to the collective development and corroboration of proofs, Rosental shows how a logical discovery and its recognition within the scholarly community are by no means the product of any one individual working in isolation, but rather a social process that can be observed and studied. "Weaving Self-Evidence" will interest students and researchers in sociology and the history and philosophy of science and technology, and anyone curious about how scientists work.
目次
ACKNOWLEDGMENTS ix INTRODUCTION 1 A Sociologist among Logicians 2 Observing Demonstrations 4 A Necessarily Detailed Analytic Account 7 Grasping the Emergence of a Logical Theorem 8 Accessing the Specialized Skills of Workers in Logic 12 PART ONE: ACCESSING THE WORLD OF PRODUCERS OF LOGICAL STATEMENTS 15 CHAPTER 1: How Can We Grasp What Logic-Makers Do? Questions Raised in the Human Sciences and Philosophy about Logic and Mathematics 17 Do Researchers in Logic Invoke Ideal Principles? 18 How Do Multiple Social Actors Put Forward Various Definitions and Practices of Logic? 20 Questions Raised by Certain Works in the Social History of Mathematics 24 Can Institutional Sociology Account for the Ways in Which Research in Mathematics Is Carried Out? 24 Can One Grasp the Role of Networks of Actors and Practices in the Production of a Theorem? 31 What Role Does the Scale of Adoption of Specific Practices of Demonstration Play in the Dynamics of Recognition of a Result? 33 Can the Analysis of Demonstrative Practices Be Inscribed Solely within the Framework of the History of a Scientific Discipline? 36 What Demonstrative Resources Are Used for What Recognition? 40 Questions Raised by Some Studies That Focus on, or Formulate a Research Program to Address, Practices in Logic 44 Conclusion 53 CHAPTER 2: Spaces and Tools for Exchange 55 Preliminary Information about the Way an Electronic Forum Works 55 Shared Skills in Logic 59 PART TWO: PRACTICES OF DE-MONSTRATION: DEBATING A THEOREM IN AN ELECTRONIC FORUM 75 CHAPTER 3: Bringing to Light: Demonstration Put to the Test of Antagonistic Logical Practices 77 The Formal Presentation of a Demonstration Does Not Lead Automatically to Consensus 77 The Absence of Universally Recognized Central Logical Principles 77 The Heterogeneity of Ways of Doing Logic 83 The Use Values of Demonstrations 93 De-monstrating and Appearing 96 The Practice of Substituting Proofs 96 Making Logical Principles Appear and Disappear in Demonstrations 98 Making Certain De-monstrations Maximally Visible 109 CHAPTER 4: Evaluating the Correctness of a Theorem and the Properties of a Logic at the Intersection between Several De-monstrative Modes 116 Bringing to the Fore the Properties of a Logical System in Technological Devices in Order to Cast Doubt on the Correctness of a Proof 116 Personalizing the Debates in Order to Evaluate the Correctness of a Theorem 125 Trying to Neutralize a Proof by Invoking General Antagonisms 127 Contesting a Proof and Defending Logical Properties by Evoking a Cultural Specificity 136 PART THREE: MEDIATIONS USED TO ADVANCE A LOGICAL THEOREM 149 CHAPTER 5: Accompanying De-monstrations: The Publication of a De-monstration at the Heart of the Action of Groups of Actors 151 How One and the Same De-monstration Can Be Rejected and Then Accepted for Publication 151 From De-monstration to Publication: The Importance of Interactions 161 Elkan's Proof and the Conference Paper Selection Process 171 CHAPTER 6: Federating a Counter-De-monstration or Producing Hand-Tailored Responses 187 Producing More Stable and Visible Responses, in Limited Number 187 The Formation and Use of Sedimented Repertories of De-monstration 198 Advancing Adaptive, Polysemic, and Differentiated De-monstrations 204 CHAPTER 7: The Emergence of a Quasi-Object and a Collective Statement 211 Recourse to Tacit Manipulations: De-monstration as a Quasi-Object 211 Defending a Proof by Reformulating It 217 Nuances and Precautions 218 A Polysemic Textual Device to Stabilize Debates 221 The Successive Versions of a Proof: Records of Negotiations 233 De-monstrations Serving to Stabilize a Controversy 237 Federating and Stabilizing Positions and Thereby Helping to Marginalize the Adversary 238 Devices of Reiteration and Reference Contributing to a Stabilization of the Debates 244 CONCLUSION A Sociology of the Practices of De-monstration 250 Destylizing the Unfolding of Debates in Logic 250 Following the Production of Certified Knowledge in Logic 253 Observing the Work of De-monstration 256 Logic and Sociology 259 Toward a Social and Material History of Forms of De-monstration 266 WORKS CITED 271 INDEX 287
「Nielsen BookData」 より