Frege – církevní ontologie - Frege–Church ontology - Wikipedia

The Frege – církevní ontologie je ontologie, a teorie z existence. Vše je považováno za tři kategorie, objekt (referent, denotace ), název nebo pojem (smysl ). Ontologii vyvinul Alonzo Church[1] na základě myšlenek Gottlob Frege[2][3] některé vyřešit paradoxy. Ontologie souvisí s jistým modální logika.

Paradox vztahu jména

  • Předpokládejme, že jsme v roce 1995. Předpokládejme, že Mary věří, že Pluto (v té době stále považované za planetu) je nejvzdálenější planeta od Slunce. Kvůli nepravidelné oběžné dráze Pluta oběžná dráha Pluta překročila oběžnou dráhu Neptunu, takže v roce 1995 je nejvzdálenější planeta od Slunce Neptun. Předpokládejme, že Mary tuto skutečnost nezná.
Li X = y a y = z, pak střídání z pro y, X = z.
(1) Mary věří, že Pluto = nejvzdálenější planeta od Slunce.
(2) Neptun = nejvzdálenější planeta od Slunce.
Proto dosadíme-li „Neptun“ za „nejvzdálenější planetu od Slunce“ v (1), dostaneme
(3) Mary věří, že Pluto = Neptun.

Mary však nevěří, že Pluto je Neptun, paradox.

Frege – církevní ontologie to řeší tvrzením, že víra zavádí „intenzionální kontext“, přičemž výrazy následující po slovech „věří, že“ jsou v kontextu, ve kterém neodkazují na denotaci slov, ale na pojem spojené se slovy pro věřícího. Každé slovo má název, označení a koncept s ním spojený.

Terminologie

Návrhy, vlastnosti a vztahy

  • Objekt má vlastnosti. Banán má tu vlastnost, že je žlutý.
  • A tvrzení je věta, která je buď pravdivá, nebo nepravdivá. Za nabídku lze považovat a funkce, s předměty v něm považováno za proměnné a hodnota funkce je buď pravda nebo faleš, a funkce pravdy. Například napište „X je žlutá “jako Y(X), aby Y(X) = Pravda, právě když “X je žlutá “je pravda a Y(X) = Falešnost právě tehdy, když „X je žlutá “je falešná. Například, Y(banana) = Pravda, protože banán je žlutý. Nicméně, Y (jablko) = Pravda také, protože některá jablka jsou žlutá.
  • Podobně větu vyjadřující vztah mezi dvěma objekty lze považovat za pravdivostní funkci dvou proměnných, to znamená, že vztah mezi dvěma objekty lze považovat za pravdivostní funkci dvou proměnných. Například pojďme S(X, y) = “X je menší než y“. Takže S (myš, slon) = pravda, protože myš je menší než slon, ale S (myš, mravenec) = Falsity, protože myš není menší než mravenec.

Objekt, název, pojem

  • Objekt (referent, denotation) má název, název objektu. Objekt má pojem (smysl), pojem objektu, spojený s názvem objektu. Název nebo koncept jsou samy o sobě objekty a mají jména, název názvu objektu a název konceptu objektu. Podobně mají koncepty jako každý jiný objekt. Jméno se říká označit objekt, pro který je název.

Řešení paradoxu vztahu jména pomocí ontologie Frege – Church

Nejasnosti v běžném jazyce vedou ke zmatku

  • Angličtina běžný jazyk má nejasnosti, které je třeba objasnit, protože někdy odkazujeme na objekt slovem, např. kočkou. Název označujeme pomocí uvozovek, jména kočky, např. Slova „kočka“. V jazyce existuje nejednoznačnost, pokud jde o odkaz na kočku jako koncept a kočku jako objekt.

Intenzionální kontext

  • Výraz jako „věří tomu“ údajně zavádí intenzionální kontext. V intencionálním kontextu názvy, které se vyskytují, označují pojmy předmětů pro věřícího. Samotné předměty neoznačují.

Rozlišení

„Nejvzdálenější planeta od Slunce“, jak se objevuje v tvrzení (1), je Mariin koncept „nejvzdálenější planety od Slunce“, nikoli o skutečné nejvzdálenější planetě od Slunce, jak se objevuje v (2), takže substituce nelze provést. Církev k tomu přistupuje přísněji a formálně.[1]

Reference

  1. ^ A b Kostel, Alonzo. „Formulace logiky smyslu a denotace.“ Ve struktuře, metodě a významu: Pokusy o čest Henryho M. Sheffera, editoval P. Henle, H. Kallen a S. Langer, 3–24. New York: Liberal Arts Press, 1951.
  2. ^ Gottlob Frege. „Über Sinn und Bedeutung“ v Zeitschrift für Philosophie und philosophische Kritik 100: 25–50. Překlad: „On Sense and Reference“ in Geach and Black (1980).
  3. ^ Gottlob Frege. „Über Begriff und Gegenstand“ v Vierteljahresschrift für wissenschaftliche Philosophie 16: 192–205. Překlad: „Koncept a objekt“ v Geach and Black (1980).

externí odkazy

  • Kování, Melvine. „Intenzionální logika“. v Zalta, Edward N. (vyd.). Stanfordská encyklopedie filozofie.