Dane szczegółowe: | |
Wydawca: | Uniwersytet Mikołaja Kopernika |
Rok wyd.: | 2006 |
Oprawa: | miękka |
Ilość stron: | 467 s. |
Wymiar: | 167x240 mm |
EAN: | 9788323119449 |
ISBN: | 83-231-1944-9 |
Data: | 2007-08-09 |
Opis książki:
Z przedmowy:
Zwrócono mi uwagę na fakt, że pewne moje prace bądź od dawna nie są osiągalne w księgarniach, bądź rozsiane zostały po różnych wydawnictwach krajowych i zagranicznych i okazują się zupełnie niedostępne w wielu bibliotekach. Stąd powstała myśl, aby połączyć w jednym tomie przynajmniej te publikacje z lat 1960-1996, które - w mojej opinii - zachowały jeszcze swą aktualność i walory poznawcze. Jednakże jest chyba rzeczą zupełnie zrozumiałą, że w ciągu kilkudziesięciu lat niektóre moje poglądy i stosowana przeze mnie terminologia uległy zmianie. Tak na przykład w dysertacji Logika klasyczna z założenia egzystencjalne (1960) utożsamiałem jeszcze logikę klasyczną z logiką tradycyjną (sylogistyką), czyli teorią wynikania zdań kategorycznych. Później, dostosowując się do rozpowszechniającego się wśród logików mianownictwa, rozszerzyłem zakres mego używania nazwy "logika klasyczna" tak, aby objął również dwuwartościowy rachunek zdań i rachunek funkcyjny pierwszego rzędu. Gdybym obecnie miał w cały tomie wprowadzić jednolitą terminologię i uzgodnić wszystkie twierdzenia, powstałaby nowa rozprawa, a nie zbiór stopniowo powstałych prac. Mam nadzieję, że Czytelnik zachce wziąć to pod uwagę. By ułatwić orientację, z jakiego okresu tekst pochodzi, w spisie treści umieszczona jest data pierwszej publikacji. Umożliwi to też ewentualne prześledzenłe rozwoju przedstawionych koncepcji.
Pozwoliłem sobie dodać na końcu zupełnie nową pracę o rozstrzygalności rachunku funkcyjnego. Żywię nadzieję, że zostanie ona pozytywnie oceniona i stanowić będzie istotne wzmocnienie pewnych twierdzeń wcześniej przeze mnie sformułowanych.
Dziękuję Władzom Uniwersytetu Mikołaja Kopernika za finansowe wsparcie edycji tego tomu.
Książka "Istnienie i logika. Studia z filozofii" - Leon Gumański - oprawa miękka - Wydawnictwo Uniwersytet Mikołaja Kopernika. Książka posiada 467 stron i została wydana w 2006 r.
Spis treści:
I. Elementy sądu a istnienie (Toruń 1961)
1. Sądy
2. Przedmioty i cechy
3. Być a istnieć
II. Logika klasyczna a założenia egzystencjalne (Toruń 1960)
1. Logika tradycyjna a zakresy puste
2. Logika nonegzystencjalna
III. Jedynkowe systemy aksjomatyczne (Toruń 1964)
1. System Al
2. Aksjomaty a warunki
3. System odwracalny AT+ i jego relacja do C-N i Al
4. Algorytmy zerojedykowe dla rachunku zdań
5. Niektóre rozszerzenia systemu Al
6. System Al
7. System Al
8. System Al r
9. System Al m
10. System Al f
IV. Nowe ujęcie epistemologii realistycznej (Bienne, Szwajcaria 1989)
V. Uwagi o metodzie diagonalnej Cantora i pewne związane z tym problemy (Sofia 1988)
VI. Logiczne i semantyczne antynomie (Berlin 1993)
VII. Garść uwag o definicjach (Warszawa 1996)
VIII. Wybrane zagadnienia logiki deontycznej (Berlin 1988)
1. Główne linie dotychczasowego rozwoju
2. Logika norm czy zdań o normach?
3. Kodeksy
4. Normy warunkowe
5. Standardowa logika deontyczna i jej paradoksy
6. Postulaty, jakie winna spełniać logika deontyczna
7. System aksjomatyczny rachunku DSC5
8. Niektóre tezy i antytezy DSC5
IX. Nowy dowód rozstrzygalności rachunku funkcyjnego
1. Wyjaśnienia i ustalenia wstępne
2. Tablice semantyczne
3. Niektóre kryteria nieistnienia dowodu
4. Test długości dowodu
5. Metoda rozstrzygalności
6. Przykładowe konstrukcje tablicowe