WYBRANE ZAGADNIENIA Z LOGIKI WYKŁADY Z SEMIOTYKI LOGICZNEJ I LOGIKI FORMALNEJ
Autor: HENRYK CABAK, JANUSZ SOBIECKI

ISBN: 83[zasłonięte]86228-7
212 stron
Rok wydania: 1998
oprawa: miękka lakierowana

stan: bdb

Wśród wielu dyscyplin naukowych, które zajmują się problemami komunikowania się - czy szerzej problemami języka, myślenia, rozumowania etc. - szczególną rolę odgrywa logika. Rola ta wynika jednak nie stąd, iż logika jest w zasadzie najstarszą dyscypliną, w ramach której w sposób wyspecjalizowany podejmowano powyższą problematykę. Mówiąc o niej, należałoby raczej wskazać na cele, jakie przyświecają logicznym analizom języka i czynności poznawczych (w najszerszym rozumieniu tego terminu). Cele te można, mając świadomość czynionych w tym wypadku uproszczeń, zawrzeć w stwierdzeniu: wypracowywać takie reguły posługiwania się językiem i wykonywania czynności poznawczych, które przyczyniają się do usprawniania tej działalności.
Wstęp
1. Logika i jej podstawowe działy
1.1. Pojęcie "logika" i jego współczesne interpretacje
1.2. Logika formalna
1.3. Semiotyka logiczna
1.4. Ogólna metodologia nauk
2. Język, jego funkcje i podstawowe składniki
2.1. Język nauki i jego funkcje
2.2. Syntaktyczna struktura języka i jej podstawowe kategorie
2.3. Kategorie syntaktyczne i ich funkcje w strukturze komunikatywnej
2.4. Przyczyny nieporozumień w procesie komunikowania
2.5. Błędy logiczne typu semantycznego
3. Semantyczna teoria definicji
3.1. Istota definicji i ich zastosowania pragmatyczne
3.2. Definicja klasyczna i jej struktura
3.3. Typologia i charakterystyka niektórych rodzajów definicji
3.4. Formalne i pozaformalne warunki poprawności definicji
3.5. Charakterystyka typowych wadliwości (błędów) definicji
4. Elementy teorii wynikania logicznego
4.1. Wnioskowanie dedukcyjne i jego logiczna charakterystyka
4.2. Klasyczny rachunek zdań i jego podstawowa symbolika
4.3. Prawdziwościowa charakterystyka funkcji zdaniowych
4.4. Systemy notacji formuł logicznych
4.4.1. "Notacja beznawiasowa
4.4.2. Notacja nawiasowa
4.5. Charakterystyka praw logicznych
4.5.1. Prawa logiczne z jedną zmienną zdaniowią
4.5.2. Prawa logiczne z dwiema zmiennymi zdaniowymi
4.5.3. Prawa logiczne z trzema i więcej zmiennymi zdaniowymi
4.6. Formalna interpretacja wybranych praw logicznych
4.6.1. Prawa logiczne z jedną zmienną zdaniową
4.6.2. Prawa o postaci ekwiwalencji
4.6.3. Prawa logiczne o postaci implikacji
5. Reguły wnioskowania. Dedukcja naturalna
5.1. Pierwotne i wtórne reguły wnioskowania
5.2. Dedukcja naturalna
6. Teoria wnioskowania bezpośredniego
6.1. Stosunki między zakresami nazw ogólnych
6.2. Zdania kategoryczne i ich formalne odwzorowania
6.3. Wnioskowanie przez konwersję
6.4. Wnioskowanie przez obwersję
6.5. Wnioskowanie przez kontrapozycję
6.6. Wnioskowanie z kwadratu logicznego
7. Teoria sylogizmu kategorycznego
7.1. Podstawowe pojęcia sylogistyki
7.2. Zasady wnioskowania pośredniego. Poprawne sylogizmy
kategoryczne
Bibliografia