Chciałem Go pożegnać. Kilkakrotnie próbowałem napisać choć parę słów. O Nim samym. Okazało się, że nie potrafię. Udało mi się tylko przedstawić Jego poglądy na reizm Tadeusza Kotarbińskiego, ale uczyniłem to gdzie indziej. Muszę tu poprzestać na ofiarowaniu Mu tego, co napisałem na Jego dziewięćdziesiąte urodziny, w osiemdziesięciolecie naszej przyjaźni.

The fundamental problem of Jan Srzednicki’s new epistemology is the question: how thoughts surpass the resistance of that what is ontologically present, how this process is possible? In Srzednicki’s opinion, thinking is a process of distancing from the pressure of ontological presence. His ideas offer a splendid inspiration for philosophy of medicine which attempts to answer the question “whether (and how) a disease is cognizable?” This question refers directly to and is translated into the question of the capacity to diagnose (...) particular diseases. Answering to the above stated question whether disease is cognizable we should answer in the affirmative, however, in a “modified” form that its pre-cognitive resistance to reality is formed at the articulated level. Somewhat intuitively we feel the presence of a disease before we express it in words as a disease according to our scientific or informal thought style. (shrink)

Współczesne nauki o zdrowiu podejmują współpracę z psychologią w celu zbadania subiektywnego postrzegania choroby. Jedną z dyscyplin psychologicznych, szczególnie istotną dla realizacji tego celu jest psychologia zdrowia. Wielowymiarowa Skala Istoty Choroby (MEDIS) opracowana przez J. Saka nawiązuje do metodologii badawczej tej dyscypliny. Wyodrębnione czynniki skali MEDIS opisują: ograniczenia samorealizacji, dysfunkcję psychiczną, dysfunkcję fizyczną, infekcję oraz wycofanie społeczne. Skala składa się z 28 pozycji odnoszących się do „bycia chorym”.

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

At the turn of 1960s and 1970s, Stanisław Lem devoted some of his non-fiction writing to a discussion and considerations of semiotics. Most of them were expressions of a critical approach mainly directed against structuralism. However, Lem also formulated some positive statements although they were not developed systematically. The article offers an analysis of Lem’s semiotic ideas from the perspective of semiotic functionalism of Jerzy Pelc, mainly considering its two main components: contextualism and typological approach. Special attention is paid (...) to the latter because both Pelc and Lem proposed some original solutions in this respect. What is meant here is the multidimensional typology of symbolic uses of signs developed by Pelc and Lem’s multidimensional typology of the situations of the reception of texts. Although they are independent form each other, these proposals show some convergence both in their ways of construction and roles they are supposed to perform. Henceforth, one can say that Lem was a crypto-functionalist. (shrink)

The axiom of canonicity was introduced by the famous Polish logician Roman Suszko in 1951 as an explication of Skolem's Paradox and a precise representation of the axiom of restriction in set theory proposed much earlier by Abraham Fraenkel. We discuss the main features of Suszko's contribution and hint at its possible further applications.

This note discusses some problems concerning intended, standard, and nonstandard models of mathematical theories. We pay attention to the role of extremal axioms in attempts at a unique characterization of the intended models. We recall also Jan Woleński’s views on these issues.

This short note is a summary of the talk given at the Adam Mickiewicz University in Poznań during the conference on Philosophy of Mathematics, III , on October 17, 2011. We suggest to understand mathematical intuition as a collection of (verbalized) judgments constituting the core of the context of discovery in mathematics. Mathematical intuition is present not only in the axioms: it can be observed in mathematical research practice as well. A few examples of mathematical intuition in action are given. (...) We discuss the dynamic character of mathematical intuition, trying to reveal the sources of the corresponding changes of intuitive views in mathematics. There are several such sources, e.g.: paradoxes, new research programs (for instance, the program of arithmetization of analysis), explicit definitons of concepts understood so far in an intuitive way, and – of course – the development of the mathematical knowledge itself. We devote special attention to the distinction between standard, exception, and pathology. Finally, we say a few words about conflicts of intuitions in mathematics. (shrink)

We review the four recent monographs by Roman Murawski.

The quest for effective medicines is very old. In modern times two important tools have been developed to evaluate efficacy of drugs: superiority and non-inferiority types of clinical trials. The former tests the null hypothesis of μ (the difference between a tested drug and comparator) ≤ 0 against μ > 0; the latter tests the null hypothesis of μ ≤ - Δ against, μ > - Δ, where Δ is the clinical difference from the comparator. In a superiority trial, a (...) new drug is tested against a placebo; in a non-inferiority trial, a new drug is tested against active treatment. In this paper, arguments are presented to show that a superiority trial against a placebo is scientifically sound but ethically unacceptable, whereas a non-inferiority trial against active treatment is ethically sound but scientifically not reliable. Switching from a superiority type of trial with placebo to a non-inferiority trial with an active-control — following the latest revision of Declaration of Helsinki — is in practice switching from the violation of the uncertainty principle to uncertainty of results. Given human and financial resources, it appears an academic question as to which is more unethical: to violate patients’ rights or to produce results without scientific value. All presented considerations lead to the conclusion that the use of a superiority trial of design with an active control instead of placebo will satisfy scientific needs, expectation of patients, and the ancient quest for effective medicines. In the era of Good (Clinical, Laboratory, Manufacture) Practice, the attention of those performing clinical trials is focused on the procedure, not always on its essence. However even the excellent performance of a trial which is not worth doing is fruitless. (shrink)

Obtaining a sufficient amount of measurable and reliable results of student surveys has always posed a challenge for university teams tasked with the provision of the quality of education. This is especially visible at faculties where education is based on the classic classroom-based model, which then transfers to clinical units, hospital wards, and specialist laboratories. The highly unpredictable pandemic situation caused by the SARS-CoV-2 virus raises the bar for the evaluation of didactics. Fortunately, the continuous technological progress in the area (...) of Artificial Intelligence makes it possible to design the implementation of tools that would improve the position of systems for the management of courses of studies. The evaluation survey for didactic classes, as one of the last output data obtained during the process, may finally become a fully recognized source of information about the conducted classes and the teachers themselves. On the other hand, it may become a tool for those surveyed to influence the quality of classes, express their opinion, present suggestions and propositions generally pertaining to changes in the process of education. New information technologies not only make it possible to improve the effectiveness of reaching the recipients, but also provide completely new, very reliable methods of acquisition of credible behaviour, used as integration data in solutions based on machine communication. Using Artificial Intelligence coupled with data may make it possible to use intelligent communication for effective management of the process of surveying – a solution that has so far been used in business, in the form of the so-called bots. As a result, this would lead to an ongoing, fully quantitative and qualitative, assessment of classes. (shrink)

Chciałem Go pożegnać. Kilkakrotnie próbowałem napisać choć parę słów. O Nim samym. Okazało się, że nie potrafię. Udało mi się tylko przedstawić Jego poglądy na reizm Tadeusza Kotarbińskiego, ale uczyniłem to gdzie indziej. Muszę tu poprzestać na ofiarowaniu Mu tego, co napisałem na Jego dziewięćdziesiąte urodziny, w osiemdziesięciolecie naszej przyjaźni.

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: (...) Categorial Grammars with Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

Gdy człowiek, który – jak ja obecnie – ma dziewięćdziesiąt jeden lat, rezygnuje z jakiejś działalności, nie musi specjalnie się wysilać, aby usprawiedliwić swą decyzję. Lepiej, by sam wybrał ten moment i uprzedził o tym otoczenie, niżby miała zań zdecydować natura i zaskoczyć zarówno jego, jak innych...