## The Development of Modern LogicThis 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. |

### What people are saying - Write a review

User Review - Flag as inappropriate

according to your published book,,it focuses on mathematical logic so,,what is the contribution of logic in the development of mathematics?

### Contents

3 | |

11 | |

3 Logic and Philosophy of Logic from Humanism to Kant | 78 |

4 The Mathematical Origins of NineteenthCentury Algebra of Logic | 159 |

5 Gottlob Frege and the Interplay between Logic and Mathematics | 196 |

6 The Logic Question During the First Half of the Nineteenth Century | 203 |

7 The Relations between Logic and Philosophy 18741931 | 222 |

Some Strands in the Development of Logic | 263 |

11 Proof Theory of Classical and Intuitionistic Logic | 499 |

12 Modal Logic from Kant to Possible Worlds Semantics | 516 |

13 Logic and Semantics in the Twentieth Century | 562 |

14 The Philosophy of Alternative Logics | 613 |

The Bayesian Perspective | 724 |

16 Logic and Linguistics in the Twentieth Century | 775 |

17 Logic and Artificial Intelligence | 848 |

18 Indian Logic | 903 |

### Other editions - View all

### Common terms and phrases

algebra analysis application argument Aristotelian arithmetic assumption axiomatic axioms basic Begriffsschrift Bernays Bolzano calculus Cambridge Carnap century complete concepts consequence consistency consistency proof construction defined definition derivation discussion disjunction distinction domain Dummett example expressions extension finite first-order first-order logic formal formula Frege function Gentzen Gödel grammar Hilbert Husserl idea inductive inference interpretation intuition intuitionistic logic judgment Kant Kant’s Leibniz linguistic logicians Logik Löwenheim mathematical logic meaning medieval metaphysics method modal logic natural language negation nonmonotonic notion objects Oxford paraconsistent paradoxes Peirce Port-Royal Logic possible predicate principle probability problem proof proof theory propositional logic propositions quantifiers reasoning recapture recursive relation relevance logic relevant Reprinted result rules Russell Russell’s Schröder semantics sense sentences sequence sequent calculus set theory Skolem structure syllogism syllogistic syntactic Tarski theorem thought tradition translation true truth value University Press valid variables Zermelo