Opis: PWN 1968, str.282, stan db- (podniszczona obwoluta, przykurzona, przybrudzona krawędź bloku) Spis treści Przedmowa do drugiego wydania . Przedmowa do pierwszego wydania CZĘŚĆ 1. ZASADY SEMANTYCZNE Rozdział 1. O znakach .1. Asocjacyjna teoria znaków i teoria intencji znaczeniowej . . 2. Znaki wyrazowe Rozdział 2. O języku 1. Elementy logicznej analizy języka 2. Kategorie syntaktyczne 3. Stopień języka CZĘŚĆ 2. TEORIA ZX)AŃ Rozdział 1. Podstawy metalogiczne 1. Funkcje prawdziwościowe 2. Język teorii zdań Rozdział 2. Wybrane tezy teorii zdań 1. Implikacja („C") 2. Negacja („C", „N") 3. Alternatywa („C", „N", „A") 4. Koniunkcja („C", „AT", „A", „K") 5. Dysjunkcja („C", „N", „A", „K", „D") 6. Równoważność („C", „N", „A", „K", „D", „£"') Rozdział 3. Dowodzenie tez teorii zdań 1. Dowody zupełne 2. Przykłady dowodzenia 3. Dowodzenie supozycyjne (bezaksjomatyczne, założeniowe) Rozdział 4. Matryce 1. Własności matrycowe funkcji prawdziwościowych 2. Logiki wielowartościowe Łukasiewicza i Brouwera 3. Matrycowa metoda badania niesprzeczności i niezależności aksjomatów CZĘŚĆ 3. TEORIA KWANTYFIKATORÓW Rozdział 1. Teoria funkcji zdaniowych z kwantyfikatorami 1. Funkcje propozycjonalne — Generalizacja i specjalizacja 2. Aksjomaty i dyrektywy dedukcyjne 3. Kwantyfikator ogólny (x) 4. Kwantyfikator szczegółowy (Ex) . 5. Związki między obu kwantyfikatorami (x), (Ex) 6. Implikacja materialna i formalna . Rozdział 2. Inne teorie funkcji logicznych z kwantyfikatorami 1. Teoria zdań z kwantyfikatorami 2. Prototetyka 3. Rozszerzona teoria funkcji propozycjonalnych 4. Klasyfikacja zdań i funkcji propozycjonalnych CZĘŚĆ 4. TEORIA ORZECZNIKÓW Rozdział 1. Orzeczniki i związki między nimi 1. Funkcje orzecznikowe 2. Orzeczniki złożone 3. Stosunki treści i zakresów Rozdział 2. Funkcje orzecznikowe z kwantyfikatorami 1. Generalizacja funkcji orzecznikowych i określniki 2. Zdania kategoryczne 3. Uzupełnienie tablicy zdań kategorycznych 4. Zdania nietylkodlamoli określnikowe Rozdział 3. Logika klasyczna 1. Opozycja zdań 2. Odwracanie zdań 3. Sylogizmy 4. Zdania jednostkowe CZĘŚĆ S. TEORIA STOSUNKÓW Rozdział 1. Ogólna teoria stosunków 1. Funkcje propozycjonalne dwóch lub więcej argumentów 2. Funkcje prawdziwościowe stosunków 3. OrzeczniM względne 4. Odwrócenie stosunku 5. Iloczyn względny i suma względna Rozdział 2. Elementy szczegółowej teorii stosunków 1. Stosunki jednoznaczne — Funkcje deskrypcyjne 2. Odpowiedniość doskonała — Liczby kardynalne 3. Stosunki porządkujące — Ciągi i szeregi 4. Klasyfikowanie i szeregowanie 5. Szeregujące logiki wielowartościowe 6. Strukturalne własności stosunków i liczby porządkowe CZĘŚĆ 6. TEORIA PRAWDOPODOBIEŃSTWA Rozdział 1. Stosunek prawdopodobieństwa 1. Prawdopodobieństwo jako granica częstości. 2. Aksjomaty jednoznaczności i miary. 3. Aksjomaty dodawania i mnożenia 4. Prawo eliminacji Rozdział 2. Wnioskowanie prawdopodobieństwowe 1. Wyjaśnianie 2. Indukcja 3. Wnioskowanie przez analogię Rozdział 3. Prawdopodobieństwo i logiki wielowartościowe 1. Wielowartościowość metryczna 2. Matryce metrycznej logiki wielowartościowej. 3. Metryczna logika trójwartościowa i logika modalna CZĘŚĆ 7. ZARYS ROZWOJU LOGIKI Rozdział 1. Starożytność i- średniowiecze 1. Okres przed-Arystotelesowski. 2. Logika Arystotelesa 3. Logika stoików 4. Logika w późniejszej starożytności 5. Logika średniowieczna Rozdział 2. Czasy nowożytne i nowoczesne 1. Logika heurystyczna 2. Psychologizm w logice 3. Reakcja antypsychologistyczna a) Kant i logika transcendentalna b) Od Bolzana do Husserla 4. Logika formalna do Leibniza 5. Algebra logiki 6. Logika matematyczna 7. Logika prawdopodobieństwa 8. Okres współczesny rozwoju logiki Zestawienie oznaczeń symbolicznych. Przypisy Bibliografia Indeks nazwisk Indeks rzeczowy
|