Argumentem indukcyjnym w retoryce jest paradygmat ; paradygmat jednak nie polega na przechodzeniu od wielu szczegółowych przypadków do pewnego uogólnienia, czyli uniwersalizacji wszystkich poszczególnych przypadków — jak normalnie w argumentacji z indukcji — lecz jest przejściem od jednego szczegółu do szczegółu innego, podobnego, przy czym wymaganym warunkiem jest to, że jeden i drugi konkretny przypadek należą do tego samego rodzaju. Paradygmat zatem nie jest indukcją w znaczeniu ścisłym, ale wydaje się bardziej spełniać warunki analogii. W artykule zostaje sformułowana teza, że (...) u Arystotelesa występują trzy rodzaje wnioskowań: dedukcja, indukcja i wnioskowanie z przykładu; dla zaprezentowania specyfiki wnioskowania przez paradygmat są także analizowane różne typy wnioskowań, tzn. sylogizm apodeiktyczny, dialektyczny, indukcyjny, aby na tym tle wykazać odrębność wnioskowań przez paradygmat, które wydają się być pewnym rodzajem analogii. Prezentowany więc artykuł jest próbą podania charakterystyki i specyfiki argumentacji przez paradygmat u Arystotelesa w świetle jego Retoryki oraz pism logicznych. (shrink)

We study the cardinal invariants of measure and category after adding one random real. In particular, we show that the number of measure zero subsets of the plane which are necessary to cover graphs of all continuous functions may be large while the covering for measure is small.

This paper is closely related to investigations of abstract properties of basic logical notions expressible in terms of closure spaces as they were begun by A. Tarski (see [6]). We shall prove many properties of -conjunctive closure spaces (X is -conjunctive provided that for every two elements of X their conjunction in X exists). For example we prove the following theorems:1. For every closed and proper subset of an -conjunctive closure space its interior is empty (i.e. it is a boundary (...) set). 2. If X is an -conjunctive closure space which satisfies the -compactness theorem and [X] is a meet-distributive semilattice (see [3]), then the lattice of all closed subsets in X is a Heyting lattice. 3. A closure space is linear iff it is an -conjunctive and topological space. 4. Every continuous function preserves all conjunctions. (shrink)

In the current paper we consider theories with vocabulary containing a number of binary and unary relation symbols. Binary relation symbols represent labeled edges of a graph and unary relations represent unique annotations of the graph's nodes. Such theories, which we call annotation theories^ can be used in many applications, including the formalization of argumentation, approximate reasoning, semantics of logic programs, graph coloring, etc. We address a number of problems related to annotation theories over finite models, including satisfiability, querying problem, (...) specification of preferred models and model checking problem. We show that most of considered problems are NPTime- or co-NPTime-complete. In order to reduce the complexity for particular theories, we use second-order quantifier elimination. To our best knowledge none of existing methods works in the case of annotation theories. We then provide a new second-order quantifier elimination method for stratified theories, which is successful in the considered cases. The new result subsumes many other results, including those of [2, 28, 21]. (shrink)

The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.

Skuteczna, aktywna polityka rynku pracy Andrzej Klimczuk In Adam Tomanek (ed.), Flexicurity W Wymiarze Regionalnym . Raport Z Badań. Izba Rzemieślnicza I Przedsiȩbiorczości W Białymstoku. pp. 100--121 (2011) .

Bariery i wyzwania outplacementu w badaniach firm podlaskich.Andrzej Klimczuk - 2015 - In Michał Skarzyński (ed.), Esp, Czyli Firma Na Zakrȩcie. Outplacement Dla Pracodawców. Narodowe Forum Doradztwa Kariery. pp. 49--81.

The main result of this paper is the following theorem: a closure space X has an , , Q-regular base of the power iff X is Q-embeddable in It is a generalization of the following theorems:(i) Stone representation theorem for distributive lattices ( = 0, = , Q = ), (ii) universality of the Alexandroff's cube for T 0-topological spaces ( = , = , Q = 0), (iii) universality of the closure space of filters in the lattice of all (...) subsets for , -closure spaces (Q = 0). By this theorem we obtain some characterizations of the closure space given by the consequence operator for the classical propositional calculus over a formalized language of the zero order with the set of propositional variables of the power . In particular we prove that a countable closure space X is embeddable with finite disjunctions preserved into F iff X is a consistent closure space satisfying the compactness theorem and X contains a 0, -base consisting of -prime sets. (shrink)

The idea of rational understanding lays very close to the heart of Professor Janusz Kuczyński, an advocate of universalism as well as dialogue between diverse philosophical schools and worldviews, and doctoral advisor to the present paper’s author. This idea’s theoretical conceptualisation—a conceptualisation that has proven to be convincing and adequate to the conditions of the modern world—was developed by Professor Jürgen Habermas, whose ideas and theories were also the subject of a doctoral thesis written by this paper’s author in the (...) latter half of the 1970s under Professor Kuczyński’s tutelage. The author shares some grateful memories of his doctoral tutor, and also sets his one-time attempts to apply the theory of communicative action to two experiences of the real socialism era in Poland against his efforts to analyse contemporary Polish realities through the prism of the communicative rationality conception. This comparison shows that the application of a conception of rationality funded by communicative action to the turbulent transformations under real socialism was to a certain extent naïve—though not devoid of critical significance—and also reveals the preconditions for the implementation of the rules of communicative rationality in social and political reality.The paper is in part dedicated to the memory of Professor Kuczyński, therefore it contains a somewhat extensive account of the circumstances which led the author to study the thought of Habermas under Kuczyński’s tutelage, as well as the consequences of this choice, which proved of considerable significance for his further life. However, the main themes are, first, the validity of applying a conception of rationality funded by communicative action to two significant experiences of the real socialism era, and, secondly, the need—revealed by diagnosing contemporary Polish reality with the help of the communicative rationality conception—for certain preconditions enabling the implementation of this type of rationality in social and political reality. One such precondition is the transition of sufficiently broad parts of society from thinking in terms of worldviews to post-metaphysical thinking in terms of the “lifeworld”. (shrink)

This paper presents an integrated model describing the control of Saccharomyces cerevisiae yeast cells bioenergetics. This model describes the oxidative and respirofermentative metabolism. The model assumes that the mitochondria of the Saccharomyces cerevisiae cells are charged with NADH during the tricarboxylic acid cycle, and NADH is discharged from mitochondria later in the electron transport system. Selected effects observed in the Saccharomyces cerevisiae eucaryotic cells, including the Pasteur's and Crabtree effects, are also modeled.

It is claimed that Kuipers' approach to explanation opens the possibility for a further refinement of his own refined HD method for the evaluation of theories. One severe problem for the HD method, refined or not, is theory-ladeness. Given that experimental results are theory-laden, the comparative evaluation of alternative hypotheses is always relative to background knowledge. This difficulty can be avoided by supplementing HD considerations with the principle of inference to the best explanation. The authors sketch a program for doing (...) this. The general idea plays on some similarities between Kuipers' account of explanation and Lipton's. The former, however, is considered more flexible than the latter, which makes it even more attractive for the purpose under consideration. (shrink)

Andrzej Klimczuk, Raport Desk Research: samorządowa i obywatelska współpraca transgraniczna w województwie podlaskim. Przegląd literatury i dokumentów strategicznych (Desk Research Report: Local government and civic organisations cross-border cooperation in the Podlaskie region. A literature and strategic documents review), Fundacja SocLab, Białystok 2013, 137p. ** Celem niniejszego opracowania jest przybliżenie podstaw teoretycznych dyplomacji publicznej oraz charakterystyki metod i obszarów współpracy transgranicznej prowadzonej przez samorządy województwa podlaskiego. Raport w szczególności zwraca uwagę na obywatelski i samorządowy wymiar polskiej polityki zagranicznej. Podjętą analizę (...) ukierunkowano na rozpoznanie dotychczasowych praktyk w tym zakresie, jak też na określenie wniosków i rekomendacji, co do dalszego rozwoju zdecentralizowanej polityki zagranicznej. W raporcie w pierwszej kolejności omówiono podstawowe pojęcia teoretyczne związane z obywatelską i samorządową współpracą transgraniczną. Zwrócono uwagę na priorytety zdecentralizowanej polityki zagranicznej Polski oraz na zróżnicowanie sektorowe aktorów współpracy transgranicznej w województwie podlaskim. Następnie w podziale na powiaty omówiono realizowane i planowane inicjatywy współpracy transgranicznej obecne w dostępnych publicznie dokumentach strategicznych samorządów woj. podlaskiego. W dalszej części raportu podjęto próbę podsumowania obszarów i metod współpracy oraz wskazano na główne wnioski i rekomendacje. ** The aim of this paper is to present the theoretical basis of public diplomacy and the characteristics of methods and areas of cross-border cooperation conducted by local governments in Podlaskie Voivodship. Report, in particular, draws attention to the civic and local government dimension of Polish foreign policy. Undertaken analysis was targeted to recognition of existing practices in this area, as well as to identify conclusions and recommendations for further development of decentralized foreign policy. This report first discusses the basic theoretical concepts related to citizenship and local government cross-border cooperation. Attention was drawn to priorities of Polish decentralized foreign policy and sectoral diversification of cross-border cooperation actors in the Podlaskie Voivodship. Next the existing and planned cross-border cooperation initiatives present in the public programs and strategies of local governments and districts were discussed. Later in the report an attempt to summarize the areas and methods of cooperation were undertaken as well as some main conclusions and recommendations were pointed out. (shrink)

Problematyka rozpraw, które udostępniamy Państwu w niniejszym numerze „Studiów Semiotycznych”, dotyczy takich zagadnień, jak argumentacja, potoczne rozumowania i publiczne debaty. Mieszczą się one w obrębie czterech dyscyplin bezpośrednio związanych z profilem „Studiów”: filozofii, językoznawstwa, psychologii oraz nauk o komunikacji społecznej i mediach. Interdyscyplinarny charakter prezentowanych badań jest zgodny z tradycją Czasopisma ukształtowaną przez Jerzego Pelca w latach 1970–2015 i kontynuowaną w ostatnich latach.

Theoretical frames for analyzing information in biological and molecular multicomponent structures are proposed. The mathematical foundations of the proposal are presented. Both the information encoded in structures is defined and the method of calculating the amount of this information is introduced. The proposed approach is applied to the operation of a molecular multicomponent machine.

This note presents a point of view upon the notions of programsubstitution which are the tools for proving properties of programs of algorithmic logics [5], [3] being sufficiently strong and universal to comprise almost all previously introduced theories of programming, and the so-called extended algorithmic logic [1], [2] and algorithmic logic with nondeterministic programs [4]. It appears that the mentioned substitution rule allows us to examine more deeply algorithmic properties of terms, formulas and programs. Besides the problem of Post-completeness and (...) structural completeness of algorithmic logics strengthened additionally by the rule of substitution is raised. (shrink)