Logiki wielowartościowe

Grzegorz Malinowski

Uzyskaj dostęp

Zakup książkę

ISBN/ISSN:

978-83-01-14879-9

DOI:

Wydawnictwo:

Wydawnictwo Naukowe PWN

Rok wydania:

2006

Liczba stron:

135

XML:ISBN/ISSN:

ONIX MARC21

Bibliografia:

Malinowski, Grzegorz. Logiki wielowartościowe. Red. . Warszawa: Wydawnictwo Naukowe PWN, 2006, 135 s. ISBN 978-83-01-14879-9

Bibliografia refWorks:

RT Book, Whole

SR Electronic(1)

A1 Malinowski, G.

T1 Logiki wielowartościowe

PB Wydawnictwo Naukowe PWN

PP Warszawa

YR 2006

SN 978-83-01-14879-9

Bibliografia BibTex:

@Book{ 1765, author = "Malinowski, Grzegorz", editor = "", title = "Logiki wielowartościowe", publisher = "Wydawnictwo Naukowe PWN", year = "2006", address = "Warszawa", isbn = "978-83-01-14879-9" }

Bibliografia endNote:

TY - BOOK

AU - Malinowski, Grzegorz

ED -

TI - Logiki wielowartościowe

PB - Wydawnictwo Naukowe PWN

CY - Warszawa

PY - 2006

SN - 978-83-01-14879-9

ER -

Netografia (standard APA):

Malinowski, Grzegorz. Logiki wielowartościowe [baza danych online] Warszawa: Wydawnictwo Naukowe PWN, 2006 [dostęp: 02 05 2024]. Dostęp w Ibuk Libra: https://libra.ibuk.pl/reader/logiki-wielowartosciowe-grzegorz-malinowski-1765.

filozofia, logika

Przystępny wykład działu logiki, który zajmuje się badaniem kryterium prawdziwości zdań oraz formalnych związków wynikania. Istotą logiki wielowartościowej jest odejście od klasycznej logiki dwuwartościowej (prawda i fałsz) i wprowadzenie wartości...

Więcej

ISBN/ISSN:

978-83-01-14879-9

DOI:

Wydawnictwo:

Wydawnictwo Naukowe PWN

Rok wydania:

2006

Liczba stron:

135

XML:ISBN/ISSN:

ONIX MARC21

Wstęp9
1. Logika klasyczna11
1.1. Tabelki prawdziwościowe11
1.2. Tautologie rachunku zdań12
1.3. Pełność funkcyjna13
1.4. Aksjomatyzacja klasycznego rachunku zdań15
1.5. Rachunek predykatów16
1.6. Algebraiczna postać logiki17
2. Trzecia wartość logiczna u Łukasiewicza20
2.1. Łukasiewicz i szkoła lwowsko-warszawska20
2.2. Logika trójwartościowa21
2.3. Modalność i trójwartościowość23
2.4. Kłopoty z interpretacją24
3. Algebry i matryce logiczne27
3.1. Język i algebra logiki27
3.2. Pełność funkcyjna algebr skończonych28
3.3. Matryce logiczne30
3.4. Matryce inferencyjne31
4. Wielowartościowość33
4.1. Dwa kryteria33
4.2. Strukturalność a wielowartościowość35
4.3. Skończoność i dedukcja36
4.4. Inferencyjna wielowartościowość37
5. Logiki Łukasiewicza39
5.1. Podstawowe wiadomości39
5.2. Definiowalność w matrycach Łukasiewicza40
5.3. Aksjomatyzacja41
5.4. Interpretacje algebraiczne42
6. Logiki Posta45
6.1. Matryce Posta45
6.2. Interpretacja47
6.3. Algebraiczna postać logik Posta48
6.4. Aksjomatyzacja funkcyjnie pełnych logik49
7. Trójwartościowość Kleenego i Boczwara52
7.1. Logika nieokreśloności52
7.2. Logika Boczwara54
7.3. Logiki częściowe56
8. Standardowe własności60
8.1. Warunki standardowe60
8.2. Aksjomatyzacja61
8.3. Częściowe postacie normalne63
8.4. Konsekwencje matryc standardowych64
9. Formalizacje w tradycji Gentzena66
9.1. Sekwenty66
9.2. Tablice semantyczne68
9.3. Dedukcja naturalna i rezolucja69
10. Prawdopodobieństwo a wartości logiczne71
10.1. Prawdopodobieństwo logiczne71
10.2. Prawdopodobieństwo subiektywne73
11. Klasyczna charakterystyka76
11.1. Teza Suszki76
11.2. Metoda Scotta78
11.3. Interpretacje Urquharta81
12. Kwantyfikatory i wielowartościowość83
12.1. Zwykłe rachunki predykatów83
12.2. Teoria mnogości a logika wielowartościowa85
12.3. Kwantyfikatory uogólnione86
12.4. Kwantyfikatory dystrybucji89
13. Intuicjonizm i logiki modalne90
13.1. Logika intuicjonistyczna90
13.2. Logiki modalne S4 i S593
13.3. Uwagi o kwantyfikacji96
14. Zbiory rozmyte i logiki Zadeha99
14.1. Zbiory rozmyte i logiki pojęć nieostrych99
14.2. Logika rozmyta101
15. Nowsze badania wielowartościowości105
15.1. Prawdziwościowa logika rozmyta105
15.2. Tablice semantyczne i zbiory znaków106
15.3. Kraty prawdy i informacji108
16. Zastosowania i znaczenie problematyki111
16.1. Dowody niezależności111
16.2. Formalizacja funkcji intensjonalnych112
16.3. Algebry wielowartościowe i elektronika114
16.4. Wielowartościowość w Computer Science116
Bibliografia118
Skorowidz nazwisk127
Skorowidz terminów130