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)

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)

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.

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 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)

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)

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.

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 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)

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)

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)

Why have Polish philosophers fared so badly as concerns their admission into the pantheon of Continental Philosophers? Why, for example, should Heidegger and Derrida be included in this pantheon, but not Ingarden or Tarski? Why, to put the question from another side, should there be so close an association in Poland between philosophy and logic, and between philosophy and science? We distinguish a series of answers to this question, which are dealt with under the following headings: (a) the role (...) of socialism; (b) the disciplinary association between philosophy and mathematics; (c) the influence of Austrian philosophy in general and of Brentanian philosophy in particular; (d) the serendipitous role of Twardowski; (e) the role of Catholicism. The conclusion of the paper is that there is no such thing as 'Polish philosophy' because philosophy in Poland is philosophy per se; it is part and parcel of the mainstream of world philosophy simply because, in contrast to French or German philosophy, it meets international standards of training, rigour, professionalism and specialization. (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)

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)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

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)

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)

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)

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)

„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)

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)

Aims: The purpose of this study is to identify the factors associated with the academic performance of Grade 10 students during their First Quarter of school as well as the significant correlation between the factors and student academic performance in Mathematics. -/- Study Design: Descriptive Correlation Design. -/- Place and Duration of Study: The study was conducted at Agusan National High School in Cagayan de Or City's East 1 District during the school year: 2022 – 2023. -/- Methodology: The respondents (...) were Two hundred thirty-one (231) students in Grade 10 at Agusan National High School in Cagayan de Oro City's East 1 District. This study used a researcher-made questionnaire that underwent validity and reliability testing and the academic performance of the students. -/- Results: The results showed that students agree with routines related to mastering Mathematics at a high level. Furthermore, there is no correlation between student study habits and Mathematics performance in terms of self-confidence, but there is a substantial positive association between the student's study habits and performance in terms of attitude. The study habits and learning techniques used by students were found to be important determinants of how well they performed in Mathematics. The researcher strongly suggested using the enhancement plan in teaching Mathematics to Junior High school students. -/- Conclusion: Students have a very positive attitude toward their study habits when learning Mathematics. Students felt that studying and learning Mathematics was essential. Students' success and academic growth depend heavily on their Mathematics performance. It is essential for pupils to master and comprehend its concepts. Students' study habits in terms of attitudes have an impact on how they learn Mathematics. (shrink)

Axel Honneth reconstructs Hegel’s social and political philosophy on the basis of the concept of recognition. For Honneth, recognition is a constitutive relation between individuals that is in principle symmetrical. By conceiving recognition through symmetry, Honneth effectively bans the inclusion of power within recognitive relation. He thus regards the relations of power as cases of non-recognition or misrecognition. In this paper, I develop an alternative theory of the constitutive relation between individuals for Hegel, one that is based on the asymmetrical (...) relation of power. To this aim, I focus on the chapter of “determinations of reflection” in the Science of Logic. Through a close analysis of Hegel’s Logic, I argue that the most fundamental form of relation between individuals is the relation of opposition, that individuals are solely constituted in and through the relation of opposition, and that the relation of opposition is essentially asymmetrical. Together, these claims establish... (shrink)

I am much indebted to Jacob McNulty, Allegra de Laurentiis and Tony Smith for their generous attention to my book and their insightful remarks. Since I could not possibly do justice to all their concerns, I have unfortunately had to be selective. The issues discussed in this response are organized thematically. In the first section, I discuss why Hegel's logic of essence has to be understood historically; which is to say that the logic of essence provides an ontology that is (...) specific to capitalism. Then, in the second section, I discuss the nature of holism in the logic of essence, and correspondingly, the nature of social holism specific to capitalism. Finally, in the third section, I answer the question: if both Marx's critique of political economy and Hegel's own economic theory in the Philosophy of Right are based on the same logic of essence, why they are so divergent from, and indeed incompatible with, each other. (shrink)

Broadly speaking, two views of modernity are prevalent in contemporary debates. According to the first view, i.e. “modernization theory,” there is one single form of modernity, which is tantamount to liberal, capitalist modernity. The West has already and fully achieved modernity; non-Western societies have lagged behind and must simply catch up with the West. In contrast, according to the second view, “post-colonial theory,” there is no such thing as modernity. What the West erroneously calls “modernity” is nothing but a highly (...) parochial way of thought, and of economic and political organization, that developed by accident first in the West and then by the exercise of military violence or economic power was subsequently “universalized.” In this chapter, I argue that Hegel, read properly, provides a third conception of modernity, one which, contrary to the modernization theory, respects differences between societies, and yet, contrary to post-colonial theory, does not engage in dividing the human species into fundamentally different or incommensurate groups. I argue that Hegel’s theory of modernity must be sought at the conjunction of the Science of Logic (specifically the logic of the Concept) and the Philosophy of Right. I then elaborate on Hegel’s theory of modernity, thus construed. (shrink)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on the abc conjecture (...) as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.

The fallacy fallacy is either the misdiagnosis of fallacy or the supposition that the conclusion of a fallacy must be a falsehood. This paper explores the relevance of these and related errors of reasoning for the appraisal of arguments, especially within virtue theories of argumentation. In particular, the fallacy fallacy exemplifies the Owl of Minerva problem, whereby tools devised to understand a norm make possible new ways of violating the norm. Fallacies are such tools and so are vices. Hence a (...) similar problem arises with argumentative vices. Fortunately, both instances of the problem have a common remedy. (shrink)

Collaborative learning emphasizes student-to-student interaction and the instructor’s role as a facilitator. Collaborative Online International Learning (COIL) was founded in 2005 by the State University of New York (SUNY) to help schools adapt their single classroom courses to an online, collaborative format and establish strong collaborations with professors with whom they would join classes and co-teach using SUNY COIL conferences and website, as well as pre-established partnerships between the institutions. However, as the globe becomes increasingly interconnected, educational challenges aimed at (...) cultivating intercultural competency become more important (Ceo-DiFrancesco & Bender-Slack, 2016). That is why this study aimed to (1) understand the lived experience of students who went under the COIL program in relation to SDG 12, (2) review the new knowledge students obtained when they took part in the COIL program in relation to SDG 12, and (3) discover the challenges students encountered while participating in the COIL program in relation to SDG 12. The researcher surveyed Filipino and Japanese students who participated in the COIL program concerning SDG12 from St. Patrick School of Quezon City, Kwansei Gakuin University, and Meiwa Senior High School. The study employed qualitative phenomenological research, and pertinent data were obtained through an open-ended survey questionnaire. The study was analyzed using Colaizzi’s descriptive phenomenological method. The results showed that the lived experiences of students who went under the COIL program in relation to SD12 have something to do with all their learnings and enjoyable experiences, intercultural and global interactions, and environmental discussions and action plans related to SDG 12. Moreover, students learned and understood better the negative impact of waste on the environment, environmental awareness and practices, the culture and norms in the Philippines and Japan, and the importance and benefits of collaboration. Lastly, the study also revealed the different challenges students encounter while participating in the COIL program in relation to SDG 12, such as cultural differences, language barriers, technical difficulties, and difficulties in experimentation. Thus, it was recommended to learn to adapt to everyone and adjust according to countries’ different cultures, practice and be proficient with the English language, have backup devices and platforms to use to ease technological problems, and improve implementations of experiments. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...) is known as geometric logic. (shrink)

Ajdukiewicz about the applicability of pure logic to philosophical issues the paper is an analysis of the arguments contained by Kazimierz Ajdukiewicz in his article On the applicability of pure logic to philosophical issues (1934). the author argues that philosophers in support of their claims can not use pure logic statements as evidence. Because theses formulate their common language, they can only appeal to the logic of everyday language, an alternative to the modern systems of symbolic logic.

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial (...) characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

I shall in this paper, assume three basic moments. My principal objective is to show that belief in reincarnation from the Igbo narrative is logically coherent with simultaneous subsistence in the ancestral realm. In the first, I engage the question of metaphysics from a socio-hermeneutic perspective to decipher its position as characteristically Igbo; in the second, I propose a scale of eschatology and juxtapose it with the Christian schema such that, I exploit my provision of an Igbo anthroposophy to show (...) how a unique individual exists that is still, the reincarnation of an ancestor. In the final analysis, I demonstrate the uniqueness of the eschatological schemes of the Igbos and Christians, in an effort to interpretatively spell out their fundamental differences and apparent similarities. With this in mind, I am pledged by intellectual troth to portraying the consistence of individual haecceity and reincarnation, making use of Igbo anthroposophy as my operative argumentatory legerdemain. (shrink)

The Peripatetic treatise Peri pneumatos has recently received a great deal of scholarly attention. Some authors, predominantly A. Bos and R. Ferwerda, try to prove that the treatise is a genuine work of Aristotle and all the theories advanced in the text can be ultimately explained by references to this or that Aristotelian doctrine. Quite on the contrary, P. Gregoric, O. Lewis and M. Kuhar are firmly convinced that the treatise contains some physiological ideas introduced after Aristotle and are inclined (...) to support the traditional dating of the treatise to the time after Praxagoras of Cos. Largely in agreement with the latter proposition, in the present study I tentatively place this earliest and unique witness of the discussions on the source of growth and nourishment of the so-called connate pneuma in the context of the Peripatetic tradition of the Early Hellenistic period. The treatise is translated into the Russian for the first time. (shrink)

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...) logics. (shrink)

This paper suggests that time could have a much richer mathematical structure than that of the real numbers. Clark & Read (1984) argue that a hypertask (uncountably many tasks done in a finite length of time) cannot be performed. Assuming that time takes values in the real numbers, we give a trivial proof of this. If we instead take the surreal numbers as a model of time, then not only are hypertasks possible but so is an ultratask (a sequence which (...) includes one task done for each ordinal number—thus a proper class of them). We argue that the surreal numbers are in some respects a better model of the temporal continuum than the real numbers as defined in mainstream mathematics, and that surreal time and hypertasks are mathematically possible. (shrink)

Dual-role approaches to reasons say, roughly, that reasons can relate to actions in two fundamentally different ways: they can either require conformity, or justify an action without requiring that it be taken. This paper develops a formal dual-role approach, combining ideas from defeasible logic and practical philosophy. It then uses the approach to shed light on the phenomenon of supererogation and resolve a well-known puzzle about supererogation, namely, Horton’s All or Nothing Problem.

Bertrand Russell was neither the first nor the last philosopher to engage in serious theorizing about propositions. But his work between 1903, when he published The Principles of Mathematics, and 1919, when his final lectures on logical atomism were published, remains among the most important on the subject. And its importance is not merely historical. Russell’s rapidly evolving treatment of propositions during this period was driven by his engagement with – and discovery of – puzzles that either continue to shape (...) contemporary theorizing about propositions, or ought to do so. Russell’s creative responses to these puzzles also laid the foundation for many later accounts (most obviously, contemporary ‘Russellian’ accounts of propositions). In this entry we provide an opinionated overview of Russell’s influential treatment of propositions, with a focus on the evolution of his views from 1903 to 1919. A growing secondary literature is dedicated to Russell’s changing views during this period, and their often complex or opaque motivations. We do not intervene overmuch in this ongoing scholarly discussion. Instead, our aim is to trace some of the central motivations for Russell’s evolving views, and highlight the extent to which these motivations remain relevant to contemporary theorizing about propositions. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep disagreement we (...) aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

Departing from Anderson’s (2016) suggestion that there are three communities in Peirce’s thought corresponding to his three normative sciences of logic, ethics, and esthetics, I argue that these communities partake in a relationship of dependence similar to that found among the normative sciences. In this way, just as logic relies on ethics which relies on esthetics, so too would a logical community of inquirers rely on an ethical community of love, which would rely on an esthetic community of artists. A (...) community could conduct inquiry together only if it pursued the same goal; and it could pursue the same goal only if it first imaginatively construed it. Any logical or ethical community requires a shared imaginative repertoire of ideal ends. (shrink)

If one can judge a society by how it treats its prisoners, one can surely judge a society by how it treats cognitively- and learning-impaired children. In the United States children with physical and cognitive impairments are subjected to higher rates of corporal punishment than are non-disabled children. Children with disabilities make up just over 13% of the student population in the U.S. yet make up over 18% of those children who receive corporal punishment. Autistic children are among the most (...) likely to receive corporal punishment. -/- Although they may deny or redescribe particular instances of corporal punishment or their use of restraints, educators defend such actions as legitimate punishment. In this paper, I assess the logic underlying the use of restraints and corporal punishment on autistic children by educators. The rationalizations for the corporal punishment or restraint of autistics stems from the educator’s desire to control the autistic children so as to end typical autistic behaviors such as rocking, repetitive verbalizations, or “flapping” but also the autistic child’s non-affective responses such as not appearing to feel remorse or shame or the absence of a verbal acknowledgement of remorse or shame. The educators assume that the autistic’s failure to exhibit the desired responses is evidence of the autistic’s moral incorrigibility and is, therefore, evidence of the appropriateness of corporal punishment. But this assumption of the incorrigibility of the autistic child is questionable. -/- Indeed accepting this incorrigibility assumption reveals two important problems. First, instructors using physical punishment on autistic children do not understand autism. Second, they are not working with a tenable conception of punishment. Any action undertaken to induce socially acceptable behaviors (whether it be the end of autistic acts or responses such as remorse) is to fail to understand what the legitimate punishment of children is about. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

Over three decades, Axel Honneth has developed one of the most fully-structured recognition paradigms in the field of social philosophy. Although it has undergone considerable theoretical changes, this paradigm retains a strong unity. I will analyze it in light of the Frankfurt school critical social theory research program. By so doing, I aim, first, to outline a defense of Honneth’s theory against growing criticisms, which tend to see depletion of its critical insights in his most recent works. Secondly, I aim (...) to highlight that most of the weaknesses pointed out by his critics derive from the methodology with which Honneth frames the concept of recognition, and which he explicitly related to the Frankfurt school critical social theory. Thirdly, I argue that, insofar as we are at present witnessing a transformation in the nature of current struggles for recognition, it is precisely one of the premises of this methodology that runs the risk of being undermined (i.e. the classical relation between theory and “praxis”). (shrink)

This research determined the correlation between the mindfulness, mental toughness, and motivation of 770 first year and second year college students and their sports involvement in one of the oldest private higher education institutions in the City of Manila. A researcher-made questionnaire was validated and pilot-tested prior to the conduct of the study. The results revealed that most of the respondents were 17 to 19 years old (75.06%) and they described their mindfulness in terms of attention and awareness as “Very (...) High”; their mental toughness in terms of rebound ability, ability to handle pressure, concentration and confidence as “Very High”; their intrinsic motivation as “Very High”; their extrinsic motivation as “High”; their sports involvement in terms of power and performance as ”High”; and their sports involvement in terms of pleasure and participation as ”Very High.”. (shrink)

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees formal (...) concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. -/- In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)

Miracles are commonly understood in the way David Hume defined them: as violations of the laws of nature. I argue, however, that the conjunction of Hume’s definition with a neo-Humean view of the laws of nature yields objectionable consequences. In particular, the two jointly imply that some miracles are logically impossible. A better way of thinking about miracles, I suggest, is on a neo-Aristotelian metaphysics. On that view, the laws of nature contain built-in ceteris paribus clauses that allow for the (...) possibility of external influences in the natural world. Miracles, understood as instances of external, divine influence, would therefore neither violate the laws of nature nor be instances of those laws. In this respect, neo-Aristotelians have an advantage over neo-Humeans in providing a coherent account of miracles. (shrink)

Özet -/- Bu çalışmada modern endüstri toplumlarında teknolojinin, bireylerin ve bir bütün olarak toplumun rasyonalitesini nasıl etkilediği ve bunun da ötesinde nasıl belirlediği incelenecektir. Bu inceleme Herbert Marcuse’nin Tek Boyutlu İnsan adlı eserinde ortaya koyduğu teknolojiye ilişkin görüşleri üzerinden yapılacaktır. Rasyonalite, bilgi ve deneyim arasındaki ilişki teknoloji üzerinden irdelenecek ve daha sonra Marcuse’nin ‘teknolojik rasyonalite’ kavramı Claus Offe’nin eleştirileri bağlamında çözümlenecektir. Son olarak Marcuse’nin teknoloji eleştirisi günümüzde ortaya çıkan toplumsal pratiklerle ele alınarak değerlendirilecektir. -/- Anahtar Terimler Teknoloji, Bilgi, Eleştiri, Pratik, (...) Kapitalist Toplum, Politika, Rasyonalite. -/- Rationality, Experience and Knowledge in the Age of Technology: Problems & Criticisms -/- Abstract -/- The question of how human potential is imprisoned in contemporary capitalism is one of the central topics of the analysis on social reality by every social theory which claims to be critical. This question which can be concretized as a systematic occupation with the cultural-technical forms which caused by contemporary capitalism and as an analysis of new types of social subjectivity which emerge as a result of these forms, essentially includes the effort to specify at what level and by using what kind of tools the current system grabs the individual by the throat. Frankfurt School tradition as one of the foremost traditions which conducts such an investigation, discusses the analysis of society over fragility of the bourgeois individual. -/- According to Frankfurt School, the individual in contemporary capitalism is extorted from bourgeois ideals and is out of breath as a result of blockade of overgrown structures in social context in which s/he lives. In other words, the bourgeois individual has been erased. In the late capitalist society where personal histories are melted away, technological progress is one of the processes that led to the deletion of the individual. The clearest expression of this emphasis finds correspondence in the introduction of Herbert Marcuse's One Dimensional Man. Marcuse proposes two opposite theses in this work which he examines advanced industrial societies: 1) Advanced industrial society have a structure that it can control the qualitative changes in predictable future, 2) However, trends and forces which can reverse this situation (which can break this limitation and destroy capitalist society) also exist. First one claims that relations of domination in the social structures are sustainable in the future; and the other thesis emphasizes that the opportunity of emancipation of people by getting free of these power relations is still possible. However, Marcuse does not dwell on too much on the latter (which is the claim about possibility of powers and trends that can change the current situation). Moreover it could be argued that his arguments relating to technological rationality and one-dimensionality draws us into the impossibility of attaining any moment of a positive social transformation. -/- The book is dominated by an atmosphere of immense feeling of being encircled and hopelessness, thus it follows from the work of Marcuse that in the system that we live in it is even impossible to breathe freely. Although in follow-up studies after the One Dimensional Man (especially in writings in which vitality of 68 movement and the axis of New Left), it can be observed that there is an attempt to convert despair into hope, it is clear that Marcuse’s designations regarding technological life mechanisms should be discussed again given the technological advancements of our times. Within this context, in the study, how the technology affects and furthermore determines the individuals and society as a whole in the modern industrial societies has been investigated. This investigation has been carried out through Herbert Marcuse's views on technology which are presented in his work One-Dimensional Man. The relationship between rationality, knowledge and experience has been examined on the basis of technology, and then Marcuse's concept of ‘technological rationality’ has been analysed in the context of Claus Offe's criticisms. -/- Finally, Marcuse's critique of technology has been assessed by considering the emerging social practices in this day and time. Herbert Marcuse refers to the rationality which is created by technology and is directly based on submissive efficiency, as ‘technological rationality’. Thinker argues that what is considered to be rational in a society is subject to change with technological developments, and social rationality is directly connected to the technological advancements. There are three different projections of technological rationality approach which are in turn ontological, epistemological and ethicalpolitical approaches. Claus Offe claims that it is possible to group these different dimensions under three theses. According to the first one; scientific rationality has become the organizational principle of domination. -/- According to Offe, in his second thesis Marcuse mentions the emergence of technology sui generis i.e. as a distinctive autonomous technological rationality. And the third thesis proceeds on the line of the argument that socialist societies are under the impact of technological rationality as well as capitalist societies. According to Offe, even though these three theses are consistent with each other, Marcuse has been violated the most fundamental principle of the Critical Theory by not offering any possibility of social transformation which are aimed at the problems of extensive manipulation and pacified existence that brought about by technological rationality. Hence although Marcuse's work is of utmost importance with regard to his analysis and the issues that he has covered, it would not be wrong to say that a problematic argument from the point of the tradition of Critical Theory has been proposed. The main reason for this is the argument which asserts that the technology turned into a mechanism of domination which is almost irreversible and unchangeable. Therefore, such mechanism does not offer any resistance point where human can take a breath. As a result of this, emancipation which is the main political purpose of the Critical Theory has been invalidated. What could be the problems which are created by the negative situation that results from Marcuse's thesis on technology? For instance, how could the basis for the existence of opposing movements which are organized over the internet or the foundations of anti-capitalist radical critique be explained on the axis of Marcuse’s thesis? -/- There is a fundamental problem that has to be solved: if we declare only the validity of oppressive, central and ideological functions of technological devices, then the idea which is referred by authoritarian governments that current opposing movements or rebel groups organized over internet might be organized from a centre which is defined as imperialist power or external power becomes an affirmable argument. In other words, does Marcuse's technological determinist approach serves to legitimize the discourses such as "foreign powers or imperialist enemies," and so on which authoritarian powers frequently resort to. Is it possible to think of another alternative with regard to the problems produced by this rationality apart from the negative comments that revealed by the concept of technological rationality. From what frameworks this question can be answered In the conclusion of the study, answers to these questions have been searched. -/- Keywords: Technology, Knowledge, Criticism, Practice, Capitalist Society, Politics, Rationality. (shrink)

Based on the argumentative analysis, the essential title is interpreted within its entitle as it leaves bias open 'along the lines' as to whether the January 6th insurrection that took place on Capitol Hill was or was not justified or unjustifiably ‘so’ by Jean-Jacques Rousseau’s right to revolution. Detailed evidence to support and prove such intended thesis stretches this theoretical statement as it gambles to reckon with a central paradoxical and unhumored tone that leaves the reader and/or author’s perspective to (...) be ‘centered’ (and left due to a play of ‘centeredness’). As it pertains to the fallout and outcome of how governmental, national, and militaral leadership (given the reality of a sovereign leader or a reign). Presentational style is constructed or structured oddly awakes uncontrollable, uncensored, unmeasurable, and untouchable personification that is nonstop. Such series of quoted citations are pieces of instruction that serve to admire and of acceptability in pursuit of Rousseauian logic as it poses a modest figurative language where its main objective is to attempt to underline the principles and techniques that plague post-modernists within the scope of legislative, executive, or even judicial systems of functionalities. (shrink)