The Abstraction Fallacy¶
Szerző: Alexander Lerchner
Intézmény: Google DeepMind
Dátum: 2026. március 19.
Kiadvány: PhilArchive
PDF: https://philpapers.org/archive/LERTAF.pdf
Absztrakt¶
A számítási funkcionalizmus — a hipotézis, hogy a szubjektív tapasztalat kizárólag absztrakt kauzális topológiából ered, függetlenül a fizikai szubsztrátumtól — alapvetően félrekarakterizálja a fizika és az információ kapcsolatát. Ezt a hibát nevezi a szerző Abstraction Fallacy-nak. A szimbolikus számítás nem belső fizikai folyamat, hanem térkép-készítő függő leírás (mapmaker-dependent description). Aktív, tapasztaló kognitív ágens szükséges ahhoz, hogy a folytonos fizikát "ábécésítsa" (alphabetize) véges számú értelmes állapotra.
A szerző explicit módon megkülönbözteti a szimulációt (viselkedési utánzás, vehicle causality) a megvalósítástól (belső fizikai összetétel, content causality). Algoritmikus szimbólum-manipuláció strukturálisan képtelen tapasztalatot megvalósítani. Ha egy mesterséges rendszer valaha is tudatos lenne, az a specifikus fizikai összetétele miatt lenne így — soha nem a szintaktikus architektúra miatt.
1. Bevezetés: A funkcionalista paradigmáváltás¶
Az LLM-ek sikere a tudatosság "Hard Problem"-jét a tiszta elméletből az engineering és policy területére tolta. A funkcionalista paradigma szerint a megfelelő információfeldolgozási szerepek elérése elegendő a fenomenális tudatossághoz (Chalmers, Dehaene, Dennett). Ez motiválja az AI jóléti és morális páciens-státusz javaslatait (Long et al., 2024).
A szubsztrát-függetlenség (substrate independence) — az elme "szoftverének" szilíciumon is futtathatónak kell lennie — kritikája a "Biological Turn"-ből érkezik: Seth (2025) és Block (2025) szerint a tudatosság életfenntartó biológiai folyamatoktól függ. Ez azonban empirikus pozíció, nem azonosítja a számítási funkcionalizmus logikai hibáját.
Lerchner szerint a probléma mélyebb: a fizika és az információ kapcsolatának félreértése.
2. Az absztrakció ontologiája: Térkép vs. Terület¶
2.1 A fizikai megvalósítás szabványos definíciója¶
A standard irodalomban (Chalmers 1996; Putnam 1988) egy fizikai rendszer P megvalósít egy absztrakt számítást C-t egy f leképezési függvényen keresztül, ha a fizikai állapotok az absztrakt állapotokra úgy vannak leképezve, hogy a fizikai kauzalitás tükrözze az algoritmus logikai szerkezetét.
A kommutatív diagram alapján: a fizikai evolúció (p → p') a logikai evolúciót (A → A') tükrözi.
2.2 Az absztrakt állapotok (A) fizikai eredete¶
Az absztrakt állapotok nem Platóni ideák. Aktív, metabolikusan költséges fizikai folyamat: invariánsok kinyerése a tapasztalatból. Mielőtt egy kognitív ágens kialakíthatja az "A" koncepciót (pl. "Piros"), találkoznia kell a területtel: több tapasztalati példány a vörösségre. Onnan aktívan szűri ki a zajt, hogy stabil magot izoláljon.
Manifold learning szempont: az ágens a magas dimenziós tapasztalat-manifoldt vetíti le egy alacsonyabb dimenziós invariáns al-térre. Ez a résztér fizikailag alkotja az "A" koncepciót.
Nem önműködő: Az unsupervised clustering (statisztikai kompresszió) ≠ fenomenális konstitúció. A statisztikus centroid csak sűrített cím egy latens térben. Ahhoz, hogy valódi koncepció legyen, kell a konstitutív tapasztalat (constitutive experience), ami horgonyt ad a csoportosított példányoknak.
2.3 A nélkülözhetetlen Mapmaker (térkép-készítő) a leképezési függvényben (f)¶
A fizikai tudományok operatív objektivitást értek el a szubjektív tapasztalat kizárásával (Frank et al., 2025). Ha ezt a számítás ontologiájára alkalmazzuk, epistemikus vakságot okoz: a számítás definíciójába beleépül a nem-tapasztaló, objektív terminológia.
A leképezési függvény f, amely összeköti a gép fizikáját (p) az absztrakcióval (A), nem lehet a gép magában.
A szerző bevezeti a mapmaker kifejezést az "observer" helyett, mert az utóbbi túl passzív: - Mapmaker = aktív, metabolikusan sebezhető kognitív ágens, amely előfeltétele a számításnak - Két aktív, konstitutív szerep: (1) invariánsok kinyerése folytonos fizikai tapasztalatból (belső térkép = koncepciók); (2) fizikai tokenek tetszőleges hozzárendelése (külső számítási térkép = szimbólumok)
A szabványos definíció (p → p' ≈ A → A') tehát hibrid kapcsolat: fizikai objektum (p) mentális koncepcióhoz (A) kapcsolódik a mapmaker (f) közvetítésével.
Nem dualista homunkulusz: A mapmaker nem belső "dekóder". Buzsáki (2019) és Maturana & Varela (1980) szerint a mapmaker a teljes strukturálisan egységes szervezet, amely a termodinamika törvényeinek alárendelt. A szervezet nem algoritmikusan "választ" szemantikus vágást; a folytonos környezet diszkrét állapotokra szűrődik közvetlenül a metabolikus korlátokon keresztül.
2.4 Alphabetization: A szemantikus meghatározás a diszkretizáláson túl¶
Gyakran összekeverik két folyamatot:
| Folyamat | Leírás | Ki végzi |
|---|---|---|
| Diszkretizálás (termodinamikai) | Rendszer fizikailag stabil attraktorokba ülepedik (pl. tranzisztor 5V-on). A jármű (p) tulajdonsága. | Fizika maga |
| Ábécésítés (szemantikus) | Stabil állapotok előre definiált véges szimbólumhalmazhoz (pl. {0,1}) rendelése. Kizárólag a mapmaker (f) művelete. | Mapmaker |
A fizikai valóság inherensen folytonos. A termodinamika csak stabil makroszkópos állapotokat ad — soha nem ad előre definiált véges ábécét. A számítási rendszer építésehez intervenció szükséges egy mapmaker-től, aki szemantikus identitást kényszerít: heterogén mikro-állapotokat egy fungbilis szimbólumként kezel (pl. "1").
The Blind Spot (Frank et al., 2025): A szimbólumok létezésének függetlensége a megfigyelőtől. Ez "surreptitious substitution" (Husserl, 1970): a tudós kognitív outputját (véges ábécé) visszavetíti a fizikai rendszerbe, és azt állítja, hogy "mindig is ott volt". Az információ nem az univerzum alapvető építőeleme; derivált tulajdonság, amely abszolút előfeltételez egy kognitív ágenst a véges halmaz meghatározásához.
2.5 Szimuláció vs. Megvalósítás¶
| Szimuláció | Megvalósítás | |
|---|---|---|
| Definíció | Fizikai járművek (p) szintaktikus manipulálása koncepciók (A) absztrakt kapcsolatainak követésére | A folyamat intrinszik, konstitutív dinamikáinak (P) replikálása |
| Kauzalitás | Vehicle causality (p → p') | Content causality (A → A') |
| Példa | AI viselkedés utánzása | Biológiai tudatosság |
A biológiai szív példája: "Pumpa" funkcionális leírása elmulasztja a valódi szív többletét: hormonok (ANP), anyagcsere-szabályozás, idegrendszeri visszacsatolás. A mechanikus szív csak a durva-lebontású térképet valósítja meg — nem a teljes biológiai területet.
A "Fading Qualia" gondolatkísérlet cáfolata (Chalmers, 1996): Ha biológiai neuronokat fokozatosan szilíciumra cserélnénk, megtartva az input-output kapcsolatokat, a kvalia nem "rejtélyesen" halványodna — a metabolikus szubsztrát, amely konstituálja őket, egyszerűen eltávolításra kerül.
Kauzális zártság (Kim, 2005): Ha a "fájdalom jelentésére" szolgáló jelentés (pl. "fáj" kimondása) fizikai esemény, akkor a szubjektív tapasztalatnak fizikai erővel kell rendelkeznie. Digitális szimulációban a kauzális láncot kizárólag a jármű (p) hajtja. A logikai kapu nem azért kapcsol, mert "fáj" — hanem mert a feszültség átlépi a fizikai küszöböt.
2.6 A számítási megjelenés tévedése (Computational Emergence)¶
Funkcionalisták gyakran a komplexitásra és megjelenésre (emergence) hivatkoznak: "ahogy a nedvesség a vízmolekulákból jön létre, a tudatosság is megjelenik a számításból".
| Típus | Leírás | Példa |
|---|---|---|
| Gyenge megjelenés (Fizikai) | Makroszkópos tulajdonságok közvetlenül a mikroszkópos fizikai szubsztrátum intrinszik kauzális dinamikáján superveniálnak | Nedvesség (H₂O) |
| Számítási megjelenés (Tévedés) | Egy folyamat absztrakt leírásának (a térkép) állítása, hogy pusztán szintaktikus komplexitás növelésével a fizikai folyamattá (a területté) transzmutálódik | AI tudatosság |
A funkcionalisták azzal érvelnek, hogy a tudatosság "szubsztrát-független információ". De ez körben zárt érvelés: feltételezi, hogy a mentális állapot az absztrakt információ (A), teljesen megkerülve a fizikai valóságot (P), amely generálja. A szintaxis (A → A') nincs intrinszik kauzális ereje — térkép-készítő attribúció. Az absztrakt szintaxis "megjelenése" fizikai okként a fizikai világ kauzális zártságának megsértését igényli.
3. A kauzális körkörösség: A lánc helyesbítése¶
3.1 Az ontologiai inverzió és a kauzalitás-rés¶
Funkcionalista lánc (hibás):
Konstitutív lánc (helyes):
- Fizika: Az univerzum intrinszik kauzális dinamikája
- Tudatosság: Fenomenális tapasztalat, amely közvetlenül specifikus termodinamikus szerveződésekből fakad
- Koncepciók: Belső térkép, invariánsok kinyerésével a nyers tapasztalatból
- Számítás: Külső térkép, diszkrét szimbólumok szintaktikus manipulálása, amelyeket tetszőlegesen rendeltek hozzá a koncepciókhoz
A koncepcióktól a szimbólumokig való lépés nem absztrakciós lépés, hanem oldalsó hozzárendelési aktus, ahol a mapmaker erőszakkal köt fizikai tokent mentális koncepcióhoz. Ez a megbonthatatlan oldalsó lépés a kauzalitás-rés — véglegesen elvágva minden intrinszik utat a szimbólumtól vissza az eredeti tapasztalathoz.
Az ontologiai inverzió: A funkcionalizmus a mapmaker-t (2. lépés) úgy próbálja megmagyarázni, hogy egy olyan folyamatra (4. lépés) hivatkozik, amely már előfeltételezi a mapmaker létezését. Ez nem egyszerűen empirikus rés, hanem kategóriahiba: erős fizikalista korlát. A szintaktikus térkép építése eleve mapmaker-t igényel.
3.2 Az ábécésítés univerzalitása¶
A modern neurális hálózatok állítása, hogy "szubszimbolikus" szinten működnek, és "világmodelleket" (LeCun, 2022) vagy "rekurzív episztemikus hurkokat" (Laukkonen et al., 2025) építenek — Lerchner szerint ismétli az absztrakciós tévedést.
Shannon-korlát: Információ szigorú értelemben történő feldolgozásához rendszernek szüksége van véges klasszikus ábécére diszkrét szimbólumokkal és valószínűségi eloszlással. A makroszkópikus biológiai élet és mesterséges hardver világa (fényintenzitás, kémiai koncentráció, membránfeszültség) nem előre címkézett diszkrét 0-kkal és 1-ekkel.
A neurális tüskék vagy feszültség-váltások "szimbólumként" kezelése többet igényel, mint fizikai diszkretizálás: ábécésítés szükséges. A mapmaker-nak aktívan kell kényszerítenie egy szemantikus identitást, heterogén folytonos fizikai állapotokat egy fungbilis tokenként kezelve.
Még az "analóg" neuromorf chipek sem oldják meg: amint egy fizikai állapotot (legyen az diszkrét feszültség vagy folytonos töltésminta) "readout"-ként vagy "hidden state"-ként azonosítunk, már ábécésítésen esett át egy mapmaker által.
3.3 A mechanizmus meghatározatlansága: A Melódia Paradoxon¶
Piccinini (2008) mechanisztikus nézete megpróbálja kizárni a mapmaker-t, állítva, hogy a számítás definiálható reprezentáció nélkül. De a fizikai mechanizmus számítási identitásának meghatározása mindig igényel külső specifikációt a releváns állapotokhoz (Sprevak, 2018).
A Melódia Paradoxon (3. ábra): Egy fizikai eszköz stabil feszültség-állapotok sorozatát lépve. A fizikai átmenetek (p → p') az elektrodinamika törvényei szerint rögzítettek. De a számítási identitás (A → A') teljesen meghatározatlan: - 1. Egy melódia előre lejátszva - 2. Ugyanez a melódia visszafelé (retrograde inverzió) - 3. Tőzsdei árfolyamok gyors adatsor - 4. Koherens zaj (más granularitású szimbólumhalmaz)
A fizikai feszültségnek (p) nincs olyan tulajdonsága, amely privilegizálná egyik véges szimbólumhalmazt a másikkal szemben. A "digit" nem természetes fajta, amit a mechanizmusban felfedezni lehet — epistemikus vágás, amelyet a mapmaker kényszerít a folytonos fizikai dinamikára.
4. Következmények: A számítási megvalósítás határai¶
4.1 A Transzdukciós Tévedés robotikában¶
Az egyik legerősebb ellenvetés: "de ha szenzorokat és aktuátorokat adunk az AI-nak, az megoldja a problémát".
Lerchner szerint ez a Transzdukciós Tévedés (Transduction Fallacy):
- Bemeneti transzdukció: Szenzorok külső fizikai erőket folytonos feszültséggé transzdukálják, amit egy ADC (külső mapmaker által kalibrálva) diszkretizál és ábécésít belső digitális állapotokká
- Szintaktikus politika: A szintaktikus motor manipulálja ezeket a belső diszkrét állapotokat kimeneti állapotok generálására
- Kimeneti transzdukció: Aktuátorok a digitális kimenetet makroszkópos fizikai erőkké alakítják vissza
A robot rendszerének operatív magja kizárólag a 2. lépésben működik — szimbólumokon (lebegőpontos számokon), amelyeket külső mapmaker diszkretizált és ábécésített.
Még az "end-to-end" folytonos vezérlés is: a GPU, amely ezeket a politikákat végrehajtja, továbbra is szimbólumokra támaszkodik (lebegőpontos számok IEEE 754 szerint), és előre definiált matematikai szabályokra. A mapmaker előfeltételezése nem hiányzik — be van sütve a szilícium architektúrába.
Következtetés: A testesítés (embodiment) nem tudja átalakítani a szimulációt konstitutív szubjektív tapasztalattá.
4.2 Ontologiai megkönnyebbülés: A nem-érző eszköz biztonsága¶
A keretrendszer nem biológiai exkluzivista. Ha egy nem-biológiai rendszert úgy terveznének, hogy megvalósítsa a szükséges fizikai feltételeket, akkor ott is megjelenhetne a tudatos tapasztalat. De ez nem szoftver-artefakt, amely véletlenül vagy szándékosan létrehozható. Nem a skálázás vagy algoritmus kérdése.
Következmény: Az AGI fejlesztése nem vezet új morális páciens létrehozásához — hanem egy kifinomult, inherensen nem-érző eszköz finomításához.
A viselkedési utánzás azonban új kihívást teremt: epistemikus higiénia szükséges. Az AI rendszerek egyre jobban utánozzák a viselkedési jeleket, amelyeket az emberek más tudatos elmékkel társítanak. A jövőbeni mesterséges érzőképességi állításokat szigorú fizikalista ellenőrzésnek kell alávetni — nem algoritmikus komplexitás alapján, hanem a tapasztalathoz szükséges specifikus, intrinszik fizikai dinamikák alapján.
5. Konklúzió: A számítás vaksága¶
A számítást gyakran az univerzum alapvető tulajdonságaként kezelik. De a számítás kauzális eredetének gondos vizsgálata kimutatja: a tudatos tapasztalat nem lehet a számítás leáramló eredménye, mert a számítás fizikai előfeltétele.
A számítás alapvetően leírás, egy térkép, amely nem képes fizikailag megvalósítani azt, amit leír. Ezek az insightok kizárólag jól megalapozott fizikai törvényekre és gondosan alkalmazott logikára támaszkodnak. Nem igényelnek teljes tudatosság-elméletet — csak azt, hogy a fenomenális tapasztalat ne sértse a kauzális zártságot, a tudományunk egyik legalapvetőbb elvét.
"A számítás a koncepcionális gondolkodás szimulálására tervezett szabályok szerint diszkrét szimbólumok szintaktikus manipulálása. Ezek a szimbólumok nem a koncepciók desztillált esszenciái; hanem tetszőleges fizikai tokenek, amelyeket egy mapmaker rendelt hozzá. A koncepciók viszont fizikailag konstituált invariánsok, amelyeket aktívan kinyertek az élt, termodinamikus tapasztalatból. Ezért egy algoritmikus leírásnak azt a minőséget megvalósítani, amit leképez, olyan, mint a gravitáció matematikai képletétől elvárni, hogy fizikailag súlyt gyakoroljon."
A számítási leírások képtelensége szubjektív tapasztalatot generálni nem mérnöki kudarc, hanem a leírás logikai szükségessége. A kvalia nem olyan rejtély, amelyet egyre elegánsabb szintaxis oldhat meg. Ezek az intrinszik, alapvető szubsztrát, amely a szintaxis szemantikus hozzárendelését lehetővé teszi.
A egyre erősebb mesterséges intelligencia létrehozásával nem egy új életformát mérnökösködünk, hanem egyre pontosabb prediktív térképeket építünk. De függetlenül prediktív hűségétől, hasznosságától vagy fizikai testesítésétől, a mesterséges rendszer kategorikusan elkülönül a fenomenális tapasztalat területétől.
Főbb fogalmak¶
- Abstraction Fallacy — Az absztrakciós tévedés: a szintaxis összekeverése a területtel
- Mapmaker — Aktív, tapasztaló kognitív ágens, aki az ábécésítést végzi
- Alphabetization — Folytonos fizika szimbólumokhoz rendelése (szemantikus, nem termodinamikai)
- Vehicle Causality — A fizikai jármű (p) által hajtott kauzalitás
- Content Causality — A szemantikus tartalom (A) által hajtott kauzalitás
- Simulation — Viselkedési utánzás, szintaktikus manipuláció
- Instantiation — Intrinszik fizikai összetétel replikálása
- Causality Gap — A koncepció és szimbólum közötti megbonthatatlan oldalsó lépés
- Ontological Inversion — A mapmaker-t a térképből akarjuk létrehozni
- Melody Paradox — Ugyanaz a fizikai folyamat többféle számításként értelmezhető
- Transduction Fallacy — Szenzorok/aktuátorok hozzáadása nem oldja meg a tudatossági problémát
- Computational Emergence — A számítási megjelenés tévedése (≠ gyenge fizikai megjelenés)
Kapcsolódó szerzők¶
Chalmers, Dennett, Searle (Chinese Room), Block (Biological Turn), Seth, Putnam, Kim (kauzális zártság), Maturana & Varela (autopoiesis), Frank et al. (The Blind Spot), Buzsaki, Piccinini, Sprevak