The Logic of Design as a Conceptual Logic of Information

被引:27
|
作者
Floridi, Luciano [1 ,2 ]
机构
[1] Univ Oxford, Oxford Internet Inst, 1 St Giles, Oxford OX1 3JS, England
[2] Alan Turing Inst, 96 Euston Rd, London NW1 2DB, England
关键词
Conceptual logic; Design; Dialectical logic; Hegel; Kant; Requirements; Transcendental logic;
D O I
10.1007/s11023-017-9438-1
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information (i.e., modelling systems) inherited from modernity: Kant's transcendental logic of conditions of possibility of a system, and Hegel's dialectical logic of conditions of in/stability of a system. Both conceptual logics of information analyse structural properties of given systems. Strictly speaking, neither is a conceptual logic of information about (or modelling) the conditions of feasibility of a system, that is, neither is a logic of information as a logic of design. So, in section four, I outline this third conceptual logic of information and then interpret the conceptual logic of design as a logic of requirements, by introducing the relation of "sufficientisation". In the conclusion, I argue that the logic of requirements is exactly what we need in order to make sense of, and buttress, a constructionist (poietic) approach to knowledge.
引用
收藏
页码:495 / 519
页数:25
相关论文
共 50 条
  • [31] Logic and information:: From logic to constructive reasoning -: Preface
    Brattka, Vasco
    Kuenzi, Hans-Peter
    Jaeger, Gerhard
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (02): : VII - VII
  • [32] THE LOGIC IN ECOLOGICAL .2. THE LOGIC OF DESIGN
    SUSSER, M
    AMERICAN JOURNAL OF PUBLIC HEALTH, 1994, 84 (05) : 830 - 835
  • [33] LOGIC DESIGN .2. COMBINATIONAL LOGIC
    HOLDSWORTH, B
    ZISSOS, L
    WIRELESS WORLD, 1977, 83 (1494): : 49 - 53
  • [34] Design scattered logic on the programmable logic devices
    Solov'ev, V.V.
    Samal', D.I.
    Avtomatika i Vychislitel'naya Tekhnika, (01): : 57 - 64
  • [35] LOGIC DESIGN OF PROGRAMMABLE LOGIC-ARRAYS
    KAMBAYASHI, Y
    IEEE TRANSACTIONS ON COMPUTERS, 1979, 28 (09) : 609 - 617
  • [36] Design scattered logic on the programmable logic devices
    Soloviev, VV
    Samal, DI
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1997, (01): : 57 - 64
  • [37] LOGIC DESIGN OF TERNARY LOGIC NETWORKS.
    Tayama, Norio
    Technology Reports of the Iwate University, 1983, 17 : 13 - 22
  • [38] Finite information logic
    Parikh, R
    Väänänen, J
    ANNALS OF PURE AND APPLIED LOGIC, 2005, 134 (01) : 83 - 93
  • [39] On a Certain Logic of Information
    Misiuna, Krystyna
    FILOZOFIA NAUKI, 2011, 19 (01): : 57 - +
  • [40] Towards an information logic
    Garzon, M
    MODELS, ALGEBRAS, AND PROOFS, 1999, 203 : 397 - 410