Garetha Evansa modalny argument przeciwko referencyjnemu charakterowi deskrypcji *
|
|
- Kazimierz Marczak
- 7 lat temu
- Przeglądów:
Transkrypt
1 Tadeusz Ciecierski Garetha Evansa modalny argument przeciwko referencyjnemu charakterowi deskrypcji * Abastract: Gareth Evans Argument against the Referential Status of Definite Descriptions. In his posthumously published book The Varieties of Reference Gareth Evans presented an argument for the Russellian claim that definite descriptions, unlike proper names and indexicals, are non-referring expressions that should be interpreted as quantifiers. Roughly speaking the argumentation consists in showing that taking definite descriptions as referring expressions, though formally possible, results in unnecessary complications for semantics of all singular terms. The paper is devoted to the analysis of Evans argument. In its first part I provide a detailed description of Evans reasoning. The second part of the paper concerns various objections that could be raised against the argument and its conclusion. First of all, I deny the claim that the power of the argument is limited to modal languages and modal contexts. Second of all, I address the problem of interpreting complex singular terms (i.e. singular terms containing functional symbols) in formalized languages by defending the thesis that they also should be analyzed as non-referring expressions (in this context I owe a lot to Max Cresswell s analyses presented in his 1975 paper Identity and Intensional Objects ). Finally, I discuss the relations between Evans claim and the well-known distinction between referential and attributive uses of definite descriptions. The paper had its continuation in the subsequent discussion with Andrzej Biłat and Mieszko Tałasiewicz. During the discussion other problems were raised and discussed, e.g. the question about the relation between notions of semantic category and syntactic category. Prowadząc dociekania nad semiotycznymi właściwościami języka, interesujemy się przede wszystkim tym, jakie funkcje semiotyczne przysługują danej klasie wyrażeń (oraz jaka jest natura tych funkcji). Niektóre z takich funkcji cechują się tym, że przysługują wyrażeniom więcej niż jednej kategorii gramatycznej, inne tym, że ograniczają się do tylko jednej kategorii. Oto przykładowo uznajemy tylko zdania, natomiast zarówno zdania, jak i nazwy (nieindywidualne) coś znaczą. Pierwszy typ właściwości wyrażeń semiotycznych możemy określić mianem transsemiotycznych, drugi intrasemiotycznych. Niektóre własności wyrażeń trudno jest z całą stanowczością zaliczyć do jednego ze wspomnianych typów. Przykładem może być tu funkcja oznaczania, która zdaniem niektórych przysługuje tylko predykatom, zdaniem innych predykatom oraz nazwom o intencji * The source of publication: Garetha Evansa argument przeciwko referencyjnemu charakterowi deskrypcji/gareth Evans Argument against the Referential Status of Definite Descriptions, [in:] Biblioteka Myśli Semiotycznej, vol. 51: Deskrypcje i prawda (Descriptions and Truth), Jerzy Pelc (ed.); Warszawa 2010,
2 jednostkowej, a według niektórych również zdaniom. Jeśli nie traktujemy kwestii tego typu jako zagadnień czysto terminologicznych, możemy zastanawiać się nad argumentami, które wspierać będą tezę o transemiotycznym lub intrasemiotycznym charakterze określonej właściwości semiotycznej. Jedna z takich trudnych do rozstrzygnięcia kwestii dotyczy semantycznej funkcji referencji oraz klasy wyrażeń określanych mianem deskrypcji określonych (które występują powszechnie w językach naturalnych, mogą też zostać wprowadzone do języków sformalizowanych, np. do języka matematyki). Poniżej omówię argument, który przemawia na rzecz tezy, że deskrypcje określone nie mają funkcji referencji, oraz że w związku z tym nie należą do tej samej kategorii semantycznej, co nazwy własne oraz nazwy okazjonalne. Argument, o którym mowa, został sformułowany przez Garetha Evansa i ukazał się w opublikowanej pośmiertnie (niestety niedokończonej) książce, którą redaktorzy zatytułowali The Varieties of Reference (Evans [1982], argument przedstawiony jest na stronach 51-60). Argument Evansa 1 Intuicyjny pogląd na naturę deskrypcji określonych zalicza te wyrażenia do klasy nazw i określa, że są one nazwami generalnymi o intencji jednostkowej [a zatem: (i) w intencji kompetentnego użytkownika języka odnoszą się do dokładnie jednego przedmiotu; (ii) robią to poprzez przypisanie temu przedmiotowi pewnych cech cech składających się na treść opisową deskrypcji].. W tym sensie deskrypcjami określonymi są następujące wyrażenia 2 : autor Paradoksów nieskończoności, człowiek, który odkrył prawa ruchu planet, najniższa kobieta w Malezji, (Des x)(2 x = 8). Pierwsze trzy należą do klasy poprawnie zbudowanych wyrażeń języka polskiego, czwarte do wzbogaconego o operator deskrypcji języka arytmetyki. Zgodnie z intuicyjnym poglądem dwa pierwsze wyrażenia są odpowiednio nazwami Bernarda Bolzana i Johannesa Keplera, trzecie nazywa jakąś mieszkankę Malezji (bliżej nam nieznaną), czwarte liczbę naturalną 3. Na gruncie tego intuicyjnego poglądu można zatem powiedzieć, że każde z 1 Czytelnicy wcześniejszych wersj itego tekstu zwrócili mi uwagę, że niejasne jest, gdzie znajdują się analizy samego Evansa, a gdzie autorskie ich przedstawienie. Wyjaśniam, że poniższe przykłady i ich analizy pochodzą ode mnie. 2 Za Carnapem będziemy zamiast jota-operatora używać symbolu Des. 2
3 tych wyrażeń odnosi się do wspomnianych przedmiotów, oraz że wyrażenia te pełnią funkcję referencyjną. Temu intuicyjnemu poglądowi przeciwstawić można stanowisko, które jako pierwszy sformułował Russell. Zgodnie z nim deskrypcje określone są tylko pozornie wyrażeniami mającymi funkcję referencji. W rzeczywistości są wyrażeniami niesamodzielnymi, które rozpatrywać trzeba zawsze w kontekście zdania, a których można się pozbyć, jeśli zastosuje się jakąś metodę eliminacji kontekstowej. Metodą tą może być (choć nie musi) znany sposób parafrazy zaproponowany przez Russella. Teorie deskrypcji zazwyczaj przybierały jedną z tych dwóch postaci opowiadały się albo po stronie poglądu intuicyjnego, albo po stronie stanowiska eliminatywistycznego. Gdy np. w latach czterdziestych Carnap omawiał różne podejścia do zagadnienia deskrypcji, przeciwstawiał podejście Russella dwóm sposobom traktowania deskrypcji przez Fregego 3. Sam Carnap opowiadał się we wspomnianej pracy za podejściem Fregego nie motywował jednak swojego wyboru względami teoretycznymi, ale praktycznymi. Podejście intuicyjne przemawiało do niego swoją prostotą. Jednocześnie w innych pracach z tego okresu przyjmował podejście Russella 4.. W ostatnim czasie bardzo interesującą próbę analizy stanowiska intuicyjnego podjęła się na gruncie polskim Justyna Grudzińska (Grudzińska [2007]). Powstaje naturalnie pytanie: jakie racje przemawiają na rzecz poglądu intuicyjnego, a jakie na rzecz stanowiska eliminatywistycznego. W dyskusji nad tym zagadnieniem rozważyć możemy następujące rozumowanie. Niektóre wyrażenia językowe są wzorcem wyrażeń mających funkcję referencji jak wspominaliśmy są to nazwy własne oraz nazwy okazjonalne (użyte w pewnych okolicznościach). Przez relację referencji rozumieć będziemy tu relację, której wkład w analizę warunków prawdziwości zdań atomowych oddać można w formule o postaci: (W) Zdanie zbudowane z predykatu k-argumentowego P oraz nazw n 1... n k jest prawdziwe wtedy i tylko wtedy, gdy <odniesienie n 1... odniesienie n k > spełnia predykat P. 3 Carnap [1964], s Carnap omawiał także bardzo szczególne stanowisko Bernaysa i Hilberta, które jednak ze względu na jego specyfikę możemy tu pominąć. 4 Carnap [1958], s
4 (warunek ten potraktować można jak kontekstową definicję relacji referencji). Rozważmy teraz następujące trzy zdania: [1] Tony Blair jest śpiewaczką operową. [2] (Ja) jestem śpiewaczką operową.. [Wygłoszone przez Tony ego Blaira]. [3] Premier Wielkiej Brytanii w 2004 roku jest śpiewaczką operową. Jeśli założymy, że wyrażenia stanowiące podmiot tych zdań mają należeć do wyrażeń wyposażonych w funkcję referencji, zdaniom tym odpowiadać będą następujące warunki prawdziwości: [1] Zdanie zbudowane z predykatu jest śpiewaczką operową oraz nazwy Tony Blair jest prawdziwe wtedy i tylko wtedy, gdy odniesienie Tony Blair spełnia predykat jest śpiewaczką operową. [2] Zdanie zbudowane z predykatu jest śpiewaczką operową oraz nazwy ja (wygłoszonej przez Tony ego Blaira) jest prawdziwe wtedy i tylko wtedy, gdy odniesienie ja (wygłoszone przez Tony ego Blaira) spełnia predykat jest śpiewaczką operową. [3] Zdanie zbudowane z predykatu jest śpiewaczką operową oraz nazwy premier Wielkiej Brytanii w 2004 roku jest prawdziwe wtedy i tylko wtedy, gdy odniesienie premier Wielkiej Brytanii w 2004 roku spełnia predykat jest śpiewaczką operową. Na pierwszy rzut oka wydaje się, że wszystkie powyższe sformułowania dobrze pokazują warunki prawdziwości zdań [1]-[3], i że w związku z tym adekwatnie przedstawiają wkład 4
5 podmiotów w warunki prawdziwości tychże (a zatem przemawiają na rzecz uznania deskrypcji za wyrażenia referencyjne). Rozpatrzmy jednak sytuację, w której rozważamy nie zdania [1], [2] i [3], lecz ich modalne odpowiedniki: [4] Tony Blair mógłby być śpiewaczką operową.. [5] (Ja) mógłbym być śpiewaczką operową.. [Wygłoszone przez Tony ego Blaira]. [6] Premier Wielkiej Brytanii w 2004 roku mógłby być śpiewaczką operową. Zgodnie ze standardową semantyką modalną, aby interpretować takie zdania musimy zarówno prawdziwość, jak i spełnianie relatywizować do świata możliwego. Nasza klauzula (W) przybiera po tej drobnej zmianie postać następującą: (W) Zdanie zbudowane z predykatu k-argumentowego P oraz nazw n 1... n k jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy <odniesienie n 1... odniesienie n k > spełnia w świecie możliwym w predykat P. Ponadto przy interpretacji zdań modalnych potrzebujemy warunku interpretacji zdań modalnych. Warunek taki ma postać następującą: (M) Zdanie zbudowane z wyrażenia jest możliwe, że oraz zdania Z jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że: (i) v jest dostępny z w; (ii) Z jest prawdziwe w v. Po zastosowaniu (M) do zdań [4], [5], [6] otrzymamy następujące opisy warunków prawdziwości tych zdań: [4] Zdanie zbudowane z wyrażenia jest możliwe, że oraz zdania Tony Blair jest śpiewaczką operową jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy istnieje świat 5
6 możliwy v, taki, że: (i) v jest dostępny z w; (ii) Tony Blair jest śpiewaczką operową jest prawdziwe w v. [5] Zdanie zbudowane z wyrażenia jest możliwe, że oraz zdania Ja jestem śpiewaczką operową (wygłoszonego przez Tony ego Blaira) jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że (i) v jest dostępny z w; (ii) Ja jestem śpiewaczką operową (wygłoszonego przez Tony ego Blaira) jest prawdziwe w v. [6] Zdanie zbudowane z wyrażenia jest możliwe, że oraz zdania premier Wielkiej Brytanii w 2004 roku jest śpiewaczką operową jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że: (i) v jest dostępny z w; (ii) premier Wielkiej Brytanii w 2004 roku jest śpiewaczką operową jest prawdziwe w v. Warunek (ii) możemy oczywiście rozpisać zgodnie z (W) : [4] (ii) odniesienie Tony Blair operową. spełnia w świecie możliwym v predykat jest śpiewaczką [5] (ii) odniesienie ja predykat jest śpiewaczką operową. (wygłoszonego przez Tony ego Blaira) spełnia w świecie możliwym v [6] (ii) odniesienie premier Wielkiej Brytanii w 2004 roku predykat jest śpiewaczką operową. spełnia w świecie możliwym v Zauważmy teraz, że o ile warunki [4] i [5] nie wydają się problematyczne, o tyle warunek [6] zakłada tylko jedną z możliwych interpretacji zdania [6] taką, w której mowa jest o tym, że Tony Blair (premier Wielkiej Brytanii w 2004 roku w świecie rzeczywistym) jest śpiewaczką operową w świecie v (można nazwać tę interpretację odczytaniem de re ). W drugim możliwym odczytaniu (które nazwać możemy odczytaniem de dicto ) rozważamy sytuację, w której premier Wielkiej Brytanii w roku 2004 w świecie v jest śpiewaczką operową.. 6
7 Warunek (W) możemy zmodyfikować w taki sposób, aby otrzymać drugie z odczytań. Aby było to możliwe, musimy poza prawdziwością oraz spełnianiem relatywizować do świata możliwego także funkcję referencji. (W) Zdanie zbudowane z predykatu k-argumentowego P oraz nazw n 1... n k jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy <odniesienie-w-świecie-w n 1... odniesieniew-świecie-w n k > spełnia w świecie możliwym w predykat P. Interpretacja de re ma wówczas postać: [6] Zdanie zbudowane z wyrażenia jest możliwe, że oraz zdania premier Wielkiej Brytanii w 2004 roku jest śpiewaczką operową jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że (i) v jest dostępny z w; (ii) odniesienie-w-świecie-w premier Wielkiej Brytanii w 2004 roku spełnia w świecie możliwym v predykat jest śpiewaczką operową. Natomiast interpretacja de dicto przybiera postać: [6] Zdanie zbudowane z wyrażenia jest możliwe, że oraz zdania premier Wielkiej Brytanii w 2004 roku jest śpiewaczką operową jest prawdziwe w świecie możliwym w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że (i) v jest dostępny z w; (ii) odniesienie-w-świecie-v premier Wielkiej Brytanii w 2004 roku spełnia w świecie możliwym v predykat jest śpiewaczką operową. Pozornie uporaliśmy się z tym problemem.. Tak jednak nie jest. Jeśli bowiem zaczynamy relatywizować relację referencji do świata możliwego, to musimy ją relatywizować nie tylko w wypadkach, takich jak [3] i [6], lecz także w sytuacjach takich jak [1] i [4] oraz [2] i [5]. To jednak jest niepotrzebne: ani nazwy własne, ani nazwy okazjonalne nie generują w kontekstach modalnych żadnych wieloznaczności. Nie potrzebujemy w ich wypadku relatywizować relacji referencji. Co więcej: warunki prawdziwości, które można byłoby opisać w ich wypadku, 7
8 używając odczytania de dicto, są z całą pewnością nieadekwatne 5. Krótko mówiąc: to, że wyrażenia dwóch typów pełniące taką samą funkcję składniową różnią się tym, że umieszczenie ich w tym samym kontekście w jednym wypadku umożliwia dwa odczytania, a w drugim tylko jedno, przemawia za tym, aby nie uznawać tych wyrażeń za należące do tej samej kategorii semantycznej. Evans podsumowuje ten prosty argument w sposób następujący: Jeśli zaliczymy zatem deskrypcje do klasy wyrażeń referencyjnych, jesteśmy zmuszeni do opisu zachowania wszystkich elementów tej kategorii w terminach relacji Odnosi-się-do w,t, (t, x) [nasza niezrelatywizowana relacja referencji przyp. TC], a nie w terminach prostej relacji Odnosi-się-do (t, x) [nasza zrelatywizowana relacja referencji przyp. TC], która jeśli przyjmiemy stanowisko przeciwne jest całkowicie wystarczająca. Nie jest to rozstrzygający argument przeciwko uważaniu deskrypcji za wyrażenia referencyjne, ale silnie przemawiający na rzecz tego, że kategoria, która byłaby wynikiem zaliczenia deskrypcji w poczet wyrażeń referencyjnych, może nie odpowiadać żadnemu semantycznemu rodzajowi naturalnemu.. (Evans [1982], s ) Jak wynika z zacytowanego fragmentu, celem argumentu nie jest pokazanie, że nie sposób zbudować teorii wyrażeń deskrypcyjnych jako wyrażeń referencyjnych (takie formalne teorie były budowane już w latach sześćdziesiątych, m.in. przez Stalnakera i Thomasona zob. Stalnaker, Thomason [1968]), ale raczej uświadomienie, że zbudowanie takiej teorii nie będzie faktycznie świadczyć o funkcjonowania deskrypcji w języku naturalnym (a być może także w języku nauki). Można powiedzieć, że tak zbudowana teoria przypominałaby koncepcje, które traktują czas gramatyczny w sposób ekstensjonalny tzn. uznają, że na przykład w kontekście operatora czasu przeszłego zdania równoważne są podstawialne salva veritate. Teoria taka na pewno nie byłaby teorią czasów gramatycznych. Dodajmy na koniec, że Evans podejmuje próbę wzmocnienia swojego argumentu przez wskazanie na to, że podejście alternatywne nie jest źródłem podobnych problemów. Nie trudno chyba odkryć przyczynę tej sytuacji: jeśli deskrypcje są kwantyfikatorami, ich semantyka opiera się na pojęciu spełniania, które oczywiście jest relatywizowane do świata możliwego. Ogólnie rzecz biorąc, zdanie deskrypcyjne można interpretować w sposób następujący: 5 Najlepiej widać to w wypadku nazw okazjonalnych szczegółowe uzasadnienie tej tezy można znaleźć w klasycznej pracy Kaplana [1989], na str oraz
9 Q[(Des x)(p(x))] jest prawdziwe w świecie w wtedy i tylko wtedy, gdy żaden przedmiot nie spełnia w świecie w predykatu P Q oraz dokładnie jeden przedmiot spełnia w świecie w predykat P. Zdanie modalne w odczytaniu de dicto otrzymuje następującą interpretację: Zdanie zbudowane z jest możliwe, że oraz zdania Q[(Des x)(p(x))] jest prawdziwe w świecie w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że (i) v jest dostępny z w; (ii) dokładnie jeden przedmiot spełnia w świecie v predykat P oraz żaden przedmiot nie spełnia w świecie v predykatu P Q.. a w odczytaniu de re następującą: Zdanie zbudowane z jest możliwe, że oraz zdania Q[(Des x)(p(x))] jest prawdziwe w świecie w wtedy i tylko wtedy, gdy istnieje świat możliwy v, taki, że (i) v jest dostępny z w; (ii) dokładnie jeden przedmiot spełnia w świecie w predykat P (nazwijmy go a) oraz żaden przedmiot nie spełnia w świecie v predykatu x (x = a) Q. 6 Problemy 7 Osoba, która uzna, że argument Evansa silnie przemawia na rzecz tezy o niereferencyjnym charakterze deskrypcji, powinna zmierzyć się z przynajmniej trzema problemami lub zarzutami. Konteksty modalne są specyficzne. 6 W wypadku, gdy dopuszczamy sytuację, w której uniwersum dyskursu zmienia się wraz ze zmianą świata możliwego, definicję tę trzeba zmodyfikować (w innym wypadku, gdyby przedmiot a nie istniał w takim świecie, a spełniony byłby warunek jedyności, zdanie byłoby prawdziwe). 7 Niektóre z podniesionych poniżej problemów zostały sformułowane w trakcie dyskusji na seminarium Polskiego Towarzystwa Semiotycznego 25 kwietnia 2008, kiedy autor tych słów miał okazję wygłaszać odczyt na temat atrybutywnego i referencyjnego użycia deskrypcji określonych. Ich autorami byli prof. Andrzej Biłat i dr Mieszko Tałasiewicz. 9
10 Po pierwsze, można uznać, że konteksty modalne są tak specyficzne, że zachowanie się wyrażenia w ich zasięgu nie może (nie powinno?) być traktowane jako istotne dla rozważań nad semantycznymi właściwościami wyrażeń.. Zarzut ten nie jest nazbyt jasny, jednak nawet na takim poziomie ogólności można zwrócić uwagę na kwestię następującą. Argument Evansa można zrekonstruować w taki sposób, że nie będziemy posługiwać się w tej rekonstrukcji terminami modalnymi sensu stricto. Załóżmy bowiem, że zamiast zdania [6] 8 rozpatrujemy zdanie: [7] Najniższa kobieta w Malezji była śpiewaczką operową.. (resp. Było tak, że najniższa kobieta w Malezji jest śpiewaczką operową). Zakładając, że w warunku (W) relatywizację do świata możliwego zastąpimy przez relatywizację do momentu czasowego, oraz że warunek prawdziwości dla zdań w czasie przeszłym jest następujący: (P) Zdanie zbudowane z wyrażenia było tak, że oraz zdania Z jest prawdziwe w chwili t wtedy i tylko wtedy, gdy istnieje chwila t taka, że: (i) t jest wcześniejsza od t; (ii) Z jest prawdziwe w t. opis warunków prawdziwości zdania [7] wyglądałby następująco: [7] Zdanie zbudowane z wyrażenia było tak, że oraz zdania Najniższa kobieta w Malezji jest śpiewaczką operową jest prawdziwe w chwili t wtedy i tylko wtedy, gdy istnieje chwila t taka, że: (i) t jest wcześniejsza od t; (ii) odniesienie najniższa kobieta w Malezji spełnia w chwili t predykat jest śpiewaczką operową. Odczytanie to odpowiada następującej interpretacji zdania [7]: chodzi nam o kobietę, która jest odniesieniem deskrypcji najniższa kobieta w Malezji oraz o jej przeszłość sceniczną. Jeśli 8 Tutaj musimy być ostrożni w doborze deskrypcji, aby nie zawrzeć w niej explicite lub implicite odniesienia do czasu w takiej sytuacji wieloznaczność przestaje być widoczna. Sytuacja taka przypominałaby wypadek, w którym w deskrypcji premier Wielkiej Brytanii w roku 2004 zawarlibyśmy informację o świecie możliwym. W takim wypadku odczytanie de re oraz odczytanie de dicto są logicznie równoważne. 10
11 uznamy, że tą kobietą jest malezyjska modelka i aktorka Raja Farah zdanie [7] mówi o przeszłości scenicznej Rai Farah. Ale zdanie [7] ma także drugą interpretację: możne nam chodzić o najniższą kobietę w Malezji w pewnej chwili poprzedzającej moment nadania zdania [7] oraz o jej sceniczny status w tej chwili w przeszłości. Przy tej interpretacji do prawdziwości tego zdania wystarcza, by jakaś kobieta była w pewnej przeszłej chwili najniższą kobietą w Malezji oraz była wówczas także śpiewaczką operową.. I podobnie jak w wypadku zdania [6] aby zapisać tę interpretację, musimy wprowadzić czasową relatywizację relacji referencji. Odczytania de re i de dicto otrzymają wtedy postać: [7] Zdanie zbudowane z wyrażenia było tak, że oraz zdania Najniższa kobieta w Malezji jest śpiewaczką operową jest prawdziwe w chwili t wtedy i tylko wtedy, gdy istnieje chwila t, taka, że: (i) t jest wcześniejsza od t; (ii) odniesienie-w-chwili-t najniższa kobieta w Malezji spełnia w chwili t predykat jest śpiewaczką operową. [7] Zdanie zbudowane z wyrażenia było tak, że oraz zdania Najniższa kobieta w Malezji jest śpiewaczką operową jest prawdziwe w chwili t wtedy i tylko wtedy, gdy istnieje chwila t, taka, że: (i) t jest wcześniejsza od t; (ii) odniesienie-w-chwili-t najniższa kobieta w Malezji spełnia w chwili t predykat jest śpiewaczką operową. Także w tym wypadku, wprowadzając relatywizację relacji odniesienia do chwili czasowej, niepotrzebnie komplikujemy semantykę nazw własnych i okazjonalnych 9.. Problematyczność tego podejścia jest tu widoczna nawet wyraźniej, gdyż relatywizując relację referencji do chwili czasowej, stajemy przed całą klasą dziwacznych (pseudo-?) problemów: do czego odnosi się nazwa Aleksander Wielki w jednej z chwil roku 2050 p.n.e.?; jaka jest relacja między referencją a istnieniem (w pewnej chwili)?; czy nazwa Aleksander Wielki odnosi się w danej chwili t do przekroju czasowego Aleksandra Wielkiego w tej chwili, czy może raczej do sumy wszystkich takich przekrojów? 9 Interpretacja nazw okazjonalnych wymaga co prawda relatywizacji do kontekstu pragmatycznego (oraz czasu nadania wypowiedzi jako elementu kontekstu pragmatycznego), ale kontekst pragmatyczny składa się tu na okoliczności wygłoszenia zdania, a nie na okoliczności oceniania jego wartości logicznej. 11
12 A co z wyrażeniami funkcyjnymi? Jak wiadomo, zarówno w językach sformalizowanych, jak i w języku naturalnym mogą występować symbole funkcyjne oraz wyrażenia nazwowe zbudowane za ich pomocą.. Powstaje naturalnie pytanie, czy te ostatnie należy uznać za wyrażenie referencyjne. Sądzę, że nie powinniśmy tego robić. Uważam ponadto, że eliminacja wyrażeń nazwowych zawierających symbole funkcyjne na rzecz deskrypcji określonych (oraz potraktowanie tych ostatnich niereferencyjnie) jest pod każdym względem korzystna filozoficznie. Dla wygody podzielmy sobie klasę termów stałych (tj. takich, które nie zawierają zmiennych wolnych) na dwie klasy: termów zwykłych oraz termów funkcyjnych. Termem funkcyjnym nazwiemy taki term stały, który zawiera wyrażenia funkcyjne, termem zwykłym nazwiemy term stały, który nie zawiera wyrażeń funkcyjnych. W takiej sytuacji klasa termów zwykłych pokrywa się z klasą stałych indywiduowych 10. Jeśli założymy, że każdy symbol funkcyjny reprezentuje funkcję totalną, możemy każdy term funkcyjny zastąpić opisem jednostkowym. Widać to w trzech następujących prostych przykładach: (Des x)(x = 2 +3) zamiast 2 +3 (Des x)(x = ojciec(aleksander Wielki) zamiast ojciec (Aleksander Wielki) (Des x)(x = ojciec(aleksander Wielki) zamiast stolica (Włoch) W następnym kroku aby pozbyć się symboli funkcyjnych, które cały czas występują w parafrazach wprowadzamy zamiast kontekstów =2 + 3, =ojciec(aleksander Wielki), =stolica(włoch) predykaty, które wyrażają relację między x a odpowiednimi argumentami funkcji. Otrzymujemy w ten sposób następujące deskrypcje określone: [d1] (Des x)(sum(x,2,3)) [d2] (Des x)(x jest ojcem Aleksandra Wielkiego) [d3] (Des x)(x jest stolicą Włoch) 10 Nie traktujemy tu stałych indywiduowych jako funkcji zeroargumentowych (czyli takich, które mają jedynie przeciwdziedzinę). Takie podejście, choć przemawia za nim dążenie do prostoty i uniformizmu, nie ma głębszych motywacji teoretycznych. 12
13 Jeśli pozostajemy na gruncie poglądu niereferencyjnego, deskrypcje [d1]-[d3] traktujemy w każdym kontekście, jak kwantyfikatory. Podejście to ma następującą zaletę. Niektóre wyrażenia funkcyjne mają tę właściwość, że w różnych światach możliwych opisują różne przedmioty. Tak sprawy się mają z [d3] (fakt, że Rzym jest stolicą Włoch, jest przygodny) oraz z [d2] (jeśli nie uznamy, wbrew Kripkemu, pochodzenia od określonej osoby za cechę esencjalną). Zdania zawierające takie wyrażenia powinny różnić się od siebie w zależności od tego, czy odczytamy je de re czy de dicto. Fakt ten jest jednak niezgodny ze standardową interpretacją termów w modalnej logice predykatów. Termy traktuje się tam bowiem jako wyrażenia, które n-tką uporządkowanym przedmiotów z uniwersum dyskursu przyporządkowują przedmioty z uniwersum dyskursu (bez relatywizacji do świata możliwego). Jeśli uważamy zatem termy funkcyjne za wyrażenia referencyjne, musimy uznać, że wyrażenia takie jak ojciec Aleksandra lub stolica Włoch nie są termami (bo powinny przyporządkowywać różnym światom możliwym różne przedmioty). Aby poradzić sobie z tym problemem (zachowując referencyjny charakter wspomnianych termów funkcyjnych), trzeba powiedzieć, co następuje: interpretacja termu musi zawierać ukryte odniesienie do świata możliwego i każdej parze złożonej z termu oraz świata możliwego ma przyporządkowywać element uniwersum dyskursu. Podejście to (zastosowane pierwszy raz przez Carnapa) wprowadza do semantyki tzw. pojęcia indywiduowe, czyli funkcje ze zbioru światów możliwych w zbiór indywiduów. Ponieważ termy funkcyjne mogą być podstawiane za zmienne wolne te ostatnie również zamiast wartości ze zbioru indywiduów zaczynają przebiegać zbiór pojęć indywiduowych 11. Z podejściem wprowadzającym kategorię pojęć indywiduowych wiążą się jednak przynajmniej dwie trudności. Po pierwsze, wieloznaczności, takie jak [6], zaczynamy przy podejściu referencyjnym tłumaczyć jako wieloznaczności leksykalne, a nie strukturalne (składniowe). Mówimy po prostu, że wyrażenia, takie jak ojciec Aleksandra, stolica Włoch oraz premier Wielkiej Brytanii w 2004 roku (to nie jest naturalnie term funkcyjny, ale deskrypcja, która na gruncie podejścia w kategoriach pojęć indywiduowych odnosi się do pojęcia indywiduowego) są dwuznaczne. W jednym wypadku (odczytania de dicto) odnoszą się do 11 Tę konsekwencję w swoich krytykach modalności za szczególnie szokującą uznawał Quine zob. list dołączony przez Carnapa do Meanig and Necessity (Carnap [1964] s ) oraz późniejsze komentarze Quine a w tej sprawie (Quine [1999] s. 229, przypis 10). 13
14 zmiennego pojęcia indywiduowego, w innym do stałego pojęcia indywiduowego (odczytanie de re). Jest to dziwaczna konsekwencja, która przypomina powiedzenie, że np. zdanie Wraz z psem odkopałem teściową nie jest strukturalnie wieloznaczne, ponieważ wyraz wraz ma dwa słownikowe znaczenia, które ujawniają się w zależności od tego, czy występuje on jako składnik pierwszego czy drugiego argumentu czasownika odkopać. Po drugie, w analizę w terminologii pojęć indywiduowych uderza następujący argument autorstwa Cresswella (Cresswell [1975] s ) 12. Wprowadźmy do języka operator modalny O, który znaczy tyle, co w sąsiednim świecie możliwym. Zdaniom, w których występuje ten operator, odpowiadać będzie następujący warunek prawdziwości: Op jest prawdziwe w świecie w wtedy i tylko wtedy, gdy p jest prawdziwe w pewnym świecie możliwym, różnym od w 13. Rozważmy teraz model, w którym mamy tylko dwa światy możliwe. Jak można pokazać, w tym modelu formuła: OOp p jest zawsze prawdziwa. Rozważmy teraz następujące zdanie języka polskiego: [8] Jest tak, że w sąsiednim świecie możliwym najwyższy budynek w Warszawie jest w sąsiednim świecie możliwym najwyższym budynkiem w Warszawie. oraz załóżmy, że w świecie możliwym w oraz w świecie możliwym w naszego modelu jest tak, że tylko indywiduum u 1 należy do ekstensji predykatu najwyższy budynek w Warszawie w świecie w oraz że tylko indywiduum u 2 (różne od u 1 ) należy do ekstensji tego predykatu w świecie w. 12 Argument oraz zawarte w przywołanej pracy rozważania Cresswella stanowią istotne wzmocnienie wywodu Evnasa być może bardziej adekwatnie byłoby mówienie tu o argumencie Cresswella-Evansa. 13 W wypadku, w którym relacja dostępności zachodzi między dwoma dowolnymi światami, ale nie zachodzi między żadnym światem a nim samym, operator O odpowiada możliwości. 14
15 Na gruncie interpretacji kwantyfikatorowej (w wersji Russella) zdanie [8] ma w jednym z odczytań następującą formę logiczną: [8] O x ( y (y jest najwyższym budynkiem w Warszawie x = y) O(x jest najwyższym budynkiem w Warszawie)) [8] nie jest równoważne w naszym modelu zdaniu: [9] x( y (y jest najwyższym budynkiem w Warszawie x = y) (x jest najwyższym budynkiem w Warszawie)) Jest tak, ponieważ [9] jest z całą pewnością prawdziwe zarówno w w, jak i w w jedyny przedmiot będący najwyższym budynkiem w Warszawie jest najwyższym budynkiem w Warszawie. Jednocześnie [8] jest fałszywe, ponieważ jedyny przedmiot, który jest najwyższym budynkiem w Warszawie w danym świecie, nie jest najwyższym budynkiem w Warszawie w sąsiednim świecie możliwym. Używając terminologii pojęć indywiduowych, nie jesteśmy w stanie otrzymać odczytania odpowiadającego [8], ponieważ bez względu na to, jakiego przyporządkowania pojęć indywiduowych dokonamy, zachodzić będzie następująca równoważność ( W niech wyraża tu własność bycia najwyższym budynkiem w Warszawie): OO[W(Des x)(w(x))] W(x) W terminologii pojęć indywiduowych nie możemy zatem oddać adekwatnie odczytania [8].. Bez problemu możemy to natomiast zrobić, jeśli przyjmiemy kwantyfikatorową interpretację deskrypcji. Użycia referencyjne Jak wiadomo, w latach sześćdziesiątych Keith Donnellan rozróżnił wypadki atrybutywnego i referencyjnego użycia deskrypcji określonych. Kolejnym problemem, z którym zmierzyć się powinien zwolennik niereferencyjnego traktowania deskrypcji, jest pytanie, czy podejście 15
16 kwantyfikatorowe wyklucza możliwość referencyjnego ich użycia. Referencyjne użycie zwrotu opisowego różni się od odczytania de re tym, że w treści opisowej zawarte mogą być cechy, które faktycznie nie przysługują danemu przedmiotowi, a zdanie, w którym występuje deskrypcja, mimo to pozostaje wtedy prawdziwe. W wypadku odczytania de re dla prawdziwości zdania konieczne jest to, aby w świecie rzeczywistym domniemany desygnat miał cechy zawarte w treści opisowej deskrypcji. Zilustrujmy tę różnicę następującym przykładem. Wyobraźmy sobie, że ktoś, płynąc statkiem po Missisipi, zwróci się do nas, mówiąc Najdłuższa rzeka świata mogłaby być mniej zanieczyszczona. Zgodnie z interpretacją atrybutywną de re 14 zdanie to stwierdza, że istnieje dokładnie jeden przedmiot, który jest najdłuższą rzeką świata, oraz że ten przedmiot mógłby być mniej zanieczyszczony, tzn. że w pewnym świecie możliwym jest on mniej zanieczyszczony niż w świecie rzeczywistym. Jak wiemy, najdłuższą rzeką świata jest Nil (lub Amazonka jeśli mierzyć dorzecze), a zatem nasz hipotetyczny nadawca wypowiedzi mówi coś o Nilu i o tym, że Nil mógłby być mniej zanieczyszczony. Jeśli jednak nie mamy niezależnych powodów, by sadzić, że nasz rozmówca chciał mówić o Nilu, nie zinterpretujemy jego wypowiedzi w ten sposób. Stwierdzimy raczej, że mówi on coś o Missisipi rzece, którą obecnie płyniemy. Jeśli tak właśnie jest nasz rozmówca użył deskrypcji referencyjnie. W takim wypadku zdanie to wyraża sąd, że Missisipi mogłaby być mniej zanieczyszczona, niż jest w rzeczywistości, tzn. że w pewnym świecie możliwym jest ona mniej zanieczyszczony, niż jest w świecie rzeczywistym. W tym wypadku treść opisowa deskrypcji ( bycie najdłuższą rzeką świata ) w ogóle nie wchodzi w skład sądu wyrażonego przez zdanie. Używając sformułowania zapożyczonego od Kaplana, możemy co najwyżej powiedzieć, że opisywanie pełni w tym wypadku funkcję wskazywania. Czy teza o niereferencyjnym charakterze deskrypcji stoi w sprzeczności z tezą o możliwości ich referencyjnego użycia? Nie sądzę, aby tak było. Uważam, że sytuacja jest tu następująca. Jeśli w określonym języku występują nazwy deskryptywne, wówczas każda z nich może zostać użyta na dwa sposoby: jako wyrażenie wskazujące (przypomina wówczas złożone wyrażenia wskazujące, takie jak ta dziewczyna, ten pies itd.) albo nie jako wyrażenie wskazujące. W pierwszej sytuacji, tak jak wszelkie nazwy okazjonalne, deskrypcja ma oczywiście funkcję referencji. Wypadki takie można podzielić na zwykłe oraz dewiacyjne. 14 Zdanie to użyte atrybutywnie i de dicto będzie wówczas wyrażało sąd, że istnieje świat możliwy, w którym najdłuższa rzeka (w tym świecie) jest mniej zanieczyszczona niż najdłuższa rzeka świata (w tym świecie). Jest to sprzeczność, która dobrze tłumaczy fakt, że odczytanie de dicto tego zdania jest niezwyczajne. 16
17 Deskrypcja jest użyta referencyjnie i w sposób zwykły, gdy jej desygnat ma cechy występujące w treści opisowej. Jeśli desygnat cech takich nie posiada (tak było w przykładzie z rzeką Missisipi), wówczas deskrypcja jest użyta referencyjnie i dewiacyjnie. Z drugiej strony, deskrypcja jest użyta niewskazująco, gdy treść opisowa jest istotna dla warunków prawdziwości zdania, w którym występuje. W takim wypadku deskrypcja może w niektórych zdaniach zachowywać się dwuznacznie: może mieć odczytanie de re oraz może mieć odczytanie de dicto. Jak się wydaje, warunki prawdziwości zdań zawierających deskrypcje użyte wskazująco w sposób zwykły oraz zdań zawierających tę samą deskrypcję odczytanych atrybutywnie i de re zawsze się pokrywają, a różnica obu interpretacji uwidacznia się w użyciach dewiacyjnych. Teza o niereferencyjnym charakterze deskrypcji dotyczy jedynie atrybutywnego użycia deskrypcji. Stwierdza, że użyte atrybutywnie deskrypcje nie mają funkcji referencji, oraz że powinno się je interpretować kwantyfikatorowo. Twierdzenie to w ogóle nie kłóci się z możliwością wskazującego użycia deskrypcji. Podsumowanie Argument Evansa (a także poprzedzające go kilka lat rozważania Cresswella) przemawia silnie przeciwko poglądowi intuicyjnemu, który przypisuje deskrypcjom określonym funkcję referencji. Powyżej omówiliśmy pokrótce wspomniany argument oraz rozważyliśmy możliwe zarzuty, które można postawić zarówno jemu samemu, jak i twierdzeniu, które miałby wspierać. Argument Evansa jak wspomnieliśmy nie ma charakteru reductio ad impossibile i nie wyklucza możliwości zbudowania referencyjnej semantyki dla deskrypcji. Od zwolennika takiego podejścia należałoby jednak oczekiwać jakiegoś uzasadnienia teoretycznych dziwactw (pojęcia indywiduowe) oraz komplikacji (relatywizacja funkcji referencji do indeksu), do których prowadzi teoria referencyjna. 17
18 Bibliografia Carnap R. [1958] Introduction to Symbolic Logic and its Applications, Dover Publications. [1964] Meaning and Necessity, The University of Chicago Press. Pierwsze wydanie: Cresswell M.J. [1975] Identity and Intensional Objects, Philosophia, Vol 5. Evans G. [1982] The Varieties of Reference, Calrendon Press, Oxford. Grudzińska J. [2007] Semantyka nazw jednostkowych, Semper. Kaplan D. [1989] Demonstratives [w]: Themes from Kaplan (Almog, Perry, Wettstein (red).), Oxford, s Quine W. [1999] Słowo i przedmiot, Aletheia, tłumaczył Cezary Cieśliński. Stalnaker R.C., Thomason R. [1968] Modality and Reference, Nous, Vol
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Tadeusz Ciecierski taci@uw.edu.pl. Atrybutywne i referencyjne użycie deskrypcji określonych
Tadeusz Ciecierski taci@uw.edu.pl Atrybutywne i referencyjne użycie deskrypcji określonych Trzy zagadnienia filozoficzne związane z deskrypcjami 1. Jakie są warunki prawdziwości zdań zawierających deskrypcje?
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź
Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut
Predykat Weźmy pod uwagę następujące wypowiedzi: (1) Afryka jest kontynentem. (2) 7 jest liczbą naturalną. (3) Europa jest mniejsza niż Afryka. (4) 153 jest podzielne przez 3. Są to zdania jednostkowe,
Tadeusz Ciecierski. Użycie atrybutywne i użycie referencyjno-wskazujące [przykłady] [1] Starszy z braci Kaczyńskich jest chory.
Użycie atrybutywne i użycie referencyjno-wskazujące [przykłady] [1] Starszy z braci Kaczyńskich jest chory. [2] Morderca Nowaka jest szalony. [3] Osoba, która wynalazła buty z wywiniętą cholewką, zmarła
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna
Michał Lipnicki (UAM) Logika 11 stycznia / 20
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 11 stycznia 2013 Michał Lipnicki (UAM) Logika 11 stycznia 2013 1 / 20 KRP wstęp Wstęp Rozważmy wnioskowanie: Każdy człowiek jest śmiertelny. Sokrates
Adam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
WSTĘP ZAGADNIENIA WSTĘPNE
27.09.2012 WSTĘP Logos (gr.) słowo, myśl ZAGADNIENIA WSTĘPNE Logika bada proces myślenia; jest to nauka o formach poprawnego myślenia a zarazem o języku (nie mylić z teorią komunikacji czy językoznawstwem).
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Gesty i wyrażenia wskazujące. Gesty i wyrażenia wskazujące
Gesty i wyrażenia wskazujące Seminarium PTS, 28 V 2010 r. Tadeusz Ciecierski (Instytut Filozofii UW) taci@uw.edu.pl Plan wystąpienia: 1. Semantyczna i pragmatyczna problematyka dotycząca wyrażeń wskazujących
Internet Semantyczny i Logika II
Internet Semantyczny i Logika II Ontologie Definicja Grubera: Ontologia to formalna specyfikacja konceptualizacji pewnego obszaru wiedzy czy opisu elementów rzeczywistości. W Internecie Semantycznym językiem
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać
Klasyczny rachunek predykatów
Kultura logiczna Klasyczny rachunek predykatów Bartosz Gostkowski bgostkowski@gmail.com Alfabet klasycznego rachunku zdań reguły konsytutywne języka Alfabet klasycznego rachunku predykatów (KRP Do alfabetu
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność 1 Modele Jak zwykle zakładam, że pojęcia wprowadzone
Elementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Semantyka rachunku predykatów
Relacje Interpretacja Wartość Spełnialność Logika obliczeniowa Instytut Informatyki Relacje Interpretacja Wartość Plan Plan Relacje O co chodzi? Znaczenie w logice Relacje 3 Interpretacja i wartościowanie
Zbiory, relacje i funkcje
Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację
Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 2 - Logika modalna Część 2 Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 27 Plan wykładu
Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?
Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 8. Modalności i intensjonalność 1 Coś na kształt ostrzeżenia Ta prezentacja jest nieco odmienna od poprzednich. To,
Internet Semantyczny. Logika opisowa
Internet Semantyczny Logika opisowa Ontologie Definicja Grubera: Ontologia to formalna specyfikacja konceptualizacji pewnego obszaru wiedzy czy opisu elementów rzeczywistości. W Internecie Semantycznym
5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
5. Rozważania o pojęciu wiedzy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Wiedza przez znajomość [by acquaintance] i wiedza przez opis Na początek
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,
Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
Filozofia z elementami logiki Język jako system znaków słownych część 2
Filozofia z elementami logiki Język jako system znaków słownych część 2 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Rozkład jazdy 1 Pojęcie znaku 2 Funkcje wypowiedzi językowych
Struktury formalne, czyli elementy Teorii Modeli
Struktury formalne, czyli elementy Teorii Modeli Szymon Wróbel, notatki z wykładu dra Szymona Żeberskiego semestr zimowy 2016/17 1 Język 1.1 Sygnatura językowa Sygnatura językowa: L = ({f i } i I, {P j
Główne problemy kognitywistyki: Reprezentacja
Główne problemy kognitywistyki: Reprezentacja Wykład 4 Reprezentacja a koncepcje rozszerzonego umysłu i rozszerzonego narzędzia Andrzej Klawiter http://www.amu.edu.pl/~klawiter klawiter@amu.edu.pl Rozszerzone
Wstęp do logiki. Klasyczny Rachunek Predykatów I
Wstęp do logiki Klasyczny Rachunek Predykatów I KRZ jest teorią stanowiącą wstępną część logiki formalnej, część zakładaną przez inne teorie. Przypomnijmy, jest on teorią związków logicznych między zdaniami
vf(c) =, vf(ft 1... t n )=vf(t 1 )... vf(t n ).
6. Wykład 6: Rachunek predykatów. Język pierwszego rzędu składa się z: symboli relacyjnych P i, i I, gdzie (P i ) oznaczać będzie ilość argumentów symbolu P i, symboli funkcyjnych f j, j J, gdzie (f j
Indukcja matematyczna
Indukcja matematyczna 1 Zasada indukcji Rozpatrzmy najpierw następujący przykład. Przykład 1 Oblicz sumę 1 + + 5 +... + (n 1). Dyskusja. Widzimy że dla n = 1 ostatnim składnikiem powyższej sumy jest n
Wprowadzenie do logiki Język jako system znaków słownych
Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;
Darmowy artykuł, opublikowany na: www.fluent.com.pl
Copyright for Polish edition by Bartosz Goździeniak Data: 4.06.2013 Tytuł: Pytanie o czynność wykonywaną w czasie teraźniejszym Autor: Bartosz Goździeniak e-mail: bgozdzieniak@gmail.com Darmowy artykuł,
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
LOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
Rodzaje argumentów za istnieniem Boga
Rodzaje argumentów za istnieniem Boga Podział argumentów argument ontologiczny - w tym argumencie twierdzi się, że z samego pojęcia bytu doskonałego możemy wywnioskować to, że Bóg musi istnieć. argumenty
Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Klasyczny rachunek zdań 1/2
Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW
Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika
Kultura logiczna Klasyczny rachunek zdań 1/2
Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach
Logika dla socjologów Część 4: Elementy semiotyki O pojęciach, nazwach i znakach Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Krótkie wprowadzenie, czyli co
Internet Semantyczny i Logika I
Internet Semantyczny i Logika I Warstwy Internetu Semantycznego Dowód Zaufanie Logika OWL, Ontologie Podpis cyfrowy RDF, schematy RDF XML, schematy XML przestrzenie nazw URI Po co nam logika? Potrzebujemy
Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania
Logika w zastosowaniach kognitywistycznych Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl
Wprowadzenie do logiki epistemicznej. Przekonania i wiedza
Logika w zastosowaniach kognitywistycznych Wprowadzenie do logiki epistemicznej. Przekonania i wiedza (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl wersja beta 1.1 (na podstawie:
Logika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
Drobinka semantyki KRP
Drobinka semantyki KRP Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Drobinka semantyki KRP Uniwersytet Opolski 1 / 48 Wstęp
Tadeusz Ciecierski Niby-fakty i niby-mity. Filozofia Nauki 17/2,
Niby-fakty i niby-mity Filozofia Nauki 17/2, 129-138 2009 Filozofia Nauki Rok XVII, 2009, Nr 2(66) Niby-fakty i niby-mity W swoim artykule na temat nazw własnych Leopold Hess 1 (zwany dalej Autorem ) podjął
Modalny realizm i nazwy własne raz jeszcze
Diametros nr 17 (wrzesień 2008): 96 101 W artykule Modalny realizm i nazwy własne 1 Piotr Warzoszczak podejmuje atak na teorię moŝliwych światów sformułowaną przez Davida Lewisa. Twierdzi, Ŝe nie jest
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Kultura logicznego myślenia
Kultura logicznego myślenia rok akademicki 2015/2016 semestr zimowy Temat 6: Rachunek predykatów jako logika pierwszego rzędu logika elementarna = logika pierwszego rzędu KRZ logika zerowego rzędu Język
Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu
Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Dlaczego nie wystarczają liczby wymierne
Dlaczego nie wystarczają liczby wymierne Analiza zajmuje się problemami, w których pojawia się przejście graniczne. Przykładami takich problemów w matematyce bądź fizyce mogą być: 1. Pojęcie prędkości
Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
Rachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl
Semiotyka logiczna Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Dodatek 4 Jerzy Pogonowski (MEG) Semiotyka logiczna Dodatek 4 1 / 17 Wprowadzenie Plan na dziś Plan
1 Podstawowe oznaczenia
Poniżej mogą Państwo znaleźć skondensowane wiadomości z wykładu. Należy je traktować jako przegląd pojęć, które pojawiły się na wykładzie. Materiały te nie są w pełni tożsame z tym co pojawia się na wykładzie.
Wyszukiwanie binarne
Wyszukiwanie binarne Wyszukiwanie binarne to technika pozwalająca na przeszukanie jakiegoś posortowanego zbioru danych w czasie logarytmicznie zależnym od jego wielkości (co to dokładnie znaczy dowiecie
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do
Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do testu z filozofii jest zaliczenie testu z logiki i zaliczenie
Filozofia przyrody, Wykład V - Filozofia Arystotelesa
Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 12 i 13. Dowód i dowodzenie w KRP. Tezy KRP 1 Pojęcie dowodu w KRP Pojęcia: formuły zdaniowej języka Klasycznego Rachunku
Logika intuicjonistyczna
Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.
Logika dla archeologów Część 5: Zaprzeczenie i negacja
Logika dla archeologów Część 5: Zaprzeczenie i negacja Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zaprzeczenie 2 Negacja 3 Negacja w logice Sprzeczne grupy
Teoria miary. WPPT/Matematyka, rok II. Wykład 5
Teoria miary WPPT/Matematyka, rok II Wykład 5 Funkcje mierzalne Niech (X, F) będzie przestrzenią mierzalną i niech f : X R. Twierdzenie 1. NWSR 1. {x X : f(x) > a} F dla każdego a R 2. {x X : f(x) a} F
Modele Herbranda. Logika obliczeniowa. Joanna Józefowska. Szukamy modelu. Przykład Problemy. Model Herbranda
Plan wykładu Szukamy modelu Model Herbranda Twierdzenia Logika obliczeniowa Instytut Informatyki Plan wykładu Szukamy modelu 1 Szukamy modelu Problemy 2 Model Herbranda Uniwersum Herbranda Interpretacja
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ KONWERSATORIUM 6: REZOLUCJA V rok kognitywistyki UAM 1 Kilka uwag terminologicznych Słuchacze zapewne pamiętają z zajęć dotyczących PROLOGu poniższą
PRAGMATYKA rok akademicki 2016/2017 semestr zimowy. Temat 3: Okazjonalność
PRAGMATYKA rok akademicki 2016/2017 semestr zimowy Temat 3: Okazjonalność PRZYPOMNIENIE Pragmatyka: nauka badająca te aspekty znaczenia i funkcji wypowiedzi, które są zależne od jej kontekstu; studia nad
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego wojtow@uw.edu.pl 1 2 1. SFORMUŁOWANIE PROBLEMU Czy są empiryczne aspekty dowodów matematycznych? Jeśli tak to jakie stanowisko filozoficzne
Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak
Indukcja Materiały pomocnicze do wykładu wykładowca: dr Magdalena Kacprzak Charakteryzacja zbioru liczb naturalnych Arytmetyka liczb naturalnych Jedną z najważniejszych teorii matematycznych jest arytmetyka
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
Elementy logiki Klasyczny rachunek predykatów
Elementy logiki. Klasyczny rachunek predykatów. 1 Elementy logiki Klasyczny rachunek predykatów Wojciech Buszkowski Zakład Teorii Obliczeń Wydział Matematyki i Informatyki Uniwersytet im. Adama Mickiewicza
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
RACHUNEK PREDYKATÓW 7
PODSTAWOWE WŁASNOŚCI METAMATEMATYCZNE KRP Oczywiście systemy dedukcyjne dla KRP budowane są w taki sposób, żeby wszystkie ich twierdzenia były tautologiami; można więc pokazać, że dla KRP zachodzi: A A
Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.
5 marca 2009 Spis treści 1 2 3 4 5 6 Logika (z gr. logos - rozum) zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika matematyczna,
Matematyka ETId Elementy logiki
Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,
Rachunek predykatów. Formuły rachunku predykatów. Plan wykładu. Relacje i predykaty - przykłady. Relacje i predykaty
Rachunek predykatów Wykład 4 Plan wykładu Relacje i predykaty Formuły rachunku predykatów Interpretacje Logiczna równoważność Metoda tabel Modele skończone i nieskończone Rozstrzygalność Relacje i predykaty
Schematy Piramid Logicznych
Schematy Piramid Logicznych geometryczna interpretacja niektórych formuł Paweł Jasionowski Politechnika Śląska w Gliwicach Wydział Matematyczno-Fizyczny Streszczenie Referat zajmuje się następującym zagadnieniem:
Mieczysław Omyła Logika a czas i zmiana. Filozofia Nauki 5/3,
Mieczysław Omyła Logika a czas i zmiana Filozofia Nauki 5/3, 131-134 1997 Filozofia Nauki RECENZJE Rok V, 1997, N r 3(19) Mieczysław Omyła Logika a czas i zmiana Józef Wajszczyk, Logika a czas i zmiana,
PODZIAŁ LOGICZNY. Zbiór Z. Zbiór A. Zbiór B
Fragment książki Jarosława Strzeleckiego Logika z wyobraźnią. Wszelki uwagi merytoryczne i stylistyczne proszę kierować pod adres jstrzelecki@uwm.edu.pl PODZIAŁ LOGICZNY I. DEFINICJA: Podziałem logicznym
domykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
Języki programowania zasady ich tworzenia
Strona 1 z 18 Języki programowania zasady ich tworzenia Definicja 5 Językami formalnymi nazywamy każdy system, w którym stosując dobrze określone reguły należące do ustalonego zbioru, możemy uzyskać wszystkie
Filozofia, Pedagogika, Wykład I - Miejsce filozofii wśród innych nauk
Filozofia, Pedagogika, Wykład I - Miejsce filozofii wśród innych nauk 10 października 2009 Plan wykładu Czym jest filozofia 1 Czym jest filozofia 2 Filozoficzna geneza nauk szczegółowych - przykłady Znaczenie
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.
I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych. 1. Elementy logiki matematycznej. 1.1. Rachunek zdań. Definicja 1.1. Zdaniem logicznym nazywamy zdanie gramatyczne
Metoda Tablic Semantycznych
Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,
Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność