Zagadnienia syntaktyki i semantyki systemów dedukcyjnych - Adam Jonkisz - Księgarnia paskarz.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

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

Książka

43,99 zł

59,00 zł - sugerowana cena detaliczna

Logika - historia i przyszłość

red. Kamil Cekiera, Marek Magdziak, Marcin Seling

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

Książka

46,99 zł

55,00 zł - sugerowana cena detaliczna

Religia jako idolatria. Esej filozoficzny o...

Ireneusz Ziemiński

Przyszłość UE i NATO T.3 - Praca zbiorowa

Książka

42,92 zł

49,90 zł - sugerowana cena detaliczna

Przyszłość UE i NATO T.3

Praca zbiorowa

Książka

79,62 zł

125,00 zł - sugerowana cena detaliczna

Lużne papiery

Rozmyślania - Marek Aureliusz

Książka

18,41 zł

29,00 zł - sugerowana cena detaliczna

Rozmyślania

Marek Aureliusz

Arnobiusz. Afrykański orator - Homa Krzysztof

Książka

48,99 zł

75,00 zł - sugerowana cena detaliczna

Arnobiusz. Afrykański orator

Homa Krzysztof

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

Książka

79,54 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

Wielcy myśliciele - Eucken Rudolf

Książka

27,64 zł

44,90 zł - sugerowana cena detaliczna

Wielcy myśliciele

Eucken Rudolf

Kultura nienawiści - Janusz Szewczak

Książka

33,99 zł

55,00 zł - sugerowana cena detaliczna

Kultura nienawiści

Janusz Szewczak

Dzieje - Herodot

Książka

59,40 zł

99,00 zł - sugerowana cena detaliczna

Dzieje

Herodot

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

Książka

14,99 zł

21,00 zł - sugerowana cena detaliczna

Studia z dziejów ideologii i filozofii społecznej

Stefan Czarnowski

Tam, gdzie rodziły się idee. Lwowska szkoła filozoficzna - Kuliniak Radosław

Książka

37,53 zł

57,90 zł - sugerowana cena detaliczna

Tam, gdzie rodziły się idee. Lwowska szkoła filozoficzna

Kuliniak Radosław

Oto słowa Zaratustry Nietzschego - Leo Strauss

Książka

59,99 zł

100,00 zł - sugerowana cena detaliczna

Oto słowa Zaratustry Nietzschego

Leo Strauss

Drapieżne noumeny - Nick Land

Książka

78,99 zł

130,00 zł - sugerowana cena detaliczna

Drapieżne noumeny

Nick Land

Warunki myślenia - Cezary Kluczyński

Książka

26,74 zł

34,99 zł - sugerowana cena detaliczna

Warunki myślenia

Cezary Kluczyński

Niepewność i węzły losu - Marian Golka

Książka

37,22 zł

52,99 zł - sugerowana cena detaliczna

Niepewność i węzły losu

Marian Golka

Nowoczesny duch bez nowoczesnego państwa - Tomasz Herbich

Książka

29,57 zł

47,00 zł - sugerowana cena detaliczna

Nowoczesny duch bez nowoczesnego państwa

Tomasz Herbich

Rozmyślania - Marek Aureliusz

Książka

24,96 zł

29,99 zł - sugerowana cena detaliczna

Rozmyślania

Marek Aureliusz

Logika wolnego świata - Sierzycki Przemysław

Książka

38,28 zł

39,00 zł - sugerowana cena detaliczna

Logika wolnego świata

Sierzycki Przemysław

Atlas. Antologia - Tomasz Szerszeń

Książka

64,99 zł

99,00 zł - sugerowana cena detaliczna

Atlas. Antologia

Tomasz Szerszeń

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

Książka

14,99 zł

21,00 zł - sugerowana cena detaliczna

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

Margaret Mead

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

Książka

48,51 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

Szczęście Duszy - Aleksander Deyev

Książka

56,50 zł

79,00 zł - sugerowana cena detaliczna

Szczęście Duszy

Aleksander Deyev

Wbrew Bogom czyli od Magii i Religii do Metody Naukowej wyd. 3 - Krzysztof Dołowy

Książka

48,82 zł

70,00 zł - sugerowana cena detaliczna

Wbrew Bogom czyli od Magii i Religii do Metody Naukowej wyd. 3

Krzysztof Dołowy

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

Książka

49,36 zł

95,00 zł - sugerowana cena detaliczna

Historia miłości macierzyńskiej

Elisabeth Badinter

Atlas [polskiego] bezformia - Tomasz Szerszeń, Agnieszka Dauksza

Książka

29,99 zł

45,00 zł - sugerowana cena detaliczna

Atlas [polskiego] bezformia

Tomasz Szerszeń, Agnieszka Dauksza

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

Książka

35,94 zł

59,90 zł - sugerowana cena detaliczna

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

Maciej Gdula

Traktat teologiczno-polityczny - Baruch (Benedykt) Spinoza

Książka

14,99 zł

21,00 zł - sugerowana cena detaliczna

Traktat teologiczno-polityczny

Baruch (Benedykt) Spinoza

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

Książka

35,44 zł

58,00 zł - sugerowana cena detaliczna

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

Douwe Draaisma

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

Książka

81,39 zł

99,00 zł - sugerowana cena detaliczna

Wybór pism. Biblioteka Klasyków Filozofii

Carl Stumpf, Witold Płotka

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

27,82 zł

39,99 zł - sugerowana cena detaliczna

Paradoksy osoby Nowe podejście tomistyczne

Mazur Piotr

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

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

33,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

38,99 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!
Odkrywaj najlepsze książki, wyjątkowe promocje i niepowtarzalne okazje.
*Kod jednorazowego użycia przy minimalnej wartości koszyka 69 zł.

Napisz do nas

Poniedziałek - Piątek
8:00 - 18:00
[email protected]

Bądź z nami na bieżąco