Patrick Allo

The Ethics of Algorithms: Mapping the Debate

In information societies, operations, decisions and choices previously left to humans are increasingly delegated to algorithms, which may advise, if not decide, about how data should be interpreted and what actions should be taken as a result. More and more often, algorithms mediate social processes, business transactions, governmental decisions, and how we perceive, understand, and interact among ourselves and with the environment. Gaps between the design and operation of algorithms and our understanding of their ethical implications can have severe consequences affecting individuals as well as groups and whole societies. This paper makes three contributions to clarify the ethical importance of algorithmic mediation. It provides a prescriptive map to organise the debate. It reviews the current discussion of ethical aspects of algorithms. And it assesses the available literature in order to identify areas requiring further work to develop the ethics of algorithms.

LOGICAL PLURALISM AND SEMANTIC INFORMATION

Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we explore.

The Many Faces of Closure and Introspection

In this paper I present a more refined analysis of the principles of deductive closure and positive introspection. This analysis uses the expressive resources of logics for different types of group knowledge, and discriminates between aspects of closure and computation that are often conflated. The resulting model also yields a more fine-grained distinction between implicit and explicit knowledge, and places Hintikka’s original argument for positive introspection in a new perspective.

Mathematical Arguments and Distributed Knowledge

Because the conclusion of a correct proof follows by necessity from its premises, and is thus independent of the mathematician’s beliefs about that conclusion, understanding how different pieces of mathematical knowledge can be distributed within a larger community is rarely considered an issue in the epistemology of mathematical proofs. In the present chapter, we set out to question the received view expressed by the previous sentence. To that end, we study a prime example of collaborative mathematics, namely the Polymath Project, and propose a simple formal model based on epistemic logics to bring out some of the core features of this case-study.

Adaptive Logic as a Modal Logic

Modal logics have in the past been used as a unifying framework for the minimality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal logic. By characterising the class of abnormality models, this aim is achieved at the level of the model-theory. By proposing formulae that express the consequence relation of adaptive logic in the object-language, the same aim is also partially achieved at the syntactical level.

Synonymy and Intra-Theoretical Pluralism

Abstract The starting point of this paper is a version of intra-theoretical (logical) pluralism that was recently proposed by Hjortland [2013]. In a first move, I use synonymy-relations to formulate an intuitively compelling objection against Hjortlands claim that, if one uses a single calculus to characterise the consequence relations of the paraconsistent logic LP and the paracomplete logic K3, one immediately obtains multiple consequence relations for a single language and hence a reply to the Quinean charge of meaning variance. In a second move, I explain how a natural generalisation of the notion of synonymy (adapted to the 3-sided sequent-calculus used by Hjortland) can be used to counter this objection, but I also show how the solution can be turned into an equally devastating ‘one logic after all’ type of objection. Finally, I propose the general diagnosis that these problems could only arise in the presence of conceptual distinctions that are too coarse to accommodate coherent pluralist theses. The latter leads to the general methodological recommendation that the conceptual resources used to think and talk about logic should be kept in line with the formal resources that are used to define and describe a logical theory.

Relevant Information and Relevant Questions: Comment on Floridi's Understanding Epistemic Relevance

Floridi’s chapter on relevant information bridges the analysis of “being informed” with the analysis of knowledge as “relevant information that is accounted for” by analysing subjective or epistemic relevance in terms of the questions that an agent might ask in certain circumstances. In this paper, I scrutinise this analysis, identify a number of problems with it, and finally propose an improvement. By way of epilogue, I offer some more general remarks on the relation between (bounded) rationality, the need to ask the right questions, and the ability to ask the right questions.

Reasoning about data and information

Cognitive states as well as cognitive commodities play central though distinct roles in our epistemological theories. By being attentive to how a difference in their roles affects our way of referring to them, we can undoubtedly accrue our understanding of the structure and functioning of our main epistemological theories. In this paper we propose an analysis of the dichotomy between states and commodities in terms of the method of abstraction, and more specifically by means of infomorphisms between different ways to classify states of information, information-bases, and evidential situations.

Noisy vs. Merely Equivocal Logics

Substructural pluralism about the meaning of logical connectives is best understood as the view that natural language connectives have all (and only) the properties conferred by classical logic, but that particular occurrences of these connectives cannot simultaneously exhibit all these properties. This is just a more sophisticated way of saying that while natural language connectives are ambiguous, they are not so in the way classical logic intends them to be. Since this view is usually framed as a means to resolve paradoxes, little attention is paid to the logical properties of the ambiguous connectives themselves. The present paper sets out to fill this gap. First, I argue that substructural logicians should care about these connectives; next, I describe a consequence relation between a set of ambiguous premises and an ambiguous conclusion, and review the logical properties of ambiguous connectives; finally, I highlight how ambiguous connectives might explain our intuitions about logical rivalry.

A Constructionist Philosophy of Logic

This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.