Bfm:978-3-319-65430-0/1.Pdf

Total Page:16

File Type:pdf, Size:1020Kb

Bfm:978-3-319-65430-0/1.Pdf Studies in Universal Logic Series Editor Jean-Yves Béziau (Federal University of Rio de Janeiro and Brazilian Research Council, Rio de Janeiro, Brazil) Editorial Board Members Hajnal Andréka (Hungarian Academy of Sciences, Budapest, Hungary) Mark Burgin (University of California, Los Angeles, USA) Razvan˘ Diaconescu (Romanian Academy, Bucharest, Romania) Andreas Herzig (Centre National de la Recherche Scientifique, Toulouse, France) Arnold Koslow (City University of New York, USA) Jui-Lin Lee (National Formosa University, Huwei Township, Taiwan) Larissa Maksimova (Russian Academy of Sciences, Novosibirsk, Russia) Grzegorz Malinowski (University of Łód´z, Poland) Francesco Paoli (University of Cagliari, Italy) Darko Sarenac (Colorado State University, Fort Collins, USA) Peter Schröder-Heister (University Tübingen, Germany) Vladimir Vasyukov (Russian Academy of Sciences, Moscow, Russia) This series is devoted to the universal approach to logic and the development of a general theory of logics. It covers topics such as global set-ups for fundamental theorems of logic and frameworks for the study of logics, in particular logical matrices, Kripke structures, combination of logics, categorical logic, abstract proof theory, consequence operators, and algebraic logic. It includes also books with historical and philosophical discussions about the nature and scope of logic. Three types of books will appear in the series: graduate textbooks, research monographs, and volumes with contributed papers. More information about this series at http://www.springer.com/series/7391 Ángel Garrido • Urszula Wybraniec-Skardowska Editors The Lvov-Warsaw School. Past and Present Editors Ángel Garrido Urszula Wybraniec-Skardowska UNED Cardinal Stefan Wyszynski´ University Department of Fundamental Mathematics in Warsaw Madrid, Spain Warsaw, Poland ISSN 2297-0282 ISSN 2297-0290 (electronic) Studies in Universal Logic ISBN 978-3-319-65429-4 ISBN 978-3-319-65430-0 (eBook) https://doi.org/10.1007/978-3-319-65430-0 Library of Congress Control Number: 2018943846 Mathematics Subject Classification (2010): 01A72, 03-03 © Springer International Publishing AG, part of Springer Nature 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This book is published under the trade name Birkhäuser, www.birkhauser-science.com by the registered company Springer International Publishing AG part of Springer Nature. The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland Preface This book is about the Lvov-Warsaw School. I did not “order” this book, but I am very glad to have received this proposal and the book to be published in a book series I have created inspired by this school. The Lvov-Warsaw School is one of the most important schools in the history of logic but is still not very well known outside of Poland and a circle of aficionados. This book with contributions about the main members of this school and their works will certainly help to fill the gap, reinforcing the already existing attraction and promoting new interests for this school. I would like to thank the editors of this book, Urszula and Angel, for their considerable efforts to gather all the papers included in this big volume, as well as all the contributors of this book and Birkhäuser staff in Basel. Editor-in-Chief Jean-Yves Beziau Studies in Universal Logic Rio de Janeiro, Brazil December 19, 2017 v Contents Part I Twardowski’s School: The Period of Crystallization of LWS Introduction. The School: Its Genesis, Development and Significance ..... 3 Urszula Wybraniec-Skardowska 1 A Short History and Influence of the School . 4 2 On the Structure and Contents of the Anthology . 13 References......................................... 13 Kazimierz Twardowski: A Great Teacher of Great Philosophers ........ 15 Anna Bro˙zek 1 Life.......................................... 15 2 Personality . 16 3 Writings........................................ 17 4 Views......................................... 17 5 Philosophical School . 30 6 Conclusions..................................... 31 KazimierzTwardowski’sWorksMentionedinthePaper............... 32 Jan Łukasiewicz: A Creator of New Ideas in Logic and a Reinterpreter of Its History ....................................... 33 Jacek Jadacki 1 Personality . 33 2 Life.......................................... 34 3 Works......................................... 35 4 Metaphysics . 35 5 Logic......................................... 37 6 Methodology . 42 7 Teacher . 44 JanŁukasiewicz’sWorksMentionedinthePaper................... 45 vii viii Contents Kazimierz Ajdukiewicz: The Cognitive Role of Language ............ 47 Anna Jedynak 1 Life.......................................... 47 2 MainPublications.................................. 48 3 ScientificActivity.................................. 48 4 DisciplesandContinuators............................. 60 References......................................... 60 On Ajdukiewicz’s Project of the Semantic Theory of Knowledge ........ 65 Adam Olech 1 Introduction . 66 2 Presentation of the Meta-Epistemological Project of the Semantic TheoryofKnowledgeandAnalysisThereof................... 70 3 Conclusion...................................... 87 References......................................... 88 Categorial Grammars and Their Logics ....................... 91 Wojciech Buszkowski 1 Introduction . 91 2 BasicCategorialGrammars............................. 93 3 LambekCalculus................................... 98 References......................................... 112 Material Implication and Conversational Implicature in Lvov-Warsaw School ........................................... 117 Rafal Urbaniak and Michał Tomasz Godziszewski 1 Ajdukiewicz’s Equivalence Argument . 117 2 Jackson’sArgument................................. 118 3 Ajdukiewicz on Disjunction . 119 4 Ajdukiewicz vs. Quine on Assertibility . 121 5 Expressingvs.Stating................................ 123 6 Ajdukiewicz on the Diagnostics of Improper Use . 124 7 Generalization, Weakening, Moore’s Paradox . 125 8 ApparentConnectionBetweenDisjuncts..................... 125 9 Ajdukiewicz’s Diagnostics and Grice’s Cancellability . 127 10 Goła¸bonIndicativeConditionals.......................... 130 11 Słupecki’s Reply to Goła¸b............................. 131 12 Ajdukiewicz’s Solution and Goła¸b’sProblem................... 131 References......................................... 132 Tadeusz Cze˙zowski .................................... 133 Dariusz Łukasiewicz 1 Life.......................................... 133 2 MainPapers..................................... 135 3 Views......................................... 135 4 Resonance...................................... 135 5 Pupils......................................... 135 6 Summary....................................... 136 Bibliography........................................ 136 Contents ix Tadeusz Cze˙zowski’s Theory of Knowledge and Beliefs .............. 137 Dariusz Łukasiewicz 1 Introduction . 137 2 Modern Epistemological Individualism: Faith and Testimony inEpistemologicalFramework........................... 138 3 Methodism, Particularism and Belief-Formation Process . 141 4 What Can Justify Beliefs: Basic Beliefs, Internalism and Externalism . 142 5Cze˙zowski’s Theory of Knowledge and Epistemological Individualism . 143 6Cze˙zowski’s Internalism and Fallibilism . 147 7Cze˙zowski and Some Views on Belief-Formation Processes . 149 References......................................... 151 What Is Reasoning? ................................... 153 Robert Kublikowski 1 Introduction . 153 2 The Definition of Reasoning . 155 3 The Conditions of Correctness of Reasoning . 157 4 Conclusions..................................... 162 References......................................... 162 Tadeusz Kotarbinski:´ Socrates of Warsaw ...................... 165 Jacek Jadacki 1 Life.......................................... 165 2 Writings........................................ 166 3 Views......................................... 166 4 Resonance...................................... 170 5 Pupils......................................... 173 6 Summary....................................... 173 Tadeusz Kotarbinski’sWorksMentionedinthePaper.................´ 173 Agency in a Praxiological Approach ......................... 175 Wojciech W. Gasparski 1 Introduction
Recommended publications
  • Gender and Literature
    english edition 2 2017 Gender and Literature issue editor ANNA NASIŁOWSKA SŁAWOMIR BURYŁA Manly Fascism AGNIESZKA DAUKSZA KwieKulik as an Unknown: A Neo-Avant-gardist Laboratory of Experience ARÁNZAZU CALDERÓN PUERTA The Theme of Rape in Ida Fink’s Aryan Papers and Tadeusz Słobodzianek’s Our Class KRYSTYNA KŁOSIŃSKA The Secret of the Dulskis’ Establishment WOJCIECH ŚMIEJA A Piece of Fedora Cake: The Male-Centric Imagination of Jerzy Andrzejewski and the Scholarly Reconnaissance MONIKA ŚWIERKOSZ Arachne and Athena: Towards a Different Poetics of Women’s Writing teksty drugie · Institute of Literary Research Polish Academy of Science index 337412 · pl issn 0867-0633 EDITORIAL BOARD Agata Bielik-Robson (uk), Włodzimierz Bolecki, Maria Delaperrière (France), Ewa Domańska, Grzegorz Grochowski, Zdzisław Łapiński, Michał Paweł Markowski (usa), Maciej Maryl, Jakub Momro, Anna Nasiłowska (Deputy Editor-in-Chief), Leonard Neuger (Sweden), Ryszard Nycz (Editor-in-Chief), Bożena Shallcross (usa), Marta Zielińska, Tul’si Bhambry (English Translator and Language Consultant), Justyna Tabaszewska, Marta Bukowiecka (Managing Editor) ADVISORY BOARD Edward Balcerzan, Stanisław Barańczak (usa) , Małgorzata Czermińska, Paweł Dybel, Knut Andreas Grimstad (Norway), Jerzy Jarzębski, Bożena Karwowska (Canada), Krzysztof Kłosiński, Dorota Krawczyńska, Vladimir Krysinski (Canada), Luigi Marinelli (Italy), Arent van Nieukerken (the Netherlands), Ewa Rewers, German Ritz (Switzerland), Henryk Siewierski (Brasil), Janusz Sławiński , Ewa Thompson (usa), Joanna Tokarska-Bakir,
    [Show full text]
  • Kazimierz Kuratowski (Warsaw)
    Kazimierz Kuratowski (Warsaw) THE PAST AND THE PRESENT OF THE POLISH SCHOOL OF MATHEMATICS I am concentrating in this article on two main subjects. Firstly: I am trying to answer the question what brought about such an “explosion” of mathematics in a country in whose scientific tradition there was hardly any mathematics and which happened at the time when after an over-one-century-long foreign rule the nation was trying hard to reconstruct its now independent country, ravaged by the First World War. Secondly: was this explosion a short-lived enthusiasm or, on the contrary, the Polish school of .mathematics struck roots so deeply that it was sub­ sequently able to survive the cataclysm of the Second World War and rebuild in the new circumastances — in People’s Poland — the internationally re­ cognized edifice of Polish mathematics? There will be in this article no mathematical theorems, no definitions or geometrical constructions. I shall be trying to use the language which can be understood without mathematical qualifications. It is therefore my hope that this text will be intelligible not only to mathematicians.1 1. PRECURSORS OF THE POLISH SCHOOL OF MATHEMATICS It was the years 1918—1920 when the Polish School of Mathematics was emerging. Before describing this period and the subsequent years one should, I think, review, be it only summarily, the contemporary state of Polish mathematics. I am going to mention those of its representatives the majority of whom had in fact been active in the 19th century but who also worked in the 20th century and so could influence the formation of the School of Mathematics being thus its precursors as it were.
    [Show full text]
  • Contribution of Warsaw Logicians to Computational Logic
    axioms Article Contribution of Warsaw Logicians to Computational Logic Damian Niwi ´nski Institute of Informatics, University of Warsaw, 02-097 Warsaw, Poland; [email protected]; Tel.: +48-22-554-4460 Academic Editor: Urszula Wybraniec-Skardowska Received: 22 April 2016; Accepted: 31 May 2016; Published: 3 June 2016 Abstract: The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise to the concept of algorithmic logic developed since the 1970s by Rasiowa, Salwicki, Mirkowska, and their followers. Together with Pratt’s dynamic logic, algorithmic logic evolved into a mainstream branch of research: logic of programs. In the late 1980s, Warsaw logicians Tiuryn and Urzyczyn categorized various logics of programs, depending on the class of programs involved. Quite unexpectedly, they discovered that some persistent open questions about the expressive power of logics are equivalent to famous open problems in complexity theory. This, along with parallel discoveries by Harel, Immerman and Vardi, contributed to the creation of an important area of theoretical computer science: descriptive complexity. By that time, the modal m-calculus was recognized as a sort of a universal logic of programs. The mid 1990s saw a landmark result by Walukiewicz, who showed completeness of a natural axiomatization for the m-calculus proposed by Kozen. The difficult proof of this result, based on automata theory, opened a path to further investigations.
    [Show full text]
  • 1 on the Life and Work of Andrzej Mostowski? STANISŁAW
    On the life and work of Andrzej Mostowski ? STANISŁAW KRAJEWSKI and MARIAN SREBRNY (Warsaw, Poland) Andrzej Stanisław Mostowski was born on November 1, 1913, in Lwów. His father, Stanisław Mostowski, was a medical doctor and worked as an assistant at the Physical Chemistry Department of the University of Lwów; he was conscripted in 1914 as a military doctor and soon after died of typhus. The family had to be provided for by the mother, Zofia née Kramsztyk (1881-1963), who worked for many years in a bank. Andrzej (by his mother called Staszek after the father) had one sister Krystyna (after the war she settled abroad – first in France, then in Montreal). In the summer of 1914 Mostowski’s mother went with her children to Zakopane to spend holidays there; in the face of the outbreak of war and the death of the father they ? This text is translated from its Polish original published in “Wiadomo ści matematyczne”, Annales Societatis Mathematicae Polonae XXII.1 (1979), pp. 53-64, updated slightly where necessary. It is meant to present solely the events of Andrzej Mostowski’s biography. We do not discuss the content of his scientific output as such (other articles are devoted to it), but only provide some information on when he was involved in what and when his major works were created. The information included in this article have been taken from three following sources. Firstly, from the existing publications on the life and scientific output of Andrzej Mostowski. They are listed at the end of this text. The article by S.
    [Show full text]
  • Alfred Tarski
    Alfred Tarski Born January 14, 1901, Warsaw, Poland; died October 2 7, 1983, Berkeley, Calif.; one of the four greatest logicians of all time. Education: PhD, University of Warsaw, 1924. Professional Experience: instructor, logic, Pedagogical Institute, Fical, Warsaw, 1922-1925; docent (and later adjunct professor), the University of Warsaw, 1925-1939; research associate, Harvard University, 1939-1941; member, Institute for Advanced Study, 1942; Guggenheim Fellow, 1941-1942 and 1955-1956; University of California at Berkeley: lecturer, 1942-1946, professor, 1946-1968, emeritus professor of mathematics, 1968-1983. Honors and Awards: Alfred Jurzykowski Foundation Award, 1966; member, National Academy of Sciences; member, Royal Netherlands Academy of Science; honorary member, Netherlands Mathematical Society; UC Berkeley Citation, 1981. Emeritus professor of mathematics Alfred Tarski, widely regarded as one of the four greatest logicians of all time (along with Aristotle, Gottlob, Frege, and Kurt Gödel), passed away on October 27, 1983, at the age of 82. A great teacher and influential scientific leader as well as a profound thinker, Tarski arrived in Berkeley in 1942 at the age of 41 and built up what is often cited as the outstanding center for research in logic and the foundations of mathematics in the world. His mathematical treatment of the semantics of languages and the concept of truth has had revolutionary consequences, which can be drawn from the possibility of giving a general treatment of the concept of truth in formal mathematical languages in a rigorous mathematical way. Among such consequences is his celebrated theorem that the set of true sentences of any sufficiently expressive formal language cannot be defined in that language itself (although it can be defined in a richer language).
    [Show full text]
  • Annual Report 2016 National Institute of Telecommunications (Nit) Instytut Łączności – Państwowy Instytut Badawczy (Ił–Pib)
    NATIONAL INSTITUTE OF TELECOMMUNICATIONS INSTYTUT ŁĄCZNOŚCI – PAŃSTWOWY INSTYTUT BADAWCZY ANNUAL REPORT 2016 NATIONAL INSTITUTE OF TELECOMMUNICATIONS (NIT) INSTYTUT ŁĄCZNOŚCI – PAŃSTWOWY INSTYTUT BADAWCZY (IŁ–PIB) ANNUAL REPORT 2016 CONTENTS CONTENTS 1. General Information / 5 1.1. Legal status / 5 1.2. Activities/ 5 2. Structure of the Institute/ 7 2.1. Board of Directors / 7 2.2. Scientific Council / 8 2.3. Organization structure/ 8 2.4. Financial results / 11 2.5. Employment structure / 12 3. Research Departments / 13 3.1. Equipment and Systems Testing Department (Z1) / 13 3.2. Department of ICT Market Analysis and Development (Z2) / 14 3.3. Department of Internet Architectures and Applications (Z3) / 16 3.4. Advanced Information Technologies Department (Z6) / 17 3.5. Wireless Systems and Networks Department (Z8) (in Gdańsk) / 19 3.6. Department of Electronic Communication Applications and Power Systems (Z10)/ 22 3.7. Central Chamber for Telecommunication Metrology (Z12) / 26 3.8. Electromagnetic Compatibility Department (Z21) (in Wrocław) / 29 4. Laboratories / 34 4.1. Testing laboratories / 34 4.1.1. Telecommunications Equipment Testing Laboratory (LBUT) (in Warsaw) / 34 4.1.2. EMC Testing Laboratory (in Wrocław)/ 35 4.1.3. Laboratory of Electrical, Electronic & Optoelectronic Metrology (LMEEiO) (in Warsaw) / 36 4.1.4. Laboratory of EMC Measuring Apparatus (in Wrocław) / 36 4.2. Unit for Interlaboratory Comparisons (JPM ) / 37 4.3. Notified Body No 1471 / 38 5. Sections / 39 5.1. Education Centre – DSZ / 39 5.2. IT Centre – DIT / 39 5.3. Scientific Information and Promotion Centre – DINP / 40 5.4. Other Sections/ 40 6. Scientific researchers. Professors and Associate Professors / 41 3 ANNUAL REPORT 2016 / NATIONAL INSTITUTE OF TELECOMMUNICATIONS Instytut Łączności – Państwowy Instytut Badawczy CONTENTS 7.
    [Show full text]
  • La Teor´Ia De Conjuntos En El Periodo Entreguerras
    La teor´ıade conjuntos en el periodo Entreguerras: la internacionalizaci´onde la matem´atica polaca a trav´esde Fundamenta Mathematicae ySierpi´nski Tesis doctoral de Andr´esChaves Beltr´an Director: Dr. Jos´eFerreir´os Dom´ınguez Tutor: Dr. Xavier Roqu´eRodr´ıguez Centre D’ Hist`oria de la Ci`encia Universitat Autonoma de Barcelona Septiembre de 2014 Agradezco a: La Universidad de Nari˜no por patrocinar mis estudios de doctorado, sin este acto de confianza hacia mi por parte de la UDENAR habr´ıa sido poco pro- bable que me aventurara a realizar un doctorado. Al profesor Jos´eFerreir´os Dom´ınguez, por acceder a dirigir esta tesis y por permitirme conocer parte de su bagage intelectual. A Lucho Recalde por seguir brind´andome su experiencia acad´emica. Al Master y el Doctorado en Historia de la Ciencia por mostrarme enormes posibilidades de estudio. Amifamiliaporsoportarmiscambiosde´animoduranteestosa˜nos. A Nancy, por tantas cosas. Resumen En esta tesis se abordan algunos aspectos del desarrollo hist´orico de la teor´ıa de conjuntos desde su nacimiento en la d´ecada de 1870 hasta el inicio de la Segunda Guerra Mundial en 1939, enfatizando en el periodo 1920-1939 concretamente en Varsovia, en la revista Fundamenta Mathematicae yenla obra del matem´aticoWaclaw Sierpi´nski. En este sentido, se hace un estudio hist´orico de la teor´ıa de conjuntos en la escuela de Varsovia en el periodo Entreguerras, estudiando los aspectos que se conjugaron para que la comunidad matem´atica en Polonia adquiriera una posici´on de reconocimiento a nivel internacional. Entre estos aspectos est´an el surgimiento de la revista Fundamenta Mathematicae como ´organo de di- fusi´onde los matem´aticos de la escuela de Varsovia, la cual se especializ´oen teor´ıade conjuntos y ramas afines a ´esta, tambi´en se estudia la obra de Sier- pi´nski en relaci´ona la teor´ıade conjuntos.
    [Show full text]
  • Publications of Helena Rasiowa
    PUBLICATIONS OF HELENA RASIOWA [HR1] Axiomatisation d’un syst`emepartiel de la theorie de la deduction, Comptes-Rendues de la Soc. de Sci. et de Lettres de Varsovie, C1 III (1947), 22–37. [HR2] Sur certaines matrices logiques, Comptes-Rendues de la Soc. Pol. de Math. 20(1947), 402–403. [HR3] Sur un certain syst`emed’axiomes du calcul des propositions, Norsk Matematisk Tiddskrift 31(1949), 1–3. [HR4] (with R. Sikorski) A proof of the completeness theorem of G¨odel, Fund. Math. 37(1950), 193–200. [HR5] Algebraic treatment of the functional calculi of Heyting and Lewis, Fund. Math. 38(1951), 99–126. [HR6] (with R. Sikorski) A proof of the Skolem-Lowenheim theorem, Fund. Math. 38(1951), 230–232. [HR7] A proof of the compactness theorem for arithmetical classes, Fund. Math. 39(1952), 8–14. [HR8] (with A. Mostowski, A. Grzegorczyk, S. Ja´skowski, J.Lo´s, S. Mazur, R. Sikorski) Der gegenwartige Stand der Grundlagenforsch- ung in der Mathematik, Die Hauptreferate des 8 Poln. Mathematik- erkongress, Sept. 6–12, 1953, Deutscher Verlag der Wiss., Berlin, Germany. [HR9] (with R. Sikorski) Algebraic treatment of the notion of satisfiability, Fund. Math. 40(1953), 62–95. [HR10] (with A. Mostowski) Geometryczna interpretacja wyra˙ze´nrachun- k´owfunkcyjnych (Geometrical interpretation of expressions of func- tional calculi), Studia Logica 1(1953), 254–275. [HR11] (with R. Sikorski) On satisfiability and decidability in non-classical functional calculi, Bull. Acad. Polon. Sci. C1 III, 1953, 229–331. [HR12] (with R. Sikorski) On existential theorems in non-classical func- tional calculi, Fund. Math. 41(1954), 21–28.
    [Show full text]
  • Introduction. the School: Its Genesis, Development and Significance
    Introduction. The School: Its Genesis, Development and Significance Urszula Wybraniec-Skardowska Abstract. The Introduction outlines, in a concise way, the history of the Lvov- Warsaw School – a most unique Polish school of worldwide renown, which pi- oneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic fea- tures of the School was its serious approach towards philosophical studies and teaching of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as ex- change of thoughts, and cooperation with representatives of other disciplines. The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key represen- tatives of the School (among others, Ajdukiewicz, Leśniewski, Łukasiewicz, Tarski), accompanying the names with short descriptions of their achieve- ments. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus pro- viding the other segment to the name – Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period – the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of continuators are listed accordingly.
    [Show full text]
  • Helena Rasiowa, 1917 - 1994
    HELENA RASIOWA, 1917 - 1994 by W. Bartol, E. Or lowska, A. Skowron 1. Elements of a biography Helena Rasiowa, mathematician and logician, passed away on August 9, 1994. Her in uence on the shap e of mathematical logic can hardly b e overestimated. She was b orn in Vienna on June 20, 1917 to very patriotic Polish par- ents. As so on as Poland had regained its indep endence in 1918 after more than a century of partitioned stateless existence, the whole family settled in Warsaw. Helena's father was a high-class railway sp ecialist; his knowledge and exp erience in the eld led him to assume very imp ortant p ositions in the railway administration. The girl, her parents' only child, has had go o d conditions to grow up physically and mentally. And, indeed, she exhibited many di erent skills and interests, varying from music, which she was learn- ing at a music scho ol paralelly to her normal studies in a secondary scho ol, to business management, which she studied for more than a semester after completing her secondary education. But nally the most imp ortant of her interests, as the future was to prove, to ok the lead. In 1938 the time was not very propicious for entering a university. Even if not many in Europ e were convinced that war was inevitable, the next year was to prove how mistaken those of the ma jority were. Rasiowa had to interrupt her studies, for no legal education was p ossible in Poland after 1939. Many p eople ed the country or at least they ed the big towns, more sub ject to German b ombardments and terror.
    [Show full text]
  • 100Th Anniversary Polish Mathematical Society
    Krzysztof R. Apt, Einar Fredriksson 100th anniversary of the Polish Mathematical Society NAW 5/21 nr. 1 maart 2020 53 Krzysztof R. Apt Einar Fredriksson Centrum Wiskunde & Informatica, Amsterdam IOS Press en MIMUW, University of Warsaw Amsterdam [email protected] [email protected] Event PTM Jubilee Congress, 3–7 September 2019, Kraków 100th anniversary Polish Mathematical Society From 3 to 7 September 2019 the Polish Mathematical Society celebrated its 100th anniver- gathered about 200 participants. Ten ar- sary with a Jubilee Congress in Kraków (Cracow), Poland. This is a short account of this rived from abroad, among them John von congress by Krzysztof R. Apt and Einar Fredriksson. Neumann from Budapest and Witold Hure- wicz from Amsterdam. The Polish Mathematical Society (Polskie sue consisted of articles exclusively written Throughout its existence several famous Towarzystwo Matematyczne, in short PTM) by Polish mathematicians, but as a gesture mathematicians were presidents of the PTM. was founded in Kraków (Cracow), 2 April towards the international community they Perhaps the best known are (chronological- 1919, less than half a year after Poland were all written in French (except one writ- ly): Samuel Dickstein, Stefan Banach, Ka- regained independence at the end of the ten in Italian). zimierz Kuratowski, and Wacław Sierpiński. First World War. (Between 1795 and 1918 Kazimierz Kuratowski mentions in his his- To commemorate the 100th anniversary the country was divided between Germany, torical book [1] that from the beginning the of the PTM a Jubilee Congress took place Austria and Russia.) The founding group PTM maintained close contacts with math- in Kraków from 3 to 7 September 2019.
    [Show full text]
  • Andrzej Grzegorczyk (1922-2014)
    Stanisław Krajewski1 Andrzej Grzegorczyk (1922-2014) Andrzej Grzegorczyk died on 20th March 2014. Even though he was 91 years old, his passing was unexpected as he had been doing creative work almost until his last moment and his intellectual capacities seemed intact. His memoirs emphasized that he had been the previous century’s last world- renowned representative of Polish logic. While this is true, it seems much more important that he was a very unique person, academically and socially active, but also a free spirit who chose his own path. I. Life Andrzej Grzegorczyk was born in Warsaw on 22nd August 1922, the only son of Piotr Grzegorczyk – a Polish studies specialist stemming from an intelligentsia family from the Polish Galicia, then part of Austro-Hungary – and Zofia, a doctor born in the landowner family of Zdziarski from the vicinity of Płock. Her background was strongly leftist; her brother Mirosław Zdziarski, a known communist and a member of the Communist Party of Poland, was sentenced to death in Russia in 1937. Andrzej Grzegorczyk spent his entire life, with only short breaks, in Warsaw. As a child, he attended a private Catholic school of the educational society “Przyszłość” (whose other fledgling was Władysław Bartoszewski) and from 1938 – the Władysław Reytan state secondary school. After the outbreak of war, when his previous school organized clandestine secondary school lessons, he decided to return there and passed his school-leaving exams in 1940, on the day of France’s capitulation. To avoid being taken away to work in the German Reich, he 1University of Warsaw, Faculty of Philosophy and Sociology.
    [Show full text]