Artykuł przedstawia interpretację Emila Rousseau jako koncepcję jednego z czterech miejsc — obok republiki, małej wspólnoty ulokowanej poza społeczeństwem i pełnej samotności — w których człowiek może wyzwolić się z alienacji. Emil żyje w społeczeństwie, ale zachowuje duchowy dystans wobec jego członków; w istocie żyje na pograniczu społeczności, bardziej obok ludzi niż z nimi. Tak jak „obcego”, o którym pisał Simmel, łączy go z jej członkami to, co wspólne wszystkim ludziom, dzieli natomiast to, co ich właśnie łączy we wspólnotę. Emil (...) jest więc obcy ludziom, ale nie jest wyobcowany, gdyż to właśnie on, a nie oni, żyje zgodnie z naturą. Jakkolwiek Rousseau zapewnia, że Emil jest potencjalnie zdolny do zajęcia wszystkich pozostałych miejsc, autor tekstu dowodzi, że kierując się zasadą dobrowolności stowarzyszeń Emil skazany jest na życie samotne, do którego jest też najlepiej przygotowany. (shrink)

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.

First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...) varying strength. For all presented calculi a constructive cut elimination is provided. (shrink)

This book introduces the English-speaking reader to the thought of Stanislaw Brzozowski (1878-1911), the outstanding Polish philosopher and literary critic. Although practically unknown in the West, Brzozowski is an important but neglected forerunner of the intellectual tradition of `Western Marxism', most commonly associated with Georg Lukács and Antonio Gramsci. -/- Concentrating first on the early phase of Brzozowski's thought, Professor Walicki goes on to analyse his ideas on the working class and its relation to the intelligentsia and contemporary working-class ideologies. (...) Finally he deals with aspects of his thought which go beyond the Marxian problematic and round off the intellectual portrait of the man. -/- Brzozowski's anti-naturalistic approach resulted in a radical reinterpretation of Marxism which dealt with many of the problems of the revolt against positivism in European philosophy. Professor Walicki argues that the retrieval of the philosophical and humanist aspect of Marxism, and its separation from the Engels-inspired `scientific Marxism', was the achievement of Brzozowski and not, as frequently assumed, of Lukács, who came to similar conclusions only some ten years later. -/- By placing Brzozowski within the cross-currents of the various philosophical, sociological, literary, and political streams of Western and Eastern European thought in which Marxism was situated, Professor Walicki produces a fascinating study of an early East European challenge to orthodox Marxism. (shrink)

In 1934 Stanisław Jaśkowski published his groundbreaking work on natural deduction. At the same year Gerhard Gentzen also published a work on the same topic. We aim at presenting of Jaśkowski’s system and provide a comparison with Gentzen’s approach. We also try to outline the influence of Jaśkowski’s approach on the later development of natural deduction systems.

This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide in presence of axiom stipulating non-existence of atoms.

In pre-revolutionary Russia, law was criticized from many points of view: in the name of Christ or the name of Marx, in defense of anarchism or of an idealized autocracy, on behalf of the "Russian soul" or of universal progress towards socialism. Examining the rich tradition of hostility to law, Walicki presents those Russian thinkers who boldly challenged this legacy of anti-legal prejudice by developing liberal philosophies of law, vindicating the value of human rights and rule of law. He discusses (...) six leading theorists--Boris Chicherin, Vladimir Soloviev, Leon Petrazycki, Pavel Novgorodtsev, Bogdan Kistiakovsky, and Sergius Hessen--all of whom viewed law in the context of wider philosophical and social problems. (shrink)

W artykule proponuje się aksjomatyzację fragmentu klasycznej logiki zdań, który zostaje nazwany logiką niesymplifikacyjną. Nazwa pochodzi stąd, że unika się w nim, jak przypuszcza pewna ilość badaczy – wskazanych w tekście – paradoksalnych własności klasycznej implikacji i równoważności. Twierdzenie o niewyprowadzalności tez paradoksalnych nie jest jeszcze definitywnie udowodnione. Ale cały bieg myśli wydaje się interesujący z filozoficznego punktu widzenia ze względu na możliwość odróżnienia kilku rodzajów implikacji i równoważności.

entailment; families of sets; logic of questions.

The article aims to present the results of empirical research and theoretical analyses concerning the transfer, co-creation, and utilization of scientific knowledge by various entities, emerging at the intersection of science and practice. The research was conducted using survey techniques and in-depth interviews among scientists engaged in research collaboration with entities outside the university, and through case studies of two institutions acting as external partners. Among them were the Lublin City Office and the Lublin Culture Workshops, a municipal cultural institution. (...) The work falls within the realm of social research, which directly (Zerubavel 1997) or indirectly (Sange 1990, Douglas 2011) addresses the functioning and adaptation of various social systems (in this case, institutions and organizations) from the perspective of the communicatively mediated cognitive processes occurring within them (Luhmann 2018, Weick 1995, Lenartowicz et al. 2016a, 2016b). In this context, the subject of cognition and the user of knowledge is not an individual human, but a social system/organization with the capacity to observe itself and its environment, to learn, and to anticipate its future (Hecker 2012; Walsh 1995, Luhmann 2018; Seidl 2006, Lant, Shapira 2001). It posits the existence of a kind of supra-individual rationality, which does not require something like a system's unique self-consciousness, akin to human consciousness, but operates on the principle of L. Fleck's thought collectives, which are emergent in nature with respect to individuals (Sady 2020, Luhmann 1990, Fleck 1986). The rationality of such collectives is defined by their belonging to a functional area of society, hence they differ in the case of entities belonging to the science, economy, politics systems, etc. The research focused on situations where, due to the need for knowledge, various organizations collaborate with scientific units. This research succeeded in characterizing the main stages of establishing and implementing such collaboration, and the main requirements associated with them. The study sought to determine the impact of the interaction of different rationalities on the nature of the co-created knowledge and to identify the conditions of its usefulness, both for external entities and for the scientific system. The adopted indicator of the usefulness of knowledge for the scientific system is the publication of results in scientific journals, while for external entities, its impact on the decision-making process, such as changing operational strategies. In this case, the mechanism of translating knowledge into changes in organizational practices was also examined, paying attention to the existing mechanisms of collective learning within the organization. (shrink)

Głównym przedmiotem tekstu jest prezentacja różnych mutacji tej teleologicznej teorii etycznej. Wywodzący się z klasycznego utylitaryzmu konsekwencjalizm posegregowany został według kilkunastu różnych kryteriów. Ukazany zarys uzupełniono też zestawieniem zalet i wad przypisywanych tej teorii.

The article deals with selected problems related to the postulates of equalizing the level of positive liberty. The classic understanding of individual freedom as negative freedom, identified with the lack of compulsion, can be opposed to the so-called positive liberty. The latter notion is usually defined in terms of ability, which suggests that there is a relation between the concept of freedom and the concept of power. The postulate of equality with regard to the ‘freedom to’ would occasionally justify social (...) redistribution of goods. The cases of voluntary and compulsory donation are considered in the text the aim of which is to picture the consequences resulting from the compulsory expansion of the scope of positive liberty. Moreover, an attempt to compare the significance of both types of liberty, with a special emphasis on the moral context, has also been made. (shrink)

There are at least two reasons for the wide spread of CAI: 1. that the student is able to control his own process of learning due to immediate evaluation of his work and progress and 2. that evaluation is homogeneous, i.e. independent of subjective fac- tors, which compensates for possible lack of depth. Also, the psychology of man is such that he is less ashamed to be reprimanded for his errors by a machine than by another human being. It is (...) a specic feature of computer aided instruction of logic, particulary the art of proving, that such a system cannot be made other than open. Fortunately, in the case of logic its language makes such a creation possible. An open system is a system that permits arbitrary proof of theorems as long as the former conform to the requirement of a given formal language. The discussed system, Mizar-MSE, evolved, roughly speaking, the above line of thought. It is a natural deduction system practically applied to student instruction. Here I would like to present some of more specic features. (shrink)

The paper provides a proof theoretic characterization of the Russellian theory of definite descriptions (RDD) as characterized by Kalish, Montague and Mar (KMM). To this effect three sequent calculi are introduced: LKID0, LKID1 and LKID2. LKID0 is an auxiliary system which is easily shown to be equivalent to KMM. The main research is devoted to LKID1 and LKID2. The former is simpler in the sense of having smaller number of rules and, after small change, satisfies cut elimination but fails to (...) satisfy the subformula property. In LKID2 an additional analysis of different kinds of identities leads to proliferation of rules but yields the subformula property. This refined proof theoretic analysis leading to fully analytic calculus with constructive proof of cut elimination is the main contribution of the paper. (shrink)

In this paper the life phenomenon is analysed from cybernetic point of view. The Korzeniewski’s approach is discussed and complemented. The analysis is based on autonomous systems theory and information metabolism theory. Philosophical aspects of the problem are taken into consideration as well.