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