Nineteenth-century investigations of the deep sea provide a case study for black box science. Naturalists were forced to theorize about a space for which they had no direct sensory observations. This study traces the emergence of bathymetry and deep-sea biology and then analyzes how men of science dealt with the uncertainty associated with their black box practices. I argue that these investigators created multiple types of black boxes based on their uncertainties and that these black boxes did not operate equivalently. (...) Consequently, scholars should be aware of the different categories of black boxes when they describe scientific practices. (shrink)

One staple of living in our information society is having access to the web. Web-connected devices interpret our queries and retrieve information from the web in response. Today’s web devices even purport to answer our queries directly without requiring us to comb through search results in order to find the information we want. How do we know whether a web device is trustworthy? One way to know is to learn why the device is trustworthy by inspecting its inner workings, 156–170 (...) 1995; Humphreys 2004, Episteme, 6, 221–229 2009). But ordinary users of web devices cannot inspect their inner workings because of their scale, complexity, and the corporate secrecy which enshrouds both the procedures by which the devices operate and the companies that make them. Further piling on this predicament, authors have criticized web technology on the grounds that the invisibility of the web devices’ inner workings prevents users from critically assessing the procedures that produce a given output, in some cases, barring users from fulfilling their epistemic responsibilities, 343–355 2010; Miller and Record Episteme, 10, 117–134 2013). I consider four broad kinds of reasons which we can acquire without inspecting the inner workings of black-boxed technology: individual understanding, expert testimony, testing through experience, and social vetting; and show how each is a viable method of appraising black-boxed technology. By deploying these methods, we can remain responsible inquirers while nonetheless benefitting from today’s epistemic resources on the web. (shrink)

Everyday surveillance work is increasingly performed by non-human algorithms. These entities can be conceptualised as machinic flâneurs that engage in distanciated flânerie: subjecting urban flows to a dispassionate, calculative and expansive gaze. This paper provides some theoretical reflections on the nascent forms of algorithmic practice materialising in two Australian cities, and some of their implications for urban relations and social justice. It looks at the idealisation – and operational black boxing – of automated watching programs, before considering their impacts on (...) notions such as ‘the right to the city’ and ‘the right to the face’. It will argue that the turn to facial recognition software for the purposes of automating urban governance reconstitutes the meanings and phenomenology of the face. In particular, the fleshly and communicative physicality of the face is reduced to a measurable object that can be identified by a virtualised referent and then consequently tracked. Moreover, the asymmetrical and faceless nature of these machinic programs of recognition unsettles conventional notions of civil inattention and bodily sovereignty, and the prioritisation given to pattern recognition renders them amenable to ideas/ideals from phrenology and physiognomy. In this way, algorithmic governance may generate not only forms of facial vulnerability and estrangement, but also facial artifice, where individuals come to develop tacit and artful ways of de-facing and re-facing in order to subvert the processes of recognition which leverage these modes of biopower. Thus, the datafication of urban governance gives rise to a dynamic biopolitics of the face. (shrink)

With automation of routine decisions coupled with more intricate and complex information architecture operating this automation, concerns are increasing about the trustworthiness of these systems. These concerns are exacerbated by a class of artificial intelligence that uses deep learning, an algorithmic system of deep neural networks, which on the whole remain opaque or hidden from human comprehension. This situation is commonly referred to as the black box problem in AI. Without understanding how AI reaches its conclusions, it is an open (...) question to what extent we can trust these systems. The question of trust becomes more urgent as we delegate more and more decision-making to and increasingly rely on AI to safeguard significant human goods, such as security, healthcare, and safety. Models that “open the black box” by making the non-linear and complex decision process understandable by human observers are promising solutions to the black box problem in AI but are limited, at least in their current state, in their ability to make these processes less opaque to most observers. A philosophical analysis of trust will show why transparency is a necessary condition for trust and eventually for judging AI to be trustworthy. A more fruitful route for establishing trust in AI is to acknowledge that AI is situated within a socio-technical system that mediates trust, and by increasing the trustworthiness of these systems, we thereby increase trust in AI. (shrink)

Embryonic development and ontogeny occupy whatis often depicted as the black box betweengenes – the genotype – and the features(structures, functions, behaviors) of organisms– the phenotype; the phenotype is not merelya one-to-one readout of the genotype. Thegenes home, context, and locus of operation isthe cell. Initially, in ontogeny, that cell isthe single-celled zygote. As developmentensues, multicellular assemblages of like cells(modules) progressively organized as germlayers, embryonic fields, anlage,condensations, or blastemata, enable genes toplay their roles in development and evolution.As modules, condensations are (...) fundamentaldevelopmental and selectable units ofmorphology (morphogenetic units) that mediateinteractions between genotype and phenotype viaevolutionary developmental mechanisms. In ahierarchy of emergent processes, gene networksand gene cascades (genetic modules) link thegenotype with morphogenetic units such ascondensations, while epigenetic processes suchas embryonic inductions, tissue interactionsand functional integration, link morphogeneticunits to the phenotype. To support theseconclusions I distinguish units of heredityfrom units of transmission and discussepigenetic inheritance by tracing the historyof relationship between embryology andevolution, especially the role(s) assigned tocells or to cellular components in generatingtheories of morphological change in evolution.The concept of cells as modular morphogeneticunits is modeled and illustrated using themammalian dentary bone. (shrink)

We present a temporal logic of branching time with four primitive operators: |$\exists {\mathcal {C}}$| – it may change whether; |$\forall {\mathcal {C}} $| – it must change whether; |$\exists \Box $| – it may be endlessly unchangeable that; and |$\forall \Box $| – it must be endlessly unchangeable that. Semantically, operator |$\forall {\mathcal {C}}$| expresses a change in the logical value of the given formula in every state that may be an immediate successor of the one considered, while (...) |$\exists {\mathcal {C}}$| expresses a change in the logical value of the given formula in some state that is a possible immediate successor. |$\forall {\mathcal {C}} $| and |$\exists {\mathcal {C}}$| are not normal operators, they are not mutually definable and have unusual properties: |$\forall {\mathcal {C}} A\leftrightarrow \forall {\mathcal {C}} \neg A$| and |$\exists {\mathcal {C}} A \leftrightarrow \exists {\mathcal {C}} \neg A$| are axioms. Operators |$\exists \Box $| and |$\forall \Box $| express endless unchangeability in some and all paths, respectively. Our axiomatization contains two infinitary rules that allow one to obtain |$\exists \Box A$| from infinitely many combinations of formulas with |$A, \neg, \forall {\mathcal {C}}, \land $|⁠, and to get |$\forall \Box A$| from infinitely many combinations of formulas with |$A, \neg, \exists {\mathcal {C}}, \land $|⁠. We show that our formalism is complete by presenting a bridge between our logic and logic |$\textsf {UB}$|⁠, which is a fragment of |$\textsf {CTL}$| in which until operators does not occur. (shrink)

One of the best known arguments against the connectionist approach to artificial intelligence and cognitive science is that neural networks are black boxes, i.e., there is no understandable account of their operation. This difficulty has impeded efforts to explain how categories arise from raw sensory data. Moreover, it has complicated investigation about the role of symbols and language in cognition. This state of things has been radically changed by recent experimental findings in artificial deep learning research. Two kinds of artificial (...) deep learning networks, namely the convolutional neural network and the generative adversarial network have been found to possess the capability to build internal states that are interpreted by humans as complex visual categories, without any specific hints or any grammatical processing. This emergent ability suggests that those categories do not depend on human knowledge or the syntactic structure of language, while they do rely on their visual context. This supports a mild form of empiricism, while it does not assume that computational functionalism is true. Some consequences are extracted regarding the debate about amodal and grounded representations in the human brain. Furthermore, new avenues for research on cognitive science are open. (shrink)

Higher education institutions have access to higher volumes and a greater variety and granularity of student data, often in real-time, than ever before. As such, the collection, analysis and use of student data are increasingly crucial in operational and strategic planning, and in delivering appropriate and effective learning experiences to students. Student data – not only in what data is collected, but also how the data is framed and used – has material and discursive effects, both permanent and fleeting. We (...) have to critically engage claims that artificial intelligence and the ever expansive/expanding systems of algorithmic decision-making provide speedy, accessible, revealing, panoramic, prophetic and smart analyses of students' risks, potential and learning needs. We need to pry open the black boxes higher education institutions use to admit, steer, predict and prescribe students’ learning journeys. (shrink)

The Business of a Flesh-Merchant : Passion, Power, Profit in the Economy of Professional Boxing. France has witnessed a significant rise in the recourse to sub-contracting over the last twenty years. The article is the result of an inquiry carried out by way of observation and participation in a boxing club located on the outskirts of Chicago’s «South Side », close to the University of Chicago. The paper focuses on the matchmaker as a particular figure in the world of boxing. (...) A close study of what is a crucial function in the world of boxing throws light on the way the milieu of boxing operates, in its recruitment of young underprivileged Afro-Americans with a view to turning them into competent boxers. In his role as an intermediary, the function of the matchmaker is to oversee the encounter between supply and demand in what, to a large extent, is the body market of boxing. As the individual around whom all the transactions revolve, the matchmaker is the figure on whom the milieu’s various tensions and oppositions are projected. Regarded as an exploiter and a body-trafficker by most of the young men whom he hires, his peers deem him “an honest businessman”. He thus epitomises the general economy of boxing, here understood as a system of exchange of bodies, incorporated within a system of social relations, requiring both the general collaboration of its subjects and the celebration of the success of certain individuals, at the expense of others. The article thus puts forward an empirically grounded economic anthropology, based on the exchange and the wearing-away of what is the most precious possession of those young candidates for success: their own bodies. (shrink)

We investigate, for several modal logics but concentrating on KT, KD45, S4 and S5, the set of formulas B for which ${\square B}$ is provably equivalent to ${\square A}$ for a selected formula A (such as p, a sentence letter). In the exceptional case in which a modal logic is closed under the (‘cancellation’) rule taking us from ${\square C \leftrightarrow \square D}$ to ${C \leftrightarrow D}$ , there is only one formula B, to within equivalence, in this inverse image, (...) as we shall call it, of ${\square A}$ (relative to the logic concerned); for logics for which the intended reading of “ ${\square}$ ” is epistemic or doxastic, failure to be closed under this rule indicates that from the proposition expressed by a knowledge- or belief-attribution, the propositional object of the attitude in question cannot be recovered: arguably, a somewhat disconcerting situation. More generally, the inverse image of ${\square A}$ may comprise a range of non-equivalent formulas, all those provably implied by one fixed formula and provably implying another—though we shall see that for several choices of logic and of the formula A, there is not even such an ‘interval characterization’ of the inverse image (of ${\square A}$ ) to be found. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, firstly, to target (...) a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

This paper examines the paradoxical transparency involved in training machine-learning models. Existing literature typically critiques the opacity of machine-learning models such as neural networks or collaborative filtering, a type of critique that parallels the black-box critique in technology studies. Accordingly, people in power may leverage the models’ opacity to justify a biased result without subjecting the technical operations to public scrutiny, in what Dan McQuillan metaphorically depicts as an “algorithmic state of exception”. This paper attempts to differentiate the black-box abstraction (...) that wraps around complex computational systems from the opacity of machine-learning models. It contends that the degree of asymmetry in knowledge is greater in the former than the latter. In the case of software systems, software codes are difficult to understand as only software experts with sufficient domain knowledge are equipped to formulate a sound critique. In contrast, the meanings of trained parameters in a machine-learning model are obscure even to the data scientists who configure and train the model. Hence, the asymmetry of knowledge lies only in how data examples are collected, the choice and configuration of machine-learning models, and the specification of features in model design. Under the trend of algorithmic decision-making proliferating with machine-learning heuristics, the paper contends that the more symmetric distribution of knowledge in machine learning could lead to a more transparent production process if proper policies are in place. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Philosophic Foundations of Mimetic Theory and Cognitive Science(Including Artificial Intelligence)Jean-Pierre Dupuy (bio)In the mid 1970s I discovered at the same time cognitive science and mimetic theory. Being a philosopher with a scientific background, I immediately brought them together and tried to reconceptualize the latter in terms of the former. In a sense, I haven't stopped doing that in the last 45 years. That is why I feel fully (...) at home with the goals pursued by the organizers of this conference.I do not believe it is feasible or even desirable to operate the rapprochement between the two disciplines at a global level. The history of cognitive science is exceedingly involved, and the part played by artificial intelligence in it compared to the part played by the neurosciences has varied greatly over time.1 Only a piecemeal approach makes sense. I present here four short case studies that cover the whole period, from the beginnings in cybernetics to today's artificial intelligence (AI).In order to better situate these studies within a broader frame, I propose the diagram in Figure 1. To comment on it would require more time than available for my whole presentation. Let me just say the following. [End Page 1]It is essential to distinguish between two kinds of AI. The first to bear this name was launched by economist Herbert Simon and computer scientist Allan Newell at a Dartmouth conference in 1956. It was based on the premise that thinking is computing, with this computation bearing on sentences of a "language of thought" implementable in a digital computer. It turns out that this AI(1) was progressively substituted from the 1980s onward by an AI(2), which, to some extent, was a return to a fundamental result obtained by cybernetics in 1943. Neurophysiologist Warren McCulloch and mathematician Walter Pitts had constructed a mathematical model of a network of elementary calculators called "neurons" and explored its properties. The capacity to "think" was one of these. It was not situated at the elementary level, as was the case in AI(1), but it emerged at the collective level from the interactions between the neurons.This model was heavily criticized by the supporters of AI(1),2 and its first implementations, in the notorious "Perceptron" in particular (1957), were pitiful failures. However, the emergence of "second-order cybernetics" under the guidance of cybernetician Heinz von Foerster and the theory of complex, self-organizing systems that it helped develop, in cooperation and rivalry with similar efforts in the physical sciences, enabled the neural network model to come to a second life under different names: formal neurons, deep learning, big data, and the like. Together, they constitute AI(2).The following network of influences wouldn't have been possible without its stem, that is, the boxes containing the names of Kurt Gödel and Alan Turing. The former revolutionized logic by showing that reasoning about arithmetic and arithmetic are one and the same, insofar as it is possible to code in a 1-to-1 fashion propositions about integers (for instance, "7 is a prime number") by means of integers. The latter demonstrated that some mechanisms can self-transcend inasmuch as they generate an ensemble of outputs that cannot be defined mechanistically. Later, John von Neumann, who is credited along with Alan Turing with having invented the digital computer, would use this logical possibility to define complexity: A mechanism is complex if it is capable of generating one more complex than itself. The gate was open for the theories of complex, self-organizing systems to thrive and, by way of consequence, for AI(2) to emerge.fascination with modelsHerbert Simon (1916–2001), winner of the Nobel Prize in economics for his work on what he called "bounded rationality," is generally considered to be one [End Page 2] Click for larger view View full resolutionFigure 1.of the founders of artificial intelligence. Some cognitive scientists still rely on the computer program that he devised with Alan Newell to simulate the creative processes of human thought—a program aptly named "General Problem Solver." The title of one of his principal works, The Sciences of the... (shrink)

The study of law and information technology comes with an inherent contradiction in that while technology develops rapidly and embraces notions such as internationalization and globalization, traditional law, for the most part, can be slow to react to technological developments and is also predominantly confined to national borders. However, the notion of the rule of law defies the phenomenon of law being bound to national borders and enjoys global recognition. However, a serious threat to the rule of law is looming (...) in the form of an assault by technological developments within artificial intelligence (AI). As large strides are made in the academic discipline of AI, this technology is starting to make its way into digital decision-making systems and is in effect replacing human decision-makers. A prime example of this development is the use of AI to assist judges in making judicial decisions. However, in many circumstances this technology is a ‘black box’ due mainly to its complexity but also because it is protected by law. This lack of transparency and the diminished ability to understand the operation of these systems increasingly being used by the structures of governance is challenging traditional notions underpinning the rule of law. This is especially so in relation to concepts especially associated with the rule of law, such as transparency, fairness and explainability. This article examines the technology of AI in relation to the rule of law, highlighting the rule of law as a mechanism for human flourishing. It investigates the extent to which the rule of law is being diminished as AI is becoming entrenched within society and questions the extent to which it can survive in the technocratic society. (shrink)

The Magician's Apparatus is an essay for the exhibition catalogue of The Collector's Room Exhibition at JGM Gallery in London, curated by Karen David. The Collector’s Room sees JGM Gallery transformed into a parlour room of a collector with a leaning towards illusion, stage magic and the escapologist Harry Houdini. In this room we encounter artworks such as spirit levels, levitations, gospel magic props, tarot cards, portraits of magicians, antique keys, handcuffs, sword boxes, escape trunks, magic wands, smoke, and mirrors. (...) The essay focuses on an encounter I had with a waxwork double of Paul Daniels at Wookey Hole Caves. It considers the central operation of the magicians’ craft: employing a decoy to misdirect, opening up the space between fact and fiction, the real and the made up. When watching a magic trick, the audience is knowingly placed at the centre of a conceit, an illusion that they are both complicit in but also kept separated from. A magician's audience always knows that the trick is not showing us what is actually happening - showing the spectator the mechanism of the illusion - but it is pretending to do that thing. Like the waxwork double, the magic trick is a simulation of reality that is always slightly distorted, always off-centre, always a theatrical manifestation of the real. (shrink)

Smart cities build on the idea of collecting data about the city in order for city administration to be operated more efficiently. Within a research project gathering an interdisciplinary team of researchers – engineers, designers, gender scholars and human geographers – we have been working together using participatory design approaches to explore how paying attention to the diversity of human needs may contribute to making urban spaces comfortable and safe for more people. The project team has deployed sensors collecting data (...) on air quality, sound and mobility in a smart city testbed in Norrköping, Sweden. While these sensors are meant to capture an accurate ‘map’ of the street and what is going on along it, our interdisciplinary conversations around the sensors have revealed the heterogeneity both of smart city planning and spatial formulations of the city. The discussions have given rise to questions regarding the work that goes into constructing the sensor box itself, as well as the work of deploying it, and how these influence the ‘map’ that the sensors produce. In this paper, we draw on Lefebvre to explore how the sensors themselves produce smart spaces. We analyze how the box depends on perceived space to function (e.g. requiring electricity), and simultaneously it produces conceptualizations of space that are influenced by the materiality of the box itself (e.g. sensors being affected by heat and noise). Further, we explore how the (in)visibility of sensor technology influences lived space. (shrink)

The optimal balance between decidability and expressiveness is a big problem of logical systems, in particular, of quantified epistemic logics (QELs). On the one hand, decidability is a very significant characteristic of logics that allows us to use such logics in the framework of artificial intelligence. On the other hand, QELs have important expressive capabilities that should not be lost when we construct decidable fragments of these logics. QELs are known to be much more expressive than first-order logics. One important (...) example of their extra expressive power is that they allow us to distinguish between de dicto and de re readings of epistemic sentences. It is clear that such capabilities should be preserved as much as possible in decidable fragments. In this paper, we consider extensions of QELs that include quantification over modalities. Denote this extensions by $$\hbox {Q}_{\Box }$$ Ls. $$\hbox {Q}_{\Box }$$ Ls allows us to make more subtle distinctions between de dicto and de re readings of epistemic sentences, and we also should keep these new features as much as possible in decidable fragments. It is known that there are not much interesting decidable QELs. The situation with $$\hbox {Q}_{\Box }$$ Ls is the same. But in recent years (after 2018), we have obtained a variety of decidable $$\hbox {Q}_{\Box }$$ Ls constructed in different ways. We distinguish between (1) the approach in which for every undecidable $$\hbox {Q}_{\Box }$$ L and for every variant of its decidable fragment, a specific proof is constructed, and (2) the approach in which a class of decidable $$\hbox {Q}_{\Box }$$ Ls is obtained using general tools and a uniform method for all $$\hbox {Q}_{\Box }$$ Ls of this class. In this paper, we compare the results of these approaches. (shrink)

The War on Terror is an ambiguous term that has been used to circumvent the international laws of warfare. Instead of moving toward peace by way of limited warfare, and instead of preserving the independence of war and peace, War on Terror advances by masking itself in a fog of peace; it proliferates by overlapping the logic of “war-time” and “peace-time” operations. The fog of peace—as it shall herein be called—is a condition wherein the uncertainty qua “fog” of war,2 along (...) with its militarized logic, overlaps with and eventually replaces civilian peace-time-and-spaces. The War on Terror is thus not a limiting of war by way of the conventional modern mechanisms of international law and diplomacy; it is a continuation of war by other means, including the use covert, often black-boxed methods of information-capture and surveillance. Globally, states are expanding the powers of intelligence organs and deploying covert mass surveillance programs in the name of counter-terrorism. In this manner, counter-terrorism policies become instruments enabling states to become predatory, especially in relation to civilians. Under the banner of fighting terrorism, peace-time has unwittingly become colonized by the logic of war. (shrink)

ArgumentThis essay considers the work of projection and the hand of the projectionist as important components of the social space of the cinema as it comes into being in the nineteenth century and the early decades of the twentieth. I bring the concept of Maurice Merleau-Ponty on the place of the body as an entity that applies itself to the world “like a hand to an instrument” into a discussion of the pre-cinematic projector as an instrument that we can interpret (...) as evidence of the experience of the work of the projectionist in the spirit of film theory and media archaeology, moving work on instrumentation in a different direction from the analysis of the work of the black box in laboratory studies. Projection is described as a psychological as well as a mechanical process. It is suggested that we interpret the projector not simply in its activity as it projects films, but in its movement from site to site and in the workings of the hand of its operator behind the scenes. This account suggests a different perspective on the cinematic turn of the nineteenth century, a concept typically approached through the study of the image, the look, the camera, and the screen. (shrink)

This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical possibility are not logically (...) necessary. (shrink)

Artificial intelligence (AI) technology has brought new opportunities and challenges to the judicial field, which dramatically improves judicial efficiency and may even change the judiciary's way. The concept of judicial justice in the information age has a natural affinity with artificial intelligence. As artificial intelligence continues to make breakthroughs in judicial data sorting and deep learning knowledge, judicial artificial intelligence has gradually become a reality. Artificial intelligence can conduct legal argumentation, interpret calculation results, human–computer collaboration, and judicial judgment. At the (...) same time, the development of artificial intelligence technology also has potential risks, such as algorithm black boxes, algorithm discrimination, etc., to help judges achieve judicial justice, the value of judicial justice should be pursued to the limit of its judicial application. Therefore, artificial intelligence justice should be constrained by social relations, legal rationality, and code operation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Guide to Personal Knowledge: The Philosophy of Michael Polanyi: Tacit Knowledge, Emergence and the Fiduciary Program by Dániel Paksi and Mihály HéderAlessio TartaroPAKSI, Dániel and Mihály Héder. Guide to Personal Knowledge: The Philosophy of Michael Polanyi: Tacit Knowledge, Emergence and the Fiduciary Program. Wilmington, Del.: Vernon Press, 2022. xxiii + 209 pp. Cloth, $65.00Famous for the concept of "tacit knowledge," Polanyi is a figure who looms over twentieth-century (...) philosophy without ever establishing himself as one of its major protagonists. Yet, Polanyi tackled central problems in twentieth-century Western philosophy and offered [End Page 358] insightful and original analyses thereof. In Personal Knowledge, Polanyi articulates ideas about metaphysics, mathematics, evolution, philosophy and sociology of science, epistemology, philosophy of language, political theory, theology, and more. The richness of the contents, but also their deep unity, make Polanyi's work a unique piece in the philosophical landscape of his time, full of fruitful insights that are still relevant nowadays.Guide to Personal Knowledge, written by two of the leading experts on Polanyi's philosophy, deserves the merit of providing an accessible introduction to this complex work. The book is divided into thirteen chapters, each corresponding to the respective chapter of Personal Knowledge. In each chapter, Paksi and Héder clearly explain Polanyi's main ideas, presenting them in the same order as they appear in Personal Knowledge. The chapters are introduced by a "Goals of the chapter" section that provides a series of key points, where the authors summarize Polanyi's objectives in the corresponding chapter of Personal Knowledge.The Guide is interspersed with many direct quotations from Personal Knowledge that allow the reader to link the Guide to the original text. The use of figures and tables illuminates even the most complex concepts, such as "tacit integration" and the difference between "random and ordered systems." The Guide is enriched by twenty-five boxes that provide information on ideas, authors, and concepts directly or indirectly referenced by Polanyi in Personal Knowledge. These boxes are a valuable supplement. In some cases, they offer insight into contemporary events, theories, and scholars to which Polanyi alludes but that he does not elaborate on, for example, about the role of the Michelson-Morley experiments in Einstein's development of the theory of relativity. In other cases, boxes develop a comparison between Polanyi's ideas and related philosophical figures, such as Thomas Kuhn and Samuel Alexander. Thanks to the boxes, the reader gains a richer and more complete view of Polanyi's thought.In the preface, Paksi and Héder preliminarily introduce some key concepts for understanding Polanyi's work, including "objectivity," "trust" and "fiduciary program," "tacit knowledge," "intellectual passions," "deceptive substitution," "moral inversion," "operational principles," "logic of achievement," and "emergence." Their analysis always proves faithful to Polanyi's thought, and the authors show how these concepts are interrelated and constitute the pillars of Personal Knowledge's argumentative structure. Other equally crucial concepts in Polanyi's work, for example, "commitment," "indwelling," "tradition," "conviviality," "anthropogenesis," "ultrabiology," are not introduced in the preface, but they are explored in depth in the respective chapters.The thirteen chapters of the book recapitulate in detail the main thematic segments of Personal Knowledge. The critique of objectivism and positivist views of science is explained and analyzed in chapters 1 to 4. This critique is articulated on several levels. Polanyi first criticizes [End Page 359] objectivism because it attempts to remove the personal element from scientific knowledge in order to pursue ever higher degrees of formalism, neutrality, and impersonality. Polanyi asserts, however, that the personal element is irreducible, and then proceeds to demonstrate how it operates: in the evaluation of probability statements (chapter 2), in the appreciation of ordered patterns (chapter 3), and in the practice of skills (chapter 4). The ineliminability of the personal element shows that objectivism is false. Paksi and Héder brilliantly retrace the train of thought that leads Polanyi to this conclusion.The second theme that runs across Personal Knowledge concerns the tacit foundation of human intellectual abilities and, consequently, of science and society. In chapter 6, the authors follow Polanyi's disparate arguments about animal intelligence, human... (shrink)

Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the right modal logic (...) is S4.2, and a mirroring theorem due to Linnebo allows for a natural potentialist interpretation of mathematical discourse. When the possible expansions are branching, the right modal logic is S4. However, the usual box and diamond do not suffice to express everything the potentialist wants to express. I argue that the potentialist also needs an operator expressing that something will eventually happen in every possible expansion. I prove that the result of adding this operator to S4 makes the set of validities Pi-1-1 hard. This result makes it unlikely that there is any natural translation of ordinary mathematical discourse into the potentialist framework in the context of branching possibilities. (shrink)

We prove that modal logic formulated in a language with the cover modality is exponentially more succinct than the usual box-and-diamond version. In contrast with this, we show that adding the so-called public announcement operator to the latter results in a modal system that is exponentially more succinct than the one based on the cover modality.

Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the right modal logic (...) is S4.2, and a mirroring theorem due to Linnebo allows for a natural potentialist interpretation of mathematical discourse. When the possible expansions are branching, the right modal logic is S4. However, the usual box and diamond do not suffice to express everything the potentialist wants to express. I argue that the potentialist also needs an operator expressing that something will eventually happen in every possible expansion. I prove that the result of adding this operator to S4 makes the set of validities Pi-1-1 hard. This result makes it unlikely that there is any natural translation of ordinary mathematical discourse into the potentialist framework in the context of branching possibilities. (shrink)

Michigan is a critical agricultural state, and small family farms are a crucial component of the state’s food sector. This paper examines how the race/ethnicity of the family farm owners/operators is related to farm characteristics, financing, and impacts of the pandemic. It compares 75 farms owned/operated solely by Whites and 15 with People of Color owners/operators. The essay examines how farmers finance their farm operations and the challenges they face doing so. The article also explores how the Coronavirus-19 pandemic affected (...) farming operations, the financial viability of farms, and how farmers responded to the challenges posed by the pandemic. The study found that People of Color farm owners/operators were younger than White farm owners/operators. The People of Color farm owners/operators tended to manage smaller farms for shorter periods than White farm owners/operators. Though two-thirds of the Farmers of Color owned their farms, they were more financially vulnerable than White farm owners/operators. The farmers studied had difficulty obtaining loans to finance their farms. Farmers reported increasing requests from people for food assistance during the pandemic. Farmers responded to the pandemic by participating in government programs such as the Farm to Families Food Box Program that purchased their produce. It allowed farmers to supply emergency food assistance programs with products from their farms. The products went to families receiving food assistance from soup kitchens, food banks, and other community-based nonprofits. (shrink)

Theories related to cognitive sciences, Human-in-the-loop Cyber-physical systems, data analysis for decision-making, and computational ethics make clear the need to create transdisciplinary learning, research, and application strategies to bring coherence to the paradigm of a truly human-oriented technology. Autonomous objects assume more responsibilities for individual and collective phenomena, they have gradually filtered into routines and require the incorporation of ethical practice into the professions related to the development, modeling, and design of algorithms. To make this possible, it is pertinent and (...) urgent to bring them closer to the problems and approaches of the humanities. Increasingly transdisciplinary research must be part of the construction of systems that provide developers and scientists with the necessary bases to understand the ethical debate and therefore their commitment to society. This article considers two theories as articulating axes: Blumenberg’s, coming from the field of philosophy, for whom the process of technification and especially the implementation of mathematical models in their algorithmic form leads to an emptying of meaning and therefore makes programmers who implement their functions to be alien to the concerns that gave them origin; Daston’s, belonging to the field of the history of science and according to which the division of labor in the processes of technification of the calculation implies a kind of subordination in which those who implement the inventions of a small group of privileged mathematicians ignore the procedures that put them into operation. Given these two theories, the black box models prevalent in AI development, and the urgency of establishing explanatory frameworks for the development of computational ethics, this article exposes the need to give a voice to the cultural history of consciousness for promoting the discussions around the implementation of mathematical algorithms. The paper takes as a reference the different points of view that have emerged around the study of technological ethics, its applicability, management, and design. It criticizes the current state of studies from a humanistic perspective and explains how the historical perspective allows promoting the training of software engineers, developers and creators so that they assume intuitions and moral values in the development of their work. Specifically, it aims to expose how cultural history, applied to the study of consciousness and its phenomena, makes those involved in this technological revolution aware of the effect that they, through their algorithms, have on society in general and on human beings in particular. (shrink)

continent. 2.2 (2012): 60–63 Translated by Rodrigo Maltez Novaes. From the forthcoming book Post-History , Minneapolis: Univocal Publishing, 2013. It is not necessary to have a keen ear in order to find out that the steps we take towards the future sound hollow. But it is necessary to have concentrated hearing if one wishes to find out which type of vacuity resonates with our progress. There are several types of vacuity, and ours must be compared to others, if the aim (...) is to understand it. The incomparable is incomprehensible. If we affirm that our situation is incomparable, we give up the effort to grasp it. The comparison that imposes itself is to the vacuity of the Baroque. There are innumerable traces in the present that evoke the Baroque. We bear the mark of the same somber rationalism (logics, informatics, cybernetics), and of the same magic and fanatic irrationalism (mass media, phantastic ideologies). But there is a decisive difference. Humanity advanced over a stage during the Baroque. All of its gestures, even the most sincere, were marked by theatricality. The vacuity that resonated under its feet was of the void under the stage. Baroque man represented. 1 For example he represented faith in waging religious wars. Baroque vacuity was the consequence of a medieval loss of faith in dogmas . Our vacuity is different. We do not represent anything. Our world is not a stage. We are not actors, and if we act, it is not to represent a drama, but to divert the audience's attention and our own from the subjects that really matter. We act like criminals that try to hide their tracks. We pretend. Our progress is a farce. The vacuity under our feet is not Baroque. We have not lost our faith in dogmas: we have lost faith in ourselves . We are as counter-reformists as was the Baroque (we want to cover up the recent revolution with warm cloths), but for different reasons. Although comparable with the Baroque, in certain aspects, our situation is in fact incomparable to any other. That is because an incomparable, unheard of, never before seen event happened recently, which emptied the ground we tread. Auschwitz . Other posterior events; Hiroshima, the Gulags, are nothing but variations of the first. Therefore every attempt to grasp the present leads to the following questions: how was Auschwitz possible? How can we live after this? Such questions relate not only to the ones directly or indirectly responsible, and not only to those who were directly or indirectly hit by it: they relate to everyone who takes part in our culture. Because what is so incomparable, unheard of, never before seen and therefore incomprehensible in Auschwitz, is that it was there that Western culture revealed one of its inherent virtualities. Auschwitz is a characteristic realization of our culture. It is neither the product of a particular Western ideology, nor of specific “advanced” industrial techniques. It springs directly from the depths of culture and of its concepts and values. The possibility to realize Auschwitzes is implicit within our culture from the very start: the Western “project” already harbored it, although as a remote possibility. Auschwitz lies within the initial program of the West, which progressively realizes all of its virtualities as history unfolds. That is why the question that Auschwitz poses before us is not: how did it happen? It serves no purpose to “explain” Auschwitz. The fundamental question is: how was it possible? Because what is being questioned is not the extermination camp, but the West. Thus one other question: how to live within a culture henceforth unmasked? Everything that happened afterwards resonates with such a question, with such vacuity. Every economic, social, political, technical, scientific, artistic, philosophic event is corroded by such an undigested question. The distance that separates us from the event does not mitigate the abyss, it erodes it even deeper. Because the distance progressively dissolves the aura of the horror that envelops the event, and it progressively opens up a vision of the scene. It progressively reveals that there all of our categories, all of our “models”, suffered an irreparable shipwreck. Auschwitz was a revolutionary event, in the sense that it overthrew our culture. Insofar as we seek ways to cover up such revolution with trips to the moon or with genetic manipulations, we are counter-revolutionaries: we are inverting the course of history in order to cover up the past. The unspoken in Auschwitz is not the mass murder, it is not the crime . It is the ultimate reification of people into amorphous objects, into ashes. The Western tendency towards objectification was finally realized and it was done so in the shape of an apparatus . The SS were functionaries of an extermination apparatus, and their victims functioned in function of their own annihilation. The extermination camp's program, once it started functioning, developed in an automatic fashion, autonomous from the decisions of the initial programmers, even if, as it effectively did, it contributed to the defeat of the programmers. The SS and the Jews functioned one in function of the other like cogwheels. The models for such functionality were provided by the highest of Western values: the SS behaved like “heroes” and the Jews like “martyrs”. This is an apparatus that functions at a borderline situation: objective even beyond death. What has just been said is intolerable. We cannot accept it and so we mobilize arguments against it. Good arguments. The SS behaved like criminals: they removed the gold teeth from the cadavers. The Jews behaved like victims: they rose up in the Warsaw ghetto. Such arguments are true, but they do not reach the nucleus, the “ eidos ” of the phenomenon: they do not grasp it. Although there was “normal” behavior: (theft, murder, revolt, heroism), there was also “abnormal” behavior: functionality during a borderline situation. And this is what counts. There, for the first time in the history of humanity, an apparatus was put into operation that was programmed with the most advanced techniques available, which realized the objectification of man, together with the functional collaboration of man. The previous horrors committed by Western society against other societies and against itself (and there are many) were crimes . They were violations of Western models of behavior: anti-Christian, anti-human, irrational. So that it is possible to condemn them and continue to be Western, even if the horror is so colossal, such as the enslavement of Africans. However, it is not possible to condemn Auschwitz and continue to adhere consciously to the West. Auschwitz is not a violation of Western models of behavior, it is, on the contrary, the result of the application of such models. Our culture allowed its mystifying mask to fall and must be rejected in toto if we admit that the purpose of every culture is to allow for the convivial existence of men that recognize each other mutually as subjects. However: it is not possible to reject one's own culture. It is the ground we tread . Those who seek to reject their own culture (as Nietzsche did in rejecting Judeo-Christianity), fall victim to madness. Those who reject their culture's models, are incapable of grasping the world in which they live. Cultural models are traps to catch the world. Those who seek to substitute their own models for other's (for example by shouting “Hare Krishna”) will find that such exotic models have already been caught by the very models to be substituted. There is no exit: we are condemned to use our models and to serve such models, even after they have been unmasked, if we wish to continue living. The only alternative would be to commit suicide. That is: we must continue our economic, political, scientific, artistic, philosophic activities despite Auschwitz. We must continue progressing despite everything . That is why there are those who recommend that we should seek to forget what happened, that we should repress the event. They sustain that enough has already been said and written about the subject and that it is time to “overcome” it. But such an ostrich strategy reveals itself disastrous. Because the result is that Auschwitz transfers itself from Poland of the 1940s to the post-industrial society of the future. What characterizes the extermination camp is precisely that it is not an event that can be “overcome”, because it is the first realization of an inherent virtuality within the Western project, which will repeat itself in other formats unless we become totally conscious of it. The advantage (if this is an appropriate term) that Auschwitz offers us, is to give us a concrete example of the West’s tendency towards the apparatus. For the first time in our history it is possible for us to experience concretely the utopia inherent in our culture. For the first time in our history we have the experience that utopia, no matter in what form, towards which we progress, is the extermination camp. Everywhere we can observe, as of now, the emergence of variations on the theme “Auschwitz”. Everywhere apparatus spring, just like mushrooms after a Nazi rain, from the ground that has become rotten. Certainly: such new apparatus are not externally similar to the Nazi extermination camps. Their labels are different, as are the ideologies that pretend to inspire them. Even the apparatus that admittedly envision extermination, such as the Gulags, the ones of a future nuclear war, or the ones that functioned in Vietnam, claim to be different from Auschwitz. Others claim to be “friends of mankind”, such as the scientific, technical and administrative apparatus. But such labels and such ideologies are deceptive and serve only to cover up the essence of apparatus. They are all just like Auschwitz, black boxes that function with complex inner-workings in order to realize a program. They all function according to an inertia that is inherent to them and such functionality escapes , from a certain point, the control of their initial programmers. In a final analysis such apparatuses function, all of them, towards the annihilation of all their functionaries, including their programmers. Exactly because they objectify and dehumanize man. Thus Western culture reveals itself as a project that seeks to transform itself into an apparatus. What characterizes the West is its capacity for an objectifying transcendence. Such transcendence allows for the transformation of all phenomena, including the human phenomenon, into an object of knowledge and manipulation. The space for such transcendence opened up thanks to Judeo-Christianity and resulted, in the course of our history, in science, technique and recently, in Auschwitz. The ultimate objectification of the Jews into ashes is the ultimate victory of the spirit of the West. It is social technique taken to the extreme. Certainly: the transformation of men into ashes is primitive, incipient social technique that progressively refines itself. It will be followed by less brutal objectifications, such as the robotization of society. But it does not matter which form it will assume: it will always be an objectifying manipulation of mankind. Although the apparatus of the immediate future are not necessarily incineration ovens, all will be, and not only the nuclear ones, apparatus for the annihilation of man. The Western program contains several virtualities, not only apparatus. Numerous virtualities have not yet been realized. In this sense the “history of the West” has not ended yet, the Western game continues. But all not-yet realized virtualities are infected by apparatus. That is why it has become currently impossible to engage ourselves in the “ progress of culture .” As it would be to engage ourselves in our own annihilation. We have lost our faith in our culture, in the ground we tread. That is: we have lost faith in ourselves. It is this hollow vibration that follows our steps towards the future. What remains is for us to analyze the event “Auschwitz” in all its details in order to discover the fundamental project that realized itself there for the first time, so that we may nurture the hope to project ourselves out of that project. Out of the history of the West. This is the “post- historical” climate in which we are condemned to live from hereon. NOTES 1. In Portuguese representar (to represent) also means “to act” or “to play a role.&rdquo. (shrink)

The DSM-III, DSM-IV, DSM-IV-TR and ICD-10 have judiciously minimized discussion of etiologies to distance clinical psychiatry from Freudian psychoanalysis. With this goal mostly achieved, discussion of etiological factors should be reintroduced into the Diagnostic and Statistical Manual of Mental Disorders, Fifth Edition. A research agenda for the DSM-V advocated the "development of a pathophysiologically based classification system". The author critically reviews the neuroevolutionary literature on stress-induced and fear circuitry disorders and related amygdala-driven, species-atypical fear behaviors of clinical severity in adult (...) humans. Over 30 empirically testable/falsifiable predictions are presented. It is noted that in DSM-IV-TR and ICD-10, the classification of stress and fear circuitry disorders is neither mode-of-acquisition-based nor brain-evolution-based. For example, snake phobia and dog phobia are clustered together. Similarly, research on blood-injection-injury-type-specific phobia clusters two fears different in their innateness: 1) an arguably ontogenetic memory-trace-overconsolidation-based fear and 2) a hardwired fear of the sight of one's blood or a sharp object penetrating one's skin. Genetic architecture-charting of fear-circuitry-related traits has been challenging. Various, non-phenotype-based architectures can serve as targets for research. In this article, the author will propose one such alternative genetic architecture. This article was inspired by the following: A) Nesse's "Smoke-Detector Principle", B) the increasing suspicion that the "smooth" rather than "lumpy" distribution of complex psychiatric phenotypes may in some cases be accounted for by oligogenic transmission, and C) insights from the initial sequence of the chimpanzee genome and comparison with the human genome by the Chimpanzee Sequencing and Analysis Consortium published in late 2005. Neuroevolutionary insights relevant to fear circuitry symptoms that primarily emerge overconsolidationally are presented. Also introduced is a human-evolution-based principle for clustering innate fear traits. The "Neuroevolutionary Time-depth Principle" of innate fears proposed in this article may be useful in the development of a neuroevolution-based taxonomic re-clustering of stress-triggered and fear-circuitry disorders in DSM-V. Four broad clusters of evolved fear circuits are proposed based on their time-depths: 1) Mesozoic circuits hardwired by wild-type alleles driven to fixation by Mesozoic selective sweeps; 2) Cenozoic circuits relevant to many specific phobias; 3) mid Paleolithic and upper Paleolithic circuits ; 4) Neolithic circuits. More importantly, the author presents evolutionary perspectives on warzone-related PTSD, Combat-Stress Reaction, Combat-related Stress, Operational-Stress, and other deployment-stress-induced symptoms. The Neuroevolutionary Time-depth Principle presented in this article may help explain the dissimilar stress-resilience levels following different types of acute threat to survival of oneself or one's progency. PTSD rates following exposure to lethal inter-group violence are usually 5-10 times higher than rates following large-scale natural disasters such as forest fires, floods, hurricanes, volcanic eruptions, and earthquakes. The author predicts that both intentionally-caused large-scale bioevent-disasters, as well as natural bioevents such as SARS and avian flu pandemics will be an exception and are likely to be followed by PTSD rates approaching those that follow warzone exposure. During bioevents, Amygdala-driven and locus-coeruleus-driven epidemic pseudosomatic symptoms may be an order of magnitude more common than infection-caused cytokine-driven symptoms. Implications for the red cross and FEMA are discussed. It is also argued that hospital phobia as well as dog phobia, bird phobia and bat phobia require re-taxonomization in DSM-V in a new "overconsolidational disorders" category anchored around PTSD. The overconsolidational spectrum category may be conceptualized as straddling the fear circuitry spectrum disorders and the affective spectrum disorders categories, and may be a category for which Pitman's secondary prevention propranolol regimen may be specifically indicated as a "morning after pill" intervention. Predictions are presented regarding obsessive-compulsive disorder and "culture-bound" acute anxiety symptoms. Also discussed are insights relevant to pseudoneurological symptoms and to the forthcoming Dissociative-Conversive disorders category in DSM-V, including what the author terms fright-triggered acute pseudo-localized symptoms. Speculations based on studies of the human abnormal-spindle-like, microcephaly-associated gene, the microcephaly primary autosomal recessive gene, and the forkhead box p2 gene are made and incorporated into what is termed "The pre-FOXP2 Hypothesis of Blood-Injection-Injury Phobia." Finally, the author argues for a non-reductionistic fusion of "distal neurobiology" with clinical "proximal neurobiology," utilizing neurological heuristics. It is noted that the value of re-clustering fear traits based on behavioral ethology, human-phylogenomics-derived endophenotypes and on ontogenomics can be confirmed or disconfirmed using epidemiological or twin studies and psychiatric genomics. (shrink)

We present a Hilbert style axiomatization and an equational theory for reasoning about actions and capabilities. We introduce two novel features in the language of propositional dynamic logic, converse as backwards modality and abstract processes specified by preconditions and effects, written as \({\varphi \Rightarrow \psi}\) and first explored in our recent paper (Hartonas, Log J IGPL Oxf Univ Press, 2012), where a Gentzen-style sequent calculus was introduced. The system has two very natural interpretations, one based on the familiar relational semantics (...) and the other based on type semantics, where action terms are interpreted as types of actions (sets of binary relations). We show that the proof systems do not distinguish between the two kinds of semantics, by completeness arguments. Converse as backwards modality together with action types allow us to produce a new purely equational axiomatization of Dynamic Algebras, where iteration is axiomatized independently of box and where the fixpoint and Segerberg induction axioms are derivable. The system also includes capabilities operators and our results provide then a finitary Hilbert-style axiomatization and a decidable system for reasoning about agent capabilities, missing in the KARO framework. (shrink)

Electronic inspection copies are available for instructors What and who is business for? What exactly is work and how can we distinguish it from other activity? Do businesses operate along different ethical lines from individuals? This clear and accessible text introduces key philosophical concepts and ideas and applies them to fundamental issues in management and organizations. Written for business and management students with no previous knowledge of philosophy, this text will lead readers to question the basic assumptions widely made about (...) business and management. An Introduction to the Philosophy of Management is packed with case studies and examples which provoke thought and discussion. Coverage includes crucial topics such as business ethics, culture and leadership. Key features: - Boxed definitions of key concepts - Real life case studies and examples - Questions for Reflection - Further reading This text is essential reading for any business and management student wanting to think creatively. (shrink)

Four experiments examined children's ability to reason about the causal significance of the order in which 2 events occurred (the pressing of buttons on a mechanically operated box). In Study 1, 4-year-olds were unable to make the relevant inferences, whereas 5-year-olds were successful on one version of the task. In Study 2, 3-year-olds were successful on a simplified version of the task in which they were able to observe the events although not their consequences. Study 3 found that older children (...) had difficulties with the original task even when provided with cues to attend to order information. However, 5-year-olds performed successfully in Study 4, in which the causally relevant event was made more salient. (shrink)

Emerging from the internationally recognised Theorising Normalcy and the Mundane conference series, the chapters in this book offer wide-ranging critiques of that most pervasive of ideas, 'normal'. In particular, they explore the precarious positions we are presented with and, more often than not, forced into by 'normal', and its operating system, 'normalcy' (Davis, 2010). They are written by activists, students, practitioners and academics and offer related but diverse approaches. Importantly, however, the chapters also ask, what if increasingly precarious encounters with, (...) and positions of, marginality and non-normativity offers us a chance (perhaps the chance) to critically explore the possibilities of 'imagining otherwise'? The book questions the privileged position of 'non-normativity'; in youth and unpacks the expectation of the 'normal' student in both higher and primary education. It uses the position of transable people to push the boundaries of 'disability', interrogates the psycho-emotional disablism of box-ticking bureaucracy and spotlights the 'urge to know' impairment. It draws on cross-movement and cross-disciplinary work around disability to explore topics as diverse as drug use, The Bible and relational autonomy. Finally, and perhaps most controversially, it explores the benefits of (re)instating 'normal'. By paying attention to the opportunities presented amongst the fissures of critique and defiance, this book offers new applications and perspectives for thinking through the most ordinary of ideas, 'normal'. (shrink)

This article proposes an analytical approach to algorithms that stresses operations of folding. The aim of this approach is to broaden the common analytical focus on algorithms as biased and opaque black boxes, and to instead highlight the many relations that algorithms are interwoven with. Our proposed approach thus highlights how algorithms fold heterogeneous things: data, methods and objects with multiple ethical and political effects. We exemplify the utility of our approach by proposing three specific operations of folding—proximation, universalisation and (...) normalisation. The article develops these three operations through four empirical vignettes, drawn from different settings that deal with algorithms in relation to AIDS, Zika and stock markets. In proposing this analytical approach, we wish to highlight the many different attachments and relations that algorithms enfold. The approach thus aims to produce accounts that highlight how algorithms dynamically combine and reconfigure different social and material heterogeneities as well as the ethical, normative and political consequences of these reconfigurations. (shrink)

Despite significant progress in real-world (nonideal) political philosophy focused on overcoming injustice and inequality, there has not been concomitant attention paid to _who_ will take up these projects. Agents tend to be treated in this literature, if at all, as epiphenomenal to substantive normative theorising on social change. To rectify this, Ben Laurence has made perhaps the most systematic case so far for philosophers to identify agents of change as an integral part of their work, with sensitivity to levels of (...) motivation and feasibility. However, his account risks mirroring the status quo biases of an unjust world. Normative theory must retain a commitment to the possibilities for _generating_ potential agents of change in the face of injustice. In response, I propose an approach that is at once universal and pluralistic, grounded in the complexity of agents as they are and yet morally ambitious about what they can become. This incorporates three neglected aspects of change-making agency. First, the ordinary person as a citizen. Second, the ‘black box’ of group agents and how individual agency operates inside structures such as states, firms, or civil society. Third, the indiscernible contributions in the build-up to rapid, visible change. I call these neglected forms of change-making agency, respectively, ‘agency from below’, ‘agency inside agents’, and ‘concealed agency’. Together, they comprise the building blocks for a new theory of agency. (shrink)

A so called “weak value” of an observable in quantum mechanics (QM) may be obtained in a weak measurement + post-selection procedure on the QM system under study. Applied to number operators, it has been invoked in revisiting some QM paradoxes (e.g., the so called Three-Box Paradox and Hardy’s Paradox). This requires the weak value to be interpreted as a bona fide property of the system considered, a par with entities like operator mean values and eigenvalues. I question such (...) an interpretation; it has no support in the basic axioms of quantum mechanics and it leads to unreasonable results in concrete situations. (shrink)

In this paper we argue that ‘informed’ consent in Big Data genomic biobanking is frequently less than optimally informative. This is due to the particular features of genomic biobanking research which render it ethically problematic. We discuss these features together with details of consent models aimed to address them. Using insights from consent theory, we provide a detailed analysis of the essential components of informed consent which includes recommendations to improve consent performance. In addition, and using insights from philosophy of (...) mind and language and psycholinguistics we support our analyses by identifying the nature and function of concepts (ideas) operational in human cognition and language together with an implicit coding/decoding model of human communication. We identify this model as the source of patients/participants poor understanding. We suggest an alternative, explicit model of human communication, namely, that of relevance‐theoretic inference which obviates the limitations of the code model. We suggest practical strategies to assist health service professionals to ensure that the specific information they provide concerning the proposed treatment or research is used to inform participants’ decision to consent. We do not prescribe a standard, formal approach to decision‐making where boxes are ticked; rather, we aim to focus attention towards the sorts of considerations and questions that might usefully be borne in mind in any consent situation. We hope that our theorising will be of real practical benefit to nurses and midwives working on the clinical and research front‐line of genomic science. (shrink)

As we move our social institutions from paper and ink based operations to the electronic medium, we invisibly create a type of surveillance society, a panopticon society. It is not the traditional surveillance society in which government officials follow citizens around because they are concerned about threats to the political order. Instead it is piecemeal surveillance by public and private organizations. Piecemeal though it is, It creates the potential for the old kind of surveillance on an even grander scale. The (...) panopticon is the prison environment described by Foucault in which prison cells are arranged in a large circle with the side facing the inside of the circle open to view. The guard tower is placed in the middle of the circle so that guards can see everything that goes on in every cell. When we contemplate all the electronic data that is now gathered about each of us as we move through our everyday lives --- intelligent highway systems, consumer transactions, traffic patterns on the internet, medical records, financial records, and so on --- there seems little doubt that we are moving into a panopticon. The social issues that arise from this are too numerous to detail here, but data retention is an important part of it. In the paper-and-ink world, documents are filed, files are boxed, boxes are put away or thrown away. The capacity for data retrieval and manipulation is, thereby, limited by the sheer difficulty and cost of storing, finding, searching, and manipulating large numbers of paper files. This inconvenience functions as a mechanism whereby the system forgets past information, not unlike the way we ourselves forget. However, the story is very different in the digital world; digital information is easy to store, easy to search and manipulate, and inexpensive to keep over extensive periods of time. Digitalized information systems tend, therefore, to collect extensive ancillary information and to retain this information indefinitely. Such lack of forgetfulness is likely to hamper the ability of individuals to shed their past, and start over with a clean slate. Concerns about data retention were expressed in the early literature on the social impact of computing, but for the most part the issue has dropped from sight. Rarely, has the social good of discarding accumulated personal data been addressed. In this paper, we want to make the case by examining diverse cases in which retention of information by either business or governmental institutions hinders the ability of individuals to start over or to act autonomously. We hope our argument for the good of forgetfulness will challenge the standard framework in which such issues have traditionally been debated. The privacy debate exemplifies the traditional framework insofar as it has been characterized as involving an inherent tension between, on the one hand, the needs of organizations and institutions for more accurate and efficient information systems so as to further their goals and, on the other hand, the desire of individuals to have information about them kept private. Regan argues against this framing of the privacy issue in favor of one that recognizes the social importance of personal privacy. We will examine the non-forgetfulness of information systems as a problem threatening not just individual interests but social good as well. Cryptography is often cited as the technology that will give us privacy and mediate against surveillance. One of the uses of cryptography, encryption, will allow us, some hope, to create confidentiality and relationships of trust that will facilitate many of the social arrangements we now have and perhaps make them even more secure than they are now. Electronic cash, for example, could be created in such a form that it would have the anonymity associated now with hard cash Others are less optimistic of the potential for cryptography to re-create relationships of trust in the new medium. One important point that already seems clear is that even if encryption technology will protect the confidentiality and integrity of electronic transactions and data, it will NOT stop the observation of traffic patterns on networks. This seems an important distinction to put on the table. Our patterns of communication will continue to be available, no matter what is encrypted, and an amazing amount of information can be gleaned from this data. In a sense, it means content integrity but no anonymity. This will indubitably impact how we interact and with whom we interact. (shrink)

In most common law jurisdictions worldwide, an offender’s remorse is a mitigating factor in sentencing. It matters whether or not a person who has committed a crime is truly sorry for what they have done. And yet how judges evaluate such expressions is unclear. Drawing on 18 interviews with judges in the New South Wales criminal justice system in Australia, this article examines the status of offenders’ live, sworn evidence in the judiciary’s assessment of offenders’ remorse. These interviews with the (...) judiciary reveal that remorse assessment often operates beyond semiotic, representational paradigms (such as ‘demeanour assessment’) and instead works, in experiential terms, as a feeling. When it comes to offenders getting into the witness box and speaking of their remorse, it seems that sometimes something gets felt by judges at the level of embodied affect that then enables them to declare: ‘This person is remorseful.’. (shrink)

Christopher Nolan’s seems a spy thriller in which a government operative saves the world. As others have noted, it is in a larger sense about climate change—even though it mentions it but once. Where the film has been dismissed as not saying anything substantial, or even read as promoting an activist message, I argue it is most coherently interpreted as a reactionary defense of the status quo. The film is about a war between the present and future, its heroes those (...) who beat back time travelers trying to prevent us from destroying the planet. If audiences are not passive recipients of propaganda, but critical and cognitive, then blockbusters need to distract them from unavowable larger meanings by redirecting interpretive energies into the details; plot holes are not a bug, but a feature. The meticulous, puzzle-box construction of Nolan’s films, which encourages elaborate fan theorizing, distracts both viewers and Nolan himself from their ideological content. (shrink)

This paper introduces Prior’s unpublished paper Aristotle on Logical Squares, which is deposited in the Bodleian Library and which discusses Greniewski’s definition of the \ operator, which Greniewski introduced in his paper Próba ‘odmłodzenia’ kwadratu logicznego. It is a unique attempt to formalize the square of opposition. Bendiek’s review, which is an important intermediary between Greniewski’s and Prior’s paper, is also mentioned here. Greniewski’s main motivation was to rejuvenate the traditional square of opposition in order to make a square (...) of opposition more precise. He did not investigate the history of the square of opposition. Prior’s approach differs a great deal from Greniewski’s one because he bases his analyses of Greniewski’s operator on Aristotle’s definitions of squares of oppositions. There are some queries, which arise due to the different aims of Greniewski and Prior and their different approach might have caused Prior’s effort to the approximation of Greniewski’s operator to Aristotle’s definitions of the squares of opposition was unsuccessful. (shrink)

It is observed that a consistent congruential modal logic is not guaranteed to have a consistent extension in which the Box operator becomes a truth-functional connective for one of the four one-place truth functions.

In the first chapter I have introduced Carnapian intensional logic against the background of Frege's and Quine's puzzles. The main body of the dissertation consists of two parts. In the first part I discussed Carnapian modal logic and arithmetic with descriptions. In the second chapter, I have described three Carnapian theories, CCL, CFL, and CNL. All three theories have three things in common. First, they are formulated in languages containing description terms. Second, they contain a system of modal logic. Third, (...) they do not contain the unrestricted classical substitution principle, but they do contain the classical substitution principle restricted to non-modal formulas and the Carnapian substitution principle, which says that two terms can be substituted salva veritate if they are necessarily coreferential. There are two major differences between the three theories. First, CCL and CFL allow universal instantiation with description terms, whereas CNL does not. Moreover, the quantificational theory of the CCL is classical, whereas the quantificational theory of CFL is a free logic. Another difference is that CCL and CFL contain different description principles. Most importantly, the description principle of CCL ensures that even improper descriptions have a denotation, whereas the description principle of CFL does not guarantee this. CNL does not have a description principle. In the third chapter, I have studied collapse arguments for CCL, CFL, and CNL. A collapse argument is an argument for the following statement: if p is true, then it is necessarily true. A crucial role in the proofs of these collapse results was played by so-called self-predication principles, which say that under certain conditions the predicate that expresses the descriptive condition can be combined by the description term formed out of that predicate with the result being a true sentence. In this chapter I have discussed a collapse argument for the extension of CCL with a self-predication principle, I have given a collapse argument for a similarly extended CFL, and most importantly, I have given a collapse argument for the extension of CNL with a self- predication principle. Finally, I have argued that the relevant self-predication principles are unsound under a Carnapian interpretation. In the fourth chapter, I have studied the extension of Peano Arithmetic with a Carnapian modal logic C, which is a dummy letter standing for either CCL or CFL. One can prove that the principle of the necessity of identity is a theorem of CPA. This implies that one gets a collapse result for CPA. The standard principle of weak induction was crucial for the proof. One can also prove that, if one assumes a particular self-predication principle, and if one assumes the principle of strong induction or, equivalently, the least-number principle, then one gets a partial collapse of de re modal truths in de dicto modal truths. I have argued that, if the box operator is interpreted as a metaphysical necessity operator, then Platonists would not be inimical to the collapse result. But if CPA is extended with a physical theory, then there is a threat that physical truths become physical necessiti es. It was shown that, under a Carnapian interpretation, the standard principle of weak induction is unsound, and that it can be replaced by a Carnapian principle of weak induction that is sound. The problem of logical and mathematical omniscience prevents ordinary Carnapian intensional logic from being taken seriously as a logic adequate for describing the principles of demonstrability. Yet many of the proof-theoretic results of the first part carry over to the part on Carnapian epistemic arithmetic with descriptions, since proof-theoretic results are independent of the informal reading of the operators. In the fifth chapter, I looked at extensions of arithmetic with a modal logic in which the box operator is interpreted as a demonstrability operator. A first extension in that sense is Shapiro s Epistemic Arithmetic. Shapiro himself offered the problem of mathematical omniscience as a reason why it is difficult to find a model theory for EA. Horsten attempted to provide a model theory via the detour of Modal-Epistemic Arithmetic. The attention of the reader was drawn to an incoherence in the model theory of. Two alternative solutions were presented and, after a short discussion of the problem of de re demonstrability one of those alternatives was chosen. The discussion of the problem of de re demonstrability made it clear that it would be interesting to study the epistemic properties of notation systems. Horsten himself provided a framework for this, viz. Carnapian Epistemic Arithmetic, and he started a systematic study of the epistemic properties of notation systems within that framework. However, he did not provide non-trivial but adequate models. To make a start with solving the problem of finding good models for CEA, I introduced Carnapian Modal-Epistemic Arithmetic In constructing CMEA I incorporated the lesson about the principle of weak induction learnt in the fourth chapter. In the sixth chapter, I gave a critical assessment of an argument concerning the limits of de re demonstrability about the natural numbers. The conclusion of the Description Argument is that it is undemonstrable that there is a natural number that has a certain property but of which it is undemonstrable that it has that property. A crucial step in the Description Argument involved a self-predication principle. Making good use of one of the results obtained in the third chapter, I proved a collapse result for the background theory against which the Description Argument was formulated. I concluded that either the either the Description Argument is sound but its conclusion is trivial, o r the Description Argument is unsound, or it is a cheapshot. As an appendix I included an article co-authored by prof. dr. Leon Horsten and me. The topic of the article is indirectly related to some other topics investigated in my dissertation. Also, it backs up one of the addition al theses I might be asked to publicly defend during my doctoral exam. T he topic of the appendix is the set of the so-called paradoxes of strict implication. Jonathan Lowe has argued that a particular variation on C.I. Lewis notion of strict implication avoids the paradoxes of strict implication. Pace Lowe, it is argued that Lowe s notion of implication does not achieve this aim. Moreover, a general argument is offered to the effect that no other variation on Lewis notion of constantly strict implication describes the logical behaviour of natural language conditional s in a satisfactory way. (shrink)

We take Carnap’s problem to be to what extent standard consequence relations in various formal languages fix the meaning of their logical vocabulary, alone or together with additional constraints on the form of the semantics. This paper studies Carnap’s problem for basic modal logic. Setting the stage, we show that neighborhood semantics is the most general form of compositional possible worlds semantics, and proceed to ask which standard modal logics (if any) constrain the box operator to be interpreted as (...) in relational Kripke semantics. Except when restricted to finite domains, no modal logic characterizes all the Kripkean interpretation of P. Moreover, we show that, in contrast with the case of first-order logic, the obvious requirement of permutation invariance is not adequate in the modal case. After pointing out some known facts about modal logics that nevertheless force the Kripkean interpretation, we focus on another feature often taken to embody the gist of modal logic: locality. We show that invariance under point-generated subframes (properly defined) does single out the Kripkean interpretations, but only among topological interpretations, not in general. Finally, we define a notion of bisimulation invariance — another aspect of locality — that, together with a reasonable closure condition, gives the desired general result. Along the way, we propose a new perspective on normal neighborhood frames as filter frames, consisting of a set of worlds equipped with an accessibility relation, and a free filter at every world. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Morality in Flux: Medical Ethics Dilemmas in the People's Republic of ChinaRen-Zong Qiu (bio)IntroductionModern China is undergoing a fundamental change from a monolithic society to a rather pluralistic one. It is a long and winding road. Marxism is facing various challenges as the influence of Western culture increases. Confucianism is still deeply entrenched in the Chinese mind but various religions, including Buddhism, Islam, and Christianity are experiencing a revival. (...) Almost fifty minorities coexist in the country in addition to the majority Han people. Tension and conflict are inevitable as diverse—and sometimes incompatible—values come to the fore at this historic juncture. Many fields, including medicine, face new challenges, and in this environment the field of bioethics is flourishing.Like many countries, China is groping with the effects of new medical technology and skyrocketing health care costs. But in the context of the Chinese sociocultural environment, some unique—as well as more familiar—issues arise. None of the classic texts provide ready-made answers to these dilemmas; we must find the answers ourselves. The only reasonable way to resolve the conflicts between opposing values is through dialogue, consultation, and negotiation among the various social and cultural groups.The bioethical dilemmas receiving the most attention in China now relate to the two ends of life: birth and death. On one end are issues relating to reproductive technology, especially birth control and family planning; at the other end is euthanasia.Dilemmas Surrounding Reproductive TechnologyAccording to traditional Chinese belief, not having a child results from not having virtue. In fact, the most serious violation of the Confucian [End Page 16]principle of filial piety is to be without offspring. A Chinese man without a child experiences heavy psychological pressure, and the burden is especially onerous for women because infertility is always blamed on the wife. Wives who do not bear a child are stigmatized and mistreated—even abused—in families that stick to traditional values.In China today, this widely held belief is colliding with another reality: an apparent increase in infertility among newly-married couples. The rate may be about 5 percent. These couples turn to doctors for help.Artificial insemination by donor (AID) and by husband is now widely practiced. Eleven provinces have established sperm banks, and private doctors are performing AID for considerable fees. But procedures to address legal and ethical problems associated with the procedure have lagged behind. With the exception of a few centers in large cities, AID is undertaken without established procedures or policies relating to the selection of donors and recipients, records about those involved, or clarification of the status of the child. The legal status of the child remains unresolved.The status of the child within the community is also unresolved as traditional values clash with the application of modern technology to childbearing. The case of "The Child Who Did Not Belong" (see box), illustrates how an AID child is not accepted by the family that embraces traditional values because he is not the husband's biological child.In vitro fertilization (IVF) is another alternative. Two IVF centers are in operation, one in Beijing and the other in Changsha, and both have succeeded in producing live births. This technology has received considerable media attention and is generally accepted even among those with traditional views.But much of this medical technology is not widely accessible—especially in rural areas—and so some infertile couples resort to surrogate motherhood to ensure an heir. An infertile couple enters into a contract with a woman who has intercourse with the husband in order to bear a child for the couple. This practice is called "borrowing a wife." In some villages, the "borrowed wife" receives as much as 10,000 yuan (five times a professor's monthly salary or about $250) for a girl and double that for a boy.But the more common and thorny problems involved with the beginning of life relate to birth control, family planning, and the "one couple, one child" policy that the Chinese government instituted to curb overpopulation. The goal of that policy is to prevent China's population from exceeding 1.2 billion in the year 2000... (shrink)

Modern dialogue of society and science proceeds in the conditions of social media distribution and the convergence of scientific knowledge. This processes change system of mass information and communication channels between scientific actors, leaders of public opinion and organizers of public initiatives. The conflict between an elite normativity of a scientific discourse and an egalitarian normativity of a public discourse takes the new forms. Authors show how in large quantities extending practice of civil expertise, based on civil journalism (a blogosphere (...) and social networks), interrupt into procedures of scientific examination. Active inclusion of civil experts became an attribute of transdisciplinary science. The main feature of this type of science is operational decision making in the conditions of uncertainty. However transition of transdisciplinary science to a phase of the technoscience defines convergence borders of the formal and informal knowledge. Technoscience takes root into the vital world as a magic “black box” for the inhabitant. Authors believe that the transdialogue formed by transdisciplinary scientific experts and deprofessionalized leaders of civil journalism is complicated by deficiency of epistemological competence of civil experts. One of the problem is inclusion the electronic media practices in production and the social circulation of scientific knowledge. Using rather known, but not yet entered in the field of philosophical scientific research examples of direct influence of civil experts on processes which in a former communication order were intra scientific, authors realised a research of the new aspects of modern science expanding a traditional subject of philosophy of science and technology. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:"Your Cell Will Teach You Everything":Old Wisdom, Modern Science, and the Art of AttentionNoreen HerzfeldA brother came to Scetis to visit Abba Moses and asked him "Father, give me a word." The old man said to him "Go, sit in your cell, and your cell will teach you everything." 1 Among the Desert Fathers, Christian monks of the fourth and fifth centuries, it was customary for a novice to (...) go to an elder and ask for "a word," a word of advice, of counsel, a word to take home and reflect on. What does this word of advice say to us today?A Multitasking World"Your cell will teach you everything." To my students, this seems like very strange advice indeed. "Your cell?" When I quoted Abba Moses to a colleague he instinctively reached for his phone. But a monk's cell? Isn't a monk's cell empty, isolated? What can that cell possibly have to teach? And how? The lives of the young men and women I teach are the very antithesis of sitting in a cell. Their attention is fragmented, divided by an array of modern technologies. I watch them walk by my office window, iPod plugged into the ears, cell phone or Blackberry in hand as they check e-mail or send a text message. Time in their rooms is characterized by one eye on the television and another on the computer, on which are open their theology paper, an instant messaging box or two connecting them to friends, their Facebook page, in case one of their friends should post a status update, and perhaps a Twitter feed or their favorite blog. They assure me that they have grown up multitasking. Young Americans spend an average of six hours a day using nonprint media, and at least a quarter of that time they are using more than one screen, device, or channel.2 They are connected, linked in, logged on.It is not just the student who multitasks while doing homework. The average office worker is interrupted roughly every three minutes during the workday, interruptions that the worker herself often initiates.3 These include the phone, e-mail, [End Page 83] checking websites. As more jobs move to the knowledge and service sectors, more of us find the temptation to multitask at work irresistible.But what effect does all this multitasking have on the person? We're not getting more done, for one thing. Several recent studies have shown that, contrary to self-perception, people really can't multitask. The brain cannot concentrate on several things simultaneously. Instead it switches focus from task to task the same way a computer does. This means that all tasks are slowed down somewhat by the switching process, and the attempt to coordinate too many tasks can lead to more time being devoted to the switching than to the tasks at hand, a phenomenon computer scientists have long been aware of, known as "thrashing." Earl Miller, a neuroscientist at MIT, notes: "Think about writing an e-mail and talking on the phone at the same time. You cannot focus on one while doing the other. That's because of interference between the two tasks."4 Miller notes that in an MRI you can actually see the brain struggling as it shifts rapidly from one to the other.One can see that this might have a deleterious effect on one's work life. Research shows that, once interrupted by an e-mail or a phone call, the average worker can take up to half an hour to return to full concentration on the task at hand.5 But why does this matter for the spiritual life? Over time, multitasking erodes our ability to pay focused, close attention, and this eventually eats away at traits such as patience, tenacity, judgment, and problem solving. This is most evident in the latter. In a test of fifteen-year-olds, the United States ranks twenty-fourth out of the twenty-nine developed countries in the Organization for Economic Co-operation and Development on problem solving skills, with nearly 60 percent of them scoring below the most basic level of using a single... (shrink)

Symbolic arithmetic is fundamental to science, technology and economics, but its acquisition by children typically requires years of effort, instruction and drill1,2. When adults perform mental arithmetic, they activate nonsymbolic, approximate number representations3,4, and their performance suffers if this nonsymbolic system is impaired5. Nonsymbolic number representations also allow adults, children, and even infants to add or subtract pairs of dot arrays and to compare the resulting sum or difference to a third array, provided that only approximate accuracy is required6–10. Here (...) we report that young children, who have mastered verbal counting and are on the threshold of arithmetic instruction, can build on their nonsymbolic number system to perform symbolic addition and subtraction11–15. Children across a broad socio-economic spectrum solved symbolic problems involving approximate addition or subtraction of large numbers, both in a laboratory test and in a school setting. Aspects of symbolic arithmetic therefore lie within the reach of children who have learned no algorithms for manipulating numerical symbols. Our findings help to delimit the sources of children’s difficulties learning symbolic arithmetic, and they suggest ways to enhance children’s engagement with formal mathematics. We presented children with approximate symbolic arithmetic problems in a format that parallels previous tests of non-symbolic arithmetic in preschool children8,9. In the first experiment, five- to six-year-old children were given problems such as ‘‘If you had twenty-four stickers and I gave you twenty-seven more, would you have more or less than thirty-five stickers?’’. Children performed well above chance (65.0%, t1952.77, P 5 0.012) without resorting to guessing or comparison strategies that could serve as alternatives to arithmetic. Children who have been taught no symbolic arithmetic therefore have some ability to perform symbolic addition problems. The children’s performance nevertheless fell short of performance on non-symbolic arithmetic tasks using equivalent addition problems with numbers presented as arrays of dots and with the addition operation conveyed by successive motions of the dots into a box (71.3% correct, F1,345 4.26, P 5 0.047)8.. (shrink)