Author's Information Page	provides authors with details about chapter length, formating, transfer of copyright, and the like.
Other Projects	other projects by the same editors relevant links
Special Announcements	for authors

Vol. 1 -- Greek, Indian, and Arabic Logic	Published
Vol. 2 -- Mediaeval and Renaissance Logic	Published
Vol. 3 -- The Rise of Modern Logic: Leibniz to Frege	Published
Vol. 4 -- British Logic in the Nineteenth Century	Published
Vol. 5 -- Logic from Russell to Church	Published
Vol. 6 -- Sets and Extensions in the Twentieth Century	Published
Vol. 7 -- Logic and the Modalities in the Twentieth Century	Published
Vol. 8 -- The Many Valued and Non-monotonic Turn in Logic	Published
Vol. 9 -- Logic and Computation
Vol. 10 -- Inductive Logic	Published
Vol. 11 -- Logic: A History of its Central Concepts	In Production

 

 

Volume 1 ---  Greek, Indian and Arabic Logic
--- PUBLISHED
(top)

#	Chapter Name	Author	Status
1	Logic before Aristotle	Julius Moravcsik	Received – 26 pp
2	Aristotle's Early Logic	John Woods & Andrew Irvine	Received –100 pp
3	Aristotle's Later Logic	George Boger	Received – 99 pp
4	Aristotle's Modal Logic	Fred Johnson	Received –
5	Indian Logic	Jonardon Ganeri	Received – 66 pp
6	Megarian and Stoic Logic	R.E. Jennings &  R.R. O'Toole	Received – 146 pp
7	Arabic Logic	Tony Street	Received – 76 pp
8	The Translation of Arabic Works on Logic Into Latin in the Middle Ages and Renaissance	Charles Burnett	Received – 7 pp
	FEB 5, 2004 NOTIFICATION BY PUBLISHER THAT VOLUME IS NOW IN PRINT

 

Volume 2 --- Mediaeval and Renaissance Logic
--- PUBLISHED
(top)

#	Chapter Title/Topic	Author	Status
1	Logic before 1100: The Latin Tradition	John Marenbon	Confirmed
2	Logic at the Turn of the Twelfth Century	John Marenbon	Confirmed
3	The Logic of Abelard and His Contemporaries	Ian Wilks	Confirmed
4	The Development of Supposition Theory in the Later 12th and Early 13th Centuries	Terence Parsons	Confirmed
5	Assimilation of Aristotelian and Arabic Logic up to the Later 13th Century	Henrik Lagerlund	Confirmed
6	Logic and Theories of Meaning in the Late 13th and Early 14th Century Including the Modistae	Ria van der Lecq	Confirmed
7	The Nominalist Semantics of William Ockham and John Buridan	Gyula Klima	Confirmed
8	Logic in the 14th Century after Ockham	Catarina Dutilh-Novaes	Confirmed
9	Treatments of Modal and Other “Opaque” Contexts in Mediaeval Logic	Simo Knuuttila	Confirmed
10	Treatments of the Paradoxes of Self-reference	Mikko Yrjonsuuri	Confirmed
11	Developments in the 15th and 16th Centuries	Jennifer Ashworth	Confirmed
12	Relational Logic of Juan Caramuel	Petr Dvorak	Confirmed
13	Port Royal: The Stirrings of Modernity	Russell Wahl	Confirmed

 


Volume 3 --- The Rise of Modern Logic I: Leibniz to Frege
 --- PUBLISHED
(top)

#	Chapter Title/Topic	Author	Status
1	Leibniz's Logic	Wolfgang Lenzen	Received – 62 pp
2	Kant's Logic	Mary Tiles	Received – 43 pp
3	Hegel's Logic	John W. Burbidge	Received – 29 pp
4	Bolzano's Logic	Rolf George & Paul Rusnock	Received – 27 pp
5	Algebraic Logic: 1685-1900	Theodore Hailperin	Received – 90 pp
6	The Algebra of Logic	Victor Sanchez Valencia	Received –  102 pp
7	The Mathematical Turn in Logic	Ivor Grattan-Guinness	Received – 11 pp
8	Schroeder's Logic	Volker Peckhaus	Received – 53 pp
9	Peirce's Logic	Risto Hilpinen	Received –  46 pp
10	Husserl's Logic	Richard Tieszen	Recieved –  120 pp
11	Frege's Logic	Peter Sullivan	Received –  99 pp
	Mar 15, 2004 NOTIFICATION BY PUBLISHER THAT VOLUME IS NOW IN PRINT

 
Volume 4 --- British Logic in the Nineteenth Century
--- PUBLISHED
(top)

#	Chapter Title/Topic	Author	Status
1	Bentham’s Logic	Charissa Varma and Gordon McOuat	Confirmed
2	Coleridge’s Logic	Timothy Milnes	Confirmed
3	Whately’s Logic	James Van Evra	Confirmed
4	Hamilton’s Logic	Ralph Jessop	Confirmed
5	Whewell’s Logic	Laura Snyder	Confirmed
6	Mill’s Logic	Fred Wilson	Confirmed
7	DeMorgan’s Logic	Michael Hobart & Joan Richards	Confirmed
8	Boole’s Logic	Dale Jacquette	Confirmed
9	French Logique and British Logic: On the Origins of Augustus deMorgan early Logical Enquiries 1805-1835	Maria Panteki	Confirmed
10	Lewis Carroll’s Logic	Amirouche Moktefi	Confirmed
11	Venn’s Logic	James Van Evra	Confirmed
12	Jevon’s Logic	Bert Mosselmans and Ard Van Moer	Confirmed
13	MacColl’s Logic	Shahid Rahman	Confirmed
14	The Idealists	David Sullivan	Confirmed
15	Bradley’s Logic	William J. Mander	Confirmed

 

 Volume 5 --- Logic from Russell to Church
--- PUBLISHED
(top)

#	Chapter Topics	Author	Status
1	Russell’s Logic	Andrew Irvine	Confirmed
2	Meinongian Logic	Dale Jacquette	Confirmed
3	The Logic of Brouwer and Heyting	Joan Moschovakis	Confirmed
4	Skolem’s Logic	Jens Erik Fensted and Hao Wang	Confirmed
5	Herbrand’s Logic	Jörg Siekmann, Christoph Benzmüller and Serge Autexier	Confirmed
6	The Logic of Wittgenstein and Ramsey	Michael Potter	Confirmed
7	Lesniewski’s Logic	Peter Simons	Confirmed
8	Hilbert’s Logic	Volker Peckhaus and Wilfried Sieg	Confirmed
9	Hilbert’s Epsilon Calculus and its Successors	Hartley Slater	Confirmed
10	Gödel’s Logic	Mark Van Atten and Juliette Kennedy	Confirmed
11	Tarski’s Logic	Keith Simmons	Confirmed
12	Post’s Logic	Alasdair Urquhart	Confirmed
13	Gentzen’s Logic	Jan von Plato	Confirmed
14	Lambda-calculus and Combinatory Logic	F. Cardone and J.R. Hindley	Confirmed
15	The Logic of Curry and Church	Jonathan Seldin	Confirmed
16	Paradoxes in the 20th Century	Andrea Cantini	Confirmed

 
Volume 6 --- Sets and Extensions in the Twentieth Century - co-editor Akihiro Kanamori
--- PUBLISHED
(top)

#	Chapter Topics	Author	Status
1	Set Theory From Cantor to Cohen	Akihiro Kanamori	Confirmed
2	The Continuum	Juris Steprans	Confirmed
3	Infinite Combinatorics	Jean Larson	Confirmed
4	Forcing and Large Cardinals	Akihiro Kanamori	Confirmed
5	Inner Models for Large Cardinals	William J. Mitchell	Confirmed
6	Determinacy	Paul Larson	Confirmed
7	Singular Cardinals	Menachem Kojman	Confirmed
8	Alternative Set Theories	Thomas Forster, Randall Holmes and Thierry Libert	Confirmed
9	Mereology	Peter Simons	Confirmed
10	Sets, Types, Categories, and Logic	John Bell	Confirmed
11	Categorical Logic	Jean Pierre Marquis and Gonzalo E. Reyes	Confirmed
12	On Russell’s Orders in Modern Logic	Fairouz Kamareddine and Twan Laan	Confirmed

Volume 7 --- Logic and the Modalities in the Twentieth Century
--- PUBLISHED
(top)

#	Chapter Title/Topic	Author	Status
1	Mathematical Modal Logic:  A View of its Evolution	Rob Goldblatt	Received – 105 pp
2	Epistemic Logic	Paul Gochet & Pascal Gribomont	Received – 99 pp
3	Deontic Logic	Paul McNamara	Received – 93 pp
4	Relevant and Substructural Logics	Greg Restall	Received – 118 pp
5	A.N. Prior's Logic	Peter Ohrstrom & Per F.V. Hasle	Received – 51 pp
6	Modern Temporal Logic: The Philosophical Background	Peter Ohrstrom & Per F.V. Hasle	Received – 57 pp
7	The Gamut of Dynamic Logics	Martin Stokhof & Jan van Eijck	Received – 111 pp
8	Situation Theory and Situation Semantics	Keith Devlin	Received – 64 pp
9	Dialogue Logic	Erik Krabbe	Received – 36 pp
			Page Total – ~800 pp

Volume 8 --- The Many Valued and Non-monotonic Turn in Logic
--- PUBLISHED

(top)

#	Chapter Topics	Author	Status
1	Many-valued Logic	Grzegorz Malinowski	Confirmed
2	Paraconsistent Logic: Preservationist Variations	Bryson Brown	Confirmed
3	Paraconsistent Logic: Dialethic Variations	Graham Priest	Confirmed
4	Quantum Logic	M. Dalla Chiara, Roberto Giuntini & Miklos Rédei	Confirmed
5	Logic of Vagueness	Dominic Hyde	Confirmed
6	Fuzzy Logic	Didier Dubois, Henri Prade & Lluis Godo	Confirmed
7	Non-monotonic Logic	Karl Schlechta	Confirmed
8	Default Logic	Grigoris Antoniou & Kewen Wang	Confirmed
9	Non-monotonic Reasoning and Belief Change	Alexander Bochman	Confirmed
10	Free Logic	Carl Posy	Confirmed

Volume 9 --- Logic and Computation  co-editor Jörg Siekmann
(top)

#	Chapter Topics		Author	Status
1	Logic and the Development of the Computer		Martin Davis	Confirmed
2	Logic and Computer Science		Dieter Spreen and Ulrich Berger	Confirmed
3	Logic and Artificial Intelligence		Pat Hayes	Confirmed
4	Automated Deduction		Jorg Siekmann	Confirmed
5	From Proof Assistants to Mathematical Assistant Systems		Freek Wiedijk John Harrison	Confirmed
6	Automation of Higher Order Logic		Chad Brown and Chris Benzmuller	Confirmed
7	Mechanization of Type Theory		Hermann Geuvers	Confirmed
8	Safety and Security: Verification
9	Safety and Security: Specification		José Meseguer Catherine Meadows	Confirmed
10	Description Logics and the Semantic Web		Ian Horrocks and Franz Baader	Confirmed
11	Equational Logics and Rewriting		Claude Kirchner and Helene Kirchner	Confirmed
12	Unification and Constraints		Hubert Comon	Confirmed
13	Mechanization of Induction		J Strother Moore	Confirmed
14	Complexity Theory		Lance Fortnow and Steve Homer	Confirmed
15	Logic Programming		Peter Schroder-Heister and Jorg Hudelmaier	Confirmed
16	Logic and Computational Linguistics		Patrick Blackburn	confirmed
17	Logic:  LP, Deductive DBs and XPS
18	History of Degrees		Klaus Ambos-Spies and Peter A. Fejer	Confirmed
19	Mechanizing Mathematical Creativity

 

Volume 10 --- Inductive Logic - co-editor Stephan Hartmann
--- PUBLISHED
(top)

#	Chapter Topics	Author	Status
1	Introduction	Dov Gabbay, Stephan Hartman and John Woods	Confirmed
2	Inductive Thinking Before Hume	John Milton	Confirmed
3	Hume and the Problem of Induction	Marc Lange	Confirmed
4	From Whewell to Mill	Malcolm Forster	Confirmed
5	Peirce on Abduction and Induction	Stathis Psillos	Confirmed
6	The Modern Epistemic Interpretations of Probability: Logicism and Subjectivism	Maria Carla Galovotti	Confirmed
7	Popper and Hypothetico-deductivism	Alan Musgrave	Confirmed
8	Hempel and the Paradoxes of Confirmation	Jan Sprenger	Confirmed
9	Carnap and the Logic of Induction	Sandy Zabell	Confirmed
10	The Development of the Hintikka Program	Ilkka Niiniluoto	Confirmed
11	Reichenbach on Induction and Probability	Frederick Eberhardt & Clark Glymour	Confirmed
12	Goodman and the Demise of the Syntactic Approach	Robert Schwartz	Confirmed
13	The Development of Subjective Bayesianism	James Joyce	Confirmed
14	Varieties of Bayesianism	Jonathan Weisberg	Confirmed
15	Inductive Reasoning and Empirical Psychology	Mike Oaksford, Nick Chater and Ulrike Hahn	Confirmed
16	Induction and the Development of Statistical Reasoning	Jan-Willem Romeijn	Confirmed
17	Statistical Learning Theory	Bernhard Schoelkopf	Confirmed
18	The Development of Formal Learning Theory	Daniel Osherson & Scott Weinstein	Confirmed
19	Mechanizing Induction: Logic and Programming and Beyond	Hannes Leitgeb and Ronald Ortner	Confirmed

 

Volume 11--- Logic: A History of its Central Concepts co-editor Francis Jeffry Pelletier
-- In Production
(top)

#	Chapter Title/Topic	Author	Status
1	History of the Consequence Relation	Greg Restall & Conrad Asmus	Confirmed
2	History of the Quantifiers	Daniel Bonevac
3	History of Negation	Laurence Horn & J.L. Speranza	Confirmed
4	History of Connectives	Daniel Bonevac & Josh Dever	Confirmed
5	History of Truth-Values	Jean-Yves Beziau	Confirmed
6	History of  Modality	Simo Knuuttila	Confirmed
7	History of Natural Deduction	Jeff Pelletier and Allen Hazen	Confirmed
8	History of Connexivity	Storrs McCall	Confirmed
9	History of Types	Fairouz Kamareddine, Twan Laan and Rob Nederpelt	Confirmed
10	History of the Fallacies	John Woods	Confirmed
11	History of Logic-Diagrams	Amirouche Moktefi and Sun-Joo Shin	Confirmed