Jan Wolenski

This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.

This paper investigates the basis arguments of so-called legal logic and their relation to logic in its standard meaning. There is no doubt that legal arguments belong to logic in the wide sense (sensu largo), but their reduction to schemes of formal logic (logica sensu stricto) is a controversial issue. It can be demonstrated that only some legal arguments fall under explicit rules of formal logic, that is, having a deductive character. Most such reasoning is fallible, and its correctness depends on appealing to extra-logical principles taken from legal norms. For instance, if we say, “If it is permitted more, then it is permitted less” (argumentum a maiori ad minus), we assume that the concepts expressed by the words “more” and “less” are already defined.

Przedmiotem artykułu jest pojęcie pamięci zbiorowej, rozpatrywanej przez pryzmat ‘historii przeżytej’ – występującej w dwu postaciach: ‘przeżytej w sensie przedmiotowym’ i ‘przeżytej w sensie treściowym’ – oraz ‘historii zobiektywizowanej’. Uwzględniając polskie kontrowersje wokół książek Jana Tomasza Grossa: Sąsiedzi. Historia zagłady żydowskiego miasteczka i Strach. Antysemityzm w Polsce tuż po wojnie, autor kwestionuje pojęcie jednolitej pamięci zbiorowej i jej normatywne roszczenia. Pamięć kolektywna i dominująca narracja historyczna są często przedmiotem manipulacji politycznych jako sposobu na potwierdzenie jedności społecznej poprzez wykluczenie cudzych wspomnień. Pamięć o przeszłości jest w rzeczywistości podzielona między różne grupy społeczne i etniczne, które nigdy nie tworzyły spójnej jedności. Nie ma możliwości pogodzenia tych przeciwnych wspomnień; jedynym możliwym sposobem nadania pamięci zbiorowej kształtu pożądanego w porządku demokratycznym jest konfrontacja i negocjowanie tych rozbieżnych poglądów, czyli dokonywanie ‘transakcji dialogicznych’.

The paper examines the interplays between logic and politics in the Polish School of Logic starting from 1914. The Polish School of Logic flourished between 1920 and 1939. Philosophically, it was influenced by Kazimierz Twardowski (1866–1938). For Twardowski logic is fundamental for every kind of human activity, professional and private and this means that every argument should be formulated and proceed by correct inferential rules. These rules involve semiotics, formal logic and methodology of science. The paper shows how this position was shared by Twardowski’s students, including Jan Łukasiewicz, Stanisław Leśniewski, Kazimierz Ajdukiewicz and Tadeusz Kotrabiński, as well as by the next generation of logicians and philosophers and especially by Alfred Tarski. These authors considered logic, philosophy and science as completely neutral with respect to politics and ideology but they also considered logical skills as indispensable in political activities.

This paper presents and discusses Henri Poincaré’s view on the logical non-derivability of imperatives from indicatives. Firstly, his point of view is compared with David Hume’s. Then Poincaré’s thesis is shown to have been implicitly or explicitly essential to attempts to build a logic of imperatives (norms) as a special linguistic category as well as a deontic logic. The paper shows deontic logic enables us to formulate general principles concerning the logical separability of deonticals (sentences with deontic operators) and non-deontic sentences. Finally, the paper includes remarks on the reception of Poincaré’s discussed ideas in later logical and philosophical literature with the second issue illustrated by legal philosophy.

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner.

N. Denyer, Language, thought and falsehood in ancient Greek philosophy. London and New York: Routledge, 1991. xi + 222 pp. £35.00 Luis Vega, La trama de la demostración.. Madrid: 1990, Alianza Editorial, 413 pp. No price stated Daniel D. Merrill, Augustus De Morgan and the logic of relations. Dordrecht: Kluwer, 1990. xi + 259 pp. Dfl. 185/$ 114.00/£64.00 Georg Cantor, Briefe. Edited by Herbert Meschkowski and Winfried Nilson. Berlin, etc: Springer‐Verlag, 1991, viii + 535 pp. DM 158. The selected letters of Bertrand Russell. Volume 1: the private years. Edited by N. Griffin. London: Allen Lane. The Penguin Press, 1992. xxi + 553 pp. £25.00 Hourya Sinaceur, Corps et modèles. Paris, Vrin, 1991. 496 pp. 198 Ffr William Aspray, John von Neumann and the origins of modern computing. Cambridge, Mass, and London: The MIT Press, 1990. xvii + 376 pp., 8 + 22 pits. £31.50 Charles S. Chihara, Constructibilily and mathematical existence. Oxford: Clarendon Press, 1990. xv + 282 pp. £32.50 Penelope Maddy, Realism in mathematics. Oxford: Clarendon Press, 1990. xi + 204 pp. £25.00 Peter Hylton, Russell, idealism, and the emergence of analytic philosophy. Oxford: Clarendon Press, 1990. xvii + 420 pp. £48.00/$!20.00 R. Barrett and R. Gibson. Perspectives on Quine. Oxford: basil blackweil, 1990. xxiii ‐f 358 pp. £31.50 D. Bell and Cooper, The analytic tradition. Meaning, thought and knowledge. Oxford: Basil Blackwell, 1990. xi + 225 pp. £35.00 Francis Watanabe, Critical thinking; an introduction to reasoning. New York and Oxford: Oxford University Press, 1989. xv+542 pp. £25.00 A. Cattani, forme delVargomentare. II ragionamento tra logica e retorica. Padova: Edizicmi C.B. 1990. 174 pp. 22.00 lire J. K. Lambert, Philosophical applications of free logic. New York and Oxford: Oxford University Press, 1991. 309pp. £40.00 G. Priest, R. Routley and J. Norman, Paraconsistent logic. Essays on the inconsistent. München, Hamden, Wien: Philosophia Verlag, 1989. xxii + 716pp. 398 DM Timoethy Williamson, Identity and discrimination. Oxford: Blackwell. 1990. xi + 173 pp. £30.00 Victor Sánchez, Studies on natural logic and categorial grammar. Amsterdam. 1991. vi + 197 pp. No price stated G. Klima, Ars Artium: essays in philosophical semantics, mediaeval and modern. Budapest: Institute of Philosophy, Hungarian Academy of Sciences, 1988. 185 pp. No price stated Andrea Nye, Words of power: a feminist reading of the history of logic, New York and London, Routlcdge, 1990. xiii + 190pp. £9.99 T. M. Seebhom, D. Follesdal and J. N. Mohanty, Phenomenology and the formal sciences. Dordrecht, Boston and London: Kiuwer Academic Publishers, 1991. viii + 262 pp. £51,00/$!86.00/DK 150 Hans Burkhardt and Barry Smith, Handbook of metaphysics and ontology, 2 vols. Philosophia Verlag, Munich, Philadelphia, Vienna: 1991. 1005 pp. DM650/$ 433.50/£210

Formal semantics is understood either as a formal analysis of semantical features of natural language or as model‐theoretic semantics of formal languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of L and its interpretative structure SI. However, the content of interpretation, that is, the way of correlating of L‐expressions with extralinguistic items depends of informal factors. The discussion shows that semantics is prior to syntax.