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ż

Nie trzaskaj drzwiami. Rozmowy, których pragną nastolatki, ale nigdy ci o tym nie powiedzą - Janiszewska Monika, Korolczuk Renata

Książka

40,79 zł

59,99 zł - sugerowana cena detaliczna

Nie trzaskaj drzwiami. Rozmowy, których pragną nastolatki, ale nigdy ci o tym nie powiedzą

Janiszewska Monika, Korolczuk Renata

Skąd się wziął Karol Nawrocki. Andrzej Nowak rozmawia z prezydentem RP - Andrzej Nowak, Nawrocki Karol

Książka

52,99 zł

89,00 zł - sugerowana cena detaliczna

Skąd się wziął Karol Nawrocki. Andrzej Nowak rozmawia z prezydentem RP

Andrzej Nowak, Nawrocki Karol

Książka

69,25 zł

90,00 zł - sugerowana cena detaliczna

Czytaj z Albikiem. Ciało Człowieka

Książka

67,99 zł

99,99 zł - sugerowana cena detaliczna

Homer na nasze czasy

Węcowski Marek

Książka

69,25 zł

90,00 zł - sugerowana cena detaliczna

Czytaj z Albikiem. Atlas Świata

Książka

20,70 zł

44,99 zł - sugerowana cena detaliczna

Paddington w ogrodzie

Michael Bond

Pocztówka z Mokum. 21 opowieści o Holandii - Piotr Oczko

Książka

43,99 zł

64,99 zł - sugerowana cena detaliczna

Pocztówka z Mokum. 21 opowieści o Holandii

Piotr Oczko

Książka

33,99 zł

49,99 zł - sugerowana cena detaliczna

I'm Just a Girl Journal

Agata Gładysz

Łowcy cieni. Kulisy działania najbardziej tajemniczej jednostki policji - Piotr Halicki

Książka

33,99 zł

49,99 zł - sugerowana cena detaliczna

Łowcy cieni. Kulisy działania najbardziej tajemniczej jednostki policji

Piotr Halicki

Zainspiruj się podobnymi wyborami

Metody i techniki sztucznej inteligencji - Rutkowski Leszek

Książka

102,74 zł

119,00 zł - sugerowana cena detaliczna

Metody i techniki sztucznej inteligencji

Rutkowski Leszek

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

Książka

37,83 zł

49,00 zł - sugerowana cena detaliczna

Introducing Chomsky

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

Książka

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

35,40 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

36,92 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

104,00 zł

104,00 zł - sugerowana cena detaliczna

Sztuka argumentacji Nowy słownik terminologiczny

Krzysztof Szymanek

Inni klienci wybierają również

Terapia funkcji poznawczych część 2 - Anna Lipa

Książka

51,90 zł

70,00 zł - sugerowana cena detaliczna

Terapia funkcji poznawczych część 2

Anna Lipa

Dobra zmiana - Michał Rusinek, Katarzyna Kłosińska

Książka

20,70 zł

44,99 zł - sugerowana cena detaliczna

Dobra zmiana

Michał Rusinek, Katarzyna Kłosińska

Książka

28,99 zł

39,99 zł - sugerowana cena detaliczna

Silne dzieci

Curtis Tim

Terapia dialektyczno-behawioralna DBT Trening umiejętności Podręcznik terapeuty - Linehan Marsha M.

Książka

74,21 zł

105,00 zł - sugerowana cena detaliczna

Terapia dialektyczno-behawioralna DBT Trening umiejętności Podręcznik terapeuty

Linehan Marsha M.

Terapia poznawcza depresji - Opracowanie Zbiorowe

Książka

77,74 zł

105,00 zł - sugerowana cena detaliczna

Terapia poznawcza depresji

Opracowanie Zbiorowe

Zakotwiczeni Jak oswoić układ nerwowy dzięki teorii poliwagalnej - Deb Dana

Książka

45,31 zł

56,00 zł - sugerowana cena detaliczna

Zakotwiczeni Jak oswoić układ nerwowy dzięki teorii poliwagalnej

Deb Dana

Książka

34,64 zł

54,99 zł - sugerowana cena detaliczna

Nie zaczęło się od ciebie

Mark Wolynn

Psychologia społeczna Wydanie drugie zaktualizowane. Aneks z pytaniami kontrolnymi - Bogdan Wojciszke

Książka

109,27 zł

138,60 zł - sugerowana cena detaliczna

Psychologia społeczna Wydanie drugie zaktualizowane. Aneks z pytaniami kontrolnymi

Bogdan Wojciszke

od CIA do CEO. Jak techniki CIA pomogą ci w pracy - Rupal Patel

Książka

27,60 zł

59,99 zł - sugerowana cena detaliczna

od CIA do CEO. Jak techniki CIA pomogą ci w pracy

Rupal Patel

Pod górę Trening dla biegaczy i skiturowców. - Johnston Scott

Książka

47,95 zł

79,91 zł - sugerowana cena detaliczna

Pod górę Trening dla biegaczy i skiturowców.

Johnston Scott

Podobne do Zagadnienia syntaktyki i semantyki systemów dedukcyjnych

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

Książka

78,55 zł

130,00 zł - sugerowana cena detaliczna

Drapieżne noumeny

Nick Land

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

Książka

39,99 zł

53,00 zł - sugerowana cena detaliczna

Moralne odczytywanie prawa. Filozofia prawa i filozofia polityki Ronalda Dworkina

Stawecki Tomasz red.

Książka

38,63 zł

44,90 zł - sugerowana cena detaliczna

Etyka

Simon Blackburn

Nowoczesny duch bez nowoczesnego państwa - Tomasz Herbich

Książka

30,57 zł

47,00 zł - sugerowana cena detaliczna

Nowoczesny duch bez nowoczesnego państwa

Tomasz Herbich

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

Książka

64,85 zł

84,90 zł - sugerowana cena detaliczna

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

Baggini Julian

Arnobiusz. Afrykański orator - Homa Krzysztof

Książka

51,99 zł

75,00 zł - sugerowana cena detaliczna

Arnobiusz. Afrykański orator

Homa Krzysztof

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

Książka

51,75 zł

69,00 zł - sugerowana cena detaliczna

Społeczeństwo punitywne

Michel Foucault, Michał Herer

Maksymy i rozważania moralne. wyd 2. 2026 - Rochefoucauld François de La

Książka

15,33 zł

17,85 zł - sugerowana cena detaliczna

Maksymy i rozważania moralne. wyd 2. 2026

Rochefoucauld François de La

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

Książka

43,92 zł

49,90 zł - sugerowana cena detaliczna

Przyszłość UE i NATO T.3

Praca zbiorowa

Książka

41,99 zł

69,99 zł - sugerowana cena detaliczna

Platon od nowa

Jan Tokarski

Książka

24,00 zł

32,00 zł - sugerowana cena detaliczna

Przeciwko postępowi

Sarah Kofman. Filozofia jako auto/biografia - Karoline Feyertag

Książka

52,32 zł

79,00 zł - sugerowana cena detaliczna

Sarah Kofman. Filozofia jako auto/biografia

Karoline Feyertag

(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

Książka

43,99 zł

69,00 zł - sugerowana cena detaliczna

Filozofia horroru wyd. 2

Noël Carroll

Traktat teologiczno-polityczny - Baruch (Benedykt) Spinoza

Książka

15,99 zł

21,00 zł - sugerowana cena detaliczna

Traktat teologiczno-polityczny

Baruch (Benedykt) Spinoza

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

Książka

27,46 zł

39,00 zł - sugerowana cena detaliczna

Marksizm jako nurt pluralistyczny. Wstęp do zagadnienia

Wiktor Lekki

Książka

54,39 zł

79,99 zł - sugerowana cena detaliczna

Myśleć metafizycznie

Karol Tarnowski

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

Książka

47,83 zł

55,00 zł - sugerowana cena detaliczna

Religia jako idolatria. Esej filozoficzny o...

Ireneusz Ziemiński

Oto słowa Zaratustry Nietzschego - Leo Strauss

Książka

59,40 zł

100,00 zł - sugerowana cena detaliczna

Oto słowa Zaratustry Nietzschego

Leo Strauss

Książka

52,40 zł

79,00 zł - sugerowana cena detaliczna

Tosia i tyranozaury

Filip Krzemień

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

Książka

25,96 zł

29,99 zł - sugerowana cena detaliczna

Rozmyślania

Marek Aureliusz

Książka

48,99 zł

69,00 zł - sugerowana cena detaliczna

66 twarzy Lucjana

Filip Krzemień

Książka

35,36 zł

54,99 zł - sugerowana cena detaliczna

Śmierci nie ma

Allix Stephane

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

Książka

37,59 zł

59,90 zł - sugerowana cena detaliczna

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

Maciej Gdula

Książka

78,87 zł

109,00 zł - sugerowana cena detaliczna

How Lucky Am I

Watson Christian

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

Teoria klasy próżniaczej - Veblen Thorstein

Książka

42,95 zł

70,00 zł - sugerowana cena detaliczna

Teoria klasy próżniaczej

Veblen Thorstein

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

Książka

44,99 zł

59,00 zł - sugerowana cena detaliczna

Logika - historia i przyszłość

red. Kamil Cekiera, Marek Magdziak, Marcin Seling

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

29,99 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

31,41 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

41,99 zł

59,00 zł - sugerowana cena detaliczna

Ślady Szekspira Jego dzieło w literaturze i teatrze

Stankiewicz-Kopeć Monika, Krystyna Zabawa