WSP Logika 19.11.2011 WykÅ‚ad 4 Powtórka ·ð Zdanie w sensie logicznym to takie i tylko takie wyrażenie, które jest bÄ…dz prawdziwe, bÄ…dz faÅ‚szywe. Zdanie jest prawdziwe wówczas i tylko, gdy w rzeczywistoÅ›ci jest tak, jak to zdanie gÅ‚osi. Zdanie jest zaÅ› faÅ‚szywe wówczas i tylko, gdy w rzeczywistoÅ›ci nie jest tak, jak zdanie to gÅ‚osi. ·ð Klasyczna definicja prawdy: prawda jest zgodnoÅ›ciÄ… poznania i rzeczy. ·ð Nazwa to wyrażenie, które sÅ‚uży do wskazywania przedmiotów. (W jÄ™zyku naturalnym jako nazwy mogÄ… być użyte rzeczowniki, przymiotniki, imiesÅ‚owy przymiotnikowe, przysłówki, liczebniki). Nazwa oznacza (denotuje) przedmiot, do wskazania którego jest używana. O przedmiocie tym mówimy, że jest desygnatem tej nazwy. ·ð Predykat n-argumentowy to wyrażenie, które Å‚Ä…cznie z n-nazwami tworzy zdanie. Spójniki Ze zdaÅ„ możemy budować zdania. W każdym jÄ™zyku istniejÄ… różne sposoby tworzenia zdaÅ„ ze zdaÅ„. SÅ‚użyć temu celowi mogÄ… wyrażenia (w gramatyce nazywane spójnikami i partykuÅ‚ami) lub zestawienie zdaÅ„ (polaczenie zdaÅ„ skÅ‚adowych wraz z użyciem w jÄ™zyku mówionym stosownej intonacji, a w jÄ™zyku pisanym odpowiedniej interpunkcji). W jÄ™zyku polskim istnieje sto kilkadziesiÄ…t wyrazów, które w poÅ‚Ä…czeniu ze zdaniami tworzÄ… zdania. SÅ‚owo lub może być użyte do poÅ‚Ä…czenia zdania Jan kocha ZosiÄ™ ze zdaniem Jan kocha MarysiÄ™ . Z takiego poÅ‚Ä…czenia otrzymujemy zdanie Jan kocha ZosiÄ™ lub Jan kocha MarysiÄ™ . Zdanie to zwykle zapisujemy jako Jan kocha ZosiÄ™ lub MarysiÄ™ . Zdanie Jan kocha ZosiÄ™ i MarysiÄ™ jest zdaniem otrzymanym przez poÅ‚Ä…czenie naszych zdaÅ„ spójnikiem i . Spójnikiem nie jest jest . Wyrażenie, które jest spójnikiem w sensie logicznym, nie musi być spójnikiem w sensie gramatycznym. Zdanie zÅ‚ożone to zdanie zbudowane za pomocÄ… spójnika. Zdanie proste to zdanie, które nie jest zÅ‚ożone. Spójniki dzieli siÄ™ ze wzglÄ™du na liczbÄ™ ich argumentów. Spójnik jest jednoargumentowy, gdy z jednym zdaniem tworzy zdanie. PrzykÅ‚adem spójnika jednoargumentowego sÄ… wyrażenia: nieprawda, że . . . , możliwe, 1 WSP Logika 19.11.2011 WykÅ‚ad 4 że. . . . Spójniki dwuargumentowe to: . . . lub . . . , . . . i . . . , jeżeli . . . , to. . . , . . . wtedy i tylko wtedy, gdy . . . , z tego, że . . . wynika, że . . . . Zdania proste, Å‚Ä…czone przez spójniki logiczne zastÄ™pować bÄ™dziemy w schematach literami: p, q, r, s, t... itd. Litery p, q, r& nazywamy zmiennymi zdaniowymi (ponieważ zastÄ™pujÄ… zdania jÄ™zyka naturalnego). CzÄ™sto zdania Å‚Ä…czone przez spójniki wystÄ™pujÄ… w skróconej postaci. WiesÅ‚aw zostanie ministrem kultury lub przemysÅ‚u ciężkiego. W zdaniu tym wyrażenie przemysÅ‚u ciężkiego , to oczywiÅ›cie skrót zdania WiesÅ‚aw zostanie ministrem przemysÅ‚u ciężkiego i w taki sposób należy je traktować. p WiesÅ‚aw zostanie ministrem kultury. q WiesÅ‚aw zostanie ministrem przemysÅ‚u ciężkiego. Spójnik negacji Definicja: O zdaniu zÅ‚ożonym p, zbudowanym za pomocÄ… spójnika negacji i zdania q, bÄ™dziemy mówili, ze jest negacjÄ… (zaprzeczeniem) zdania q. Zdanie nieprawda, że Jan jest studentem jest negacjÄ… zdania Jan jest studentem . NegacjÄ™ zdania p bÄ™dziemy zapisywali: nie-p. W jÄ™zyku logiki formalnej, w rachunkach logicznych, zapisuje sie jÄ… ~p Spójnik negacji zapisujemy zawsze przed wyrażeniem, do którego negacja siÄ™ odnosi. PrawidÅ‚owy jest zatem zapis ~ p, natomiast bÅ‚Ä™dny p ~. PrzykÅ‚ad: Nieprawda, że Jan jest studentem. p Jan jest studentem. ~ p 2 WSP Logika 19.11.2011 WykÅ‚ad 4 Spójnik alternatywy Definicja: O zdaniu zÅ‚ożonym p, zbudowanym za pomocÄ… spójnika alternatywy oraz zdaÅ„ q i w, bÄ™dziemy mówili, że jest alternatywÄ… zdaÅ„ q i w. Zdania q i w czÅ‚ony tej alternatywy. Zdanie Antoni jest Å›lepy lub zakochany jest alternatywÄ… zdaÅ„ Antoni jest Å›lepy i Antoni jest zakochany . AlternatywÄ™ zdaÅ„ w i q bÄ™dziemy zapisywali: w lub q. W rachunkach logicznych alternatywÄ™ te zapisuje sie: w v q PrzykÅ‚ad: Antoni jest Å›lepy lub zakochany. q - Antoni jest Å›lepy w - Antoni jest zakochany q v w Spójnik koniunkcji Definicja: O zdaniu zÅ‚ożonym p, zbudowanym za pomocÄ… spójnika koniunkcji oraz zdaÅ„ q i w, bÄ™dziemy mówili, że jest koniunkcjÄ… zdaÅ„ q i w. Zdania q i w to czÅ‚ony tej koniunkcji. Koniunkcje zdaÅ„ q i w bÄ™dziemy zapisywali: q i w . W rachunkach logicznych stosuje sie zapis: q '" w. PrzykÅ‚ad: Zygfryd czyÅ›ci rewolwer i obmyÅ›la plan zemsty. p - Zygfryd czyÅ›ci rewolwer. q - Zygfryd obmyÅ›la plan zemsty. p '" q 3 WSP Logika 19.11.2011 WykÅ‚ad 4 Spójnik implikacji Definicja: O zdaniu zÅ‚ożonym p, zbudowanym za pomocÄ… spójnika implikacji oraz zdaÅ„ q i w bÄ™dziemy mówili, że jest implikacja zdaÅ„ q i w lub zdaniem warunkowym. Implikacje, której poprzednikiem jest zdanie w a nastÄ™pnikiem q bÄ™dziemy zapisywali: jeżeli w to q. W rachunkach logicznych stosuje sie zapis: w Ò! q pierwszy czÅ‚on implikacji to poprzednik drugi czÅ‚on implikacji to nastÄ™pnik p Ò! q JeÅ›li Marian zostanie prezesem, to Leszek straci pracÄ™. Spójnik równoważnoÅ›ci Definicja: O zdaniu zÅ‚ożonym p, zbudowanym za pomocÄ… spójnika równoważnoÅ›ci oraz zdaÅ„ q i w bÄ™dziemy mówili, że jest równoważnoÅ›ciÄ… zdaÅ„ q i w, a o zdaniach q i w że sÄ… sobie równoważne. Zdanie Jutro pójdÄ™ do kina wtedy i tylko wtedy, gdy bÄ™dzie Å‚adna pogoda. pokazuje równoważność miÄ™dzy zdaniami Jutro pójdÄ™ do kina i BÄ™dzie Å‚adna pogoda. Równoważność zdaÅ„ q i w bÄ™dziemy zapisywali: q wtedy i tylko wtedy, gdy w. W jÄ™zyku symbolicznym logiki formalnej zapisuje siÄ™ to zaÅ›: q a" w albo q Ô! w. 4 WSP Logika 19.11.2011 WykÅ‚ad 4 PrzykÅ‚ad: Jutro pójdÄ™ do kina wtedy i tylko wtedy, gdy bÄ™dzie Å‚adna pogoda. w - Jutro pójdÄ™ do kina. q - Jest Å‚adna pogoda w a" q Uwaga!! Bywa, że w zdaniu pojawi siÄ™ wyrażenie pozornie odpowiadajÄ…ce któremuÅ› ze spójników logicznych, ale użyte w innym znaczeniu. W takim wypadku oczywiÅ›cie nie wolno go zastÄ™pować symbolem spójnika. Stefan i Krystyna sÄ… małżeÅ„stwem. - jest to zdanie proste i jego schemat to p Spójniki - zestawienie Podstawowy odpowiednik Nazwa spójnika Symbol w jÄ™zyku naturalnym Inne odpowiedniki Negacja ~ nieprawda, że nie jest tak, że; nie Koniunkcja '" i oraz; a także; lecz; a; ale Alternatywa v lub albo& albo; bÄ…dz gdyby& to; o ile& to; Implikacja Ò! jeżeli & . to skoro& to Równoważność a" wtedy i tylko wtedy zawsze i tylko wtedy Ćwiczenia! 1. KubuÅ› idzie spać lub je miodek. p - KubuÅ› idzie spać q - KubuÅ› je miodek p q 5 WSP Logika 19.11.2011 WykÅ‚ad 4 2. KubuÅ› je miodek wtedy i tylko wtedy, gdy siedzi przy stoliku. p - KubuÅ› je miodek. q - KubuÅ› siedzi przy stoliku p q 3. JeÅ›li Agnieszka zobaczy Ryszarda w tym stanie, to bÄ™dzie rozczarowana. p - Agnieszka zobaczy Ryszarda w tym stanie q Agnieszka bÄ™dzie rozczarowana. p Ò! q 4. WiesÅ‚aw zostanie ministrem kultury lub przemysÅ‚u ciężkiego. p - WiesÅ‚aw zostanie ministrem kultury q WiesÅ‚aw zostanie ministrem przemysÅ‚u ciężkiego p v q 5. Zygmunt jest filozofem a Grzegorz biznesmenem p Zygmunt jest filozofem q Grzegorz jest biznesmenem p '" q 6. Józef nie przyszedÅ‚ na zebranie. p - Józef przyszedÅ‚ na zebranie ~ p 6 WSP Logika 19.11.2011 WykÅ‚ad 4 7. Jeżeli przeczytam podrÄ™cznik lub bÄ™dÄ™ chodziÅ‚ na wykÅ‚ady, to bez trudu zdam egzamin. p Przeczytam podrÄ™cznik q BÄ™dÄ™ chodziÅ‚ na wykÅ‚ady r Bez trudu zdam egzamin (p v q) Ò! r 8. Nieprawda, że jeżeli dopadnÄ™ drania, to od razu siÄ™ z nim policzÄ™. p - DopadnÄ™ drania q - Od razu siÄ™ z nim policzÄ™ ~ (p Ò! q) 9. JeÅ›li Tadeusz zdąży na autobus, to przyjdzie, lub gdyby nie zdążyÅ‚ na autobus, to przeÅ‚ożymy nasze spotkanie. p Tadeusz zdążyÅ‚ na autobus q Tadeusz przyjdzie r PrzeÅ‚ożymy nasze spotkanie (p Ò! q) v (~p Ò! r) 10. Kowalski przegra wybory, jeÅ›li bÄ™dzie uczciwy wobec konkurentów i nie bÄ™dzie obiecywaÅ‚ gruszek na wierzbie. p Kowalski przegra wybory r Kowalski bÄ™dzie uczciwy wobec konkurentów q Kowalski bÄ™dzie obiecywaÅ‚ gruszek na wierzbie (r '"~q) Ò! p 7 WSP Logika 19.11.2011 WykÅ‚ad 4 Zadanie domowe! 1. Nieprawda, że dziÅ› jest Å‚adna pogoda. 2. LubiÄ™ lody waniliowe i kawÄ™ z mlekiem. 3. Wtedy i tylko wtedy oddam ci swÄ… rÄ™kÄ™ jak dostanÄ™ pierÅ›cionek z brylantem. 4. Ania i Zosia dziÅ› wieczorem pojadÄ… na zakupy lub pójdÄ… do kina. 5. Gdybym byÅ‚ milionerem to miaÅ‚bym dom z basenem. 6. Jeżeli nauczÄ™ siÄ™ spójników logicznych i przeczytam wczeÅ›niejsze wykÅ‚ady to celujÄ…co zdam egzamin z logiki. 7. Tomek uÅ›miecha siÄ™ do Joasi zawsze i tylko wtedy kiedy Asia jest w dobrym humorze. 8. Ania i Zosia sÄ… przyjaciółkami. 8 WSP Logika 19.11.2011 WykÅ‚ad 4 Rozumowania Przedmiotem logiki sÄ… rozumowanie i argumentacja. Mówi siÄ™, iż logika jest teoriÄ… rozumowaÅ„. By rozumować czy argumentować potrzebne sÄ… nam zdania, które w jakiÅ› sposób przyjÄ™liÅ›my do systemu naszej wiedzy czy przekonaÅ„. A zatem chcÄ…c przekonać kogoÅ›/podać komuÅ› argumenty używamy zdaÅ„, które odzwierciedlajÄ… nasze przekonania, opinie. Na jakiej podstawie uznajemy zdania? W jaki sposób przyjmujemy pewne sÄ…dy/opinie/zdania do struktury naszego Å›wiatopoglÄ…du? Uznawanie i uzasadnianie Pojecie uznawania zdaÅ„ jest pojÄ™ciem relacyjnym: o uznaniu zdania mówimy ze wzglÄ™du na coÅ› lub na kogoÅ›. Zdanie uznane przez kogoÅ› to zdanie, którego treÅ›ciÄ… jest przekonanie, które ten ktoÅ› żywi (wiedza subiektywna). Zdanie odrzucone przez kogoÅ› to zdanie, które ten ktoÅ› wyklucza ze swoich przekonaÅ„. Zdanie uznane w systemie wiedzy to zdanie bÄ™dÄ…ce twierdzeniem, inaczej tezÄ…, tego systemu wiedzy (wiedza obiektywna). Zdanie odrzucone w systemie wiedzy to zdanie, którego przynależność do tego systemu wiedzy jest wykluczona zgodnie z zasadami przyjÄ™tymi w tym systemie wiedzy. Jeżeli zdanie A należy do systemu wiedzy, to chcielibyÅ›my, aby zaprzeczenie zdania A, czyli nie-A, nie należaÅ‚o do niego. WiÄ™cej, chcemy, aby byÅ‚o odrzucone. Gdyby bowiem w wyniku jakiegoÅ› rozumowania okazaÅ‚o sie, ze nie-A również należy do tego systemu wiedzy, to taki system byÅ‚by sprzeczny. Gdy wiÄ™c udaje siÄ™ pokazać, że jakieÅ› zdanie nie należy do systemu wiedzy, to tym samym pokazuje siÄ™ niesprzeczność tego systemu. JeÅ›li system jest niesprzeczny i należy do niego zdanie A, to do tego systemu nie należy zaprzeczenie A (nie-A). Na to, aby zdanie mogÅ‚o być uznane, potrzeba, żeby byÅ‚a jakaÅ› racja uznania. KtoÅ›, kto uznaje zdanie, ma powód, dla którego to zdanie uznaje. Powodu tego może sobie nawet nie uÅ›wiadamiać lub nie umieć go wyraznie wskazać, lecz jakiÅ› powód faktycznie ma (może to być racja emocjonalna, uprzedzenie, oparcie sie na stereotypie itp.). 9 WSP Logika 19.11.2011 WykÅ‚ad 4 PrzedstawiajÄ…c racje czÅ‚owiek racjonalizuje, czyli wskazuje racjonalne powody uznania swoich przekonaÅ„, choć w rzeczywistoÅ›ci mogÄ… to być pobudki innego rodzaju. Zdarza siÄ™ bowiem, że żywimy pewne przekonania nie dlatego, iż mamy dla nich racjonalne powody, lecz znajdujemy te powody, gdy przychodzi nam je wskazać. Postulat racji uznania zdania otrzymaÅ‚ nazwÄ™ i sformuÅ‚owanie w pracach Leibniza jako zasada racji dostatecznej (principium rationis sufficientis). W różnych systemach wiedzy obowiÄ…zujÄ… różne racje uznawania. Ze wzglÄ™du na ich rodzaje systemy wiedzy dzielimy na naukÄ™ i na to, co naukÄ… nie jest. W życiu codziennym kierujemy sie zdroworozsÄ…dkowym rozumieniem racjonalnoÅ›ci. yródÅ‚em zdrowego rozsÄ…dku jest szeroko rozumiana kultura i tradycja danej spoÅ‚ecznoÅ›ci oraz przede wszystkim praktyka dnia codziennego. Odróżniamy dwa typy racji uznawania zdaÅ„: racje czerpane z różnego rodzaju spostrzeżeÅ„ i doÅ›wiadczenia oraz racje wskazywane na drodze argumentacji i poprzez rozumowanie. Wskazywanie racji dla uznania albo odrzucenia zdania nazywamy uzasadnianiem. Uzasadnianie bezpoÅ›rednie polega na odwoÅ‚ywaniu siÄ™ do danych bezpoÅ›redniego poznania jako do racji uznania albo odrzucenia zdania (spostrzeżenia, doÅ›wiadczenie). Uzasadnianie poÅ›rednie polega na odwoÅ‚ywaniu siÄ™ do wczeÅ›niej uznanych albo odrzuconych zdaÅ„. Rozumowanie i argumentacja to poÅ›rednie sposoby uzasadnianie zdaÅ„. W rozumowaniach wystÄ™pujÄ… zawsze zdania, które stanowiÄ… punkt wyjÅ›cia i zdanie, które jest punktem dojÅ›cia, wynikiem procesu rozumowania. PrzesÅ‚anki sÄ… zdaniami bÄ™dÄ…cymi podstawÄ… rozumowania lub argumentacji. PrzesÅ‚anka entymematyczna to przesÅ‚anka nie wymieniona we wnioskowaniu z powodu uznania jej za oczywista. (To, co zdaniem jednego jest oczywiste i nie wymaga wyraznego wskazania, dla kogoÅ› innego nie musi być oczywiste. Korzystanie z przesÅ‚anek entymematycznych może wiÄ™c być zródÅ‚em nieporozumienia. Inna kwestia 10 WSP Logika 19.11.2011 WykÅ‚ad 4 jest, ze z powodu braku refleksji nad tym, co powszechnie uznane, funkcjonujÄ… w spoÅ‚eczeÅ„stwie różne rzekome prawdy.) yródÅ‚em przesÅ‚anek entymematycznych jest kultura, którÄ… przyswajamy w procesie wychowania, wyksztaÅ‚cenie, mody wieku. yródÅ‚em takich przesÅ‚anek jest tez sam jÄ™zyk; zauważmy na przykÅ‚ad, ze mówiÄ…c zachód sÅ‚oÅ„ca lub wschód sÅ‚oÅ„ca , podtrzymujemy stare poglÄ…dy, ze SÅ‚once krąży wokół Ziemi. SÅ‚owo sekretarka jakby wyklucza mężczyzn z roli sekretarki. Podobnie wyklucza mężczyzn z zawodu pielÄ™gniarki sposób zwracania sie do pielÄ™gniarki przez siostro . PrzykÅ‚ad przesÅ‚anki entymematycznej: Pewnego razu mąż obserwowaÅ‚, jak żona przygotowywaÅ‚a pieczeÅ„ na obiad. Po umieszczeniu kawaÅ‚ka woÅ‚owiny na desce do krojenia odkroiÅ‚a plaster i wyrzuciÅ‚a do kosza. Dlaczego to zrobiÅ‚aÅ›, kochanie? spytaÅ‚ zaciekawiony. Nie wiem. Moja matka zawsze tak robiÅ‚a usÅ‚yszaÅ‚ w odpowiedzi. Kiedy wiÄ™c nastÄ™pnym razem widziaÅ‚ swojÄ… teÅ›ciowÄ…, zapytaÅ‚, czy rzeczywiÅ›cie przed przygotowaniem pieczeni odkrawaÅ‚a kawaÅ‚ek miÄ™sa i wyrzucaÅ‚a go. I znów odpowiedz brzmiaÅ‚a: Tak. Moja matka zawsze tak robiÅ‚a. Zaintrygowany mąż zatelefonowaÅ‚ do babki swojej żony. O, tak, zawsze odkrawaÅ‚am kawaÅ‚ek z pieczeni, ponieważ patelnia, której używaÅ‚am, byÅ‚a za maÅ‚a wyjaÅ›niÅ‚a starsza pani. Wniosek (konkluzja) to zdanie bÄ™dÄ…ce punktem dojÅ›cia, wynikiem rozumowania lub argumentacji. MiÄ™dzy przesÅ‚ankami a wnioskiem powinien zachodzić stosunek uzasadniania. Od rodzaju rozumowania i argumentacji zależy, czy przesÅ‚anki uzasadniajÄ… wniosek, czy odwrotnie, wniosek uzasadnia przesÅ‚anki. To uzasadnianie może być oparte o racje rozumowe, co ma miejsce w rozumowaniu lub/i może zawierać pewne elementy psychologiczne i czysto subiektywne jak to ma miejsce w przypadku argumentacji. Uzasadnianie może być różnorakie. PodziaÅ‚ rozumowaÅ„ i argumentacji dokonywany jest miÄ™dzy innymi ze wzglÄ™du na to, jakiego rodzaju stosunek uzasadniania zachodzi miÄ™dzy przesÅ‚ankami a wnioskiem. 11 WSP Logika 19.11.2011 WykÅ‚ad 4 Miejsce wniosku w tekÅ›cie nie jest przesÄ…dzone. Może być on podany przed przesÅ‚ankami, miÄ™dzy nimi bÄ…dz na koÅ„cu. Bywa i tak, że seria przesÅ‚anek nastÄ™puje lub wyprzedza serie wniosków, które one uzasadniajÄ…. W standardowym zapisie wniosek nastÄ™puje po przesÅ‚ankach. W wypadku nic, co jest dowiedzione nie jest oczywiste; jest tak dlatego, że to, co jest oczywiste, nie podlega dowodowi wniosek wyprzedza przesÅ‚ankÄ™. Standardowo możemy to zapisać jak nastÄ™puje: PrzesÅ‚anka: To, co jest oczywiste, nie podlega dowodowi. Wniosek: Nic, co jest dowiedzione, nie jest oczywiste. W wypadku w wiÄ™kszoÅ›ci problemy logiczne nie sÄ… trudne. Nic, co proste, nie przyprawia mnie o ból gÅ‚owy. Dlatego też tym, co przyprawia mnie o ból gÅ‚owy, nie sÄ… problemy logiczne wniosek nastÄ™puje po przesÅ‚ankach. Standardowo zapisujemy to nastÄ™pujÄ…co: PrzesÅ‚anka I: W wiÄ™kszoÅ›ci problemy logiczne nie sÄ… trudne. PrzesÅ‚anka II: Nic, co proste, nie przyprawia mnie o ból gÅ‚owy. Wniosek: Tym, co przyprawia mnie o ból gÅ‚owy, nie sÄ… problemy logiczne. W wypadku RoÅ›nie ciÅ›nienie i niebo jest bezchmurne. Zapowiada siÄ™ wiÄ™c Å‚adna pogoda tym bardziej, że wieje ciepÅ‚y poÅ‚udniowy wiatr wniosek znajduje sie miÄ™dzy przesÅ‚ankami. Standardowo można wiÄ™c to rozumowanie przedstawić nastÄ™pujÄ…co: PrzesÅ‚anka I: RoÅ›nie ciÅ›nienie i niebo jest bezchmurne PrzesÅ‚anka II: Wieje poÅ‚udniowy wiatr. Wniosek: Zapowiada sie Å‚adna pogoda. Uznanie zdania czy to w nauce, czy też przez kogoÅ›, nie jest nieodwoÅ‚alne. Nauka zmienia siÄ™, nie tylko przez zwiÄ™kszanie zasobu twierdzeÅ„, lecz też przez odrzucanie pewnych wczeÅ›niej uznanych zdaÅ„, które w Å›wietle nowych danych przestaÅ‚y speÅ‚niać kryteria uznania. Tworzone sÄ… nowe teorie, które lepiej niż stare opisujÄ… badanÄ… rzeczywistość. 12 WSP Logika 19.11.2011 WykÅ‚ad 4 Zadanie domowe!! 1. Wskaż przesÅ‚anki i wniosek: - Gdyby nie byÅ‚o kobiet wciąż mieszkalibyÅ›my w jaskiniach jedzÄ…c surowe miÄ™so. WymyÅ›liliÅ›my cywilizacje, aby zrobić wrażenie na naszych przyjaciółkach. - KtoÅ›, kto wierzy w takie rzeczy musi być inteligentem; zwykÅ‚y czÅ‚owiek nie mógÅ‚by być tak gÅ‚upi. 2. Zapisz w standardowej postaci poniższÄ… argumentacje: Gdy negocjujesz z czÅ‚owiekiem, który wziÄ…Å‚ zakÅ‚adników, jesteÅ› zobowiÄ…zany w negocjacjach iść na ustÄ™pstwa. Może to być niewiele, może to być dużo, tak czy owak musi to być coÅ›. Raz dajÄ…c cos porywaczowi nagradzasz jego dziaÅ‚anie. Jaka jest wiÄ™c jego zwykÅ‚a i spontaniczna reakcja? Czyni to kolejny raz, sÄ…dzÄ…c, że w ten sposób osiÄ…gnie coÅ›, czego nie mógÅ‚ dostać zwykÅ‚ymi sposobami. Oto dlaczego nie wolno negocjować z terrorystÄ…. 13 WSP Logika 19.11.2011 WykÅ‚ad 4 Wnioskowanie Teoria wnioskowania jest podstawowÄ… dla teorii rozumowaÅ„. Wnioskowanie to rozumowanie, w którym: 1. przesÅ‚anki sÄ… zdaniami uznanymi (wniosek jest zdaniem nieuznanym), 2. przesÅ‚anki uzasadniajÄ… wniosek (wniosek jest uzasadniany przez przesÅ‚anki) Wnioskowanie wzbogaca naszÄ… wiedzÄ™ o wnioski ze zdaÅ„ już należących do tej wiedzy oraz wzbogaca nasze przekonania o wnioski ze zdaÅ„ wyrażajÄ…cych nasze przekonania. Wnioskowanie dedukcyjne Wnioskowanie dedukcyjne to wnioskowanie, w którym prawdziwość przesÅ‚anek gwarantuje prawdziwość wniosku. Forma wnioskowania wyklucza możliwość, aby przesÅ‚anki byÅ‚y prawdziwe a wniosek faÅ‚szywy. Gdzie tkwi bÅ‚Ä…d wnioskowania w poniższym przykÅ‚adzie? Do baru wchodzi stary kowboj i zamawia drinka. Kiedy tak siedzi, sÄ…czÄ…c whisky, przysiada siÄ™ do niego piÄ™kna, mÅ‚oda kobieta. - Czy jest pan prawdziwym kowbojem? pyta, obracajÄ…c siÄ™ w jego stronÄ™ - Cóż, caÅ‚e życie mieszkaÅ‚em na ranczu zaczyna mężczyzna PrzeganiaÅ‚em konie, naprawiaÅ‚em ogrodzenia i znaczyÅ‚em bydÅ‚o, wiÄ™c chyba jestem. - Bo ja jestem lesbijkÄ… mówi na to kobieta. Przez caÅ‚y dzieÅ„ myÅ›lÄ™ o kobietach. jak tylko wstanÄ™ rano, zaczynam myÅ›leć o kobietach. niezależnie od tego, czy biorÄ™ prysznic, czy oglÄ…dam telewizjÄ™, wszystko przypomina mi o kobietach. Nieco pózniej do kowboja przysiada siÄ™ jakieÅ› małżeÅ„stwo. - Czy jest pan prawdziwym kowbojem? pytajÄ… małżonkowie - Do tej pory wydawaÅ‚o mi siÄ™, że tak odpowiada kowboj. Ale teraz wychodzi na to, że jestem lesbijkÄ…. Analiza przykÅ‚adu: pierwsza odpowiedz na pytanie czy jest prawdziwym kowbojem: 1. JeÅ›li ktoÅ› przez caÅ‚e życie robi rzeczy, które zwykle robi kowboj, to znaczy, że sam jest kowbojem. 2. Ja sam przez caÅ‚e życie robiÅ‚em wÅ‚aÅ›nie takie rzeczy. 3. Dlatego jestem prawdziwym kowbojem. 14 WSP Logika 19.11.2011 WykÅ‚ad 4 Kobieta rozumowaÅ‚a w nastÄ™pujÄ…cy sposób: 1. JeÅ›li kobieta przez caÅ‚y czas myÅ›li o innych kobietach, to znaczy, że jest lesbijkÄ…. 2. Ja sama jestem kobietÄ…. 3. Przez caÅ‚y czas myÅ›lÄ™ o kobietach. 4. Dlatego jestem lesbijkÄ…. Zadanie domowe!! JesteÅ› w kraju, w którym policjanci zawsze mówiÄ… prawdÄ™ a zÅ‚odzieje zawsze mówiÄ… nieprawdÄ™. Spotykasz dwoje ludzi, PawÅ‚a i GawÅ‚a. Czy na podstawie tego, co tobie powiedzieli zakÅ‚adajÄ…c, że każdy z nich jest policjantem lub zÅ‚odziejem potrafisz wywnioskować kim oni sÄ…? 1. PaweÅ‚: Jestem policjantem lub nie. 2. PaweÅ‚: JeÅ›li GaweÅ‚ jest zÅ‚odziejem, to ja też. 3. GaweÅ‚: JeÅ›li ja jestem policjantem, to PaweÅ‚ jest zÅ‚odziejem. 4. PaweÅ‚: Nikt z nas nie jest policjantem. 5. GaweÅ‚: Obaj nie jesteÅ›my policjantami. 6. PaweÅ‚: GaweÅ‚ jest policjantem, a ja jestem zÅ‚odziejem. 7. PaweÅ‚: JeÅ›li ktoÅ› z nas jest policjantem, to jest to GaweÅ‚. 8. GaweÅ‚: JeÅ›li ktoÅ› z nas jest policjantem, to ja nim jestem. 9. GaweÅ‚: PaweÅ‚ jest zÅ‚odziejem. PaweÅ‚: Obaj jesteÅ›my zÅ‚odziejami. 10. GaweÅ‚: PaweÅ‚ jest policjantem. PaweÅ‚: Przynajmniej jeden z nas jest zÅ‚odziejem. 11. GaweÅ‚: PaweÅ‚ jest policjantem wtedy i tylko kiedy jest nim jego brat. PaweÅ‚: Niestety, mój brat jest zÅ‚odziejem. 12. GaweÅ‚: PaweÅ‚ i jego brat sÄ… obaj policjantami. PaweÅ‚: Ja jestem policjantem, a mój brat nie. 15