Wstęp do filozofii. wykład 4: (niektóre) narzędzia filozofa. dr Mateusz Hohol. sem. zimowy 2014/2015
|
|
- Nadzieja Pawlak
- 7 lat temu
- Przeglądów:
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) dr Mateusz Hohol sem. zimowy 2014/2015 Dodatkowe krótkie teksty Michał
Bardziej szczegółowoLogika 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ółowoO 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ółowoEGZAMIN 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ółowoKultura 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ółowoWprowadzenie 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ółowoRozprawka 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ółowoO 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ółowoMyś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ółowoLogika. 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ółowoLogika 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ółowoFilozofia 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ółowoKRZYSZTOF 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ółowoLogika 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ółowoWstę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ółowoRodzaje 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ółowoEkonomiczny 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ółowoO 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ółowoWstę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ółowoEGZAMIN 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ółowoRACHUNEK 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ółowoMetody 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ółowoMetoda 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ółowoFilozofia, 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ółowoLogika 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ółowoWstę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ółowoLOGIKA 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ółowoMIND-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ółowoEGZAMIN 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ółowoFilozofia, 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ółowoElementy 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ółowoFestiwal 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ą
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ółowoParadoksy 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ółowoLiczba 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ółowoMonoidy 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ółowoLOGIKA 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ółowoINFORMATYKA 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ółowoElementy 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ółowoZasady 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ółowoAndrzej 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ółowowypowiedzi 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ółowoElementy 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ółowoPodstawy 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ółowoJesper 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ółowoLOGIKA 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ółowoTautologia (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ółowoLOGIKA 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ółowoNp. 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ółowoUwagi 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ółowoParadygmaty 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ółowoPodstawy 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ółowoWykł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ółowoWYKŁ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ółowoLogika 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ółowoWś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ółowo0.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
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ółowoFilozofia 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ółowoSemiotyka 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ółowoKto 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ółowoDrzewa 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ółowoO 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ółowoFilozofia 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ółowoLogika 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ółowoFilozofia, 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ółowoWstę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ółowoDydaktyka 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ółowoRachunek 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ółowoEGZAMIN 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ółowoMetoda 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ółowoUJĘ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ółowoW 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ółowoMATEMATYKA 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ółowoAndrzej 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ółowoWstę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ółowoElementy 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ółowoLogika 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ółowoLogika 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ółowoPrzykł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ółowoDowody 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ółowoEGZAMIN 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ółowoFilozofia, 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ółowoFilozofia, 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ółowoPORADY 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ółowoCzy 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ółowoReguł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ółowoteoria 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ółowoStandaryzacja 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ółowoFilozofia 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ółowoGłó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ółowoWskazó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ółowoWstę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ółowoWstę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ółowoPodstawy 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ółowoKonstrukcja 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ółowoLogika. 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ółowoAndrzej 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ółowoRACHUNEK 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ółowoAndrzej 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