Z satysfakcją oddajemy do rąk Czytelników wznowioną w nieco zmienionej postaci książeczkę wydaną z okazji przyznania Pani Profesor Barbarze Skardze tytułu doktora honoris causa Uniwersytetu Mikołaja Kopernika w Toruniu w roku 2000. Jak świadczą przytaczane tu recenzje w przewodzie i laudacja, było to wydarzenie dla wielu osób niezwykle ważne. Na sympozjum zorganizowane w przeddzień uroczystości przybyło liczne grono uczniów i przyjaciół Pani Profesor z całej Polski, dla wielu bowiem była i dla wielu pozostała do dziś wzorem humanisty i człowieka. Z (...) przedmowy Rektora UMK prof. Andrzeja Tretyna Pomysł ponownego wydania niniejszej książeczki powstał w gronie osób oraz instytucji zaangażowanych w organizację uroczystości związanych ze stuleciem urodzin Pani Profesor Barbary Skargi. Niemal dwadzieścia lat temu Pani Profesor uzyskała tytuł doktora honoris causa Uniwersytetu Mikołaja Kopernika w Toruniu. Było to bez wątpienia wydarzenie ważne zarówno dla Pani Profesor, jak i dla toruńskiego środowiska filozoficznego. […] Fakt zaś nakładania się różnych czasowości – rocznicy urodzin, niemal okrągłej rocznicy nadania tytułu doktora honoris causa – jest dobrym pretekstem, by zwrócić uwagę na znaczenie tego wydarzenia, a zwłaszcza jego seminaryjnej części udokumentowanej w niniejszym wydawnictwie. Z przedmowy do drugiego wydania dyrektora Instytutu Filozofii UMK w Toruniu dra hab. Krzysztofa Abriszewskiego, prof. UMK. (shrink)

Revolutions have shaped world politics for the last three hundred years. This volume shows why revolutions occur, how they unfold, and where they created democracies and dictatorships. Jack A. Goldstone presents the history of revolutions from America and France to the collapse of the Soviet Union, 'People Power' revolutions, and the Arab revolts.

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem prover which represents (...) proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

Pharmacy Ethics: A Foundation for Professional Practice provides a model for examining and resolving ethical dilemmas, thereby helping student pharmacists understand the ethical decision-making process in professional practice.

In the original article published, the supplementary material is uploaded by mistake which has no association with the content of the article.

В книге говорится о творце, генерирующем творческие акты – непредсказуемые решения and (озарения and ), феномены, которыми обладает только человек-личность. Общественные институты, как и само общество в целом, не могут исключительно своими социальными усилиями генерировать творческий акт. Таким образом, без этого личностного, практически абсолютно автономного, творческого решения общество не может ни обойтись, ни чем-либо его заменить. Используя творческие акты, эти феномены, имманентные только человеку, общество консолидируется и развивается, и, таким образом, человек-творец становится двигателем истории человечества. В этом смысле категория личность (...) имеет не меньшую значимость, чем категория производительные силы или категория общество. Рассматривается концепция природы творчества по Вифляеву, с полным философским обоснованием. (shrink)