This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic , philosophy and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.

English summary: Jan Lukasiewicz (1878-1956) was one of the most important members of the Lwow-Warsaw school of logic. The thirteen translated articles in this volume demonstrate the protean form of Lukasiewiczs work, from his texts on Aristotle and the principle of non-contradiction and syllogistics to modal logic, intuitionism, and multivalent logics. The articles show in particular his preoccupations with logical precision and the problem of human liberty. French description: Avec Kazimierz Twardowski, Stanislaw Lesniewski et Alfred Tarski, le (...) logicien et philosophe polonais Jan Lukasiewicz (1878-1956) est l'un des membres les plus importants de l'Ecole de Lvov-Varsovie. Celebre pour ses ouvrages consacres a Aristote, notamment sur le principe de non-contradiction et sur la syllogistique, il a egalement publie des articles majeurs sur la logique propositionnelle, la logique modale, l'intuitionnisme et les logiques multivalentes, dont il fut l'un des fondateurs. Enfin, il a contribue a faire reconnaitre l'importance des travaux en logique de l'ecole megarico-stoicienne, trop longtemps eclipses par ceux d'Aristote sur la syllogistique. Mais Lukasiewicz ne fut pas seulement un logicien et un historien brillant, il s'engagea aussi dans les polemiques philosophiques de son temps. Il defendit ainsi la methode logique en philosophie. Proche sur ce point des membres du Cercle de Vienne, il ne rejetait pas pour autant les questions metaphysiques, commecelle du determinisme qui l'occupa toute sa vie. Les treize articles de ce recueil, fruit d'un travail collectif de traduction, ont pour ambition de montrer le caractere proteiforme de l'oeuvre de Lukasiewicz, preoccupe autant par la precision logique que par le probleme de la liberte humaine. (shrink)

The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered 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 features 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 exchange 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 representatives of the School (among others, Ajdukiewicz, Lesniewski, Łukasiewicz,Tarski), accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing 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 followers are listed accordingly. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland. (shrink)

1. First, a short anecdote. In the mid-1980s, Professor Jerzy Pogonowski gave a series of lectures entitled The Lvov-Warsaw School at the Institute of Philosophy at the Adam Mickiewicz University i...

One can often encounter an opinion that Polish scientific philosophy deserves to be much better known than actually is. This book is thought as a response to such a claim. The papers collected in this volume are divided into two parts: Background and Influence and History and Systematics. However, there is no sharp borderline between themes which are touched in both parts. Generally speaking, all papers of the first part relate the Lvov-Warsaw School to some philosophical movements external (...) to it whereas the papers collected in the second one focus on internal issues connected with the school . Since the Polish school of mathematical logic is much better known than the Polish analytic philosophy we decided to omit here any treatment of the former. Thus, this collection centers on purely philosophical matters. We projected this volume not as an exhaustive panorama of Polish analytic philosophy but rather as a series of essays on particular persons or topic. As a result one can find here papers on Twardowski. Ajdukiewicz, Kotarbinski, Tarski and Lukasiewicz as well as on ethics on science, nominalism, and the methodology of psychology. We hope that this book will contribute to a better knowledge and evaluation of Polish achievements in analytic philosophy. We would like to express our gratitude to Professor Leszek Nowak, the editor-in-chief of Poznan Studies in the Philosophy of the Sciences and the Humanities, who initiated the idea of the collection and helped in its preparation. (shrink)

The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School—a most unique Polish school of worldwide renown, which pioneered 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 features 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 exchange 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 representatives of the School, accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing 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. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland. (shrink)

Contains papers from a November 1995 conference held in Eastern Europe, celebrating the centenary of the Lvov-Warsaw school of analytic philosophy. Papers deal with all directions of research undertaken by Polish analytic philosophers. Special attention is paid to logic and comparisons with other philosophical movements, particularly with brentanism. Contains sections on history and comparisons, the ideas of Lesniewski, philosophy of language, logic and the foundations of mathematics, logic and philosophy, and the ontology, epistemology, and philosophy of science. No (...) index. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

Maria Kokoszyńska-Lutmanowa was one of the most outstanding female representatives of the Lvov-Warsaw School. After achieving her PhD in philosophy under Kazimierz Twardowski’s supervision, she was Kazimierz Ajdukiewicz’s assistant. She was also influenced by Alfred Tarski whose results in semantics she analyzed and popularized. After World War II, she got the chair of logic in University of Wrocław and she organized studies in logic in this academic center. In the 1930s, Kokoszyńska kept in contact with members of (...) the Vienna Circle and became a kind of connecting factor between Polish logicians and the Viennese group. In Poland, she presented the views of members of the Vienna Circle. In Vienna, she emphasized the results of her Polish colleagues. In the present paper, some of Kokoszyńska’s results connected with the matters discussed in the Vienna Circle are presented, namely with the problem of metaphysics, the status of logic and the idea of unity of science. (shrink)

Stanisław Leśniewski was one of the two originators and drivers of the Warsaw School of logic. This article describes his work chronologically, from his early philosophical work in Lvov to his highly original logical systems of protothetic, ontology and mereology. His struggles to overcome logical antinomies, his absolute commitment to logical clarity and precision, and his antipathy towards set theory made his nominalistic approach to logic among the most original of the twentieth century, while his early death and (...) the loss of his papers meant his work was only gradually discovered and appreciated outside Poland. (shrink)

Leśniewski: Logic Stanisław Leśniewski (1886-1939) was a Polish logician and philosopher, co-founder with his colleague Jan Łukasiewicz of one of the most active logic centers of the twentieth century: the Warsaw School of Logic. As an alternative to Whitehead’s and Russell’s Principia Mathematica, he developed his own program for the foundations of mathematics on the … Continue reading Lesniewski: Logic →.

Leśniewski: Logic Stanisław Leśniewski (1886-1939) was a Polish logician and philosopher, co-founder with his colleague Jan Łukasiewicz of one of the most active logic centers of the twentieth century: the Warsaw School of Logic. As an alternative to Whitehead’s and Russell’s Principia Mathematica, he developed his own program for the foundations of mathematics on the … Continue reading Lesniewski: Logic →.

This volume contains 17 papers from the pre-war period of the famous Polish School of Logic. Only two of the papers have appeared in English before and most of them had been inaccessible to the philosophical reader-at-large. An introduction by T Kotarbiński and the reprint of the first six sections of the well-known book by Z Jordan The Development of Mathematical Logic and of Logical Positivism in Poland between the Two Wars provide the reader with the necessary historical perspective.

In the period after the First World War when the various national-ideological “truths” that led to it were not well resolved which resulted in the Second World War, one of the greatest world crises occurs. In those turbulent times, one philosopher renounces his national identity (changes his religion and name), wanting not to save himself from an evil world that is emerging but to join the creation of a completely new world – the world of modern logic. This man is (...) Alfred Tarski, whom many recognize as “the man who defined truth”, linking him to the formulation of the distinction between object and metalanguage. In the paper, I argue with historians of philosophy who claim that this distinction was first set by the logician and philosopher of the Lvov-Warsaw school Stanislaw Leśniewski (whose Tarski was the only doctoral student) accusing Tarski of violating professional laws without attributing the authorship of this distinction to Leśniewski. I show that this is not true and I cite the places where Tarski clearly emphasizes Leśniewski ‘s contribution. (shrink)

This volume offers to the English-speaking world a collection of important works by the eminent twentieth century logician, Jan Lukasiewicz, many of which are here translated into English for the first time. This edition differs significantly from the Polish edition which appeared in 1961—containing ten logic papers not appearing there and omitting articles primarily of interest to the Polish reader. In addition to writing in Polish, Lukasiewicz also published works in French, English, and notably in German, and sometimes translated his (...) own works from one language to another. One of the most valuable works on the history of logic is Lukasiewicz’ paper, "On the History of the Logic of Propositions". Lukasiewicz points out the difference between the two basic areas of formal logic, the logic of propositions and the logic of terms, undifferentiated before the development of modern mathematical logic. The understanding of this distinction leads Lukasiewicz to trace the history of propositional logic back to its original development by the Stoics, its further development by the medieval Scholastics, and its axiomatization by Gottlob Frege. The status of mathematical logic is discussed in various works. The most basic system is propositional logic, upon which depend the other logical disciplines and also mathematics. Mathematical logic, also called logistic, is independent of philosophy and espouses no philosophical viewpoint. Early in his career, Lukasiewicz refers to mathematical logic as the logic of algebra and uses mathematical symbolism to represent logical propositions. Later he introduces what we now call "Polish notation," in particular, "Cpq" for "if p, then q" and "Np" for "it is not the case that p" for the primitive functions, eliminating the need for punctuation. He adopts the symbols Π and Σ for quantification from Charles S. Peirce, and also brings to light the almost unknown fact that it was Peirce who invented the matrix method in 1885. The paper, "Investigations into the Sentential Calculus", written by Lukasiewicz and Tarski embodies the results of a decade of research on the sentential calculus initiated by Lukasiewicz at the University of Warsaw systematically compiling the contributions of five logicians: Lindenbaum, Sobocinski, Wajsberg, Tarski, and Lukasiewicz. The approach is metalogical and depends heavily upon set theoretic concepts; it covers both the matrix and axiomatic methods. One of the problems that preoccupied Lukasiewicz was that of determinism, which led to his development of three-valued logic. A proposition such as "I shall be in Warsaw at noon on 21 December of next year" is neither true nor false; a third truth value is needed, one which Lukasiewicz calls "the possible." Another area to which Lukasiewicz contributed is modal logic, proving that modal logic cannot be two-valued. Lukasiewicz’ analysis and axiomatization of Aristotle’s syllogistic is not included in the present volume since an English edition by Lukasiewicz on this topic is available. We have here briefly touched upon a few of Lukasiewicz’ numerous achievements in logic; the best means of appreciating them is to read his works.—T. G. N. (shrink)

In this paper, we will explore two initiatives that focus on the importance of employing logical theories in educating people how to think and reason properly, one in Poland: The Lvov-Warsaw School; the other in North America: The Informal Logic Initiative. These two movements differ in the logical means and skills that they focus on. However, we believe that they share a common purpose: to educate students in logic and reasoning (logical education conceived as a process) so that (...) they may be able to apply their skills to analyze the issues in their society (logical culture as a result of logical education). The aim of the paper is to justify this claim by exploring research objectives and products that are common to both movements. (shrink)

This collection celebrates the centenary of the Lvov-Warsaw school, established by Kazimierz Twardowski in Lvov in 1895.

“The influence of [Kazimierz] Twardowski on modern philosophy in Poland is all-pervasive. Twardowski instilled in his students a passion for clarity [. . .] and seriousness. He taught them to regard philosophy as a collaborative effort, a matter of disciplined discussion and argument, and he encouraged them to train themselves thoroughly in at least one extra-philosophical discipline and to work together with scientists from other fields, both inside Poland and internationally. This led above all [. . .] to collaborations with (...) mathematicians, so that the Lvov school of philosophy would gradually evolve into the Warsaw school of logic [. . .]. Twardowski taught his students, too, to respect and to pursue serious research in the history of philosophy, an aspect of the tradition of philosophy on Polish territory which is illustrated in such disparate works as [Jan] Łukasiewicz’s ground-breaking monograph on the law of non-contradiction in Aristotle and [Władysław] Tatarkiewicz’s highly influential multi-volume histories of philosophy and aesthetics. [. . .] The term ‘Polish philosophy’ is a misnomer [. . .] for Polish philosophy is philosophy per se; it is part and parcel of the mainstream of world philosophy – simply because [. . .] it meets international standards of training, rigour, professionalism and specialization.”– Barry Smith, “Why Polish Philosophy does Not Exist”. (shrink)

This book grew out of an international symposium, organized in September 1986 by the Austrian Cultural Institute in Warsaw in cooperation with the Polish Philosophical Society. The topic was: The Vienna Circle and the Lvov-Warsaw School. Since the two phil osophical trends existed in roughly the same time and were close ly related, it was one of the purposes of the symposium to investigate both similarities and thp differences. Some thirty people took part in the symposium, nearly (...) twenty contributions were presented and extensively discussed. The sym posium owed much to the excellent organization and warm hospital ity shown by Dr Georg Jankovic, the Director of the Austrian In stitute. As the person in charge of the scientific programme of the symposium, I take pleasure to acknowledge this debt. It so happened that a month later another symposium of a similar character was held. It took place in the University of Manchester, on the occasion of the centenary of the births of Stanislaw Lesniewski, Tadeusz Kotarbiflski and Wladyslaw Tatarkie wicz. Some papers read at the Manchester symposium form a part of the present volume. It was not possible, for technical reasons (the time factor was one of them), to include in this book all the material from the two symposia. Certain contributions have appeared elsewhere (for instance, K. Szaniawski's 'Ajdukiewicz on Non-Deductive Inference' was published in Danish Yearbook of Philosophy, Vol. 23). On the other hand, certain papers have been written special ly for this volume. (shrink)

This paper is a contribution to the reconstruction of Tarski’s semantic background in the light of the ideas of his master, Stanislaw Lesniewski. Although in his 1933 monograph Tarski credits Lesniewski with crucial negative results on the semantics of natural language, the conceptual relationship between the two logicians has never been investigated in a thorough manner. This paper shows that it was not Tarski, but Lesniewski who first avowed the impossibility of giving a satisfactory theory of truth (...) for ordinary language, and the necessity of sanitation of the latter for scientific purposes. In an early article (1913) Lesniewski gave an interesting solution to the Liar Paradox, which, although different from Tarski’s in detail, is nevertheless important to Tarski’s semantic background. To illustrate this I give an analysis of Lesniewski’s solution and of some related aspects of Lesniewski’s later thought. (shrink)

Lvov-Warsaw School in Philosophy – as the very name suggests – was connected mainly with two academic centers: universities in Lvov and Warsaw. However, it had a broader impact. The members of this school were active also at other universities, in particular in Cracow, Vilnius and Poznań. The aim of the paper is to present and analyze the connections of Lvov-Warsaw School with the University in Poznań.

We take into account two areas of the logical research of the Lvov-Warsaw School. First, we consider a new approach to research in the history of logic introduced and practiced by Łukasiewicz and some of his followers. In this style of doing history of logic, the knowledge of original philosophical and logical texts was combined with competence in modern logic. This method resulted in many important discoveries both in history and in logic and philosophy. At the same time, (...) we pay attention to contemporary historical research devoted to the logic created by the School itself. In this context, we present an overview of the six papers included in the special issue ‘Logic and its History in the Lvov-Warsaw School’. These papers were presented at an international symposium, ‘History in/of the Lvov-Warsaw School’, held in October 2022 in Warsaw, and they cover various aspects of historical-logical and logical achievements of the School. They concern topics from history of ancient logic, history of modern proof theory, and the issues of applying logic to philosophy and theology in the same way as the one implemented at the Lvov-Warsaw School. (shrink)

It is argued that the source of complexity in language is twofold: repetition, and syntactic embedding. The former enables us to return again and again to the same subject across many sentences, and to maintain the coherence of an argument. The latter is governed by two forms of complexification: the functor-argument structure of all languages and the operator-bound-variable mechanism of familiar formal languages. The former is most transparently represented by categorial grammar, and an extension of this can adequately describe the (...) syntax of variable binders. Both developments have roots within the work of the Lvov-Warsaw School. (shrink)

This paper presents the link between Arthur N. Prior and logicians that belonged to the Lvov-Warsaw School. Although certain members of the Lvov-Warsaw School influenced Prior’s views, the amount and the form of the impact are still under discussion. Prior also cooperated with some of them in the development of his systems of logic. This paper focuses on four main areas in which Prior admitted adopting ideas from the Lvov-Warsaw School: systems of propositional logic, (...) the history of logic, modal and temporal logic and ontology. Prior’s published works as well as his correspondence, which is stored in Prior’s Nachlass, are used to describe the influence. (shrink)

Alfred Tarski’s influence on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is Tarski’s work on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, model-theoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.

This book presents the heritage of the Lvov-Warsaw School from both the historical and the philosophical perspective. The historical view focuses on the beginnings and the dramatic end of the School brought about by the outbreak of World War II. The philosophical view, on the other hand, encompasses a broad spectrum of issues, including logical, epistemological, axiological, and psychological problems, revealing the interdisciplinary nature of studies carried out by Kazimierz Twardowski and his students. With thirteen diverse and (...) original essays this volume is split into three parts: History, Culture and Axiology; Psychology; and Logic and Methodology. Exploring not only the history of philosophy represented by the Lvov-Warsaw school, the book also reflects on the condition of contemporary philosophy from the perspective of concepts developed by its representatives. Furthermore, the studies presented in this book delve into problems of contemporary science and its distinctive interdisciplinary character. This volume is, therefore, not only a collection of analyses of the Lvov-Warsaw School philosophy, but also an investigation into the interdisciplinarity of science and philosophy itself. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Tadeusz Kotarbiński (1886–1981) was a prominent member of the Lvov‑Warsaw School. He is most famous as the founder of praxiology, but his contribution to ontology and semantics was significant as well. Kotarbiński introduced the doctrine of reism (in Elementy [Elements], in 1929). Ontological reism is a radical form of nominalism; it claims that there are no other objects than things or concrete individuals. Semantic reism claims that meaningful statements have to contain only concrete terms (names of things). Other (...) terms are apparent or “onomatoids”, and they should be eliminable from meaningful statements. In his doctrine, Kotarbiński appealed to Leśniewski’s Ontology (calculus of names). He also advocated a version of the classical correspondence theory of truth (without assuming the existence of facts, states of affairs, and sets). He combined this view with his reism, which accepts physicalism (all psychic beings are physical objects). This position differed from the Vienna Circle, where the correspondence theorists (Moritz Schlick) were phenomenalists and the physicalists (Otto Neurath) supported the coherence theory. (shrink)

Poland has played an enormous role in the development of mathematical logic. Leading Polish logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a field covering different topics relevant to philosophical foundations of logic itself, as well as various individual sciences. This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish way of doing philosophical logic. This book will be of interest to logicians, mathematicians, philosophers, and linguists.

The publication of this book constitutes a real service to students of logic and of the foundations and philosophy of mathematics. Here, "under one roof," are translations of seventeen of the most important papers on logic and metalogic by Ajdukiewicz, Chwistek, Jaskowski, Jordan, Lesniewski, Lukasiewicz, S upecki, Sobocinski, and Wajsberg. All but two of them appear in English for the first time. Notably absent are papers by Alfred Tarski, but this omission is fully justified in view of the publisher's (...) well-known companion volume devoted exclusively to this most important logician. Within the contents of this volume, the major topics covered are various systems of sentential logic ; philosophically-motivated foundational studies ; miscellaneous papers on logical syntax, intuitionism and metalogic; and historical studies of the development of Polish logic. One cautionary note: the protothetic notation of Lesniewski is extremely difficult to read. Before undertaking that author's articles, the reader will do well to turn to the explanatory footnotes in the subsequent articles by Sobocinski. The book has a bibliography, but no index. In general, this is a worthwhile and long overdue book.—H. P. K. (shrink)

Zbigniew Tworak The early Leśniewski and the Liar AntinomyIn his early, prelogistic article „Critique of the Logical Principle of Excluded Middle” (1913) Stanislaw Leśniewski presents a certain solution to the Liar Antinomy. He argues that the Logical Principle of Excluded Middle is false but he defends the so-called Principle of Contradictory Sentences (the weaker version of the Logical Principle of Excluded Middle) and the Logical Principle of Contradiction. The paper discusses this solution. Leśniewski’s solution to the Liar antinomy differs from (...) Tarski’s in several important details. On the one hand, there is a connection between the proposition and a medieval solution to insolubilia, the so-called restrictio theory. A restrictio is a doctrine which has it that self-reference is illegitimate (either in all cases or in some cases only). On the other hand, there is a connection between the proposition and the contextual approach (what is communicated by the sentence varies with the context of use of the sentence). Keywords: Stanislaw Leśniewski, Liar Antinomy, restrictio theory. (shrink)

The European Summer Schools in Logic, Language and Information (ESSLLI) have been organised every year since 1989 under the auspices of the Association for Logic, Language and Information (FoLLI) in different cities around Europe. The 24th European Summer School in Logic, Language and Information (ESSLLI 2012) took place at the University of Opole, Poland, during August 6-17, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula Wybraniec-Skardowska (Institute of Mathematics and Informatics, University of Opole) and the programme (...) committee was chaired by Andreas Herzig (University of Toulouse and CNRS). During two weeks, over 340 participants from 36 countries were offered a rich academic program of their choice from 9 foundational, 16 introductory and 17 advanced courses and 6 workshops. Just as in the previous years, the 17th conference on Formal Grammar collocated with ESSLLI. Besides the regular courses, a traditional highlight of the summer school were the 4 evening lectures by distinguished academics: - Johan van Benthem (Institute for Logic, Language & Computation (ILLC), Amsterdam and Department of Philosophy, Stanford University), "Computation as Agency''; - Melvin Fitting (Department of Mathematics and Computer Science, City University of New York), "Reasoning About Games''; - Jonathan Ginzburg (UFR Études anglophones, Université Paris-Diderot (Paris 7)), "False starts, jokes, and music:semantics in the 21st century''; - Adam Przepiórkowski (Institute of Computer Science, Polish Academy of Sciences, Warsaw), "Secret life of corpora''. Another traditional event was the student session, organised by a student programme committee chaired by Rasmus K. Rendsvig (University of Copenhagen): master and doctoral students presented 16 papers and 5 posters, and Michał Zawidzki obtained the best paper award and Raul Fervari obtained the best poster award. Moreover, the Beth Dissertation Prizes were announced at the FoLLI General Meeting and went to Andreas Kapsner (University of Barcelona) and Daniel R. Licata (Carnegie Mellon University). Apart from the busy academic programme, participants of the summer school were offered an exciting social program as well. In addition to the traditional ESSLLI Party and the famous Students vs. Lecturers Soccer Match (also called `Johan van Benthem Cup'), kayaking, and excursions to Kraków and Wrocław were offered. -/- . (shrink)

The roots of the Lvov-Warsaw School can be traced back to Aristotle himself. But in later times we better put them into thinking GW Leibniz and who somehow inherited many of these ways of thinking, such as the philosopher and mathematician Bernhard Bolzano. Since he would pass the key figure of Franz Brentano, who had as one of his disciples to Kazimierz Twardowski, which starts with the brilliant Polish school of mathematics and philosophy dealt with. Among them, (...) one of the most interesting thinkers must be Jan Lukasiewicz, the father of many-valued logic.Jan Łukasiewicz began teaching at the University of Lvov, and then at Warsaw, but after World War II must to continue in Dublin. Some questions may be very astonishing in the CV of Łukasiewicz. For instance, that a firstly Polish Minister of Education in Paderewski cabinet, into the new Polish Republic, and also Rector for two times at Warsaw University, was awarded with a Doctorate ‘Honoris Causa’ in spring 1936, at University of Münster, into the maximum of effervescency of Nazism in Germany. The explanation must be their good relation with a very good friend, the former theologian, and then logician, Heinrich Schölz, who was the first Chairman of Mathematical Logic in German universities.Łukasiewicz firstly studied Law, and then Mathematics and Philosophy in Lvov. His doctoral supervisor was Kazimierz Twardowski, and in 1902 he obtain his Ph. D. title with a very special mention: ‘sub auspiciis Imperatoris’. Also he received a doctorate ring with diamonds from the Kaiser of the Austro-Hungarian Empire, Franz Joseph I.From 1902, Łukasiewicz was employed as a private teacher, and also as a desk in the Universitary Library of Lvov. So it was until 1904 when he obtained a scholarship to study abroad. He defends his ‘Habilitationschrift’ in 1906, entitled “Analysis and construction of the concept of cause”. This permits to give university courses. His first lectures were on the Algebra of Logic, according to the recent translation to Polish of this book of the French logician Louis Couturat.Between 1902 and 1906, Lukasiewicz continued his studies in the universities of Berlin and Leuwen. In 1906, by his ‘Habilitationschrift’, he obtain the qualification as university professor at Lvov. And the, in 1911, he was appointed as associate professor in his ‘alma mater’.Jan Łukasiewicz was also very active in historical research on logic, giving a new and up-to-date interpretation of Aristotle’s syllogism and of the Stoics’ propositional calculus. According to Scholz, the better pages on history of logic are due to him. And also, as Arianna Betti says, “Jan Lukasiewicz is first and foremost associated with the rejection of the Principle of Bivalence and the discovery of Many-Valued Logic.”The discovery of MVL by Lukasiewicz was in 1918, a little earlier than Emil Leon Post. According to Jan Wolenski, “although Post’s remarks were parenthetical and extremely condensed, Lukasiewicz explained his intuitions and motivations carefully and at length. He was guided by considerations about future contingents and the concept of possibility”. So, he introduces, firstly, three-valued logic, then four-valued logic, generalized to logics with an arbitrary finite number of veritative values, and finally, to logics with a countably infinite-valued number of such values.Very noteworthy is his treatment of the history of logic in the light of the new formal logic. Thus, not only he addressed the issue of future contingents departing from Aristotle, but also put in value logic of the Stoics, at least so far taken. In fact, Heinrich Scholz said, rightly, that Lukasiewicz had written the most lucid pages on the history of logic. (shrink)

This book with an introduction by Witold Marciszewski, views the history of philosophy and logic from 1837 to 1939 from the perspective of the cradle of modern exact philosophy - Central Europe. In a series of case studies, it illuminates the developments in this region, most notably in Austria and Poland, examining thinkers such as Bolzano, Brentano, Meinong, Husserl, Twardowski, Lesniewski, and Tarski, as well as the logicians like Frege and Russell with whom they bore a close resemblance. The (...) book challenges established views about the history of philosophy and logic in Europe, and shows the vitality of the Central European tradition. (shrink)

It was one of Brentano’s central ideas that all judgements are at bottom existential. In his Psychology from an Empirical Standpoint he tried to show how all traditionally acknowledged judgement forms could be reinterpreted as existential statements. Existential propositions, therefore, were a central concern for the whole Brentano School. Kazimierz Twardowski, who also accepted this program, introduced the problem of the existential reduction to his Polish students, but not all of them found this idea plausible. In 1911 Stanisław Leśniewski (...) published a paper under the title “A Contribution to the Analysis of Existential Propositions” where he criticised Brentano’s translation. According to Leśniewski the consequences of Brentano’s program would be absurd because according to Leśniewski all positive existential propositions are analytically true and all negative ones are contradictory. In his later works Leśniewski repudiated all his early writings (1911–1914) as philosophically immature and formally imprecise. “[…] I regret that they have appeared in print,” he writes, “and formally ‘repudiate’ them herewith […]”. But in spite of this severe assessment, these early papers are worth considering not only from a historical standpoint. As we will see, Leśniewski’s critique of Brentano is unsound, but it casts an interesting light on his understanding of certain basic metaphysical concepts. (shrink)

This paper surveys mereology, the theory of parts and wholes, focussing on its origins in Leśniewski, and noting its intended employment as a surrogate for set theory. We examine parallel and independent work by Whitehead, Leonard and Goodman, and outline the subsequent adventures of mereology, both in its formal guises and in its now intensive application within philosophical ontology.

New Essays on Tarski and Philosophy contains newly commissioned essays on the philosophical aspects of the work of Polish logician, mathematician and philosopher Alfred Tarski. Topics covered include Tarski's relations to other Polish figures, e.g. Lesniewski and Kotarbinski, the Vienna Circle, and other figures such as Hilbert and others who studied the foundations of mathematics and logic at the time. The volume also includes essays interpreting and criticizing Tarski's views.

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.