Ontologi - Ontology

Ontologi är den gren av filosofin som studerar begrepp som existens , vara , bli och verklighet . Den innehåller frågorna om hur enheter grupperas i grundkategorier och vilka av dessa enheter som finns på den mest grundläggande nivån. Ontologi kallas ibland vetenskapen om att vara och tillhör den stora gren av filosofin som kallas metafysik .

Ontologer försöker ofta bestämma vilka kategorier eller högsta slag som är och hur de bildar ett system av kategorier som ger en omfattande klassificering av alla enheter. Vanligt föreslagna kategorier inkluderar ämnen , egenskaper , relationer , situationer och händelser . Dessa kategorier kännetecknas av grundläggande ontologiska begrepp, som specificitet och universalitet , abstraktitet och konkretitet , eller möjlighet och nödvändighet . Av särskilt intresse är begreppet ontologiskt beroende , som avgör om entiteterna i en kategori existerar på den mest grundläggande nivån . Oenigheter inom ontologi handlar ofta om huruvida enheter som tillhör en viss kategori existerar och i så fall hur de är relaterade till andra enheter.

När termen "ontologi" och "ontologier" används som ett räknbart substantiv , avser det inte vetenskapen om varande utan teorier inom existensvetenskapen . Ontologiska teorier kan delas in i olika typer enligt deras teoretiska åtaganden. Monokategoriska ontologier anser att det bara finns en grundkategori, som förkastas av polykategoriska ontologier . Hierarkiska ontologier hävdar att vissa enheter existerar på en mer grundläggande nivå och att andra enheter är beroende av dem. Platt ontologi , å andra sidan, förnekar en sådan privilegierad status till någon enhet.

Etymologi

Det sammansatta ordet ontologi ('studie av att vara') kombinerar

på - ( grekiska : ὄν , on ; GEN . ὄντος , ontos , 'vara' eller 'det som är') och

-logia ( -λογία , 'logisk diskurs').

Medan etymologin är grekisk, de äldsta befintliga uppgifterna om själva ordet, dök den nya latinska formen ontologia upp

1606 i Ogdoas Scholastica av Jacob Lorhard ( Lorhardus ), och

1613 i Lexicon philosophicum av Rudolf Göckel ( Goclenius ).

Den första förekomsten på engelska av ontologi , som spelades in av Oxford English Dictionary , kom 1664 genom Archelogia philosophica nova ... av Gideon Harvey Ordet användes först, i sin latinska form, av filosofer och baserades på de latinska rötterna ( och i sin tur på de grekiska).

Översikt

Ontologi är nära förknippat med Aristoteles fråga om 'att vara qua -vara ': frågan om vad alla enheter i vid bemärkelse har gemensamt. Den eleatiska principen är ett svar på denna fråga: den säger att varelse är oupplösligt knuten till orsakssamband, att "makt är varumärket". Ett problem med detta svar är att det utesluter abstrakta objekt. Ett annat tydligt men lite accepterat svar finns i Berkeleys slagord att "att vara är att uppfattas". Intimt besläktad men inte identisk med frågan om 'att vara qua -vara ' är problemet med kategorier . Kategorier ses vanligtvis som de högsta sorterna eller släkten. Ett system med kategorier ger en klassificering av enheter som är exklusiv och uttömmande: varje enhet tillhör exakt en kategori. Olika sådana klassificeringar har föreslagits, de innehåller ofta kategorier för ämnen , egenskaper , relationer , situationer eller händelser . Kärnan i differentieringen mellan kategorier är olika fundamentala ontologiska begrepp och distinktioner, till exempel begreppen specificitet och universalitet , abstraktitet och konkretitet , ontologiskt beroende , identitet och modalitet . Dessa begrepp behandlas ibland som kategorier själva, används för att förklara skillnaden mellan kategorier eller spela andra centrala roller för att karakterisera olika ontologiska teorier. Inom ontologin saknas allmän enighet om hur de olika kategorierna ska definieras. Olika ontologer är ofta oense om huruvida en viss kategori har några medlemmar alls eller om en viss kategori är grundläggande.

Uppgifter och universaliteter

Uppgifter eller individer kontrasteras vanligtvis med universella . Universalen rör funktioner som kan exemplifieras med olika olika uppgifter. Till exempel är en tomat och en jordgubbe två uppgifter som exemplifierar den universella rodnaden. Universaler kan vara närvarande på olika distinkta platser i rymden samtidigt medan uppgifterna är begränsade till en plats i taget. Dessutom kan universaler vara helt närvarande vid olika tidpunkter, varför de ibland kallas repeterbara i motsats till icke-repeterbara uppgifter. Det så kallade problemet med det allmänna är problemet med att förklara hur olika saker kan komma överens i deras egenskaper, t.ex. hur en tomat och en jordgubbe båda kan vara röda. Realister om universaler tror att det finns universaler. De kan lösa universals problem genom att förklara det gemensamma genom ett universellt som delas av båda enheterna. Realister är uppdelade om huruvida universaliteter kan existera oberoende av att de exemplifieras av något ("ante res") eller inte ("i rebus"). Nominalister förnekar däremot att det finns universaliteter. De måste tillgripa andra föreställningar för att förklara hur en egenskap kan vara gemensam för flera enheter, till exempel genom att ställa antingen grundläggande likhetsrelationer mellan enheterna (likhetsnominalism) eller ett delat medlemskap i en gemensam naturlig klass (klassnominalism).

Abstrakt och konkret

Många filosofer är överens om att det finns en exklusiv och uttömmande skillnad mellan konkreta objekt och abstrakta objekt . Vissa filosofer anser att detta är den mest allmänna uppdelningen av varandet. Exempel på konkreta föremål inkluderar växter, människor och planeter medan saker som siffror, uppsättningar och propositioner är abstrakta objekt. Men trots den allmänna överenskommelsen om paradigmefallen är det mindre enighet om vad de karakteristiska kännetecknen för konkretitet och abstraktitet är. Populära förslag inkluderar att definiera skillnaden i termer av skillnaden mellan (1) existens inom eller utanför rymdtid, (2) att ha orsaker och effekter eller inte och (3) ha kontingent eller nödvändig existens.

Ontologiskt beroende

En entitet beror ontologiskt på en annan enhet om den första enheten inte kan existera utan den andra enheten. Ontologiskt oberoende enheter, å andra sidan, kan existera helt själva. Till exempel kan ytan på ett äpple inte existera utan äpplet och beror sålunda på det ontologiskt. Enheter som ofta karakteriseras som ontologiskt beroende inkluderar egenskaper, som är beroende av deras bärare, och gränser, som är beroende av den enhet de avgränsar från sin omgivning. Som dessa exempel antyder ska ontologiskt beroende skiljas från kausalt beroende, där en effekt beror på dess existens på en orsak. Det är ofta viktigt att skilja mellan två typer av ontologiskt beroende: rigid och generisk. Hårt beroende beror på beroende av en specifik enhet, eftersom ytan på ett äpple beror på dess specifika äpple. Generiskt beroende, å andra sidan, innebär en svagare form av beroende, bara av en viss typ av enhet. Till exempel är elektricitet generellt beroende av att det finns laddade partiklar, men det beror inte på någon specifik laddad partikel. Beroenderelationer är relevanta för ontologi eftersom det ofta anses att ontologiskt beroende enheter har en mindre robust form av att vara. På detta sätt introduceras en hierarki i världen som för med sig åtskillnaden mellan mer och mindre grundläggande enheter.

Identitet

Identitet är ett grundläggande ontologiskt begrepp som ofta uttrycks med ordet "samma". Det är viktigt att skilja mellan kvalitativ identitet och numerisk identitet . Tänk till exempel på två barn med identiska cyklar som deltar i ett lopp medan deras mamma tittar. De två barnen har samma cykel i en mening ( kvalitativ identitet ) och samma mamma i en annan mening ( numerisk identitet ). Två kvalitativt identiska saker sägs ofta vara oskiljbara. De två sinnen enformighet är förenade genom två principer: principen om indiscernibility av identicals och principen om Leibniz lag . Principen om identiskhet är oskiljbar är okontroversiell och säger att om två enheter är numeriskt identiska med varandra så liknar de exakt varandra. Principen om oskiljbarheters identitet är å andra sidan mer kontroversiell för att göra det motsatta påståendet att om två enheter exakt liknar varandra måste de vara numeriskt identiska. Detta innebär att "inga två distinkta saker exakt liknar varandra". Ett välkänt motexempel kommer från Max Black , som beskriver ett symmetriskt universum som bara består av två sfärer med samma funktioner. Black hävdar att de två sfärerna är oskiljbara men inte identiska, och därmed utgör ett brott mot principen om identitet för oskiljbara .

Problemet med identitet över tid rör frågan om uthållighet : om eller i vilken mening två objekt vid olika tidpunkter kan vara numeriskt identiska . Detta kallas vanligtvis som diakronisk identitet i motsats till synkron identitet . Påståendet att "bordet i nästa rum är identiskt med det du köpte förra året" hävdar en diakronisk identitet mellan bordet nu och bordet då. Ett känt exempel på ett förnekande av diakronisk identitet kommer från Heraklitos , som hävdar att det är omöjligt att kliva in i samma flod två gånger på grund av de förändringar som inträffade däremellan. Den traditionella position på problemet med uthållighet är endurantism , tesen att diakronisk identitet i strikt mening är möjlig. Ett problem med denna ståndpunkt är att det verkar bryta mot principen om identiskhetens oskillbarhet : objektet kan ha genomgått förändringar under tiden vilket resulterat i att det kan urskiljas från sig själv. Perdurantism eller fyrdimensionalism är ett alternativt tillvägagångssätt som anser att diakronisk identitet endast är möjlig i lös bemärkelse: medan de två objekten skiljer sig från varandra strikt sett är de båda tidsmässiga delar som tillhör samma tidsmässigt utsträckta helhet. Perdurantism undviker många filosofiska problem som plågar endurantism , men endurantism verkar vara mer i kontakt med hur vi vanligtvis tänker oss diakronisk identitet .

Modalitet

Modalitet gäller begreppen möjlighet, aktualitet och nödvändighet. I samtida diskurs definieras dessa begrepp ofta i termer av möjliga världar . En möjlig värld är ett fullständigt sätt hur saker och ting kunde ha varit. Den verkliga världen är bland annat en möjlig värld: saker kunde ha varit annorlunda än de faktiskt är. Ett förslag är möjligen sant om det finns minst en möjlig värld där det är sant; det är nödvändigtvis sant om det är sant i alla möjliga världar. Aktualister och möjligheter är oense om den möjliga världens ontologiska status . Aktualister menar att verkligheten är dess grundläggande faktiska och att möjliga världar bör förstås i termer av verkliga enheter, till exempel som fiktioner eller som uppsättningar av meningar. Possibilister, å andra sidan, tilldelar möjliga världar samma fundamentala ontologiska status som den verkliga världen. Detta är en form av modal realism , som anser att verkligheten har oreducerbara modala drag . En annan viktig fråga på detta område rör skillnaden mellan kontingent och nödvändiga varelser . Kontingentvarelser är varelser vars existens är möjlig men inte nödvändig. Nödvändiga varelser, å andra sidan, kunde inte ha misslyckats med att existera. Det har föreslagits att denna åtskillnad är varans högsta uppdelning.

Ämnen

Kategorin ämnen har spelat en central roll i många ontologiska teorier genom filosofins historia. "Ämne" är en teknisk term inom filosofin som inte ska förväxlas med den vanligare användningen av kemiska ämnen som guld eller svavel. Olika definitioner har givits, men bland de vanligaste egenskaperna som tillskrivs ämnen i filosofisk mening är att de är uppgifter som är ontologiskt oberoende : de kan existera helt själva. Eftersom de är ontologiskt oberoende kan ämnen spela rollen som grundläggande enheter i den ontologiska hierarkin . Om 'ontologisk oberoende' definieras som att det inkluderar kausal oberoende kan endast självförorsakade enheter, som Spinozas Gud, vara substanser. Med en specifikt ontologisk definition av "oberoende" kan många vardagsobjekt som böcker eller katter kvalificera sig som ämnen. En annan avgörande egenskap som ofta tillskrivs ämnen är deras förmåga att genomgå förändringar . Förändringar innebär något som finns före , under och efter förändringen. De kan beskrivas i termer av att en bestående substans får eller förlorar egenskaper, eller att materia ändrar form . Ur detta perspektiv kan mogningen av en tomat beskrivas som en förändring där tomaten tappar sin grönhet och får sin rodnad. Det anses ibland att ett ämne kan ha en egenskap på två sätt: väsentligen och av misstag . Ett ämne kan överleva en förändring av oavsiktliga egenskaper men det kan inte förlora sina väsentliga egenskaper , som utgör dess natur.

Egenskaper och relationer

Kategorin av fastigheter består av enheter som kan exemplifieras av andra enheter, t.ex. genom ämnen. Egenskaper kännetecknar deras bärare, de uttrycker hur deras bärare är. Till exempel är den röda färgen och den runda formen på ett äpple egenskaper hos detta äpple. Olika sätt har föreslagits om hur man kan tänka sig egenskaper och deras förhållande till ämnen. Den traditionellt dominerande uppfattningen är att egenskaper är universella som finns i sina bärare. Som universaler kan de delas av olika ämnen. Nominalister förnekar å andra sidan att det universella existerar. Vissa nominalister försöker redogöra för fastigheter när det gäller likhetsrelationer eller klassmedlemskap. Ett annat alternativ för nominalister är att konceptualisera fastigheter som enkla uppgifter, så kallade troper . Denna position innebär att både äpplet och dess rodnad är detaljer. Olika äpplen kan fortfarande exakt likna varandra med avseende på deras färg, men de delar inte samma speciella egenskap i denna vy: de två färgtroperna är numeriskt distinkta . En annan viktig fråga för någon teori om egenskaper är hur man kan tänka sig förhållandet mellan en bärare och dess egenskaper. Substratumsteoretiker menar att det finns någon form av substans, underlag eller nackdel som fungerar som bärare. Bundelteori är en alternativ uppfattning som helt tar bort ett underlag: objekt anses bara vara ett bunt med egenskaper. De hålls samman inte av ett underlag utan av den så kallade kompressionsrelationen som är ansvarig för buntningen. Både substratteori och buntteori kan kombineras med att konceptualisera egenskaper som universella eller som detaljer.

En viktig skillnad mellan fastigheter är mellan kategoriska och dispositionella fastigheter. Kategoriska egenskaper gäller hur något är, t.ex. vilka egenskaper det har. Dispositionella egenskaper, å andra sidan, involverar vilka befogenheter något har, vad det kan göra, även om det inte faktiskt gör det. Till exempel är formen på en sockerbit en kategorisk egenskap medan dess tendens att lösa sig i vatten är en dispositionell egenskap. För många fastigheter saknas konsensus om hur de ska klassificeras, till exempel om färger är kategoriska eller dispositionella egenskaper. Kategorikalism är tesen att det på en grundläggande nivå bara finns kategoriska egenskaper, att dispositionella egenskaper antingen är obefintliga eller beroende av kategoriska egenskaper. Dispositionalism är den motsatta teorin som ger ontologisk företräde åt dispositionella egenskaper. Mellan dessa två ytterligheter finns det dualister som tillåter både kategoriska och dispositionella egenskaper i sin ontologi.

Relationer är sätt på vilka saker, relata, står för varandra. Relationer liknar på många sätt egenskaper som att de båda kännetecknar de saker de gäller. Egenskaper behandlas ibland som ett specialfall av relationer som endast innefattar ett relatum. Central för ontologi är skillnaden mellan interna och yttre relationer. En relation är intern om den är helt bestämd av egenskaperna hos dess relata. Till exempel, tomat ett äpple och en står i interna relation av likhet till varandra eftersom de är både rött. Vissa filosofer har utgått från att interna relationer inte har en riktig ontologisk status eftersom de kan reduceras till inneboende egenskaper. Yttre förbindelser, å andra sidan, är inte fastställda av funktionerna i deras relata. Till exempel står en bok i en yttre relation till ett bord genom att ligga ovanpå den. Men detta bestäms inte av bokens eller bordets funktioner som deras färg, form, etc.

Tillstånd och händelser

Situationer är komplexa enheter, till skillnad från ämnen och egenskaper, som vanligtvis uppfattas som enkla. Komplexa enheter byggs upp av eller bildas av andra enheter. Atomtillstånd består av en särskild och en egenskap som exemplifieras av denna speciella. Till exempel består situationen som Sokrates är klok av den särskilda "Sokrates" och egenskapen "kloka". Relationella situationer involverar flera uppgifter och en relation som förbinder dem. Tillståndsstater som erhåller kallas också fakta . Det är kontroversiellt vilken ontologisk status som ska tillskrivas situationer som inte uppnås. Situationer har varit framträdande i 1900-talets ontologi eftersom olika teorier föreslogs för att beskriva världen som sammansatt av tillstånd. Man tror ofta att situationer spelar rollen som sanningskapare : domar eller påståenden är sanna eftersom motsvarande situation får.

Händelser sker i tid, de anses ibland innebära en förändring i form av att förvärva eller förlora en fastighet, som att gräsmattan börjar bli torr. Men på en liberal syn kan kvarhållandet av en fastighet utan förändring också räknas som en händelse, t.ex. att gräsmattan håller sig våt. Vissa filosofer ser händelser som universella som kan upprepas vid olika tidpunkter, men den mer dominerande uppfattningen är att händelser är detaljerade och därför inte kan upprepas. Vissa händelser är komplexa genom att de består av en händelseföljd, ofta kallad en process. Men även enkla händelser kan uppfattas som komplexa enheter som involverar ett objekt, en tid och den egenskap som exemplifieras av objektet vid denna tidpunkt. Så kallad processfilosofi eller processontologi tillskriver ontologisk primat till förändringar och processer i motsats till betoningen på statisk varelse i den traditionellt dominerande substansen metafysik.

Tings verklighet

Ordet "äkta" härrör från det latinska ordet res , som ofta översätts som "sak". Ordet "sak" används ofta i ontologisk diskurs som om det hade en förutsatt betydelse, utan att behöva en uttrycklig filosofisk definition eftersom det tillhör vanligt språk. Det som är en sak och vad som är verkligt eller väsentligt är dock ontologins oro. Det finns olika åsikter om detta. Platon föreslog att den underliggande och utgör den verkliga grunden för den konkret upplevda världen är " former " eller "idéer", som idag i allmänhet betraktas som höga abstraktioner. Tidigare använde filosofer termen ' realism ' för att hänvisa till Platons tro att hans 'former' är 'verkliga'; numera har termen "realism" ofta en nästan motsatt mening, så att Platons tro ibland kallas " idealism ". Filosofer debatterar om enheter som bord och stolar, lejon och tigrar, filosofiska läror, siffror, sanning och skönhet ska betraktas som "saker" eller som något eller ingenting "verkliga".

Typer av ontologier

Ontologiska teorier kan delas in i olika typer enligt deras teoretiska åtaganden. Särskilda ontologiska teorier eller typer av teorier kallas ofta "ontologier" ( singular eller plural ). Denna användning står i kontrast med innebörden av "ontologi" ( endast singular ) som en gren av filosofin: vetenskapen om att vara i allmänhet.

Platt vs polykategorisk vs hierarkisk

Ett sätt att dela ontologier är med antalet grundläggande kategorier de använder. Monokategoriska eller en kategori ontologier anser att det bara finns en grundkategori medan polykategoriska ontologier innebär att det finns flera olika grundkategorier. Ett annat sätt att dela ontologier är genom begreppet ontologisk hierarki. Hierarkiska ontologier hävdar att vissa enheter existerar på en mer grundläggande nivå och att andra enheter är beroende av dem. Platt ontologi, å andra sidan, förnekar en sådan privilegierad status för alla enheter. Jonathan Schaffer ger en översikt över dessa positioner genom att skilja mellan platta ontologier (icke-hierarkiska), sorterade ontologier (polykategoriska icke-hierarkiska) och ordnade ontologier (polykategoriska hierarkiska).

Platt ontologi är bara intresserad av skillnaden mellan existens och icke-existens. De är platta eftersom varje platt ontologi kan representeras av en enkel uppsättning som innehåller alla enheter som denna ontologi är engagerad i. En inflytelserik utläggning av detta tillvägagångssätt kommer från Willard Van Orman Quine varför det har kallat Quinean inställning till meta-ontologi . Denna uppfattning förnekar inte att de befintliga enheterna kan delas upp ytterligare och kan stå i olika relationer till varandra. Dessa frågor är frågor för de mer specifika vetenskaperna, men de tillhör inte ontologi i kineansk mening.

Polykategoriska ontologier handlar om varelsekategorierna . Varje polykategorisk ontologi utgör ett antal kategorier. Dessa kategorier är exklusiva och uttömmande: varje befintlig enhet tillhör exakt en kategori. Ett nytt exempel på en polykategorisk ontologi är EJ Lowes fyra-kategori-ontologi. De fyra kategorierna är objekt, slag, läge och attribut. Den fyrfaldiga strukturen bygger på två distinktioner. Den första skillnaden är mellan väsentliga enheter (objekt och slag) och icke-väsentliga enheter (sätt och attribut). Den andra skillnaden är mellan särskilda enheter (objekt och lägen) och universella enheter (typer och attribut). Verkligheten byggs upp genom samspelet mellan enheter som tillhör olika kategorier: särskilda enheter instanserar universella enheter och icke-väsentliga enheter karakteriserar väsentliga enheter.

Hierarkiska ontologier är intresserade av graden av fundamentalitet hos de enheter de positiva. Deras huvudmål är att ta reda på vilka enheter som är grundläggande och hur de icke-grundläggande enheterna är beroende av dem. Begreppet fundamentalitet definieras vanligtvis i form av metafysisk grund . Grundläggande enheter skiljer sig från icke-grundläggande enheter eftersom de inte är förankrade i andra enheter. Till exempel anses det ibland att elementära partiklar är mer grundläggande än de makroskopiska föremålen (som stolar och bord) de komponerar. Detta är ett påstående om grundförhållandet mellan mikroskopiska och makroskopiska objekt. Schaffers prioriterade monism är en ny form av en hierarkisk ontologi. Han menar att det på den mest grundläggande nivån bara finns en sak: världen som helhet. Denna tes förnekar inte vår sunt förnuftsintuition att de distinkta föremål vi möter i våra vardagliga affärer som bilar eller andra människor existerar. Det förnekar bara att dessa objekt har den mest grundläggande existensformen. Ett exempel på en hierarkisk ontologi inom kontinental filosofi kommer från Nicolai Hartmann . Han hävdar att verkligheten består av fyra nivåer : det livlösa, det biologiska, det psykologiska och det andliga. Dessa nivåer bildar en hierarki i den meningen att de högre nivåerna beror på de lägre nivåerna medan de lägre nivåerna är likgiltiga för de högre nivåerna.

Thing ontologies vs fact ontologies

Sakontologier och faktaontologier är en-kategori-ontologier: de båda anser att alla grundläggande enheter tillhör samma kategori. De är oense om denna kategori är kategorin saker eller fakta. En slogan för faktaontologier kommer från Ludwig Wittgenstein : "Världen är helheten av fakta, inte av saker".

En svårighet att karakterisera denna tvist är att belysa vad saker och fakta är och hur de skiljer sig från varandra. Saker kontrasteras vanligtvis med de egenskaper och relationer som de förmedlar. Fakta, å andra sidan, karakteriseras ofta som att ha dessa saker och egenskaperna/relationerna som deras beståndsdelar. Detta återspeglas i en grov språklig karakterisering av denna skillnad där ämnena och föremålen för ett påstående hänvisar till saker medan påståendet som helhet refererar till ett faktum.

Reism är en form av sak ontologi. Franz Brentano utvecklade en version av reism i sin senare filosofi. Han ansåg att det bara finns konkreta saker. Saker kan existera i två former: antingen som rumstemporala kroppar eller som tidsmässiga själar. Brentano var medveten om att många uttryck för sunt förnuft tycks syfta på enheter som inte har någon plats i hans ontologi, som egenskaper eller avsiktliga objekt. Det är därför han utvecklade en metod för att omskriva dessa uttryck för att undvika dessa ontologiska åtaganden.

DM Armstrong är en välkänd försvarare av faktaontologi. Han och hans anhängare hänvisar till fakta som situationer. Situationer är de grundläggande byggstenarna i hans ontologi: de har uppgifter och universaliteter som beståndsdelar men de är primära i förhållande till uppgifter och universaliteter. Tillståndsstater har ontologiskt oberoende existens medan "[o] egendomliga uppgifter och oinstantiserade universaler är falska abstraktioner".

Konstituerande ontologier vs blobteorier

Konstituerande ontologier och klumpteorier , ibland kallade relationsontologier , berör objektens inre struktur. Konstituerande ontologier anser att föremål har en intern struktur som består av beståndsdelar. Detta förnekas av blobteorier: de hävdar att objekt är strukturlösa "klossar".

Bundelteorier är exempel på ingående ontologier. Bundelteoretiker hävdar att ett objekt inte är annat än de egenskaper som det "har". På grund av detta kan ett vanligt äpple karakteriseras som ett bunt av rodnad, rundhet, sötma, etc. Försvarare av buntteori är oense om arten av de medföljande egenskaperna. Vissa bekräftar att dessa egenskaper är universella medan andra hävdar att de är detaljer, så kallade "tropes".

Klass nominalism , å andra sidan, är en form av blob teori. Klass nominalister anser att egenskaper är klasser av saker. Att instansera en egendom är bara att vara medlem i motsvarande klass. Så egenskaper är inte beståndsdelar i de objekt som har dem.

Informationsvetenskap

Inom informationsvetenskap klassificeras ontologier på olika sätt med kriterier som abstraktionsgrad och tillämpningsområde:

1. Övre ontologi : begrepp som stöder utveckling av en ontologi, meta-ontologi .
2. Domänontologi : begrepp som är relevanta för ett visst ämne, diskursområde eller intresseområde, till exempel informationsteknik eller datorspråk, eller för vissa vetenskapsgrenar.
3. Gränssnittsontologi : begrepp som är relevanta för sammansättningen av två discipliner.
4. Processontologi : ingångar, utgångar, begränsningar, sekvensinformation, involverad i affärs- eller konstruktionsprocesser.

Historia

Hinduistisk filosofi

Ontologi finns i Samkhya -skolan för hinduistisk filosofi från det första årtusendet f.Kr. Samkhya -filosofin betraktar universum som bestående av två oberoende verkligheter: puruṣa (rent, innehållslöst medvetande) och prakṛti (materia). Den substans dualismen mellan puruṣa och prakrti är liknande men inte identisk med ämnet dualismen mellan kropp och själ att efter verk av Descartes , har varit central för många tvister i den västerländska filosofiska traditionen. Samkhya ser sinnet som den subtila delen av prakṛti. Den består av tre förmågor: sinnessinnet (manas), intellektet ( buddhi ) och egot ( ahaṁkāra ). Dessa förmågor utför olika funktioner men är i sig själva oförmögna att producera medvetande, som tillhör en distinkt ontologisk kategori och som puruṣa ensam är ansvarig för. Den Yoga skolan håller med Samkhya filosofi på den grundläggande dualism mellan puruṣa och prakrti men det skiljer sig från Samkhya s ateistiska ställning genom att införliva begreppet "personlig, men i huvudsak inaktiv gudom" eller "personlig Gud" ( Ishvara ). Dessa två skolor står i kontrast till Advaita Vedanta , som är engagerad i en strikt form av monism genom att anse att den uppenbara mångfalden av saker är en illusion ( Maya ) som döljer verklighetens sanna enhet på dess mest grundläggande nivå ( Brahman ).

Forntida grekiska

I den grekiska filosofiska traditionen var Parmenides bland de första som föreslog en ontologisk karakterisering av existensens grundläggande natur. I prologen (eller proemet ) till On Nature beskriver han två syn på existens . Inledningsvis kommer ingenting från ingenting, så existensen är evig . Detta antyder att existens är vad man kan tänka sig genom tanke, skapat eller besatt. Därför kan det inte finnas något tomrum eller vakuum; och den sanna verkligheten får varken uppstå eller försvinna från existensen. Hela skapelsen är snarare evig, enhetlig och oföränderlig, men inte oändlig (Parmenides karakteriserade dess form som en perfekt sfär). Parmenides hävdar således att förändring, som uppfattas i vardagens erfarenhet, är illusorisk.

Mittemot eleatiska monism av Parmenides är pluralistiska uppfattningen om att vara . Under 500 -talet f.Kr. ersatte Anaxagoras och Leucippus verkligheten av att vara (unik och oföränderlig) med att bli , därför med en mer fundamental och elementär ontisk mångfald. Denna tes har sitt ursprung i den grekiska världen , som anges på två olika sätt av Anaxagoras och Leucippus. Den första teorin handlade om "frön" (som Aristoteles kallade " homeomerier ") för de olika ämnena. Den andra var den atomistiska teorin, som behandlade verkligheten baserad på vakuumet , atomerna och deras inneboende rörelse i den.

Den materialistiska atomism som Leucippus föreslog var obestämd , men Democritus ( ca 460 - ca 370 f.Kr.) utvecklade den sedan på ett deterministiskt sätt. Senare (400 -talet f.Kr.) tog Epicurus den ursprungliga atomismen igen som obestämd. Han såg verkligheten som sammansatt av en oändlighet av odelbara, oföränderliga kroppar eller atomer (från grekiska atomon , lit. 'uncuttable'), men han lägger vikt på att karakterisera atomer medan de för Leucippus kännetecknas av en "figur", en "ordning" "och en" position "i kosmos. Atomer skapar dessutom helheten med den inre rörelsen i vakuumet och producerar varandets olika flöde. Deras rörelse påverkas av parenklisis ( Lucretius kallar det clinamen ) och det bestäms av en slump . Dessa idéer förebådade förståelsen av traditionell fysik fram till 1900-talets teorier om atomernas natur.

Platon

Platon utvecklade skillnaden mellan sann verklighet och illusion genom att hävda att det som är verkligt är eviga och oföränderliga former eller idéer (en föregångare till det universella ), av vilka saker som upplevs i sensation i bästa fall bara är kopior, och verkliga endast i den mån de är kopiera ("ta del av") sådana formulär. I allmänhet antar Platon att alla substantiv (t.ex. "skönhet") hänvisar till verkliga enheter, vare sig de är förnuftiga kroppar eller okänsliga former. Därför, i The Sophist , hävdar Platon att varelse är en form där alla existerande saker deltar och som de har gemensamt (även om det är oklart om "Varande" är avsett i betydelsen existens , kopula eller identitet ); och argumenterar, mot Parmenides , att former måste existera inte bara av att vara , utan också av Negation och non-being (eller skillnad ).

Aristoteles

I sina kategorier identifierar Aristoteles (384–322 fvt) tio möjliga sorters saker som kan vara föremål eller predikat för ett förslag. För Aristoteles finns det fyra olika ontologiska dimensioner:

1. enligt de olika kategorierna eller sätten att ta itu med en varelse som sådan
2. enligt dess sanning eller falskhet (t.ex. falskt guld, förfalskade pengar)
3. oavsett om det existerar i sig själv eller helt enkelt "följer med" av misstag
4. beroende på dess styrka, rörelse (energi) eller färdig närvaro ( metafysikbok Theta ).

Medeltida

Medeltids ontologi påverkades starkt av Aristoteles läror. Tänkarna i denna period förlitade sig ofta på aristoteliska kategorier som substans , handling och styrka eller materia och form för att formulera sina egna teorier. Viktiga ontologer i denna epok inkluderar Avicenna, Thomas Aquinas, Duns Scotus och William of Ockham .

Avicenna alias Ibn Sina

Enligt Avicenna (även känd som Ibn Sina ) ( c.  980 - 1037), och i en tolkning av grekiska aristoteliska och platonistiska ontologiska läror i medeltida metafysik , är vara antingen nödvändig, kontingent qua möjlig eller omöjlig. Nödvändigt väsen är det som inte kan annat än vara, eftersom dess icke-vara skulle medföra en motsättning. Kontingent qua möjligt varande är varken nödvändigt eller omöjligt för att det ska vara eller inte vara. Det är ontologiskt neutralt och förs från den befintliga potentialen till den verkliga existensen genom en orsak som ligger utanför dess väsen. Dess varelse är lånad-till skillnad från den nödvändiga existensen, som är självförsörjande och omöjlig att inte vara. När det gäller det omöjliga existerar det nödvändigtvis inte, och bekräftelsen av dess existens skulle innebära en motsättning.

Aquinas

Grundläggande för Thomas Aquinas ontologi är hans åtskillnad mellan essens och existens : alla enheter uppfattas som sammansättningar av essens och existens. Kärnan i en sak är hur den här saken är, den betyder definitionen av den här saken. Gud har en speciell status eftersom han är den enda enheten vars väsen är identisk med dess existens. Men för alla andra, ändliga enheter finns det en verklig skillnad mellan väsen och existens. Denna skillnad visar sig till exempel i vår förmåga att förstå essensen i något utan att veta om dess existens. Aquinas uppfattar tillvaron som en varelse som aktualiserar den styrka som essensen ger. Olika saker har olika essenser, som sätter olika gränser för motsvarande varelse . Paradigmsexemplen på essens-existens-kompositer är materiella ämnen som katter eller träd. Aquinas införlivar Aristoteles skillnad mellan materia och form genom att anse att essensen av materiella saker, i motsats till essensen av immateriella saker som änglar, är sammansättningen av deras materia och form. Så till exempel skulle kärnan i en marmorstaty vara marmorns sammansättning (dess materia) och formen den har (dess form). Form är universell eftersom ämnen gjorda av olika material kan ha samma form. Ett ämnes former kan delas in i väsentliga och oavsiktliga former. Ett ämne kan överleva en förändring av en oavsiktlig form men upphör att existera vid en förändring av en väsentlig form.

Modern

Ontologi ses alltmer som en separat filosofi inom den moderna perioden . Många ontologiska teorier under denna period var rationalistiska i den bemärkelsen att de såg ontologi till stor del som en deduktiv disciplin som utgår från en liten uppsättning första principer eller axiom, en position som bäst exemplifieras av Baruch Spinoza och Christian Wolff. Denna rationalism i metafysik och ontologi motsatte sig starkt av Immanuel Kant , som insisterade på att många påståenden som kommit fram till detta sätt ska avfärdas eftersom de går utöver alla möjliga erfarenheter som kan motivera dem.

Descartes

René Descartes ontologiska åtskillnad mellan sinne och kropp har varit en av de mest inflytelserika delarna av hans filosofi. Enligt hans åsikt tänker sinnen saker medan kroppar är utökade saker. Tanke och förlängning är två attribut som var och en kommer i olika sätt att vara. Sätt tänkande innefattar domar, tvivel, volitions, förnimmelser och känslor medan formerna av materiella ting är sätt förlängning . Lägen har en lägre grad av verklighet eftersom de för sin existens är beroende av ett ämne. Ämnen, å andra sidan, kan existera på egen hand. Descartes substansdualism hävdar att varje ändlig substans antingen är en tänkande substans eller en utökad substans. Denna position innebär inte att sinnen och kropparna faktiskt är åtskilda från varandra, vilket skulle trotsa intuitionen att vi båda har en kropp och ett sinne. Istället innebär det att sinnen och kroppar kan , åtminstone i princip, separeras, eftersom de är skilda ämnen och därför kan existera oberoende. Ett mångårigt problem för substansdualism sedan dess start har varit att förklara hur sinnen och kroppar kan kausalt interagera med varandra, som de tydligen gör, när en vilja gör att en arm rör sig eller när ljus som faller på näthinnan orsakar ett visuellt intryck.

Spinoza

Baruch Spinoza är känd för sin substansmonism: tesen att det bara finns ett ämne. Han hänvisar till detta ämne som "Gud eller naturen" och betonar både hans panteism och hans naturalism . Denna substans har en oändlig mängd attribut, som han definierar som "vad intellektet uppfattar av substansen som utgör dess väsen". Av dessa attribut är endast två tillgängliga för det mänskliga sinnet: tanke och förlängning. Lägen är egenskaper hos ett ämne som följer av dess attribut och därför bara har en beroende existensform. Spinoza ser vardagliga saker som stenar, katter eller oss själva som rena sätt och motsätter sig därmed den traditionella aristoteliska och kartesiska uppfattningen att kategorisera dem som ämnen. Mod består av deterministiska system där de olika lägen är kopplade till varandra som orsak och verkan. Varje deterministiskt system motsvarar ett attribut: ett för utökade saker, ett för tänkande saker, etc. Kausala relationer sker bara inom ett system medan de olika systemen körs parallellt utan att kausalt interagerar med varandra. Spinoza kallar systemet med lägen för Natura naturata ("nature natured") och motsätter det Natura naturans ("nature naturing"), de attribut som är ansvariga för lägena. Allt i Spinozas system är nödvändigt: det finns inga kontingenter. Detta är så eftersom attributen i sig är nödvändiga och eftersom systemet med lägen följer av dem.

Wolff

Christian Wolff definierar ontologi som vetenskapen om att vara i allmänhet. Han ser det som en del av metafysiken förutom kosmologi, psykologi och naturteologi. Enligt Wolff är det en deduktiv vetenskap, känd på förhand och baserad på två grundläggande principer: principen om motsägelse ("det kan inte hända att samma sak är och inte är") och principen om tillräckligt förnuft ("ingenting existerar utan en tillräcklig anledning till varför den existerar snarare än inte finns "). Varelser definieras av deras bestämningar eller predikat , vilket inte kan innebära en motsägelse. Bestämningar finns i tre typer: essentialia , attribut och lägen . Essentialia definierar ett väsens natur och är därför nödvändiga egenskaper hos detta väsen. Attribut är bestämningar som följer av essentialia och är lika nödvändiga, i motsats till lägen , som bara är betingade. Wolff uppfattar tillvaron som en enda bestämning bland andra, som en varelse kan sakna. Ontologi är intresserad av att vara på fri fot, inte bara av det faktiska. Men alla varelser, oavsett om de faktiskt existerar eller inte, har en tillräcklig anledning. Den tillräckliga anledningen till saker utan verklig existens består i alla bestämningar som utgör den väsentliga naturen hos denna sak. Wolff hänvisar till detta som en "anledning till att vara" och kontrasterar det med en "anledning att bli", vilket förklarar varför vissa saker har verklig existens.

Schopenhauer

Arthur Schopenhauer var en förespråkare för metafysisk frivillighet : han ser viljan som den underliggande och slutgiltiga verkligheten. Verkligheten som helhet består bara av en vilja, som likställs med den kantianska saken i sig . Liksom den kantianska saken i sig existerar viljan utanför rum och tid. Men, till skillnad från det kantianska i sig, har viljan en erfarenhetskomponent i sig: den kommer i form av strävan, önskan, känsla etc. Den mångfald av saker vi möter i våra vardagliga upplevelser, som träd eller bilar, är bara framträdanden som saknar existens oberoende av observatören. Schopenhauer beskriver dem som objektiveringar av viljan. Dessa objektiveringar sker i olika "steg", som motsvarar de platoniska formerna . Alla objektiveringar är grundade i testamentet. Denna förankring styrs av principium individuationis , vilket gör att en mångfald av enskilda saker som sprids ut i rymden och tiden kan grundas i den ena viljan.

1900 -talet

Dominerande tillvägagångssätt för ontologi under 1900 -talet var fenomenologi, språklig analys och naturalism. Fenomenologisk ontologi , som exemplifierat av Edmund Husserl och Martin Heidegger, förlitar sig för sin metod på beskrivningen av erfarenheter. Språklig analys tilldelar språket en central roll för ontologin, som man till exempel ser i Rudolf Carnaps tes om att sanningsvärdet av existens-påståenden beror på den språkliga ram som de görs i. Naturalismen ger naturvetenskapen en framträdande position i syfte att hitta och utvärdera ontologiska påståenden. Denna position exemplifieras av Quines metod för ontologi, som innebär att analysera de vetenskapliga teorins ontologiska åtaganden.

Husserl

Edmund Husserl ser ontologi som essensvetenskap . Essenser vetenskap kontrasteras med faktavetenskap : de förra är kända a priori och utgör grunden för de senare, som är kända a posteriori . Ontologi som essensvetenskap är inte intresserad av faktiska fakta , utan själva essenserna, oavsett om de har instanser eller inte . Husserl skiljer mellan formell ontologi , som undersöker essensen av objektivitet i allmänhet , och regionala ontologier , som studerar regionala essenser som delas av alla enheter som tillhör regionen. Regioner motsvarar de högsta släkten av konkreta enheter : materiell natur, personligt medvetande och mellanmänsklig ande. Husserls metod för att studera ontologi och essensvetenskaper i allmänhet kallas eidetic variation . Det handlar om att föreställa sig ett objekt av det slag som undersöks och variera dess funktioner. Den ändrade funktionen är oväsentlig för detta slag om objektet kan överleva dess förändring, annars tillhör det sortens väsen . Till exempel förblir en triangel en triangel om en av dess sidor är utsträckt men den upphör att vara en triangel om en fjärde sida läggs till. Regional ontologi innebär att denna metod tillämpas på essenser som motsvarar de högsta släkten.

Heidegger

Centralt för Martin Heideggers filosofi är begreppet ontologisk skillnad : skillnaden mellan att vara som sådan och specifika enheter. Han anklagar den filosofiska traditionen för att vara glömsk för denna åtskillnad, vilket har lett till misstaget att förstå att det är en sådan ultimat enhet, till exempel som "idé, energeia, substans, monad eller maktvilja". Heidegger försöker rätta till detta misstag i sin egen "fundamentala ontologi" genom att fokusera på betydelsen av att vara istället, ett projekt som liknar nutida meta-ontologi . En metod för att uppnå detta är genom att studera människan, eller Dasein , i Heideggers terminologi. Anledningen till detta är att vi redan har en pre-ontologisk förståelse för att vara som formar hur vi upplever världen. Fenomenologi kan användas för att göra denna implicita förståelse tydlig, men den måste åtföljas av hermeneutik för att undvika snedvridningar på grund av att man är glömsk . I sin senare filosofi försökte Heidegger rekonstruera "varans historia" för att visa hur de olika epokerna i filosofins historia dominerades av olika uppfattningar om varande . Hans mål är att hämta den ursprungliga upplevelsen av att vara närvarande i den tidiga grekiska tanken som täcktes av senare filosofer.

Hartmann

Nicolai Hartmann är en filosof från 1900-talet inom filosofins kontinentala tradition . Han tolkar ontologi som Aristoteles vetenskap om att vara qua -vara: vetenskapen om de mest allmänna egenskaperna hos enheter, vanligtvis kallade kategorier, och relationerna mellan dem. Enligt Hartmann, den mest allmänna kategorier är stunder av att vara (existens och väsen), sätt att vara (verkligheten och idealitet) och villkoren för att vara (möjlighet, aktualitet och nödvändighet). Varje enhet har både existens och väsen . Verklighet och idealitet är däremot två disjunktiva kategorier: varje enhet är antingen verklig eller idealisk. Ideala enheter är universella, returnerbara och alltid existerande medan verkliga enheter är individuella, unika och förstörbara. Bland de ideala enheterna finns matematiska objekt och värden. De formerna för varelse är indelade i de absoluta modaliteter (aktualitet och icke-aktualitet) och de relativa formerna (möjlighet, omöjlighet och nödvändighet). De relativa metoderna är relativa i den meningen att de beror på de absoluta metoderna: något är möjligt, omöjligt eller nödvändigt eftersom något annat är faktiskt. Hartmann hävdar att verkligheten består av fyra nivåer ( livlösa , biologiska , psykologiska och andliga ) som bildar en hierarki.

Carnap

Rudolf Carnap föreslog att sanningens värde för ontologiska uttalanden om förekomsten av enheter beror på den språkliga ram som dessa uttalanden görs i: de är interna i ramen. Som sådana är de ofta triviala genom att det bara beror på reglerna och definitionerna inom denna ram. Till exempel följer det analytiskt av reglerna och definitionerna inom det matematiska ramverket att siffror finns. Problemet Carnap såg med traditionella ontologer är att de försöker göra ramoberoende eller yttre uttalanden om vad som verkligen är fallet. Sådana uttalanden är i bästa fall pragmatiska överväganden om vilken ram man ska välja och i värsta fall helt meningslösa , enligt Carnap. Till exempel finns det ingen sak om huruvida realism eller idealism är sant, deras sanning beror på det antagna ramverket. Filosofers uppgift är inte att upptäcka vilka saker som existerar av sig själva utan "begreppsteknik": att skapa intressanta ramar och att utforska konsekvenserna av att anta dem. Valet av ram styrs av praktiska överväganden som ändamålsenlighet eller fruktbarhet eftersom det inte finns någon ramoberoende uppfattning om sanning.

Quine

Begreppet ontologiskt engagemang spelar en central roll i Willard Van Orman Quines bidrag till ontologi. En teori är ontologiskt engagerad i en enhet om den enheten måste existera för att teorin ska vara sann. Quine föreslog att det bästa sättet att bestämma detta är genom att översätta teorin i fråga till predikatlogik i första ordningen . Av särskilt intresse för denna översättning är de logiska konstanterna som kallas existentiella kvantifierare , vars betydelse motsvarar uttryck som "det finns ..." eller "för vissa ...". De används för att binda variablerna i uttrycket efter kvantifieraren. Teoriens ontologiska åtaganden motsvarar sedan de variabler som är bundna av existentiella kvantifierare. Detta tillvägagångssätt sammanfattas av Quines berömda diktum att "[t] o be is to be the value of a variable". Denna metod i sig är inte tillräcklig för ontologi eftersom den är beroende av en teori för att resultera i ontologiska åtaganden. Quine föreslog att vi skulle basera vår ontologi på vår bästa vetenskapliga teori. Olika anhängare av Quines metod valde att tillämpa den på olika områden, till exempel på "vardagliga föreställningar uttryckta i naturligt språk".

Andra ontologiska ämnen

Ontologiska formationer

Begreppet ontologiska formationer avser formationer av sociala relationer som förstås som dominerande sätt att leva. Temporala, rumsliga, kroppsliga, epistemologiska och performativa relationer anses vara centrala för att förstå en dominerande formation. Det vill säga, en särskild ontologisk bildning är baserad på hur ontologiska kategorier av tid, rum, förkroppsligande, kunskap och utförande levs - objektivt och subjektivt. Olika ontologiska formationer inkluderar det vanliga (inklusive stammen), det traditionella , det moderna och det postmoderna . Konceptet introducerades först av Paul James 2006, tillsammans med en serie författare inklusive Damian Grenfell och Manfred Steger .

I den engagerade teorimetoden ses ontologiska formationer som skiktade och skärande snarare än enstaka formationer. De är "formationer av att vara". Detta tillvägagångssätt undviker de vanliga problemen med en stor klyfta mellan det moderna och det förmoderna. Från en filosofisk åtskillnad av olika varandes formationer ger konceptet sedan ett sätt att översätta till praktiska förståelser om hur människor kan utforma städer och samhällen som lever kreativt över olika ontologiska formationer, till exempel städer som inte helt domineras av moderna rumsliga valenser konfiguration. Här är Tony Frys arbete viktigt.

Ontologi av fiktiva karaktärer

Enligt Edward N. Zalta analyserar fiktionens ontologi sådana meningar som:

• ' Nero dyrkade (guden) Mars ;'
• ' Mars , guden, existerar inte;' och
• ' Eliza Doolittle , i George Bernard Shaw 's Pygmalion , är en blommatjej.'

Enligt Amie L. Thomasson kan fiktiv diskurs vara av fyra slag:

• Uttryckt inom skönlitterära verk;
• Filosofiska övningar som " Captain Marvel existerar inte";
• Behandla skönlitterära karaktärer som om de var "riktiga", till exempel " Superman kan hoppa höga byggnader;" och
• Diskurs om skönlitterära verk, som " Professor Higgins skapades av George Bernard Shaw ".

Jeremy Bentham utmärkte tre typer av enheter:

• det verkliga : de som kan uppfattas, eller kan härledas från uppfattningen.
• det fiktiva : abstraktioner som hänvisade till märkbara saker.
• det fantastiska : de som bara finns i fantasin, där ordet "existerar" gäller sådana endast i den meningen att de inte riktigt existerar.

Francis Herbert Bradley trodde att verkliga saker existerar respektive vid särskilda tidpunkter och platser. Han kände igen flera typer av enheter:

• det genuint historiska;
• det fiktiva;
• den verkliga;
• det bara inbillade;
• det existerande; och
• det obefintliga.

Alexius Meinong skulle sätta in fiktiva enheter i kategorin som han kallade existens . Denna kategori innehåller objekt som varken existerar rumsligt eller icke-rumsligt. De har dock egenskaper. Egenskaperna ges till dessa objekt på det sätt de sägs beskrivas. Till exempel kan vi prata om den höga enhörningen även om den höga enhörningen inte existerar. Vi kan säga att enhörningen i själva verket är hög eftersom detta följer av de egenskaper som objektet kännetecknas av.

Ontologisk och epistemologisk säkerhet

René Descartes , med cogito, ergo sum ( je pense donc je suis, "jag tror, ​​därför är jag"), hävdade att en persons tänkande organ, hans res cogitans , som skiljer sig från sin materiella kropp, hans res extensa , är något som vi kan veta att det existerar med epistemologisk säkerhet. Descartes hävdade vidare att denna kunskap kunde leda till ett bevis på säkerheten om Guds existens med hjälp av det ontologiska argument som först hade formulerats av Anselm av Canterbury .

Kropp och miljö, ifrågasätter betydelsen av att vara

Skolor av subjektivism , objektivism och relativism existerade vid olika tidpunkter under 1900 -talet, och postmodernisterna och kroppsfilosoferna försökte omformulera alla dessa frågor när det gäller kroppar som vidtar vissa specifika åtgärder i en miljö. Detta förlitade sig i hög grad på insikter från vetenskaplig forskning om djur som vidtar instinktiva åtgärder i naturliga och artificiella miljöer - som studerats av biologi , ekologi och kognitiv vetenskap .

De processer genom vilka kroppar relaterade till miljöer blev av stor oro, och tanken på att vara sig själv blev svår att verkligen definiera. Vad menade folk när de sa "A är B", "A måste vara B", "A var B" ...? Vissa lingvister förespråkade att tappa verbet "att vara" från det engelska språket och lämna " E Prime ", förmodligen mindre benägen för dåliga abstraktioner. Andra, mestadels filosofer, försökte gräva i ordet och dess användning. Martin Heidegger skilde människan som existens från tingens i världen. Heidegger föreslår att vårt sätt att vara människa och hur världen är för oss kastas historiskt genom en grundläggande ontologisk ifrågasättande. Dessa grundläggande ontologiska kategorier utgör grunden för kommunikation i en tidsålder: en horisont av outtalade och till synes obestridliga bakgrundsbetydelser, till exempel att människor förstås utan tvekan som subjekt och andra enheter som utan tvekan förstås som objekt. Eftersom dessa ontologiska grundläggande betydelser både genererar och återskapas i vardagliga interaktioner, är platsen för vårt sätt att vara i en historisk epok den kommunikativa händelsen för språk som används. För Heidegger är dock kommunikation i första hand inte bland människor, utan språket bildar sig själv som svar på ifrågasättande (den outtömliga innebörden av) varelse. Även den traditionella ontologins inriktning på varornas ”vadhet” eller quidditas i sin väsentliga, stående närvaro kan förskjutas för att ställa frågan om människans ”vemlighet”.

Ontologi och språk

Vissa filosofer föreslår att frågan om "Vad är?" är (åtminstone delvis) en fråga om användning snarare än en fråga om fakta. Detta perspektiv förmedlas genom en analogi gjord av Donald Davidson : Antag att en person hänvisar till en "kopp" som en "stol" och gör några kommentarer relevanta för en kopp, men använder ordet "stol" konsekvent hela tiden istället för "kopp". Man kan lätt komma på att den här personen helt enkelt kallar en "kopp" en "stol" och konstigheten förklaras. Analogt kan vi dra slutsatsen att dessa människor inte är tokiga (Davidson kallar detta antagande för "välgörenhet" om vi finner människor som hävdar att "det finns" sådant-och-sådant, och vi själva inte tror att "sådant-och-sådant" finns). ), de använder helt enkelt "det finns" annorlunda än vi gör. Frågan om vad är? är åtminstone delvis ett ämne i språkfilosofin, och handlar inte helt om ontologin själv. Denna åsikt har uttryckts av Eli Hirsch .

Hirsch tolkar Hilary Putnam som att hävda att olika begrepp om "existensen av något" kan vara korrekta. Denna ståndpunkt motsäger inte uppfattningen att vissa saker existerar, men påpekar att olika 'språk' kommer att ha olika regler för tilldelning av denna egenskap. Hur man bestämmer ett 'språks' lämplighet 'för världen blir sedan ett föremål för utredning.

Gemensamt för alla indoeuropeiska kopulaspråk är dubbel användning av verbet "att vara" i både att det står att enheten X existerar ("X är.") Samt att X har en egenskap ("X är P"). Det hävdas ibland att en tredje användning också är distinkt, som anger att X är medlem i en klass ("X är ett C"). I andra språkfamiljer kan dessa roller ha helt andra verb och är mindre benägna att förväxlas med varandra. Till exempel kan de säga något som "bilen har rodnad" snarare än "bilen är röd". Därför kan varje diskussion om "vara" i den indoeuropeiska språkfilosofin behöva skilja mellan dessa sinnen.

Ontologi och mänsklig geografi

Inom människans geografi finns det två typer av ontologi: litet "o" som står för den praktiska orienteringen, som beskriver funktioner för att vara en del av gruppen, tänkte överförenkla och ignorera viktiga aktiviteter. Det andra "o", eller stora "O", beskriver systematiskt, logiskt och rationellt de väsentliga egenskaperna och universella egenskaperna. Detta koncept har nära samband med Platons uppfattning att det mänskliga sinnet bara kan uppfatta en större värld om de fortsätter att leva inom ramen för sina "grottor". Trots skillnaderna är ontologin dock beroende av de symboliska överenskommelserna mellan medlemmarna. Som sagt, ontologi är avgörande för de axiomatiska språkramarna.

Verklighet och verklighet

Enligt Alfred N. Whitehead , för ontologi, är det användbart att skilja begreppen "verklighet" och "verklighet". Enligt denna uppfattning har en "verklig enhet" en filosofisk status av grundläggande ontologisk prioritet, medan en "verklig enhet" är en som kan vara faktisk eller kan härleda sin verklighet från dess logiska relation till någon eller flera faktiska enheter. Till exempel är ett tillfälle i Sokrates liv en verklig enhet. Men Sokrates 'att vara en man gör inte' människan 'till en verklig enhet, för det hänvisar obestämt till många faktiska enheter, till exempel flera tillfällen i Sokrates liv, och också till flera tillfällen i Alcibiades , och andra. Men föreställningen om människan är verklig; den härleder sin verklighet från sin hänvisning till de många faktiska tillfällen, som var och en är en verklig enhet. Ett verkligt tillfälle är en konkret enhet, medan termer som "man" är abstraktioner från många konkreta relevanta enheter.

Enligt Whitehead måste en verklig enhet tjäna sin filosofiska status som grundläggande ontologisk prioritet genom att uppfylla flera filosofiska kriterier, enligt följande:

• Det finns inget att gå bakom en verklig enhet, att hitta något mer fundamentalt faktiskt eller i effektivitet. Detta kriterium är att betrakta som ett uttryck för ett axiom eller en postulerad särskild doktrin.
• En verklig enhet måste vara helt bestämd i den meningen att det inte kan finnas någon förvirring om dess identitet som skulle tillåta att den förväxlas med en annan faktisk enhet. I denna mening är en verklig enhet helt konkret, utan potential att vara något annat än sig själv. Det är vad det är. Det är en källa till potential för skapandet av andra faktiska enheter, av vilka det kan sägas vara en orsak. På samma sätt är det konkretion eller realisering av potentialer hos andra faktiska enheter som är dess partiella orsaker.
• Orsak mellan faktiska enheter är avgörande för deras verklighet. Följaktligen, för Whitehead, har varje faktisk enhet sin distinkta och bestämda förlängning i fysiska Minkowski -utrymme , och det är därför unikt identifierbart. En beskrivning i Minkowski -rymden stöder beskrivningar i tid och rum för särskilda observatörer.
• Det är en del av syftet med filosofin för en sådan ontologi som Whiteheads att de faktiska enheterna ska vara alla lika, qua faktiska enheter; de bör alla uppfylla en enda bestämd uppsättning väl angivna ontologiska kriterier för verkligheten.

Whitehead föreslog att hans uppfattning om ett tillfälle av erfarenhet uppfyller kriterierna för dess status som den filosofiskt föredragna definitionen av en verklig enhet. Ur en rent logisk synvinkel har varje upplevelsestillfälle till fullo mätt karaktärerna i både objektiv och subjektiv verklighet. Subjektivitet och objektivitet hänvisar till olika aspekter av ett upplevelsestillfälle, och på inget sätt utesluter de varandra.

Exempel på andra filosofiska förslag eller kandidater som verkliga enheter, enligt denna uppfattning, är Aristoteles 'substanser', Leibniz 'monader och Descartes' res verae och de mer moderna 'tillstånden'. Aristoteles ämnen, som Sokrates, har bakom sig som mer grundläggande de "primära ämnena", och uppfyller i denna mening inte Whiteheads kriterier. Whitehead är inte nöjd med Leibniz monader som faktiska enheter eftersom de är "fönsterlösa" och inte orsakar varandra. "Tillståndsstater" är ofta inte nära definierade, ofta utan särskilt omnämnande av förlängning i fysiskt Minkowski -utrymme; de är därför inte nödvändigtvis processer för att bli, utan kan vara som deras namn antyder, helt enkelt statiska tillstånd i någon mening. Situationer är beroende av uppgifter och har därför något bakom sig. En sammanfattning av Whiteheads faktiska enhet är att det är en process att bli. En annan sammanfattning, som hänvisar till dess orsakssamband till andra faktiska enheter, är att det är "alla fönster", i motsats till Leibniz fönsterlösa monader.

Denna uppfattning gör att andra filosofiska enheter än verkliga enheter verkligen kan existera, men inte lika grundläggande och främst faktiska eller kausalt effektiva; de har existens som abstraktioner, med verkligheten endast härledd från deras hänvisning till faktiska enheter. En Whiteheadian faktisk enhet har en unik och helt bestämd plats och tid. Whiteheadian abstraktioner är inte så tätt definierade i tid och plats, och i det yttersta är vissa tidlösa och platslösa eller "eviga" enheter. Alla abstraktioner har en logisk eller konceptuell snarare än effektiv existens; deras brist på bestämd tid gör dem inte overkliga om de hänvisar till verkliga enheter. Whitehead kallar detta ”den ontologiska principen”.

Mikrokosmisk ontologi

Det finns en etablerad och lång filosofisk historia om begreppet atomer som mikroskopiska fysiska objekt. De är alldeles för små för att vara synliga för blotta ögat. Det var så sent som på artonhundratalet som exakta uppskattningar av förmodade fysiska atomer började bli troliga. Nästan direkt empirisk observation av atomeffekter berodde på den teoretiska undersökningen av brownian rörelse av Albert Einstein i början av nittonhundratalet. Men även då diskuterades atomernas verkliga existens av vissa. Sådan debatt kan kallas "mikrokosmisk ontologi". Här används ordet "mikrokosmos" för att indikera en fysisk värld av små enheter, till exempel atomer.

Subatomiska partiklar anses vanligtvis vara mycket mindre än atomer. Deras verkliga eller faktiska existens kan vara mycket svår att demonstrera empiriskt. Ibland görs en åtskillnad mellan faktiska och virtuella subatomära partiklar. Rimligen kan man fråga sig, i vilken bemärkelse, om några, existerar virtuella partiklar som fysiska enheter? För atom- och subatomära partiklar uppstår svåra frågor, till exempel om de har en exakt position eller en exakt momentum? En fråga som fortsätter att vara kontroversiell är "till vilken typ av fysisk sak, om någon, hänvisar den kvantmekaniska vågfunktionen ?"

Ontologiskt argument

I västerländska kristna traditionen, i hans 1078 arbete Proslogion , Anselm av Canterbury föreslog det som kallas 'den ontologiska argumentet' för Guds existens. Anselm definierade Gud som "det som inget större kan tänkas" och hävdade att detta väsen måste existera i sinnet, även i sinnet hos den person som förnekar Guds existens. Han föreslog att om den största möjliga varelsen finns i sinnet måste den också finnas i verkligheten. Om det bara existerar i sinnet, måste ett ännu större väsen vara möjligt - ett som finns både i sinnet och i verkligheten. Därför måste detta största möjliga väsen finnas i verkligheten. 1600 -talets franske filosof René Descartes använde ett liknande argument. Descartes publicerade flera varianter av sitt argument, som var och en var centrerad på tanken att Guds existens omedelbart kan härledas från en "klar och distinkt" idé om ett ytterst perfekt väsen. I början av artonhundratalet förstärkte Gottfried Leibniz Descartes idéer i ett försök att bevisa att en "ytterst perfekt" varelse är ett sammanhängande begrepp. Norman Malcolm återupplivade det ontologiska argumentet 1960 när han hittade ett andra, starkare ontologiskt argument i Anselms arbete; Alvin Plantinga utmanade detta argument och föreslog ett alternativ, baserat på modal logik . Försök har också gjorts för att validera Anselms bevis med hjälp av en automatisk teoremprover .

På senare tid föreslog Kurt Gödel ett formellt argument för Guds existens . Andra argument för Guds existens har framförts, inklusive de som framförts av islamiska filosofer Mulla Sadra och Allama Tabatabai .

Hintikkas lokalisering för existens

Jaakko Hintikka sätter uppfattningen att en användbar förklaring av begreppet existens finns i orden "man kan hitta", implicit i någon diskursvärld eller universum .

Framstående ontologer

Se även

Anteckningar

Referenser

Citat

externa länkar

• "Ontologi"  . Encyclopædia Britannica . 20 (11: e upplagan). 1911. s. 118.
• "Logik och ontologi" post av Thomas Hofweber i Stanford Encyclopedia of Philosophy , 11 oktober 2017