Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
Adam Jonkisz
Książka
43,23 zł
60,00 zł - sugerowana cena detaliczna
Zamów dziś, wyślemy w ciągu 24h!
| Wydawnictwo: | Ignatianum |
| Rodzaj oprawy: | Okładka broszurowa (miękka) |
| Liczba stron: | 254 |
| Rok wydania: | 2024 |
Zobacz więcej
43,23 zł
O książce Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
Książka ta jest ostatnią spośród trzech składających się na opracowanie wybranych zagadnień z logiki. Są w niej podjęte zagadnienia metalogiki rozumianej wąsko, tj. ograniczonej do syntaktyki i semantyki systemów dedukcyjnych – przede wszystkim systemów KRZ i WRP, choć zawiera także wyniki dotyczące nie tylko systemów logiki klasycznej. W rozdziale poświęconym zagadnieniom syntaktycznym omówiono stosowane w metalogice sposoby dowodzenia twierdzeń o systemach dedukcyjnych – zarówno metody dowodzenia indukcyjne, jak i korzystające z pojęcia postaci normalnych. Syntaktyczna charakterystyka systemów dedukcyjnych, po metodologicznych uwagach o ich typach, obejmuje pojęcie konsekwencji oraz takie własności systemów, jak niesprzeczność, zupełność, rozstrzygalność i niezależność aksjomatów. W semantycznym ujęciu systemów dedukcyjnych, osadzonym na obszernie omówionej koncepcji spełniania i prawdy, są podjęte zagadnienia związane z własnościami systemu twierdzeń prawdziwych, pojęciem modelu, niesprzecznością (rozumianą semantycznie) i kategorycznością systemu, pojęciem pełności systemu oraz z relacją wynikania logicznego (semantycznego). Pośród zagadnień uzupełniających znalazły się m.in. wybrane twierdzenia metalogiki okazujące ograniczenia metod formalnych – K. G?dla (o niezupełności i o niedowodliwości niesprzeczności), A. Tarskiego (o niedefiniowalności prawdy) i A. Churcha (o nierozstrzygalności logiki pierwszego rzędu) – oraz metoda definiowania i stosowania pojęcia modelu w rekonstrukcjach teorii empirycznych (zwana ujęciem teoriomnogościowym lub strukturalistycznym), porównana z klasycznym aksjomatyzowaniem teorii i zapoczątkowanym przez Tarskiego ujęciem teoriomodelowym. Zaletą książki – wpisującą się w styl całego opracowania – jest trafny wybór problemów logiki i sposób ich prezentacji, widoczny w układzie zagadnień, definicji i twierdzeń, w ich sformułowaniach zapisanych w jednolitej notacji, komentarzach i przykładach oraz w dowodach rozwiniętych w sposób zadowalający specjalistów, a jednocześnie zrozumiały dla osób wkraczających w logikę. Opracowanie zawiera nowe propozycje uporządkowania, uściślenia lub rozwinięcia wyników zastanych.Szczegółowe informacje na temat książki Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
| Wydawnictwo: | Ignatianum |
| EAN: | 9788376146164 |
| Autor: | Adam Jonkisz |
| Rodzaj oprawy: | Okładka broszurowa (miękka) |
| Liczba stron: | 254 |
| Rok wydania: | 2024 |
| Data premiery: | 2024-08-09 |
| Język wydania: | polski |
| Podmiot odpowiedzialny: | Wydawnictwo WAM Kopernika 26 31-501 kraków PL e-mail: [email protected] |
Podobne do Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
Książka
37,99 zł
Najniższa cena z 30 dni przed obniżką.
59,90 zł
- sugerowana cena detaliczna
Maciej Gdula
7,0 (2)
Książka
44,42 zł
Najniższa cena z 30 dni przed obniżką.
49,90 zł
- sugerowana cena detaliczna
Praca zbiorowa
Książka
30,33 zł
Najniższa cena z 30 dni przed obniżką.
44,99 zł
- sugerowana cena detaliczna
Lama Lhanang Rinpoche,
Levine Mordy
Książka
52,90 zł
Najniższa cena z 30 dni przed obniżką.
79,00 zł
- sugerowana cena detaliczna
Filip Krzemień
Książka
59,90 zł
Najniższa cena z 30 dni przed obniżką.
100,00 zł
- sugerowana cena detaliczna
Leo Strauss
Książka
35,60 zł
Najniższa cena z 30 dni przed obniżką.
55,00 zł
- sugerowana cena detaliczna
Janusz Szewczak
Książka
23,58 zł
Najniższa cena z 30 dni przed obniżką.
34,90 zł
- sugerowana cena detaliczna
Dante (Dante Alighieri)
6,3 (103)
Książka
40,49 zł
Najniższa cena z 30 dni przed obniżką.
53,00 zł
- sugerowana cena detaliczna
Stawecki Tomasz red.
Książka
24,00 zł
Najniższa cena z 30 dni przed obniżką.
32,00 zł
- sugerowana cena detaliczna
Książka
36,94 zł
Najniższa cena z 30 dni przed obniżką.
58,00 zł
- sugerowana cena detaliczna
Douwe Draaisma
6,3 (3)
Książka
31,92 zł
Najniższa cena z 30 dni przed obniżką.
49,00 zł
- sugerowana cena detaliczna
Nicholas Agar
Książka
37,60 zł
Najniższa cena z 30 dni przed obniżką.
44,90 zł
- sugerowana cena detaliczna
Simon Blackburn
Książka
38,78 zł
Najniższa cena z 30 dni przed obniżką.
39,00 zł
- sugerowana cena detaliczna
Sierzycki Przemysław
Książka
56,99 zł
Najniższa cena z 30 dni przed obniżką.
69,00 zł
- sugerowana cena detaliczna
Karl Wilhelm Friedrich von Schlegel
Książka
78,91 zł
Najniższa cena z 30 dni przed obniżką.
130,00 zł
- sugerowana cena detaliczna
Nick Land
Książka
80,28 zł
Najniższa cena z 30 dni przed obniżką.
99,00 zł
- sugerowana cena detaliczna
Carl Stumpf,
Witold Płotka
Książka
35,86 zł
Najniższa cena z 30 dni przed obniżką.
54,99 zł
- sugerowana cena detaliczna
Allix Stephane
Książka
45,62 zł
Najniższa cena z 30 dni przed obniżką.
59,00 zł
- sugerowana cena detaliczna
red. Kamil Cekiera,
Marek Magdziak,
Marcin Seling
Książka
28,24 zł
Najniższa cena z 30 dni przed obniżką.
34,99 zł
- sugerowana cena detaliczna
Cezary Kluczyński
6,3 (4)
Książka
52,67 zł
Najniższa cena z 30 dni przed obniżką.
75,00 zł
- sugerowana cena detaliczna
Homa Krzysztof
Książka
63,34 zł
Najniższa cena z 30 dni przed obniżką.
99,90 zł
- sugerowana cena detaliczna
Soren Kierkegaard
Książka
78,46 zł
Najniższa cena z 30 dni przed obniżką.
124,99 zł
- sugerowana cena detaliczna
Od Homera do Symplicjusza.Dwanaście wieków literatury helleńskiej w polskich tłumaczeniach 1801-2024
Wojciech Stawiszyński
Książka
43,45 zł
Najniższa cena z 30 dni przed obniżką.
70,00 zł
- sugerowana cena detaliczna
Veblen Thorstein
7,2 (148)
Książka
26,46 zł
Najniższa cena z 30 dni przed obniżką.
29,99 zł
- sugerowana cena detaliczna
Marek Aureliusz
7,8 (6406)
Książka
51,99 zł
Najniższa cena z 30 dni przed obniżką.
79,99 zł
- sugerowana cena detaliczna
Karol Tarnowski
10,0 (1)
Książka
65,35 zł
Najniższa cena z 30 dni przed obniżką.
84,90 zł
- sugerowana cena detaliczna
Baggini Julian
7,9 (24)
Książka
52,82 zł
Najniższa cena z 30 dni przed obniżką.
79,00 zł
- sugerowana cena detaliczna
Karoline Feyertag
Książka
30,99 zł
Najniższa cena z 30 dni przed obniżką.
47,00 zł
- sugerowana cena detaliczna
Tomasz Herbich
Oceny i recenzje książki Zagadnienia syntaktyki i semantyki systemów dedukcyjnych
Średnia ocen:
~ /10
Liczba ocen:
0
Powiedz nam, co myślisz!
Pomóż innym i zostaw ocenę!
Zaloguj się, aby dodać opinię
Ten produkt nie ma jeszcze żadnych recenzji
Pomóż innym i zostaw ocenę!
Z tego samego wydawnictwa
Książka
30,65 zł
Najniższa cena z 30 dni przed obniżką.
39,99 zł
- sugerowana cena detaliczna
Mazur Piotr
5,0 (1)
Książka
48,26 zł
Najniższa cena z 30 dni przed obniżką.
67,99 zł
- sugerowana cena detaliczna
Hołub Grzegorz
Książka
31,91 zł
Najniższa cena z 30 dni przed obniżką.
42,00 zł
- sugerowana cena detaliczna
Homa Krzysztof
8,0 (1)
Książka
35,68 zł
Najniższa cena z 30 dni przed obniżką.
45,00 zł
- sugerowana cena detaliczna
Cieślak Stanisław,
Stankiewicz-Kopeć Monika,
Wenklar Michał
5,5 (2)
Książka
42,60 zł
Najniższa cena z 30 dni przed obniżką.
59,00 zł
- sugerowana cena detaliczna
Stankiewicz-Kopeć Monika,
Krystyna Zabawa
Książka
48,26 zł
Najniższa cena z 30 dni przed obniżką.
68,00 zł
- sugerowana cena detaliczna
Witold Mazurek