Jacek Juliusz Jadacki Elementarne relacje ontyczne. Filozofia Nauki 3/4, 53-58

Podobne dokumenty
Nazwa. Wstęp do filozofii. Typ przedmiotu. Jednostka prowadząca Jednostka dla której przedmiot jest oferowany

Filozofia przyrody - Filozofia Eleatów i Demokryta

Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

Mariusz Grygianiec Ewentystyczna definicja rzeczy w świetle argumentu Adriana Kuźniara. Filozofia Nauki 19/1, 53-56

Ontologie, czyli o inteligentnych danych

EGZAMIN MATURALNY 2010 FILOZOFIA

Andrzej L. Zachariasz. ISTNIENIE Jego momenty i absolut czyli w poszukiwaniu przedmiotu einanologii

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

Filozofia, ISE, Wykład X - Filozofia średniowieczna.

LOGIKA I TEORIA ZBIORÓW

Filozofia, Germanistyka, Wykład I - Wprowadzenie.

Robert Kowalczyk. Zbiór zadań z teorii miary i całki

EGZAMIN MATURALNY 2011 FILOZOFIA

Filozofia, ISE, Wykład V - Filozofia Eleatów.

Elementy kognitywistyki III: Modele i architektury poznawcze

Definicje i przykłady

Wstęp. Krystalografia geometryczna

SPIS TREŚCI I. WPROWADZENIE - FILOZOFIA JAKO TYP POZNANIA. 1. Człowiek poznający Poznanie naukowe... 16

EGZAMIN MATURALNY 2011 FILOZOFIA

Informacja w perspektywie obliczeniowej. Informacje, liczby i obliczenia

O pewnych związkach teorii modeli z teorią reprezentacji

Elementy filozofii i metodologii INFORMATYKI

Skończone rozszerzenia ciał

KLASYCZNA KONCEPCJA RELIGII

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Filozofia, Germanistyka, Wykład IX - Immanuel Kant

Arkusz zawiera informacje prawnie chronione do momentu rozpoczęcia egzaminu.

Filozofia, Historia, Wykład IV - Platońska teoria idei

Informacja o przestrzeniach Sobolewa

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

3. Spór o uniwersalia. Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016

Arkusz zawiera informacje prawnie chronione do momentu rozpoczęcia egzaminu.

Rodzaje argumentów za istnieniem Boga

INFORMATYKA a FILOZOFIA

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

Spis treści. Wstęp Wybrane zagadnienia z teorii i metodologii filozofii przyrody... 17

Filozofia z elementami logiki Język jako system znaków słownych część 2

020 Liczby rzeczywiste

Zbiory, relacje i funkcje

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

ANDRZEJ L. ZACHARIASZ TEORIA POZNANIA JAKO RELATYSTYCZNA KONCEPCJA PRAWDY TEORETYCZNEJ

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut

VI. Równania różniczkowe liniowe wyższych rzędów

Wstęp do logiki. O definiowaniu

Dystrybucje, wiadomości wstępne (I)

SPRZECZNOŚĆ LOGICZNA A KONFLIKT NAUKI IWIARY

Wstęp do prawoznawstwa. Metody wykładni

TEORIA WĘZŁÓW. Natalia Grzechnik 10B2

Wykład 21 Funkcje mierzalne. Kostrukcja i własności całki wzglȩdem miary przeliczalnie addytywnej

Finanse i Rachunkowość studia niestacjonarne Wprowadzenie do teorii ciągów liczbowych (treść wykładu z 21 grudnia 2014)

Internet Semantyczny i Logika II

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

166 Wstęp do statystyki matematycznej

Fizyka współczesna a ontologie Demokryta i Platona

O REDUKCJI U-INFORMACJI

Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3

Metoda Karnaugh. B A BC A

Co to jest znaczenie? Współczesne koncepcje znaczenia i najważn. i najważniejsze teorie semantyczne

Kryteria oceniania z matematyki Klasa III poziom rozszerzony

Algorytm. Krótka historia algorytmów

ZAŁOŻENIA FILOZOFICZNE

Podstawy metod probabilistycznych. dr Adam Kiersztyn

Sylabus LICZBA GODZIN. Treści merytoryczne przedmiotu

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

CZY INFORMATYKOM MUSI WYSTARCZYĆ NIESKOŃCZONOŚĆ POTENCJALNA?

Schematy Piramid Logicznych

Elementy logiki (4 godz.)

LOGIKA Dedukcja Naturalna

Algebra Boole a i jej zastosowania

Pochodna funkcji a styczna do wykresu funkcji. Autorzy: Tomasz Zabawa

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów

ZDARZENIA, RZECZY, PROCESY [1975]

ARGUMENTY KOSMOLOGICZNE. Sformułowane na gruncie nauk przyrodniczych

RACHUNEK PRAWDOPODOBIEŃSTWA WYKŁAD 1. L. Kowalski, Statystyka, 2005

ćwiczenia 15 zaliczenie z oceną

KARTA INFORMACYJNA UCZESTNIKA XIV GIMNAZJALNEGO KONKURSU FILOZOFICZNEGO

Kultura logicznego myślenia

Kryteria oceniania z matematyki dla klasy M+ (zakres rozszerzony) Klasa III

Zadania do Rozdziału X

Teoria miary. WPPT/Matematyka, rok II. Wykład 5

Kryteria oceniania z matematyki Klasa III poziom podstawowy

Statystyka Astronomiczna

mechanika analityczna 1 nierelatywistyczna L.D.Landau, E.M.Lifszyc Krótki kurs fizyki teoretycznej

Filozofia, Socjologia, Wykład II - Podział filozofii. Filozofia archaiczna

Wprowadzenie do logiki Język jako system znaków słownych

Analiza matematyczna 1 - test egzaminacyjny wersja do ćwiczeń

Kongruencje pierwsze kroki

Poziom przedmiotu: II stopnia. Liczba godzin/tydzień: 3W E, 3C PRZEWODNIK PO PRZEDMIOCIE

Rachunek zdań I rzędu Aksjomaty rachunku zdań, tautologie Schematy rachunku zdań Dowodzenie poprawności Metoda zerojedynkowa Skrócona metoda

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I

GWSP GIGI. Filozofia z aksjologią. dr Mieczysław Juda

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

George Berkeley ( )

Filozofia i etyka. Podyplomowe studia kwalifikacyjne na Wydziale Filozofii i Socjologii UMCS

Nazwisko i imię: Zespół: Data: Ćwiczenie nr 9: Swobodne spadanie

VII. Elementy teorii stabilności. Funkcja Lapunowa. 1. Stabilność w sensie Lapunowa.

Imię i nazwisko:... OBROŃCY PRAWDY

Transkrypt:

Jacek Juliusz Jadacki Elementarne relacje ontyczne Filozofia Nauki 3/4, 53-58 1995

Filozofia Nauki Rok III, 1995, N r 4(12) Jacek Juliusz Jadacki Elementarne relacje ontyczne Kombinacje słowne nie mają sensu określonego a priori, ale uzyskują go w miarę założeń, jakie przyjmujemy. L. Chwistek, Trzy odczyty odnoszące się do pojęcia istnienia Spróbuję pokazać, jak za pomocą bardzo ubogiej i prostej siatki pojęciowej można zrekonstruować podstawowe problemy tradycyjnej ontologii. Siatka ta obejmuje sześć pierwotnych i jak mi się wydaje niesprowadzalnych do siebie wzajemnie predykatów ontologicznych: x zawiera się w (vel jest częścią) y (nb. relacja zawierania się jest asymetryczna i tranzytywna); znajduje się (vel występuje) w y przez z ;,д posiada (vel odznacza się) у przez z ;,jc uszczegóławia (vel przynależy do, egzemplifikuje) y (nb. relacja uszczegóławiania jest asymetryczna, ale nieokreślalna co do tranzytywności); poprzedza / (nb. relacja poprzedzania jest asymetryczna i atranzytywna); wreszcie,jc mniema, że p" (nb. relacja mniemania jest asymetryczna i nieokreślalna co do tranzytywności). Aby uprościć wysłowienie niektórych tez, wprowadzam od razu trzy predykaty pomocniczne:,yc tkwi w (vel mieści się w, zajmuje) co jest skrótem wyrażenia dla pewnego z jest tak, że x znajduje się w у przez z ; x trwa przez z, co jest skrótem wyrażenia dla pewnego у jest tak, że x znajduje się w у przez z ; wreszcie

54 Jacek Juliusz Jadacki yyx ma (vel х -owi przysługuje) ÿ \ co jest skrótem wyrażenia dla pewnego z jest tak, że X posiada y przez Predykaty powyższe wyznaczają sens następujących terminów: przedmiot coś, co w czymś tkwi, przez coś trwa lub coś ma ; obszar coś, w czymś coś tkwi ; okres coś, przez co coś trwa ; własność coś, co jest przez coś miane ; rodzaj coś, co jest przez coś uszczegóławiane ; kawałek przedmiot zawierający się w jakimś przedmiocie ; wycinek obszar zawierający się w jakimś obszarze ; przekrój okres zawierający się w jakimś okresie ; wreszcie osoba coś, co coś mniema. Siatkę pojęciową, którą tworzą rozważane terminy, przedstawia poniższy schemat: Niektóre spośród wymienionych pierwotnych predykatów ontologicznych są przedmiotem zaawansowanych teorii. I tak: zawierania się dotyczy mereologia; poprzedzania chronometria (teoria czasu); uszczegóławiania (przy pewnej interpretacji) teoria klas; mniemania rachunek intencjonalny. Geometrię można uważać za teorię obszarów (przestrzeni), a rachunek kwantyfikatorów za teorię własności.

Elementarne relacje ontyczne 55 Przy formułowaniu definicji (D) i tez ontologicznych (7) 1 trzeba będzie poza specyficznymi predykatami ontologicznymi odwoływać się do języka rachunku propozycjonalnego (w szczególności do stałych negacji i koniukcji), do stałej to, że p, do języka rachunku modal nego (a w szczególności do stałej możliwe, że P) oraz do języka rachunku kwantyfikatorów. Dla uproszczenia posługiwać się będę potocznymi odpowiednikami wyrażeń języków formalnych. (Dl ) 1. Reizm, idealizm i somatyzm Rzecz = przedmiot mający jakąś własność, ale nie będący własnością. (71?) REIZM. Są tylko rzeczy. (D2) Quasi-przedm iot = coś, o czym ktoś tylko mniema, że jest przedmiotem. (72?) IDEALIZM. Są tylko quas i-przedmioty. (D3) Pi jest tożsamy z P2, gdy każdą własność W, którą posiada Pu posiada również P2 (D4) P 1jest różny od P2, gdy Pi nie jest tożsamy z P2. (.D5) Pi jest połączony z P2, gdy pewien kawałek P\ jest zarazem kawałkiem P 2. (D6) Przedmiot zw arty = przedmiot, którego każdy kawałek jest połączony z pewnym jego kawałkiem od niego różnym. (D l) Przedmiot wyodrębniony = przedmiot, który nie jest połączony z żadnym przedmiotem od niego różnym. (D8) Jednostka (vel indywiduum) = przedmiot zarazem zwarty i wyodrębniony. (73?) INDYWIDYZM. Są tylko jednostki. (D9) P\ jest podobny [pod względem U] do P 2, gdy zarówno pewna Wu którą ma Р ь jak i pewna W2, którą ma P2, uszczegóławiają [ten sam] U. (74) ANALOGIZM SUBSTANCJALNY. Są przedmioty do siebie podobne. (DIO) P] jest takożsamy z P2, gdy każdej Wu którą posiada Pi przez 7 odpowiada pewna W2, którą posiada P2 przez 7 taka, że zarówno W u jak i W2, uszczegóławiają [ten sam] U. (75) ULTRAANALOGIZM (vel INTEGRALNY ANALOGIZM) SUBSTANCJALNY Są przedmioty nietoisame ze sobą takoisame. (D li) Przedmiot szczelny (vel ciało) = przedmiot taki, że niemożliwe jest, aby znajdował się w danym miejscu przez dany okres i był przedmiot różny od niego, który znajdowałby się w tym samym miejscu i przez ten sam okres. (76?) SOMATYZM. Są tylko ciała. 2. Atomizm i realizm (D12) Przedmiot niepodzielny (vel cząsteczka) = przemiot nie zawierający żadnego [różnego od siebie] przedmiotu. 1 Tezy wyraźnie kontrowersyjne są opatrzone znakiem zapytania.

56 Jacek Juliusz Jadacki (D13) Świat = przedmiot zawierający każdy [różny od siebie] przedmiot. (Nb. definicja ta jest tymczasowa; ignoruje ona m.in. fakt, że częściami świata są jednostki.) (77) ATOMIZM SUBSTANCJALNY. Świat jest ziarnisty: są w nim (tylko?) cząsteczki. (D l4) Przedmiot przestrzenny = przedmiot tkwiący gdzieś. (D l5) Przedmiot powszechny = przedmiot tkwiący wszędzie. ( D l6) Przedmiot ograniczony = przedmiot przestrzenny, ale nie powszechny. ( D l7) Przedmiot czasowy = przedmiot trwający kiedyś. (D18) Przedmiot wiekuisty = przedmiot trwający zawsze. (D19) Przedmiot kruchy = przedmiot czasowy, ale nie wiekuisty. (D20) Przedmiot określony = przedmiot mający jakąś własność. (78) REALIZM SUBSTANCJALNY. Świat je st rzeczywisty: każdy przedmiot je st ograniczony, kruchy i określony. (T9) REALIZM ATRYBUTYWNY. Każdą własność kiedyś coś posiada. (D21) Przestrzeń = obszar zawierający każdy [różny od siebie] obszar. (D22) Miejsce = obszar nie zawierający żadnego [różnego od siebie] obszaru. (710) ATOMIZM SPACJALNY. Przestrzeń jest ziarnista: są w niej miejsca. (711) REALIZM SPACJALNY. Przestrzeń jest wypełniona: w każdym obszarze coś się kiedyś znajduje. (D23) Chwila = okres nie zawierający żadnego [różnego od siebie] okresu. (D24) Czas = okres zawierający każdy [różny od siebie] okres. (712) ATOMIZM TEMPORALNY. Czas jest ziarnisty: są w nim chwile. (713) REALIZM TEMPORALNY. Czas jest wypełniony: przez każdy okres coś się gdzieś znajduje. 3. Finityzm, teleologizm, relatywizm i wariabilizm (D25) 7) jest wcześniejszy od To, gdy T] poprzedza T2, lub 7] poprzedza T*, który poprzedza T2. (D26) 7[ jest późniejszy od T2, gdy T2 jest wcześniejszy od T\. (714) FINITYZM TEMPORALNY. Czas jest skończony: nieodwieczny (jest chwila wcześniejsza od wszystkich od niej różnych) i niewieczny (jest chwila, od której wszystkie od niej różne są wcześniejsze). (715) TELEOLOGIZM TEMPORALNY. Czas jest ukierunkowany: z każdych dwóch [różnych] chwil jedna jest wcześniejsza od drugiej. (D27) Pi współistnieje z P2, gdy Pi i P2 trwają przez ten sam 7. (D28) P i jest w teraźniejszości względem P2, gdy P\ współistnieje z P2. (D29) P\ jest w przeszłości/przyszłości względem P2, gdy P\/P2 trwa przez T\tT2, który jest wcześniejszy od T2/T\, przez który trwa P2/P\. (716?) RELATYWIZM TEMPORALNY. Nie ma absolutnej równoczesności: nie ma przedmiotów różnych od siebie, z których by jeden byt w teraźniejszości drugiego

Elementarne relacje ontyczne 57 (D30) P powstał, gdy P znajduje się w M przez 7, ale P nie znajdował się w żadnym miejscu przez żaden okres wcześniejszy od 7. (D 31) P zginął, gdy P znajdował się w M przez T, ale P nie znajduje się nigdzie przez żaden okres wcześniejszy od T. (Γ17) FINITYZM SUBSTANCJALNY Każdy przedmiot kiedyś powstał i kiedyś zginie. (Nb. jest to pewna wersja części tezy (78) realizmu substancjalnego, dotycząca kruchości przedmiotów.) (.032) P zm ienił W\ na W2, gdy P posiadał W przez T\,P posiada W2 przez T2, T\ jest wcześniejszy od T2, a nie ma takiego T żeby P posiadało [zarazem] Wj i W2 przez T. (718) WARIABILIZM. Każdy przedmiot się zmienia. (D33) P przem ieścił się z M\ na M2, gdy P znajdował się w M\ przez T\, P znajduje się w M2 przez T2, T\ jest wcześniejszy od T2, a nie ma takiego 7, żeby P znajdowało się [zarazem] w M i M2 przez 7. (719) MOBILIZM. Każdy przedmiot się przemieszcza. 4. Determinizm i kauzalizm ( >34) Pi wyznacza P2 [różnego od P\], gdy niemożliwe jest, aby P\ trwał przez 7, a nie ma okresu późniejszego od 7, przez który nie trwałoby P. (720) DETERMINIZM. Każdy przedmiot jest wyznaczony przez pewien inny ( różny od niego) przedmiot. (T l 1 ) ULTRADETERMINIZM (vel DETERMINIZM INTEGRALNY). Z każdych dwóch przedmiotów jeden wyznacza drugi. (D35) P$ przeszedł z P\ nad P2 gdy Pt, było kawałkiem P\ przez 7j, Pt, jest kawałkiem P2 przez T2, a nie ma takiego 7, żeby Pt, było (zarazem kawałkiem P\ i P2. (Nb. przechodzenie można też zdefiniować za pomocą przemieszczania się.) ( >36) P\ oddziałał na P2, gdy P3 przeszedł z Pi na P2. (D 'il) To, że P\ oddziałał na P2, jest przyczyną tego, że P2 się zmienił, gdy oddziaływanie P\ na P2 jest warunkiem koniecznym zmiany P2. (D38) To, że p, jest skutkiem tego, że q, gdy to, że q, jest przyczyną tego, że p. (722) KAUZALIZM. Każda zmiana ma swoją przyczynę. (723) UNIKAUZALIZM. Każda zmiana ma tylko jedną przyczynę. (724?) MONOKAUZALIZM. Wszystkie zmiany mają tę samą przyczynę. (725) EFEKTUAZLIM. Każde oddziaływanie ma swój skutek. (726) UNIEFEKTUALIZM. Każde oddziaływanie ma tylko jeden skutek. * * * Jak widać, za pomocą kilku pierwotnych predykatów ontologicznych i zdefiniowanych za ich pomocą predykatów pochodnych da się sformułować kilkadziesiąt ważnych tez ontologicznych.

58 Jacek Juliusz Jadacki Warto zaznaczyć, że z jednej strony nie jest to pełna lista tez możliwych do wyrażenia w zaproponowanym języku (bardzo łatwo np. uzupełnić ją o tezy uwikłane w spór o powszechniki tu: rodzaje); z drugiej zaś strony istotne rozszerzenie tej listy wymagałoby oczywiście wzbogacenia zbioru pierwotnych predykatów. Uważam, że warto prowadzić dalsze badania w obu kierunkach.