Ontologia Fregego-Kościoła

Fregego - Kościoła jest ontologią , teorią istnienia . Wszystko jest uważane za należące do trzech kategorii: przedmiot ( odniesienie , denotacja ), nazwa lub pojęcie ( sens ). Ontologia została opracowana przez Alonzo Churcha w oparciu o idee Gottloba Frege'a w celu rozwiązania pewnych paradoksów . Ontologia jest powiązana z pewnymi logikami modalnymi .

Paradoks związku nazw

• Załóżmy, że jesteśmy w roku 1995. Załóżmy, że Maria wierzy, że Pluton (wówczas nadal uważany za planetę) jest planetą najdalszą od Słońca. Ze względu na nieregularną orbitę Plutona, orbita Plutona przecięła orbitę Neptuna, tak że w 1995 roku najdalszą planetą od Słońca był Neptun. Załóżmy, że Maria nie zna tego faktu.

Jeśli x = y i y = z , to podstawiając z za y , x = z .

(1) Maria wierzy, że Pluton = najdalsza planeta od Słońca.

(2) Neptun = najdalsza planeta od Słońca.

Dlatego podstawiając „Neptun” za „najdalszą planetę od Słońca” w (1), otrzymujemy

(3) Maria wierzy, że Pluton = Neptun.

Jednak Mary nie wierzy, że Pluton to Neptun, co jest paradoksem.

Ontologia Fregego-Kościoła rozwiązuje ten problem, mówiąc, że przekonanie wprowadza „intencjonalny kontekst”, w którym terminy następujące po słowach „wierzy, że” znajdują się w kontekście, w którym odnoszą się nie do denotacji słów, ale do pojęcia związanego ze słowami dla wierzącego. Każde słowo ma nazwę, denotację i związane z nim pojęcie.

Terminologia

Zdania, właściwości i relacje

• Obiekt ma właściwości. Banan ma właściwość bycia żółtym.
• Propozycja to zdanie, które jest albo prawdziwe, albo fałszywe . Zdanie można uznać za funkcję , w której obiekty są traktowane jako zmienne , a wartością funkcji jest albo prawda , albo fałsz , funkcja prawdziwości . Na przykład napisz „ x jest żółte” jako Y ( x ), tak że Y ( x ) = Prawda wtedy i tylko wtedy, gdy „ x jest żółte” jest prawdziwe, a Y ( x ) = Fałsz wtedy i tylko wtedy, gdy „ x jest żółte” jest fałszywe. Na przykład Y (banan) = Prawda, ponieważ banan jest żółty. Jednak Y ( jabłko) = Prawda również, ponieważ niektóre jabłka są żółte.
• Podobnie zdanie wyrażające związek między dwoma obiektami można uznać za funkcję prawdziwościową dwóch zmiennych, to znaczy związek między dwoma obiektami można uznać za funkcję prawdziwościową dwóch zmiennych. Na przykład niech S ( x , y ) = „ x jest mniejsze niż y ”. Zatem S(mysz, słoń) = prawda, ponieważ mysz jest mniejsza od słonia, ale S(mysz, mrówka) = fałsz, ponieważ mysz nie jest mniejsza od mrówki.

Przedmiot, nazwa, koncepcja

• Obiekt (referent, denotacja) ma nazwę, nazwę obiektu. Przedmiot ma pojęcie (sens), pojęcie przedmiotu, związane z nazwą przedmiotu. Nazwa lub pojęcie same w sobie są przedmiotami i mają nazwy, nazwę nazwy przedmiotu i nazwę pojęcia przedmiotu. Podobnie mają pojęcia jak każdy inny przedmiot. Mówi się, że nazwa oznacza przedmiot, dla którego jest nazwą.

Rozwiązanie paradoksu związku nazw za pomocą ontologii Fregego-Kościoła

Dwuznaczności w zwykłym języku prowadzą do zamieszania

• Angielski język potoczny ma niejasności, które należy wyjaśnić, ponieważ czasami odnosimy się do przedmiotu za pomocą słowa, np. kota. Odwołujemy się do imienia za pomocą przerażających cudzysłowów, imienia kota, np. słowo „kot”. W języku występuje niejednoznaczność, jeśli chodzi o odniesienie się do kota jako pojęcia, a kota jako przedmiotu.

Intensywny kontekst

• Mówi się, że wyrażenie takie jak „wierzy, że” wprowadza kontekst intensjonalny . W kontekście intencjonalnym występujące nazwy oznaczają dla wierzącego koncepcje przedmiotów. Nie oznaczają samych obiektów.

Rezolucja

„Najdalsza planeta od słońca”, jak pojawia się w twierdzeniu (1), jest koncepcją Marii „najdalszej planety od słońca”, a nie rzeczywistej najdalszej planety od słońca, jak pojawia się w (2), więc podstawienie nie może być zrobione. Bardziej rygorystyczne i formalne podejście do tego podaje Kościół.

Linki zewnętrzne

• Dopasowanie, Melvin. „Intensywna logika” . W Zalta, Edward N. (red.). Stanford Encyklopedia filozofii .