Biblioteka Publiczna w Serocku

KATALOG KSIĘGOZBIORU BIBLIOTEKI W SEROCKU

Znaleziono 2 pozycje o tematyce: Logika

Feerična fignâ! : visoke mistectvo skepsisu u sviti povnoi maâčni
"Visoke mistectvo skepsisu u sviti povnoi maâčni "
Tytuł grzbietowy: "Feerična fignâ! ".

AUTOR:

Bergstrom, Carl T.

POZ/ODP:

Karl Bergstrom, Dževin Vest ; pereklad z anglijs`koi Oleksandra Stukala.

ADRES WYD.:

Harkiv : KSD, 2021.

HASŁA:

OPIS FIZYCZ.:

287, [1] strona : ilustracje ; 23 cm.

SYGNATURA:

159.9

KOD/INWENT:

246000541420

54142

UWAGI:

Tytuł oryginału: Calling bullshit : the art of skepticism in a data-driven world. Bibliografia na stronach 280-287.

DOSTĘPNOŚĆ:

Dostępny jest 1 egzemplarz.
Pozycję można wypożyczyć na 30 dni

KOMENTARZE (0)

CZY UWZGLĘDNIĆ PRZY WYDRUKU?

Logika ogólna

AUTOR:

Malinowski, Grzegorz

POZ/ODP:

Grzegorz Malinowski.

ADRES WYD.:

Warszawa : Wydawnictwo Naukowe PWN, 2010.

HASŁA:

WYDANIE:

Wyd. 3.

OPIS FIZYCZ.:

199, [1] s. : il. ; 24 cm.

SYGNATURA:

KOD/INWENT:

246000471352

47135

SPIS TREŚCI: Pokaż spis treści >>

WSTĘP
1. RODOWÓD LOGIKI I JEJ WSPÓŁCZESNA PROBLEMATYKA
1.1. Logika grecka
1.2. Arystoteles
1.3. Stoicy
1.4. Średniowiecze i renesans
1.5. Współczesne grupy problemowe logiki
2. ELEMENTY LOGICZNEJ TEORII JĘZYKA
2.1. Rodzaje języków
2.2. Język naturalny
2.3. Funkcje wypowiedzi językowych
2.4. Kategorie syntaktyczne
2.5. Kryterium spójności syntaktycznej
2.6. Nazwy i ich charakterystyka
2.7. Zakresowe własności nazw
2.8. Ćwiczenia
3. LOGIKA TRADYCYJNA (SYLOGISTYKA ARYSTOTELESA)
3.1. Klasyczne zdania kategoryczne
3.2. Wnioskowania bezpośrednie
3.3. Wnioskowania pośrednie (sylogizmy)
3.4. Więcej o teorii sylogizmu
3.5. Ćwiczenia
4. PODSTAWY KLASYCZNEGO RACHUNKU ZDAŁ
4.1. Pojęcie zdania w sensie logicznym
4.2. Spójniki zdaniowe i zdania złożone
4.3. Język rachunku zdań - formuły
4.4. Tabelki prawdziwościowe
4.5. Równoważność zdań i formuł
4.6. Pełność funkcyjna
4.7. Ćwiczenia
5. TAUTOLOGICZNOŚĆ, WYNIKANIE LOGICZNE I SPRZECZNOŚĆ SEMANTYCZNA
5.1. Tautologie
5.2. Wynikanie logiczne
5.3. Sprzeczność semantyczna
5.4. Badanie przesłanek i rozumowań w języku naturalnym
5.5. Usuwanie sprzeczności i uzupełnianie wynikania
5.6. Ćwiczenia
6. ZASADY DEDUKCJI NATURALNEJ KLASYCZNEGO RACHUNKU ZDAŁ
6.1. Reguły wnioskowania
6.2. Reguły konstrukcji dowodu
6.3. Pierwotne reguły systemu Słupeckiego-Borkowskiego
6.4. Zaawansowana dedukcja zdaniowa
6.5. Trafność formalizmu dedukcyjnego
6.6. Ćwiczenia
7. PEŁNOŚĆ SYSTEMU ZAŁOŻENIOWEGO
7.1. Postacie normalne formuł
7.2. Uzyskiwanie postaci normalnych metodą dedukcyjną
7.3. Szkic dowodu pełności
7.4. Dedukcyjna charakteryzacja wynikania logicznego i sprzeczności
7.5. Ćwiczenia
8. RACHUNEK KWANTYFIKATORÓW
8.1. Język rachunku kwantyfikatorów
8.2. Logiczna rekonstrukcja wypowiedzi
8.3. Charakterystyka relacji
8.4. System dedukcji naturalnej
8.5. Reguły wtórne
8.6. Wynikanie dedukcyjne i sprzeczność
8.7. Ćwiczenia
9. METODY SEMANTYCZNE RACHUNKU KWANTYFIKATORÓW
9.1. Tautologiczność
9.2. Niesprzeczność i wynikanie semantyczne
9.3. Diagramy Betha
9.4. Uwagi o pełności. Postacie prefiksowe i skolemizacja
9.5. Ćwiczenia
10. MODYFIKACJE I ROZSZERZENIA RACHUNKU LOGICZNEGO
10.1. Kwantyfikatory o ograniczonym zakresie
10.2. Wielozakresowy rachunek predykatów
10.3. Rachunek predykatów z równością
10.4. Deskrypcje i operator abstrakcji
10.5. Ćwiczenia
11. DEFINICJE I PROBLEMY DEFINIOWANIA
11.1. Budowa i rodzaje definicji normalnych
11.2. Typy definicji
11.3. Sposoby budowania definicji analitycznych
11.4. Błędy definicji
11.5. Definicje nierównościowe
11.6. Ćwiczenia
12. PROCEDURY WPROWADZANIA ŁADU POJĘCIOWEGO
12.1. Podział logiczny i klasyfikacja
12.2. Podział typologiczny
12.3. Podział rzeczowy
12.4. Porządkowanie
12.5. Eksplikacja i konceptualizacja
12.6. Ćwiczenia
13. LOGIKA INDUKCJI
13.1. Indukcja enumeracyjna
13.2. Indukcja eliminacyjna
13.3. Wnioskowania przez analogię
13.4. Zasada i status indukcji matematycznej
13.5. Wnioskowanie redukcyjne
13.6. Ćwiczenia
14. TEORIA MNOGOŚCI
14.1. Intuicyjna teoria zbiorów
14.2. Prawa algebry zbiorów
14.3. Paradoksy i aksjomatyzacja
14.4. Relacje dwuargumentowe
14.5. Zasada abstrakcji
14.6. Liczby kardynalne i nieskończoność
14.7. Ćwiczenia
15. ZARYS DZIEJÓW LOGIKI NOWOCZESNEJ
15.1. Program Leibniza
15.2. Początki logiki nowoczesnej
15.3. Logicyzm
15.4. Logika współczesna (od 1920 r.)
15.5. Logika, lingwistyka a filozofia języka naturalnego

PRZEZNACZ.:

Dla studentów filozofii.

UWAGI:

Bibliogr. s. 192. Indeks.

DOSTĘPNOŚĆ:

Dostępny jest 1 egzemplarz.
Pozycję można wypożyczyć na 30 dni

KOMENTARZE (0)

CZY UWZGLĘDNIĆ PRZY WYDRUKU?

WYDRUK KATALOGÓW

Biblioteka Publiczna Miasta i Gminy Serock

Katalog biblioteczny