Frege–kyrklig ontologi
Frege –kyrkans ontologi är en ontologi , en teori om existens . Allt anses vara indelat i tre kategorier, objekt ( referent , denotation ), namn eller begrepp ( känsla ). Ontologin utvecklades av Alonzo Church baserat på Gottlob Freges idéer för att lösa vissa paradoxer . Ontologin är relaterad till vissa modala logiker .
Paradoxen i namnförhållandet
- Anta att vi befinner oss i år 1995. Antag att Mary tror att Pluto (vid den tiden fortfarande betraktas som en planet) är den planet som ligger längst bort från solen. På grund av Plutos oregelbundna bana korsade Plutos bana Neptunus bana, så att 1995 var den längsta planeten från solen Neptunus. Anta att Mary inte känner till detta faktum.
- Om x = y och y = z , då ersätter z med y , x = z .
- (1) Mary tror att Pluto = planeten längst bort från solen.
- (2) Neptunus = planeten längst bort från solen.
- Därför, genom att ersätta 'Neptunus' för 'den längsta planeten från solen' i (1), får vi
- (3) Mary tror att Pluto = Neptunus.
Mary tror dock inte att Pluto är Neptunus, en paradox.
Frege–kyrkans ontologi löser detta genom att säga att tron introducerar ett "intentionellt sammanhang" där termerna efter orden "tror att" finns i ett sammanhang där de inte hänvisar till ordens beteckning, utan till konceptet som är förknippat med orden för den troende. Varje ord har ett namn, en beteckning och ett begrepp kopplat till det.
Terminologi
Propositioner, egenskaper och relationer
- Ett objekt har egenskaper. En banan har egenskapen att vara gul.
- En proposition är en mening som antingen är sann eller falsk. En proposition kan anses vara en funktion , där objekt i den betraktas som variabler , och värdet av funktionen är antingen sanning eller falskhet , en sanningsfunktion . Skriv till exempel " x är gul" som Y ( x ), så att Y ( x ) = Sanning, om och endast om " x är gul" är sant, och Y ( x ) = Falskt om och endast om " x är Gul” är falsk. Till exempel Y (banan) = Sanning, eftersom en banan är gul. Men Y( apple) = Sanning också, eftersom vissa äpplen är gula.
- På liknande sätt kan en mening som uttrycker ett förhållande mellan två objekt betraktas som en sanningsfunktion av två variabler, det vill säga ett förhållande mellan två objekt kan anses vara en sanningsfunktion av två variabler. Låt till exempel S ( x , y ) = " x är mindre än y ". Så S(mus, elefant) = sanning, eftersom en mus är mindre än en elefant, men S(mus, myra) = Falskhet, eftersom en mus inte är mindre än en myra.
Objekt, namn, koncept
- Ett objekt (referens, denotation) har ett namn, namnet på objektet. Objektet har ett begrepp (känsla), begreppet objekt, associerat med objektets namn. Ett namn eller koncept är i sig objekt och har namn, namnet på objektets namn och namnet på objektets koncept. På samma sätt har de begrepp som vilket annat objekt som helst. Ett namn sägs beteckna objektet som det är namnet på.
Upplösning av paradoxen i namnförhållandet med hjälp av Frege–kyrka-ontologin
Tvetydigheter i vanligt språk leder till förvirring
- Det engelska vanliga språket har oklarheter som behöver förtydligas då vi ibland hänvisar till ett objekt med ett ord, t.ex. en katt. Vi hänvisar till namnet genom att använda skrämselcitat, namnet på katten, t.ex. ordet "katt". Det finns en tvetydighet i språket när det gäller att hänvisa till katten som ett begrepp och katten som ett objekt.
Intentionell kontext
- Ett uttryck som "tror att" sägs introducera ett intensivt sammanhang . I ett intensivt sammanhang betecknar de namn som förekommer begreppen objekten för den troende. De betecknar inte själva föremålen.
Upplösning
"Den längsta planeten från solen", som den visas i proposition (1) är Marias begrepp om "den längsta planeten från solen", inte om den faktiska planeten längst bort från solen som den visas i (2), så ersättningen kan inte göras. En mer rigorös och formell behandling av detta ges av kyrkan.
externa länkar
- Passande, Melvin. "Avsiktlig logik" . I Zalta, Edward N. (red.). Stanford Encyclopedia of Philosophy .