• Nie Znaleziono Wyników

1Podst˛epnyzakład F L 1:Z L Z

N/A
N/A
Protected

Academic year: 2021

Share "1Podst˛epnyzakład F L 1:Z L Z"

Copied!
3
0
0

Pełen tekst

(1)

Z AGADKI

F

IGLE

L

OGICZNE

1: Z

AGADKI

L

OGICZNE

KOGNITYWISTYKAUAM (III, IV, V) JERZYPOGONOWSKI

Zakład Logiki i Kognitywistyki UAM www.kognitywistyka.amu.edu.pl www.logic.amu.edu.pl/index.php/Dydaktyka

pogon@amu.edu.pl

Tego typu zagadki polegaj ˛a przede wszystkim na analizie wnioskowa´n. Traktu- jemy wnioskowania jako konstrukcje j˛ezykowe (a nie np. procesy psychiczne), zło-

˙zone z przyjmowanych przesłanek oraz z otrzymywanego z nich wniosku. Istotny jest charakter zwi ˛azku mi˛edzy przesłankami a wnioskiem: wyró˙zniamy jako po- prawnete wnioskowania, w których prawdziwo´s´c przesłanek gwarantuje prawdzi- wo´s´c wniosku. Mówimy wtedy, ˙ze wniosek wynika logicznie z przesłanek. Sto- sowne precyzyjne definicje tych poj˛e´c znasz z wykładu logiki z pierwszego roku studiów. W wykładzie wykorzystamy głównie przykłady zagadek logicznych po- danych w ksi ˛a˙zkach Raymonda Smullyana, mistrza w tworzeniu logicznych łami- główek. Uwzgl˛ednimy zagadki dotycz ˛ace analizy ˙zywionych przekona´n.

1 Podst˛epny zakład

Dwie osoby, A oraz B, składaj ˛a ci nast˛epuj ˛ace propozycje:

1. Oferta A: Wypowiadasz zdanie. Je´sli jest ono prawdziwe, to otrzymujesz dokładnie dziesi˛e´c dolarów. Je´sli jest ono fałszywe, to otrzymujesz albo mniej ni˙z dziesi˛e´c, albo wi˛ecej ni˙z dziesi˛e´c dolarów, ale nie dokładnie dzie- si˛e´c dolarów.

2. Oferta B: Wypowiadasz zdanie. Niezale˙znie od tego, czy jest ono praw- dziwe czy fałszywe, otrzymujesz wi˛ecej ni˙z dziesi˛e´c dolarów.

Któr ˛a z tych dwu ofert byłby´s skłonny wybra´c?

1

(2)

2 Kto jest na portrecie?

Pewien człowiek przygl ˛ada si˛e czyjemu´s portretowi. Zapytany Czyjemu portretowi si˛e przygl ˛adasz?odpowiada: Nie mam braci ani sióstr, ale syn tego człowieka jest synem mojego ojca. Czyjemu portretowi si˛e przygl ˛ada?

3 Jestem swoim własnym dzieckiem

Czy nast˛epuj ˛ace wnioskowanie jest poprawne?

Ka˙zdy kocha moje dziecko.

Moje dziecko kocha tylko mnie.

Jestem zatem swoim własnym dzieckiem.

4 Tolerancja religijna

Powiada si˛e, ˙ze pewnego razu bóg zst ˛apił z niebios i zaklasyfikował ka˙zdego miesz- ka´nca Ziemi jako albo szczególnego, albo nieszczególnego. Jak si˛e okazało, dla ka˙z- dej osoby x, x była szczególna wtedy i tylko wtedy, gdy było tak, ˙ze albo ka˙zdy był szczególny, albo nikt nie był szczególny. Które z nast˛epuj ˛acych trzech stwierdze´n wynika z tego logicznie?

(1) Nikt nie jest szczególny.

(2) Niektórzy s ˛a szczególni, a niektórzy nie s ˛a.

(3) Ka˙zdy jest szczególny.

5 Moralno´s´c a sier´s´c

Na pewnej planecie ka˙zdy z mieszka´nców był klasyfikowany jako albo dobry, albo zły. Statystyk z naszej planety przybył na tamt ˛a planet˛e i doszedł do trafnego wnio- sku, ˙ze dla ka˙zdego mieszka´nca x, x był dobry wtedy i tylko wtedy, gdy było tak,

˙ze wszyscy dobrzy mieszka´ncy mieli zielone włosy. Które z nast˛epuj ˛acych trzech stwierdze´n wynika z tego logicznie?

(1) Wszyscy z nich s ˛a dobrzy.

(2) ˙Zaden z nich nie jest dobry.

(3) Niektórzy z nich sa dobrzy, a niektórzy nie s ˛a.

2

(3)

Ponadto, które z nast˛epuj ˛acych trzech stwierdze´n wynika z tego logicznie?

(4) Wszyscy z nich maj ˛a zielone włosy.

(5) ˙Zaden z nich nie ma zielonych włosów.

(6) Niektórzy z nich maj ˛a zielone włosy, a niektórzy nie maj ˛a.

Rozwi ˛azania zagadek podane zostan ˛a na wykładzie.

Jerzy Pogonowski Zakład Logiki i Kognitywistyki UAM pogon@amu.edu.pl

3

Cytaty

Powiązane dokumenty

Kilka uwag o sumach nieskończonych Literatura: Łojasiewicz, Stasica, Analiza formalna i funkcje analityczne.. Niech X będzie nieskończonym

Zastanów si¦, jak wygl¡da twierdzenie o arytmetyce granic, gdy s¡ one niewªa±ciwe.. Jego granica

[r]

Dane są dodatnio (prawostronnie) asymetryczne wtedy i tylko wtedy gdy ich funkcja symetrii jest niemalejąca.. Wykres dowolnej funkcji symetrii leży w pewnym

[r]

Dla kontrolowania rzędów zer i biegunów funkcji wymiernych wygodnie jest haszować je jako współczynniki grupy abelowej wolnej generowanych przez punkty krzywej E

[r]

Niech p b¦dzie