Graf znázorňujúci, ako jedna množina (A) nadväzuje na inú množinu (B).
Vo filozofii je superveniencia druh vzťahu závislosti, ktorý sa zvyčajne uplatňuje medzi množinami vlastností. Podľa jednej zo štandardných definícií je množina vlastností A supervenovaná na množinu vlastností B vtedy a len vtedy, ak akékoľvek dva objekty x a y, ktoré majú spoločné všetky vlastnosti v B (sú „B-neoddeliteľné“), musia mať spoločné aj všetky vlastnosti v A (sú „A-neoddeliteľné“). To znamená, že vlastnosti A sú nadradené vlastnostiam B vtedy, ak nerozlíšiteľnosť B implikuje nerozlíšiteľnosť A. Vlastnosti v B sa nazývajú základné vlastnosti (alebo niekedy aj podružné alebo subvenčné vlastnosti) a vlastnosti v A sa nazývajú supervenienčné vlastnosti. Ekvivalentne, ak sa dve veci líšia vo svojich supervenienčných vlastnostiach, potom sa musia líšiť vo svojich základných vlastnostiach. Ak uvedieme trochu zjednodušený príklad, ak psychologické vlastnosti supervenujú fyzikálne vlastnosti, potom akékoľvek dve osoby, ktoré sa fyzicky nelíšia, musia byť aj psychologicky nelíšiace sa; alebo ekvivalentne, akékoľvek dve osoby, ktoré sa psychologicky líšia (napr. majú rôzne myšlienky), musia byť aj fyzicky odlišné. Dôležité je, že opačne to neplatí (superveniencia nie je symetrická): aj keď byť rovnaký fyzicky znamená byť rovnaký psychologicky, dve osoby môžu byť rovnaké psychologicky, ale rozdielne fyzicky: to znamená, že psychologické vlastnosti sa multiplikujú vo fyzických vlastnostiach.
Superveniencia sa tradične používa na opis vzťahov medzi súbormi vlastností spôsobom, ktorý neznamená silný reduktívny vzťah. Napríklad mnohí zastávajú názor, že ekonomické vlastnosti sú supervenované fyzikálnymi vlastnosťami v tom zmysle, že ak by dva svety boli úplne rovnaké fyzicky, boli by rovnaké aj ekonomicky. To však neznamená, že ekonomiku možno nejakým priamym spôsobom redukovať na fyziku. Superveniencia teda umožňuje tvrdiť, že „fenomény vysokej úrovne“ (ako sú fenomény ekonómie, psychológie alebo estetiky) v konečnom dôsledku závisia od fyziky, bez toho, aby sme predpokladali, že tieto fenomény vysokej úrovne môžeme skúmať prostriedkami vhodnými pre fyziku.
Donald Davidson spopularizoval používanie superveniencie vo filozofii mysle.
Supervenience, čo doslova znamená „prichádzajúci alebo vyskytujúci sa ako niečo nové, dodatočné alebo neočakávané“ , od „super“, čo znamená na, nad alebo, dodatočné, a „venire“, čo znamená prísť, sa vyskytuje v Oxfordskom slovníku angličtiny od roku 1644.
V 70. rokoch 20. storočia Donald Davidson ako prvý použil tento termín na označenie široko fyzikalistického (a nereduktívneho) prístupu k filozofii mysle. Ako povedal v roku 1970, „superveniencia by mohla znamenať, že nemôžu existovať dve udalosti, ktoré by boli rovnaké vo všetkých fyzikálnych aspektoch, ale líšili by sa v niektorých mentálnych aspektoch, alebo že objekt sa nemôže zmeniť v niektorých mentálnych aspektoch bez toho, aby sa zmenil v niektorých fyzikálnych aspektoch“.
V nasledujúcich rokoch Terry Horgan, David Lewis a najmä Jaegwon Kim tento koncept formalizovali a začali ho aplikovať na mnohé otázky filozofie mysle. To vyvolalo množstvo otázok o tom, ako sa rôzne formulácie vzťahujú jedna na druhú, nakoľko je táto formulácia adekvátna rôznym filozofickým úlohám (najmä úlohe formulovať fyzikalizmus) a či sa vyhýba redukcionizmu alebo ho zahŕňa.
V súčasnej literatúre existujú dve základné (a neekvivalentné) formulácie superveniencie:
Ak napríklad necháme A ako množinu mentálnych vlastností, B ako množinu fyzických vlastností a zvolíme si doménu diskurzu pozostávajúcu z osôb, potom (1) hovorí, že akékoľvek dve osoby, ktoré sú fyzicky nerozlíšiteľné, sú mentálne nerozlíšiteľné, a (2) hovorí, že každá osoba, ktorá má mentálnu vlastnosť, má nejakú fyzickú vlastnosť takú, že každá osoba s touto fyzickou vlastnosťou má túto mentálnu vlastnosť.
Niekoľko bodov na objasnenie. Po prvé, vyššie uvedené definície zahŕňajú kvantifikáciu nad vlastnosťami, a teda logiku vyššieho rádu. Po druhé, v (1) výrazy v tvare zachytávajú pojem zdieľania všetkých vlastností alebo nerozlíšiteľnosti vzhľadom na typ vlastnosti. Preto možno (1) chápať intuitívnejšie ako tvrdenie, že všetky objekty, ktoré sú nerozlíšiteľné vzhľadom na základnú množinu vlastností, sú nerozlíšiteľné vzhľadom na nadradenú množinu vlastností, alebo, ako sa tiež niekedy hovorí, že B-dvojčatá sú A-dvojčatá. Napokon, tvrdenia o superveniencii zvyčajne zahŕňajú určitú modálnu silu, avšak spôsob, akým je táto modálna sila špecifikovaná, závisí od toho, pre ktorú konkrétnejšiu odrodu superveniencie sa rozhodneme (pozri ďalej).
(1) a (2) sa niekedy nazývajú „schémy“, pretože nezodpovedajú skutočným vzťahom superveniencie, kým nie sú špecifikované množiny vlastností A a B, doména entít, na ktoré sa tieto vlastnosti vzťahujú, a modálna sila. Pri modálnych formách superveniencie sa modálna sila vzťahu zvyčajne považuje za parameter (to znamená, že možné svety, na ktoré sa apeluje, môžu byť fyzicky možné, logicky možné atď.) Všimnime si tiež, že v ranej literatúre neboli vlastnosti vždy ústredným prvkom a zostali aj takí, ktorí namiesto toho uprednostňujú formulovať vzťah napríklad v termínoch predikátov, faktov alebo entít.
Odrody superveniencie
Vo filozofickej literatúre je navrhnutých mnoho variantov superveniencie, čiastočne vďaka tomu, čo David Lewis nazval „nemilým šírením“, ktoré sa začalo v 80. rokoch 20. storočia, inšpirované najmä prácou Jaegwona Kima. Tieto odrody sú založené na vyššie uvedenom bode (1) aj (2), ale keďže bod (1) je bežnejší, zameriame sa na odrody superveniencie založené na ňom.
Môžeme začať rozlišovaním medzi lokálnou a globálnou supervenienciou:
Ak napríklad mentálne stavy lokálne presahujú stavy mozgu, potom byť v rovnakom stave mozgu znamená byť v rovnakom mentálnom stave.
Ak napríklad psychologické vlastnosti globálne presahujú fyzikálne vlastnosti, potom akékoľvek dva fyzicky rovnaké svety budú aj psychologicky rovnaké. Hodnota globálnej superveniencie spočíva v tom, že umožňuje, aby supervenienčné vlastnosti neboli určené len lokálnymi vlastnosťami jednotlivej veci, ale nejakým širším časopriestorovým rozložením vecí a vlastností. Napríklad to, že niečo je dolárová bankovka, nezávisí len od papiera a atramentu, z ktorého je vyrobená, ale aj od široko rozptýlenej škály vlastností sveta, ktorý zaberá.
Rozdiel je v podstate v tom, či korelácie medzi základnými a supervenientnými vlastnosťami platia len v rámci svetov, alebo vo všetkých možných svetoch. Ak napríklad psychologické vlastnosti silne lokálne supervenujú fyzickým vlastnostiam, potom akíkoľvek dvaja ľudia, ktorí sú fyzicky rovnakí v akýchkoľvek dvoch svetoch, budú aj psychologicky rovnakí. Na druhej strane, ak psychologické vlastnosti len slabo lokálne supervenujú na fyzické vlastnosti, potom tie korelácie medzi základnými a supervenienčnými vlastnosťami, ktoré platia na základe vzťahu superveniencie, sa zachovávajú v rámci každého sveta, ale v rôznych svetoch môžu byť rôzne. Napríklad moje fyzické duplikáty v aktuálnom svete budú mať rovnaké myšlienky ako ja; ale moje fyzické duplikáty v iných možných svetoch môžu mať iné myšlienky ako ja v aktuálnom svete.
Existuje aj niekoľko druhov globálnych supervenienčných vzťahov, ktoré boli zavedené na riešenie prípadov, keď sú svety rovnaké na základnej úrovni a tiež na supervenienčnej úrovni, ale spôsoby, akými sú vlastnosti prepojené a distribuované vo svetoch, sa líšia. Napríklad je v súlade s globálnou mentálno-fyzickou supervenienciou na jednoduchej formulácii opísanej vyššie, ak sa v dvoch svetoch nachádza rovnaký počet ľudí v rovnakých fyzických stavoch, ale mentálne stavy sú medzi týmito ľuďmi rozložené rôznymi spôsobmi (napr. v druhom svete mám myšlienky svojho otca a on má moje myšlienky). Na riešenie tohto problému sa používajú izomorfizmy zachovávajúce vlastnosti (1-1 a onto funkcie medzi objektmi dvoch svetov, pričom objekt v jednom svete má vlastnosť vtedy a len vtedy, ak ju má objekt, do ktorého vás táto funkcia prenesie v druhom svete), a keď sa to urobí, možno definovať niekoľko odrôd globálnej superveniencie.
Medzi ďalšie odrody superveniencie patrí superveniencia s viacerými doménami a superveniencia založená na podobnosti.
Príklady supervenienčných vlastností
Niekedy sa predpokladá, že hodnota fyzického objektu pre agenta je závislá od fyzických vlastností objektu. V estetike môže byť krása obrazu La Grande Jatte supervenovaná fyzikálnemu zloženiu obrazu (konkrétnym molekulám, ktoré obraz tvoria), umeleckému zloženiu obrazu (v tomto prípade bodkám), postavám a formám namaľovaného obrazu alebo namaľovanému plátnu ako celku. V etike môže dobrota dobročinného činu supervenovať na fyzikálne vlastnosti činiteľa, duševný stav činiteľa (jeho úmysel) alebo na vonkajší stav vecí ako taký. Podobne celkové utrpenie spôsobené zemetrasením môže supervenovať na časopriestorové entity, ktoré ho tvoria, na úmrtia, ktoré spôsobilo, alebo na samotnú prírodnú katastrofu.
Alternatívnym tvrdením, ktoré presadzuje najmä John Haugeland, je akési slabé tvrdenie o lokálnej superveniencii alebo, ešte slabšie, len o globálnej superveniencii. Tvrdenie, že mentálne vlastnosti globálne supervenujú fyzikálne vlastnosti, si vyžaduje len pomerne skromný záväzok: akýkoľvek rozdiel medzi dvoma možnými svetmi vzhľadom na ich inštanciované mentálne vlastnosti znamená aspoň určitý rozdiel vo fyzikálnych vlastnostiach inštanciovaných v týchto dvoch svetoch. Dôležité je, že nevyžaduje, aby mentálne vlastnosti individuálnej osoby supervenovali len na fyzický stav tejto osoby.
Táto slabá globálna téza je obzvlášť dôležitá v súvislosti s teóriami priamej referencie a sémantickým externalizmom, pokiaľ ide o obsah slov a (čo je pre nás dôležitejšie) myšlienok. Predstavme si dve osoby, ktoré sú nerozlíšiteľné svojimi lokálnymi fyzikálnymi vlastnosťami. Jeden má pred očami psa a druhý má na sietnici umelo premietnutý obraz psa. Možno by bolo rozumné povedať, že prvá z nich je v mentálnom stave videnia psa (a vie, že ho vidí), zatiaľ čo druhá osoba v takomto stave videnia psa nie je (ale falošne sa domnieva, že ho vidí).
Medzi filozofmi sa diskutuje aj o mentálnej superveniencii a našej skúsenosti trvania. Ak všetky mentálne vlastnosti supervenujú len na niektoré fyzické vlastnosti v momentoch bez trvania, potom môže byť ťažké vysvetliť našu skúsenosť trvania. Filozofické presvedčenie, že mentálne a fyzické udalosti existujú v sérii okamihov bez trvania, ktoré ležia medzi fyzickou minulosťou a fyzickou budúcnosťou, je známe ako prezentizmus a je formou viery v Galileiho relativitu.
Teória superveniencie má niekoľko aplikácií v počítačových sieťach. Napríklad pri vytáčanom pripojení na internet sa zvukovým signálom na telefónnej linke prenášajú pakety IP medzi počítačom používateľa a počítačom poskytovateľa internetových služieb. V tomto prípade je usporiadanie bajtov v tomto pakete supervenované fyzikálnymi vlastnosťami telefónneho signálu. Všeobecnejšie povedané, každá vrstva modelu OSI počítačových sietí je nadradená vrstvám pod ňou.
Tieto počítačové príklady ilustrujú všeobecný princíp: supervenienciu môžeme nájsť všade tam, kde je správa prenášaná reprezentačným médiom. Keď napríklad vidíme písmeno „a“ na tlačenej strane, význam latinského malého písmena „a“ je nadradený geometrii hranice tlačeného glyfu, ktorá je zasa nadradená naneseniu atramentu na papier.
Argumenty proti formuláciám fyzikalizmu založeným na superveniencii
Hoci sa superveniencia zdá byť dokonale vhodná na vysvetlenie predpovedí fyzikalizmu (t. j. že mentálne je závislé od fyzického), sú s ňou štyri hlavné problémy. Sú to efifenomenálna ektoplazma, problém osamelých molekúl amónia, problém modálneho statusu a problém nevyhnutných bytostí.
Epifenomenálnu ektoplazmu navrhli Horgan a Lewis v roku 1983, v ktorom uviedli, že možný svet (svet, ktorý by mohol existovať) W je identický s naším svetom v distribúcii všetkých mentálnych a fyzikálnych charakteristík (t. j. sú identické), okrem toho, že svet W obsahuje skúsenosť nazývanú epifenomenálna ektoplazma, ktorá nie je v kauzálnej interakcii s týmto svetom. Ak je supervenienčný fyzikalizmus pravdivý, potom takýto svet nemôže existovať, pretože fyzický duplikát aktuálneho sveta (sveta, o ktorom sa vie, že existuje) nemôže mať epifenomenálnu ektoplazmu. Toto napravil Frank Jackson tým, že upravil aplikáciu superveniencie v rámci fyzikalizmu tak, že uviedol: „Fyzikalizmus je pravdivý pri možnom svete W vtedy a len vtedy, ak každý svet, ktorý je minimálnym fyzikálnym duplikátom (t. j. identickým) W, je duplikátom W simpliciter.“
Problém osamelej molekuly amónia
Problém osamelej molekuly amónia predstavuje problém pre Jacksonovo riešenie epifenomenálnej ektoplazmy. Navrhol ho Jaegwon Kim v roku 1993, keď uviedol, že podľa Jacksonovej myšlienky superveniencie je možný svet W totožný so skutočným svetom, len má na jednom zo Saturnových prstencov ďalšiu molekulu amónia. Môže sa zdať, že to nepredstavuje veľký problém, ale keďže Jacksonovo riešenie sa týka len minimálnych fyzických duplikátov, umožňuje to, aby mentálne vlastnosti W boli výrazne odlišné ako v skutočnom svete. Ak by takýto rozdiel spôsobil mentálne rozdiely na Zemi, nebolo by to v súlade s naším chápaním fyzikalizmu.
Problém modálneho statusu je problematický len vtedy, ak uvažujeme o fyzikalizme ako o kontingentnej pravde (t. j. nie nevyhnutnej), pretože je opísaný v zmysle modálnych pojmov (t. j. prostredníctvom modálneho realizmu). Problém nastáva, keď z výroku „Minimálne fyzikálne pravdy implikujú všetky pravdy“ odvodíme výrok „S (výrok, ktorý opisuje všetky minimálne fyzikálne pravdy) implikuje S* (výrok, ktorý opisuje svet)“. Tento výrok je nutnou pravdou, a preto supervenienčný fyzikalizmus nemôže byť kontingentný. Riešením tohto problému je prijať uvedený výrok nie ako ekvivalent fyzikalizmu, ale ako jeho entailment.
Problém potrebných bytostí
Problém nevyhnutných bytostí navrhol Jackson v roku 1998, v ktorom uviedol, že nevyhnutná bytosť existuje vo všetkých možných svetoch ako nefyzická entita, a preto dokazuje nepravdivosť fyzikalizmu. Fyzikalizmus však pripúšťa existenciu nutných bytostí, pretože každý minimálny fyzikálny duplikát by mal rovnaké mentálne vlastnosti ako skutočný svet. To je však paradoxné na základe toho, že fyzikalizmus existenciu takýchto bytostí zároveň pripúšťa aj znemožňuje. Existencia nutných bytostí je však paradoxná sama osebe. Sú totiž zároveň odlišné od fyzického sveta a zároveň od neho závislé. Tým sa porušuje Humova vidlička, ktorá hovorí, že „medzi odlišnými existenciami neexistujú nutné súvislosti“.