JÓZEF W. BREMER WPROWADZENIE DO LOGIKI

Transkrypt

1 JÓZEF W. BREMER WPROWADZENIE DO LOGIKI Wydawnictwo WAM Kraków 2006

2 Spis tre ci Przedmowa Jana Wole skiego 9 Wst p 11 1 Logika i jej rozumienie Teksty wprowadzaj ce Logika w uj ciu Arystotelesa Osi gni cia logiki redniowiecznej Logika z Port Royal Zamierzenia logiczne Immanuela Kanta Gottloba Fregego aksjomatyczna forma logiki zda Logika matematyczna Alfreda Tarskiego Logika tradycyjna a logika wspó czesna Logika ogólna i logiki szczegó owe Logika a teoretyczne nauki o j zyku Podstawowe poj cia logiki Znaki jako poj cia logiczne J zyk naturalny a j zyk formalny J zyk metaj zyk Paradoksy logiczne Definicja prawdy dla j zyków sformalizowanych Paradoks k amcy Zagadnienia logiki tradycyjnej Nauka o nazwach Logika, ontologia, psychologia Nazwa i poj cie Charakterystyka nazw Podzia nazw Podzia nazw ze wzgl du na form Podzia nazw ze wzgl du na znaczenie Ze wzgl du na oznaczanie Tre nazwy nazwy ostre i nieostre

3 6 Spis tre ci Zakres nazwy Zakresy nazw i stosunki pomi dzy nimi Iloczyn i suma zakresów nazw Klasa uniwersalna Stosunki pomi dzy zakresami nazw Graficzne przedstawienie stosunków zakresów nazw Podzia logiczny Nazwa i zdanie Nauka o definicji Definicja klasyczna Definicja nominalna i realna Definicja nominalna Definicja nominalna wyra na Definicje projektuj ce i sprawozdawcze Definicja realna Definicja wskazuj ca Warunki poprawno ci definicji Nauka o zdaniu Zdanie a s d Wypowiedzi i normy Budowa i rodzaje zda Zdania kategoryczne Zdania kategoryczne w zapisie graficznym Zale no ci pomi dzy zdaniami kategorycznymi Kwadrat logiczny Nauka o wnioskowaniu Wnioskowanie bezpo rednie Przeciwstawno zda Wnioskowanie poprzez odwracanie zda Wnioskowanie po rednie sylogistyka Sylogizm kategoryczny Tryby i figury sylogistyczne Figury sylogistyczne II IV Regu y poprawno ci sylogistycznej Sprawdzanie trybów za pomoc diagramów Venna Sprowadzanie sylogizmów dotrybów figury I Sylogistyka a logika wspó czesna Logika wspó czesna Semantyczna analiza zda Gramatyczna i logiczna struktura zdania Logiczna struktura zda ogólnych Spójniki zdaniotwórcze Terminy synkategorematyczne Spójniki prawdziwo ciowe

4 Spis tre ci Spójniki jednoargumentowe Spójnik negacji Zasady niesprzeczno ci i wy czonego rodka Spójnik potwierdzenia Spójniki dwuargumentowe Spójnik koniunkcji Spójnik alternatywy Spójnik implikacji Implikacja materialna i logiczna Zdania analityczne i syntetyczne Spójnik równowa no ci Zale no ci pomi dzy zdaniami z o onymi Tautologie logiki zda Schematy tautologiczne logiki zda Metoda zero jedynkowa Logiczne podstawy dzia ania uk adów cyfrowych Aksjomatyczne uj cie logiki zda Wybrane prawa logiki zda Logika predykatów Zmienne indywiduowe i predykatywne Kwantyfikatory Przyk ady podstawowych formu logiki predykatów Regu y negacji kwantyfikatorów Kwantyfikatorowy zapis zda kategorycznych Formalizacja zda j zyka potocznego Regu y opuszczania i do czania kwantyfikatorów Dowodzenie w logice zda i predykatów Rozumowanie: wnioskowanie, wyja nianie, dowodzenie, argumentowanie Regu y wnioskowania dedukcyjnego Przyk ady dowodzenia po redniego i bezpo redniego w logice zda Dowodzenie w logice predykatów Wybrane prawa logiki predykatów Przyk ady dowodów w logice predykatów B dy wnioskowania dedukcyjnego Wnioskowania uprawdopodobniaj ce Wnioskowanie redukcyjne Wnioskowanie indukcyjne Indukcja enumeracyjna Indukcja eliminacyjna Kanony Milla Wnioskowanie z analogii Wnioskowanie a fortiori

5 8 Spis tre ci 4.5 Jasno wypowiedzi Poprawne formu owanie wypowiedzi Nazwy wieloznaczne Wypowiedzi wieloznaczne Zdolno przekonywania Zarzuty merytoryczne i formalne Poprawno argumentacji Erystyka czyli sztuka prowadzenia sporów Zabiegi erystyczne Nieuczciwe zabiegi erystyczne Filozofia logiczna Dodatek Rachunek zbiorów Podstawowa terminologia Zbiory w sensie dystrybutywnym i kolektywnym G. Fregego i G. Cantora okre lenia zbioru Zbiory i ich elementy Zale no ci pomi dzy zbiorami Przyk ady szczególnych zbiorów Dzia ania na zbiorach Graficzne przedstawianie zale no ci pomi dzy zbiorami Prawa algebry zbiorów Interpretacja teoriomnogo ciowa sylogistyki Arystotelesa234 Literatura 239 Summary 247 Indeks osób 253