Al-Farahr’s commentarv and short treatise on Aristotle’s De interpretatione. Introduction and translation from Arabic by F. Zimmerman. Oxford: Published for the British Academy by Oxford University Press, 1987. clii + 287 pp. of English. £22.50 Johann Andreas Segner, Specimen logicae universaliter demonstrate. Appendices: Two dissertations De syllogismo. Edited by Mirella Capozzi. Bologna: Editrice CLUEB, 1990. clxxii + 281 pp. 85 000 Lire M. Borga, P. Fregugua And D. Palladino, I contribua fondazionali della scuola di Peano. Milano: Franco Angeli, 1985, 257 (...) pp. No price stated F. Cavaliere. La logica formale in Unione Sovietica. Gli anni del dibattito 1946-1965. Firenze: La Nuova Italia Editrice, 1990. ix + 140pp. Lire 42000 William S. Hatcher, Logic and logos. Essays on science, religion and philosophy. Oxford: George Ronald, 1990. x + 147 pp. £4.50/$9.50 E. J. Lowe, Kinds of being: a study of individuation, identity and the logic of sortal terms. Oxford and New York: Basil Blackwell, 1989. £25.00/$550.00 Reinhardt Grossmann, The fourth way. A theory of knowledge. Bloomington and Indianapolis: Indiana University Press, 1990. 312 pp.$35.00 J. Etchemendy. The concept of logical consequence. Cambridge, Mass, and London, England: Harvard University Press, 1990. vi 4- 174 pp. £19.95 Bernard Bolzano, Las paradojas del infinito. Translated from the German by L. Felipe Segura. Introduction by J. Sebestik. Mexico City: Faculty of Sciences, University of Mexico, 1991. 163 pp. No price stated W. Stantfy Jfvons, Pure logic and other minor works. Photoreprinted Bristol: Thoemmes, 1991. xxiii + 299 pp. No price stated Felix Kaufmann, L’infinito in matematica. Translated from the German, with an introduction, by L. Albertazzi. Gardolo di Trento: Luigi Reverdito Editore, 1990. 297 pp. L. 32.000 Massimo Libardi, Teorie de lie parti e delVintero. Mereologie estensionali. Trento: Centro Studi per la Filosofia Mitteleuropea, Quaderni 4-6, 302 pp. 22,000 lire M. S. Burcjin and V. I. Kuznetsoff, Aksio-logichcskiye aspekîi nauchnikh teorii. Kiev; Naukova Dymka, 1991. 184 pp. 3 roubles Hans Burkhardt and Barry Smith, Handbook of metaphysics and ontology. 2 vols. Munich: Philosophia, 1991. 1005 pp. 650 DM. (shrink)

Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =.