Logika. Krótkie Wprowadzenie 36 - ebook
Wydawnictwo:
Tłumacz:
Data wydania:
1 marca 2023
Format ebooka:
EPUB
Format
EPUB
czytaj
na czytniku
czytaj
na tablecie
czytaj
na smartfonie
Jeden z najpopularniejszych formatów e-booków na świecie.
Niezwykle wygodny i przyjazny czytelnikom - w przeciwieństwie do formatu
PDF umożliwia skalowanie czcionki, dzięki czemu możliwe jest dopasowanie
jej wielkości do kroju i rozmiarów ekranu. Więcej informacji znajdziesz
w dziale Pomoc.
Multiformat
E-booki w Virtualo.pl dostępne są w opcji multiformatu.
Oznacza to, że po dokonaniu zakupu, e-book pojawi się na Twoim koncie we wszystkich formatach dostępnych aktualnie dla danego tytułu.
Informacja o dostępności poszczególnych formatów znajduje się na karcie produktu.
Format
PDF
czytaj
na laptopie
czytaj
na tablecie
Format e-booków, który możesz odczytywać na tablecie oraz
laptopie. Pliki PDF są odczytywane również przez czytniki i smartfony,
jednakze względu na komfort czytania i brak możliwości skalowania
czcionki, czytanie plików PDF na tych urządzeniach może być męczące dla
oczu. Więcej informacji znajdziesz w dziale Pomoc.
Multiformat
E-booki w Virtualo.pl dostępne są w opcji multiformatu.
Oznacza to, że po dokonaniu zakupu, e-book pojawi się na Twoim koncie we wszystkich formatach dostępnych aktualnie dla danego tytułu.
Informacja o dostępności poszczególnych formatów znajduje się na karcie produktu.
Format
MOBI
czytaj
na czytniku
czytaj
na tablecie
czytaj
na smartfonie
Jeden z najczęściej wybieranych formatów wśród czytelników
e-booków. Możesz go odczytać na czytniku Kindle oraz na smartfonach i
tabletach po zainstalowaniu specjalnej aplikacji. Więcej informacji
znajdziesz w dziale Pomoc.
Multiformat
E-booki w Virtualo.pl dostępne są w opcji multiformatu.
Oznacza to, że po dokonaniu zakupu, e-book pojawi się na Twoim koncie we wszystkich formatach dostępnych aktualnie dla danego tytułu.
Informacja o dostępności poszczególnych formatów znajduje się na karcie produktu.
Multiformat
E-booki sprzedawane w księgarni Virtualo.pl dostępne są w opcji
multiformatu - kupujesz treść, nie format. Po dodaniu e-booka do koszyka
i dokonaniu płatności, e-book pojawi się na Twoim koncie w Mojej
Bibliotece we wszystkich formatach dostępnych aktualnie dla danego
tytułu. Informacja o dostępności poszczególnych formatów znajduje się na
karcie produktu przy okładce. Uwaga: audiobooki nie są objęte opcją
multiformatu.
czytaj
na laptopie
Pliki PDF zabezpieczone watermarkiem możesz odczytać na dowolnym
laptopie po zainstalowaniu czytnika dokumentów PDF. Najpowszechniejszym
programem, który umożliwi odczytanie pliku PDF na laptopie, jest Adobe
Reader. W zależności od potrzeb, możesz zainstalować również inny
program - e-booki PDF pod względem sposobu odczytywania nie różnią
niczym od powszechnie stosowanych dokumentów PDF, które odczytujemy
każdego dnia.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
czytaj
na tablecie
Aby odczytywać e-booki na swoim tablecie musisz zainstalować specjalną
aplikację. W zależności od formatu e-booka oraz systemu operacyjnego,
który jest zainstalowany na Twoim urządzeniu może to być np. Bluefire
dla EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
czytaj
na czytniku
Czytanie na e-czytniku z ekranem e-ink jest bardzo wygodne i nie męczy
wzroku. Pliki przystosowane do odczytywania na czytnikach to przede
wszystkim EPUB (ten format możesz odczytać m.in. na czytnikach
PocketBook) i MOBI (ten fromat możesz odczytać m.in. na czytnikach Kindle).
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
czytaj
na smartfonie
Aby odczytywać e-booki na swoim smartfonie musisz zainstalować specjalną
aplikację. W zależności od formatu e-booka oraz systemu operacyjnego,
który jest zainstalowany na Twoim urządzeniu może to być np. iBooks dla
EPUBa lub aplikacja Kindle dla formatu MOBI.
Informacje na temat zabezpieczenia e-booka znajdziesz na karcie produktu
w "Szczegółach na temat e-booka". Więcej informacji znajdziesz w dziale
Pomoc.
Czytaj fragment
Pobierz fragment
Pobierz fragment w jednym z dostępnych formatów
Logika. Krótkie Wprowadzenie 36 - ebook
> KRÓTKIE WPROWADZENIE
– książki, które zmieniają sposób myślenia!
Może się wydawać, że logika nie ma wiele wspólnego z filozofią, a tym bardziej z prawdziwym życiem. Graham Priest pokazuje, jak bardzo ta koncepcja jest błędna. Bada filozoficzne korzenie, pokazuje, jak współczesna logika formalna radzi sobie z takimi zagadnieniami, jak istnienie Boga, rzeczywistość, paradoksy teorii prawdopodobieństwa i decyzji. W przystępny sposób wyjaśnia jej podstawy, pokazując, że logika jest ważną częścią współczesnej filozofii, a także jak może być przydatna w codziennym życiu i komunikacji – pozwala klarownie i skutecznie argumentować. Priest podejmuje również tematy związane z algorytmami i aksjomatami oraz dowodami matematycznymi.
*
Interdyscyplinarna seria KRÓTKIE WPROWADZENIE piórem uznanych ekspertów skupionych wokół Uniwersytetu Oksfordzkiego przybliża aktualną wiedzę na temat współczesnego świata i pomaga go zrozumieć. W atrakcyjny sposób prezentuje najważniejsze zagadnienia XXI w. – od kultury, religii, historii przez nauki przyrodnicze po technikę. To publikacje popularnonaukowe, które w formule przystępnej, dalekiej od akademickiego wykładu, prezentują wybrane kwestie.
Książki idealne zarówno jako wprowadzenie do nowych tematów, jak i uzupełnienie wiedzy o tym, co nas pasjonuje. Najnowsze fakty, analizy ekspertów, błyskotliwe interpretacje.
Opiekę merytoryczną nad polską edycją serii sprawują naukowcy z Uniwersytetu Łódzkiego: prof. Krystyna Kujawińska Courtney, prof. Ewa Gajewska, prof. Aneta Pawłowska, prof. Jerzy Gajdka, prof. Piotr Stalmaszczyk.
Spis treści
Przedmowa do wydania pierwszego
Przedmowa do wydania drugiego
Spis ilustracji
1. Poprawność wnioskowań: co z czego wynika?
2. Funkcje prawdziwościowe – lub nie?
3. Nazwy i kwantyfikatory: czy nic jest czymś?
4. Deskrypcje i istnienie: czy Grecy czcili Zeusa?
5. Samoodniesienie: o czym jest ten rozdział?
6. Konieczność i możliwość: czy to, co będzie, być musi?
7. Implikacja: co się kryje w jeśli?
8. Przyszłość i przeszłość: czy czas istnieje?
9. Tożsamość i zmiana: czy cokolwiek pozostaje kiedykolwiek sobą?
10. Nieostrość: jak uniknąć zjazdu po równi pochyłej?
11. Prawdopodobieństwo: dziwny przypadek niedookreślonego zbioru zdarzeń
12. Prawdopodobieństwo odwrotne: nie możesz przejść obok niego obojętnie!
13. Teoria decyzji: wielkie oczekiwania
14. Stop! Co idzie?
15. Może to i prawda – ale nie możesz tego udowodnić!
Odrobina historii i dalsze lektury
Słowniczek
Zadania
Rozwiązania zadań
Bibliografia
Indeks ogólny
Indeks nazwisk
| Kategoria: | Filozofia |
| Zabezpieczenie: |
Watermark
|
| ISBN: | 978-83-8331-070-1 |
| Rozmiar pliku: | 3,6 MB |
FRAGMENT KSIĄŻKI
Spis treści
Przedmowa do wydania pierwszego
Przedmowa do wydania drugiego
Spis ilustracji
1. Poprawność wnioskowań: co z czego wynika?
2. Funkcje prawdziwościowe – lub nie?
3. Nazwy i kwantyfikatory: czy nic jest czymś?
4. Deskrypcje i istnienie: czy Grecy czcili Zeusa?
5. Samoodniesienie: o czym jest ten rozdział?
6. Konieczność i możliwość: czy to, co będzie, być musi?
7. Implikacja: co się kryje w jeśli?
8. Przyszłość i przeszłość: czy czas istnieje?
9. Tożsamość i zmiana: czy cokolwiek pozostaje kiedykolwiek sobą?
10. Nieostrość: jak uniknąć zjazdu po równi pochyłej?
11. Prawdopodobieństwo: dziwny przypadek niedookreślonego zbioru zdarzeń
12. Prawdopodobieństwo odwrotne: nie możesz przejść obok niego obojętnie!
13. Teoria decyzji: wielkie oczekiwania
14. Stop! Co idzie?
15. Może to i prawda – ale nie możesz tego udowodnić!
Odrobina historii i dalsze lektury
Słowniczek
Zadania
Rozwiązania zadań
Bibliografia
Indeks nazw
Indeks nazwiskPrzedmowa do wydania pierwszego
Logika jest równocześnie jedną z najstarszych, jak i najbardziej współczesnych dziedzin nauki. Jej początki sięgają IV w. p.n.e. Jedynymi starszymi od niej naukami są filozofia i matematyka, z którymi była zawsze blisko związana. Została zrewolucjonizowana na początku XX w. dzięki użyciu nowych narzędzi matematycznych, a w jego drugiej połowie znalazła radykalnie nowe i ważne zastosowania dla obliczalności i przetwarzania informacji. Odgrywa więc centralną rolę w dużej części ludzkich myśli i przedsięwzięć.
Książka ta jest wprowadzeniem do logiki, takiej, jaką ją widzą współcześni logicy. Nie próbuje ona jednak być podręcznikiem – tych jest już dostępnych bardzo wiele. Celem niniejszej książki jest zbadanie źródeł logiki, które tkwią głęboko w filozofii. Po drodze zostanie objaśnione trochę logiki formalnej.
Każdy z głównych rozdziałów rozpoczynam od pewnego problemu filozoficznego lub zagadki logicznej. Następnie objaśniam jedno podejście do nich. Często jest ono zupełnie standardowe, choć w pewnych dziedzinach nie ma standardowej odpowiedzi: logicy wciąż toczą dyskusje. W takich przypadkach wybieram podejście interesujące. Niemal wszystkie te teorie, nieważne czy standardowe, czy nie, mogą zostać podważone. Każdy rozdział kończę, wymieniając pewne problemy, stanowiska, które omówiłem. Czasami problemy te są standardowe, czasami nie; czasami mają proste odpowiedzi, czasami nie. Moim celem jest zachęcić Cię do zastanowienia się, jak Ty to widzisz.
Współczesna logika jest przedmiotem wysoko zmatematyzowanym. Starałem się pisać w taki sposób, by uniknąć niemal całej matematyki. Jedynie w rozdziałach 11–13 będzie potrzebna odrobina szkolnej algebry. Zapewne potrzebna będzie determinacja, by opanować symbolikę, która może być dla Ciebie nowa, ale wciąż jest to znacznie mniej, niż potrzeba do zrozumienia podstaw dowolnego nowego języka. Zyskujemy też w zamian precyzję w rozważaniu trudnych pytań, dzięki której możliwe problemy w opanowaniu nowego symbolizmu stają się zdecydowanie warte wysiłku. Konieczne jest tu jednak słowo ostrzeżenia: książek o logice czy filozofii nie czyta się tak jak powieści. Będą momenty, gdy lektura będzie wymagała uwagi i skupienia. Czasami trzeba będzie przerwać i się zastanowić; należy być też gotowym na to, że czasem trzeba będzie wrócić do jakiegoś akapitu i przeczytać go jeszcze raz.
Dodatek Odrobina historii i dalsze lektury dotyczy rozwoju logiki. Starałem się w nim umieścić pewne kwestie omówione w książce z perspektywy historycznej, by pokazać, że logika jest przedmiotem żywym, który od zawsze ewoluował i wciąż będzie to robił. W części tej zawarte są też propozycje dalszych lektur.
Są jeszcze trzy inne dodatki. Pierwszy zawiera słowniczek terminów i symboli. Możesz do niego zajrzeć, jeśli zapomnisz, co oznaczało dane słowo czy symbol. Drugi zawiera po jednym pytaniu do każdego rozdziału, które pozwolą sprawdzić rozumienie jego głównych idei. Trzeci to rozwiązania zadań. Tego dodatku nie było w pierwszym druku pierwszego wydania, został dodany w dodrukach.
Temat książki przedstawiony jest raczej szeroko niż głęboko. Łatwo byłoby napisać osobny tom na temat każdego z rozdziałów – tak naprawdę wiele takich już powstało. Mimo to jest w logice bardzo dużo ważnych kwestii, o których nawet nie wspomniałem. Ale jeśli dotrwasz do końca, zdobędziesz całkiem dobry ogląd fundamentów współczesnej logiki i zrozumiesz, dlaczego ludzie uważają, że wciąż warto się nią zajmować.Przedmowa do wydania drugiego
Pierwsze wydanie tej książki pojawiło się w 2000 r. W 2016 r. Wydawnictwo Uniwersytetu Oxfordzkiego skontaktowało się ze mną w sprawie możliwości opracowania drugiego wydania. W pierwszej chwili pomyślałem, że nie ma to sensu. Gdyby była to książka o, powiedzmy, stosunkach międzynarodowych, z pewnością byłaby już zdezaktualizowana. Ale logika rozwija się, ogólnie mówiąc, w wolniejszym tempie. Materiał z pierwszego wydania jest obecnie tak samo dobry jak wcześniej. Nie sądzę też, że umiałbym teraz przedstawić go lepiej zakładanej docelowej grupie odbiorców. Co więcej, książka dobrze się sprzedawała i była już przetłumaczona na osiem języków (jeśli dobrze pamiętam).
Wydawnictwo zwróciło mi jednak uwagę, że nie wykorzystałem swoich przydziałowych 35 tys. słów w pierwszym wydaniu, i zasugerowało, że mógłbym dodać kilka nowych rozdziałów. Zastanowiłem się nad tym i uznałem to za świetny pomysł. Pierwsze wydanie daje pewne rozumienie podstaw współczesnej logiki, ale nic więcej. Logika jest przedmiotem o wielkiej głębi i pięknie, a materiał pierwszego wydania tego nie oddaje. Dwa dodatkowe rozdziały pozwoliłyby mi to osiągnąć – przynajmniej w ograniczonym zakresie; nie ma szans zrobić więcej, niż ledwie zarysować powierzchnię problemu w książce tego typu. Jednak nowe rozdziały dają czytelnikowi „dalszą perspektywę” – a przynajmniej taką mam nadzieję.
W obecnej formie książka zawiera pierwotne rozdziały, raczej niezmienione, co najwyżej w pewnych miejscach odrobinę wygładzone. Historyczny rozdział 14 stał się teraz dodatkiem Odrobina historii i dalsze lektury. Mamy też dwa nowe rozdziały – 14 i 15 – na temat, odpowiednio, Turinga i problemu stopu oraz Gödla i jego twierdzeń o niezupełności. Zachowałem format pierwszego wydania. Główne idee każdego rozdziału zostały wypunktowane na jego końcu. Materiał historyczny, zadania i słowniczek zostały rozszerzone, by obejmowały również nowy materiał.
Nowe rozdziały są z konieczności trudniejsze niż poprzednie; dołożyłem jednak wszelkich starań, żeby były możliwie przyjazne dla użytkownika. Ci, którzy je pominą, nic nie stracą w porównaniu do tych, którzy kupili pierwsze wydanie. Ci zaś, którzy do nich zajrzą, uzyskają, mam nadzieję, jakiś ogląd, dokąd ten łatwiejszy materiał może zaprowadzić.Spis ilustracji
1. Twidlitam i Twidlitu
Zasoby internetu
2. Gottlob Frege
© akg-images
3. Nikt
Internet Archive
4. Bertrand Russell
Private collection
5. Wstęga Möbiusa
© Nick Koudis/Photodisc
6. Arystoteles
© 2006 Alinari/TopFoto
7. Wyciąganie pochopnych wniosków
© John Taylor
8. Dla Doktora Who czas i przestrzeń niewiele się od siebie różnią
© Photodynamx/Dreamstime
9. Gottfried Wilhelm Leibniz
© Science Museum/Science & Society Picture Library. All rights reserved
10. Dylemat motocyklisty
© John Taylor
11. Holmes pokazuje siłę swojej dedukcji
Mary Evans Picture Library
12. Materia posiada charakterystyczną strukturę. Galaktyka spiralna
© Chris Butler/Science Photo Library
13. Diabelski plan
© John Taylor
14. Alan Turing
Photo Researchers, Inc./Alamy Stock Photo
15. Kurt Gödel
Pictorial Press Ltd/Alamy Stock PhotoRozdział 1
Poprawność wnioskowań: co z czego wynika?
Niemal każdy lubi myśleć o sobie, że jest logiczny. Gdy powiemy do kogoś: „Jesteś nielogiczny”, zwykle chcemy wyrazić w ten sposób krytykę. Być nielogicznym oznacza być skołowanym, skonfundowanym, nieracjonalnym. Ale czym jest logika? W powieści Lewisa Carrolla Po drugiej stronie lustra Alicja spotyka bliźnięta dzielące z upodobaniem włos na czworo, Twidlitam i Twidlitu (rys. 1), które wykorzystują chwilę słabości Alicji, by przypuścić na nią atak:
– Wiem, co masz na myśli – powiedział Twidlitu – ale to nie tak. W żadnym wypadku!
– A z drugiej strony – podjął Twidlitam – gdyby nawet było tak, jak mogłoby być, to by tak było, ale ponieważ tak nie jest, to jest inaczej. To logiczne1.
To, co wyczynia tutaj Twidlitam – przynajmniej w parodii Carolla – to rozumowanie. I, jak twierdzi, na tym właśnie polega logika.
Wszyscy rozumujemy. Próbujemy zrozumieć różne sprawy, wyciągając wnioski z tego, co już wiemy. Usiłujemy przekonać innych do pewnych kwestii, podając im stojące za nimi powody. Logika zajmuje się badaniem, co można uznać za dobre uzasadnienie czego i dlaczego. Trzeba to jednak rozumieć we właściwy sposób. Oto dwa przykłady rozumowania – logicy nazywają je wnioskowaniami:
1. Rzym jest stolicą Włoch, a ten samolot ląduje w Rzymie, więc ten samolot ląduje we Włoszech.
2. Moskwa jest stolicą USA, więc nie możesz pojechać do Moskwy, nie jadąc do USA.
1. Twidlitam i Twidlitu rozmawiają z Alicją o niuansach logiki
W każdym z przykładów twierdzenia występujące przed słowem „więc” (logicy nazywają je przesłankami) podają powody; twierdzenia występujące po słowie „więc” (logicy nazywają je wnioskami) podają, co te powody uzasadniają. Pierwsze wnioskowanie jest w porządku, ale drugie jest raczej kiepskie i nie przekona nikogo, kto ma choćby podstawową wiedzę z geografii: przesłanka, że Moskwa jest stolicą USA, jest po prostu fałszywa. Zauważ jednak, że gdyby ta przesłanka była prawdziwa – gdyby na przykład Stany Zjednoczone wykupiły całą Rosję (a nie tylko Alaskę) i przeniosły stolicę do Moskwy, żeby być bliżej centrów władzy w Europie – to wniosek ten byłby prawdziwy. Wynikałby bowiem z przesłanek – a tylko to interesuje logikę. Nie interesuje jej, czy przesłanki wnioskowania są prawdziwe, czy nie. To domena kogoś innego (w tym przypadku geografa). Logikę zajmuje tylko to, czy wniosek wynika z przesłanek. Logicy nazywają wnioskowanie, w którym wniosek naprawdę wynika z przesłanek, poprawnym formalnie. Główne zadanie logiki polega na zrozumieniu, na czym polega poprawność wnioskowań.
Mogłoby się wydawać, że jest to nudne zajęcie – intelektualne ćwiczenie mniej pasjonujące nawet od rozwiązywania krzyżówek. Okazuje się jednak, że nie tylko jest to bardzo trudne, ale i nierozerwalnie związanie z wieloma ważnymi (a nieraz fundamentalnymi) pytaniami filozoficznymi. Zapoznamy się z niektórymi w kolejnych rozdziałach. Na razie jednak ustalmy kilka podstawowych faktów na temat poprawności wnioskowań.
Zacznijmy od tego, że powszechnie mówi się o dwóch typach wnioskowań, dla których nieco odmiennie określa się poprawność2. Żeby to zrozumieć, zastanówmy się nad tymi trzema wnioskowaniami:
1. Gdyby złodziej włamał się do domu przez okno w kuchni, na zewnątrz zostałyby ślady jego stóp; jednak nie ma tam żadnych śladów, więc złodziej nie włamał się przez okno w kuchni.
2. Zbierają się chmury burzowe, więc będzie padał deszcz.
3. Zbierają się chmury burzowe, więc złodziej nie włamał się przez okno w kuchni.------------------------------------------------------------------------
1 L. Carroll, Alicja w Krainie Czarów. Po drugiej stronie lustra, tłum. B. Kaniewska, Poznań 2012, s. 240.
2 Autor mówi tutaj o dwóch rodzajach poprawności: deductive validity („poprawność dedukcyjna”) i inductive validity („poprawność indukcyjna”). W standardowej terminologii angielskiej mówimy w przypadku wnioskowań dedukcyjnych, że są valid, gdy ich wniosek wynika logicznie z przesłanek, i że są sound, gdy oprócz bycia valid dodatkowo ich przesłanki są prawdziwe. W przypadku wnioskowań indukcyjnych mówimy, że są strong, gdy przesłanki w dużym stopniu uprawdopodabniają wniosek, i że są weak, gdy robią to w niewielkim stopniu. Wnioskowania indukcyjne są cogent, gdy oprócz bycia strong ich przesłanki są prawdziwe. Autor nazywa więc validity – deductive validity, a strength – inductive validity, i mówi o dwóch rodzajach poprawności. W terminologii polskiej z kolei są inne dwa rodzaje poprawności: poprawność materialna i poprawność formalna wnioskowań, gdzie poprawność materialna polega na prawdziwości przesłanek (i dotyczy zarówno wnioskowań dedukcyjnych, jak i indukcyjnych), a poprawność formalna polega na wynikaniu logicznym wniosku z przesłanek (i dotyczy tylko wnioskowań dedukcyjnych). O wnioskowaniach indukcyjnych mówimy, że są mocne (silne) lub słabe (analogicznie do terminów angielskich). Fragment został zmodyfikowany pod kątem terminologii polskiej .
Przedmowa do wydania pierwszego
Przedmowa do wydania drugiego
Spis ilustracji
1. Poprawność wnioskowań: co z czego wynika?
2. Funkcje prawdziwościowe – lub nie?
3. Nazwy i kwantyfikatory: czy nic jest czymś?
4. Deskrypcje i istnienie: czy Grecy czcili Zeusa?
5. Samoodniesienie: o czym jest ten rozdział?
6. Konieczność i możliwość: czy to, co będzie, być musi?
7. Implikacja: co się kryje w jeśli?
8. Przyszłość i przeszłość: czy czas istnieje?
9. Tożsamość i zmiana: czy cokolwiek pozostaje kiedykolwiek sobą?
10. Nieostrość: jak uniknąć zjazdu po równi pochyłej?
11. Prawdopodobieństwo: dziwny przypadek niedookreślonego zbioru zdarzeń
12. Prawdopodobieństwo odwrotne: nie możesz przejść obok niego obojętnie!
13. Teoria decyzji: wielkie oczekiwania
14. Stop! Co idzie?
15. Może to i prawda – ale nie możesz tego udowodnić!
Odrobina historii i dalsze lektury
Słowniczek
Zadania
Rozwiązania zadań
Bibliografia
Indeks nazw
Indeks nazwiskPrzedmowa do wydania pierwszego
Logika jest równocześnie jedną z najstarszych, jak i najbardziej współczesnych dziedzin nauki. Jej początki sięgają IV w. p.n.e. Jedynymi starszymi od niej naukami są filozofia i matematyka, z którymi była zawsze blisko związana. Została zrewolucjonizowana na początku XX w. dzięki użyciu nowych narzędzi matematycznych, a w jego drugiej połowie znalazła radykalnie nowe i ważne zastosowania dla obliczalności i przetwarzania informacji. Odgrywa więc centralną rolę w dużej części ludzkich myśli i przedsięwzięć.
Książka ta jest wprowadzeniem do logiki, takiej, jaką ją widzą współcześni logicy. Nie próbuje ona jednak być podręcznikiem – tych jest już dostępnych bardzo wiele. Celem niniejszej książki jest zbadanie źródeł logiki, które tkwią głęboko w filozofii. Po drodze zostanie objaśnione trochę logiki formalnej.
Każdy z głównych rozdziałów rozpoczynam od pewnego problemu filozoficznego lub zagadki logicznej. Następnie objaśniam jedno podejście do nich. Często jest ono zupełnie standardowe, choć w pewnych dziedzinach nie ma standardowej odpowiedzi: logicy wciąż toczą dyskusje. W takich przypadkach wybieram podejście interesujące. Niemal wszystkie te teorie, nieważne czy standardowe, czy nie, mogą zostać podważone. Każdy rozdział kończę, wymieniając pewne problemy, stanowiska, które omówiłem. Czasami problemy te są standardowe, czasami nie; czasami mają proste odpowiedzi, czasami nie. Moim celem jest zachęcić Cię do zastanowienia się, jak Ty to widzisz.
Współczesna logika jest przedmiotem wysoko zmatematyzowanym. Starałem się pisać w taki sposób, by uniknąć niemal całej matematyki. Jedynie w rozdziałach 11–13 będzie potrzebna odrobina szkolnej algebry. Zapewne potrzebna będzie determinacja, by opanować symbolikę, która może być dla Ciebie nowa, ale wciąż jest to znacznie mniej, niż potrzeba do zrozumienia podstaw dowolnego nowego języka. Zyskujemy też w zamian precyzję w rozważaniu trudnych pytań, dzięki której możliwe problemy w opanowaniu nowego symbolizmu stają się zdecydowanie warte wysiłku. Konieczne jest tu jednak słowo ostrzeżenia: książek o logice czy filozofii nie czyta się tak jak powieści. Będą momenty, gdy lektura będzie wymagała uwagi i skupienia. Czasami trzeba będzie przerwać i się zastanowić; należy być też gotowym na to, że czasem trzeba będzie wrócić do jakiegoś akapitu i przeczytać go jeszcze raz.
Dodatek Odrobina historii i dalsze lektury dotyczy rozwoju logiki. Starałem się w nim umieścić pewne kwestie omówione w książce z perspektywy historycznej, by pokazać, że logika jest przedmiotem żywym, który od zawsze ewoluował i wciąż będzie to robił. W części tej zawarte są też propozycje dalszych lektur.
Są jeszcze trzy inne dodatki. Pierwszy zawiera słowniczek terminów i symboli. Możesz do niego zajrzeć, jeśli zapomnisz, co oznaczało dane słowo czy symbol. Drugi zawiera po jednym pytaniu do każdego rozdziału, które pozwolą sprawdzić rozumienie jego głównych idei. Trzeci to rozwiązania zadań. Tego dodatku nie było w pierwszym druku pierwszego wydania, został dodany w dodrukach.
Temat książki przedstawiony jest raczej szeroko niż głęboko. Łatwo byłoby napisać osobny tom na temat każdego z rozdziałów – tak naprawdę wiele takich już powstało. Mimo to jest w logice bardzo dużo ważnych kwestii, o których nawet nie wspomniałem. Ale jeśli dotrwasz do końca, zdobędziesz całkiem dobry ogląd fundamentów współczesnej logiki i zrozumiesz, dlaczego ludzie uważają, że wciąż warto się nią zajmować.Przedmowa do wydania drugiego
Pierwsze wydanie tej książki pojawiło się w 2000 r. W 2016 r. Wydawnictwo Uniwersytetu Oxfordzkiego skontaktowało się ze mną w sprawie możliwości opracowania drugiego wydania. W pierwszej chwili pomyślałem, że nie ma to sensu. Gdyby była to książka o, powiedzmy, stosunkach międzynarodowych, z pewnością byłaby już zdezaktualizowana. Ale logika rozwija się, ogólnie mówiąc, w wolniejszym tempie. Materiał z pierwszego wydania jest obecnie tak samo dobry jak wcześniej. Nie sądzę też, że umiałbym teraz przedstawić go lepiej zakładanej docelowej grupie odbiorców. Co więcej, książka dobrze się sprzedawała i była już przetłumaczona na osiem języków (jeśli dobrze pamiętam).
Wydawnictwo zwróciło mi jednak uwagę, że nie wykorzystałem swoich przydziałowych 35 tys. słów w pierwszym wydaniu, i zasugerowało, że mógłbym dodać kilka nowych rozdziałów. Zastanowiłem się nad tym i uznałem to za świetny pomysł. Pierwsze wydanie daje pewne rozumienie podstaw współczesnej logiki, ale nic więcej. Logika jest przedmiotem o wielkiej głębi i pięknie, a materiał pierwszego wydania tego nie oddaje. Dwa dodatkowe rozdziały pozwoliłyby mi to osiągnąć – przynajmniej w ograniczonym zakresie; nie ma szans zrobić więcej, niż ledwie zarysować powierzchnię problemu w książce tego typu. Jednak nowe rozdziały dają czytelnikowi „dalszą perspektywę” – a przynajmniej taką mam nadzieję.
W obecnej formie książka zawiera pierwotne rozdziały, raczej niezmienione, co najwyżej w pewnych miejscach odrobinę wygładzone. Historyczny rozdział 14 stał się teraz dodatkiem Odrobina historii i dalsze lektury. Mamy też dwa nowe rozdziały – 14 i 15 – na temat, odpowiednio, Turinga i problemu stopu oraz Gödla i jego twierdzeń o niezupełności. Zachowałem format pierwszego wydania. Główne idee każdego rozdziału zostały wypunktowane na jego końcu. Materiał historyczny, zadania i słowniczek zostały rozszerzone, by obejmowały również nowy materiał.
Nowe rozdziały są z konieczności trudniejsze niż poprzednie; dołożyłem jednak wszelkich starań, żeby były możliwie przyjazne dla użytkownika. Ci, którzy je pominą, nic nie stracą w porównaniu do tych, którzy kupili pierwsze wydanie. Ci zaś, którzy do nich zajrzą, uzyskają, mam nadzieję, jakiś ogląd, dokąd ten łatwiejszy materiał może zaprowadzić.Spis ilustracji
1. Twidlitam i Twidlitu
Zasoby internetu
2. Gottlob Frege
© akg-images
3. Nikt
Internet Archive
4. Bertrand Russell
Private collection
5. Wstęga Möbiusa
© Nick Koudis/Photodisc
6. Arystoteles
© 2006 Alinari/TopFoto
7. Wyciąganie pochopnych wniosków
© John Taylor
8. Dla Doktora Who czas i przestrzeń niewiele się od siebie różnią
© Photodynamx/Dreamstime
9. Gottfried Wilhelm Leibniz
© Science Museum/Science & Society Picture Library. All rights reserved
10. Dylemat motocyklisty
© John Taylor
11. Holmes pokazuje siłę swojej dedukcji
Mary Evans Picture Library
12. Materia posiada charakterystyczną strukturę. Galaktyka spiralna
© Chris Butler/Science Photo Library
13. Diabelski plan
© John Taylor
14. Alan Turing
Photo Researchers, Inc./Alamy Stock Photo
15. Kurt Gödel
Pictorial Press Ltd/Alamy Stock PhotoRozdział 1
Poprawność wnioskowań: co z czego wynika?
Niemal każdy lubi myśleć o sobie, że jest logiczny. Gdy powiemy do kogoś: „Jesteś nielogiczny”, zwykle chcemy wyrazić w ten sposób krytykę. Być nielogicznym oznacza być skołowanym, skonfundowanym, nieracjonalnym. Ale czym jest logika? W powieści Lewisa Carrolla Po drugiej stronie lustra Alicja spotyka bliźnięta dzielące z upodobaniem włos na czworo, Twidlitam i Twidlitu (rys. 1), które wykorzystują chwilę słabości Alicji, by przypuścić na nią atak:
– Wiem, co masz na myśli – powiedział Twidlitu – ale to nie tak. W żadnym wypadku!
– A z drugiej strony – podjął Twidlitam – gdyby nawet było tak, jak mogłoby być, to by tak było, ale ponieważ tak nie jest, to jest inaczej. To logiczne1.
To, co wyczynia tutaj Twidlitam – przynajmniej w parodii Carolla – to rozumowanie. I, jak twierdzi, na tym właśnie polega logika.
Wszyscy rozumujemy. Próbujemy zrozumieć różne sprawy, wyciągając wnioski z tego, co już wiemy. Usiłujemy przekonać innych do pewnych kwestii, podając im stojące za nimi powody. Logika zajmuje się badaniem, co można uznać za dobre uzasadnienie czego i dlaczego. Trzeba to jednak rozumieć we właściwy sposób. Oto dwa przykłady rozumowania – logicy nazywają je wnioskowaniami:
1. Rzym jest stolicą Włoch, a ten samolot ląduje w Rzymie, więc ten samolot ląduje we Włoszech.
2. Moskwa jest stolicą USA, więc nie możesz pojechać do Moskwy, nie jadąc do USA.
1. Twidlitam i Twidlitu rozmawiają z Alicją o niuansach logiki
W każdym z przykładów twierdzenia występujące przed słowem „więc” (logicy nazywają je przesłankami) podają powody; twierdzenia występujące po słowie „więc” (logicy nazywają je wnioskami) podają, co te powody uzasadniają. Pierwsze wnioskowanie jest w porządku, ale drugie jest raczej kiepskie i nie przekona nikogo, kto ma choćby podstawową wiedzę z geografii: przesłanka, że Moskwa jest stolicą USA, jest po prostu fałszywa. Zauważ jednak, że gdyby ta przesłanka była prawdziwa – gdyby na przykład Stany Zjednoczone wykupiły całą Rosję (a nie tylko Alaskę) i przeniosły stolicę do Moskwy, żeby być bliżej centrów władzy w Europie – to wniosek ten byłby prawdziwy. Wynikałby bowiem z przesłanek – a tylko to interesuje logikę. Nie interesuje jej, czy przesłanki wnioskowania są prawdziwe, czy nie. To domena kogoś innego (w tym przypadku geografa). Logikę zajmuje tylko to, czy wniosek wynika z przesłanek. Logicy nazywają wnioskowanie, w którym wniosek naprawdę wynika z przesłanek, poprawnym formalnie. Główne zadanie logiki polega na zrozumieniu, na czym polega poprawność wnioskowań.
Mogłoby się wydawać, że jest to nudne zajęcie – intelektualne ćwiczenie mniej pasjonujące nawet od rozwiązywania krzyżówek. Okazuje się jednak, że nie tylko jest to bardzo trudne, ale i nierozerwalnie związanie z wieloma ważnymi (a nieraz fundamentalnymi) pytaniami filozoficznymi. Zapoznamy się z niektórymi w kolejnych rozdziałach. Na razie jednak ustalmy kilka podstawowych faktów na temat poprawności wnioskowań.
Zacznijmy od tego, że powszechnie mówi się o dwóch typach wnioskowań, dla których nieco odmiennie określa się poprawność2. Żeby to zrozumieć, zastanówmy się nad tymi trzema wnioskowaniami:
1. Gdyby złodziej włamał się do domu przez okno w kuchni, na zewnątrz zostałyby ślady jego stóp; jednak nie ma tam żadnych śladów, więc złodziej nie włamał się przez okno w kuchni.
2. Zbierają się chmury burzowe, więc będzie padał deszcz.
3. Zbierają się chmury burzowe, więc złodziej nie włamał się przez okno w kuchni.------------------------------------------------------------------------
1 L. Carroll, Alicja w Krainie Czarów. Po drugiej stronie lustra, tłum. B. Kaniewska, Poznań 2012, s. 240.
2 Autor mówi tutaj o dwóch rodzajach poprawności: deductive validity („poprawność dedukcyjna”) i inductive validity („poprawność indukcyjna”). W standardowej terminologii angielskiej mówimy w przypadku wnioskowań dedukcyjnych, że są valid, gdy ich wniosek wynika logicznie z przesłanek, i że są sound, gdy oprócz bycia valid dodatkowo ich przesłanki są prawdziwe. W przypadku wnioskowań indukcyjnych mówimy, że są strong, gdy przesłanki w dużym stopniu uprawdopodabniają wniosek, i że są weak, gdy robią to w niewielkim stopniu. Wnioskowania indukcyjne są cogent, gdy oprócz bycia strong ich przesłanki są prawdziwe. Autor nazywa więc validity – deductive validity, a strength – inductive validity, i mówi o dwóch rodzajach poprawności. W terminologii polskiej z kolei są inne dwa rodzaje poprawności: poprawność materialna i poprawność formalna wnioskowań, gdzie poprawność materialna polega na prawdziwości przesłanek (i dotyczy zarówno wnioskowań dedukcyjnych, jak i indukcyjnych), a poprawność formalna polega na wynikaniu logicznym wniosku z przesłanek (i dotyczy tylko wnioskowań dedukcyjnych). O wnioskowaniach indukcyjnych mówimy, że są mocne (silne) lub słabe (analogicznie do terminów angielskich). Fragment został zmodyfikowany pod kątem terminologii polskiej .
więcej..
