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.

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)

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)

The Warsaw School of Logic (WSL) was the famous branch of the Lvov-Warsaw School (LWS) – the most important movement in the history of Polish philosophy. Logic made the most important field in the activities of the WSL. The aim of this work is to highlight the role and significance of the WSL in the history of logic in the 20th century.

Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will examine in particular the (...) attempts to resolve these difficulties on the part of Leśniewski. It will continue with an account of the relations of Kotarbińskian reism to the ontology of things or entia realia defended by the later Brentano. Kotarbiński’s identification of Brentano as a precursor of reism is, it will be suggested, at least questionable, and the paper will conclude with a more careful attempt to situate the Brentanian and Kotarbińskian ontologies within the spectrum of competing ontological views. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) (...) non-deductive, and additionally two types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

This article explores the question of how the members of the Lvov-Warsaw School promoted values that can be regarded as components of so-called logical culture. The author argues that these values are strictly connected with science. With references to Łukasiewicz, Czeżowski, and Kotarbiński,the article explores how values shape the logical culture and determines society as directed towards values. The article connects the meta-philosophical perspective with the philosophical one.

The influence of Kasimir Twardowski on modern Polish philosophy is all-pervasive. As is well known, almost all important 20th century Polish philosophers went through the hard training of his courses in Lvov. Twardowski instilled in his students an enduring concern for clarity and rigour. He taught them to regard philosophy as a collaborative effort, a matter of disciplined discussion and argument. And he encouraged them to work together with scientists from other disciplines — above all with psychologists, (...) and also with mathematicians — so that the Lvov school of philosophy would gradually evolve into the Warsaw school of logic. (shrink)

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)

The aim of this paper is to show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski’s “The Concept of Truth in Formalized Languages” arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano. The paper shows more specifically that certain investigations of states of affairs and other objectual correlates of judging acts, investigations carried out by Austrian and Polish philosophers around the turn of the (...) century, formed part of the background of views that led to standard current accounts of the objectivity of truth. It thus lends support to speculations on the role of Brentano and his heirs in contemporary logical philosophy advanced by Jan Wolenski in his masterpiece of 1989 on the Logic and philosophy in the Lvov-Warsaw School. (shrink)

Abstract The opening section outlines probabilism in the 20th century philosophy and shortly discusses the major accomplishments of Polish probabilist thinkers. A concise characterization of Bayesianism as the major recent form of probabilism follows. It builds upon the core personalist version of Bayesianism towards more objectively oriented versions thereof. The problem of a priori probability is shortly discussed. A tentative characterization of Kazimierz Ajdukiewicz’s standpoint regarding the inductive inference is cast in Bayesian terms. His objections against it presented in (...) Pragmatic Logic are presented. His 1958 paper on justification of non-deductive inference, as amply demonstrated by K. Szaniawski and I. Niiniluoto, extends his earlier Baysian position from 1928 monograph. In the closing section Ajdukiewicz’s standpoint is presented as a characteristically pragmatist and empiricist version of Bayesianism, which remains an unexplored and stimulating position. (shrink)

„Ruch Filozoficzny” and the freedom of scientific research in Poland (in 1947-1957 years). Presented article refers to the situation in the Polish philosophy, which took place between 40-50 of the twentieth century. Author’s reflections are carried on the example of attempts to reactivate in the realities of war, the polish philosophical journal “Ruch Filozoficzny” founded in 1911 by Kazimierz Twardowski. Political conditions have made the magazine was renewed twice, at each time was the greatest merit of Tadeusz Czeżowski. (...) He was assisted by the other representatives of the Lvov-Warsaw School, who worked in various academic centers in Poland. The reconstruction of the history of the magazine in the postwar years, will be based on previously unpublished archival material. In its conclusions, the author tries to point out of great importance of independent from the political authorities publishers on development of Polish philosophy. (shrink)

The aim of this article is to investigate the reception of Husserl’s theory of meaning by Ajdukiewicz and Blaustein, two members of the analytically-oriented Lvov-Warsaw School, who, in different ways, were attracted to and confronted with Husserl’s phenomenology. The discussed hypothesis is that Ajdukiewicz’s interpretation of Logical Investigations, and his original theory of meaning influenced both Blaustein’s critical reading of Husserl’s theory of intentionality and his account of meaning-intention. After outlining the central elements of “First Logical Investigation” the (...) paper shows how it is interpreted by Ajdukiewicz in his Lvov lectures on logic and in his directival theory of meaning. What emerges is a psychological-descriptive interpretation of Husserl’s concept of meaning, and a reconsideration of his theory of intentionality within the inferential structure of beliefs in premises that motivates a person who speaks a language to believe in conclusions of a certain form. This leads Ajdukiewicz to his own original conventionalist account of meaning which is based on the identification of three main directives of meaning that represent the matrix of a given language, i.e., the grid in which each meaning finds its place. These elements allow one to demonstrate how Ajdukiewicz’s interpretation resonates in Blaustein’s critique of Husserl in his early writings, where, in addition to a psychological-descriptive reading of phenomenology we also find a conventionalist conception of meaning acts and signitive presentations. According to Blaustein, a sign can represent an object only through the conventions arising from the directives of meaning that belong to a given natural language. (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)

Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: (...) axiomatic deduction method and natural deduction method were developed and practiced. In this paper, both of these methods are briefly discussed with an emphasis on their historical, groundbreaking significance for logic. The axiomatic method by means of rejection (proposed by Jan Łukasiewicz – a co-creator of the WSL), which is the method of the so-called rejection proof (rejection/refutation method) in logical systems and the proving method of generalized natural deduction, which is a hybrid deduction–refutation method of proving theorems, are also outlined in the paper. The author discusses their historical significance. This paper also contains a brief mention of the most significant results which the application of the discussed methods introduced into contemporary scientific research, not only logical one. (shrink)

The author raises the question why Polish philosophy (by which he means Polish analytical philosophy, or the philosophy of the Lvov-Warsaw School) differs so much from what is known as 'Continental philosophy'. He identifies and analyses the following factors which have influenced philosophical developments in Poland: socialism, the connection between philosophy and mathematics, the influence of Austrian philosophy, the peculiar role of K. Twardowski, and Catholicism. The article ends with an appeal for not tolerating irrationalism and (...) relativism in philosophy. (shrink)

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) painter, philosopher, and logician interested in Russell’s work, such connections meant that he won the competition for a professorship at the university in Lwów over Alfred Tarski. Until recently, Chwistek’s place in Polish logic remains unclear and Ingarden’s interactions with Polish logic and the Vienna Circle have not been investigated extensively. A deeper look at this intellectual fracas between Ingarden and Chwistek helps one in the study of the complicated mesh of alliances within the Lwów-Warsaw School. The article also identifies the origins of the split between phenomenology and the analytic philosophical tradition in Poland. The article is also accompanied by the translations of the reviews. (shrink)

Who and how revised Marxism in Poland? The simple answer is that it was done by young intellectuals seeing themselves as obligated to social and political activity, eager to participate in the process of the constitution of a new postwar Communist society. Marxism was for them a philosophical world-view and a political program rising hopes for a better socio-economic reality. Revisionists were committed Communists and their attitude toward Marxism was almost religious. Marxism, Promethean and scientific at the same time, was (...) supposed to replace religion, for which the radically secular revisionists saw no place in the new society. (See: Mikołajczyk 2013, p. 44-48) After the shock of 1956 they stuck by the slogan: ’socialism–yes, distortions–no,’ they thought that “Marxist socialism was possible without Leninist political forms, that Communism might be attacked within «the framework of Marxism»,” and they “believed for some time ... that Stalinism was curable in the sense that Communism could be restored or «democratized» without questioning its foundations” (Kolakowski 1978, p. 461). They saw themselves in an elitist way, i.e., as true and devoted Marxists fighting with dogmas, orthodoxy, myths, and unfounded faith both within Marxism-Leninism and outside it. They were willing to accept the position of sectarians, heretics, or apostates. Their political and ideological involvement forced them to attack pre-war but still active Polish philosophers of the Lvov-Warsaw School and other nonMarxist thinkers (Roman Ingarden, Władysław Tatarkiewicz, Stanisław Ossowski), who were classified as “bourgeois thinkers” unable to understand and assimilate Marxism. (shrink)

The article aims to determine whether it is possible to build the reliably practiced classical philosophy, understood as a metaphysical research, directed towards the nature of objective reality. The purpose of this kind of philosophizing is knowledge and truth. Moreover, the practice of such philosophizing and its results should meet some of the characteristics of science. The paper establishes a set of conditions that have been imposed on the science of metaphysics by Kazimierz Twardowski. Among the conditions of such philosophizing (...) are anti-dogmatism, criticism, inter-subjectivity of philosophizing and its results, proper epistemic justification of philosophical beliefs, application of the analysis method, rigorous language and reasoning, the use of experience and scientific knowledge. The paper considers these conditions to be correct in most cases and argues that metaphysics can meet them. The existing cases of analytical metaphysics show that metaphysics is possible as a science. Next, the article argues that the late Twardowski failed to substantiate his claim that metaphysical positions which he classified as a world-view philosophy could not be scientifically justified, which could have been possibly done with differentiating ways of understanding what such a scientific justification should be. The article argues that he did not take into account a reductive conception of the metaphysical philosophy, which even though it allows the plurality of metaphysical explanations and does not force anyone to accept one position as the only possible and correct explanation, would have an objective value, if such metaphysics were elaborated indeed. (shrink)

The article presents ethical work of an outstanding representative of the philosophical Lvov-Warsaw School – Izydora Dąmbska. The conviction that philosophy is a science and is axiologically grounded was inherited from her teacher Kazimierz Twardowski. According to this point of view, being a philosopher means realization of both intellectual and moral values. The text gives an insight into the ways Dąmbska understands the term ethics and her notion of the most fundamental terms of axiological ethics: assessment, values, norms. (...) The four distinguished by her issues of scientific ethics: the issue of ethical criteria, sources of morality, moral foundation and range of ethics are also examined. Dąmbska’s achievements in the history of ethics, her reflections on ethics’ independence from religion and on teaching ethics at school are also presented. (shrink)

Inquiries concerning the theory of imperatives and norms prosecuted in Poland in the 20th century covered practically the whole scope of this theory. In a uniform conceptual scheme, the paper shows main results of this research done mostly within the Lvov-Warsaw School tradition. It begins with presenting the Polish theoreticians’ approach to three correlated theoretical situations containing our preferences (opposed to impulses, decisions and tendencies), accepted values and imposed obligations. The second step is discussing their views on (...) means of verbalising these situations, i.e. by help of imperatives, evaluations and norms (opposed to consultatives, instructions and optatives) correspondingly. The paper is closed with examining the Polish logicians’ trials of reconstruction of imperative-normative argumentation. (shrink)

This paper reconstructs the American reception of logical positivism in the early 1930s. I argue that Moritz Schlick (who had visiting positions at Stanford and Berkeley between 1929 and 1932) and Herbert Feigl (who visited Harvard in the 1930-31 academic year) played a crucial role in promoting the *Wissenschaftliche Weltauffassung*, years before members of the Vienna Circle, the Berlin Group, and the Lvov-Warsaw school would seek refuge in the United States. Building on archive material from the Wiener Kreis (...) Archiv, the Harvard University Archives, and the Herbert Feigl Papers, as well as a large number of publications in American philosophy journals from the early 1930s, I reconstruct the subtle transformation of the American philosophical landscape in the years immediately preceding the European exodus. I argue that (1) American philosophical discussions about meaning and significance and (2) internal dynamics in the Vienna Circle between 1929 and 1931 significantly impacted the way in which US philosophers came to perceive logical positivism. (shrink)

From the European point of view Zbigniew Antoni Jordan as a historian of the newest Polish philosophy In his article, the author presents Zbigniew Jordan’s works in the area of the history of philosophy, which are not well known in Poland. This representative of Lvov and Warsaw School was abroad, writing his habilitation thesis, when the World War II broke out. The war did not prevent him from active participation in the political life of Polish emigrants (...) in Great Britain. For the needs of current political activity he accomplished a lot of reliable and objective analyses of some geopolitical phenomena, which were a consequence of just finished war. Such kind of works made him take up serious historical studies and he started to use obtained experience to analyze the state and works of modern Polish philosophy, and especially the works of Lvov and Warsaw School. Furthermore, the article is an attempt to show the significance of Jordan’s works in propagating the history of Polish philosophy abroad. (shrink)

This is the first English translation of Leon Chwistek’s “Tragedia werbalnej metafizyki,” Kwartalnik Filozoficzny, Vol. X, 1932, 46–76. Chwistek offers a scathing critique of Roman Ingarden’s Das literarische Kunstwerk and of the entire Phenomenology movement. The text also contains many hints at Chwistek’s own philosophical and formal ideas. The book that Chwistek reviews attracted wide attention and was instrumental in winning Ingarden a position as Professor of Philosophy at the University of Lwów in 1933. Chwistek’s alienation from his fellow logicians (...) of the Lvov-Warsaw school is clear from his ridicule of Leśniewski’s project. (shrink)

The structure of this paper is as follows. My starting point is psychological flexibility (henceforth, PF) as it has been presented in psychology. Here I offer a synthetic view which embraces the most crucial aspects of flexibility, and describes its functional roles and underlying mechanisms. Secondly, I move my attention onto the field of current action theory and discuss two elementary concepts we commonly use when describing our actions: intention and desire. Of course, there are many “theories of desire” and (...) there is no point in trying (nor even the option) to discuss all of them under one heading. To show where the question of PF sneaks into the scene of action theory, I explore the idea of the resistance of desire, as proposed by Timo Airaksinen. The second concept to investigate at this stage is intention. As in the previous case, it is plain that there are plenty of accounts of intentions and there are many roles they play in the phenomenology of action. For the purposes of this paper, we need only something that can be interpreted as an approach to PF. Such an approach can be found in the idea of stability of intention or a plan, discussed famously by Michael Bratman. According to my interpretation, these two ideas, resistance of desire and stability of intention, allow to initially understand some important aspects of PF in action theory. To get a slightly more comprehensive view – and to supplement the outcomes gained on the grounds of the analyses of these two accounts – I introduce, in the third step, the concept of plasticity which comes from the so-called praxiology proposed by Tadeusz Kotarbiński (Lvov-Warsaw School). I try to show how this concept is still feasible and how it may enrich current philosophical accounts of agential flexibility. The strategy behind this stage of the paper is to enrich the Bratmanian approach to psychological stability. The last part of the paper contains some remarks on the philosophical outcome of the interdisciplinary approach to PF. (shrink)

A Norwegian translation is here offered of Eugenie Ginsberg’s paper «Zur Husserlschen Lehre von den Ganzen und den Teilen» (in Archiv für systematische Philosophie und Soziologie 32, 1929, 108–120). The paper discusses Husserl’s six theorems from Logical Investigations III, §14. Ginsberg provides new proofs for theorems 1 and 3, and also endorses theorem 5. In contrast, a counter example is given to theorems 2, 4, and 6: However, proofs are supplied for a modified version of these theorems. Furthermore, an additional (...) three theorems are defended based upon Ginsberg’s modified theorems. Also, a brief introduction is given discussing Ginsberg’s pioneering role as part of the Lvov-Warsaw school—in spite of her being murdered by the Nazis in 1942—especially her role as the first commentator on Husserl’s third logical investigations, which is a pioneering work on mereology and ontology; but also her later publication from 1931 where she developed several notions of ontological dependence (for instance foreshadowing the work of Roman Ingarden as well as Kit Fine). (shrink)

In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of (...) them stand under factual historical philosophical systems and they organize processes of doing philosophy within these systems. Many architectonic forms have never been realized in the history of philosophy. The presented theory may be interpreted as falling under Hegel’s paradigm of comprehending cultural texts. This paradigm is enriched and inspired with Propp’s formal, morphological view on texts. The peculiarity of this modification of the Hegel-Propp paradigm consists of the use of algebraic and algorithmic tools of modeling processes of cultural development. To speak metaphorically, the theory is an attempt at the mathematical and logical history of philosophy inspired by the Internet metaphor. And that is why it belongs to the tradition of doing metaphilosophy in The Lvov-Warsaw School, which is continued today mainly by Woleński, Pelc, Perzanowski, and Jadacki. (shrink)

Zbigniew Jordan (1911–1977) – an outline to philosophical biography The 100th anniversary of Zbigniew Jordan’s birthday, which is coming soon, is an opportunity to remind this forgotten philosopher, classified in the second generation of Lvov and Warsaw School. His complex fortune reflects dilemmas and perplexities of Polish intelligence in the war and post-war times. Jordan, after defending his doctoral thesis in philosophy at Poznań University, continued his studies at Paris Sorbonne. At that time the prepared his postdoctoral (...) thesis on the notion of infinity. His work on this theme was interrupted by the outbreak of the WWII and Jordan participated in operations of Polish Army in the west. After the end of the war he started working in Radio Free Europe, Paris “Culture” and then in the centres of sovietology research in Europe and the United Stated. He has never come back to philosophy and only in the 1960s he undertook research work at English Universities at first as a lecturer and then as a professor of sociology. He died in the USA in 1977. Although Zbigniew Antoni Jordan did not accomplish any crucial discoveries in science, his life story is nearly a symbol of the historical turbulence and dilemmas, which were experienced by Polish intelligence at emigration. (shrink)

Stanislaw Lesniewski’s interests were, for the most part, more philosophical than mathematical. Prior to taking his doctorate at Jan Kazimierz University in Lvov, Lesniewski had spent time at several continental universities, apparently becoming relatively attached to the philosophy of one of his teachers, Hans Comelius, to the chapters of John Stuart Mill’s System of Logic that dealt specifically with semantics, and, in general, to studies of general grammar and philosophy of language. In these several early interests are already to (...) be found the roots of the work that was to occupy Lesniewski’s life: a search for a definitive doctrine of what sorts of things there are in the world, or better, of what language must be like if it is adequately and efficiently to represent the world. (shrink)

This Open Access volume is based on the 'Early Carnap in Context’ workshop that took place in Konstanz in 2017 and looks at Rudolf Carnap’s philosophy, documented in his recently released diaries, from a combination of historical, cultural and philosophical perspectives. It enables further evaluation of the diaries and traces newly found interrelationships and their systematic definition. From a cultural and historical point of view, Logical Empiricism and Carnap’s pivotal opus, The Logical Structure of the World, did not evolve in (...) a vacuum. This applies equally in a history of philosophy context as well as under consideration of contemporary historical and cultural influences such as the socio-cultural setting in Vienna and Prague, the correlation between Logical Empiricism and Bauhaus modernism, the connection to the Life Reform Movement or the Youth Movement with its own life philosophy. Pursuing Carnap’s progression on a micro level of history and referring the results back to Carnap’s philosophy is now facilitated by recent access to his Diaries from 1908–1935. These shorthand records, reading lists, travel reports and notes constitute a valuable source for the research of networks and social movements which left their mark on him. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

This paper is about the topic of psychologism in the work of Kazimierz Twardowski and my aim is to revisit this important issue in light of recent publications from, and on Twardowski’s works. I will first examine the genesis of psychologism in the young Twardowski’s work; secondly, I will examine Twardowski’s picture theory of meaning and Husserl’s criticism in Logical Investigations; the third part is about Twardowski’s recognition and criticism of his psychologism in his lectures on the psychology of thinking; (...) the fourth and fifth parts provide an overview of Twardowski’s paper “Actions and Products” while the sixth part addresses the psychologism issue in the last part of this paper through the delineation of psychology and the humanities. I shall conclude this study with a brief assessment of Twardowski’s solution to psychologism. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Alfred Tarski was one of the greatest logicians of the twentieth century. His influence comes not merely through his own work but from the legion of students who pursued his projects, both in Poland and Berkeley. This chapter focuses on three key areas of Tarski's research, beginning with his groundbreaking studies of the concept of truth. Tarski's work led to the creation of the area of mathematical logic known as model theory and prefigured semantic approaches in the philosophy of language (...) and philosophical logic, such as Kripke's possible worlds semantics for modal logic. We also examine the paradoxical decomposition of the sphere known as the Banach–Tarski paradox. Finally we examine Tarski's work on decidable and undecidable theories, which he carried out in collaboration with students such as Mostowski, Presburger, Robinson and others. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are (...) connected with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category. (shrink)

This article traces a logical and political thread leading from the theory of revolt in Furio Jesi's 1969 Spartakus to his later work on festivity and the “mythological machine model.” It opens by arguing that the humanist model that frames Jesi's early efforts to disarm the allure of insurgent violence, sacrificial mythology, and Manichaean politics generates insoluble aporias that spur the development of a radically different approach to the study of myth and human nature. Next, it shows how Jesi's studies (...) on festivity from the 1970s redound upon and transform the theory of revolt in Spartakus, bringing this theory more in line with current epochal conditions. In doing so, they presage and lay the groundwork for the theory of destituent power developed in recent decades by Giorgio Agamben. (shrink)

This article evaluates Furio Jesi’s conception of mythic violence, focusing in particular on his theory of revolt as a mode of collective experience qualitatively distinct from that of revolution. Jesi offers both a descriptive phenomenology of how uprisings alter the human experience of time and action, as well as a critique of the “autonomy” these moments afford their participants. In spite of their immense transformative power to interrupt historical time and generate alternate forms of collective subjectivation, the event-like structure of (...) revolt also harbors within it a unique set of dangers. Such creative mutations risk trapping political actors within a relational logic of the exception, a “ban” structure that, although distinct from the atomization that governs normal time, ultimately works to reinforce it in the long run. The article concludes by suggesting that Jesi’s late concept of the “cruel festival” offers a troubling premonition of our current era, in which revolts proliferate in the absence of any ideological horizon of revolution. (shrink)

Imagine a dog tracing a scent to a crossroads, sniffing all but one of the exits, and then proceeding down the last without further examination. According to Sextus Empiricus, Chrysippus argued that the dog effectively employs disjunctive syllogism, concluding that since the quarry left no trace on the other paths, it must have taken the last. The story has been retold many times, with at least four different morals: (1) dogs use logic, so they are as clever as humans; (2) (...) dogs use logic, so using logic is nothing special; (3) dogs reason well enough without logic; (4) dogs reason better for not having logic. This paper traces the history of Chrysippus's dog, from antiquity up to its discussion by relevance logicians in the twentieth century. (shrink)

Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have for the management of informal mathematical (...) knowledge. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

In “Belief in the Face of Controversy,” Hilary Kornblith argues for a radical form of epistemic modesty: given that there has been no demonstrable cumulativeprogress in the history of philosophy – as there has been in formal logic, math, and science – Kornblith concludes that philosophers do not have the epistemic credibility to be trusted as authorities on the questions they attempt to answer. After reconstructing Kornblith's position, I will suggest that it requires us to adopt a different conception of (...) philosophy's epistemic value. First, I will argue that ‘progress’ has a different meaning in logic, science and philosophy, and that to judge one of these disciplines by the standards appropriate to one of the others obscures the unique epistemic functions of all. Second, I will argue that philosophy is epistemically unique in that it is a non-relativistic but historically determined excavation of foundations. Finally, drawing on Frank Herbert's Dune, I will suggest that Kornblith leaves us with a choice between two epistemic ideals: the hyper-logical ‘Mentat,’ or the historically informed ‘pre-born.’. (shrink)

This paper develops a new structural psychology, and therein proposes a specific model for the scientific study of consciousness. The presented model uses Earth's geologic history of mass-extinction & recovery (evolutionary dynamics) in determining humanity’s adaptive response (conscious and non-conscious traits). It argues humanity adaptively mirrors Earth’s basic evolutionary dynamics, in a “mythologizing of natural adversity” as foundation for all human knowledge – a process that continues well into the modern era. The intellectual lineage used to develop this model includes: (...) • Evolutionary biology offers a context for this study – answering Chalmers’ “hard question,” • Paleoanthropology defines the circumstance of human emergence from Gaia, • Environmental forces on neurophysiology derive an ambiguous but instructive narrative logic (mythic sensibility), • Psychology tracks humanity’s shift from animal-self to modern creative-self, using work of Hegel > Freud > Jung > Rank > Joseph Campbell > Arnold Mindell as a new structural psychology, • Fractal geometry offers a holographic design for modeling consciousness, • Memetics presents a tool for measuring conscious traits, in a variation of the Hall-Tonna values inventory, • Finally, Structured Opportunistic Thinking, a hybrid of NTL’s T-group, and Pierce’s Power Equity Group Theory, suggests a developmental methodology. This work presents a “general hypothesizing model” of human consciousness, in attempting a science of consciousness. (shrink)

This capstone is centered around the development of an efficient electronic property inventory system tailored for school assets, driven by the overarching objective of resource optimization to ensure equitable access to vital materials for all learners. The methodology follows the “ISSO” framework (Ignite, Strategize, Systematize, Operationalize), complemented by a Logical Framework. The project employs a homegrown digitalized system constructed through a waterfall model approach, which undergoes alpha and beta testing. The study’s analysis utilizes a t-Test to evaluate its impact. The (...) outcomes reveal that real-time property monitoring significantly enhances custodianship, while digitalization yields improvements in reliability, efficiency, and usability, effectively overhauling the conventional inventory process. The electronic system fosters stakeholder engagement, supporting communication, budget allocation, and audits. Comparative testing demonstrates clear advantages over traditional manual methods. In conclusion, this study underscores the merits of a refined electronic property inventory system. Notably, the research suggests a need for careful consideration of process complexities in outsourcing decisions and showcases the swift, precise, and transparent accounting provided by e-AIMSS deployments, thereby nurturing transparency and public confidence. This innovative approach holds promise for broader application within the realm of e-government processes. (shrink)

Abstract: The aim of this study was to investigate the factors that causes anxiety in learning of English as second language. Secondary school students, English language teachers and school factors were focused that ground the anxiety in learning of English language as second language among the learners. Under the umbrella of qualitative research, a case study design selected and one to one semi structured interview. Convenience sampling was used in selection of students and purposive sampling for English language teachers. Findings (...) were that ELL is important because it is international language and medium of instruction at higher education institutes. Moreover, teacher employ GMT and lecture based teaching which hinder the ELL. Likewise, our environment also do not support ELL because neither parents nor friends take it seriously. Findings of the study suggest that in addition to GMT English language teacher must use interactive ELL. Parents and friends are also support and create supportive environment for children that enable them to ELL. (shrink)

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...) in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

Önermelerin oluşturduğu sonsuz onaylanma mekanizmasının epistemolojik, sözel, ve analitik olarak incelemesi.

Background Bronchial asthma is one of the most common chronic conditions among children. Despite the improvement in asthma treatment regimens, its prevalence and related morbidity are increasing, especially among underserved, minority children. There are barriers in the management of asthma, which may impact the quality of outcomes. The goal of this study is to explore these barriers. Methods A cross-sectional study was conducted on interview data collected through 2019 from mothers of children (aged 6 - 12 years) with asthma visiting, (...) for convenience, a public shopping mall. The interviewees were randomly selected, because they met the inclusion criteria. Participants were considered if the mother answered “yes” to the following questions: Has your child had physician-diagnosed asthma? Is your child currently taking asthma medications of asthma? Two community nurses conducted the interviews. Data was obtained using administrative questionnaires. Data were analyzed using SPSS version 21.0 (IBM Inc., Chicago, IL, USA). Descriptive statistics of percentage, mean, frequency and standard deviation were applied for categorical and continuous variables. Results Three hundred mothers participated in this study. Their average age was 36.8 years, 55% were housekeepers by profession, and 34% had obtained less than high school education. The majority of children (61%) were males, 45% had moderate asthma, and 42% had mild asthma. The most frequent types of barriers identified by parents were environmental factors (67.7%), followed by health care providers (63%), the health care system (48%), and patient or family characteristics (43%). Mothers were specifically concerned about the use, safety, and long-term complications of medications, the impact of exercise limitation on their child’s quality of life, and their own quality of life. Conclusion This study showed several barriers against asthma care in Saudi Arabia, which mainly related to environmental or personal characteristics. This highlights the need to enhance current policies within the health care system in Saudi Arabia to overcome these barriers. (shrink)