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

Podobne dokumenty
Zdzisław Augustynek Ewentyzm a punktyzm. Filozofia Nauki 1/1, 37-47

Zdzisław Augustynek Obiekty fizyczne. Filozofia Nauki 3/3, 5-17

ZDARZENIA, RZECZY, PROCESY [1975]

Dlaczego nie wystarczają liczby wymierne

Rachunek prawdopodobieństwa Rozdział 2. Aksjomatyczne ujęcie prawdopodobieństwa

Teoria automatów i języków formalnych. Określenie relacji

Relacje. opracował Maciej Grzesiak. 17 października 2011

ZALICZENIE WYKŁADU: 30.I.2019

Uzupełnienia dotyczące zbiorów uporządkowanych (3 lutego 2011).

Podstawy logiki i teorii mnogości Informatyka, I rok. Semestr letni 2013/14. Tomasz Połacik

Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności prawa a derywacyjne argumenty systemowe. Studenckie Zeszyty Naukowe 9/13, 84-87

Matematyka dyskretna. 1. Relacje

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

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

Konstrukcja liczb rzeczywistych przy pomocy ciągów Cauchy ego liczb wymiernych

ETAPY PROCESU BADAWCZEGO. wg Babińskiego

1 Zbiory. 1.1 Kiedy {a} = {b, c}? (tzn. podać warunki na a, b i c) 1.2 Udowodnić, że A {A} A =.

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

FUNKCJE LICZBOWE. Na zbiorze X określona jest funkcja f : X Y gdy dowolnemu punktowi x X przyporządkowany jest punkt f(x) Y.

Relacje. 1 Iloczyn kartezjański. 2 Własności relacji

POSTANOWIENIE. Pierwszy Prezes SN Małgorzata Gersdorf

domykanie relacji, relacja równoważności, rozkłady zbiorów

Uchwała z dnia 23 lipca 2004 r., III CZP 34/04

Uchwała z dnia 4 sierpnia 2006 r., III CZP 51/06

Rozważmy funkcję f : X Y. Dla dowolnego zbioru A X określamy. Dla dowolnego zbioru B Y określamy jego przeciwobraz:

II. FUNKCJE WIELU ZMIENNYCH

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

Dopuszczalność skanu oferty w postępowaniu o zamówienie publiczne

POSTANOWIENIE. SSN Małgorzata Wrębiakowska-Marzec

FUNKCJE. (odwzorowania) Funkcje 1

020 Liczby rzeczywiste


Spis treści. Definicje prawdopodobieństwa. Częstościowa definicja prawdopodobieństwa. Wnioskowanie_Statystyczne_-_wykład

Zagadnienia: 1. Definicje porządku słabego i silnego. 2. Elementy minimalne, maksymalne, kresy, etc.

Gilsonowska metoda historii filozofii. Artur Andrzejuk

Relacje. Relacje / strona 1 z 18

Zbiory, relacje i funkcje

R n = {(x 1, x 2,..., x n ): x i R, i {1,2,...,n} },

Wstęp do Techniki Cyfrowej... Teoria automatów

Poszukiwanie formy. 1) Dopuszczalne przemieszczenie pionowe dla kombinacji SGU Ciężar własny + L1 wynosi 40mm (1/500 rozpiętości)

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Podmioty na prawach strony w postępowaniu administracyjnym.

znalezienia elementu w zbiorze, gdy w nim jest; dołączenia nowego elementu w odpowiednie miejsce, aby zbiór pozostał nadal uporządkowany.

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

1. Definicja zamówienia tego samego rodzaju na gruncie prawa zamówień publicznych

Dlaczego poprawki do projektu ustawy o Sądzie Najwyższym niczego nie zmieniają?

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

Uchwała z dnia 21 lipca 2010 r., III CZP 23/10

Udostępnianie przez podmiot trzeci zasobów w postaci wiedzy i doświadczenia

Wyrok Trybunału Konstytucyjnego z 10 lipca 2014 r. w sprawie obwodów łowieckich.

Mariusz Grygianiec Genidentyczność a metafizyka persystencji : endurantyzm, perdurantyzm i eksdurantyzm. Filozofia Nauki 13/2,

Systemy baz danych. Notatki z wykładu

Pokazać, że wyżej zdefiniowana struktura algebraiczna jest przestrzenią wektorową nad ciałem

Wyrok z dnia 24 maja 2002 r., II CKN 892/00

Szacowanie wartości i udzielanie zamówień objętych projektem współfinansowanym ze środków Unii Europejskiej.

Scenariusz zajęć z matematyki dla klasy I gimnazjum z wykorzystaniem programu edurom Matematyka G1

EGZAMIN MATURALNY 2010 FILOZOFIA

1. Funkcje monotoniczne, wahanie funkcji.

Przeniesienie a ustanowienie prawa do działki w ROD. 1. Wstęp

Biuro Prawne Warszawa, dnia 1 lipca 2011 r. Centralne Biuro Antykorupcyjne

W

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

EGZAMIN MATURALNY 2011 FILOZOFIA

LX Olimpiada Matematyczna

POSTANOWIENIE Dnia 8 sierpnia 2012 r.

Logika. Zadanie 4. Sprawdź, czy poniższe funkcje zdaniowe są tautologiami: i) (p q) = ( p q), ii) (p = q) ( p q). Rozwiązanie.

Zasady pisania prac dyplomowych

Wyszukiwanie binarne

Luty 2001 Algorytmy (4) 2000/2001

Uchwała z dnia 10 stycznia 2007 r. III PZP 6/06

Postanowienie z dnia 2 grudnia 2009 r., I CSK 140/09

Filozofia, Historia, Wykład IX - Filozofia Kartezjusza

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

Zbiory liczbowe widziane oczami topologa

Aproksymacja funkcji a regresja symboliczna

POSTANOWIENIE. SSN Anna Kozłowska (przewodniczący) SSN Marian Kocon (sprawozdawca) SSN Katarzyna Tyczka-Rote. Protokolant Katarzyna Bartczak

Wojewódzki Sąd Administracyjny w Lublinie ul. Marii Curie Skłodowskiej Lublin

(4) x (y z) = (x y) (x z), x (y z) = (x y) (x z), (3) x (x y) = x, x (x y) = x, (2) x 0 = x, x 1 = x

UCHWAŁA. Protokolant Katarzyna Bartczak

Twierdzenie spektralne

POSTANOWIENIE. w sprawie z powództwa L. Okręgowej Izby Inżynierów Budownictwa. przeciwko Polskiej Izbie Inżynierów Budownictwa z siedzibą w W.

Wspólnotowy znak towarowy Postępowanie w sprawie sprzeciwu Uchylenie zaskarżonej decyzji Następcza bezprzedmiotowość sporu Umorzenie postępowania

Tomasz Dreinert Zagadnienie "rzeczy samej w sobie" w transcendentalizmie Immanuela Kanta. Pisma Humanistyczne 3,

Trybunał Sprawiedliwości orzekł, że dyrektywa w sprawie zatrzymywania danych jest nieważna

Podstawą w systemie dwójkowym jest liczba 2 a w systemie dziesiętnym liczba 10.

Warsztat z kampanii społecznej dla uczniów i uczennic - uczestników kursu internetowego Nienawiść. Jestem Przeciw!

Optymalizacja konstrukcji

w składzie: J.C. Bonichot (sprawozdawca), prezes izby, A. Arabadjiev i J.L. da Cruz Vilaça, sędziowie,

OPTYMALIZACJA HARMONOGRAMOWANIA MONTAŻU SAMOCHODÓW Z ZASTOSOWANIEM PROGRAMOWANIA W LOGICE Z OGRANICZENIAMI

Kauzalna teoria czasu Henryka Mehlberga

OPINIA PRAWNA. zapytanie Zleceniodawcy

Podstawy teoretyczne na egzamin z MMFiA II.

W ostatnim czasie zapadły dwa bardzo ważne wyroki w sprawie faktur VAT.

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej

Uchwała z dnia 11 października 2001 r., III CZP 45/01

Nazwa metodologia nauki etymologicznie i dosłownie znaczy tyle, co nauka o metodach badań.

BOGDAN ZARĘBSKI ZASTOSOWANIE ZASADY ABSTRAKCJI DO KONSTRUKCJI LICZB CAŁKOWITYCH

Pan. Zwracam się do Pana Ministra w sprawie sytuacji osób niepełnosprawnych, na których

Uchwała z dnia 17 lutego 2004 r., III CZP 118/03

Symbol, alfabet, łańcuch

Transkrypt:

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

Filozofia Nauki Rok XIX, 2011, Nr 1(73) Ewentystyczna definicja rzeczy w świetle argumentu Adriana Kuźniara 0. W kilku naszych tekstach 1 poszukiwaliśmy przekonujących argumentów przeciwko ewentyzmowi punktowemu Zdzisława Augustynka. Wysiłki te zakończyły się jedynie ograniczonym sukcesem, nie udało się nam bowiem znaleźć żadnego zniewalającego argumentu przeciw wspomnianej koncepcji. Obecnie w sukurs przychodzą nam analizy Adriana Kuźniara, który zechciał się nimi podzielić w prywatnych rozmowach. Z jakichś powodów Kuźniar nie uznał za stosowne, by swoje wyniki ogłosić w druku. Niniejszy artykuł jest ich upublicznieniem; uważamy bowiem, że analizy Kuźniara domagają się wyświetlenia ze względu na ich doniosłość. Dodajmy od razu, że Kuźniar nie ponosi żadnej odpowiedzialności za przedstawione poniżej rekonstrukcje jego wywodów. 1. Argument Kuźniara dotyczy definicji rzeczy sformułowanej przez Augustynka w artykule Ewentyzm punktowy. Przytoczmy tę definicję: a {a T [a S a a (Ec Ep) a Cn a Cc]}. Rzecz jest tu niepustym zbiorem zdarzeń, który jest czasowo i przestrzennie rozciągły, czasowo ciągły i kauzalnie zwarty 2. Definiens tej definicji wymaga krótkich 1 Zob. M. Grygianiec, Analiza krytyczna pojęcia rzeczy w ontologii ewentyzmu punktowego, Przegląd Filozoficzny Nowa Seria 1(2005), s. 107-120; tegoż, Przeciw ewentyzmowi punktowemu. W hołdzie Prof. Zdzisławowi Augustynkowi, Filozofia Nauki 4(2006), s. 35-48; tegoż, Simultaneity, Transitivity, and the Punctual Nature of Events, [w:] J. Odrowąż-Sypniewska, (red.), Logic, Methodology and Philosophy of Science at Warsaw University, t. IV, Semper, Warszawa 2008, s. 74-83. 2 Zob. Z. Augustynek, Ewentyzm punktowy, [w:] tegoż, Czasoprzestrzeń. Eseje filozoficzne, WFiS UW, Warszawa 1997, s. 177.

54 komentarzy. Po pierwsze, według ewentyzmu punktowego każdy przedmiot empiryczny jest albo zdarzeniem punktowym, albo zbiorem mnogościowym ufundowanym w zdarzeniach punktowych. 3 Ponieważ rzecz nie jest zdarzeniem punktowym, jako przedmiot empiryczny musi być zbiorem ufundowanym w takich zdarzeniach. Rzeczy są więc, po pierwsze, niepustymi podzbiorami zbioru wszystkich zdarzeń punktowych S. Po drugie, rzeczy są rozciągłe czasowo Ec i przestrzennie Ep. Zbiór zdarzeń będący rzeczą jest czasowo rozciągły, gdy co najmniej jakieś dwa zdarzenia należące do tej rzeczy są czasowo odseparowane. Rzecz zaś jest przestrzennie rozciągła, gdy przynajmniej dwa zdarzenia quasi-równoczesne należące do tej rzeczy są przestrzennie odseparowane. Po trzecie, rzeczy są czasowo ciągłe, co znaczy, że jako zbiory zdarzeń są uporządkowane przez relację W (wcześniejszości), a żaden ich przekrój w sensie Dedekinda nie jest ani skokiem, ani luką. Czasowa ciągłość jest tu warunkiem koniecznym identyczności rzeczy w czasie (identyczności genetycznej). Po czwarte wreszcie, rzeczy są kauzalnie zwartymi zbiorami zdarzeń, gdy wszystkie odseparowane czasowo zdarzenia należące do tej rzeczy są kauzalnie powiązane. Relacje czasowe i przestrzenne (quasi-równoczesności, wcześniejszości, separacji czasowej i przestrzennej), uwikłane w ewentystyczną definicję rzeczy, są pojęte jako relacje relatywistycznie absolutne. 2. Zdziwienie może budzić okoliczność, że dotąd nikt nie dostrzegł pewnej zasadniczej trudności tkwiącej w przytoczonej wyżej definicji. Argument Kuźniara wykorzystuje ową trudność. Wywód Kuźniara jest przy tym niezwykle prosty, a przebiega następująco. Ponieważ ex definitione rzeczy są takimi zbiorami zdarzeń, które są czasowo ciągłe i przestrzennie rozciągłe, a żaden zbiór zdarzeń nie może spełnić obu warunków naraz, to żaden zbiór zdarzeń nie może być rzeczą zgodnie z ukutą definicją. Według Kuźniara zachodzi zatem kolizja pomiędzy warunkami Ep i Cn. Polega ona na tym, że relacja W, użyta do zdefiniowania Cn, jest co prawda częściowym porządkiem, ale nie jest porządkiem liniowym, gdyż nie spełnia warunku spójności. Przypomnijmy, że relacja W zachodzi pomiędzy zdarzeniami. Definicja rozciągłości przestrzennej zbioru zdarzeń na gruncie koncepcji Augustynka ma kształt następujący: X Ep df x X y X [R(x,y) L (x,y)]. Z kolei, aby uprzystępnić wysłowioną wcześniej definicję czasowej ciągłości, należy przytoczyć pojęcie przekroju w sensie Dedekinda. Przekrojem zbioru X w sensie Dedekinda w porządku liniowym (X, <) jest taka para zbiorów (A,B), co do której zakłada się, że A X i B X, i która spełnia nadto następujące warunki: (1) A ; (2) B ; (3) A B = X; (4) x y {(x A y B) x < y}. 3 Por. Z. Augustynek, J. J. Jadacki, Possible ontologies, Rodopi, Amsterdam (Atlanta) 1993, s. 21.

Ewentystyczna definicja rzeczy w świetle argumentu Adriana Kuźniara 55 Porządek liniowy jest tym porządkiem częściowym, który dodatkowo spełnia warunek spójności. Gdyby zatem jakaś relacja S była porządkiem liniowym w jakimś zbiorze zdarzeń X, musiałoby zachodzić, co następuje: (i) (ii) (iii) (iv) x,y X [S(x,y) S(y,x)]. Przy powyższej definicji mogłyby zajść teoretycznie następujące wypadki: zbiór A zawierałby element największy, a zbiór B miałby element najmniejszy; zbiór A posiadałby element największy, ale w zbiorze B nie byłoby elementu najmniejszego; w zbiorze A nie byłoby elementu największego, ale zbiór B zawierałby element najmniejszy; ani zbiór A nie posiadałby elementu największego, ani zbiór B nie zawierałby elementu najmniejszego. Przekrój (A,B) wyznaczałby skok w wypadku (i), w wypadku zaś (iv) lukę. Widać wyraźnie, że gdyby jakiś zbiór zdarzeń miał być czasowo ciągły w wyeksplikowanym przez Augustynka sensie, relacja porządkująca ten zbiór musiałaby być porządkiem liniowym. Jednakże preferowana przez Augustynka relacja W nie może być takim porządkiem, gdyż w obliczu rozciągłości przestrzennej dowolnego zbioru zdarzeń możemy mieć zawsze do czynienia z taką parą zdarzeń, która umknie warunkowi spójności. Gdyby relacja W zachodziła pomiędzy momentami, udałoby się w oparciu o nią uzyskać wymagany porządek. Udałoby się go również uzyskać w zbiorze zdarzeń, ale jedynie za cenę przyjęcia nierozciągłości przestrzennej owego zbioru (co Augustynek wykorzystuje zresztą w definicji procesów). Jeżeli jednak przyjmuje się przestrzenną rozciągłość zbioru zdarzeń (tu: rzeczy), to nie można uważać, że relacja W będzie liniowo porządkowała ten zbiór. Bez liniowego porządku natomiast nie będziemy dysponowali przekrojami w sensie Dedekinda, a co za tym idzie nie będziemy mogli uznać, że rzeczy są czasowo ciągłe w zdefiniowanym powyżej sensie. 3. Mamy zatem następującą sytuację. Albo dany zbiór zdarzeń jest czasowo ciągły (w zdefiniowanym przez Augustynka sensie), ale wtedy nie może być przestrzennie rozciągły, albo jest przestrzennie rozciągły, jednak w takim wypadku nie może być on czasowo ciągły. Powyższa sytuacja wskazuje wyraźnie, że żaden zbiór zdarzeń nie może spełnić ewentystycznej definicji rzeczy. Według naszego mniemania przytoczony argument Kuźniara jest zniewalający. Należy przy tym wyraźnie zaznaczyć, że po pierwsze argument ten dotyka definicji rzeczy przy przyjętych przez Augustynka eksplikacjach uwikłanych w niej terminów, oraz po drugie zaś że nie obala on, co oczywista, ewentyzmu punktowego in toto. Augustynek, jak się zdaje, był świadom omawianej trudności, ale ją ignorował. Pomijanie wymogu liniowości względem W i traktowanie rzeczy jak procesów na-

56 zywał on dopuszczalną schematyzacją. 4 Nie są nam znane jakieś szersze wyjaśnienia tego kroku na gruncie ewentyzmu punktowego. Wydaje się jednak, że dwa względy przemawiały za wspomnianą schematyzacją. Po pierwsze, Augustynek pragnął dzięki niej zachować przejrzystość logiczną własnych rekonstrukcji, po drugie zaś, przyjęta przezeń schematyzacja ściśle korespondowała z monistyczno-ewentystycznym wydźwiękiem innych jego ujęć, w obrębie których zacierała się różnica kategorialna pomiędzy rzeczami z jednej strony a procesami i innymi obiektami materialnymi z drugiej. 4. Nasuwa się pytanie, czy trudności wykazanej przez Kuźniara nie dałoby się uniknąć. Wydaje nam się, że jest to możliwe. Na pierwszy rzut oka rysują się tu następujące możliwości. Po pierwsze, można po prostu zrezygnować z definicji rzeczy. Byłoby to rozwiązanie, które do pewnego czasu faworyzował sam Augustynek, traktując inkryminowane pojęcie jako pojęcie pierwotne. Po drugie, można byłoby pokusić się o zdefiniowanie ciągłości czasowej zbioru zdarzeń w sposób nieangażujący wymogu liniowości względem relacji W. Czasowa ciągłość zbioru zdarzeń powinna być w takim wypadku potraktowana liberalniej. Być może udałoby się taką definicję uzyskać poprzez niezorientowaną relację separacji czasowej oraz dopuszczenie skoków przy jednoczesnym wykluczeniu luk w sensie Dedekinda 5. Po trzecie, można ciągłość czasową zdefiniować w oparciu o relację W zachodzącą pomiędzy momentami, w których dany zbiór zdarzeń (rzecz) trwa. Definicja taka byłaby nieco skomplikowana, ale nie niemożliwa. 6 Po czwarte, można byłoby zastąpić definicję podaną przez Augustynka przez definicję zaproponowaną przez nas, a opartą na pojęciu genidentyczności. W takim wypadku wykorzystałoby się pojęcie przekroju czasowego dowolnego zbioru zdarzeń, przyjęłoby się wybraną definicję aksjomatyczną genidentyczności (G) pomiędzy przekrojami (q), a następnie zdefiniowałoby się rzeczy (a) jako klasy abstrakcji od relacji genidentyczności w zbiorze wszystkich przekrojów (Cr): a [a T q Cr (a = q G )]. 4 Zob. Z. Augustynek, Ewentyzm punktowy, s. 177. 5 Według Kuźniara nie byłoby to jednak właściwe postawienie sprawy. Według niego, jeśli rezygnujemy z wymogu uporządkowania liniowego, a w ten sposób z przekrojów Dedekinda, to automatycznie tracimy możliwość posługiwania się pojęciami luki i skoku te ostatnie są bowiem wyznaczane przez przekroje; jeśli nie mamy przekrojów, to nie mamy ani luk, ani skoków w sensie Dedekinda. 6 Mogłaby ona przybrać np. kształt następujący: zbiór zdarzeń X jest czasowo ciągły, gdy spełnione są następujące warunki: (i) istnieje taki zbiór momentów Y, że każde zdarzenie należące do X, należy do jakiegoś momentu ze zbioru Y; (ii) zbiór Y jest liniowo uporządkowany przez relację W; (iii) żaden przekrój zbioru Y nie jest skokiem ani luką (w sensie Dedekinda).