5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016

Podobne dokumenty
Wprowadzenie do logiki epistemicznej. Przekonania i wiedza

Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność

Kultura logiczna Wnioskowania dedukcyjne

4. Zagadnienie prawdy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016

6. Zagadnienia źródła poznania I Psychologiczne zagadnienie źródła poznania

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

EPI 17/18 Podsumowanie. Paweł Łupkowski

Elementy logiki i teorii mnogości

Wstęp do filozofii. wykład 9: Zagadnienia epistemologii: czym jest wiedza? dr Mateusz Hohol. sem. zimowy 2014/2015

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. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań

1. Dyscypliny filozoficzne. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016

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

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015

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

UCHWAŁA NR 71/2017 SENATU UNIWERSYTETU WROCŁAWSKIEGO z dnia 31 maja 2017 r.

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1

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

Wstęp do logiki. Klasyczny Rachunek Zdań II

EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA. I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:

LOGIKA I TEORIA ZBIORÓW

Logika formalna SYLABUS A. Informacje ogólne

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Konspekt do wykładu z Logiki I

Epistemologia. Organizacyjnie. Paweł Łupkowski Instytut Psychologii UAM 1 / 19

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

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

EGZAMIN MATURALNY 2013 FILOZOFIA

Wykład 4. Decyzje menedżerskie

Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,

1. WPROWADZENIE. Metody myślenia ta części logiki, która dotyczy zastosowania. praw logicznych do praktyki myślenia.

EGZAMIN MATURALNY 2010 FILOZOFIA

Logika dla socjologów Część 2: Przedmiot logiki


11. Zagadnienia granic poznania II

Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

Podstawy logiki praktycznej

KLASYCZNA KONCEPCJA RELIGII

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

Filozofia umysłu. Eliminatywizm. Wykład VIII: w filozofii umysłu

CZY EPISTEMOLOGIA CNÓT POZWOLI NAM ROZWIĄZAĆ PROBLEM GETTIERA?

Systemy ekspertowe. Reprezentacja wiedzy niepewnej i wnioskowanie w warunkach niepewności. Model współczynników pewności.

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

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

mgr Anna Dziuba Uniwersytet Wrocławski mgr Anna Dziuba

Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów

Konceptualizacja i definiowanie SYLABUS A. Informacje ogólne

Logika intuicjonistyczna

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

RACHUNEK PRAWDOPODOBIEŃSTWA - POJĘCIA WSTĘPNE MATERIAŁY POMOCNICZE - TEORIA

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

INFORMATYKA a FILOZOFIA

Ogólna metodologia nauk SYLABUS A. Informacje ogólne. Semiotyka kognitywna, Konceptualizacja i definiowanie

Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań

Zależność cech (wersja 1.01)

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

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

Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM

Filozofia, Germanistyka, Wykład IX - Immanuel Kant

Wstęp do logiki. Klasyczny Rachunek Zdań III

Logika pragmatyczna dla inżynierów

Rachunek prawdopodobieństwa Rozdział 3. Prawdopodobieństwo warunkowe i niezależność zdarzeń.

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Konspekt do wykładu Logika I

Główne problemy kognitywistyki: Reprezentacja

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ

WYKŁAD I CZYM JEST ARGUMENTACJA PRAWNICZA?

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2


Termin s t e r e o t y p pochodzi z języka greckiego, gdzie stereós oznacza stężały, twardy, Stereotyp

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

Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?

KIERUNKOWE EFEKTY KSZTAŁCENIA KIERUNEK STUDIÓW INFORMATYCZNE TECHNIKI ZARZĄDZANIA

Michał Niedośpiał Glosa do postanowienia Sądu Najwyższego z 21 stycznia 2011 r., III CSK 98. Palestra 58/5-6( ),

Zajęcia nr. 3 notatki

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

prawda symbol WIEDZA DANE komunikat fałsz liczba INFORMACJA (nie tyko w informatyce) kod znak wiadomość ENTROPIA forma przekaz

Matematyka ETId Elementy logiki

PROGRAM STUDIÓW WYŻSZYCH ROZPOCZYNAJĄCYCH SIĘ W ROKU AKADEMICKIM 2014/2015 FILOZOFIA. data zatwierdzenia przez Radę Wydziału. kod programu studiów

Elementy logiki matematycznej

Danuta Sterna: Strategie dobrego nauczania

LOGIKA Klasyczny Rachunek Zdań

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety

Krytyka współczesnych koncepcji polityki społecznej

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną

Dalszy ciąg rachunku zdań

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Metody probabilistyczne klasyfikatory bayesowskie

Efekty kształcenia dla kierunku studiów filozofia studia pierwszego stopnia - profil ogólnoakademicki

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

1. ŹRÓDŁA WIEDZY O ORGANIZACJI I ZARZĄDZANIU ORAZ JEJ DOTYCHCZASOWY ROZWÓJ

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego

Transkrypt:

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 rozróżnijmy (za Russellem; 1912 r.) dwa typy wiedzy. Powiemy, że bezpośrednio znamy to, co uświadamiamy sobie wprost, bez pośrednictwa jakichś wnioskowań czy pewnej znajomości prawd. Tak więc, bezpośrednio znam dane zmysłowe, składające się na zjawisko mego, stojącego nieopodal stołu ( ). W przeciwieństwie do tego, moja wiedza o stole jako przedmiocie fizycznym nie jest wiedzą bezpośrednią. ( ) Temu rodzajowi wiedzy, którego przykład stanowi moja wiedza o stole, nadamy miano wiedzy przez opis. ( ) Znamy opis i wiemy, że istnieje dokładnie jeden przedmiot, do którego się ów opis stosuje. W takim przypadku mówimy, że nasza wiedza o przedmiocie jest wiedzą przez opis. Bertrand Russell, Problemy filozofii Uwaga: Wiedzy bezpośredniej dostarczają nie tylko zmysły, ale również 2 introspekcja i pamięć..

Wiedza zawarta w sądach (propositional knowledge) Wiedza przez opis (ang. knowledge by description) to przykład wiedzy zawartej w sądach (tak tłumaczymy tu angielski termin propositional knowledge), czyli takiej, której nośnikami są sądy w sensie logicznym (ang. propositions). Sąd w sensie logicznym jest przedmiotem abstrakcyjnym, zobiektywizowanym znaczeniem zdania oznajmującego. Zdanie oznajmujące wyraża sąd w sensie logicznym nie ma jednak jednoznacznej odpowiedniości między nimi: ten sam sąd może być wyrażony za pomocą różnych zdań, a to samo zdanie w różnych okolicznościach jego wypowiedzenia -- może wyrażać różne sądy. Dalej mówiąc o sądach, będę miał na myśli sądy w sensie logicznym. 3

Wiedza bezpośrednia (non-propositional) Pytanie: czy istnieje wiedza, która nie ma charakteru zawartej w sądach (propositional knowledge)? Tak. Taki charakter może mieć przykładowo - wiedza bezpośrednia (ang. knowledge by acquaintance), o której mówi Russell. Wydaje się, że można wyższym zwierzętom przypisywać jakiś rodzaj wiedzy, ale jest raczej mało prawdopodobne, żeby zwierzęta miały wiedzę zawartą w sądach. 4

Wiedza bezpośrednia (non-propositional) Wiedzą, która nie ma charakteru zawartej w sądach, nie będziemy się zajmować na tym wykładzie, ponieważ jest ona mało zbadana na gruncie epistemologii (lepiej na gruncie psychologii poznawczej i kognitywistyki). 5

Wiedza zawarta w sądach Dla potrzeb tego wykładu przyjmujemy następujące założenie/ uproszczenie: rozważamy wyłącznie wiedzę zawartą w sądach (propositional knowledge). Ponadto będzie nas interesować głównie kontekst: x wie, że p gdzie na miejsce p wolno podstawić zdanie oznajmujące. Poza zasięgiem rozważań pozostaną zatem wiedza jak, wiedza intuicyjna, wiedza instynktowna, a także wiedza bezpośrednia w sensie Russella, etc. 6

Zenobiusz wie, jak uwieść Eulalię. Zenobiusz zna Kalasantego. to nas nie interesuje - chwilowo 7

Klasyczna koncepcja wiedzy Definicja: x wie, że p wtedy i tylko wtedy, gdy: 1. zdanie p jest prawdziwe oraz 2. x jest przekonany, że p, a ponadto 3. x ma wystarczające uzasadnienie dla swego przekonania, że p. prawdziwe znaczy tutaj najczęściej (ale nie zawsze) prawdziwe w sensie klasycznym. Wówczas warunek 1 jest równoważny warunkowi: 1. [jest tak, że] p Platon i niektórzy inni filozofowie zastąpiliby warunek 3 warunkiem: 3. jest niepowątpiewalne [pewne], że p. 8

Formułując klasyczną definicję wiedzy, nie dążymy do tego, aby oddać, co potocznie rozumiemy pod pojęciem wiedzy, że. Cel jest inny: chodzi o przesądzenie, co zasługuje na miano wiedzy, że. 9

Klasyczna definicja wiedzy: sformułowanie alternatywne x wie, że p wtedy i tylko wtedy, gdy: [knows] 1. jest tak, że p, [is true] 2. x jest przekonany, że p, oraz [believes] 3. x ma wystarczające podstawy, [is justified dla swojego przekonania, że p. in believing] Uwaga: Angielskie believes jest tu tłumaczone jako jest przekonany, a nie jako wierzy. 10

Klasyczna koncepcja wiedzy Przykład 1: Zenobiusz wie, że Haga jest stolicą Holandii wtedy i tylko wtedy, gdy: 1. jest tak, że Haga jest stolicą Holandii, oraz 2. Zenobiusz jest przekonany, że Haga jest stolicą Holandii, a ponadto 3. Zenobiusz ma wystarczające uzasadnienie dla swego przekonania, że Haga jest stolicą Holandii. gdy co najmniej jeden z tych warunków nie jest spełniony, musimy powiedzieć, że Zenobiusz nie wie, że Haga jest stolicą Holandii 11

Klasyczna koncepcja wiedzy Przykład 2: Zenobiusz wie, że Ziemia jest płaska wtedy i tylko wtedy, gdy: 1. jest tak, że Ziemia jest płaska oraz 2. Zenobiusz jest przekonany, że Ziemia jest płaska, a ponadto 3. Zenobiusz ma wystarczające uzasadnienie dla swego przekonania, że Ziemia jest płaska. ponieważ Ziemia nie jest płaska, nie można wiedzieć, że Ziemia jest płaska. Można natomiast być co do tego przekonanym, co więcej, niekoniecznie bez uzasadnienia! 12

Problem Gettiera To, czy podana definicja trafnie ujmuje podstawowe intuicje leżące u podstaw (normatywnego) pojęcia wiedzy, że stało się problematyczne za sprawą trzystronicowego artykułu Edmunda Gettiera pt. Is Justified True Belief Knowledge? (1963). 13

Problem Gettiera: przykład Smith jest przekonany i ma ku temu wystarczające uzasadnienie, iż: (1) Jones posiada Fiata. Smith ma kolegę, Browna, o którego losie nie ma żadnych informacji. Smith wybiera trzy przypadkowe nazwy miast i konstruuje następujące zdania: (2) Jones posiada Fiata lub Brown jest w Bostonie. (3) Jones posiada Fiata lub Brown jest w Barcelonie. (4) Jones posiada Fiata lub Brown jest w Londynie. Smith jest świadom wynikania każdego z tych zdań ze zdania (1), a ponieważ (1) jest jego wystarczająco uzasadnionym przekonaniem, takiego samego charakteru nabierają zdania (2), (3) i (4). Smith nadal nie ma pojęcia, gdzie jest Brown. Przypuśćmy teraz, że zdanie (1) jest fałszywe, natomiast jest tak, że Brown jest w Barcelonie (o czym Smith nie wie). Wówczas: na mocy definicji wiedzy Smith wie, że Jones posiada Fiata lub Brown jest w Barcelonie, intuicyjnie rzecz biorąc, trudno jest nam przyjąć, że Smith to wie. 14

Problem Gettiera Problem Gettiera to problem czwartego warunku, którym należy uzupełnić definicję wiedzy, że. Proponowano różne rozwiązania. Przykładowo: (zasada Lehrera) Wystarczające uzasadnienie, o którym mowa jest w warunku 3 definicji wiedzy, nie zależy od jakiegokolwiek zdania fałszywego. 15

Problem Gettiera (przyczynowa teoria wiedzy) Wymaga się, aby przyczyną żywienia przekonania, że p był fakt zachodzenia tego, że p. W przytoczonym przykładzie Gettiera sytuacja jest odmienna: przyczyną żywienia przez Smitha przekonania, że Jones ma Forda lub Brown jest w Barcelonie jest to, że Smith ma wystarczające podstawy, by być przekonanym co do pierwszego członu alternatywy, a zatem, na mocy praw logiki, co do całej alternatywy. 16

Problem Gettiera Wadą teorii przyczynowej jest, że wyklucza ona wiedzę matematyczną. Fakty matematyczne, na przykład fakt, że 2 + 2 = 4, nie działają na nas przyczynowo, bo przedmioty abstrakcyjne nie działają przyczynowo na przedmioty fizyczne. Wobec tego dyskusja toczyła się (i nadal się toczy) dalej. Nie będzie ona jednak przedmiotem tego wstępnego wykładu. 17

Dodatek: nastawienia sądzeniowe w świetle logiki epistemiczenej Wiedza (knowledge) i przekonanie (belief) to centralne pojęcia działu logiki zwanego logiką epistemiczną. W obrębie logiki epistemicznej rozróżnia się następujące nastawienia sądzeniowe (ang. propositional attitudes): jest przekonany, że [believes that], jest całkowicie przekonany, że [is convinced that], wie, że [knows that]. 18

Dodatek: nastawienia sądzeniowe w świetle logiki epistemiczenej Często ujmuje się to tak: x jest przekonany, że p wtw prawdopodobieństwo subiektywne tego, że zachodzi p jest w opinii x-a większe od ½. x jest całkowicie przekonany, że p wtw prawdopodobieństwo subiektywne tego, że zachodzi p jest w opinii x-a równe 1. x wie, że p wtw x jest całkowicie przekonany, że p, a ponadto jest tak, że p (tj. zdanie p jest prawdziwe). [ wtw skraca wtedy i tylko wtedy, gdy ] 19

Zauważmy na koniec, że w świetle klasycznej koncepcji wiedzy niezależnie od przyjętego wariantu można wiedzieć, że p pod warunkiem, że zdanie p jest prawdą w sensie klasycznym. Gdy zmienimy i/lub osłabimy ten warunek, otrzymamy pojęcie wiedzy o zasadniczo innej treści. 20