Throughout 19th and the first half of 20th centuries, Polish thinkers largely supplanted political philosophy with the philosophy of history. Such an approach produced an essential continuum, despite marked differences of concepts in different political and theoretical contexts. This continuity finds a particular expression in two ideas, nascent already in the 15th and 16th century Polish political thought, i.e. the idea of Poland’s Historical Mission , and a notion of a specifically Polish Love of Freedom.The author approaches this phenomenon by (...) way of presenting three sets of concepts: the late-Enlightenment one of S. Staszic, the Romantic attempt of A. Cieszkowski, and M. Zdziechowski’s Neo-Romantic take. (shrink)

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...) of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4. (shrink)

In this paper we introduce a computational control framework that can keep AI-driven military autonomous devices operating within the boundaries set by applicable rules of International Humanitarian Law (IHL) related to targeting. We discuss the necessary legal tests and variables, and introduce the structure of a hypothetical IHL-compliant targeting system.

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

The book aims to formalise tableau methods for the logics of propositions and names. The methods described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions where the first element is a set of premises, and the following elements are its supersets.

In this paper, we discuss the problem of the relationship between legal concepts and legal norms. We argue that one of the widespread theories of legal concepts, which we call ‘the embedding theory’, is false. The theory is based on the assumption that legal norms are central for any legal system and that each legal norm establishes an inferential link between a certain class of facts and a certain class of legal consequences. Alf Ross’s embedding theory was presented in his (...) famous paper “Tu–Tu”. According to Ross, the sole function of legal concepts is to simplify normative information. Hence, the use of legal concepts may be a matter of convenience, rather than necessity. We criticize this approach mainly by pointing to the existence of so-called second order substantive concepts, which are not reducible to any determined set of conditional sentences (inferential links). In short, second order substantive concepts play the role of general standards, and general standards are used to provide flexibility for a particular legal system. In addition, general standards are ‘value loaded’, since they serve as a frame of reference for judges applying law to particular cases. To understand such general standards as a predefined set of conditionals means to overlook their ‘open’ content, and thus their function. In our opinion, the acceptance of the embedding theory means to misinterpret the function of general standards. We also argue that Giovani Sartor’s idea of defective legal concepts doesn’t help to clarify or defend the embedding theory. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than (...) the material one. In the final section, we present a tableau approach to the discussed modal logics. (shrink)

Consider how we evaluate how normal an object is. On the dual-nature hypothesis, a normality evaluation depends on the object’s goodness and frequency. On the single-nature hypothesis, the evaluation depends solely on either frequency or goodness. To assess these hypotheses, I ran four experiments. Study 1 shows that normality evaluations vary with both the goodness and the frequency assessment of the object. Study 2 shows that manipulating the goodness and the frequency dimension changes the normality evaluation. Yet, neither experiment rules (...) out that some people evaluate normality solely based on frequency, and the rest evaluate normality solely based on goodness. Whence two more experiments. Study 3 reveals that when scenarios are contrasted—presented one after another—only frequency matters. But, as study 4 shows, when scenarios are evaluated alone, both frequency and goodness influence normality evaluations in a single person, although the more a person is sensitive to one dimension, the less she’s sensitive to the other. The dual-nature hypothesis seems thus true of uncontrasted applications of the concept of normality, whereas the single-nature hypothesis seems true of contrasted applications. (shrink)

Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...) topological issues, we investigate the question in the framework of branching space-times of Belnap (Synthese 92:385–434, 1992). We introduce a topology on a branching model as well as a topology on a history in a branching model. We define light-cones and assume four conditions that guarantee the light-cones so defined behave like light-cones of physical space-times. From among various topological separation properties that are relevant to our question, we investigate the Hausdorff property. We prove that each history in a branching model satisfies the Hausdorff property. As for the satisfaction of the Hausdorff property in the entire branching model, we prove that it is related to the phenomenon of passive indeterminism, which we describe in detail. (shrink)

In this paper I consider the question of whether absolute discernibility is attainable in symmetric languages. Simon Saunders has proven that all facts expressible in first-order language with identity can be equivalently stated within its symmetric sublanguage. I use this result to show specifically how particles of the same type can be absolutely discerned in the permutation-invariant language of the quantum theory of many particles.

The project of veristic social epistemology is based on the evaluation of social practices directed at acquiring knowledge and avoiding error. This research aims to analyse the social and technological dimensions of information processes. A number of practices in the network environment have a significant impact on the cognitive processes of individuals. They give rise to the acquisition of both true and false beliefs, ranging from reliable information practices to unreliable disinformation practices. The prevalence of phenomena such as echo chambers, (...) fake news, clickbait or deepfakes indicates that the condition of the contemporary infosphere is under serious threat. Disinformation processes, reinforced by technological progress, prompt reflection on the reliability of social practices. In addition to the strictly veristic consequences, the importance of the phenomenon of epistemic injustice should also be pointed out. (shrink)

In the paper I try to present what I termed epistheology in its relation to basic concepts of theory of knowledge: the knowledge itself, its unity and systemic character, criteria of truth and selfevidence, and the questions of justification (of knowledge and criteria of knowledge both) and ethical ideal of knowledge as the contemplation of God's design. Epistheology is thus an epistemic discourse based on and warranted by theological concepts. I analyze Descartes, Malebranche, Leibniz and the like to demonstrate the (...) way this discourse operates. In the second part of the paper I sketch the British approach: empirical, secular, and most importantly based on the concept of verisimilitude. Humean philosophy is in this way not only seen as antagonistic to its continental predecessors, but also victorious as a foundation of new and fertile paradigm of secular science. (shrink)

This article proposes to look at the concept of freedom formulated by Nicholas Berdyaev in his early work, Philosophy of Freedom, through the prism of kenotic Christology. The kenotic nature of the Incarnation of the Son of God, as it was described in the St. Paul’s Letter to the Philippians and developed later by the Christian tradition, was connected with His renunciation of his own infinitude—adopting the “form of a servant” and embracing the limits of the human body. It was (...) an absolutely free act of the divine Person, who revealed to man his own divine model and opened up for him the possibility of its implementation, i.e., the way to becoming a person. For Berdyaev, this possibility is conditioned by the ability to engage in a free act of kenosis, involving the renunciation of the compulsions of reason that have entangled us in natural forms of necessity and that reduce us to mere cogs in the machinery of nature. According to Berdyaev, this way of human kenosis is faith. The act of faith, understood as a rejection of the tendency to seek security through compelling evidence, constitutes a person in his/her uniqueness, and performatively realizes the similarity to God potentially present in every human. (shrink)

In my article I present the conception of soul of Cornelius Agrippa based on his greatest work "De occulta philosophia" which is a kid of summa of natural and occult philosophy, hermeticism, cabbala, astrology, humanistic theology, medicine, and alchemy. Henricus Cornelius Agrippa von Nettesheim (1486-1535) was a famous renaissance philosopher, cabalist, astrologer and theologian whose contribution in renaissance philosophical deliberations is significant but still unknown in Poland. Agrippa's notion of soul is very important for his own project of new pure (...) magic which is described in his opus magnum. Therefore agrippian magic contains and perfects three kinds of knowledge: phisics, mathematics and theology. In the similary way Agrippa divided whole Cosmos in to three worlds. First and the most inferior world of the threefold Cosmos is the world of four elements of substance in Aristotle's meaning. The second one is the world of celestial bodies which comprises planets, stars and laws that rule them, and which is above the first world. The third one is the divine world of angels, soul of the world with platonic ideas and other intelligibilities. The three kinds of knowledge which Agrippa also called "regulative philosophy" are very useful for human in studying of each of three agrippian worlds. From this point of view also notion of humanity is very important for Agrippa. By the similarity between the macro- and microcosmos which appear in Agrippa's thought also human soul is threefold. Thus human soul contains in hierarchical order three parts viz.: idolum (which is the most inferior), ratio (being the middle part) and mens (which is on highest position in human soul). Each part has its own function which can be fully activated by God's light received by mens. In describing of functions of threefold soul Agrippa receives inspirations from prior philosophers like Aristotle, Awicenna or Awerroes. Another cause which emphases a great role of the agrippian conception of the soul is its connection with oryginal concepts of phantasy and threefold melancholy which is similar to the treepartite soul. Those two concepts are the examples of the influences of celestial powers which source is in stars and planets. (shrink)

Niniejszy artykuł powstał z myślą, aby dokonać analizy wybranych zagadnień Kantowskiej teorii własności. Należy bowiem zaznaczyć, że pomimo istniejącej już bogatej literatury poświęconej filozofii Immanuela Kanta, to część Nauki prawa, która dotyczy własności wciąż pozostaje w cieniu innych, dyskutowanych od lat problemów. Za taką sytuację odpowiada po części sam Kant, którego wykład poświęcony własności odnajdziemy jedynie w kilku paragrafach prawa prywatnego Nauki prawa. W kolejnych częściach w tym między innymi tych, które dotyczą prawa publicznego, pojęcie własności jest jedynie wzmiankowane. Pomimo (...) wrażenia, że może ono należeć do mniej istotnych zagadnień Kantowskiej filozofii prawa, to znaczenie, jakie filozof mu nadaje, zdaje się być niepodważalne. W swoim artykule postanowiłem skoncentrować się na tych elementach dzięki, którym mogłem dokonać wprowadzenia do Kantowskiej teorii własności. Wśród nich znalazło się m.in. pojęcie prawa wraz z podziałem nauki prawa. Zakreśliłem obszar badań do prawa nabytego, co pozwoliło mi przejść do pojęcie posiadania i pojęcia własności oraz usystematyzowania pojęcia nabywania. Na końcu wskazałem, że jedynie w stanie prawno-obywatelskim własność każdego poszczególnego podmiotu jest mu prawnie przydzielona i zapewniana. (shrink)

Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to relating semantics, particularly whether the direct incorporation of the relation into the language of relating (...) logic is needed. The starting point for our considerations presented here is the 1st Workshop On Relating Logic and the selected papers for this issue. (shrink)

The article by MacKay and Saylor (2020) claims that the principle of fair subject selection yields conflicting imperatives (e.g. in the case of pregnant women) and should be understood as “a bundle of four distinct sub-principles” (i.e. fair inclusion, burden sharing, opportunity, distribution of third-party risks), each having conflicting normative recommendations (MacKay and Saylor 2020). The authors also offer guidance as to how we should navigate between subprinciples that may conflict with each other. The problem is a crucial one since (...) fair subject selection is one of the principles regulating clinical research that produces generalizable knowledge with the potential of improving people’s health. Therefore, there may be cases where the way in which participants are selected directly influences the generalizability (or its lack) of the clinically relevant knowledge and its value (if any) to different groups. In my commentary article, written from the philosophical perspective, I notice a number of interrelated problems which I believe have not been discussed thoroughly in the target article: (1) the precise way in which health care priority setting should influence the content of health research priority setting and fair inclusion principles; (2) the distinction between group and individual benefits and burdens from clinical research; (3) the reference class problem in medical research. (shrink)

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric (...) representations of the states of many particles. (shrink)

Reclamation of a slur involves the creation of a new, positively-valenced meaning that gradually replaces the old pejorative meaning. This means that at a critical stage, the slur is ambiguous. It has been claimed that this ambiguity is polysemy. However, it is far from clear whether the view can explain why the introduction of the new meaning forces the old one out of existence. I argue that this datapoint can be explained by invoking the mechanism of homonymic conflict, and, therefore, (...) that the ambiguity involved in reclamation is homonymy. One generalization that follows from my account is that conventionalized verbal irony, unlike conventionalized metonymy and metaphor, begets homonymy. Along the way, I criticize the standard ways of drawing the distinction between polysemy and homonymy in terms of semantic and etymological relatedness. If the notions of polysemy and homonymy are to be invoked in explanations, they should be understood in terms of how meanings are stored in the mental lexicon. My account also provides an elegant way of conceptualizing the difference between two types of conceptual engineering, namely reclamation and amelioration. (shrink)

In the late 2010s, various international committees, expert groups, and national strategy boards have voiced the demand to ‘open’ the algorithmic black box, to audit, expound, and demystify artificial intelligence. The opening of the algorithmic black box, however, cannot be seen only as an engineering challenge. In this article, I argue that only the sort of transparency that arises from critique—a method of theoretical examination that, by revealing pre-existing power structures, aims to challenge them—can help us produce technological systems that (...) are less deceptive and more just. I relate the question of AI transparency to the broader challenge of responsible making, contending that future action must aim to systematically reconcile design—as a way of concealing—with critique—as a manner of revealing. (shrink)

W artykule omówione zostały sprawy organizacyjne, przebieg i znaczenie polityczne pobytu elektora saskiego Fryderyka Augusta w Opolu w dniach 15 grudnia 1733 r. – 3 stycznia 1734 r. Jest to ważny epizod tak w dziejach miasta, jak i Rzeczypospolitej Obojga Narodów, pomijany jednak do tej pory w historiografii. Tymczasem na przełomie 1733 i 1734 r. o wizycie przyszłego króla polskiego w Opolu było stosunkowo głośno w Europie, a notatki informujące o tym publikowane były w prasie wydawanej w Austrii, Rzeszy Niemieckiej, (...) Rosji czy Wielkiej Brytanii. W artykule wykorzystano doniesienia gazetowe, a przede wszystkim relacje z podróży elektora, jego żony Marii Józefy i dworu saskiego, dokumenty logistyczne oraz korespondencję i rachunki przechowywane w archiwach saskich, austriackich oraz w Archiwum Państwowym w Opolu. (shrink)

The article reflects on the possibility of conceptualising the complex problem of the normativity of international legal rules, including in particular the phenomenon of “relative normativity.” The author utilises the critical potential of Ronald Dworkin's proposal for a new philosophy of international law to reflect on the classical accounts explaining normativity of international law. By building on Dworkin's argument, the author argues for a constitutional account of international law. The far-reaching constitutional proposals may provide a more complex and coherent set (...) of possible rationalisations of international legal rules. International law is in great need of a comprehensive theory that could better explain its normative character as well as its sources, and it is argued that international constitutionalism has the potential to serve this purpose. (shrink)