Unlike human soldiers, autonomous weapons systems are unaffected by psychological factors that would cause them to act outside the chain of command. This is a compelling moral justification for their development and eventual deployment in war. To achieve this level of sophistication, the software that runs AWS will have to first solve two problems: the frame problem and the representation problem. Solutions to these problems will inevitably involve complex software. Complex software will create security risks and will make AWS critically (...) vulnerable to hacking. I claim that the political and tactical consequences of hacked AWS far outweigh the purported advantages of AWS not being affected by psychological factors and always following orders. Therefore, one of the moral justifications for the deployment of AWS is undermined. (shrink)

This article responds to a call from Philosophy of Management (Vandekerckhove 2020) to open a discussion on the contribution of Albert Camus’s work to management. The aim of this article is to argue that Camus’s sense of cyclicality related to the recurrence of crises is particularly important for existential management. This idea is embodied primarily by Camus’s famous retelling of the myth of Sisyphus, which is not only a provocative metaphor of his thoughts, as discussed by many authors, but is (...) also an inspiring expression of the idea of ​​revolt, which is further developed in Camus’s later work. The article focuses on recent updates to Camus’s Sisyphean revolt in existentially oriented approaches to management. These are mainly the concepts of the existential manager, an analysis of managerial lived experience within existential hermeneutic phenomenology, and the perspective of an absurd organization. Camus’s motif of cyclicality represents a stimulating framework for analysing lived managerial experience, which is characterized by alternating phases of success and failure. The article also draws attention to other important motives in Camus’s work, such as avoiding extremes and idealistic constructs, and expressing the value of human life as a basis for ethical behaviour. All the mentioned motives are closely related to the concept of revolt. This article also provides several explanatory comments on the editorial, which help to take a closer look at Camus’s style of thinking and avoid possible misinterpretations. In this respect, the distinction between Camus’s approach and forms of existentialism is particularly important. (shrink)

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give (...) its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)

In these reflections, we want to prove a thesis whereby normativity of rules and norms may be linked to the domain of artefacts which we understand as social things. We claim that some norms and rules are situated in human socio-material ecosystems especially when it comes to the role played by affordances. The thesis advanced in this article will also enable us to indicate one of the potential interpretations of Wittgenstein’s ‘forms of life’ concept, demonstrating that some solutions suggested by (...) the author of Philosophical Investigations are still relevant today. We will relate the issue of the normativity of artefacts to the problem of rule recognition which Wittgenstein also raises in some of his later studies. We will demonstrate that the problem of normativity recognition is linked to relational properties of objects, that is affordances; structured nature of the world of human communities; and the ability to recognise affordances related to the ability to create predictions about future states of affairs. The analyses presented herein will show that it is possible to link the perspectives of cognitive ecology, design practice and philosophical analyses focused on the problem of normativity. (shrink)

The article deals with Hurka?s critique of Kymlicka and Arneson?s critique of Dworkin on endorsement constraint thesis, according to which a person cannot have a valuable life if values are imposed on her - primarily by state action - overriding her preferences and convictions on the good life. This thesis has often been identified with neutral liberalism and counterposed to perfectionism. The text argues against Hurka?s and Arneson?s argument that mild coercion and paternalistic reduction of trivial, bad or worthless options (...) can indeed bring about a more valuable life. Their argument does not acknowledge adequately the difference between coercion from a person?s immediate social environment and state coercion, which are not equally legitimate. My critique, however, does not exclude the legitimacy of perfectionistic measures, as a person could accept as justified state intervention concerning the support of particular values or goods, while at the same time not endorsing those values and goods. Not all endorsed goods or activities should be treated equally, as more relevant and valuable ones can be legitimately supported by particular policy. (shrink)

This text is a kind of sketch and presents some simple ideas. The aim of this article is to carry out a critical and reflexive analysis of Roman Ingarden's philosophy of responsibility. Being a member of the phenomenological current, Ingarden mainly studied the ontological bases or conditions of responsibility by identifying different situations of responsibility. In this paper situations of responsibility have been analysed in the semantic contexts in which the word "responsibility" appears. Legally, the prescriptive contexts of using the (...) word "responsibility" are particularly important since they are usually either ignored or inadequately separated from descriptive contexts. Roman Ingarden's views were supplemented by Alf Ross's aspects of responsibility. As a result, the elementary ways of understanding responsibility have been reconstructed; they are the basis for reflections on moral responsibility as well as legal responsibility. (shrink)

Programming computers to engage in moral reasoning is not a new idea (Anderson and Anderson 2011a). Work on the subject has yielded concrete examples of computable linguistic structures for a moral grammar (Mikhail 2007), the ethical governor architecture for autonomous weapon systems (Arkin 2009), rule-based systems that implement deontological principles (Anderson and Anderson 2011b), systems that implement utilitarian principles, and a hybrid approach to programming ethical machines (Wallach and Allen 2008). This chapter considers two philosophically informed strategies for engineering software (...) that can engage in moral reasoning: algorithms based on philosophical moral theories and analogical reasoning from standard cases.1 Based on the challenges presented to the algorithmic approach, I argue that a combination of these two strategies holds the most promise and show concrete examples of how such an architecture could be built using contemporary engineering techniques. (shrink)

My preoccupation with witnessing mutated through several phases before it turned into the book you are holding. It germinated while I was writing my PhD dissertation at the Cohn Institute for the History and Philosophy of Science and Ideas at Tel Aviv University, when the gulf between the theory of testimony that so enchanted contemporary thinking around the ethics of memory on the one hand, and the humanitarian practice of witnessing I was studying on the other, first struck me as (...) philosophically awkward and politically suspect. (shrink)

Ajtai’s completeness theorem roughly states that a countable structure A coded in a model of arithmetic can be end-extended and expanded to a model of a given theory G if and only if a contradiction cannot be derived by a proof from G plus the diagram of A, provided that the proof is definable in A and contains only formulas of a standard length. The existence of such model extensions is closely related to questions in complexity theory. In this paper (...) we give a new proof of Ajtai’s theorem using basic techniques of model theory. (shrink)

Alexis de Tocqueville’s political thought is often seen as inconsistent for offering two apparently dissimilar theories of revolution. The first is universal democratisation, understood as a social phenomenon and a grand revolutionary change; the second sees revolution as the logical continuation and radicalisation of the preceding regime. The following question arises: was Tocqueville inconsistent in his principal works? I argue that this was not the case and that the two processes are complementary elements in Tocqueville’s model, which combines the ancient (...) cyclical science of regime change with modern theories of revolutionary progress. What Tocqueville offers is a powerful political theory with considerable predictive power. Tocqueville, I consequently claim, should be viewed as a theorist of revolution rather than as a theorist of democracy per se. (shrink)

Under the continuum hypothesis we prove that for any tall P-ideal Ionω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I} \,{\rm on}\,\, \omega}$$\end{document} and for any ordinal γ≤ω1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\gamma \leq \omega_1}$$\end{document} there is an I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document}-ultrafilter in the sense of Baumgartner, which belongs to the class Pγ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\gamma}}$$\end{document} of the P-hierarchy of ultrafilters. Since the class (...) of P2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_2}$$\end{document} ultrafilters coincides with the class of P-points, our result generalizes the theorem of Flašková, which states that there are I\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{I}}$$\end{document}-ultrafilters which are not P-points. (shrink)

The submitted contribution is devoted to the controversy in Martin Buber’s conception of responsibility and especially to the question whether its nature is reciprocal or asymmetrical. This controversy arises from a misunderstanding and misinterpretation of his concept of mutuality as a constituent of I-Thou relation. Several refuting arguments are offered against the claim that the mutuality of the I-Thou relationship means equality of responsibility which enables ethical calculus.

Wesley Wildman's and Kate Stockly's book Spirit Tech - The Brave New World of Consciousness Hacking and Enlightenment Engineering is an interesting compilation and analysis of current research on technologies of spiritual experience. The book offers the latest in neuroscience, very bold predictions about the development of spirituality technology, and very far-reaching conclusions about the development of religion. The authors take an interdisciplinary approach to their work, touching on neuroscience, medical engineering, psychology, religion, and ethics. They do not shy away (...) from the big philosophical, psychological, and ethical questions, and they specifically focus on questions of authenticity, meaning, safety, and social responsibility arising from the marriage of technology and spirituality. Modern neuroscience along with engineering has already created new areas of science-faith and technology-faith relationships. Technological substitutes for spirituality are also increasingly becoming a new challenge to traditional spirituality and to religion. (shrink)

This study analyses the approaches discursively applied in conceptualising information literacy in modern society on the model of two ideal pure types – Enlightenment and Neo-Romanticism. The study places these approaches at the core of contemporary society as competing and complementary approaches. It analytically reviews each historical approach and analyses its influence on the formation of educational theories using information literacy as a model. The hypothesis is that if the conceptualisation of the new is not to remain unsatisfactory and problematic, (...) it will be necessary to find a way to overcome the incompleteness of modernity and abandon efforts to renew both the Enlightenment and Neo-Romanticism. (shrink)

Much has been written on the ability of sharing platforms to affect market conditions. In this research we focus on another piece of the puzzle, which is often overlooked but can play a significant role in shaping market structure and conduct: the users of the platform – whether suppliers or consumers (hereinafter jointly or severally: “the crowd”). As will be shown, the power of the crowd can both positively and negatively affect social welfare. Accordingly, this paper seeks to recognize the (...) effects of crowd power and to identify both market-based as well as regulatory solutions to increase its welfare-increasing qualities, while reducing its negative ones. To do so, the study develops in a three stages. The first part explores the welfare effects of the sharing economy on the crowd. This serves as a basis for the second part, which focuses on the role of the crowd in shaping sharing platform markets. The third part then explores the potential role, as well as the limitations, of regulation in ensuring that crowd actions increase welfare. As will be shown, the current legal framework which regulates crowd actions might limit the realization of some of the potential positive effects of social platforms. In particular, new thinking might be needed with regard to rules regulating the use of crowd power to counteract a dominant sharing platform’s market power. (shrink)

Wonderful Knowledge. Aquinas on the Immutability and Eternity of God’s Knowledge The general concept of knowledge is a kind of concept closely akin to transcententals: its use is not restricted to a certain kind of being, and it does not itself designate a kind of entity. Such concepts may be applied to God not as metaphors: when we grasp (through the analysis of cases of finite knowledge) some general traits of knowledge as such, we can show that God has knowledge, (...) and his knowledge, as opposed to ours, is infinitely perfect. We have no insight into this realization of knowledge as opposed to ours, but as far as we know what general traits of knowledge are, it is important to know that God has infinitely perfect knowledge. To grasp the general traits of knowledge, I focus on the topic of mutability and immutability of knowledge analyzed systematically by Aquinas, and thus on the topic of identity criteria specific for knowledge in general: the question of when knowledge that p and knowledge that q are (in a certain knower) one and the same knowledge; the criteria of identity of knowledge vary according to natures of knowers. I think that the problem of the criteria of identity of knowledge is rather neglected in omniscience-immutability discussions. I analyze Aquinas’ arguments for the thesis that human knowledge is mutable, and God’s knowledge is absolutely immutable (they concern the role of tense). The analysis sheds light on some general traits of knowledge: it is always something formulated by the knower which manifests some truth to him, and in general the way it is formulated corresponds to (i) the way it manifests some truth, (ii) its identity criteria, (iii) the way it is propositional, (iv) the way it is related to tense, and finally (v) the nature of the knower. Focusing on the criteria of the identity of knowledge shows that God’s knowledge is absolutely immutable, and that time and change in its objects are nevertheless undoubtedly real. Keywords: God’s knowledge, knowledge, criteria of identity of knowledge, immutability; tense; transcendentals; omniscience-immutability arguments. (shrink)

Zaproponowano, by Quine’a kryterium istnienia (teoria zakłada istnienie zmiennych związanych) rozszerzyć na matematyczne struktury. W duchu tego kryterium każdą matematyczną strukturę można uważać za oddzielny świat, w którym istnieją tylko te byty, bez zakładania których struktura straciłaby sens. Niektóre matematyczne światy są używane przez fizyków do modelowania rzeczywistego świata. W takiej sytuacji ontologia danej struktury matematycznej przenosi się na fizyczny świat. Mówiąc bardziej prozaicznie, niektóre matematyczne struktury interpretuje się jako struktury fizycznego świata. Cud rozumienia świata sprowadza się do cudu tej (...) interpretacji. (shrink)

The pandemic situation showed us, that the separation from other people is an important part of our lives and makes even more impact than we thought. Yet, the dominant picture of this separation is hugely negative and was so for a long time. Solitude, being nor positive nor negative on its own, just as being with others, is not something that people as a whole acknowledge in their lives – it is perceived as a state to endure, something that can (...) be useful, but not something we should just live with, at least partially. This paper shows how important it is to create a new picture of solitude – as something normal, not exceptional. It indicates the task to create a new vocabulary around the phenomena of solitude, free of its negative connotations, which will enable us to incorporate the solitude back to our lives. I argue, that such change in vocabulary may enable us normalization of solitude and that such normalization should be our goal. (shrink)

Comparison of economic growth in mixed economy and socialist economic systems - reviews economic theories thereon, provides a framework for the economic analysis of acceleration of growth under different initial conditions and for introducing political choice into the economic planning process, includes work on the selection of investment projects in a planning context, as implemented in Poland, and emphasizes political aspects of economic problems.

The core of the local self-government stems from the Western (Latin) civilization values. European Nations have always fought for the qualities and perseverance of local self government. Currently it is considered an attribute of local democracy, although in the European tradition it has long been related to the pluralist values of social life organization. The communes; freedom, and their independence from the local government have been derived from natural law and seen as a condition for a healthy social system. Contemporarily, (...) local self-government as a law and ability for local communities to manage a range of public matters independently, has been anew recognized as a social system value in uniting Europe. Yet there have also revived certain historical threats to the local selfgovernment arisen from central and local bureaucracy, particularism, and bribing local power elites. In such case, the fight for a local government that complies with Latin civilizational values acquires a special meaning. (shrink)

We study the sequent system mentioned in the author's work as CyInFL with ‘intuitionistic’ sequents. We explore the connection between this system and symmetric constructive logic of Zaslavsky and develop an algebraic semantics for both of them. In contrast to the previous work, we prove the strong completeness theorem for CyInFL with ‘intuitionistic’ sequents and all of its basic variants, including variants with contraction. We also show how the defined classes of structures are related to cyclic involutive FL‐algebras and Nelson (...) FLew‐algebras. In particular, we prove the definitional equivalence of symmetric constructive FLewc‐algebras (algebraic models of symmetric constructive logic) and Nelson FLew‐algebras (algebras introduced by Spinks and Veroff, as the termwise equivalent definition of Nelson algebras). Because of the strong completeness theorem that covers all basic variants of CyInFL with ‘intuitionistic’ sequents, we rename this sequent system to symmetric constructive full Lambek calculus (). We verify the decidability of this system and its basic variants, as we did in the case of their distributive cousins. As a consequence we obtain that the corresponding theories of (distributive and nondistributive) symmetric constructive FL‐algebras are decidable. (shrink)