Zagadnienia logiki formalnej i ogólnej teorii mnogości:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Polish |
| Veröffentlicht: |
Kraków
Wydawnictwo Naukowe Uniwersytetu Ignatianum w Krakowie
2024
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Literaturverzeichnis Register // Gemischte Register |
| Beschreibung: | 339 Seiten Diagramme 24 cm |
| ISBN: | 9788376146133 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV049755400 | ||
| 003 | DE-604 | ||
| 005 | 20240916 | ||
| 007 | t| | ||
| 008 | 240625s2024 xx |||| |||| 00||| pol d | ||
| 020 | |a 9788376146133 |9 978-83-7614-613-3 | ||
| 020 | |z 8376146130 |9 8376146130 | ||
| 035 | |a (OCoLC)1443592474 | ||
| 035 | |a (DE-599)BVBBV049755400 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a pol | |
| 049 | |a DE-12 | ||
| 100 | 1 | |a Jonkisz, Adam |d 1953- |e Verfasser |0 (DE-588)1297263154 |4 aut | |
| 245 | 1 | 0 | |a Zagadnienia logiki formalnej i ogólnej teorii mnogości |c Adam Jonkisz |
| 264 | 1 | |a Kraków |b Wydawnictwo Naukowe Uniwersytetu Ignatianum w Krakowie |c 2024 | |
| 300 | |a 339 Seiten |b Diagramme |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logika | |
| 650 | 4 | |a Teoria zbiorów | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung BSB München 19 - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung BSB München 19 - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Literaturverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung BSB München 19 - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000005&line_number=0003&func_code=DB_RECORDS&service_type=MEDIA |3 Register // Gemischte Register |
| 940 | 1 | |n oe | |
| 940 | 1 | |q BSB_NED_20240916 | |
| 942 | 1 | 1 | |c 001.09 |e 22/bsb |g 438 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035096945 | |
Datensatz im Suchindex
| _version_ | 1816446014411767808 |
|---|---|
| adam_text |
SPIS TREŚCI Uwagi wstępne . 11 Podziękowania .14 Rozdział I: Klasyczny rachunek zdań (KRZ). 17 1. Język KRZ. 17 1.1 Charakterystyka syntaktyczna. 18 1.1.1 Słownik KRZ. 18 1.1.2 Składnia i wyrażenia/formuły KRZ.19 1.2 Własności semantyczne spójników prawdziwościowych . 23 1.2.1 Pojęcie funkcji prawdziwościowej i wartościowania . 23 1.2.2 Matrycowe definicje spójników prawdziwościowych . 25 1.2.3 Związki definicyjne między funktorami prawdziwościowymi . 29 2. Tautologie/prawa KRZ .43 2.1 Sprawdzanie tautologiczności . 43 2.2 Wybrane tautologie/prawa KRZ .45 3. Założeniowy system KRZ.47 3.1 Reguły pierwotne systemu.47 3.2 Tezy i reguły wtórne. 51 3.2.1 Pojęcie
reguły wtórnej. 52 3.2.2 Wybrane tezy/reguły wtórne .52 4. Aksjomatyczne systemy KRZ . 78 4.1 Uwagi ogólne . 78 4.2 System Hilberta i Bernaysa. 79 4.3 System Łukasiewicza. 83 7
Rozdział II: Nieklasyczne rachunki zdań. 87 1. 2. 3. 4. Logika wielowartościowa. 89 Logika modalna . 94 Logika deontyczna . 98 Logika intuicjonistyczna i logiki pośrednie. 103 Rozdział III: Rachunek predykatów. 109 1. Uwagi ogólne . 109 2. Klasyczny rachunek predykatów. 114 2.1 Węższy rachunek predykatów (WRP).114 2.1.1 Słownik, składnia i formuły WRP. 114 2.1.2 Założeniowy system WRP. 118 2.1.2.1 Reguły i definicje wyjściowe .119 2.1.2.2 Tezy WRP. 123 2.2 WRP z identycznością. 135 3. Teoria wynikania zdań kategorycznych . 142 3.1 Podstawowe prawa wynikania. 143 3.2 Sprawdzanie poprawności logicznej wnioskowań ze zdaniami kategorycznymi.150 3.2.1 Tradycyjne metody
sylogistyki. 151 3.2.1.1 Niezawodne tryby wnioskowania. 151 3.2.1.2 Dyrektywy (warunki) dla przesłanek i wniosku 153 3.2.2 Udoskonalona metoda Venna . 157 3.3 Interpretacja zdań kategorycznych w WRP. 165 Rozdział IV: Ogólna teoria mnogości. 171 1. Rachunek zbiorów. 171 1.1 Podstawowe pojęcia rachunku zbiorów . 172 1.2 Relacje zakresowe między zbiorami . 174 1.3 Działania na zbiorach . 182 1.4 Zbiory wyznaczone przez funkcje zdaniowe. 190 1.5 Rachunek zbiorów a teoria wynikania zdań kategorycznych 193 2. Teoria relacji. 196 2.1 Iloczyn kartezjański zbiorów . 196 2.2 Relacje i działania na relacjach . 199 2.3 Rodzaje relacji . 207 2.3.1 Funkcje i ciągi . 208 8
2.3.2 Relacje zwrotne, spójne, symetryczne, asymetryczne, przechodnie . 216 2.3.3 Relacje równościowe.217 2.3.4 Relacje porządkujące i zbiory uporządkowane . 220 2.3.5 Izomorfizm relacji. 225 3. Teoria liczb kardynalnych. 229 3.1 Równoliczność zbiorów, pojęcia mocy zbioru i liczby kardynalnej. 229 3.2 Rodzaje zbiorów ze względu na liczność. 235 3.2.1 Zbiory skończone i nieskończone. 235 3.2.2 Zbiory przeliczalne i nieprzeliczalne. 238 3.3 Relacje w zbiorze liczb kardynalnych . 249 3.3.1 Równości (działania na liczbach kardynalnych) . 249 3.3.2 Nierówności .261 4. Antynomie teorii mnogości.268 4.1 Antynomie klasycznej teorii zbiorów. 271 4.2 Usuwanie antynomii. 271 4.2.1 Teoria typów logicznych. 271 4.2.2 Aksjomatyzacja teorii mnogości. 272
Zakończenie. 279 Bibliografia . 285 Definicje, twierdzenia, schematy . 291 Indeks pojęć i nazwisk. 323
BIBLIOGRAFIA Zestawione są wyłącznie publikacje cytowane w niniejszej książce. Batóg T., Podstawy logiki, Wydawnictwo Naukowe Uniwersytetu Adama Mickiewicza, Poznań 2003. Bonevac D., The Art and Science ofLogic, Mayfield Publishing Company, Mountain View, CA 1990. Borkowski L, Wprowadzenie do logiki i teorii mnogości, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego, Lublin 1991. Czeżowski T., Jak budować logikę dóbr? (1 ), w: tegoż, Pisma z etyki i teo rii wartości, red. P. Smoczyński, Zakład Narodowy im. Ossolińskich, Wrocław 1989, s. 130-135. Czeżowski T., Jak budować logikę dóbr? (2), w: tegoż, Pisma z etyki i teo rii wartości, red. P. Smoczyński, Zakład Narodowy im. Ossolińskich, Wrocław 1989, s. 136-139. Czeżowski T., Logika. Podręcznik dla studiujących nauki filozoficzne, Państwowe Wydawnictwo Naukowe, Warszawa 1968. Czeżowski T., O formalnym pojęciu wartości, „Przegląd Filozoficzny” 1919, t. 22, z. 1, s. 13-24. Dąbrowski A., Hoły-Łuczaj Μ., Schumann A., Szocik K., Woleński J., Leksykon logików polskich 1900-1939, Copernicus Center Press, Wyższa Szkoła Informatyki i Zarządzania, Kraków-Rzeszów 2022. Grzegorczyk A., Zarys logiki matematycznej, Państwowe Wydawnictwo Naukowe, Warszawa 1981. Gumański L., Wprowadzenie w logikę współczesną, Państwowe Wydaw nictwo Naukowe, Warszawa 1990. Gumański L., Wybrane zagadnienia logiki deontycznej, w: tegoż, Istnie nie i logika, Wydawnictwo Uniwersytetu Mikołaja Kopernika, Toruń 2006, s. 389-446. 285
BIBLIOGRAFIA Haack S., Philosophy ofLogics, Cambridge University Press, Cambridge 1978. Jonkisz A., Aksjomatyczna teoria użyteczności О. Morgernsterna i J. Von Neumanna a T. Czeżowskiegoformalna teoria wartości, w: Tadeusz Czeżowski (1889-1981): dziedzictwo idei: logika-filozofia - etyka, red. W. Tyburski, R. Wiśniewski, Uniwersytet Mikołaja Kopernika, Toruń 2002, s. 135-143. Jonkisz A., Elementy logiki stosowanej, Wyższa Szkoła Administracji w Bielsku-Białej, Bielsko-Biała 2011, 2015. Jonkisz A., Formalna teoria wartości. „Filozofia Nauki” 1998, nr 3-4, s. 121-132. Jonkisz A., O tak zwanej logice dóbr, w: Myśli o języku, nauce i war tościach. Księga ofiarowana Profesorowi Jackowi Juliuszowi Jadackiemu w sześćdziesiątą rocznicę urodzin, red. W. Strawiński, Μ. Grygianiec, A. Brożek, Wydawnictwo Naukowe Semper, Warszawa 2006, s. 421-429. Jonkisz A., Tadeusza Czeżowskiegoformalne pojęcie wartości, w: Polska filozofia analityczna. W kręgu Szkoły Lwowsko-Warszawskiej, red. W. Tyburski, R. Wiśniewski, Wydawnictwo Uniwersytetu Mikołaja Kopernika, Toruń 1999, s. 197-206. Jonkisz A., Zagadnienia semiotyki logicznej i ogólnej metodologii nauk, Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, Kraków 2023. Jonkisz A., Zagadnienia syntaktyki i semantyki systemów dedukcyj nych, Wydawnictwo Naukowe Akademii Ignatianum w Krakowie, Kraków 2023. Kobziński J.K., Logiki pośrednie, w: Logika formalna. Zarys ency klopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, Państwowe Wydawnictwo Naukowe, Warszawa 1987, s. 369-381. Koj L., Powinności w nauce. T. 1:
Określenie ipoznawalnośćpowinności, Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 1998. Kopania J., Systemy Leśniewskiego, w: Logika formalna. Zarys ency klopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, Państwowe Wydawnictwo Naukowe, Warszawa 1987, s. 397-405. Kozanecka A., O rodzajach logik temporalnych, „Roczniki Filozoficzne” 2007, t. 55, nr 1, s. 189-199. 286
BIBLIOGRAFIA Kozanecka-Dymek A., Geneza niektórych systemów logiki temporalnej, „Roczniki Filozoficzne” 2009, t. 57, nr 1, s. 75-90. Krajewski S., Antynomie, w: Logika formalna. Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, Państwowe Wydawnictwo Naukowe, Warszawa 1987, s. 174-181. Krajewski S., Logika intuicjonistyczna, w: Logika formalna. Zarys en cyklopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, Państwowe Wydawnictwo Naukowe, Warszawa 1987, s. 360-368. Kulicki P., Aksjomatyczne systemy rachunku nazw, Wydawnictwo Ka tolickiego Uniwersytetu Lubelskiego, Lublin 2011. Kuratowski K., Mostowski A., Teoria mnogości. Wraz ze wstępem do opisowej teorii mnogości, Państwowe Wydawnictwo Naukowe, War szawa 1978. Lechniak Μ., Czym są modalności ijakje rozróżniać? Próby klasyfikacji modalności, w: Jedność i wielość logik modalnych, red. Μ. Tkaczyk, Jedność i wielość logik modalnych, Wydawnictwo Naukowe Katolic kiego Uniwersytetu Lubelskiego, Lublin 2019, s. 63-80. Lechniak Μ., Elementy logiki dla prawników, Wydawnictwo Katolickie go Uniwersytetu Lubelskiego, Lublin 2012. Lechniak Μ., Interpretacje wartości matryc logik wielowartościowych, Redakcja Wydawnictw Katolickiego Uniwersytetu Lubelskiego, Lu blin 1999. Lechniak Μ., Logiki epistemiczne, w: Jedność i wielość logik modalnych, red. Μ. Tkaczyk, Wydawnictwo Naukowe Katolickiego Uniwersytetu Lubelskiego, Lublin 2019, s. 135-203. Lechniak Μ., Przekonania i zmiana przekonań: analiza logiczna i fi lozoficzna. Wydawnictwo Katolickiego Uniwersytetu
Lubelskiego, Lublin 2011. Logikaformalna. Zarys encyklopedyczny z zastosowaniem do informa tyki i lingwistyki, red. W. Marciszewski, Państwowe Wydawnictwo Naukowe, Warszawa 1987. Lukasiewicz D., Filozofia Tadeusza Czeżowskiego, Wydawnictwo Akade mii Bydgoskiej, Bydgoszcz 2020. Lukasiewicz J., Elementy logiki matematycznej, Państwowe Wydawnic two Naukowe, Warszawa 1958. Lukasiewicz J., O determinizmie, w: tegoż, Z zagadnień logiki i filozo fii. Pisma wybrane, Państwowe Wydawnictwo Naukowe, Warszawa 1961, s. 114-126. 287
BIBLIOGRAFIA Lukasiewicz J., Sylogistyka Arystotelesa z punktu widzenia współczes nej logikiformalnej, Państwowe Wydawnictwo Naukowe, Warszawa 1988. Lukasiewicz J., System logiki modalnej, w: tegoż, Z zagadnień logiki ifilozofii. Pisma wybrane, Państwowe Wydawnictwo Naukowe, War szawa 1961, s. 275-305. Malinowski G., Logiki wielowartościowe, Wydawnictwo Naukowe PWN, Warszawa 2006. Mała encyklopedia logiki, red. W. Marciszewski, Zakład Narodowy im. Ossolińskich, Wrocław 1988. Marciszewski W., Aksjomatyczne ujęcie teorii mnogości, w: Logika for malna. Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, red. W. Marciszewski, Państwowe Wydawnictwo Na ukowe, Warszawa 1987, s. 121-131. Pascucci Μ., Tuboly A.T. (red.), Reflecting on the Legacy ofCJ. Lewis: Contemporary and Historical Perspectives on Modal Logic, „Orga non F” (Special Issue) 2019, t. 26, nr 3, s. 318-539. Pogorzelski W.A., Elementarny słownik logiki formalnej, Dział Wydaw nictw Filii Uniwersytetu Warszawskiego, Białystok 1992. Pogorzelski W.A., Klasyczny rachunek kwantyfikatorów. Zarys teorii, Państwowe Wydawnictwo Naukowe, Warszawa 1981. Pogorzelski W.A., Klasyczny rachunek zdań. Zarys teorii, Państwowe Wydawnictwo Naukowe, Warszawa 1975. Słupecki J., Borkowski L., Elementy logiki matematycznej i teorii mno gości, Państwowe Wydawnictwo Naukowe, Warszawa 1963. Słupecki J., Hałkowska K., Piróg-Rzepecka K., Logika i teoria mnogości, Państwowe Wydawnictwo Naukowe, Warszawa 1978. Świrydowicz K., Logiczne teorie obowiązku warunkowego, Wydawnic two Naukowe Uniwersytetu Adama Mickiewicza, Poznań
1995. Świrydowicz K., Podstawy logiki modalnej, Wydawnictwo Naukowe Uni wersytetu Adama Mickiewicza, Poznań 2004. Tkaczyk Μ. (red.), Jedność i wielość logik modalnych, Wydawnictwo Naukowe Katolickiego Uniwersytetu Lubelskiego, Lublin 2019. Tkaczyk Μ., Założeniowe systemy normalnych logik modalnych, „Rocz niki Filozoficzne” 2007, t. 55, nr 1, s. 219-228. Woleński J., Filozoficzna szkoła łwowsko-warszawska, Państwowe Wy dawnictwo Naukowe, Warszawa 1985. Woleński J., Lukasiewicz, Jan, w: A. Dąbrowski, Μ. Holy-Łuczaj, A. Schu mann, K. Szocik, J. Woleński, Leksykon logików polskich 1900-1939, 288
BIBLIOGRAFIA Copernicus Center Press, Wyższa Szkoła Informatyki i Zarządzania, Kraków, Rzeszów 2022, s. 214-226. Woleński J., Many-Valueness and Modality, „Ruch Filozoficzny” 2019, t. 75, nr 2, s. 61-74. Woleński J., O predykacie ‘jest prawdą’, w: Prawda, red. D. Leszczyń ski, Wydawnictwo Uniwersytetu Wrocławskiego, Wrocław 2011, s. 31-44. Woleński J., Przyczynek do analizy dozwolenia, w: tegoż, W stronę lo giki, Aureus, Kraków 1996, s. 177-181. Woleński J., Semantics and Truth, Springer, Cham 2019. Ziembiński Z., Logika praktyczna, Państwowe Wydawnictwo Naukowe, Warszawa 1974.
INDEKS POJĘĆ I NAZWISK Drukiem wytłuszczonym są wyróżnione pojęcia, które oprócz bezpośrednich mają także uszczegółowienia dalsze. Symbol = odsyła do pojęcia pokrewnego, a = wskazuje, że dane pojęcie jest w indeksie uwzględnione odrębnie. W zestawieniu nie uwzględniono pojęć i nazwisk występujących wyłącznie w bibliografii. aksjomat/ty 78-80 jednoznaczności 273, 321 nieskończoności 274, 321 Nicoda-Łukasiewicza 84-85 pary 273, 321 podzbiorów (wyróżniania, definicyjny) 275-276, 321 sumy 273, 321 typu relacyjnego 226-227 wyboru (a. Zermelo) 224, 237, 274-275, 321 zastępowania 276, 321 zbioru potęgowego 273, 321 zbioru pustego 273, 321 aksjomatyka/zacja 78-86 aksjomatyki równoważne 100 finitystyczna (skończona)/infinitystyczna 84, 276 klasycznego rachunku zdań 78-86 = system KRZ Hilberta-Bernaysa 79-83 Łukasiewicza 83-86 Nicoda-Łukasiewicza 84-85 niezależność aksjomatów 79, 85 rachunków deontycznych 98 r. Heytinga 104-105 r. modalnych 95, 98 r. nazw 143 r. wielowartościowego (systemu Ł3) 94 teorii mnogości 174,178, 226, 272-277 Zermelo-Fraenkla-Skolema 272-277 węższego rachunku predykatów 119 323
INDEKS POJĘĆ I NAZWISK algebra Boola 172 alternatywa = klasyczny rachunek zdań antynomia/e 269-271 a. teorii mnogości = ogólna teoria mnogości rodzaje a. 269-270 usuwanie a. 271-277 Arystoteles 93,142 Banach S. 265, 275 Batog T. 13, 83,119 Bernays P. 78, 79, 272, 280 Bernstein F. 265, 266 binegacja = klasyczny rachunek zdań Bonevac D. 44 Boole G. 172 Borel É. 103 Borkowski L. 11-13,31,38,43,44,47,77, 80, 86,106,118,119,129,153,229, 237, 258, 265, 268, 271, 272, 276, 279, 285, 288 Brouwer L.E.J. 103, 104 Brożek A. 217 Burali-Forti C. 277 Cantor G. 103, 262, 265, 266, 268-271, 276 Cauchy A.L. 275 Church A. 215 Chwistek L. 271 ciąg 24-25, 185, 215-218, 238-248, 259-260, 257-268, 274, 281, 311, 316317 definicja indukcyjna с. 216 dziedzina/przeciwdziedzina (zapas) ciągu 215, 238-241 nieskończony/skończony 215-216, 238-245, 247-248, 259-260, 267-268, 274, 316-317 podwójnie nieskończony 241-242 wyraz (element) ciągu 24-25, 185, 215-216, 218, 239-245, 274, 311, 316317 Czeźowski T. 20, 93, 217 Dąbrowski A. 84,173, 283 Dedekind R. 236, 270, 281 definicja/e indukcyjna (przez rekurencję) 21-22, 215-216 warunek indukcyjny 23, 216 warunek wstępny 216 przez abstrakcję 218 324
INDEKS POJĘĆ I NAZWISK matrycowe (tabelkowe) funktorów =^ funktor dowód efektywny/nieefektywny 103-104 indukcyjny 22-23,129, 258 intuicjonistyczny 103-104 rozgałęziony wprost 68-69, 76, 78,130-131 niewprost 70, 78 założeniowy wprost 48-50, 53, 55-56,153,179 niewprost 48-50,53-57, 59-60, 63, 67, 70,104,140,142,153,179,184, 188,191, 209, 222, 236-237, 265-266, 270 zwykły wprost 48, 50-51, 81 niewprost 48, 50-51, 60 Dummett Μ. 106 Duns Szkot J. 46, 61 dysjunkcja = klasyczny rachunek zdań działania na zbiorach dopełnienie 180,188-190, 192,197, 201, 281, 308 iloczyn 106,182-187,189,192,198,201-202, 206, 209, 211-212,273,281, 307-308 rodziny zbiorów 187, 202 uogólniony 185-186, 201-202, 281 zawartości matryc 106 zbiorów wyznaczonych przez formuły zdaniowe 192-193 i. kartezjański (produkt) 195-199,231,240-241,253,256,281,308-309,317 klasa odwzorowań zbioru w zbiór 211, 255-257, 264 różnica 182,187-189,192, 197-198, 201, 205, 281, 307 symetryczna 188, 281 zbiorów wyznaczonych przez formuły zdaniowe 192-193 suma 182-189,197-198, 200-202,205-206, 209, 211-212,220,232, 240242, 246-248, 250, 252-255, 266, 273, 281, 307-308 rodziny zbiorów 187, 202, 246-248 uogólniona 185-186, 200-202 zbiorów wyznaczonych przez formuły zdaniowe 192-193 zbiór ilorazowy 219, 234 zbiór potęgowy 178,187, 202, 233, 246, 248-249, 253, 260-261, 270-271, 273, 321 działanie/a 12, 74-75, 91,182-190, 200-215 na funkcjach zdaniowych = reguła/y d. podstawiania 75-76 d. zastępowania 73-77, 83-84,119-120, 137-138 na liczbach kardynalnych = teoria 1. k. 325
INDEKS POJĘĆ I NAZWISK na relacjach 200-207 = relacje na zbiorach = pojęcie działania = funkcja Euler L. 157 Feys R. 98 Fraenkel A. 272, 276 Frege G. 46, 79, 80, 82 funkcja/e argument/wartość f. 23-25, 185, 188-189, 197, 209-211, 213-215, 230, 246, 249, 256-257, 267 ciąg = częściowa 215-216, 240, 256, 311 działanie = dziedzina/przeciwdziedzina f. 208-210, 215 identycznościowa 187, 216, 230, 237, 263 f. i. ograniczona 230, 232 iloczyn f. 211-212 jedno-jednoznaczna (wzajemnie jednoznaczna, różnowartościowa, doskonała) 213-215, 225-226, 230-231, 238, 241, 246, 247, 250, 256-257, 263, 266, 311 odwrotna (konwers f.) 213, 238, 253, 255, 259 permutacja 215-216, 311 pojęcie f. 208-210 prawdziwościowa 23-24 pojęcie f. p. 24 wartościowanie 24-29, 44 f. wartościująca 25 przedłużenie f. 215, 311 rodzina f. 208, 211, 255 rodzina odwzorowań 211, 231, 253 suma f. 211-212 zdaniowa/e (formuła/y z.) 19, 31, 45,171,190,193, 276, 281 rozłączne 191 zawsze niespełniona (antytautologia) / zawsze spełniona (tautologia) 17, 44-46, 85, 94,105,110,114, 279, 293 złożenie f. 212-213, 263, 310 funktor/y (spójnik/i) argument f. 20-21, 23-36, 39, 42, 89, 94, 97-98,110,126, 292 deontyczne (orzeczniki d., stałe d., terminy d.) 88, 98-102 modalne (orzeczniki m., stałe m., terminy m.) 87, 92-95, 97-98 nazwotwórczy 122 326
INDEKS POJĘĆ I NAZWISK prawdziwościowe (ekstensjonalne, zakresowe) /nieprawdziwościowe (intensjonalne, treściowe) 17-43, 71-74, 83, 87, 89-90, 94,112,126,136,148, 269, 279,282-283,291-293 = klasyczny rachunek zdań = f. modalne = = f. deontyczne pojęcie f. p. 23, 292 definicje matrycowe (tabelkowe) f. 18, 25-29, 44, 90,279 jako funkcje prawdziwościowe 24-25 związki definicyjne między f. p. 29-43, 293 zdaniotwórcze 23, 94,110, 144, 292 Gentzen G. 43 Gödel K. 98,106,107, 272 Grygianiec Μ. 217 Grzegorczyk A. 13,109, 225 Gumański L. 20,103,142,158 Haack S. 89 Halkowska K. 11, 216, 220, 224, 225, 272, 274 Heine H.E. 275 HeytingA. 104-107 Hilbert D. 78, 79, 280 Hoły-Łuczaj Μ. 84,173, 283 iloczyn kartezjański zbiorów = działania na zbiorach relacji = relacja/e zbiorów = działania na zbiorach implikacja = klasyczny rachunek zdań interpretacja matrycowa 92,105 semantyczna 117,126,195, 204 zdań kategorycznych = teoria wynikania zdań kategorycznych = WRP mocna/słaba 165-166,169,193-194 w rachunku zbiorów 171,193-195, 283, 308 w WRP 143,145,165-170,283, 305-306 Jankov V.A. 106 Jastrzębski P. 164 Johansson 1.107 Jonkisz A. 11,13, 97,109,143, 217 klasyczny rachunek zdań (KRZ) 17-86 częściowy 280 formuły (wyrażenia) KRZ 19-22 327
INDEKS POJĘĆ I NAZWISK funktory (spójniki) KRZ alternatywa rozłączna 18, 26,100 zwykła (nierozłączna) 18, 20, 26, 31-35, 39-42, 46-48, 53-54, 60, 6263,6971, 76-77,87, 96-97,101-106,122,126,130-133,148-149, 192, 212, 222, 293 binegacja 18, 27-28 dysjunkcja 28, 37, 40-41, 43, 84, 95,100,149 implikacja 19-20, 26-27, 49, 56, 84, 96, 98, 162, 165-170, 174-175, 177-186,188-189, 191-192,195, 201, 203, 206, 212-213, 218-219, 234, 236-237, 251, 264, 273, 276, 292 materialna 97 ścisła 96, 98 koniunkcja 18-19,25-26,28,31-32,34-35,38-42,45-49,51,57,60,62, 65, 68-69, 71, 75-77, 80, 83, 86-87, 91, 96-97, 101-102, 104-106, 126, 130, 138, 141, 148, 154,175, 178, 183-186,188, 191-192, 199, 201, 209, 212-214, 222, 230, 235, 247, 251, 253, 265-267,292 negacja 18-21, 23, 25-27, 30-31, 34-36, 39-43, 45-46, 48-51, 53-56, 60,65,80, 83,85,96,105,119,125,136,138,141,154-156,158-159, 176, 192, 209, 235-236, 270, 291, 293 równoważność 18, 26-27, 30-31, 33-36, 39-40, 42-43, 46-48, 54-56, 59-60, 62-63, 65-66, 73, 75, 77, 80, 83-86, 91-92, 125-126, 128129, 131,136, 140-141, 146, 155, 165, 168, 174-176, 183-184, 190, 193-194, 201, 204-205,214, 217, 220, 235, 238-239, 251, 269-270, 272,-273, 281, 292 związki definicyjne między f. 29-43 język/metajęzyk KRZ 17-23 notacja polska (beznawiasowa) 20 składnia 19-22 słownik 18-19 system KRZ = tautologie (prawa) KRZ 43-47 = prawo/a pojęcie t. 44 sprawdzanie tautologiczności 43-45 metodą Genzena 43-44 m. sprowadzania do postaci normalnych 44 m. tablic (drzew) semantycznych 43-44 m. zero-jedynkową 43-45, 279 Kobziński J.K. 103,106 Koj L. 99 koniunkcja = klasyczny
rachunek zdań Kopania J. 173 Koszteyn J. 15 Kozanecka A. 88 328
INDEKS POJĘĆ I NAZWISK Kozanecka-Dymek A. 88 Krajewski S. 103, 268 Kreisel G. 106 Kripke S. 106 Kronecker L. 103 Kulicki P. 143 Kuratowski K. 13, 224, 225, 229, 241, 245, 251, 258, 265, 272-274, 277, 281 kwadrat logiczny klasyczne zdania kategoryczne 143, 145-149 = teoria wynikania zdań kate gorycznych zdania modalne i deontyczne 147-149 kwantyfikator = rachunek predykatów (kwantyfikatorów) Lebesque H. 103 Lechniak Μ. 88, 92, 97,153 Leibniz G.W. 139 lemat Kuratowskiego-Zorna = twierdzenie Leszczyński D. 95 Leśniewski S. 173 Lewis C.I. 98 liczba porządkowa = teoria liczb kardynalnych Lindenbaum A. 229, 281 logika/i (rachunki, systemy) deontyczna 12, 88, 98-103,143, 280 dwuwartościowa/ wielowartościowa 17, 27, 87-89, 279 dynamiczna 88 ekstensjonalna/intensjonalna 17, 87-88,129-130,142,174,178, 273, 279 epistemiczna 88 erotetyczna (pytań) 88 intuicjonistyczna 88,103-107 klasyczna/nieklasyczna 17, 87-88, 279 modalna (modalna aletyczna) 12, 87-88, 92, 94-99,102,143, 280 parakonsystentna 88 pośrednia 88,106-107 rozmyta 88 temporalna 88 zdań 12,17-107104-105,110 r. częściowy 84, 280 r. klasyczny 17-88 = KRZ r. nieklasyczny 89-107 = logika nieklasyczna Lukasiewicz D. 93 Lukasiewicz J. 20, 78, 79, 83-85, 89, 90, 92, 93, 95,106,142, 280 329
INDEKS POJĘĆ I NAZWISK Malinowski G. 89 Marciszewski W. 88, 272 metoda/y aksjomatyczna 17,78-86,114,137,279-280 = system dedukcyjny = system KRZ dyrektywalna (w sylogistyce) 153-154,157,162,166-168,170,305 = teoria wynikania zdań kategorycznych efektywna/nieefektywna 103-104 Gentzena 43 matrycowa 18, 25,-26, 43-44, 89-90, 92-93,105-106, 279, 292, 299 matryce Heytinga 105-106 zawartość matrycy 105 mnemotechniczna (w sylogistyce) 151-157 nieskończonościowe 103 przekątniowa (przekątnych) 241-242, 245, 282 sprowadzania do postaci normalnych 44 tablic semantycznych 43-44 Venna (diagramów Venna) 144, 157-164, 167-168, 170, 180, 193-195 = = teoria wynikania zdań kategorycznych założeniowa 12,17,47,114, 279 = system dedukcyjny = system KRZ założeniowa a aksjomatyczna 17, 78, 80, 86, 114, 119, 279, 281 = system dedukcyjny zero-jedynkowa (KRZ) 43-45 = klasyczny rachunek zdań moc zbioru = teoria liczb kardynalnych Morgan A. de 46, 60, 62,101 Morgenstern O. 217 Mostowski A. 13, 224, 225, 229, 241, 245, 251, 258, 265, 272-274, 277 nazwa cudzysłowowa, quasi cudzysłowowa 19,115,136 pusta, jednostkowa (indywiduowa), ogólna 137,149 = rachunek predykatów negacja nazwowa (przed-, przynazwowa) 144,150,154,158,169 uogólniona 144 zdaniowa (przed-, przyzdaniowa) = klasyczny rachunek zdań Neuman J. von 217, 232, 272 NicodJ. 84, 85,280 ogólna teoria mnogości 171-277 aksjomaty teorii m.272-277 = aksjomatyka antynomie t. m. 269-277 a. Russella 269-270 a. zbioru uniwersalnego 270 a. zbioru wszystkich liczb kardynalnych 270-271 330
INDEKS POJĘĆ I NAZWISK a. zbioru wszystkich liczb porządkowych 277 a. zbioru wszystkich zbiorów 270 rachunek zbiorów = teoria liczb kardynalnych = teoria relacji = operator abstrakcji 113,173-174,190,197 deskrypcji 113 kwantyfikator = paradoks 268, 270, 275 Banacha-Tarskiego 275 Cantora 270 Pascucci Μ. 95 permutacja = funkcja/e Piróg-Rzepecka K. 11, 216, 220, 224, 225, 272, 274 Pogorzelski W.A. 17, 86, 88,109 Poincaré H. 103 prawo/a = reguły de Morgana 46, 59-62 dodawania implikacji stronami 46, 69 Dunsa Szkota 46, 61 dylematu destrukcyjnego 46-47 prostego 46 złożonego 47 dylematu konstrukcyjnego 67-69 prostego 46, 67 złożonego 46, 68-69 eksportacji i impostacji 46 ekstensjonalności 71-73 alternatywy 72 implikacji 72-73 koniunkcji 72 kwantyfikatorów 129 równoważności 71, 73 Fregego 82 inwersji 143,149-150, 305 kontrapozycji 143,149-150,156, 305 konwersji 143,149,153,168, 305 łączności alternatywy 46 łączności koniunkcji 46 mnożenia alternatyw 77 mnożenia implikacji stronami 67 modus ponendo ponens 46, 65 331
INDEKS POJĘĆ I NAZWISK modus ponendo tollens 46 modus tollendo ponens 46 modus tollendo tollens 46, 55, 65 negowania alternatywy (2 p. de Morgana) 46, 59-60 negowania implikacji 46, 63-64 negowania koniunkcji (1. p. de Morgana) 46,61-62 negowania kwantyfikatora 124-126 ogólnego 124 szczegółowego 124-125 n. ciągu kwantyfikatorów 125-126 niesprzeczności (sprzeczności) 45, 60-61 obwersji 143,149-150,155-156,167-169, 305 odwracania implikacji stronami 47, 70-71 opuszczania/dodawania dołączania) alternatywy 48 koniunkcji 48 równoważności 46, 48 podwójnej negacji (przeczenia) 45, 54 przechodniości identyczności 128 implikacji 46 równoważności 66-67 przemienności alternatywy 46 koniunkcji 46, 75 przenoszenia kwantyfikatorów 132-135 w alternatywie 132-133 w implikacji 133-135 w koniunkcji 133 redukcji do absurdu 46 rozdzielności alternatywy względem koniunkcji 46 koniunkcji względem alternatywy 76-77 rozkładania/wyciągania kwantyfikatorów 126-131 dla alternatywy 130-131 dla implikacji 127 dla koniunkcji 126-127, 130-131 dla równoważności 128 sylogizmu warunkowego 46, 52 symetiyczności dla identyczności 128 tożsamości 45 transpozycji dla implikacji 46, 56 dla równoważności 65 332
INDEKS POJĘĆ I NAZWISK złożonej 46 wyłączonego środka 46, 60 zastępowania implikacji alternatywą 62 implikacji koniunkcją 64-65 równoważności koniunkcją implikacji 48, 75 zwrotności dla identyczności 137 predykat = rachunek predykatów przesłanka (w sylogistyce) mniejsza, średnia, większa = teoria wynikania zdań kategorycznych Putnam H. 106 Quine W. 272 rachunek funkcyjny 109 predykatów t zbiorów = ogólna teoria mnogości zdań = logika zdań rachunek predykatów (kwantyfikatorów) 11-12, 51, 104, 109-170, 190, 270, 279 kwantyfikator 44, 51,104,110-119 = regula/y ilościowy 112 ogólny (duży), szczegółowy (mały, egzystencjalny) 112, 114,120 o ograniczonym zakresie 119,122-123 zasięg k. 112,116 predykat (orzecznik) 110-114 jednoargumentowy, n-argumentowy 110-111,113 pierwszego rzędu, rzędu n 111,113,115 rodzaje r. p. 112-113 klasyczny 87,109,114-142, 279 n-argumentowy 112-113 pierwszego rzędu, rzędu n, rzędu ω 113 -114 węższy r. p. (WRP) = zmienna/stała indywiduowa 110-111,113,115-116,122,136-137 predykatowa 110-111,113 wolna/związana 112-113,115-116,120,124, 129,132,134,137 Ramsey F.P. 271 reguła/y = prawo budowania dowodów pierwotne 48-51 b. d. założeniowych 49 wprost 49-50 333
INDEKS POJĘĆ I NAZWISK niewprost 49-50 b. d. zwykłych 50 wprost 50 niewprost 51 wtórne b. d. rozgałęzionych wprost 68 niewprost 70 dołączania implikacji do dowodu 56-59 negowania założeń dodatkowych 59-60 pojęcie r. wtórnej 52 dołączania wierszy do dowodu pierwotne 47-48,119-122 dołączania/opuszczania alternatywy 48, 54 koniunkcji 48 kwantyfikatorów 119-122 równoważności 48 odrywania dla implikacji 47-48 wtórne 52-77,123-142 dodawania implikacji stronami 69 dołączania/opuszczania negacji 54 dylematu konstrukcyjnego 67-69 prostego 67-68 złożonego 68-69 ekstensjonalności dla kwantyfikatorów 129 mnożenia implikacji stronami 67-68 negowania alternatywy 59-60 n. implikacji 63-64 n. koniunkcji 61-62 n. kwantyfikatora 124-126 ogólnego 124 szczegółowego 124-125 n. ciągu kwantyfikatorów 125-126 odrywania dla równoważności 65 odwracania implikacji stronami 70-71 podstawiania 74,119-120 tollens dla implikacji 55 dla równoważności 65 transpozycji dla implikacji 56 dla równoważności 56,66 zastępowania 73-77, 83-84,137-138 334
INDEKS POJĘĆ I NAZWISK dla identyczności 137-138 dla równości definicyjnej 83-84 dla równoważności 73-74,130 wnioskowania niezawodna/ nie niezawodna 47, 79,149-157, 305 relacja/e argument r. 199-201, 207-209 asymetryczna 207, 216, 220 działania na relacjach 201-207 suma relacji 201-203 dopełnienie r. 201-203 iloczyn r. 201-203 różnica r. 201-203 superpozycja (złożenie, iloczyn względny) r. 203, 205-207, 232, 281 dziedzina/przeciwdziedzina r. (d. lewostronna/prawostronna) 200, 208210 identyczności 109,111,113-114,135-142, 200, 204, 237, 280, 304 między zakresami zbiorów (zbiorami) r. identyczności (tożsamości) 174,178, 280, 306 r. inkluzji (zawierania się, podporządkowania) 174, 280, 306 r. krzyżowania 159,174,181, 201, 280, 306 r. rozłączności 174,179,181,195, 201, 231, 250, 252, 254, 263, 266, 274, 277, 281, 306 odwrotna (konwers r.) 203-205, 207, 213, 281, 301 określona i wykonalna w danym zbiorze 209 pojęcie r. 199-200 pole r. 200, 226 porządkująca 220-224 częściowo 220-221 liniowo 220-221 dobrze 223-224 przechodnia 207, 217, 220, 227 r. między relacjami 200-201 homomorfizm 225-226 h. struktur relacyjnych 226 identyczność r. 201 inkluzja 201 izomorfizm 207, 225-229 i. struktur relacyjnych 226-229 rodzina r. 208, 213 równoliczności 229-239, 242-243, 246-249, 252, 255-257, 260-268, 271, 281, 314-318 klasa abstrakcji r. równoliczności 233-234 równościowa (równoważnościowa) 217-218 spójna 207, 216, 220 335
INDEKS POJĘĆ I NAZWISK struktura (system, układ) relacyjna 226-229 symetryczna 204, 207, 217, 227 typ systemu relacyjnego 226-227, 232-233 zwrotna 207, 216, 227 równoliczność zbiorów = teoria liczb kardynalnych równoważność = klasyczny rachunek zdań różnica zbiorów = działania na zbiorach Russell B. 110, 269-272, 276, 282 Schumann A. 84,173, 283 Scott P. 106 Sheffer H. 28 Skolem T. 272, 275 Słupecki J. 11, 47, 77, 86, 89,118,119, 216, 220, 224, 225, 229, 237, 272, 274, 279 Smoczyński P.J. 217 Sobociński B. 89 Stone M.H. 106 Strawiński W. 217 struktura relacyjna (system, układ relacyjny) = relacje suma zbiorów = działania na zbiorach sylogistyka = teoria wynikania zdań kategorycznych sylogizm/y = teoria wynikania zdań kategorycznych system/y dedukcyjny/ne = logika adekwatny 85-86 aksjomatyczny 78-79, 81-86,114,119, 137, 143,174,178, 226,232-233, 271-272, 275, 277, 279 KRZ = logik pośrednich 12-13, 88,106-107 logiki deontycznej 12, 88, 98-103,143, 280 98 1. intuicjonistycznej 104-107 1. modalnej 95, 98 1. wielowartościowej 94 niesprzeczny (w s. syntaktycznym) 85-86 pełny 85-86 reguły dowodzenia (wyprowadzania, inferencji) = regula/y pierwotne/wtórne 47-51, 52, 78, 294 = prawo = reguła/y równoważne 86 terminy s. d. pierwotne 28, 78-79 wtórne 78-79 teza s. 43-44, 47, 49-54, 57-58, 61-68, 70-75, 77-86, 93-95, 98, 103, 105-106,114,118-121,123-137,142,171, 280 WRP = 336
INDEKS POJĘĆ I NAZWISK założeniowy 47-78, 80, 84, 86, 95,171 założeniowe a aksjomatyczne 17, 78, 80, 86,119, 279 zupełny 85-86 system KRZ = klasyczny rachunek zdań aksjomatyczny 78-86 = aksjomaty = aksjomatyka Hilberta i Bernaysa 79-83 Łukasiewicza 83-86 dysjunkcyjny 84-85 implikacyjno-negacyjny 83-85 Nicoda-Łukasiewicza 84-85 ujęcie metajęzykowe 83-84 założeniowy 47-78 = reguła/y reguły pierwotne 47-51 tezy i reguły wtórne 52-78 Świrydowicz K. 88, 99 Tarski A. 105,106, 229, 265, 275, 281 teoria liczb kardynalnych liczb porządkowych 233 ogólna teoria mnogości = relacji = typów logicznych 233 wynikania zdań kategorycznych = zbiorów = rachunek zbiorów teoria liczb kardynalnych 220-268 działania na 1. k. 249-261 iloczyn 1, k. 253-255 potęga 1. k. 255-259, 267 suma 1. k. 250-253, 258-259, 267 1. k.skończone/nieskończone 235-237 liczba Ko 238-239, 243-244, 252-255, 258-259, 262, 267 liczba c 238, 243, 259-262, 267 liczba porządkowa 232-233, 271, 277 moc zbioru 227,229,232-239, 241, 248-254, 261, 266, 268, 270, 281, 315316 nierówności w zbiorze 1. k. 261-267 pojęcie 1. k. 233-235 równoliczność zbiorów 229-239, 242-243, 246-249, 252, 255-257, 260268, 270, 281, 314-318 równości w zbiorze 1. k. = działania na 1. k. skala liczb kardynalnych 245-249, 267-268 teoria relacji 196-229 = relacja/e 337
INDEKS POJĘĆ I NAZWISK teoria wynikania zdań kategorycznych 109,142-170 interpretacja zdań kategorycznych w WRP (i. słaba, mocna) 165-170 w rachunku zbiorów 193-195 podstawowe prawa wynikania p. kwadratu logicznego 145-147 a p. logiki deontycznej i modalnej 147-149 p. inwersji, kontrapozycji, konwersji, obwersji 149-150 sylogistyka 142-170 figury sylogizmów 151-152 sylogizm 150-151 termin mniejszy s. 151 t. rozłożony 153-154 t. średni 151 t. większy 151 sprawdzanie poprawności log. wnioskowań 150-15 metoda Venna (Eulera) 157-164 niezawodne tryby wnioskowania 151-153 warunki (dyrektywy) dla przesłanek i wniosku 151-157 tryby sylogistyczne 153-155 Tkaczyk Μ. 88, 95 TubolyA.T. 95 twierdzenie Banacha 265 (paradoks) Banacha-Tarskiego 275 Cantora-Bernsteina 265-266 (lemat) Kuratowskiego-Zorna 224, 274, 281 zasadnicze t.o izomorfizmie 228-229 (zasada maximum) Zorna 224 Tyburski W. 217 typ struktury relacyjnej = relacje Umezawa T. 106 Venn J. 144,157,162,164,167,168,170,180,193-195, 280 Wajsberg Μ. 89 wartościowanie = funkcja prawdziwościowa Weyl H. 103 węższy rachunek predykatów (WRP) 114-142 formuła WRP 116 interpretacja formuły 117,126 otwarta 116 zamknięta (zdanie) 116-118 338
INDEKS POJĘĆ I NAZWISK prawo 117-118 język/metajęzyk WRP 114-116 słownik 114 składnia 115-116 system założeniowy WRP 114,118-135 reguły pierwotne 119-122 dołączania/opuszczania kwantyfikatorów 119-122 kwantyfikatory o ograniczonym zakresie 122-123 tezy i reguły wtórne 123-135 = prawo/a WRP z identycznością 113,135-142 Wiśniewski R. 217 Woleński J. 20, 83, 84, 88, 89, 92, 93, 95, 99,103,106, 107, 268 zbiór/ory dystrybutywny/kolektywny 172-173, 280 działania na zbiorach = ilorazowy 219-220, 234 klasa abstrakcji 218-220, 233, 311-312 krzyżujące się 159,174,181, 201, 280, 306 moc zbioru 227, 229, 232-239, 241, 248-254, 261, 266, 268, 270, 281,315316 obraz (R-obraz)/przeciwobraz z. 187, 202, 210-211, 276, 310 ograniczony z dołu/z góry 223-224 podporządkowane (nadrzędne, podrzędne) 174, 280, 306 podzbiór zbioru uporządkowanego 222-223 potęgowy 178, 187, 202, 233, 246, 248-249, 253, 260-261, 270-271, 273, 321 przeliczalny/nieprzeliczalny 18, 238-249, 316-317 pusty 115,144-145,163,165,171-177,194, 219, 223, 232, 236-237, 240243, 250, 252, 254, 273-274, 277, 280, 306, 321 rodzina (klasa) zbiorów 172,178,189,197, 209, 224, 232-4, 237, 240, 242, 246-249, 260, 262, 268, 270, 273, 277, 316-317, 321 rozłączne 174, 179, 181, 195, 201, 231, 250, 252, 254, 263, 266, 274, 277, 281, 306 równoliczne 229-239, 242-243, 246-249, 252, 255-257, 260-268, 271, 281, 314-318 skończony/nieskończony 12, 22-24, 84, 106-107, 113, 115, 185, 215-216, 229, 235-248, 252-255, 258260, 266, 269, 273-275, 281, 311, 315-317, 321 w sensie Dedekinda 236-237, 281 tożsame 174, 280, 306 uniwersalny (uniwersum)
111,171-176,188-189,192,232-233,249, 270271, 277, 282 uporządkowany 339
INDEKS POJĘĆ I NAZWISK ciągły 223, 313 gęsty 223, 313 częściowo 220-224, 281, 312-313 dobrze 220-221, 223-224, 281, 313 kres dolny/górny z. u. 223, 313 element minimalny/maksymalny z. u. 221-222, 312 e. pierwszy/ostatni z. u. 221-223, 312 liniowo 220-223, 281, 312-313 wszystkich zbiorów 232, 248, 269-270, 277, 280, 282, 318 wyznaczone przez funkcje zdaniowe 12,171,190-193,197,202,276,281,308 zdanie/zdania deontyczne 98-102, 147-149 kategoryczne 12-13,142-145 = teoria wynikania zdań kategorycznych dopełniające się 146-149 ilość/jakość z. k. 144,146 ogólnoprzeczące 143,146 ogólnotwierdzące 143,146 szczegółowotwierdzące 143,146 szczegółowoprzeczące 143,146 podporządkowane 146-149 podprzeciwne 146-149 przeciwne 146-149 sprzeczne 146-149 wykluczające się 146-149 modalne 93,147-149 de dieto 94 de re 94 o zdarzeniach przyszłych 92 niezdeterminowanych 92 pewnych 92 wykluczonych 92 Zermelo E. 272, 274 Ziembiński Z. 146 Zorn Μ. 224, 274, 281 В avorache Staatsbfeiiottek Mùnchs-n |
| any_adam_object | 1 |
| author | Jonkisz, Adam 1953- |
| author_GND | (DE-588)1297263154 |
| author_facet | Jonkisz, Adam 1953- |
| author_role | aut |
| author_sort | Jonkisz, Adam 1953- |
| author_variant | a j aj |
| building | Verbundindex |
| bvnumber | BV049755400 |
| ctrlnum | (OCoLC)1443592474 (DE-599)BVBBV049755400 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV049755400</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240916</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">240625s2024 xx |||| |||| 00||| pol d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788376146133</subfield><subfield code="9">978-83-7614-613-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">8376146130</subfield><subfield code="9">8376146130</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1443592474</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049755400</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">pol</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jonkisz, Adam</subfield><subfield code="d">1953-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1297263154</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zagadnienia logiki formalnej i ogólnej teorii mnogości</subfield><subfield code="c">Adam Jonkisz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Kraków</subfield><subfield code="b">Wydawnictwo Naukowe Uniwersytetu Ignatianum w Krakowie</subfield><subfield code="c">2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">339 Seiten</subfield><subfield code="b">Diagramme</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logika</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Teoria zbiorów</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München 19 - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München 19 - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Literaturverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München 19 - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000005&line_number=0003&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Register // Gemischte Register</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">BSB_NED_20240916</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="c">001.09</subfield><subfield code="e">22/bsb</subfield><subfield code="g">438</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035096945</subfield></datafield></record></collection> |
| id | DE-604.BV049755400 |
| illustrated | Not Illustrated |
| indexdate | 2024-11-22T17:51:48Z |
| institution | BVB |
| isbn | 9788376146133 |
| language | Polish |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035096945 |
| oclc_num | 1443592474 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 339 Seiten Diagramme 24 cm |
| psigel | BSB_NED_20240916 |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Wydawnictwo Naukowe Uniwersytetu Ignatianum w Krakowie |
| record_format | marc |
| spelling | Jonkisz, Adam 1953- Verfasser (DE-588)1297263154 aut Zagadnienia logiki formalnej i ogólnej teorii mnogości Adam Jonkisz Kraków Wydawnictwo Naukowe Uniwersytetu Ignatianum w Krakowie 2024 339 Seiten Diagramme 24 cm txt rdacontent n rdamedia nc rdacarrier Logika Teoria zbiorów Logik (DE-588)4036202-4 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Logik (DE-588)4036202-4 s Mengenlehre (DE-588)4074715-3 s DE-604 Digitalisierung BSB München 19 - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung BSB München 19 - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Literaturverzeichnis Digitalisierung BSB München 19 - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000005&line_number=0003&func_code=DB_RECORDS&service_type=MEDIA Register // Gemischte Register |
| spellingShingle | Jonkisz, Adam 1953- Zagadnienia logiki formalnej i ogólnej teorii mnogości Logika Teoria zbiorów Logik (DE-588)4036202-4 gnd Mengenlehre (DE-588)4074715-3 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4074715-3 |
| title | Zagadnienia logiki formalnej i ogólnej teorii mnogości |
| title_auth | Zagadnienia logiki formalnej i ogólnej teorii mnogości |
| title_exact_search | Zagadnienia logiki formalnej i ogólnej teorii mnogości |
| title_full | Zagadnienia logiki formalnej i ogólnej teorii mnogości Adam Jonkisz |
| title_fullStr | Zagadnienia logiki formalnej i ogólnej teorii mnogości Adam Jonkisz |
| title_full_unstemmed | Zagadnienia logiki formalnej i ogólnej teorii mnogości Adam Jonkisz |
| title_short | Zagadnienia logiki formalnej i ogólnej teorii mnogości |
| title_sort | zagadnienia logiki formalnej i ogolnej teorii mnogosci |
| topic | Logika Teoria zbiorów Logik (DE-588)4036202-4 gnd Mengenlehre (DE-588)4074715-3 gnd |
| topic_facet | Logika Teoria zbiorów Logik Mengenlehre |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=035096945&sequence=000005&line_number=0003&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT jonkiszadam zagadnienialogikiformalnejiogolnejteoriimnogosci |