Mod. Log., Tome 4 (1994)

Project Euclid

Clarification on Róza Péter's Internment

Project Euclid

Clarification on the birth date of Pavel Aleksandrovich Florenskij. Errata to: ``P. A. Florenskiĭ''

Project Euclid

Books Received

Project Euclid

Bibliographic Notes

Project Euclid

Books Received

Project Euclid

Reviews Department

Project Euclid

Obituary: Paul Lorenzen

Thiel, Christian

Project Euclid

Editorial: Evandro Agazzi

Project Euclid

Back-and-Forth again

Project Euclid

Bibliographic Notes

Project Euclid

Reviews Department

Project Euclid

Books Received

Project Euclid

Books Received

Project Euclid

Reviews Department

Project Euclid

The set-theoretical program of Quine succeeded, but nobody noticed

Holmes, M. Rall

p. 1-47

Project Euclid

The algebra of logic: what Boole really started

Green, Judy

p. 48-62

Project Euclid

Herbrand's fundamental theorem and the beginning of logic programming

Abeles, Francine

p. 63-73

Project Euclid

Who invented Cantor's back-and-forth argument?

Silver, Charles L.

p. 74-78

Project Euclid

In Memoriam

p. 79-83

Project Euclid

Review of Nils-Eric Sahlin, The Philosophy of F. P. Ramsey

Drucker, Thomas

p. 87-89

Project Euclid

Review of Revolutions in Mathematics, edited by Donald Gillies

Amnell, Marko

p. 89-93

Project Euclid

Review of T. E. Forster, Set theory with a Universal Set: Exploring an Untyped Universe

Boffa, Maurice

p. 94-96

Project Euclid

Review of The Apprenticeship of a Mathematician, by Andreé Weil

Gauthier, Yvon

p. 97-100

Project Euclid

Review of Raymond M. Smullyan, Gödel's Incompleteness Theorems

p. 100-102

Project Euclid

Review of Katalin G. Havas, Thought, Language and Reality in Logic

p. 102-105

Project Euclid

History of logic and ``university'' philosophy in Russia. The view from Kazan

Bazhanov, V. A.

p. 109-147

Project Euclid

The imaginary geometry of N. I. Lobachevsky and the imaginary logic of N. A. Vasiliev

Bazhanov, V. A.

p. 148-156

Project Euclid

Translator's introduction: Father Pavel Florenskij

p. 157-162

Project Euclid

P. A. Florenskij

N., N.

p. 162-164

Project Euclid

Memories of Mech.-Math. in the sixties, inspired by Uspensky's JSL article on Kolmogorov's work in logic

Kushner, Boris A.

p. 165-195

Project Euclid

Memories of Medvedev---a kind and gentle bear

p. 196-206

Project Euclid

Formal logic and dialectical-materialism in the Soviet Union: Review of Fania Cavaliere, La logica formale in Unione Sovietica: Gli anni del dibattito, 1946--1965 and A. R. D. Mathias, "Logic and Terror"

p. 210-218

Project Euclid

Review of Luciano Pennino, La logica simbolica nella produzione scientifica in lingua russa (1961--1983)

p. 218-219

Project Euclid

Grigori Mints on proof theory in the USSR, 1925--1969

p. 220-226

Project Euclid

Review of Alexandra Getmanova, Logic, A. Ivin, The Laws of Logic, and A. Getmanova, M. Panov and V. Petrov, Logic made simple: a dictionary

p. 226-233

Project Euclid

A survey of nonstandard set theory

Singh, D. ; Singh, S. K.

p. 237-255

Project Euclid

Brouwer and Griss on intuitionistic negation

Franchella, Miriam

p. 256-265

Project Euclid

St. Pavel Florensky: an appreciation

Flegg, Columba Graham

p. 266-276

Project Euclid

Interview with Róza Péter

Tamássy, István

p. 277-280

Project Euclid

In Memoriam

p. 281-283

Project Euclid

In memoriam Fyodor Andreevich Medvedev (1923--1993)

Zaitsev, Evgeny A.

p. 283-285

Project Euclid

Logic and mathematics in the library of Casimir Lewy

p. 286-298

Project Euclid

Preserving the Church and Bernays typescripts: A case study

Kormin, Harvey

p. 299-302

Project Euclid

Grandfather of fuzzy logic?

p. 304-305

Project Euclid

Abstraction and number in Michael Dummett's Frege: Philosophy of mathematics

Angelelli, Ignacio

Rodríguez-Consuegra, Francisco A.

p. 308-318

Project Euclid

Gödel's last works, 1938--1974: The emerging philosophy (Review of Kurt Gödel, Collected works. Volume II

p. 318-327

Project Euclid

Review of Raymond M. Smullyan, Recursion theory for metamathematics

p. 327-328

Project Euclid

Review of Patrick Grim, The incomplete universe. Totality, knowledge and truth

Frápolli, María J.

p. 329-330

Project Euclid

Review of Stephen Neal, Descriptions

Levy, Stephen H.

p. 331-340

Project Euclid

Review of Stewart Shapiro, Foundations without foundationalism; A case of second-order logic

Smoryński, Craig

p. 341-344

Project Euclid

Review of J. Chapman and F. Rowbottom, Relative category theory and geometric morphisms: A logical approach

McLarty, Colin

p. 345-348

Project Euclid

Errata

p. 349-350

Project Euclid

Evandro Agazzi's contributions to logic

Marsonet, Michele

p. 354-356

Project Euclid

Wozu Algebra der Logik? Ernst Schröders Suche nach einer universalen Theorie der Verknüpfungen

Peckhaus, Volker

p. 357-381

Project Euclid

Schröders zweiter Beweis für die Unabhängigkeit der zweiten Subsumtion des Distributivgesetzes im logischen Kalkül

Thiel, Christian

p. 382-391

Project Euclid

Jan Łukasiewicz on the liar paradox, logical consequence, truth, and induction

Woleński, Jan

p. 392-400

Project Euclid

Academician, Professor Ðjuro Kurepa (1907--1993)

Dimitrić, Radoslav

p. 401-403

Project Euclid

A note on: ``The development of multiset theory''

Singh, D.

p. 405-406

Project Euclid

Bibliographic Notes

p. 408-409

Project Euclid

Review of Karel Lambert (introduction and editor), Philosophical Applications of Free Logic

Van Bendegem, Jean Paul

p. 410-419

Project Euclid

Review of Gila Sher, The bounds of logic: A generalized viewpoint

Reed, Robert C.

p. 420-429

Project Euclid

Review of C. Glymour, Thinking Things Through: An Introduction to Philosophical Issues and Achievements

Woleński, Jan

p. 430-432

Project Euclid

Review of Bertrand Russell, Logical and philosophical papers, 1909-13, edited by John G. Slater with the assistance of Bernd Frohmann, vol. 6 of The collected papers of Bertrand Russell

p. 432-439

Project Euclid

Review of The Future of Mathematics: Methodological Aspects of Prognostication, by Alexei G. Barabashev

p. 439-446

Project Euclid

Morris R. Cohen and Ernest Nagel, An introduction to logic, second edition, with an "Editor's Preface" and "Editor's Introduction" by John Corcoran

p. 446-449

Project Euclid

Erik Heijerman and H. Walter Schmitz (editors), Signifies, Mathematics and Semiotics. The Signifie Movement in the Netherlands. Proceedings of the International Conference Bonn 19-21 November 1986

Peckhaus, Volker

p. 449-454

Project Euclid

Table of Contents, Volume 4