Studia Logica

, Volume 101, Issue 3, pp 547–581

A New Logic of Technical Malfunction

Article

DOI: 10.1007/s11225-012-9397-8

Cite this article as:
Jespersen, B. & Carrara, M. Stud Logica (2013) 101: 547. doi:10.1007/s11225-012-9397-8

Abstract

Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privative. If subsective, a malfunctioning F is an F; if privative, a malfunctioning F is not an F. An intensional logic is required to raise and answer the question, because modifiers operate directly on properties and not on sets or individuals. This new logic provides the formal tools to reason about technical malfunction by means of a logical analysis of the sentence “a is a malfunctioning F”.

Keywords

Logic of malfunction Modification Simple type theory Transparent intensional logic Philosophy of technology Artefact Functioning as Intensional essentialism 

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Department of LogicCzech Academy of SciencesPragueCzech Republic
  2. 2.Department of Computer ScienceVŠB-Technical University of OstravaPrague, OstravaCzech Republic
  3. 3.Department of PhilosophyUniversity of PaduaPadovaItaly

Personalised recommendations