|
ROZDZIAŁ 1. KWANTYFIKACJA I NAZWY NIEREFERENCJALNE
§ l. Zamiast wstępu .
§ 2. Interpretacja kwantyfikatorów .
§ 3. Języki L3 i L4
§ 4. Russell versus Meinong , , .
§ 5. Deskrypcje jako klasy abstrakcji .
§ 6. Dziedzina pusta .
ROZDZIAŁ 2. LOGIKA A ISTNIENIE
§ 1. Logika a problem istnienia .
§ 2. Krytyka Russella przez Strawsona : , .
§ 3. Leonard o istnieniu .
§ 4. Ajdukiewicz i Quine o istnieniu .
ROZDZIAŁ 3. LOGICZNA ANALIZA NAZW
§ 1. Nazwy jednostkowe a nazwy ogólne '".
§ 2. Frege i Carnap o nazwach pustych .
§ 3. Orzekanie .
§ 4. Ekstensjonalność predykatów .
§ 5. Nazwy indywidualne , .
ROZDZIAŁ 4. SYSTEMY LOGIK WOLNYCH
§ 1. Syntaktyka. Wstępne ustalenia .
§ 2. Dziedzina pusta. Cil'l:g dalszy .
§ 3. System J aśkowskiego .
§ 4. System Hintikki i Leblanca-Hailperina .
§,5. Lambert i Kripke o prawie specyfikacji .
§ 6. Wolne rachtmki kwantyfikatorów bez identyczności .
§ 7. Słabe logiki wolne .
§ 8. Negatywne logiki wolne .
ROZDZIAŁ 5. REGUŁY WNIOSKOWANIA
§ 1. Naturalna dedukcja. Pierwsze systemy .
§ 2. Udoskonalanie naturalnej dedukcji .
§ 3. Wnioskowania .
§ 4. Reguły dla logik wolnych .
§ 5. Sekwenty Gentzena .
§ 6. Tablice semantyczne .
§ 7. Wolne tablice semantyczne .
ROZDZIAŁ 6. SEMANTYKI LOGIK WOLNYCH
§ 1. Syntaktyka a semantyka .
§ 2. Semantyki logik wolnych .
§ 3. Dziedzina zewnętrzna .
§ 4. Dziedzina zewnętrzna. System Scotta .
§ 5. Semantyka superwartości .
§ 6. Semantyka negatywna .
§ 7. Semantyka neutralna .
§ 8. Istnienie jako predykat .
|