This book presents a history of modern logic from the Middle Ages through the end of the 20th century. In addition to a history of symbolic logic, the book also examines 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 chap ... More

*Keywords: *
modern logic,
symbolic logic,
medieval developments,
Humanism,
Kant,
mathematical logic,
modal logic,
Indian logic

Print publication date: 2009 | Print ISBN-13: 9780195137316 |

Published to Oxford Scholarship Online: September 2009 | DOI:10.1093/acprof:oso/9780195137316.001.0001 |

Show Summary Details
## Front Matter

###
1 Introduction

### Leila Haaparanta

###
2 Late Medieval Logic

### Tuomo Aho, and Mikko Yrjönsuuri

###
3 Logic and Philosophy of Logic from Humanism to Kant

### Mirella Capozzi, and Gino Roncaglia

###
5 Gottlob Frege and the Interplay between Logic and Mathematics

### Christian Thiel

###
7 The Relations between Logic and Philosophy, 1874–1931

### Leila Haaparanta

###
8 A Century of Judgment and Inference, 1837–1936: Some Strands in the Development of Logic

### Göran Sundholm

###
9 The Development of Mathematical Logic from Russell to Tarski, 1900–1935

### Paolo Mancosu, Richard Zach, and Calixto Badesa

###
10 Set Theory, Model Theory, and Computability Theory

### Wilfrid Hodges

###
11 Proof Theory of Classical and Intuitionistic Logic

### Jan von Plato

###
12 Modal Logic from Kant to Possible Worlds Semantics

### Tapio Korte, Ari Maunu, and Tuomo Aho

###
13 Logic and Semantics in the Twentieth Century

### Gabriel Sandu, and Tuomo Aho

###
14. The Philosophy of Alternative Logics

### Andrew Aberdein, and Stephen Read

###
16 Logic and Linguistics in the Twentieth Century

### Alessandro Lenci, and Gabriel Sandu

###
17 Logic and Artificial Intelligence

### Richmond H. Thomason

###
18 Indian Logic

### J. N. Mohanty, S. R. Saha, Amita Chatterjee, Tushar Kanti Sarkar, and Sibajiban Bhattacharyya

## End Matter