The development of modern logic
著者
書誌事項
The development of modern logic
Oxford University Press, 2009
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This edited volume presents a comprehensive history of modern logic from the Middle Ages through the end of the twentieth century. In addition to a history of symbolic logic, the contributors also examine developments in the philosophy of logic and philosophical logic in modern times. The book begins with chapters on late medieval developments and logic and philosophy of logic from Humanism to Kant. The following chapters focus on the emergence of symbolic logic with
special emphasis on the relations between logic and mathematics, on the one hand, and on logic and philosophy, on the other. This discussion is completed by a chapter on the themes of judgment and inference from 1837-1936. The volume contains a section on the development of mathematical logic from
1900-1935, followed by a section on main trends in mathematical logic after the 1930s. The volume goes on to discuss modal logic from Kant till the late twentieth century, and logic and semantics in the twentieth century; the philosophy of alternative logics; the philosophical aspects of inductive logic; the relations between logic and linguistics in the twentieth century; the relationship between logic and artificial intelligence; and ends with a presentation of the main schools of Indian
logic.
The Development of Modern Logic includes many prominent philosophers from around the world who work in the philosophy and history of mathematics and logic, who not only survey developments in a given period or area but also seek to make new contributions to contemporary research in the field. It is the first volume to discuss the field with this breadth of coverage and depth, and will appeal to scholars and students of logic and its philosophy.
目次
- 1: Leila Haaparanta: Introduction 2: Tuomo Aho and Mikko Yrjoensuuri: Late Medieval Logic 3: Mirella Capozzi and Gino Roncaglia: Logic and Philosophy of Logic from Humanism to Kant 4: The Emergence of Symbolic Logic: the Interplay between Logic and Mathematics The Mathematical Origins of Nineteenth Century Algebra of Logic, Volker Peckhaus
- Gottlob Frege, Christian Thiel 5. The Emergence of Symbolic Logic: the Interplay between Logic and Philosophy Risto Vilkko: The Logic Question Leila Haaparanta: The Relations between Logic and Philosophy 1874-1931 6: A Century of Judgement and Inference: 1837-1936 G"oran Sundholm: Some Strands in the Development of Logic 7: Paolo Mancosu, Richard Zach, and Calixto Badesa: The Development of Mathematical Logic from Russell to Tarski 1900-1935 8: Main Trends in Mathematical Logic after the 1930s Wilfrid Hodges: Set Theory, Model Theory, and Computability Theory Jan von Plato
- 9. Modal Logic from Kant to Possible Worlds Semantics, Tapio Korte, Ari Maunu, and Tuomo Aho: Proof Theory of Classical and Intuitionistic Logic Risto Hilpinen: Appendix: Conditionals and Possible Worlds: On C. S. Peirce's Conception of Conditionals and Modalities 10: Gabriel Sandu and Tuomo Aho: Logic and Semantics in the Twentieth Century 11: Andrew Aberdein and Stephen Read: The Philosophy of Alternative Logics 12: Sandy Zabell: Philosophy of Inductive Logic 13: Alessandro Lenci and Gabriel Sandu: Logic and Linguistics in the Twentieth Century 14: Richmond Thomason: Logic and Artificial Intelligence 15: J. N. Mohanty, S. R. Saha, Amita Chatterjee, Tushar Kanti Sarkar, and Sibajiban Bhattacharyya: Indian Logic
「Nielsen BookData」 より
