Ebook Predykacja mobi,epub

ie nie daje jednoznacznych ,,zobowiązań", aczkolwiek wyznacza pewien zakres możliwych interpretacji. Możemy analizować i porównywać te możliwe interpretacje kategorialne danej logiki skorelowane z różnymi ontologiami, ontologiami komplementarnymi lub nawet wzajemnie sprzecznymi, i w ten sposób niejako badać założenia logiki na wyższym poziomie, poziomie meta-ontologicznym. Powyższe uwagi pozwalają uświadomić sobie, że ontologia formalna jest ściśle związana z logiką, chociaż nie wszystkie badania formalno-ontologiczne wykorzystują w sposób istotny logikę. Przeważajacą część naszych rozważań formalnych będą stanowiły rozważania logiczne, opierające się na wyjątkowo prostej logice zwanej M-logiką i na logikach stanowiących jej rozszerzenia. Istotą tych logik jest to, że można w nich wyrazić bogate pojęcia predykacji i w związku z tym, można także rozważać w ich ramach bogate kategorie przedmiotów, własności i sytuacji. Należy podkreślić ponadto, że prezentowane logiki są interesujące z czysto logicznego punktu widzenia. Niniejsza praca nie rości sobie pretensji do bycia wszechstronnym i wyczerpującym kompendium istniejących lub tylko możliwych formalnych ujęć predykacji.[5] Czytelnik znajdzie niewiele odniesień historycznych,[6] a jeśli nawet takie się pojawią, to będą dosyć lapidarne. Monografia ma profil teoretyczny, a w szczególności formalno-ontologiczny, co sprawia, że nie są w niej rozważane rozróżnienia kategorialne w ramach przedmiotów i własności, które nie mają charakteru formalnego. Będziemy posługiwali się w szczególności terminami indywiduum, własność złożona, bowiem terminy te mają treść formalną (strukturalną), ale już nie będziemy zajmowali się przykładowo pojęciami rodzaju naturalnego, przedmiotu fizycznego, czy też rozróżnieniem własności na istotne i przypadkowe. Pojęcie istnienia wprawdzie będzie pojawiać się w naszych rozważaniach, ale tylko wtedy, gdy z tym pojęciem będzie się wiązała określona struktura ontologiczna. Wprowadzimy pewne klasyfikacje typów predykacji, ale tylko tych opartych na strukturze formalnej. Nie będziemy zajmowali się predykacją opartą na mereologicznej relacji bycia częścią oraz predykacją, w której pojawiają się terminy masowe (mass terms). Spore fragmenty rozważań będą związane z poglądami austriackiego filozofa Alexiusa Meinonga i wiele propozycji formalnych będzie inspirowanych tymi poglądami. Nie jest to tylko przypadek i indywidualny kierunek badań autora. Propozycje ontologiczne tego filozofa, w szczególności jego teoria przedmiotów oparta na paradygmacie mówiącym, że predykacja poprzedza istnienie, okazały się niezwykle inspirujące dla współczesnych badań z zakresu logiki i ontologii, a nawet do pewnego stopnia zdominowały te badania. W szczególności, pojęcie predykacji pojawiające się w jego teorii przedmiotu jest bogatsze strukturalnie od pojęcia klasycznego, a pokrewne predykacji kwantyfikatorowej. Niemniej, autor przyznaje, że dobór treści pracy do pewnego stopnia jest dyktowany także jego zainteresowaniami i często koncentruje się na wątkach badawczych realizowanych lub zapoczątkowanych we wcześniejszych pracach (co zostanie zaznaczone w odpowiednich miejscach monografii[7]). Należy zaznaczyć, że nasze rozważania ontologiczne będą dotyczyły nie tylko przedmiotów realnych, istniejących niezależnie od podmiotu poznającego, ale także będą dotyczyły szeroko rozumianej klasy przedmiotów intencjonalnych, których źródłem są akty świadomości. Właśnie na styku tych dwóch sfer przedmiotowych ujawniają się najbardziej istotne formalne cechy przedmiotów, a także własności, relacji i sytuacji. Co za tym idzie, korelatywnie, także ontologiczna struktura predykacji jest związana w fundamentalny sposób z przeciwstawieniem przedmiotów realnych i przedmiotów intencjonalnych. I już w tym miejscu warto zaznaczyć, że w przypadku tych drugich przedmiotów ta struktura jest w pewnym aspekcie daleko bardziej skomplikowana. Meinongowska ontologia przedmiotów czerpie swoje inspiracje z teorii intencjonalności - przedmioty meinongowskie należy interpretować jako możliwe przedmioty intencjonalne (przedmioty świadomości). Patrząc z tej perspektywy, nie zaskakuje ważność poglądów austriackiego filozofa dla badanych przez nas zagadnień ontologicznych związanych z predykacją. Szczególnie ważne w kontekście inspiracji meinongowskich są formalno-ontologiczne pojęcia zupełności i niesprzeczności przedmiotów i tym właśnie pojęciom poświęcimy wiele uwagi. Należy zaznaczyć w tym miejscu, że te inspiracje rozmijają się z inspiracjami najczęściej spotykanymi w literaturze, a które akcentują uznanie przez Meinonga szerokiej sfery przedmiotów nieistniejących (por. w szczególności pracę (Priest, 2005), która jest w pewnym sensie ,,konku