Cóż to jest prawda? Paweł Zeidler. 1. Wstęp
|
|
- Kazimiera Białek
- 8 lat temu
- Przeglądów:
Transkrypt
1 ZAPROSZENIE DO FILOZOFII Wykłady z filozofii dla młodzieży K. Łastowski, P. Zeidler (red.) Wydawnictwo Humaniora Poznań 2001 ss Cóż to jest prawda? 1. Wstęp W Ewangelii według Jana czytamy, że na słowa Chrystusa >Na to narodziłem się i na to przyszedłem na świat, aby prawdzie dać świadectwo< Piłat odparł >Cóż to jest prawda?< 1. I choć wypowiedzi Piłata nadano w Ewangelii formę gramatyczną pytania, to pytaniem ona nie była, a przynajmniej nie pytaniem postawionym Chrystusowi. Piłat nie oczekiwał od Chrystusa odpowiedzi i odpowiedź nie padła. Ewangelista użył zresztą słowa: odparł, a nie słowa: zapytał. Stwierdzenie Piłata może być potraktowane jako wyraz, trwających już od kilku wieków przed narodzeniem Chrystusa, filozoficznych dociekań nad prawdą. W słowach tych wyraźnie pobrzmiewa nuta sceptycyzmu, a także świadomość wielości możliwych sposobów rozumienia prawdy. Nasze rozważania będą dotyczyły wyłącznie prawdy rozumianej jako coś, czego nośnikiem może być myśl, sąd, zdanie lub przekonanie, będą więc należały do podstawowego, zapoczątkowanego przez Arystotelesa, nurtu filozoficznej refleksji nad prawdą. Nie będziemy zatem analizowali na przykład tzw. prawdy rzeczowej, której pojęcie pochodzi również od filozofów starożytnych. Jednakże sens terminu prawdziwy w takich zwrotach jak: prawdziwy człowiek czy prawdziwe państwo jest wysoce niejasny i nie poddaje się precyzyjnym eksplikacjom. Poprzesta- 1 Ewangelia wg Jana 18, [ Pismo Święte Nowego Testamentu tłum. Seweryn Kowalski, Instytut Wydawniczy Pax, Warszawa, 1975, s. 199].
2 2 niemy na pojęciu prawdy, które można stosować do charakteryzowania wiedzy, a tym samym na pojęciu, które stanowi centralną kategorię epistemologii. 2. Klasyczna koncepcja prawdy i problem jej formalnej poprawności Podstawowa intuicja, jaką większość ludzi wiąże z pojęciem prawdy, została po raz pierwszy sprecyzowana przez Arystotelesa 2. W Metafizyce można znaleźć kilka sformułowań dookreślających to pojęcie. Prawda albo fałsz z punktu widzenia rzeczy zależy od ich połączenia lub rozdzielenia. Kto więc myśli o rozdzielonym, że jest rozdzielone, a o połączonym, że jest połączone, mówi prawdę, natomiast głosi się fałsz, gdy myśli się przeciwnie o tym stanie rzeczy 3 oraz Mówić, że to, co jest, nie jest, a to, co nie jest, jest, to fałsz, a mówić, że to, co jest, jest, a to, co nie jest, nie jest, to prawda 4. Przytoczone sformułowania wyrażają istotę tzw. klasycznej korespondencyjnej definicji prawdy, zgodnie z którą prawdziwość danego nośnika prawdy polega na jego zgodności z rzeczywistością. Jednakże podane sformułowania trudno uznać za równoważne. Pierwsze posiada wyraźny sens ontologiczny i w odniesieniu do zdań głosi, że połączeniu lub rozdzieleniu składników zdania odpowiada połączenie lub rozdzielenie po stronie bytu. Natomiast drugie sformułowanie posiada charakter semantyczny. Zdanie jest prawdziwe, gdy w rzeczywistości jest tak, jak to zdanie głosi 5. Najbardziej znane sformułowanie korespondencyjnej koncepcji prawdy pochodzi od Tomasza z Akwinu. Stwierdza ono, że prawda jest zgodnością intelektu i rzeczy. Pojęciu prawdziwości, które jest konsekwencją korespondencyjnej definicji prawdy, przypisuje się na ogół kilka dalszych właściwości. Twierdzi się, że prawda jest absolutna. Oznacza to, że jest ona obiektywna, tzn. nie zależy od stanów mentalnych podmiotów poznających, że prawdziwość danego zdania nie zależy od prawdziwości innych zdań 2 Historycy filozofii wykazują, że idea prawdy korespondencyjnej występowała już wcześniej u Platona, a nawet u Parmenidesa. Na temat pojęcia prawdy w starożytności pisze syntetycznie J. Woleński [2000, s ]. 3 Arystoteles Metafizyka 1051 b, tłum. K. Leśniak, Warszawa, 1983, s Arystoteles Metafizyka 1012 a, tłum. J. Łukasiewicz, w J. Łukasiewicz [1987, s. 18]. 5 Zob. J. Woleński [1993, s ]. Autor ten przyjmuje, że ontologiczną interpretację klasycznej definicji prawdy odróżnia od interpretacji semantycznej sposób rozumienia relacji korespondencji (odpowiedniości).
3 Cóż to jest prawda? 3 i nie zmienia się w czasie, tzn. zdanie prawdziwe nie może stać się zdaniem fałszywym. Twierdzi się również, że prawda jest niestopniowalna. Zdanie może być lepiej lub gorzej uzasadnione, lecz nie może być w większym lub mniejszym stopniu prawdziwe 6. Wielu zwolenników definicji klasycznej uznaje prawdę za wartość autoteliczną, co oznacza, że jest ona wartością samą dla siebie i nie zależy od innych wartości. Klasyczna korespondencyjna koncepcja prawdy już w starożytności wzbudzała dwojakiego rodzaju wątpliwości. Jedne z nich miały charakter logiczny; wskazywano na to, że prowadzi ona do sprzeczności, które obecnie określa się mianem antynomii semantycznych. Wątpliwości drugiego rodzaju były konsekwencją faktu, że koncepcja ta nie podawała sposobu, za pomocą którego można by stwierdzić prawdziwość danego zadania. Jest to tzw. problem kryteriów prawdy. Filozoficzne analizy tych problemów osiągnęły największy stopień jasności i precyzji, gdy odwoływały się do semantycznego sformułowania klasycznej definicji prawdy. Za punkt wyjścia dla dalszych rozważań przyjmiemy następujące sformułowania korespondencyjnej definicji prawdy: Zdanie Z jest prawdziwe jeśli w rzeczywistości jest tak jak ono głosi lub w wersji zgodności zdania ze stanem rzeczy Zdanie Z jest prawdziwe, jeśli oznacza istniejący stan rzeczy. Problem logicznej poprawności korespondencyjnej definicji prawdy postawił po raz pierwszy Eubulides, formułując tzw. antynomię kłamcy. Czy o kimś, kto kłamie i mówi, że kłamie, powiemy, że kłamie czy też że mówi prawdę? 7. Eubulides wykazał, że ktoś taki równocześnie kłamie i mówi prawdę. Jest to jednak niezgodne, z jednym z podstawowych praw logiki sformułowanym przez Arystotelesa prawem sprzeczności. Prawo to głosi, że dwa zdania, z których jedno jest negacją drugiego nie mogą być równocześnie prawdziwe. Tym samym klasyczna definicja prawdy prowadzi do sprzeczności. Jednakże rozumowanie Eubulidesa nie było w pełni poprawne pod względem logicznym. Dlatego antynomię kłamcy podamy w sformułowaniu Jana Łukasiewicza 8. 6 Zob. E. Poznański i A. Wundheiler [1966, s ]. 7 Zob. G. Reale [1999, s.86]. 8 Antynomię kłamcy w sformułowaniu Łukasiewicza przytaczamy z niewielkimi zmianami za L.Borkowskim [1970, s ].
4 4 I Zdanie napisane na obszarze I nie jest prawdziwe Zdanie zapisane na obszarze obramowanym i oznaczonym I stwierdza o sobie, że nie jest prawdziwe. Rozumowanie opiera się na dwóch przesłankach: a) Zdanie napisane na obszarze I = Zdanie napisane na obszarze I nie jest prawdziwe ; b) p jest prawdziwe! p. Prawdziwość przesłanki a) stwierdzamy spoglądając na obszar I. Po prawej stronie równości zapisaliśmy nazwę zdania, które widzimy na obszarze I. Nazwy zdań i innych wyrażeń danego języka tworzymy umieszczając je w cudzysłowach. Przesłanka a) posiada więc charakter empiryczny. Dodajmy, że znak = występujący w a) interpretujemy jako identyczność wyrażeń znajdujących po obu stronach tej równości. Przesłanka b) jest pewnym sformułowaniem klasycznej definicji prawdy. Znak! oznacza w logice klasycznej spójnik równoważności, któremu w języku polskim odpowiada zwrot wtedy i tylko wtedy, gdy. Zdanie złożone będące równoważnością jest prawdziwe wtedy, gdy oba jego człony posiadają tę samą wartość logiczną. Zdanie Poznań leży nad Wartą jest prawdziwe wtedy i tylko wtedy, gdy Poznań leży nad Wartą. Prawdziwość tej równoważności nie budzi wątpliwości. W przesłance b) w miejsce p podstawiamy zdanie napisane na obszarze I otrzymując równoważność: Zdanie napisane na obszarze I nie jest prawdziwe jest prawdziwe! Zdanie napisane na obszarze I nie jest prawdziwe. Z tej równoważności i przesłanki a) otrzymujemy, wykorzystując identyczność członów tej przesłanki, równoważność: Zdanie napisane na obszarze I jest prawdziwe! Zdanie napisane na obszarze I nie jest prawdziwe. Równoważność ta nie może być prawdziwa, gdyż jej człony są zdaniami sprzecznymi. Za sprzeczność tę odpowiada przesłanka b), będąca sformułowaniem klasycznej definicji prawdy.
5 Cóż to jest prawda? 5 Analizy przyczyn powstawania antynomii semantycznych dokonał Alfred Tarski, który stworzył tzw. semantyczną teorię prawdy 9. Jego celem było sformułowanie formalnie poprawnej i merytorycznie trafnej definicji prawdy. Warunek formalnej poprawności oznacza, że definicja prawdy nie może prowadzić do antynomii typu antynomii kłamcy. Jej merytoryczna trafność ma polegać na tym, że powinna ona wyrażać intuicje związane z klasyczną definicją prawdy Arystotelesa. Zdaniem Tarskiego, za powstanie sprzeczności w przedstawionym rozumowaniu odpowiada fakt, że przesłanka b), wyrażająca klasyczną definicję prawdy, została sformułowana w tym samym języku, w który rozumowanie to zostało przeprowadzone; w tzw. języku przedmiotowym. Chcąc uniknąć sprzeczności należy przesłankę tę sformułować w języku bogatszym pod względem leksykalnym od języka przedmiotowego, tj. w jego metajęzyku. Metajęzyk utworzony dla danego języka przedmiotowego powinien zawierać nazwy wyrażeń języka przedmiotowego, tworzone za pomocą cudzysłowów i wyrażenia umożliwiające przekład wyrażeń tego języka. Przesłanka b) będzie miała wtedy postać równoważności: (*) Zdanie Z jest prawdziwe wtedy i tylko wtedy, gdy s, gdzie Z jest nazwą rozpatrywanego zdania, a s jego przekładem na metajęzyk. Załóżmy, że językiem przedmiotowym, tj. językiem w którym mówimy jest język angielski, a metajęzykiem jest język polski 10. W metajęzyku muszą występować również nazwy wyrażeń języka przedmiotowego tworzone za pomocą cudzysłowów. Dla dowolnego zdania języka przedmiotowego (angielskiego), np. zdania snow is white równoważność (*) ma postać: Zdanie snow is white jest prawdziwe wtedy i tylko wtedy, gdy śnieg jest biały. Sensu klasycznej definicji prawdy nie można zatem wyrazić w sposób formalnie poprawny w języku przedmiotowym. Trzeba tego dokonać w metajęzyku. Z powyższych rozważań wynika wniosek negatywny w kwestii sformułowania formalnie poprawnej definicji prawdy 9 Prace A. Tarskiego dotyczące teorii prawdy zostały zamieszczone w pierwszym tomie jego Pism logiczno-metodologicznych zatytułowanym Prawda [Tarski, 1995]. Wydaje się, że najbardziej przystępną pracą z tego zakresu jest Semantyczna koncepcja prawdy i podstawy semantyki [ibid., s ]. 10 Zob. J. Woleński [1993, s. 216].
6 6 w językach etnicznych np. języku polskim, angielskim, francuskim itp. Języki te są zbyt bogate w tym sensie, że mówimy w nich o własnościach wyrażeń tych języków, np. o prawdziwości zdań w nich formułowanych, a to jak wykazał Tarski prowadzi do sprzeczności. Tarski postanowił zatem sformułować taką definicję prawdy, która byłaby formalnie poprawna, i dla której równoważność (*) stanowiłaby kryterium merytorycznej trafności w tym znaczeniu, że każde zdanie danego języka o postaci (*) równoważności byłoby konsekwencją logiczną tej definicji. Przedstawienie konstrukcji definicji prawdy Tarskiego wymaga wprowadzenia dość zaawansowanego aparatu pojęciowego logiki formalnej, czego nie jesteśmy w stanie uczynić w wykładzie, który z założenia posiada charakter podstawowy. Dlatego ograniczymy się jedynie do zarysowania głównej idei tej definicji. Definicja podana przez Tarskiego jest definicją semantyczną tzn. odwołuje się do pojęcia interpretacji semantycznej języka, dla którego definicję prawdy konstruujemy. Jeśli na gruncie odpowiedniego systemu logiki zrekonstruujemy język, dla którego definicję prawdy budujemy, to język ten możemy następnie wyposażyć w interpretację, tzn. ustalić zbiór obiektów indywiduowych, o których chcemy mówić w tym języku oraz przypisać wszystkim terminom pozalogicznym tego języka określone odniesienia przedmiotowe czyli ustalić, do jakich przedmiotów będą odnosiły się te wyrażenia. Termin przedmiot został tutaj użyty w takim znaczeniu, że może się on odnosić zarówno do poszczególnych obiektów indywiduowych (np. poszczególnych ludzi, krzeseł, atomów, liczb), do zbiorów tych obiektów (np. zbioru ludzi, krzeseł, atomów, liczb), do relacji między tymi obiektami (np. relacji między ludźmi, między ludźmi i krzesłami, między atomami i liczbami itp.) lub do innych konstrukcji utworzonych z obiektów indywiduowych. Tak więc, jeśli w rozpatrywanym przez nas języku występuje imię własne np. Aleksander Kwaśniewski, to może ono nazywać określony obiekt indywiduowy, np. aktualnego prezydenta Polski. Jeśli natomiast w języku występuje wyrażenie typu jest obywatelem polskim, to może ono nazywać określony zbiór obiektów, np. zbiór tych osób, które posiadają polskie obywatelstwo. Gdy natomiast w języku mamy wyrażenie typu jest podwładnym, to może ono nazywać relację, która zachodzi pomiędzy dwoma obiektami indywiduowymi, np. relację zachodzącą pomiędzy członkami władz rektorskich wyższej uczelni a jej pozostałymi pracownikami. Definicja prawdy podana przez Tarskiego jest więc zrela-
7 Cóż to jest prawda? 7 tywizowana do określonej interpretacji danego języka. Klasyczna definicja prawdy przybierze zatem postać: (**) Zdanie Z jest prawdziwe w pewnej interpretacji języka, w którym zostało ono napisane, jeśli w rzeczywistości jest tak, jak głosi to zdanie w tej interpretacji. Zdanie Aleksander Kwaśniewski jest obywatelem polskim jest więc zdaniem prawdziwym w przyjętej interpretacji, gdyż jest tak, jak głosi to zdanie w tej interpretacji. Jednakże moglibyśmy zmienić interpretację rozważanego języka przyjmując, że imię własne Aleksander Kwaśniewski nazywa aktualnego prezydenta Stanów Zjednoczonych Ameryki Północnej. Przy założeniu, że odniesienia przedmiotowe pozostałych wyrażeń nie uległyby zmianie zdanie Aleksander Kwaśniewski jest obywatelem polskim jest zdaniem fałszywym. Na zakończenie rozważań związanych z definicją prawdy Tarskiego odnotujmy, iż niektórzy filozofowie twierdzą, że równoważność (*) posiada nadmiarowy charakter. Zgodnie z ich opinią, powiedzieć, że zdanie Z jest zdaniem prawdziwy to nic innego jak wypowiedzieć to zdanie. Zamiast więc mówić, że: zdanie >>Aleksander Kwaśniewski jest obywatelem polskim<< jest zdaniem prawdziwym wystarczy stwierdzić, że Aleksander Kwaśniewski jest obywatelem polskim. Filozofowie ci uważają, że prawdziwość nie jest własnością zdań. Przyjęcie takiego stanowiska prowadzi w konsekwencji do likwidacji filozoficznego problemu prawdy. Wielu filozofów wysuwało inny poważny zarzut wobec klasycznej definicji prawdy. Twierdzili mianowicie, że nie podaje ona żadnego kryterium prawdy, które umożliwiałoby rozstrzygnięcie, czy w rzeczywistości jest tak jak głosi zdanie, którego prawdziwość stwierdzamy. Definicja ta nie posiada, jak mawiali, charakteru operacyjnego. Podobny zarzut stawia się także definicji prawdy podanej przez Tarskiego. Na ten zarzut można odpowiedzieć, że czym innym jest zdefiniowanie znaczenia danego terminu, np. znaczenia terminu prawda, a czym innym określenie warunków jego stosowalności. Jednakże krytycy definicji klasycznej argumentują, że jest ona zupełnie nieprzydatna i dlatego należy zdefiniować pojęcie prawdy w taki sposób, aby sama definicja określała warunki jego stosowalności. Powyższa argumentacja doprowadziła do powstania nieklasycznych kryterialnych koncepcji prawdy. Zgodnie z podstawową ideą, leżącą u podstawy tych koncepcji, prawdzi-
8 8 wość polega na zgodności nośnika prawdy z pewnym ostatecznym kryterium prawdy. Spór dotyczy zatem tego, jakie kryterium uznać za ostateczne. Zanim przejdziemy do krótkiego przedstawienia kryterialnych koncepcji prawdy odnotujmy, że klasyczną koncepcję prawdy nazywa się czasem koncepcją nieepistemiczną, gdyż w żadnej mierze nie uzależnia ona prawdziwości od sposobu jej stwierdzenia, a tym samym od podmiotu poznającego. Z takim uzależnieniem mamy natomiast do czynienia w przypadku kryterialnych koncepcji prawdy i dlatego nazywa się je koncepcjami epistemicznymi Kryterialne koncepcje prawdy Klasyczna koncepcja wiedzy głosi, że wiedzę stanowi zbiór uzasadnionych przekonań prawdziwych 12. Zgodnie z tym określeniem, prawdziwość danego przekonania i uzasadnienie, że jest ono prawdziwe to dwie odrębne kwestie. Prawdziwość może być więc rozumiana klasycznie, a uzasadnienie prawdziwości powinno zakładać określony sposób (sposoby) sprawdzenia, że dane przekonanie jest rzeczywiście prawdziwe. Może się tak zdarzyć, że przekonanie będzie prawdziwe, choć jego prawdziwość nie zostanie uzasadniona lub w ogóle nie może być uzasadniona. Zgodnie z klasyczną koncepcją prawdy, prawdziwość przekonań nie zależy od tego, czy zostały one uzasadnione. Natomiast, w myśl klasycznej koncepcji wiedzy, zgodnie z tym co już powyżej stwierdziliśmy, tylko uzasadnione przekonania prawdziwe stanowią naszą wiedzę na dany temat. Można jednakże postawić pytanie: skąd wiemy, że dane przekonanie jest prawdziwe. Filozofowie, którzy zadawali to pytanie, uważali, że klasyczne absolutne pojęcie prawdy jest całkowicie bezużyteczne. Ich zdaniem, sposób sprawdzania (weryfikacji) przekonań powinien być elementem definicji pojęcia prawdy, dzięki czemu pojęcie to uzyskałoby operacyjny charakter i mogłoby być stosowane na przykład w nauce. Twierdzili bowiem, że prawdziwość zdań jest określona wprost przez metody weryfikacji, że nie jest celowe mówić o innej prawdziwości zdań niż ta, którą nam dają kryteria prawdy [...] Rozróżnienie na epistemiczne i nieepistemiczne koncepcje prawdy można znaleźć w W. Künne [1995, s. 145]. 12 Ponieważ w definicji wiedzy używa się terminu przekonanie dlatego, rozważając kryterialne koncepcje prawdy, za nośnik prawdy przyjmiemy przekonania, które są oczywiście wyrażane w zdaniach. 13 E. Poznański, A. Wundheiler [1966, s. 440].
9 Cóż to jest prawda? 9 Jednakże odwołanie się do kryteriów prawdy narażone jest na argumentację sformułowaną przez sceptyków. Jeśli odwołując się do pewnego kryterium stwierdzimy prawdziwość jakiegoś przekonania, to możemy postawić pytanie, skąd wiemy, że przekonanie uzasadnione na podstawie tego kryterium jest prawdziwe. Zgodnie z kryterialną koncepcją prawdy, kryterium to powinno zostać sprawdzone przez odwołanie się do jakiegoś kryterium prawdy, a to kryterium również powinno zostać sprawdzone przez odwołanie się do pewnego kryterium i tak w nieskończoność. Jeśli uznać poprawność rozumowania sceptyków, to należy zdefiniować prawdziwość jako zgodność nośnika prawdy z ostatecznym i niezawodnym kryterium prawdy 14. W dziejach filozofii kilku kryteriom przypisywano takie właściwości. Jednakże podawane w literaturze filozoficznej sformułowania tych kryteriów cierpią na chroniczną nieprecyzyjność, która sprawia, że niemal z każdym kryterium wiążą się bardzo zaciekłe i skomplikowane spory interpretacyjne. Ze względu na ograniczone ramy tego wykładu przedstawimy bardzo pobieżnie jedynie najważniejsze kryterialne koncepcje prawdy. Jedna z nich ujmuje prawdziwość przekonania (sądu) jako oczywistość. Sąd może być bezpośrednio bądź pośrednio oczywisty. Do sądów bezpośrednio oczywistych zalicza się aksjomaty. Niektórzy twierdzą, że oczywistość aksjomatów bierze się stąd, że są one zdaniami analitycznymi, tzn. takimi które trzeba uznawać na mocy samego znaczenia terminów w nich występujących. Inni uważają, że aksjomaty są zdaniami syntetycznymi posiadającymi charakter aprioryczny, a ich oczywistość, jest konsekwencją wglądu w istotę przedstawień danych w tzw. doświadczeniu czystym 15. Każdy kto jest w stanie w doświadczeniu czystym uchwycić sens aksjomatu o równoległych, uzna jego prawdziwość. Sądy mogą być również bezpośrednio oczywiste dzięki introspekcji. W akcie introspekcji podmiot zdaje sobie sprawę ze swojego przeżycia psychicznego. Jeśli więc mówimy, że boli nas głowa, to zgodnie z kryterialną definicją prawdziwości, odwołującą się do oczywistości opartej na introspekcji, trzeba uznać sąd introspekcyjny za prawdziwy jeśli się go rozumie i wyraża z przekonaniem. Natomiast sąd jest oczywisty w spo- 14 K. Ajdukiewicz wykazał, że rozumowanie sceptyków nie jest poprawne, gdyż aby twierdzenie jakieś uzasadnić, wystarczy dojść do niego stosując jakieś wiarygodne kryterium, nie trzeba zaś wcale nadto wiedzieć, że kryterium zastosowane przy zdobywaniu tego twierdzenia było wiarygodne. [...] Co innego zaś jest uzasadnić jakieś twierdzenie, a co innego wiedzieć, że się je uzasadniło [1949, s. 42]. 15 Zob. K. Ajdukiewicz [1965, s ].
10 10 sób pośredni, jeśli został dowiedziony w oparciu o sądy aksjomatyczne lub introspekcyjne 16. Chyba najbardziej znaną kryterialną koncepcją prawdy jest koncepcja koherencyjna. Jednakże spójność systemu jako kryterium prawdziwości przekonań (sądów) tworzących ten system lub kryterium prawdziwości tego systemu jako całości bywa rozumiana na różne sposoby. Zgodnie z pierwszą, najbardziej rozpowszechnioną wersją tego kryterium, prawdziwość to nie zgodność przekonań (sądów) ze światem, lecz ich wzajemna zgodność. Dany sąd można uznać za prawdziwy jeśli jest niesprzeczny z pozostałymi sądami tworzącymi system. Jeśli więc zastanawiamy się czy jakiś sąd jest prawdziwy, to powinniśmy starać się go uzgodnić z innymi sądami na dany temat 17. Bardzo często kryterium koherencji systemu wiąże się z kryterium powszechnej zgody. Jest to spowodowane tym, że niektóre sądy w systemie wiedzy mają status wyróżniony. Są nimi właśnie te sądy, co do których istnieje powszechna zgoda. Jednakże na kryterium to, aby było ono kryterium, które nie poddaje się zbyt łatwej krytyce, należy nałożyć pewne dodatkowe warunki. Powszechna zgoda dotyczy przede wszystkim tzw. sądów obserwacyjnych, które są wynikiem obserwacji bezpośredniej. Trzeba jednakże założyć, zwłaszcza w nauce, że jest to powszechna zgoda normalnych, bezinteresownych i kompetentnych obserwatorów 18. Powszechna zgoda dotyczy również praw logiki i reguł rozumowania. Ze zdaniami obserwacyjnymi, uwzględniając prawa logiki i reguły rozumowania, uzgadnia się inne zdania systemu. Jednakże kryterium powszechnej zgody trudno uznać za kryterium ostateczne i niepodważalne. Bardzo wielu zdań obserwacyjnych, co do których istniała bądź istnieje powszechna zgoda, nie uznaje się za zdania prawdziwe, gdyż nie są one zgodne z resztą zdań tworzących system. Słynnym przykładem tego typu jest łyżeczka zanurzona w szklance wody, którą każdy normalny obserwator uzna za złamaną na podstawie obserwacji wzrokowej. Ponieważ jednak sąd wyrażający to zdanie nie jest zgodny z innymi zdaniami naszego systemu wiedzy, dlatego nie uznamy go za sąd prawdziwy. W celu utrzymania zgodności 16 Szerzej na temat prawdy i oczywistości zobacz w W. Künne [1995, s ]. 17 Na temat koherencyjnego kryterium prawdy zobacz w: E. Poznański, A. Wundheiler [1966, s ], W. Künne [1995, s ], B. Chwedeńczuk [1984, s ], J. Woleński [1993, s ]. 18 Na temat kryterium powszechnej zgody zobacz w: E. Poznański, A. Wundheiler [1966, s ]. Te zdania, co do których wyrażamy powszechną zgodę w oparciu o obserwację, autorzy nazywają zdaniami elementarnymi.
11 Cóż to jest prawda? 11 systemu trzeba niekiedy zrezygnować także z praw logiki klasycznej, jak to miało miejsce w przypadku mechaniki kwantowej. Nie wydaje się jednakże, aby nawet połączone kryteria koherencji i powszechnej zgody stanowiły ostateczną i niepodważalną instancję umożliwiającą weryfikację każdego zdania, gdyż proces weryfikacji nigdy się nie kończy. Wraz z rozwojem wiedzy trzeba poddawać sprawdzeniu ciągle nowe sądy. Można jednakże założyć, tak jak to uczynił wybitny amerykański filozof Ch. S. Peirce, że choć prawda absolutna nie jest osiągalna, to leży ona w granicy procesu sprawdzania naszej wiedzy. Sąd prawdziwy, to taki sąd, który w końcu, pomimo jego uporczywego krytycznego sprawdzania, zostałby przez wszystkich zaakceptowany. Inny filozof amerykański W. James, należący do tej samej co Peirce orientacji filozoficznej zwanej pragmatyzmem, twierdził, że sąd jest prawdziwy, gdy jest użyteczny. Podobnie jak Peirce, wiązał on prawdziwość z weryfikacją. Prawda jest nazwą jakiejkolwiek idei, która uruchamia ów proces weryfikacji, użyteczność zaś jest nazwą funkcji spełnionej przez nią w doświadczeniu 19. To właśnie W. Jamesa uznaje się za radykalnego wyraziciela koncepcji prawdy wytwarzanej. Prawda nie jest, dla Jamesa i dla wielu współczesnych filozofów, obiektywną własnością naszych przekonań odkrywaną w procesie poznania. Prawda jest czymś, co człowiek tworzy, formułując idee, w oparciu o które działa, a skuteczność tego działania świadczy o ich prawdziwości. Zdaniem współczesnego amerykańskiego filozofa R. Rorty ego, należy odrzucić obecną w dziejach filozofii tendencję do substancjalizacji prawdy, gdyż prawda nie jest przedmiotem do odkrycia 20. Korespondencyjna koncepcja prawdy jest, jego zdaniem, nie do przyjęcia, gdyż nie ma możliwości bezpośredniego konfrontowania przekonań (zdań wyrażających te przekonania) ze stanami rzeczy niezależnymi od podmiotu poznającego. Stan rzeczy w świecie jest zawsze czymś wyrażonym w języku. Gdy jesteśmy zmuszeni do odrzucenia koncepcji stanów rzeczy jako czegoś znajdującego się w świecie i odnoszącego się do naszych przekonań (zdań), to musimy również odrzucić klasyczną definicję prawdy. Skoro język, w którym wyrażamy nasze przekonania jest wytworem człowieka, a szerzej wytworem kultury, to prawda też musi nim być. Z tego punktu widzenia: >prawda< i >fałsz< są właściwościami ludzkiego procesu komunikowania się i nie odnoszą się do kwestii stosunku między naszymi sądami a rzeczywisto- 19 W.James [1998, s.163]. 20 Zob. R. Rorty [1994, s ].
12 12 ścią >w sobie< 21. Dzieje rozważań nad prawdą to próby rozjaśnienia intuicji kryjących się za korespondencyjną definicją prawdy, przeplatające się z próbami definiowania prawdy przez odwołanie się do jakiegoś ostatecznego kryterium prawdy i wreszcie, to próby wyeliminowania tego pojęcia jako filozoficznie bezużytecznego. Wszystkie te dążenia i usiłowania świadczą o kluczowej roli, jaką zagadnienie prawdy odgrywa nie tylko w epistemologii, lecz w całej filozofii. 21 L. Kołakowski [1990, s. 20].
13 Cóż to jest prawda? 13 Literatura Ajdukiewicz K., 1975, Logika pragmatyczna, PWN, Warszawa. Ajdukiewicz K., 1983, Zagadnienia i kierunki filozofii, Czytelnik, Warszawa. Arystoteles 1983, Metafizyka, PWN, Warszawa. Borkowski L., 1970, Logika Formalna, PWN, Warszawa. Chwedeńczuk B., 1984, Spór o naturę prawdy, PIW, Warszawa. Ewangelia według Jana (w:) Pismo Święte Nowego Testamentu w tłum. z greckiego S. Kowalskiego, 1975, IW PAX, Warszawa. James W., 1998, Pragmatyzm. Nowe imię paru starych stylów myślenia, Wyd. KR, Warszawa. Kołakowski L., 1990, Horror metaphysicus, Res Publica, Warszawa. Künne W., 1995, Prawda, (w:) Filozofia. Podstawowe Pytania. (red.) Martens E., Schnädelbach H., Wiedza Powszechna, Warszawa, s Łukasiewicz J., 1987, O zasadzie sprzeczności u Arystotelesa, PWN, Warszawa. Poznański E., Wundheiler A., 1966, Pojęcie prawdy na terenie fizyki, (w:) Logiczna teoria nauki, (red.) Pawłowski T., PWN, Warszawa, s Reale G., 1999, Historia Filozofii Starożytnej. Tom III, Redakcja Wydawnictw KUL, Lublin. Rorty R., 1994, Filozofia a zwierciadło natury, Wyd. Spacja, Warszawa. Tarski A., 1995, Pisma logiczno-filozoficzne. Tom I Prawda. PWN, Warszawa. Woleński J., 1993, Metamatematyka a epistemologia, PWN, Warszawa. Woleński J. 2000, Epistemologia. Tom I. Zarys historyczny i problemy metateoretyczne, Aureus, Kraków. Publikację w formacie *.pdf przygotował Michał Cichocki <cichocki@amu.edu.pl>
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
Filozofia, Germanistyka, Wykład IX - Immanuel Kant
Filozofia, Germanistyka, Wykład IX - Immanuel Kant 2011-10-01 Plan wykładu 1 Immanuel Kant - uwagi biograficzne 2 3 4 5 6 7 Immanuel Kant (1724-1804) Rysunek: Immanuel Kant - niemiecki filozof, całe życie
4. Zagadnienie prawdy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
4. Zagadnienie prawdy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Metafizyczne i epistemologiczne pojęcia prawdziwości (1) Euzebiusz jest prawdziwym
Filozofia, ISE, Wykład V - Filozofia Eleatów.
2011-10-01 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
Elementy filozofii i metodologii INFORMATYKI
Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Wykład 1. Wprowadzenie. Filozofia, metodologia, informatyka Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się
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ł
EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA. I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:
Załącznik nr 1 do uchwały nr 445/06/2012 Senatu UR z dnia 21 czerwca 2012 roku EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA poziom kształcenia profil kształcenia tytuł zawodowy absolwenta I stopień
Filozofia przyrody - Filozofia Eleatów i Demokryta
5 lutego 2012 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 4 Materializm Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej
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ć
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
Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016
Załącznik Nr 1 do Uchwały Senatu AWFiS w Gdańsku Nr 16 z dnia 27 kwietnia 2012 roku Akademia Wychowania Fizycznego i Sportu w Gdańsku SYLABUS NA CYKL KSZTAŁCENIA 2014-2016 Jednostka Organizacyjna: Rodzaj
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych 2011-10-01 Plan wykładu 1 Klasyczny podział dyscyplin filozoficznych 2 Podział dyscyplin filozoficznych Klasyczny podział dyscyplin filozoficznych:
Sylabus dla przedmiotu Logika i ogólna metodologia nauk
Sylabus dla przedmiotu Logika i ogólna metodologia nauk 1. Definicja pojęcia logika Wprowadzenie w tematykę przedmiotu (szkic czym jest logika, jak należy ją rozumieć, przedmiot logiki, podział logika
Kultura logiczna Wnioskowania dedukcyjne
Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a
EGZAMIN MATURALNY 2010 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2010 FILOZOFIA POZIOM ROZSZERZONY Klucz punktowania odpowiedzi MAJ 2010 2 Zadanie 1. (0 2) problemów i tez z zakresu ontologii, epistemologii,
Filozofia, Historia, Wykład IX - Filozofia Kartezjusza
Filozofia, Historia, Wykład IX - Filozofia Kartezjusza 2010-10-01 Plan wykładu 1 Krytyka nauk w Rozprawie o metodzie 2 Zasady metody Kryteria prawdziwości 3 Rola argumentów sceptycznych Argumenty sceptyczne
Filozofia, Historia, Wykład V - Filozofia Arystotelesa
Filozofia, Historia, Wykład V - Filozofia Arystotelesa 2010-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Podział nauk Arystoteles podzielił wszystkie dyscypliny wiedzy na trzy grupy:
Filozofia, ISE, Wykład X - Filozofia średniowieczna.
Filozofia, ISE, Wykład X - Filozofia średniowieczna. 2011-10-01 Plan wykładu 1 Filozofia średniowieczna a starożytna 2 3 Ogólna charakterystyka filozofii średniowiecznej Ogólna charakterystyka filozofii
INFORMATYKA a FILOZOFIA
INFORMATYKA a FILOZOFIA (Pytania i odpowiedzi) Pytanie 1: Czy potrafisz wymienić pięciu filozofów, którzy zajmowali się także matematyką, logiką lub informatyką? Ewentualnie na odwrót: Matematyków, logików
Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności prawa a derywacyjne argumenty systemowe. Studenckie Zeszyty Naukowe 9/13, 84-87
Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności prawa a derywacyjne argumenty systemowe Studenckie Zeszyty Naukowe 9/13, 84-87 2006 Katarzyna Wojewoda-Buraczyńska Koncepcja multicentryczności
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
Spór o poznawalność świata
ROMAN ROŻDŻEŃSKI FILOZOFIA A RZECZYWISTOŚĆ Spór o poznawalność świata Wydawnictwo WAM Kraków 2012 Spis treści Przedmowa 11 Rozdział I Myślenie filozoficzne w cieniu zwątpienia 15 1. Wprowadzenie 15 2.
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM PODSTAWOWY Kryteria oceniania odpowiedzi MAJ 2013 2 Egzamin maturalny z filozofii Część I (20 punktów) Zadanie 1. (0
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.:
Zasady krytycznego myślenia (1)
Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2017 Przedmiot wykładu krytyczne myślenie vs logika praktyczna (vs logika formalna) myślenie jasne, bezstronne, oparte
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...
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ę
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
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
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ć.
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ć
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)
O argumentach sceptyckich w filozofii
O argumentach sceptyckich w filozofii - Czy cokolwiek można wiedzieć na pewno? - Czy cokolwiek można stwierdzić na pewno? Co myśli i czyni prawdziwy SCEPTYK? poddaje w wątpliwość wszelkie metody zdobywania
Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów
Załącznik nr 1 do Uchwały Nr 49/2015 Senatu UKSW z dnia 23 kwietnia 2015 r. Filozofia I stopień Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia
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
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:
ARGUMENTY KOSMOLOGICZNE. Sformułowane na gruncie nauk przyrodniczych
ARGUMENTY KOSMOLOGICZNE Sformułowane na gruncie nauk przyrodniczych O CO CHODZI W TYM ARGUMENCIE Argument ten ma pokazać, że istnieje zewnętrzna przyczyna wszechświata o naturze wyższej niż wszystko, co
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
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 2 Zadanie 1. (0 4) Obszar standardów Opis wymagań Znajomość i rozumienie
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
Problemy filozofii - opis przedmiotu
Problemy filozofii - opis przedmiotu Informacje ogólne Nazwa przedmiotu Problemy filozofii Kod przedmiotu 08.1-WH-FP-PF-S16 Wydział Kierunek Wydział Humanistyczny Filozofia Profil ogólnoakademicki Rodzaj
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
1. Dyscypliny filozoficzne. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
1. Dyscypliny filozoficzne Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Pochodzenie nazwy filozofia Wyraz filozofia pochodzi od dwóch greckich słów:
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
Załącznik nr 2a Uchwała UZdsZJKwUG nr 1/2012 (3)
Opis zakładanych efektów kształcenia dla kierunku filozofia, studia pierwszego stopnia, stacjonarne i niestacjonarne (macierz efektów obszarowych i kierunkowych wraz z przypisanymi im przedmiotami) Przedmioty
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI
Maria Romanowska UDOWODNIJ, ŻE... PRZYKŁADOWE ZADANIA MATURALNE Z MATEMATYKI Matematyka dla liceum ogólnokształcącego i technikum w zakresie podstawowym i rozszerzonym Z E S Z Y T M E T O D Y C Z N Y Miejski
Epistemologia. Organizacyjnie. Paweł Łupkowski Instytut Psychologii UAM 1 / 19
1 / 19 Epistemologia Organizacyjnie Paweł Łupkowski Instytut Psychologii UAM 22.02.2018 2 / 19 Epistemologia https://plupkowski.wordpress.com/dydaktyka/ pawel.lupkowski@gmail.com (mówiacy tytuł wiadomości!)
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS
Elementy filozofii i metodologii INFORMATYKI
Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się Ogół rozmyślań, nie zawsze naukowych, nad naturą człowieka,
Efekty kształcenia dla kierunku studiów filozofia studia pierwszego stopnia - profil ogólnoakademicki
Efekty kształcenia dla kierunku studiów filozofia studia pierwszego stopnia - profil ogólnoakademicki Umiejscowienie kierunku w obszarach kształcenia Kierunek studiów filozofia należy do obszaru kształcenia
Uniwersytet Śląski w Katowicach str. 1 Wydział
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: teologia, jednolite magisterskie Specjalność: teologia nauczycielska i ogólna Sylabus modułu: Filozofia logika i epistemologia (11-TS-12-FLEa)
Marian Przełęcki. Prawda 1
Marian Przełęcki Prawda 1 1. Pojęcie prawdy należy do podstawowych kategorii filozoficznych, a zagadnienie istoty prawdy stanowi jeden z naczelnych problemów filozoficznej teorii poznania. Wyrażenia prawda,
Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 4. Semantyka Klasycznego Rachunku Zdań 1 Skróty: Język Klasycznego Rachunku Zdań zamiast Klasyczny Rachunek Zdań piszę
ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ
LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ Robert Trypuz Katedra Logiki KUL 18 grudnia 2013 Robert Trypuz (Katedra Logiki) Wnioskowanie 18 grudnia 2013 1 / 12 Zarys 1 Wnioskowanie Definicja Schemat wnioskowania
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
Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 15 stycznia 2011 Michał Lipnicki () Logika 15 stycznia 2011 1 / 37 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych
EGZAMIN MATURALNY W ROKU SZKOLNYM 2017/2018 FILOZOFIA
EGZAMIN MATURALNY W ROKU SZKOLNYM 2017/2018 FILOZOFIA POZIOM ROZSZERZONY FORMUŁA OD 2015 ( NOWA MATURA ) ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R1 MAJ 2018 Uwaga: akceptowane są wszystkie odpowiedzi
Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
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
EGZAMIN MATURALNY 2011 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 FILOZOFIA POZIOM ROZSZERZONY MAJ 2011 2 Egzamin maturalny z filozofii poziom rozszerzony Zadanie 1. (0 1) Obszar standardów B. Opis wymagań
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
David Hume ( )
David Hume (1711-1776) Chciał być Newtonem nauk o człowieku. Uważał, że wszystkie nauki (oprócz matematyki i logiki), również filozofia, powinny kierować się metodą eksperymentalną, opartą na doświadczeniu.
Liczba godzin/zjazd: 2W, 1S
Nazwa przedmiotu: Kierunek: Rodzaj przedmiotu: Ogólny nietechniczny do wyboru Rodzaj zajęć: Wyk., Sem. FILOZOFIA, PHILOSOPHY Inżynieria Materiałowa Poziom studiów: forma studiów: Studia I stopnia studia
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
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:
NOWE ODKRYCIA W KLASYCZNEJ LOGICE?
S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE
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,
Wstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
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
Filozofia, Pedagogika, Wykład III - Filozofia archaiczna
Filozofia, Pedagogika, Wykład III - Filozofia archaiczna 2009-09-04 Plan wykładu 1 Jońska filozofia przyrody - wprowadzenie 2 3 Jońska filozofia przyrody - problematyka Centralna problematyka filozofii
Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20
Przedmowa Wykaz skrótów XIII XV Część A. Wprowadzenie Rozdział I. Rys historyczny 1 1. Początki logiki jako nauki 1 2. Średniowiecze 2 3. Czasy nowożytne i współczesne 4 Rozdział II. Podstawowe prawa myślenia
Edward Nęcka Głos w dyskusji. Diametros nr 6,
Diametros nr 6, 165-168 2005 Diametros nr 6 (grudzień 2005): 165-168 Edward Nęcka Jako psycholog poznawczy z sympatią spoglądający w kierunku psychologii ewolucyjnej, przyjmuję postulat naturalizacji epistemologii
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - OCENIANIE BIEŻĄCE, SEMESTRALNE I ROCZNE (2015/2016)
WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO - OCENIANIE BIEŻĄCE, SEMESTRALNE I ROCZNE (2015/2016) Ocena dopuszczająca: Ocenę dopuszczającą otrzymuje uczeń, który opanował wiadomości i umiejętności określone
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
OPIS PRZEDMIOTU, PROGRAMU NAUCZANIA ORAZ SPOSOBÓW WERYFIKACJI EFEKTÓW KSZTAŁCENIA. CZEŚĆ A * (opis przedmiotu i programu nauczania) OPIS PRZEDMIOTU
Załącznik Nr 1.11 pieczątka jednostki organizacyjnej OPIS PRZEDMIOTU, PROGRAMU NAUCZANIA ORAZ SPOSOBÓW WERYFIKACJI EFEKTÓW KSZTAŁCENIA CZEŚĆ A * (opis i programu nauczania) OPIS PRZEDMIOTU Nazwa Kod Seminarium
LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013
LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne
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).
Marian Przełęcki Prawda. Filozofia Nauki 1/2/3,
Marian Przełęcki Prawda Filozofia Nauki 1/2/3, 389-399 1993 Filozofia Nauki Rok I, 1993, Nr 2-3 Prawda 1. Pojęcie prawdy należy do podstawowych kategorii filozoficznych, a zagadnienie istoty prawdy stanowi
Gilsonowska metoda historii filozofii. Artur Andrzejuk
Gilsonowska metoda historii filozofii Artur Andrzejuk PLAN 1. Gilsonowska koncepcja historii filozofii jako podstawa jej metodologii 2. Charakterystyka warsztatu historyka filozofii na różnych etapach
POSTANOWIENIE. SSN Piotr Prusinowski
Sygn. akt I UK 42/18 POSTANOWIENIE Sąd Najwyższy w składzie: Dnia 21 lutego 2019 r. SSN Piotr Prusinowski w sprawie z odwołania A. S.-H. przeciwko Zakładowi Ubezpieczeń Społecznych Oddziałowi w B. o zasiłek
Konspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (z dnia 24.11.2006) Poprawność rozumowania. Wynikanie Na wykładzie, na którym omawialiśmy przedmiot logiki, powiedzieliśmy, że pojęcie logiki wiąże się
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
STUDIA PODYPLOMOWE FILOZOFII I ETYKI
Załącznik nr 1 do Uchwały nr /2012 Senatu UKSW z dnia 25 września 2012 r. STUDIA PODYPLOMOWE FILOZOFII I ETYKI Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia Nazwa kierunku studiów
Czym jest religia i czy filozofia może ją badać. Problem wiary, rozumu i logiki Definicja religii
Czym jest religia i czy filozofia może ją badać Problem wiary, rozumu i logiki Definicja religii Wiara i rozum Czy rozum potrafi udowodnić wszystkie prawdy religijne, czy tylko niektóre, czy może nie jest
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ść
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
166 Wstęp do statystyki matematycznej
166 Wstęp do statystyki matematycznej Etap trzeci realizacji procesu analizy danych statystycznych w zasadzie powinien rozwiązać nasz zasadniczy problem związany z identyfikacją cechy populacji generalnej
Pojęcie stosowania prawa. Kompetencja do stosowania prawa
Pojęcie stosowania prawa Pojęcie stosowania prawa W prawoznawstwie stosowanie prawa nie jest pojęciem w pełni jednoznacznym, gdyż konkretny model stosowania prawa może wykazywać szereg cech związanych
EFEKTY KSZTAŁCENIA DLA STUDIÓW PIERWSZEGO I DRUGIEGO STOPNIA (LICENCJACKICH I MAGISTERSKICH) NA KIERUNKU: FILOZOFIA
Załącznik nr 1 do Uchwały nr 21/2012 Senatu UPJPII z dnia 21 maja 2012 r. EFEKTY KSZTAŁCENIA DLA STUDIÓW PIERWSZEGO I DRUGIEGO STOPNIA (LICENCJACKICH I MAGISTERSKICH) NA KIERUNKU: FILOZOFIA Tabela odniesień
Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
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
FILOZOFIA PHILOSOPHY. Liczba godzin/tydzień: 1W, 1S
Nazwa przedmiotu: Kierunek: Rodzaj przedmiotu: Ogólny nietechniczny do wyboru Rodzaj zajęć: Wyk., Sem. FILOZOFIA PHILOSOPHY Inżynieria Materiałowa Poziom studiów: forma studiów: Studia I stopnia studia
INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)
PARADYGMAT INTUICJE Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998) PIERWSZE UŻYCIA językoznawstwo: Zespół form deklinacyjnych lub koniugacyjnych
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
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
Matematyka Dyskretna 2/2008 rozwiązania. x 2 = 5x 6 (1) s 1 = Aα 1 + Bβ 1. A + B = c 2 A + 3 B = d
C. Bagiński Materiały dydaktyczne 1 Matematyka Dyskretna /008 rozwiązania 1. W każdym z następujących przypadków podać jawny wzór na s n i udowodnić indukcyjnie jego poprawność: (a) s 0 3, s 1 6, oraz
Logika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny