Wydawnictwo:	Ignatianum
Rodzaj oprawy:	Okładka broszurowa (miękka)
Liczba stron:	254
Rok wydania:	2024

Zobacz więcej

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]

Warto przeczytać również

Żyj ciekawiej. 30 dni bez alkoholu - Marta Jaskulska

Książka

65,00 zł

88,99 zł - sugerowana cena detaliczna

Żyj ciekawiej. 30 dni bez alkoholu

Marta Jaskulska

Głupie robaki i inne takie Polski - Marek Maruszczak

Książka

40,79 zł

59,99 zł - sugerowana cena detaliczna

Głupie robaki i inne takie Polski

Marek Maruszczak

Adwokat diabłów. Opowieści z samego dna sądowego piekła - Paweł Matyja

Książka

43,99 zł

64,99 zł - sugerowana cena detaliczna

Adwokat diabłów. Opowieści z samego dna sądowego piekła

Paweł Matyja

Z mgły zrodzony w.jubileuszowe - Brandon Sanderson

Książka

47,93 zł

75,00 zł - sugerowana cena detaliczna

Z mgły zrodzony w.jubileuszowe

Brandon Sanderson

Bogini bursztynu. Thorgal. Saga - Valérie Mangin, Bec Christophe

Książka

39,00 zł

65,00 zł - sugerowana cena detaliczna

Bogini bursztynu. Thorgal. Saga

Valérie Mangin, Bec Christophe

Szczęście czy fart? wyd. 2026 - Celma Rovira Alex, Trias de Bes Fernando

Książka

31,15 zł

59,90 zł - sugerowana cena detaliczna

Szczęście czy fart? wyd. 2026

Celma Rovira Alex, Trias de Bes Fernando

Bez śladu - Adam Bielecki, Dominik Szczepański

Książka

89,90 zł

89,90 zł - sugerowana cena detaliczna

Bez śladu

Adam Bielecki, Dominik Szczepański

Studnia wstąpienia w.jubileuszowe - Brandon Sanderson

Książka

47,93 zł

75,00 zł - sugerowana cena detaliczna

Studnia wstąpienia w.jubileuszowe

Brandon Sanderson

Książka

43,35 zł

59,00 zł - sugerowana cena detaliczna

Miura. Tom 1

Izabela Maeng

Bohater wieków (wydanie jubileuszowe) - Brandon Sanderson

Książka

47,93 zł

75,00 zł - sugerowana cena detaliczna

Bohater wieków (wydanie jubileuszowe)

Brandon Sanderson

Zainspiruj się podobnymi wyborami

Analiza systemów - światów Wprowadzenie - Immanuel Wallerstein

Książka

58,68 zł

64,00 zł - sugerowana cena detaliczna

Analiza systemów - światów Wprowadzenie

Immanuel Wallerstein

Ciekawość - Bartosz Brożek, Michał Heller, Stelmach Jerzy

Książka

25,99 zł

44,90 zł - sugerowana cena detaliczna

Ciekawość

Bartosz Brożek, Michał Heller, Stelmach Jerzy

Latające świnie. Jak umysł tworzy znaczenie - Benjamin K. Bergen

Książka

32,99 zł

59,90 zł - sugerowana cena detaliczna

Latające świnie. Jak umysł tworzy znaczenie

Benjamin K. Bergen

Błąd Kartezjusza Emocje, rozum i ludzki mózg - Antonio Damasio

Książka

32,99 zł

59,90 zł - sugerowana cena detaliczna

Błąd Kartezjusza Emocje, rozum i ludzki mózg

Antonio Damasio

Neuroobrazowanie w praktyce psychiatrycznej - Janusz Krzyżowski

Książka

26,99 zł

35,00 zł - sugerowana cena detaliczna

Neuroobrazowanie w praktyce psychiatrycznej

Janusz Krzyżowski

W stronę intencjonalności Zarys zagadnień - Cezary Mordka

Książka

26,99 zł

33,60 zł - sugerowana cena detaliczna

W stronę intencjonalności Zarys zagadnień

Cezary Mordka

Podmiotowość rozszerzonych systemów poznawczych - Barbara Tomczyk

Książka

29,91 zł

37,80 zł - sugerowana cena detaliczna

Podmiotowość rozszerzonych systemów poznawczych

Barbara Tomczyk

Sztuka argumentacji Nowy słownik terminologiczny - Krzysztof Szymanek

Książka

100,74 zł

104,00 zł - sugerowana cena detaliczna

Sztuka argumentacji Nowy słownik terminologiczny

Krzysztof Szymanek

Inni klienci wybierają również

Nim zawisną. Pierwsze prawo. Księga 2 - Joe Abercrombie

Książka

43,99 zł

69,00 zł - sugerowana cena detaliczna

Nim zawisną. Pierwsze prawo. Księga 2

Joe Abercrombie

Książka

71,65 zł

93,00 zł - sugerowana cena detaliczna

Czytaj z Albikiem. Było sobie życie

Książka

28,96 zł

54,90 zł - sugerowana cena detaliczna

Teoria „pozwól im”

Mel Robbins

Mikołajek - René Goscinny, Jean-Jacques Sempé

Książka

23,99 zł

39,99 zł - sugerowana cena detaliczna

Mikołajek

René Goscinny, Jean-Jacques Sempé

Dorosłe dzieci niedojrzałych emocjonalnie rodziców Jak uwolnić się od przeszłości i zacząć nowe życie - Gibson Lindsay C.

Książka

38,99 zł

52,00 zł - sugerowana cena detaliczna

Dorosłe dzieci niedojrzałych emocjonalnie rodziców Jak uwolnić się od przeszłości i zacząć nowe życie

Gibson Lindsay C.

Ostrze Cykl Pierwsze Prawo. Księga 1 - Joe Abercrombie

Książka

43,99 zł

69,00 zł - sugerowana cena detaliczna

Ostrze Cykl Pierwsze Prawo. Księga 1

Joe Abercrombie

Książka

69,25 zł

90,00 zł - sugerowana cena detaliczna

Czytaj z Albikiem. Język Angielski

Ostateczny argument. Cykl Pierwsze Prawo. Księga 3 - Joe Abercrombie

Książka

43,99 zł

69,00 zł - sugerowana cena detaliczna

Ostateczny argument. Cykl Pierwsze Prawo. Księga 3

Joe Abercrombie

Słuchaj i oglądaj! Zwierzęta. Ponad 50 dźwięków - Anna Podgórska

Książka

48,46 zł

89,99 zł - sugerowana cena detaliczna

Słuchaj i oglądaj! Zwierzęta. Ponad 50 dźwięków

Anna Podgórska

Podobne do Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Teoria klasy próżniaczej - Veblen Thorstein

Książka

42,95 zł

70,00 zł - sugerowana cena detaliczna

Teoria klasy próżniaczej

Veblen Thorstein

Traktat teologiczno-polityczny - Baruch (Benedykt) Spinoza

Książka

15,99 zł

21,00 zł - sugerowana cena detaliczna

Traktat teologiczno-polityczny

Baruch (Benedykt) Spinoza

Książka

47,59 zł

69,99 zł - sugerowana cena detaliczna

Platon od nowa

Jan Tokarski

Książka

43,99 zł

69,00 zł - sugerowana cena detaliczna

Filozofia horroru wyd. 2

Noël Carroll

Człowiek, którystracił głowę. O urojeniach i iluzjach - Douwe Draaisma

Książka

36,44 zł

58,00 zł - sugerowana cena detaliczna

Człowiek, którystracił głowę. O urojeniach i iluzjach

Douwe Draaisma

Studia z dziejów ideologii i filozofii społecznej - Stefan Czarnowski

Książka

15,99 zł

21,00 zł - sugerowana cena detaliczna

Studia z dziejów ideologii i filozofii społecznej

Stefan Czarnowski

Książka

64,30 zł

99,00 zł - sugerowana cena detaliczna

Atlas. Antologia

Tomasz Szerszeń

Społeczeństwo punitywne - Michel Foucault, Michał Herer

Książka

56,61 zł

69,00 zł - sugerowana cena detaliczna

Społeczeństwo punitywne

Michel Foucault, Michał Herer

Filozofia transcendentalna - Karl Wilhelm Friedrich von Schlegel

Książka

56,57 zł

69,00 zł - sugerowana cena detaliczna

Filozofia transcendentalna

Karl Wilhelm Friedrich von Schlegel

Książka

56,36 zł

79,00 zł - sugerowana cena detaliczna

Szczęście Duszy

Aleksander Deyev

Sceptyczny optymista, czyli dlaczego technologia nie jest odpowiedzią na wszystko - Nicholas Agar

Książka

30,73 zł

49,00 zł - sugerowana cena detaliczna

Sceptyczny optymista, czyli dlaczego technologia nie jest odpowiedzią na wszystko

Nicholas Agar

Książka

27,74 zł

34,99 zł - sugerowana cena detaliczna

Warunki myślenia

Cezary Kluczyński

Tybetańska Księga Umarłych dla początkujących - Lama Lhanang Rinpoche, Levine Mordy

Książka

29,83 zł

44,99 zł - sugerowana cena detaliczna

Tybetańska Księga Umarłych dla początkujących

Lama Lhanang Rinpoche, Levine Mordy

Paradygmat wolnej woli w psychologii i jego konsekwencje. Kuncewicz Dorota K. (red.) - Kuncewicz Dorota

Książka

109,20 zł

109,20 zł - sugerowana cena detaliczna

Paradygmat wolnej woli w psychologii i jego konsekwencje. Kuncewicz Dorota K. (red.)

Kuncewicz Dorota

Kultura i tożsamość. Studium dystansu międzypokoleniowego - Margaret Mead

Książka

15,99 zł

21,00 zł - sugerowana cena detaliczna

Kultura i tożsamość. Studium dystansu międzypokoleniowego

Margaret Mead

Wyznania Świętego Augustyna - św. Augustyn z Hippony

Książka

35,99 zł

59,90 zł - sugerowana cena detaliczna

Wyznania Świętego Augustyna

św. Augustyn z Hippony

Dzienniki NB 26-NB 30 (25) - Soren Kierkegaard

Książka

62,84 zł

99,90 zł - sugerowana cena detaliczna

Dzienniki NB 26-NB 30 (25)

Soren Kierkegaard

Filozofia społeczna ruchu Black Power. Między nacjonalizmem a marksizmem - Sebastian Urbaniak

Książka

71,84 zł

89,00 zł - sugerowana cena detaliczna

Filozofia społeczna ruchu Black Power. Między nacjonalizmem a marksizmem

Sebastian Urbaniak

(Nie)świadomość twórcy?Casus Diogenesa Laertiosa Translacja IV i VI księgi,,Biogramów i poglądów słynnych filozofów''(wybór) - Beata Gaj

Od Homera do Symplicjusza.Dwanaście wieków literatury helleńskiej w polskich tłumaczeniach 1801-2024 - Wojciech Stawiszyński

Książka

77,99 zł

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

Historia miłości macierzyńskiej - Elisabeth Badinter

Książka

47,96 zł

95,00 zł - sugerowana cena detaliczna

Historia miłości macierzyńskiej

Elisabeth Badinter

Książka

24,00 zł

32,00 zł - sugerowana cena detaliczna

Przeciwko postępowi

Jak uniknąć tragedii? William Szekspir a świat współczesny - Maciej Gdula

Książka

36,99 zł

59,90 zł - sugerowana cena detaliczna

Jak uniknąć tragedii? William Szekspir a świat współczesny

Maciej Gdula

Arnobiusz. Afrykański orator - Homa Krzysztof

Książka

48,73 zł

75,00 zł - sugerowana cena detaliczna

Arnobiusz. Afrykański orator

Homa Krzysztof

Książka

56,88 zł

99,00 zł - sugerowana cena detaliczna

Dzieje

Herodot

Książka

18,99 zł

29,00 zł - sugerowana cena detaliczna

Rozmyślania

Marek Aureliusz

Logika wolnego świata - Sierzycki Przemysław

Książka

36,78 zł

39,00 zł - sugerowana cena detaliczna

Logika wolnego świata

Sierzycki Przemysław

Konfucjusz. Analekta, wyd. 2 - Pejda Katarzyna red.

Książka

30,74 zł

39,00 zł - sugerowana cena detaliczna

Konfucjusz. Analekta, wyd. 2

Pejda Katarzyna red.

Testament libertyna Sade. Powiedzieć wszystko - Alphonse Donatien Francois Markiz de Sade

Książka

28,57 zł

44,99 zł - sugerowana cena detaliczna

Testament libertyna Sade. Powiedzieć wszystko

Alphonse Donatien Francois Markiz de Sade

Seneki Listy Moralne do Lucyliusza... T.2 - Stanisław Śnieżewski

Książka

35,99 zł

40,01 zł - sugerowana cena detaliczna

Seneki Listy Moralne do Lucyliusza... T.2

Stanisław Śnieżewski

Oceny i recenzje książki Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Średnia ocen:

~ /10

Liczba ocen:

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

Paradoksy osoby Nowe podejście tomistyczne - Mazur Piotr

Książka

28,32 zł

39,99 zł - sugerowana cena detaliczna

Paradoksy osoby Nowe podejście tomistyczne

Mazur Piotr

Zagadnienia syntaktyki i semantyki systemów dedukcyjnych - Adam Jonkisz

Książka

39,99 zł

60,00 zł - sugerowana cena detaliczna

Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Adam Jonkisz

W nurcie personalizmu etycznego Prace dedykowane Księdzu Profesorowi Tadeuszowi Biesadze SDB dla upamiętnienia jego pracy naukowej n - Hołub Grzegorz

Ślady kultury chrześcijańskiej w Achai do 313 roku - Homa Krzysztof

Książka

29,50 zł

42,00 zł - sugerowana cena detaliczna

Ślady kultury chrześcijańskiej w Achai do 313 roku

Homa Krzysztof

Z powrotem w Krakowie 150 lat jezuitów przy ul. Kopernika (1868–2018) - Cieślak Stanisław, Stankiewicz-Kopeć Monika, Wenklar Michał

Książka

34,99 zł

45,00 zł - sugerowana cena detaliczna

Z powrotem w Krakowie 150 lat jezuitów przy ul. Kopernika (1868–2018)

Cieślak Stanisław, Stankiewicz-Kopeć Monika, Wenklar Michał

Ślady Szekspira Jego dzieło w literaturze i teatrze - Stankiewicz-Kopeć Monika, Krystyna Zabawa

Książka

39,41 zł

59,00 zł - sugerowana cena detaliczna

Ślady Szekspira Jego dzieło w literaturze i teatrze

Stankiewicz-Kopeć Monika, Krystyna Zabawa