The paper reports our research aiming at utilization of human interactive communication modeling principles in application to a novel interaction paradigm designed for brain–computer/machine-interfacing (BCI/BMI) technologies as well as for socially aware intelligent environments or communication support systems. Automatic procedures for human affective responses or emotional states estimation are still a hot topic of contemporary research. We propose to utilize human brain and bodily physiological responses for affective/emotional as well as communicative interactivity estimation, which potentially could be used in the (...) future for human–machine/environment interaction design. As a test platform for such an intelligent human–machine communication application, an emotional stimuli paradigm was chosen to evaluate brain responses to various affective stimuli in an emotional empathy mode. Videos with moving faces expressing various emotional displays as well as speech stimuli with similarly emotionally articulated sentences are presented to the subjects in order to further analyze different affective responses. From information processing point of view, several challenges with multimodal signal conditioning and stimuli dynamic response extraction in time frequency domain are addressed. Emotions play an important role in human daily life and human-to-human communication. This is why involvement of affective stimuli principles to human–machine communication or machine-mediated communication with utilization of multichannel neurophysiological and periphery physiological signals monitoring techniques, allowing real-time subjective brain responses evaluation, is discussed. We present our preliminary results and discuss potential applications of brain/body affective responses estimation for future interactive/smart environments. (shrink)

Cooperation between doctors of various specialties and other medical specialists is the standard of care in the treatment of patients. Due to the variety of diseases and the dynamic development of medicine in general, it is difficult to be an expert in every field and know all the recommended treatments. An example of such cooperation is the joint treatment of patients with the problem of ingrown toenails. The article contains an analysis of patients who received treatment in a doctor’s office (...) in cooperation with podiatrists. A conservative approach towards the treatment of this condition sees the patient being initially diagnosed and treated by a podiatrist and then later, if necessary, being referred to a doctor for surgical treatment. The exchange of experiences and information on patients treated by interdisciplinary teams allows doctors and podiatrists to find the best possible treatment and improve the quality of life of patients. The follow-up of patients after surgery can be performed later in podiatry offices. Owing to modern electronic communication, it is possible for a doctor to constantly monitor the patient’s condition without the need for direct visits to the doctor’s office. (shrink)

Volume 10, Issue 4, December 2019, Page 582-587.

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)

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)

We assess Cartwright's models for probabilistic causality and, in particular, her models for EPR-like experiments of quantum mechanics. Our first objection is that, contrary to econometric linear models, her quasi-linear models do not allow for the unique estimation of parameters. We next argue that although, as Cartwright proves, Reichenbach's screening-off condition has only limited validity, her generalized condition is not empirically applicable. Finally, we show that her models for the EPR are mathematically incorrect and physically implausible.

We assess Cartwright's models for probabilistic causality, and in particular, her models for EPR-like experiments of quantum mechanics. We show that her models for the EPR are mathematically incorrect and physically implausible. Finally, we argue that her models are not adequate for EPR-phenomena, since they ignore modal and spatiotemporal aspects inherent in their setup.

Volume 10, Issue 4, December 2019, Page 582-587.

Its interpretation, however, is as unsettled now as in the heroic days of Einstein and Bohr.This book focuses on quantum non-locality, the curious quantum ...

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)

Varieties like groups, rings, or Boolean algebras have the property that, in any of their members, the lattice of congruences is isomorphic to a lattice of more manageable objects, for example normal subgroups of groups, two-sided ideals of rings, filters (or ideals) of Boolean algebras.algebraic logic can explain these phenomena at a rather satisfactory level of generality: in every member A of a τ-regular variety ������ the lattice of congruences of A is isomorphic to the lattice of deductive filters on (...) A of the τ-assertional logic of ������. Moreover, if ������ has a constant 1 in its type and is 1-subtractive, the deductive filters on A ∈ ������ of the 1-assertional logic of ������ coincide with the ������-ideals of A in the sense of Gumm and Ursini, for which we have a manageable concept of ideal generation. However, there are isomorphism theorems, for example, in the theories of residuated lattices, pseudointerior algebras and quasi-MV algebras that cannot be subsumed by these general results. The aim of the present paper is to appropriately generalise the concepts of subtractivity and τ-regularity in such a way as to shed some light on the deep reason behind such theorems. The tools and concepts we develop hereby provide a common umbrella for the algebraic investigation of several families of logics, including substructural logics, modal logics, quantum logics, and logics of constructive mathematics. (shrink)

The paper puts forward a theory of historical modalities that is framed in terms of possible continuations rather than possible worlds or histories. The proposal is tested as a semantic theory for a language with historical modalities, tenses, and indexicals.

My aim in this paper is to investigate the notions of comparative similarity definable in the framework of branching space-times. A notion of this kind is required to give a rigorous Lewis-style semantics of space-time counterfactuals, which is the task undertaken by Thomas Muller (PITT-PHIL-SCI00000509, this archive). In turn, the semantical analysis is needed to decide whether the recently proposed proofs of the non-locality of quantum mechanics are correct. From among the three notions of comparative similarity I select two which (...) appear equally good as far as their intuitiveness and algebraic properties are concerned. However, the relations are not transitive, and thus cannot be used in the semantics proposed by (Lewis 1973), which requires transitivity. Yet they are adequate for the account of (Lewis 1981). (shrink)

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) (...) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by ( P ) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

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)

We show that Pitts' modeling of propositional quantification in intuitionistic logic (as the appropriate interpolants) does not coincide with the topological interpretation. This contrasts with the case of the monadic language and the interpretation over sufficiently regular topological spaces. We also point to the difference between the topological interpretation over sufficiently regular spaces and the interpretation of propositional quantifiers in Kripke models.

The purpose of the paper is to study syntactic refutation systems as a way of characterizing normal modal propositional logics. In particular it is shown that there is a decidable modal logic without the finite model property that has a simple finite refutation system.

In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.

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.

Consider how we evaluate how normal an object is. On the dual-nature hypothesis, a normality evaluation depends on the object’s goodness and frequency. On the single-nature hypothesis, the evaluation depends solely on either frequency or goodness. To assess these hypotheses, I ran four experiments. Study 1 shows that normality evaluations vary with both the goodness and the frequency assessment of the object. Study 2 shows that manipulating the goodness and the frequency dimension changes the normality evaluation. Yet, neither experiment rules (...) out that some people evaluate normality solely based on frequency, and the rest evaluate normality solely based on goodness. Whence two more experiments. Study 3 reveals that when scenarios are contrasted—presented one after another—only frequency matters. But, as study 4 shows, when scenarios are evaluated alone, both frequency and goodness influence normality evaluations in a single person, although the more a person is sensitive to one dimension, the less she’s sensitive to the other. The dual-nature hypothesis seems thus true of uncontrasted applications of the concept of normality, whereas the single-nature hypothesis seems true of contrasted applications. (shrink)

Humberstone asks whether every theorem of BCI provably implies $\phi\to\phi$ for some formula $\phi$. Meyer conjectures that the axiom $\mathbf{B}$ does not imply any such "self-implication." We prove a slightly stronger result, thereby confirming Meyer's conjecture.