Inference Rules, Emergent Wholes and Supervenient

Computer images are “emergent wholes” in relation to their pixels. This may seem to suggest that there cannot be any valid formal inference rule connecting such images with their constituents. However, there is one; one that applies to many kinds of emergent wholes. The rule is extracted from R.M. H...

Full description

Bibliographic Details
Main Author: Ingvar Johansson
Format: Article
Language:English
Published: Paderborn University: Media Systems and Media Organisation Research Group 2008-07-01
Series:tripleC: Communication, Capitalism & Critique
Subjects:
Online Access:https://www.triple-c.at/index.php/tripleC/article/view/28
_version_ 1827848704928776192
author Ingvar Johansson
author_facet Ingvar Johansson
author_sort Ingvar Johansson
collection DOAJ
description Computer images are “emergent wholes” in relation to their pixels. This may seem to suggest that there cannot be any valid formal inference rule connecting such images with their constituents. However, there is one; one that applies to many kinds of emergent wholes. The rule is extracted from R.M. Hare’s writings on supervenience, and is here baptized the supervenience rule for emergent wholes. This rule is distinct from both the plain rule for emergent wholes, which is invalid, and David Lewis’ corresponding rule and concept of supervenience, which do not differentiate between cases of reduction and non-reduction. In philosophical ontology, Lewis’ definition of “supervenience” obliterates the distinction between emergent and non-emergent entities, while in informatics and computer science it may complicate computing.
first_indexed 2024-03-12T09:51:45Z
format Article
id doaj.art-e99c1ab14ab345268be8e5558304a37b
institution Directory Open Access Journal
issn 1726-670X
1726-670X
language English
last_indexed 2024-03-12T09:51:45Z
publishDate 2008-07-01
publisher Paderborn University: Media Systems and Media Organisation Research Group
record_format Article
series tripleC: Communication, Capitalism & Critique
spelling doaj.art-e99c1ab14ab345268be8e5558304a37b2023-09-02T12:30:37ZengPaderborn University: Media Systems and Media Organisation Research GrouptripleC: Communication, Capitalism & Critique1726-670X1726-670X2008-07-014212713528Inference Rules, Emergent Wholes and SupervenientIngvar Johansson0Institute for Formal Ontology and Medical Information Science, Saarland UniversityComputer images are “emergent wholes” in relation to their pixels. This may seem to suggest that there cannot be any valid formal inference rule connecting such images with their constituents. However, there is one; one that applies to many kinds of emergent wholes. The rule is extracted from R.M. Hare’s writings on supervenience, and is here baptized the supervenience rule for emergent wholes. This rule is distinct from both the plain rule for emergent wholes, which is invalid, and David Lewis’ corresponding rule and concept of supervenience, which do not differentiate between cases of reduction and non-reduction. In philosophical ontology, Lewis’ definition of “supervenience” obliterates the distinction between emergent and non-emergent entities, while in informatics and computer science it may complicate computing.https://www.triple-c.at/index.php/tripleC/article/view/28image retrievalinference ruleemergent wholesupervenient propertyDavid Lewis
spellingShingle Ingvar Johansson
Inference Rules, Emergent Wholes and Supervenient
tripleC: Communication, Capitalism & Critique
image retrieval
inference rule
emergent whole
supervenient property
David Lewis
title Inference Rules, Emergent Wholes and Supervenient
title_full Inference Rules, Emergent Wholes and Supervenient
title_fullStr Inference Rules, Emergent Wholes and Supervenient
title_full_unstemmed Inference Rules, Emergent Wholes and Supervenient
title_short Inference Rules, Emergent Wholes and Supervenient
title_sort inference rules emergent wholes and supervenient
topic image retrieval
inference rule
emergent whole
supervenient property
David Lewis
url https://www.triple-c.at/index.php/tripleC/article/view/28
work_keys_str_mv AT ingvarjohansson inferencerulesemergentwholesandsupervenient