Zagadnienia syntaktyki i semantyki systemów dedukcyjnych - Adam Jonkisz - Księgarnia chodnikliteracki.pl

Listy
zakupowe Zaloguj się
Załóż konto

Menu

Czego szukasz?

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]

Podobne do Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

Wielcy myśliciele - Eucken Rudolf

Książka

28,99 zł

44,90 zł - sugerowana cena detaliczna

Wielcy myśliciele

Eucken Rudolf

(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

Odkrywcy prawdy o miłości. Antropodramatyka - Jan Galarowicz

Książka

50,53 zł

79,00 zł - sugerowana cena detaliczna

Odkrywcy prawdy o miłości. Antropodramatyka

Jan Galarowicz

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

Książka

36,94 zł

58,00 zł - sugerowana cena detaliczna

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

Douwe Draaisma

Jak rozmawiać o miłości Antyczny przewodnik dla współczesnych kochanków - null null, D'Angour Armand

Książka

49,60 zł

59,00 zł - sugerowana cena detaliczna

Jak rozmawiać o miłości Antyczny przewodnik dla współczesnych kochanków

null null, D'Angour Armand

Wybór pism. Biblioteka Klasyków Filozofii - Carl Stumpf, Witold Płotka

Książka

80,28 zł

99,00 zł - sugerowana cena detaliczna

Wybór pism. Biblioteka Klasyków Filozofii

Carl Stumpf, Witold Płotka

Nowe życie - Dante (Dante Alighieri)

Książka

23,58 zł

34,90 zł - sugerowana cena detaliczna

Nowe życie

Dante (Dante Alighieri)

Platon od nowa - Jan Tokarski

Książka

45,49 zł

69,99 zł - sugerowana cena detaliczna

Platon od nowa

Jan Tokarski

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

Książka

16,50 zł

21,00 zł - sugerowana cena detaliczna

Studia z dziejów ideologii i filozofii społecznej

Stefan Czarnowski

Logika - historia i przyszłość - red. Kamil Cekiera, Marek Magdziak, Marcin Seling

Książka

45,62 zł

59,00 zł - sugerowana cena detaliczna

Logika - historia i przyszłość

red. Kamil Cekiera, Marek Magdziak, Marcin Seling

Jak myśli świat? Podróż przez historię filozofii - Baggini Julian

Książka

65,35 zł

84,90 zł - sugerowana cena detaliczna

Jak myśli świat? Podróż przez historię filozofii

Baggini Julian

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

Książka

71,99 zł

89,00 zł - sugerowana cena detaliczna

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

Sebastian Urbaniak

Nowoczesny duch bez nowoczesnego państwa - Tomasz Herbich

Książka

30,99 zł

47,00 zł - sugerowana cena detaliczna

Nowoczesny duch bez nowoczesnego państwa

Tomasz Herbich

Teoria klasy próżniaczej - Veblen Thorstein

Książka

43,45 zł

70,00 zł - sugerowana cena detaliczna

Teoria klasy próżniaczej

Veblen Thorstein

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

Książka

16,50 zł

21,00 zł - sugerowana cena detaliczna

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

Margaret Mead

Drapieżne noumeny - Nick Land

Książka

84,39 zł

130,00 zł - sugerowana cena detaliczna

Drapieżne noumeny

Nick Land

Atlas. Antologia - Tomasz Szerszeń

Książka

66,58 zł

99,00 zł - sugerowana cena detaliczna

Atlas. Antologia

Tomasz Szerszeń

Warunki myślenia - Cezary Kluczyński

Książka

28,24 zł

34,99 zł - sugerowana cena detaliczna

Warunki myślenia

Cezary Kluczyński

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

Książka

31,23 zł

49,00 zł - sugerowana cena detaliczna

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

Nicholas Agar

Moralne odczytywanie prawa. Filozofia prawa i filozofia polityki Ronalda Dworkina - Stawecki Tomasz red.

Książka

40,49 zł

53,00 zł - sugerowana cena detaliczna

Moralne odczytywanie prawa. Filozofia prawa i filozofia polityki Ronalda Dworkina

Stawecki Tomasz red.

Spory o tezy materializmu dialektycznego w latach 1945–1956 w Polsce - Tadeusz Gadacz

Książka

33,43 zł

49,00 zł - sugerowana cena detaliczna

Spory o tezy materializmu dialektycznego w latach 1945–1956 w Polsce

Tadeusz Gadacz

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

Książka

31,24 zł

39,00 zł - sugerowana cena detaliczna

Konfucjusz. Analekta, wyd. 2

Pejda Katarzyna red.

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

Książka

30,33 zł

44,99 zł - sugerowana cena detaliczna

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

Lama Lhanang Rinpoche, Levine Mordy

Nowe formy w malarstwie i wynikające stąd nieporozumienia - Stanisław Ignacy Witkiewicz

Książka

19,64 zł

27,00 zł - sugerowana cena detaliczna

Nowe formy w malarstwie i wynikające stąd nieporozumienia

Stanisław Ignacy Witkiewicz

Myśleć metafizycznie - Karol Tarnowski

Książka

51,99 zł

79,99 zł - sugerowana cena detaliczna

Myśleć metafizycznie

Karol Tarnowski

Marksizm jako nurt pluralistyczny. Wstęp do zagadnienia - Wiktor Lekki

Książka

29,46 zł

39,00 zł - sugerowana cena detaliczna

Marksizm jako nurt pluralistyczny. Wstęp do zagadnienia

Wiktor Lekki

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

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

Książka

37,79 zł

59,90 zł - sugerowana cena detaliczna

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

Maciej Gdula

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

Książka

56,99 zł

95,00 zł - sugerowana cena detaliczna

Historia miłości macierzyńskiej

Elisabeth Badinter

Religia jako idolatria. Esej filozoficzny o... - Ireneusz Ziemiński

Książka

40,99 zł

55,00 zł - sugerowana cena detaliczna

Religia jako idolatria. Esej filozoficzny o...

Ireneusz Ziemiński

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

Paradoksy osoby Nowe podejście tomistyczne - Mazur Piotr

Książka

28,82 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

40,49 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,99 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

35,68 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,91 zł

59,00 zł - sugerowana cena detaliczna

Ślady Szekspira Jego dzieło w literaturze i teatrze

Stankiewicz-Kopeć Monika, Krystyna Zabawa

Oblicza bezpieczeństwa państwa Działalność polskich i japońskich służb specjalnych w okresie od 1950 do 1990 roku - Witold Mazurek

DARMOWA DOSTAWA

za zapis do newslettera!
Nowości, promocje, inspiracje – wszystko na Twoim mailu.
*Kod jednorazowego użycia przy minimalnej wartości koszyka 89 zł.