Jesteśmy społecznością, która kocha książki

Książkę oceniam bardzo pozytywnie ze względu na znaczne poszerzenie horyzontu rozpatrywania kwestii platonizmu w matematyce. Praca wymaga od czytelnika pewnej uwagi, ponieważ autor stosuje skróty myślowe, nie dając wprost wyjaśnienia, gdzie mowa o systemie filozoficznym (platonizm), a gdzie chodzi jedynie o zastosowaną metodę (fenomenologia). "Niedogodność" ta ma jednak pewien plus: pozwala nabrać językowego dystansu. W toku pracy przyzwyczaja się odbiorcę do porzucenia ścisłego, dogmatycznego rozumienia pojęć, co przekłada się na zrozumienie jednej z tez autora: niemożności określenia stałej granicy między wymienionymi typami platonizmu.
Ksiazke można polecić każdemu, kto jest zainteresowany filozofią matematyki, chociaż typowi matematycy mogą mieć z nią problem.

Książkę oceniam bardzo pozytywnie ze względu na znaczne poszerzenie horyzontu rozpatrywania kwestii platonizmu w matematyce. Praca wymaga od czytelnika pewnej uwagi, ponieważ autor stosuje skróty myślowe, nie dając wprost wyjaśnienia, gdzie mowa o systemie filozoficznym (platonizm), a gdzie chodzi jedynie o zastosowaną metodę (fenomenologia). "Niedogodność" ta ma jednak...

Książka porusza temat styku logiki z ontologią, na gruncie proponowanego przez autora systemu ontologii logicznej, opartego o słabotypikalną logikę drugiego rzędu. Niewątpliwą siłą wydawnictwa jest całkiem udana próba zmierzenia się ze zbadaniem egzystencjalnych tez logiki w świetle ontologicznym. Pomimo, że temat jest raczej zasygnalizowany i potraktowany często skrótowo, to jednak stanowi dobry przyczynek do przemyśleń dla każdego, kto zajmuje się logiką w sensie szerszym niż sam język przekształceń formalnych.
Autor nie obawia się argumentować za logiką klasyczną, wykazując jednocześnie słabości i ograniczenia innych systemów logicznych.
Minusem pracy jest niedostateczne opisanie użytych formalizacji. Nie obniża to jednak wartości książki.

Książka porusza temat styku logiki z ontologią, na gruncie proponowanego przez autora systemu ontologii logicznej, opartego o słabotypikalną logikę drugiego rzędu. Niewątpliwą siłą wydawnictwa jest całkiem udana próba zmierzenia się ze zbadaniem egzystencjalnych tez logiki w świetle ontologicznym. Pomimo, że temat jest raczej zasygnalizowany i potraktowany często skrótowo,...

Książka stanowi obowiązkową pozycję dla każdego, kto wyraża zainteresowanie filozofią języka. Jej głównym atutem jest zwrócenie uwagi na pewną klasę pytań, które pojawiają się odnośnie nazywania, konieczności oraz identyczności. Pytania te stanowią rodzaj wrót, które otwierają się na świat języka już w momencie ich uświadomienia i zadania.
Polecam.

Książka stanowi obowiązkową pozycję dla każdego, kto wyraża zainteresowanie filozofią języka. Jej głównym atutem jest zwrócenie uwagi na pewną klasę pytań, które pojawiają się odnośnie nazywania, konieczności oraz identyczności. Pytania te stanowią rodzaj wrót, które otwierają się na świat języka już w momencie ich uświadomienia i zadania.
Polecam.

Książka jest tematycznie obszerna, ale zastosowane skróty myślowe pozbawiają ją ścisłości. Dowody stanowią bardziej szkice opisowe niż realne procesy dowodzenia z dziedziny matematyki.
Bardzo brakuje powiązania pewnych tematów z matematyką teoretyczną. W przypadku funkcji rekurencyjnych przydałoby się omówić predykat T Kleene'ego oraz zaznaczyć w jaki sposób opis maszyn Turinga, używany we wzajemnych symulacjach, odpowiada pojęciom funkcji efektywnie obliczalnych.
Książka jest przeznaczona bardziej dla studentów kierunków technicznych niż teoretycznych. Można ją jednak polecić jako uzupełnienie posiadanej wiedzy i przyczynek do dalszych refleksji.

Książka jest tematycznie obszerna, ale zastosowane skróty myślowe pozbawiają ją ścisłości. Dowody stanowią bardziej szkice opisowe niż realne procesy dowodzenia z dziedziny matematyki.
Bardzo brakuje powiązania pewnych tematów z matematyką teoretyczną. W przypadku funkcji rekurencyjnych przydałoby się omówić predykat T Kleene'ego oraz zaznaczyć w jaki sposób opis maszyn...

Bardzo ciekawa książka, która odświeża racjonalne spojrzenie na kluczowe kwestie teistyczne w czasach skażonych przez pozytywistyczny pierwiastek weryfikacjonizmu. Praca wydaje się być bardziej aktualna dzić, niż w czasach jej powstawania. Razem z Autorem możemy rozłożyć na części pierwsze podstawowe argumenty ontologiczne, spojrzeć przez lunetę logiki modalnej na teodyceę oraz przeanalizować racjnalność wolnej woli.
W książce są pewne niedociągnięcia. Temat wolności wydaje się wyposażony w założenia o nie do końca zrozumiałych źródłach (np. umiejscowienie Boskiej wszechwiedzy w punktach czasowych). Nie obniża to jednak doniosłości rozważań.

Bardzo ciekawa książka, która odświeża racjonalne spojrzenie na kluczowe kwestie teistyczne w czasach skażonych przez pozytywistyczny pierwiastek weryfikacjonizmu. Praca wydaje się być bardziej aktualna dzić, niż w czasach jej powstawania. Razem z Autorem możemy rozłożyć na części pierwsze podstawowe argumenty ontologiczne, spojrzeć przez lunetę logiki modalnej na teodyceę...

Książka nieobszerna, ale w pełni spełniająca zadanie powierzone jej przez Autora. Napisana w sposób równy, prowadzi czytelnika przez poglądy Jana Łukasiewicza, aby wyjaśnić ich logiczne implikacje. Pomimo niewielkiej objętości, pozostawia wiele tematów do refleksji oraz pozwala się czegoś nauczyć; spojrzeć na logikę z trochę innej strony, niż suchych formalizmów. Ten aspekt książki powinien być doceniony przez studentów oraz wszystkie osoby, które z logiką pracują twórczo. W moim odczuciu Autorowi udało się przekazać intelektualną charyzmę samego Łukasiewicza, dzięki czemu mógł on do nas jeszcze raz przemówić i zasiać ziarno naukowej ciekawości. Polecam.

Książka nieobszerna, ale w pełni spełniająca zadanie powierzone jej przez Autora. Napisana w sposób równy, prowadzi czytelnika przez poglądy Jana Łukasiewicza, aby wyjaśnić ich logiczne implikacje. Pomimo niewielkiej objętości, pozostawia wiele tematów do refleksji oraz pozwala się czegoś nauczyć; spojrzeć na logikę z trochę innej strony, niż suchych formalizmów. Ten aspekt...

Książka skromna w swej objetości, ale poruszająca multum zagadnień związanych z pracą naukową Alferda Tarskiego. Skromność ta jest zarówno jej wadą - pozostaje niedosyt - jak i silną stroną, gdyż umożliwia ogólne zapoznanie się z tematyką i istotą prac Logika, bez szczególnego wnikania w niuanse specjalistyczne. Jest to ciekawe i wartościowe uzupełnienie domowej biblioteczki w tematyce logiki.

Książka skromna w swej objetości, ale poruszająca multum zagadnień związanych z pracą naukową Alferda Tarskiego. Skromność ta jest zarówno jej wadą - pozostaje niedosyt - jak i silną stroną, gdyż umożliwia ogólne zapoznanie się z tematyką i istotą prac Logika, bez szczególnego wnikania w niuanse specjalistyczne. Jest to ciekawe i wartościowe uzupełnienie domowej...

Książka stanowi wyczerpującą monografię tezy Churcha, wraz z filozoficznym, ontologicznym i epistemologicznym tłem zagadnienia. Wprowadzenie zawiera silny kontekst historyczny, który niewątpliwie pomaga uchwycić dążenia epoki, a przez to zrozumieć skąd teza Churcha pochodzi i jaka jest jej istota.
Minusem książki jest bardzo słaby system oznaczeń formalizmów. W wielu miejscach trzeba się domyślać, co dana symbolika znaczy. Zapisy formalne często podane są bez odpowiedniego wstępu i legendy, co sprawia wrażenie umieszczenia ich na siłę.
Ogromny plus należy się za wyczerpującą bibliografię.
Pozycja warta jest polecenia, ale głównie dla osób, które posiadają już pewną praktykę w tekstach z zakresu filozofii matematyki.

Książka stanowi wyczerpującą monografię tezy Churcha, wraz z filozoficznym, ontologicznym i epistemologicznym tłem zagadnienia. Wprowadzenie zawiera silny kontekst historyczny, który niewątpliwie pomaga uchwycić dążenia epoki, a przez to zrozumieć skąd teza Churcha pochodzi i jaka jest jej istota.
Minusem książki jest bardzo słaby system oznaczeń formalizmów. W wielu...

Autor przedstawia w książce zarys logiki niefregowskiej, stworzonej w celu formalnego opisania tez "Traktatu logiczno-filozoficznego" L. Wittgensteina. Jest to bardzo dobre uzupełnienie "Ontologii sytuacji" prof. Wolniewicza, które pozwala spojrzeć na problem z odmiennej, algebraicznej strony, przy położeniu akcentu na relacje tego systemu do algebr Boole'a. Podejście takie umożliwia formalne porównanie różnic między koncepcjami L. Wittgensteina oraz G. Frege.
Dużą wartość książki stanowi takie ułożenie tekstu oraz tematów, które umożliwia prześledzenie racjonalnego pierwiastka zaszytego w języku.
Tekst właściwy poprzedza dość obszerne wprowadzenie do formalizmów algebr ogólnych, jednak aby je w pełni zrozumieć należy mieć pewne doświadczenie z tekstami matematycznymi.
Książka warta polecenia każdemu, kogo interesują formalne aspekty wzajemnej relacji języka do rzeczywistości.

Autor przedstawia w książce zarys logiki niefregowskiej, stworzonej w celu formalnego opisania tez "Traktatu logiczno-filozoficznego" L. Wittgensteina. Jest to bardzo dobre uzupełnienie "Ontologii sytuacji" prof. Wolniewicza, które pozwala spojrzeć na problem z odmiennej, algebraicznej strony, przy położeniu akcentu na relacje tego systemu do algebr Boole'a. Podejście takie...

Książka porusza podstawy automatycznego dowodzenia twierdzeń matematycznych, a ściślej tego, co dziś nazywa się zautomatyzowanym rozumowaniem. Jest to pozycja już wiekowa, zawierająca wiele naiwnych koncepcji oraz charakteryzująca się dużą dozą ostrożności w przewidywaniach. Posiada jednak walory edukacyjne, z których najważniejszym jest syntetyczne i zwięzłe przedstawienie koncepcji rozkładu twierdzeń logiki, aż do ich aksjomatycznych podstaw. Jest to niewątpliwie plus w stosunku do publikacji dzisiejszych, w których temat ten ginie w gąszczu współczesnych struktur danych oraz wątków pobocznych, związanych z ewaluacją, analizą leksykalną i parsingiem.
Ciekawym, chociaż krótkim rozdziałem jest przedstawienie podstaw rachunku Gentzena. Niestety temat ten nie doczekał się w polskiej literaturze naukowej zbyt bogatej bazy.
Książkę można polecić głównie studentom oraz uczniom szkół średnich, aczkolwiek patyna czasu sprawia, że jest inspirująca nawet dla specjalistów pracujących w temacie.

Książka porusza podstawy automatycznego dowodzenia twierdzeń matematycznych, a ściślej tego, co dziś nazywa się zautomatyzowanym rozumowaniem. Jest to pozycja już wiekowa, zawierająca wiele naiwnych koncepcji oraz charakteryzująca się dużą dozą ostrożności w przewidywaniach. Posiada jednak walory edukacyjne, z których najważniejszym jest syntetyczne i zwięzłe przedstawienie...

Książka jest adresowana do czytelnika, który rozumie podstawy logiki matematycznej, podstawowe pojęcia z zakresu algebr ogólnych oraz język lambda-abstrakcji. Na łamach tekstu autor przeprowadza czytelnika przez pojęcia dotyczące gramatyk kategorialnych oraz uczula na nowy sposób analizy języka.
Niewątpliwą wartością książki jest podejście uwzględniające najnowsze kierunki rozwoju matematyki, jak np. teoria kategorii, która chociaż nie jest wymieniona w tekście wprost, to jednak zachowuje swoją obecność w operacyjnym podejściu do typizacji i semantyki.
Praca napisana jest z odpowiednim naukowym kunsztem, podstawy tematu zostają pieczołowicie domkniete, co niewątpliwie skłania do dalszych osobistych refleksji i analiz.
Jedynym minusem może być pozostawianie pewnych niedopowiedzeń w aspekcie opisu języka formalnego, które sprawiają, że czasami trzeba samemu głebiej przeanalizować przedstawione przekształcenia.
Zdecydowanie pozycja warta polecenia dla każdego, kogo interesują zagadnienia lingwistyczne.

Książka jest adresowana do czytelnika, który rozumie podstawy logiki matematycznej, podstawowe pojęcia z zakresu algebr ogólnych oraz język lambda-abstrakcji. Na łamach tekstu autor przeprowadza czytelnika przez pojęcia dotyczące gramatyk kategorialnych oraz uczula na nowy sposób analizy języka.
Niewątpliwą wartością książki jest podejście uwzględniające najnowsze kierunki...