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)

In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation (3rd SSA school); five workshops: on systems and algorithms for formal argumentation (2nd SAFA), argumentation in relation to society (1st ArgSoc), philosophical approaches to argumentation (1st ArgPhil), legal argumentation (2ndMET-ARG) (...) and argumentation in rhetoric (1st MET-RhET); and two conferences: on computational models of argumentation (7th COMMA conference) and on argumentation and corpus linguistics (16th ArgDiaP conference). WAW hosted twelve tutorials and eight invited talks as well as welcoming over 130 participants. All the conferences and workshops publish pre- or post-proceedings in the top journals and book series in the field. (shrink)

The European bison is one of the last remnants of the megafauna that once roamed through Europe. By the early modern period, it had already disappeared from most of its former range and had become a coveted natural curiosity as well as been designated as royal game. In the 18th century, the last population of lowland European bison surviving in the Białowieża Forest became an object of study for naturalists. When the forest became a part of the Russian Empire during (...) the 19th and early 20th centuries, it was the Russian Imperial family's attention to the species that ensured its survival. In the same period, the European bison was of the utmost importance to the scientific community—as a research subject (on the taxonomic position of the species, its relation to extinct Bovidae, etc.) and as a museum exhibit (to attract audiences interested in seeing the largest European mammal). Obtaining such a specimen demanded the scientific community's adept maneuvering through diplomatic and bureaucratic channels and depended on the Russian monarch's goodwill.The tsar's permission was only a start, as naturalists themselves had to organize hunts, process the pelt and bones, and deliver them to museums. Despite the considerable organizational and logistical difficulties, by the late 19th and early 20th centuries, many museums were displaying the European bison, which succeeded in making the species well known to the wider public. In 1919, the last wild Białowieża bison was killed, but the popularity of this species helped the reintroduction of the animal a decade later. Today, the historical specimens are a source of samples for both genetic and molecular research. (shrink)

Most studies on bilingual language development focus on children’s second language (L2). Here, we investigated first language (L1) development of Polish-English early migrant bilinguals in four domains: vocabulary, grammar, phonological processing and discourse. We first compared Polish language skills between bilinguals and their Polish non-migrant monolingual peers, and then investigated the influence of the cumulative exposure to L1 and L2 on bilinguals’ performance. We then examined whether high exposure to L1 could possibly minimize the gap between monolinguals and bilinguals. We (...) analyzed data from 233 typically developing children (88 bilingual, 145 monolingual) aged 4;0 to 7;5 (years; months) on six language measures in Polish: receptive vocabulary, productive vocabulary, receptive grammar, productive grammar (sentence repetition), phonological processing (non-word repetition) and discourse abilities (narration). Information about language exposure was obtained via parental questionnaires. For each language task, we analyzed the data from the subsample of bilinguals who had completed all the tasks in question and from monolinguals matched one-on-one to the bilingual group on age, SES (measured by years of mother’s education), gender, non-verbal IQ and short term memory. The bilingual children scored lower than monolinguals in all language domains, except discourse. The group differences were more pronounced on the productive tasks (vocabulary, grammar, phonological processing) and moderate on the receptive tasks (vocabulary and grammar). L1 exposure correlated positively with the vocabulary size and phonological processing. Grammar scores were not related to the levels of L1 exposure, but were predicted by general cognitive abilities. L2 exposure negatively influenced productive grammar in L1, suggesting possible L2 transfer effects on L1 grammatical performance. Children’s narrative skills benefitted from exposure to two languages: both L1 and L2 exposure influenced story structure scores in L1. Importantly, we did not find any evidence (in any of the tasks in which the gap was present) that the performance gap between monolinguals and bilinguals could be fully closed with high amounts of L1 input. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

This paper presents a dialogue system called Lorenzen–Hamblin Natural Dialogue (LHND), in which participants can commit formal fallacies and have a method of both identifying and withdrawing formal fallacies. It therefore provides a tool for the dialectical evaluation of force of argument when players advance reasons which are deductively incorrect. The system is inspired by Hamblin’s formal dialectic and Lorenzen’s dialogical logic. It offers uniform protocols for Hamblin’s and Lorenzen’s dialogues and adds a protocol for embedding them. This unification required (...) a reformulation of the original description of Lorenzen’s system to distinguish “between different stances that a person might take in the discussion”, as suggested by Hodges. The LHND system is compared to Walton and Krabbe’s Complex Persuasion Dialogue using an example of a dialogue. (shrink)

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...) semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation. (shrink)

This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time Temporal Epistemic Logic (ATEL) is used for expressing properties of multi-agent systems represented by alternating epistemic temporal systems as well as concurrent epistemic game structures. Unbounded model checking (a SAT based technique) is applied for the first time to verification of ATEL. An example is given to show an application of the technique.

We prove that all semisimple varieties of FL ew-algebras are discriminator varieties. A characterisation of discriminator and EDPC varieties of FL ew-algebras follows. It matches exactly a natural classification of logics over FL ew proposed by H. Ono.

W artykule omówione zostały sprawy organizacyjne, przebieg i znaczenie polityczne pobytu elektora saskiego Fryderyka Augusta w Opolu w dniach 15 grudnia 1733 r. – 3 stycznia 1734 r. Jest to ważny epizod tak w dziejach miasta, jak i Rzeczypospolitej Obojga Narodów, pomijany jednak do tej pory w historiografii. Tymczasem na przełomie 1733 i 1734 r. o wizycie przyszłego króla polskiego w Opolu było stosunkowo głośno w Europie, a notatki informujące o tym publikowane były w prasie wydawanej w Austrii, Rzeszy Niemieckiej, (...) Rosji czy Wielkiej Brytanii. W artykule wykorzystano doniesienia gazetowe, a przede wszystkim relacje z podróży elektora, jego żony Marii Józefy i dworu saskiego, dokumenty logistyczne oraz korespondencję i rachunki przechowywane w archiwach saskich, austriackich oraz w Archiwum Państwowym w Opolu. (shrink)

The fixed order quantity model of inventory management system is used in the deterministic part. Several elements of inventory cost, such as ordering cost, transportation and storing costs, frozen capital cost, as well as extra rebates, are taken into account in the model. Then the fuzzy optimization problem for the total cost function is formulated within the space of Ordered Fuzzy Numbers when all variables of the model are fuzzy. After the choice of a particular defuzzification functional an appropriate theorem (...) is formulated which gives the solution of the problem. (shrink)

The present study aimed to investigate the importance of self-esteem for sociosexual orientation and to compare groups of dating online users in terms of engaging in casual sex, performed in one night stand (ONS) and friends with benefit (FWB). This issue seems particularly important in the context of psychosexual health. The exploratory study was conducted online among 416 adults who have participated in online dating. The Rosenberg Self-Esteem Scale (RSES), the revised Sociosexual Orientation Inventory (SOI-R), the author’s questionnaire, concerning having (...) experiences in ONS and FWB, and motives for entering into expected types of relationships were used. The Kruskal-Wallis H test with post hoc pairwise comparisons. A statistically significant negative correlation between self-esteem and sociosexual orientation concerned the sociosexual attitude subscale. Differences were found between those engaging in ONS and FWB types of relationships. Those who engaged only in FWB had lower SOI-R scores than those who had only ONS experiences and both. Such results suggest that these relationships should be considered to be disparate and different functions should be attributed to them. Given the differences, it will be possible to use these results to support the design of public health interventions and reduce online sexual risk behavior. (shrink)

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than (...) the material one. In the final section, we present a tableau approach to the discussed modal logics. (shrink)

The development of innovative biomedical technologies that use gene editing tools opens up new possibilities in the treatment of rare diseases, as well as diseases that were not previously treated...

Reclamation of a slur involves the creation of a new, positively-valenced meaning that gradually replaces the old pejorative meaning. This means that at a critical stage, the slur is ambiguous. It has been claimed that this ambiguity is polysemy. However, it is far from clear whether the view can explain why the introduction of the new meaning forces the old one out of existence. I argue that this datapoint can be explained by invoking the mechanism of homonymic conflict, and, therefore, (...) that the ambiguity involved in reclamation is homonymy. One generalization that follows from my account is that conventionalized verbal irony, unlike conventionalized metonymy and metaphor, begets homonymy. Along the way, I criticize the standard ways of drawing the distinction between polysemy and homonymy in terms of semantic and etymological relatedness. If the notions of polysemy and homonymy are to be invoked in explanations, they should be understood in terms of how meanings are stored in the mental lexicon. My account also provides an elegant way of conceptualizing the difference between two types of conceptual engineering, namely reclamation and amelioration. (shrink)

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this (...) question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable. (shrink)

Nowoczesne przedsiębiorstwa są bytami w szczególny sposób narażonymi na cyberzagrożenia powiązane z _metodami _inżynierii społecznej, szeroko wykorzystywanymi przez cyberkryminalistów. Dziś środowiska firmowe muszą niemalże na co dzień mierzyć się z próbami kradzieży danych opartymi na wielu pochodnych współczesnych odmian phishingu, a jednym z głównych sposobów walki z tego rodzaju zagrożeniami pozostaje w dalszym ciągu edukacja pracownicza, która przyjmować może różne formy. Człowiek z reguły określany jest jako najsłabszy element „łańcucha bezpieczeństwa” danego poprawnie skonfigurowanego systemu informatycznego. Ten stan rzeczy biorą pod (...) uwagę zarówno spółki samodzielnie przygotowujące programy edukacyjne i szkolenia dla swoich pracowników, jak i te, które przeprowadzanie tego rodzaju działań zlecają firmom zewnętrznym. Skuteczne kreowanie tzw. kultury bezpieczeństwa danej korporacji jest zadaniem niezwykle odpowiedzialnym, a przy tym wysoce nietrywialnym, a temat ten stosunkowo rzadko poruszany jest w literaturze przedmiotu. Ciągła rewizja środków i metod prowadzenia programowych szkoleń i symulacji oraz zarządzanie działaniami przyczyniającymi się do współtworzenia zdrowego środowiska firmowego w zadowalającym stopniu odpornego na zagrożenia zewnętrzne powinny zatem stanowić jeden z głównych priorytetów jednostek administrujących lokalnymi instrumentami prewencji incydentów, które mają miejsce w danej spółce. (shrink)

The purpose of the paper is to make a few remarks on the following aspects of refutation rules: a characteristic property of a logic, elegant and constructive completeness proofs. In particular a new constructive completeness proof for the provability logic G is given.

The aim of this paper is to reconstruct and correct one argument in support of the symmetrization postulate in quantum mechanics. I identify the central premise of the argument as a thesis specifying a particular ontic property of quantum superpositions. The precise form of this thesis depends on some underlying assumptions of a metaphysical character. I compare the exchange degeneracy argument with alternative formal arguments for the symmetrization postulate, and I discuss the role and meaning of labels in the symmetric/antisymmetric (...) representations of the states of many particles. (shrink)

We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.

The article discusses the issue of the departure from examining real behaviours in a real environment, a trend in social psychology which has been observed going back several years, and the impact of this phenomenon for social psychology as a scientific discipline. The article presents two studies on the well-known and explored “bystander effect”. This phenomenon is examined in two ways – once by way of a “traditional” field experiment conducted in natural conditions, and once through a survey. As it (...) turned out, the results generated by the two studies were diametrically opposite, and only in the field experiment were we able to achieve a pattern of results consistent with those in the original studies. (shrink)

Hutto and Myin famously argue that basic minds are not contentful and content exists only as far as it is scaffolded with social and linguistic practices. This view, however, rests on a troublesome distinction between basic and scaffolded minds. Since Hutto and Myin have to account for language purely in terms of joint action guidance, there is no reason why simpler communication systems, such as cellular signaling pathways, should not give rise to scaffolded content as well. This conclusion remains valid (...) even if one rejects the view of language as mediated through public symbols and embraces global antirepresentationalism. Content evolves spontaneously in complex regulatory systems, such as human, animal, and cellular communication. (shrink)

The article presents a formalization of Anselm's so-called Ontological Arguments from Proslogion . The main idea of our research is to stay to the original text as close as is possible. We show, against some common opinions, that (i) the logic necessary for the formalization must be neither a purely sentential modal calculus, nor just non-modal first-order logic, but a modal first-order theory; (ii) such logic cannot contain logical axiom ⌜ A → ⋄ A ⌝; (iii) none of Anselm's reasonings (...) requires the assumptions that God is a consistent object or that existence of God is possible (in symbols "⋄Eg"); (iv) no such thing as the so-called Anselm's Principle (in symbols "□(Eg → □Eg)") is involved in any of the proofs; (v) Anselm's claims (that God exists in reality and that God necessarily exists in reality) can be obtained independently, hence there is no need for presenting them in an opposite order than Anselm did. Moreover we show a single line of reasoning underlying the whole Proslogion and allowing Anselm to deduce many theorems concerning God's nature. Last but not least we study the possibility of proving the uniqueness of God within the outlined theory. (shrink)

Is theology able to communicate anything to the economy at all? Would not it be an invasion to an autonomous field of knowledge capable to organize economic activity of man according to its internal rules? However, when asking the economic question of how to satisfy material needs, one cannot ultimately avoid another question – an ethical one – of what the purpose of satisfying those needs is. What is man really looking for? Theology, on the plane of faith and reason, (...) tries to find answers to these fundamental, ultimate questions asked by human beings, who are nowadays often tired of searching for happiness in satisfying the short-term and often artificially created new and new needs. A theologian in his research listens first of all to the word that God pronounces to man. This word, contained in the Bible, sets out the basic lines of the dignity of man, his tasks and the ultimate goal of his existence, which is to achieve full humanity and maturity, namely happiness in God. Only in such a perspective, which goes beyond the mundane, one can properly evaluate every action of man, giving it a rightful place in the whole of his existence. Specific issues relating to man’s economic activity, as described in the Bible, invariably refer to this overall dimension of his existence and his ultimate fulfilment in God as the guarantor of order and the source of life. Hence, any human activity which ignores the structure of that order, planned by the Creator, appears to be disordered and, consequently, leads to the destruction of man himself. (shrink)

It is proved that free dynamic algebras superamalgamate. Craig interpolation for propositional dynamic logic and superamalgamation for the variety of dynamic algebras follow.