The logic of design as a conceptual logic of information

Minds and Machines 27 (3):495-519 (2017)
  Copy   BIBTEX

Abstract

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 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 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 approach to knowledge.

Similar books and articles

A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
O pewnej logice informacji.Krystyna Misiuna - 2011 - Filozofia Nauki 19 (1).
Reasoning about update logic.Jan van Eijck & Fer-Jan de Vries - 1995 - Journal of Philosophical Logic 24 (1):19-45.
An Algorithmic Logic Approach to Formalizing Database Update Semantics.James Brawner & James Vorbach - 1998 - Journal of Applied Non-Classical Logics 8 (3):199-220.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Reasoning about Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
Modularity and relevant logic.James Garson - 1989 - Notre Dame Journal of Formal Logic 30 (2):207-223.
Paraconsistent reasoning as an analytic tool.P. Wong & P. Besnard - 2001 - Logic Journal of the IGPL 9 (2):217-230.
Finite information logic.Rohit Parikh & Jouko Väänänen - 2005 - Annals of Pure and Applied Logic 134 (1):83-93.
Barwise's information frames and modal logics.Vladimir V. Rybakov - 2003 - Archive for Mathematical Logic 42 (3):261-277.
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.

Analytics

Added to PP
2017-06-15

Downloads
316 (#65,471)

6 months
106 (#42,582)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luciano Floridi
Yale University

References found in this work

Studies in the way of words.Herbert Paul Grice - 1989 - Cambridge: Harvard University Press.
The sciences of the artificial.Herbert Alexander Simon - 1969 - [Cambridge,: M.I.T. Press.
The philosophy of information.Luciano Floridi - 2011 - New York: Oxford University Press.
The ethics of information.Luciano Floridi - 2013 - Oxford, England: Oxford University Press UK.

View all 37 references / Add more references