 |
|||||
|
※ホームページに洋書在庫を掲載していますのでご利用ください。 洋書データベースもご覧下さい。 |
|||||
|
|
|||||
|
Haaparanta, L. ed. Oxford U.P. 2009.6 1. Introduction/ 2. Late Medieval Logic/ 3. 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/ 5. The Emergence of Symbolic Logic: the Interplay between Logic and Philosophy The Logic Question The Relations between Logic and Philosophy 1874-1931/ 6. A Century of Judgement and Inference: 1837-1936 Some Strands in the Development of Logic/ 7. The Development of Mathematical Logic from Russell to Tarski 1900-1935/ 8. Main Trends in Mathematical Logic after the 1930s Set Theory, Model Theory, and Computability Theory Proof Theory of Classical and Intuitionistic Logic/ 9. Modal Logic from Kant to Possible Worlds Semantics/ 10. Logic and Semantics in the Twentieth Century/ 11. The Philosophy of Alternative Logics/ 12. Philosophy of Inductive Logic/ 13. Logic and Linguistics in the Twentieth Century/ 14. Logic and Artificial Intelligence/ 15. Indian Logic/ Index/ * Cook, R. T. * Entries are extensively cross-referenced, so that each entry can be easily located within the context of wider debates, thereby providing a valuable reference both for tracking the connections between concepts within logic and for examining the manner in which these concepts are applied in other philosophical disciplines. * Pratt, S. L. * An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity. With its accessible style and integration of philosophical inquiry and real-life concerns, this book offers a novel approach to the theory of logic and its relevance to questions of meaning and value that arise in the world around us. * Sainsbury, R. M. * A paradox can be defined as an unacceptable conclusion derived by apparently acceptable reasoning from apparently acceptable premises. Many paradoxes raise serious philosophical problems, and they are associated with crises of thought and revolutionary advances. The expanded and revised third edition of this intriguing book considers a range of knotty paradoxes including Zeno's paradoxical claim that the runner can never overtake the tortoise, a new chapter on paradoxes about morals, paradoxes about belief, and hardest of all, paradoxes about truth. * Li, W. Birkhauser 2010.1 * The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. * Mendelson, E. CRC Press 2009.8 * Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gel, Church, Kleene, Rosser, and Turing. * |
