Wstęp do filozofii. wykład 4: (niektóre) narzędzia filozofa. dr Mateusz Hohol. sem. zimowy 2014/2015

Wielkość: px
Rozpocząć pokaz od strony:

Download "Wstęp do filozofii. wykład 4: (niektóre) narzędzia filozofa. dr Mateusz Hohol. sem. zimowy 2014/2015"

Transkrypt

1 Wstęp do filozofii wykład 4: (niektóre) narzędzia filozofa dr Mateusz Hohol sem. zimowy 2014/2015

2

3 Argument/acja Ogólnie (bardzo!): zdanie przytaczane w celu uzasadnienia jakiejś tezy Uwaga: istnieje wiele typów argumentów, a co za tym idzie wiele typów argumentacji Między innymi wyróżnić można argumenty/argumentacje: logiczne faktualne retoryczne emocjonalne (nie są merytoryczne) argumenty z autorytetu (bardzo wątpliwy typ argumentu )

4 Argumentacja a dowodzenie Co odróżnia argumentację od formalnie poprawnego dowodzenia? Przede wszystkim to, że znaki używane w dowodzeniu uznajemy za pozbawione wszelkiej dwuznaczności, podczas gdy argumentacja rozwija się w języku naturalnym, którego dwuznaczności nie da się wykluczyć. Po drugie, poprawne dowodzenie jest dowodzeniem zgodnym z regułami jasno określonymi w ramach systemów sformalizowanych. Również i to ( ), że status aksjomatów, zasad, od których wychodzimy, jest inny w dowodzeniu, a inny w argumentacji. W dowodzeniu matematycznym aksjomaty nie podlegają dyskusji; niezależnie od tego czy uznajemy je za oczywiste, prawdziwe, czy przyjmujemy jako pewne hipotezy, niewiele nas obchodzi czy audytorium zaakceptowało je czy też nie ( ). Ze względu na to, że celem argumentacji nie jest wyprowadzenie określonych konsekwencji z pewnych przesłanek, lecz wywołanie lub wzmocnienie poparcia audytorium dla tez przedkładanych mu do akceptacji, argumentacja zakłada w istocie umysłowy kontakt między mówcą i jego słuchaczami: mowa musi być wysłuchana, książka przeczytana, bez tego ich oddziaływanie byłoby żadne. Chaim Perelman, Imperium retoryki

5 Teoria dowodu matematycznego W metamatematyce sformułowanej przez Davida Hilberta: Teoria: domknięty dedukcyjnie zbiór zdań teoria nie może być sprzeczna (nie może znaleźć się w niej para zdań sprzecznych, czyli takich, że p i ~p) Konsekwencja logiczna: związana jest z działaniem niezawodnych reguł wnioskowania (inaczej: reguł inferencji) z konsekwencja logiczna: wtw., gdy pewne zdanie można wyprowadzić za pomocą niezawodnych reguł inferencji z określonego zbioru zdań w przypadku teorii metamatematycznej zdania te są określane jako aksjomaty teorii Twierdzenie: zdanie, które można wyprowadzić za pomocą reguł inferencji z aksjomatów, czyli zdanie mające dowód nie jest istotna treść zdań, a jedynie syntaktyczna poprawność przekształceń symboli. Dowód: ciąg przekształceń (symbolicznych), w którym każdy kolejny krok (zdanie) wynika z poprzednich (lub jest aksjomatem). Zdanie otrzymywane w ostatnim kroku dowodu jest twierdzeniem teorii

6

7 Sylogizm Sylogizm: wnioskowanie o dwóch przesłankach z których wypływa wniosek; każda z przesłanek zawiera wspólny element; w przypadku niezawodnych trybów (np. barbara) wniosek niezawodnie wynika z przesłanek Nieśmiertelny przykład sylogizmu (tryb barbara): Wszyscy ludzie są śmiertelni Bertrand Russell jest człowiekiem ============================ Bertrand Russell jest śmiertelny

8 Dedukcja indukacja abdukcja Dedukcja: Wszystkie fasolki z tego woreczka są białe. Te fasolki są z tego woreczka Te fasolki są białe. Indukcja: Te fasolki są z tego woreczka. Te fasolki są białe Wszystkie fasolki z tego woreczka są białe.

9 Problemy z indukcją: opowieść Bertranda Russella o kurczaku

10 Dedukcja indukacja abdukcja Załóżmy, że wchodze do pokoju i znajduję tam kilka woreczków zawierających rozmaite rodzaje fasolek. Na stole leży rozsypana garśc białych ziaren; po chwili poszukiwania okazuje sie, że jeden z woreczków zawiera wyłącznie białe fasolki [Peirce , za: Urbański 2009]. Wniosek abdukcyjny: białe ziarenka ze stołu pochodzą z tego woreczka Schemat abdukcji: Wszystkie fasolki z tego woreczka są białe. Te fasolki są białe Te fasolki są z tego woreczka.

11 (niezbyt) krótka historia abdukcji Arystoteles, Analityki pierwsze Wyróżnił rozumowania w których: wprowadzenie przesłanki uznanej hipotetycznie, z mniejszym lub większym stopniem stanowczości, służy uprawdopodobnieniu wniosku, uprzednio nieuznawanego w ogóle bądź uznawanego z mniejszą stanowczością (M. Urbański, Rozumowania abdukcyjne, s. 60). Charles Sanders Peirce Abdukcja: rozumowanie uprawdopadabniające Gilbert Harman i Peter Lipton Wnioskowanie do najlepszego wyjaśnienia (IBE)

12 Peirce: inferencyjna teoria abdukcji Etapy działalności naukowej: Pierwszym etapem jest abdukcja, drugim dedukcja, która dostarcza predykcji, trzecim zaś indukcja, za pomocą której testowane są predykcje. Schemat abudkcji Obserwujemy zaskakujące zjawisko C. Gdyby A było prawdziwe, zachowanie C byłoby oczywiste Mamy zatem podstawy, by sądzić, że A jest prawdziwe. Model wnioskowania z uznanego następnika: C, A C A

13 Wnioskowanie do najlepszego wyjaśnienia Schemat IBE: D domaga się wyjaśnienia (D może być zbiorem danych, zjawisk, faktów itd.). Gdyby hipoteza H byłaby prawdziwa, wyjaśniałaby dane D. Nie ma żadnej hipotezy, która lepiej wyjaśniałaby D niż hipoteza H Hipoteza H jest najlepszym wyjaśnieniem D i jest przypuszczalnie prawdziwa.

14 Kilka słów o roli eksperymentów myślowych w filozofii i nauce

15 Reductio ad absurdum Galileuszowy dowód na to, że ciężkie rzeczy nie spadają szybciej niż rzeczy lżejsze (gdy tarcie jest pomijalne) Jeśli spadałyby one szybciej, to ponieważ ciężki kamień A spadłby szybciej niż lekki kamień B, to jeśli przywiązalibyśmy A do B, kamień B powstrzymywałby kamień A zwalniając jego upadek. Ale A przywiązane do B są cięższe niż sam kamień A więc oba kamienie również powinny spadać szybciej niż sam kamień A. Na tej podstawie wyciągnęliśmy wniosek, że przywiązanie B do A, powinno sprawić zarówno spadanie czegoś wolniej, jak i szybciej niż spadanie samego A, co jest sprzecznością (Dennev, Dźwignie wyobraźni, w druku)

16 J.R. Searle, Umysły, mózgi i programy, [w:] Filozofia umysłu, red. B. Chwedeńczuk, Warszawa 1995 Eksperyment myślowy: Chiński Pokój Johna Searle a (i) znajdujesz się w pokoju pełnym chińskich tekstów (ii) nie znasz języka chińskiego (iii) otrzymujesz instrukcję (po polsku), która zawiera kompletny zbiór operowania chińskimi znakami wyłącznie na podstawie ich kształtu (iv) otrzymujesz pytanie zadane jest ono w języku chińskim (v) korzystając z instrukcji odpowiadasz w języku chińskim. (vi) osoba na zewnątrz pokoju jest przekona, że znasz język chiński

17 Eksperyment myślowy: Chiński Pokój Johna Searle a Zdaniem Searle a: znajdując się w pokoju nic nie rozumiałaś/eś postępowałaś/eś jak komputer: przetwarzałaś/eś informacje (bez ich zrozumienia) zdeterminowana/y otrzymanym programem Wyniki eksperymentu chińskiego pokoju mówią wg Searle a że: sztuczna inteligencja nie jest możliwa umysł jest czymś więcej niż komputerem w oparciu o reguły syntaktyczne nie można uzyskać rozumienia semantyka (znaczenie) nie redukuje się do syntaktyki to, że ktoś zachowuje się jakby rozumiał, nie znaczy, że rozumie

18 H. Putnam, Znaczenie wyrazu znaczenie, [w:] Wiele twarzy realizmu i inne eseje, Warszawa 2013 Eksperyment myślowy: Bliźniacza Ziemia Hilary ego Putnama Wyobraź sobie, że gdzieś we Wszechświecie znajduje się Bliźniacza Ziemia. Jest ona (niemal) identyczna jak nasza: jej mieszkańcy mówią po polsku, znajduje się na niej nawet Twój sobowtór itd. Jedna różnica polega na tym, że: Płyn zwany na Bliźniaczej Ziemi wodą nie jest H 2 O, ale jakimś innym płynem o składzie chemicznym wyrażającym się bardzo długim i skomplikowanym wzorem. Będziemy w skrócie zapisywać go jako XYZ

19 Eksperyment myślowy: Bliźniacza Ziemia Hilary ego Putnama XYZ jest nieodróżnialny od wody w zwykłym zakresie temperatury i ciśnienia. W szczególności, smakuje jak woda i gasi pragnienie jak woda. Załóżmy również, że jeziora, morza i oceany Ziemi Bliźniaczej są wypełniony XYZ, a nie wodą, że tamtejsze deszcze składają się z kropel XYZ, a nie wody, itd. Kiedy statek kosmiczny z Ziemi odwiedzi Ziemię Bliźniaczą, przybysze z początku będą mniemać, że wyraz woda ma takie samo znaczenie na Ziemi i na Ziemi Bliźniaczej. Owo przypuszczenie zostanie skorygowane z chwilą, gdy odkryją, że woda na Ziemi Bliźniaczej jest XYZ, co Ziemianie stwierdzą mniej więcej za pomocą słów: Na Ziemi Bliźniaczej wyraz <<woda>> Znaczy XYZ Na odwrót, kiedy statek kosmiczny z Ziemi Bliźniaczej odwiedzi Ziemię, przybysze z początku będą mniemać, że wyraz woda na takie samo znaczenie na Ziemi Bliźniaczej i na Ziemi. Owo przypuszczenie zostanie skorygowane z chwilą, gdy odkrywają, że woda na Ziemi jest H 2 O, co Bliźniaczanie stwierdzą mniej więcej takimi słowy: Na Ziemi wyraz <<woda>> znaczy H 2 O.

20 Eksperyment myślowy: Bliźniacza Ziemia Hilary ego Putnama Putnam proponuje następnie cofnięcie się do 1750 roku: Typowy ziemski Polak nie widział, że woda składa się z wodoru i tlenu, a typowy Polak bliźniaczański nie wiedział, że woda składa się z YXZ. Niech Oskar 1 będzie takim typowym ziemskim Polakiem, a Oskar 2 jego odpowiednikiem na Ziemi Bliźniaczej. Można założyć, że wszystkie przekonania Oskara 1 na temat wody Oksar 2 żywi w stosunku do wody. Można nawet założyć, jeżeli sobie życzysz, że Oskar 1 i Oskra 2 są dokładnie jednakowi ( ) [psychicznie M.H.]. Niemniej ekstensją nazwy woda na Ziemi w 1750 roku była tak samo jak w roku 1950, H 2 O, a ekstensją nazwy woda na Ziemi Bliźniaczej w 1750 roku była, tak samo jak w roku 1950, XYZ. Oskar 1 i Oskar 2 rozmaicie rozumieli nazwę woda w 1750 roku, mimo że znajdowali się w jednakowym stanie psychicznym, i mimo że, biorąc pod uwagę ówczesny stan nauki ich społeczności uczonych dopiero pięćdziesiąt lat później odkryją, że rozumieli oni nazwę woda rozmaicie.

21 Eksperyment myślowy: Bliźniacza Ziemia Hilary ego Putnama Ekstensja nazwy woda (i jej znaczenie, w intuicyjnym przedanalitycznym użyciu tego słowa) nie jest funkcją stanu psychicznego. Innymi słowy: Rób, co chcesz znaczenia po prostu nie są w głowie

22 Inne słynne filozoficzne eksperymenty myślowe Teleportacja a tożsamość osobowa (Derek Parfit) Mózg w naczyniu (Putnam) i hipoteza snu (Kartezjusz) Demon Laplace a i determinizm (Pierre Simon de Laplace)

23 Dźwignie wyobraźni (Intuition Pumps)

24 Dźwignie wyobraźni (Intuition Pumps) IntuiOon pump (dźwignia wyobraźni) eksperyment myślowy, lub inna forma przekazu, mająca na celu intuicyjne rozwiązanie danego problemu filozoficznego lub wywarcie na odbiorcy wrażenia, że problem ten posiada rozwiązanie intuicyjne. Popularną strategią stosowaną w filozofii jest tworzenie eksperymentów myślowych pewnego rodzaju, które nazywam dźwigniami wyobraźni. Dźwignie wyobraźni są sprytnie zaprojektowane, tak by skupić uwagę czytelnika jedynie na ważnych cechach, a zarazem zniechęcić go do drążenia w szczegółach. Co do zasady nie ma w tym nic złego. Jednym z najważniejszych celów filozofii jest w istocie pomoc ludziom, w ujrzeniu lasu a nie tylko drzew. Jednakże dźwignie wyobraźni są często choć rzadko w sposób świadomy nadużywane przez filozofów Daniel Dennev, 1984, Elbow Room; The VarieOes of Free Will Worth WanOng.

25 Nie należy mnożyć bytów ponad konieczność!

26 Raczejowanie Raczejowanie jest sposobem na prześlizgiwanie się szybko i łagodnie przez fałszywą dychotomię. Ogólna forma raczejowania jest taka Nie jest tak, że blablabla, jak chcieliby tego konserwatyści; jest raczej tak, że takitakitakitak co jest czymś radykalnie innym. Niektóre raczejowania są całkiem w porządku; naprawdę musisz wybrać pomiędzy dwoma zaproponowanymi alternatywami; w tych przypadkach, zaoferowano ci nie fałszywą, ale raczej prawdziwą, nieuniknioną dychotomię. Ale niektóre raczejowania są tylko sprytnymi manipulacjami, z tego powodu, iż słowo raczej implikuje nie wyjaśniając dlaczego że istnieje ważna niekompatybilność pomiędzy otaczającymi je twierdzeniami. Przykład: Religia nie jest opium dla mas, jak powiedział Marks; jest raczej głębokim i pocieszającym znakiem rozpoznania przez ludzkość nieuchronności śmierci. Dennev, Dźwignie

27 Z pewnością (surly) Gdy czytasz lub przeglądasz artykuły polemiczne, szczególnie autorstwa filozofów, oto szybka sztuczka, która może oszczędzić ci dużo czasu i wysiłku, zwłaszcza w obecnej epoce poszukiwania przez komputer: szukaj w dokumencie słów z pewnością (surely) i sprawdź każde ich wystąpienie. Nie zawsze, a nawet nie najczęściej, ale często słowa z pewnością tak dobrze wskazują słaby punkt w argumentacji, jak migające światło (Dennev, Dźwignie ) Przykład: Ale z pewnością nie jest to niczym innym, jak tylko biologicznym faktem o ludziach nie wytworem kulturowym iż niektóre reprezentacje mózgowe są na tyle trwałe, że wywierają wpływ na pamięć, kontrolę zachowania itd. (Ned Block, za: Dennev, Dźwignie )

28 Argumentacja filozoficzna: logika czy wizjonerstwo? Dwie składowe każdej argumentacji: logiczno- dedukcyjna hermeneutyczna Typy argumentacji: racjonalistyczne wizjonerskie

29 Argumentacja filozoficzna: logika czy wizjonerstwo? Sądzę, że argumentacje ( ) dałoby się w zasadzie ułożyć w taki ciąg, że na jego, powiedzmy, lewym końcu znalazłyby się argumentacje bez składowej hermeneutycznej, a na jego prawym końcu argumentacje bez składowej logiczno- dedukcyjnej ( ). Argumentacje racjonalistyczne znajdowałyby się stosunkowo blisko lewego końca ciągu; argumentacje wizjonerskie odpowiednio prawego końca ciągu. Istotną rzeczą jest, że żadna argumentacja, o ile tylko dotyczy nietrywialnego twierdzenia filozoficznego (lub naukowego), nie jest pozbawiona składowej hermeneutycznej. M. Heller, Przeciw fundacjonizmowi, s. 93.

30 Argumentacja: logika czy wizjonerstwo? Patologia zaczyna się wówczas, gdy wizja dominuje na racjonalnymi argumentami, bądź je zastępując, bądź tak nimi sterując, że przestają być one racjonalne (np. łamią prawa dedukcji). W zdrowej sytuacji ustala się rodzaj sprzężenia zwrotnego między wizją logiczną a argumentacją. Nawet jeżeli ciąg rozumowań jest inspirowany wizją, to racjonalna argumentacja może wpływać na wizję, powodując jej korektę, a w krytycznej sytuacji nawet jej odrzucenie (s )

31 Rozwiązanie kompromisowe, gdzieś w połowie drogi pomiędzy poezją a matematyką, to miejsce, gdzie, jak sądzę, filozofowie mogą wnieść najlepszy wkład, dostarczając prawdziwych wyjaśnień niezwykle zagadkowych problemów. (Dennev, Dźwignie wyobraźni, w druku)

32 Na koniec

33 Filozof powinien unikać erystyki, ale powinien posiąść sztukę retoryki Retoryka umiejętność przekonywania, przekazywania swoich racji, perswadowania Kodyfikacje: Arystoteles, Marek Tuliusz Cyceron Erystyka sztuka prowadzenia sporów; racje mogą być forsowane bez względu na prawdę czy intencje Kodyfikacja: Artur Schopenhauer

34 tocząc dyskusję filozoficzną (i nie tylko!) warto stosować się do reguły konwersacji Paula Grice a Ogólna zasada współpracy: Uczyń swój udział konwersacyjny w przewidzianym dla niego momencie takim, jakiego wymaga zaakceptowany cel lub kierunek rozmowy, w którą jesteś zaangażowany Reguły szczegółowe: Maksyma ilości (przekazuj tylko tyle informacji, ilu wymaga cel konwersacji) Maksyma jakości (przekazuj tylko informacje, co do których sądzisz, że są prawdziwe) Maksyma odniesienia (bądź relewantny, czyli mów na temat) Maksyma sposobu (mów zwięźle, zrozumiale, unikaj wieloznaczności)

Wstęp do filozofii. wykład 7: Style myślenia filozoficznego: antyfundacjonizm i filozofia w nauce (czyli czego uczy nas Michał Heller)

Wstęp do filozofii. wykład 7: Style myślenia filozoficznego: antyfundacjonizm i filozofia w nauce (czyli czego uczy nas Michał Heller) Wstęp do filozofii wykład 7: Style myślenia filozoficznego: antyfundacjonizm i filozofia w nauce (czyli czego uczy nas Michał Heller) dr Mateusz Hohol sem. zimowy 2014/2015 Dodatkowe krótkie teksty Michał

Bardziej szczegółowo

Logika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski

Logika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski Logika stosowana Ćwiczenia Wnioskowanie przez abdukcję Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2013/2014 Marcin Szczuka (MIMUW) Logika stosowana

Bardziej szczegółowo

O argumentach sceptyckich w filozofii

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

Bardziej szczegółowo

EGZAMIN MATURALNY 2013 FILOZOFIA

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

Bardziej szczegółowo

Kultura logiczna Wnioskowania dedukcyjne

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

Bardziej szczegółowo

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I

Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi argumentacyjne

Bardziej szczegółowo

Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia

Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman. Rozprawka - podstawowe pojęcia Rozprawka materiały pomocnicze do pisania rozprawki przygotowane przez Katarzynę Buchman Rozprawka - podstawowe pojęcia 1. rozprawka - forma wypowiedzi pisemnej, w której piszący prezentuje własne stanowisko

Bardziej szczegółowo

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

O badaniach nad SZTUCZNĄ INTELIGENCJĄ O badaniach nad SZTUCZNĄ INTELIGENCJĄ Wykład 7. O badaniach nad sztuczną inteligencją Co nazywamy SZTUCZNĄ INTELIGENCJĄ? szczególny rodzaj programów komputerowych, a niekiedy maszyn. SI szczególną własność

Bardziej szczegółowo

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

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.

Bardziej szczegółowo

Logika. Michał Lipnicki. 15 stycznia Zakład Logiki Stosowanej UAM. Michał Lipnicki () Logika 15 stycznia / 37

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1 Filozofia z elementami logiki Klasyfikacja wnioskowań I część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi

Bardziej szczegółowo

KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego

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

Bardziej szczegółowo

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 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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Rodzaje argumentów za istnieniem Boga

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

Bardziej szczegółowo

Ekonomiczny Uniwersytet Dziecięcy

Ekonomiczny Uniwersytet Dziecięcy Ekonomiczny Uniwersytet Dziecięcy Jak przekonywać innych do swoich racji? Dr Witold Szumowski Uniwersytet Ekonomiczny we Wrocławiu 3 listopada 2014r. Plan dzisiejszych zajęć Istota przekonywania Wywieranie

Bardziej szczegółowo

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

O badaniach nad SZTUCZNĄ INTELIGENCJĄ O badaniach nad SZTUCZNĄ INTELIGENCJĄ Jak określa się inteligencję naturalną? Jak określa się inteligencję naturalną? Inteligencja wg psychologów to: Przyrodzona, choć rozwijana w toku dojrzewania i uczenia

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań III

Wstęp do logiki. Klasyczny Rachunek Zdań III Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję

Bardziej szczegółowo

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015

EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015 EGZAMIN MATURALNY W ROKU SZKOLNYM 204/205 FORMUŁA DO 204 ( STARA MATURA ) FILOZOFIA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R MAJ 205 Uwaga: Akceptowane są wszystkie odpowiedzi merytorycznie

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

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...

Bardziej szczegółowo

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Logika dla prawników

Logika dla prawników Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa

Bardziej szczegółowo

Wstęp do filozofii: wykład 1: wprowadzenie do kursu. dr Mateusz Hohol. sem. zimowy 2012/2013

Wstęp do filozofii: wykład 1: wprowadzenie do kursu. dr Mateusz Hohol. sem. zimowy 2012/2013 Wstęp do filozofii: wykład 1: wprowadzenie do kursu dr Mateusz Hohol sem. zimowy 2012/2013 Informacje praktyczne: warunki zaliczenia Kurs obejmuje: 30h wykładu Wykład kończy się egzaminem w formie ustnej

Bardziej szczegółowo

LOGIKA Dedukcja Naturalna

LOGIKA Dedukcja Naturalna LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów

Bardziej szczegółowo

MIND-BODY PROBLEM. i nowe nadzieje dla chrześcijańskiej antropologii

MIND-BODY PROBLEM. i nowe nadzieje dla chrześcijańskiej antropologii MIND-BODY PROBLEM i nowe nadzieje dla chrześcijańskiej antropologii CZŁOWIEK JEST MASZYNĄ (THOMAS HOBBES) Rozumienie człowieka znacząco zmienia się wraz z nastaniem epoki nowożytnej. Starożytne i średniowieczne

Bardziej szczegółowo

EGZAMIN MATURALNY 2010 FILOZOFIA

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,

Bardziej szczegółowo

Filozofia, Historia, Wykład IX - Filozofia Kartezjusza

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

Bardziej szczegółowo

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ń 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

Bardziej szczegółowo

Festiwal Myśli Abstrakcyjnej, Warszawa, Czy SZTUCZNA INTELIGENCJA potrzebuje FILOZOFII?

Festiwal Myśli Abstrakcyjnej, Warszawa, Czy SZTUCZNA INTELIGENCJA potrzebuje FILOZOFII? Festiwal Myśli Abstrakcyjnej, Warszawa, 22.10.2017 Czy SZTUCZNA INTELIGENCJA potrzebuje FILOZOFII? Dwa kluczowe terminy Co nazywamy sztuczną inteligencją? zaawansowane systemy informatyczne (np. uczące

Bardziej szczegółowo

ćwiczenia 15 zaliczenie z oceną

ć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

Bardziej szczegółowo

Paradoksy log o i g czne czn i inne 4 marca 2010

Paradoksy log o i g czne czn i inne 4 marca 2010 Paradoksy logiczne i inne 4 marca 2010 Paradoks Twierdzenie niezgodne z powszechnie przyjętym mniemaniem, rozumowanie, którego elementy są pozornie oczywiste, ale wskutek zawartego w nim błędu logicznego

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.

Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1. 3. Wykłady 3 i 4: Języki i systemy dedukcyjne. Klasyczny rachunek zdań. 3.1. Monoidy wolne. Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy

Bardziej szczegółowo

LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013

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

Bardziej szczegółowo

INFORMATYKA a FILOZOFIA

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

Bardziej szczegółowo

Elementy filozofii i metodologii INFORMATYKI

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ę

Bardziej szczegółowo

Zasady krytycznego myślenia (1)

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

Bardziej szczegółowo

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ń 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

Bardziej szczegółowo

wypowiedzi inferencyjnych

wypowiedzi inferencyjnych Wnioskowania Pojęcie wnioskowania Wnioskowanie jest to proces myślowy, w którym na podstawie mniej lub bardziej stanowczego uznania pewnych zdań zwanych przesłankami dochodzimy do uznania innego zdania

Bardziej szczegółowo

Elementy filozofii i metodologii INFORMATYKI

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,

Bardziej szczegółowo

Podstawy logiki praktycznej

Podstawy logiki praktycznej Podstawy logiki praktycznej Wykład 3: Implikowanie konwersacyjne Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Wynikanie pragmatyczne

Bardziej szczegółowo

Jesper Juul. Zamiast wychowania O sile relacji z dzieckiem

Jesper Juul. Zamiast wychowania O sile relacji z dzieckiem Jesper Juul Zamiast wychowania O sile relacji z dzieckiem Dzieci od najmłodszych lat należy wciągać w proces zastanawiania się nad różnymi decyzjami i zadawania sobie pytań w rodzaju: Czego chcę? Na co

Bardziej szczegółowo

LOGIKA I TEORIA ZBIORÓW

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

Bardziej szczegółowo

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)

Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych

Bardziej szczegółowo

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ

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

Bardziej szczegółowo

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

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

Bardziej szczegółowo

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

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

Bardziej szczegółowo

Paradygmaty dowodzenia

Paradygmaty dowodzenia Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.

Bardziej szczegółowo

Podstawy logiki praktycznej

Podstawy logiki praktycznej Podstawy logiki praktycznej Wykład 6: Argumentacja prawnicza Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Spory wokół logiki prawniczej Bóg obdarzył

Bardziej szczegółowo

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

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ę

Bardziej szczegółowo

WYKŁAD 3: METODA AKSJOMATYCZNA

WYKŁAD 3: METODA AKSJOMATYCZNA METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 3: METODA AKSJOMATYCZNA III rok kognitywistyki UAM, 2016 2017 Plan na dziś: 1. Przypomnimy, na czym polega aksjomatyczna metoda dowodzenia twierdzeń.

Bardziej szczegółowo

Logika i Teoria Mnogości Cytaty 1

Logika i Teoria Mnogości Cytaty 1 Logika i Teoria Mnogości Cytaty 1 Gdyby Biblię pisał Platon, to niewątpliwie rozpocząłby w ten sposób: Na początku Bóg stworzył matematykę, a następnie niebo i ziemię, zgodnie z prawami matematyki (Morris

Bardziej szczegółowo

Wśród prostokątów o jednakowym obwodzie największe pole. ma kwadrat. Scenariusz zajęć z pytaniem problemowym dla. gimnazjalistów.

Wśród prostokątów o jednakowym obwodzie największe pole. ma kwadrat. Scenariusz zajęć z pytaniem problemowym dla. gimnazjalistów. 1 Wśród prostokątów o jednakowym obwodzie największe pole ma kwadrat. Scenariusz zajęć z pytaniem problemowym dla gimnazjalistów. Czas trwania zajęć: 45 minut Potencjalne pytania badawcze: 1. Jaki prostokąt

Bardziej szczegółowo

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

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

Bardziej szczegółowo

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

Ć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

Bardziej szczegółowo

Filozofia przyrody, Wykład V - Filozofia Arystotelesa

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ł

Bardziej szczegółowo

Semiotyka logiczna (1)

Semiotyka logiczna (1) Semiotyka logiczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Semiotyka logiczna (1) Wprowadzenie 1 / 14 Plan wykładu: semestr

Bardziej szczegółowo

Kto to zrobi? Co jest do tego potrzebne?

Kto to zrobi? Co jest do tego potrzebne? USTALANIE ZASAD PRACY W ZESPOLE 1. Kto będzie naszym liderem/przewodniczącym zespołu?... 2. Jak podzielimy odpowiedzialność za realizację zadań?... 3. jak będziemy podejmować decyzje?... 4. W jaki sposób

Bardziej szczegółowo

Drzewa Semantyczne w KRZ

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

Bardziej szczegółowo

O badaniach nad SZTUCZNĄ INTELIGENCJĄ

O badaniach nad SZTUCZNĄ INTELIGENCJĄ O badaniach nad SZTUCZNĄ INTELIGENCJĄ SZTUCZNA INTELIGENCJA dwa podstawowe znaczenia Co nazywamy sztuczną inteligencją? zaawansowane systemy informatyczne (np. uczące się), pewną dyscyplinę badawczą (dział

Bardziej szczegółowo

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

Filozofia umysłu. Eliminatywizm. Wykład VIII: w filozofii umysłu Filozofia umysłu Wykład VIII: Eliminatywizm w filozofii umysłu Materializm Funkcjonalizm daje się uzgodnić z materializmem, nie implikuje go jednak Eliminatywizm to stanowisko konsekwentnie materialistyczne:

Bardziej szczegółowo

Logika i semiotyka. Znak jest Triadą... Wykład III: (Charles Sanders Peirce)

Logika i semiotyka. Znak jest Triadą... Wykład III: (Charles Sanders Peirce) Logika i semiotyka Wykład III: Znak jest Triadą... (Charles Sanders Peirce) Charles Sanders Peirce *1839, 1914 twórca pragmaty(cy)zmu i semiotyki inspiracje: Kant, Th. Reid krytyczna filozofia zdrowego

Bardziej szczegółowo

Filozofia, Historia, Wykład V - Filozofia Arystotelesa

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:

Bardziej szczegółowo

Wstęp do logiki. Argumentacja

Wstęp do logiki. Argumentacja Wstęp do logiki Argumentacja 1 Argumentacja: definicja Mówiąc o argumentacji, mamy zwykle na myśli pewien rodzaj komunikacji dyskursywnej, w trakcie której jedna osoba stara się w zaplanowany sposób wpłynąć

Bardziej szczegółowo

Dydaktyka matematyki III-IV etap edukacyjny (wykłady)

Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Dydaktyka matematyki III-IV etap edukacyjny (wykłady) Wykład nr 4 Wprowadzanie i definiowanie matematycznych pojęć (cd.) Matematyczne rozumowania na poziomach SP i licealnym Semestr zimowy 2018/2019 Jakie

Bardziej szczegółowo

Rachunek zdań i predykatów

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)

Bardziej szczegółowo

EGZAMIN MATURALNY 2013 FILOZOFIA

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

Bardziej szczegółowo

Metoda Tablic Semantycznych

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 α, β,

Bardziej szczegółowo

UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA

UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA UJĘCIE SYSTEMATYCZNE ARGUMENTY PRZECIWKO ISTNIENIU BOGA ARGUMENTY PRZECIW ISTNIENIU BOGA ARGUMENTY ATEISTYCZNE 1 1. Argument z istnienia zła. (Argument ten jest jedynym, który ateiści przedstawiają jako

Bardziej szczegółowo

W badaniach 2008 trzecioklasiści mieli kilkakrotnie za zadanie wyjaśnić wymyśloną przez siebie strategię postępowania.

W badaniach 2008 trzecioklasiści mieli kilkakrotnie za zadanie wyjaśnić wymyśloną przez siebie strategię postępowania. Alina Kalinowska Jak to powiedzieć? Każdy z nas doświadczał z pewnością sytuacji, w której wiedział, ale nie wiedział, jak to powiedzieć. Uczniowie na lekcjach matematyki często w ten sposób przekonują

Bardziej szczegółowo

MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

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

Bardziej szczegółowo

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 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

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Predykatów I

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

Bardziej szczegółowo

Elementy logiki i teorii mnogości

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

Bardziej szczegółowo

Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne

Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne Logika i teoria mnogości Wykład 14 1 Sformalizowane teorie matematyczne W początkowym okresie rozwoju teoria mnogości budowana była w oparciu na intuicyjnym pojęciu zbioru. Operowano swobodnie pojęciem

Bardziej szczegółowo

Logika Matematyczna (1)

Logika Matematyczna (1) Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium

Bardziej szczegółowo

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),

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

Bardziej szczegółowo

Dowody założeniowe w KRZ

Dowody założeniowe w KRZ Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody

Bardziej szczegółowo

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017 EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ: GH-P7 KWIECIEŃ 2017 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek

Bardziej szczegółowo

Filozofia, Germanistyka, Wykład VIII - Kartezjusz

Filozofia, Germanistyka, Wykład VIII - Kartezjusz 2013-10-01 Plan wykładu 1 Krytyka nauk w Rozprawie o metodzie 2 Idea uniwersalnej metody Prawidła metody 3 4 5 6 Krytyka Kartezjusza Podstawą wiedzy jest doświadczenie Krytyka nauk Kartezjusz - krytyka

Bardziej szczegółowo

Filozofia, Pedagogika, Wykład I - Miejsce filozofii wśród innych nauk

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

Bardziej szczegółowo

PORADY DLA MATURZYSTÓW JĘZYK POLSKI, MATURA PISEMNA

PORADY DLA MATURZYSTÓW JĘZYK POLSKI, MATURA PISEMNA PORADY DLA MATURZYSTÓW JĘZYK POLSKI, MATURA PISEMNA A. Poziom podstawowy Rozumienie czytanego tekstu 1. Przeczytaj uważnie tekst, zwracając uwagę na śródtytuły i przypisy. 2. Na ogół jeden akapit rozwija

Bardziej szczegółowo

Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018

Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018 Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018 Do czego odnoszą się poniższe stwierdzenia? Do tego, czym jest matematyka dla świata, w

Bardziej szczegółowo

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 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

Bardziej szczegółowo

teoria relewancji jako przykład inferencjonizmu jako przykład słabego kontekstualizmu

teoria relewancji jako przykład inferencjonizmu jako przykład słabego kontekstualizmu teoria relewancji jako przykład inferencjonizmu jako przykład słabego kontekstualizmu teoria relewancji jako przykład inferencjonizmu jako przykład słabego kontekstualizmu Dan Sperber i Deirdre Wilson,

Bardziej szczegółowo

Standaryzacja i ocena wypowiedzi argumentacyjnych

Standaryzacja i ocena wypowiedzi argumentacyjnych Kultura logicznego myślenia 2016/2017 Temat 11: Standaryzacja i ocena wypowiedzi argumentacyjnych DEFINICJA: Wypowiedzią argumentacyjną jest wypowiedź, w której za pomocą jednych zdań ( przesłanek) uzasadnia

Bardziej szczegółowo

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

Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Filozofia z elementami logiki Klasyfikacja wnioskowań II część 1 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: wnioskowania uprawdopodabniające indukcja eliminacyjna 2 Plan:

Bardziej szczegółowo

Główne problemy kognitywistyki: Reprezentacja

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

Bardziej szczegółowo

Wskazówki do przygotowania referatów i prezentacji

Wskazówki do przygotowania referatów i prezentacji Wskazówki do przygotowania referatów i prezentacji http://coin.wne.uw.edu.pl/mbrzezinski/teaching/he1/ Tworzenie prezentacji Metody przygotowywania referatu Prezentacje Przeczytać tekst i zrozumieć go

Bardziej szczegółowo

Wstęp do logiki. Klasyczny Rachunek Zdań II

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

Bardziej szczegółowo

Wstęp do logiki. Semiotyka cd.

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ć

Bardziej szczegółowo

Podstawy logiki praktycznej

Podstawy logiki praktycznej Podstawy logiki praktycznej Wykład 4: Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Rekonstrukcja argumentu Jako że każdy człowiek

Bardziej szczegółowo

Konstrukcja odcinków niewymiernych z wykorzystaniem. Twierdzenia Pitagorasa.

Konstrukcja odcinków niewymiernych z wykorzystaniem. Twierdzenia Pitagorasa. 1 Konstrukcja odcinków niewymiernych z wykorzystaniem Twierdzenia Pitagorasa. Czas trwania zajęć: ok. 40 minut + 5 minut na wykład Kontekst w jakim wprowadzono doświadczenie: Doświadczenie warto zrealizować

Bardziej szczegółowo

Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1

Logika. Michał Lipnicki. 18 listopada Zakład Logiki Stosowanej UAM. Michał Lipnicki Logika 18 listopada / 1 Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 18 listopada 2012 Michał Lipnicki Logika 18 listopada 2012 1 / 1 Wstęp Materiały na dzisiejsze zajęcia zostały opracowane na podstawie pomocy naukowych

Bardziej szczegółowo

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 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.:

Bardziej szczegółowo

RACHUNEK PREDYKATÓW 7

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

Bardziej szczegółowo

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

Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest

Bardziej szczegółowo