In herein article an attempt of problem solution connected with anomaly detection in network traffic with the use of statistic models with long or short memory dependence was presented. In order to select the proper type of a model, the parameter describing memory on the basis of the Geweke and Porter-Hudak test was estimated. Bearing in mind that the value of statistic model depends directly on quality of data used for its creation, at the initial stage of the suggested method, (...) outliers were identified and then removed. For the implementation of this task, the criterion using the value of interquartile range was used. The data prepared in this manner were useful for automatic creation of statistic models classes, such as ARFIMA and Holt-Winters. The procedure of calculation of model parameters’ optimal values was carried out as a compromise between the models coherence and the size of error estimation. Then, relations between the estimated network model and its actual parameters were used in order to detect anomalies in the network traffic. Considering the possibility of appearance of significant real traffic network fluctuations, procedure of updating statistic models was suggested. The results obtained in the course of performed experiments proved efficacy and efficiency of the presented solution. (shrink)

This volume contains papers presented at the Poznań Reasoning Week multi-conference held in Poznań in September 11-15, 2018. PRW aims at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling. The 2018 edition consisted of three conferences, which addressed the following topics: (i) games in reasoning research, (ii) the interplay of logic and cognition, and (iii) refutation systems. The papers collected in this volume address all these topics.

Bruineberg and colleagues criticisms' have been received but downplayed in the free energy principle (FEP) literature. We strengthen their points, arguing that Friston blanket discovery, even if tractable, requires a full formal description of the system of interest at the outset. Hence, blanket metaphysics is futile, and we postulate that researchers should turn back to heuristic uses of Pearl blankets.

By a pure modal logic of names we mean a quantifier-free formulation of such a logic which includes not only traditional categorical, but also modal categorical sentences with modalities de re and which is an extension of Propositional Logic. For categorical sentences we use two interpretations: a “natural” one; and Johnson and Thomason’s interpretation, which is suitable for some reconstructions of Aristotelian modal syllogistic :271–284, 1989; Thomason in J Philos Logic 22:111–128, 1993 and J Philos Logic 26:129–141, 1997. In both (...) cases we use Johnson-like models. We also analyze different kinds of versions of PMLN, for both general and singular names. We present complete tableau systems for the different versions of PMLN. These systems enable us to present some decidability methods. It yields “strong decidability” in the following sense: for every inference starting with a finite set of premises we can specify a finite number of steps to check whether it is logically valid. This method gives the upper bound of the cardinality of models needed for the examination of the validity of a given inference. (shrink)

In this paper, I criticize Ethan Jerzak’s view that ‘want’ has only one sense, the mixed expected utility sense. First, I show that his appeals to ‘really’-locutions fail to explain away the counterintuitive predictions of his view. Second, I present a class of cases, which I call “principled indifference” cases, that pose difficulties for any expected utility lexical entry for ‘want’. I argue that in order to account for these cases, one needs to concede that ‘want’ has a sense, according (...) to which wanting is a matter of subjectively preferring p-alternatives to not-p-alternatives. Finally, I introduce some considerations for and against the view that ‘want’ also has another sense, which is roughly synonymous with ‘need’. (shrink)

The book _Metaphysics in Contemporary Physics_ offers various perspectives on the relation and mutual influence between modern physical theories and analytic metaphysics.

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)

In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic _bringing it about that_. These systems are usually studied within the neighbourhood semantics. Here we propose a different strategy. We study all of the accepted laws and rules of logic of agency and define a translation of the agency operators into connectives interpreted in relating semantics. After this translation we can make a reduction to (...) more basic semantic properties that are required by the particular groups of laws and axioms. Finally, we define proper semantic structures and prove that they are complete with respect to all possible logical systems determined by the combinations of the axioms and rules. (shrink)

It is part of the phenomenology of perceptual experiences that objects seem to be presented to us. The first guide to objects is their perceptual presence. Further reflection shows that we take the objects of our perceptual experiences to be among the causes of our experiences. However, not all causes of the experience are also objects of the experience. This raises the question indicated in the title of this paper. We argue that taking phenomenal presence as the guide to the (...) objects of perception, we can see that at least in two sensory modalities, smell and touch, there is no uniform answer to this question. The objects of olfactory and tactile experiences can move along the causal chain. Accordingly, the content of olfactory and tactile experience may vary. (shrink)

In order to understand how the environment influences business owner/managers’ attitudes towards tax morale, we build a theoretical model based on a neo-institutionalist framework. Our model combines three complementary perspectives on institutions—normative, cultural–cognitive and regulatory–instrumental. This enables a broader understanding of factors that influence business owner–managers’ attitudes towards tax evasion. We test the resulting hypotheses using regression analysis on survey data on business owner/managers in Latvia—a transition country, which has undergone massive institutional changes since it was part of the Soviet (...) Union over 25 years ago. We find that legitimacy of the tax authorities and the government, feeling of belonging to the nation and perceptions of the risk and severity of punishment are all associated with higher tax morale for business owners and managers. (shrink)

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk''s logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.

In this paper I present an argument in favour of a parental duty to use preimplantation genetic diagnosis (PGD). I argue that if embryos created in vitro were able to decide for themselves in a rational manner, they would sometimes choose PGD as a method of selection. Couples, therefore, should respect their hypothetical choices on a principle similar to that of patient autonomy. My thesis shows that no matter which moral doctrine couples subscribe to, they ought to conduct the PGD (...) procedure in the situations when it is impossible to implant all of the created embryos and if there is a significant risk for giving birth to a child with a serious condition. (shrink)

Neither strict deduction nor high expectability is a necessary condition for historical explanation. Explanations that separate history from mere narrative are necessary, but deduction from causes is not a priori the only source. Explanations in terms of reasons, emotions, and motives of actors are essential and are satisfactory when an agent's reason for an action is made convincing and believable. The principle of action must make evident the appeal of some human good in the action with which we can empathize (...) or which is rationally understandable; there is an intimate connection between historical explanation and moral evaluation. The alternative account of historical explanation sacrifices the simplicity of the deductive model but gains several advantages in exchange, including greater descriptive fidelity to actual historical explanations. (shrink)

Anthropologists often have fieldwork experiences that are not explicitly analysed in their writings, though they nevertheless contribute to and shape their ethnographic understandings, and can resonate throughout their work for many years. The task of this volume is precisely to uncover these layers of anthropological knowledge-making. Contributors take on the challenge of reconstructing the ways in which they originally entered the worlds of research subjects - their anthropological Others - by focusing on pre-textual and deeply phenomenological processes of perceiving, noting, (...) listening and sensing. Drawing on a wide range of research experiences - with the Dogon in Mali, immigrant football players in Spain, the Inuit of the Far North, Filipino transnational families, miners in Poland and students in Scotland - this book goes beyond an exploration of the development of increased ethnographic sensitivity towards words or actions. It also commences the foundational project of developing a new language for building anthropological works, one stemming from recurring acts of participation, and rooted primarily in the pre-textual worlds of the tacit, often non-visible, and intense experiences that exceed the limitations of conventional textual accounts. (shrink)

Artykuł dotyczy formułowania hipotez w pracach doktorskich. Składa się z dwóch części. W pierwszej omówione jest znaczenie terminu hipoteza i jej miejsce w schemacie postępowania badawczego. W drugiej części przedstawiona jest typologia niedoskonałości związanych z formułowaniem hipotez. Wyróżnia się w niej trzy główne kategorie niedoskonałości. Omówienie tych kategorii opiera się na przykładach zaczerpniętych z prac doktorskich.