The paper describes in detail the procedure of identification of the inner language and an inner logico of a physical theory. The procedure is a generalization of the original ideas of J. von Neuman and G. Birkhoff about quantum logic.

A new approach to semantics, based on ordered Banach spaces, is proposed. The Banach spaces semantics arises as a generalization of the four particular cases: the Giles' approach to belief structures, its generalization to the non-Boolean case, and fuzzy extensions of Boolean as well as of non-Boolean semantics.

We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.

In this paper, we complement proximate or ‘how’ explanations for the origins of language, broadening our perspective to include fitness-consequences explanations, i.e. ultimate, or ‘why’ explanations. We identify theplatform of trustas a fundamental prerequisite for the development of a language-like system of symbolic communication. The platform of trust is a social niche in which cheap but honest communication with non-kin is possible, because messages tend to be trusted as a default. We briefly consider the place of the platform of trust (...) on the road map as laid out in the Mirror System Hypothesis. We then turn to recent research on turn-taking in primates, which has been proposed as a precursor of the cooperative structuring of conversation in humans. We suggest, instead, that human turn-taking, in its full richness that makes it an interesting explanatory target, may only appear in a communicative system that is already founded on a community-wide, cooperative platform of trust. (shrink)

The set of design features developed by Charles Hockett in the 1950s and 1960s remains probably the most influential means of juxtaposing animal communication with human language. However, the general theoretical perspective of Hockett is largely incompatible with that of modern language evolution research. Consequently, we argue that his classificatory system—while useful for some descriptive purposes—is of very limited use as a theoretical framework for evolutionary linguistics. We see this incompatibility as related to the ontology of language, i.e. deriving from (...) Hockett’s interest in language as a product rather than a suite of sensorimotor, cognitive and social abilities that enable the use but also acquisition of language by biological creatures. After a reconstruction of Hockett’s views on design features, we raise two criticisms: focus on the means at the expense of content and focus on the code itself rather than the cognitive abilities of its users. Finally, referring to empirical data, we illustrate some of the problems resulting from Hockett’s approach by addressing three specific points—namely arbitrariness and semanticity, cultural transmission, and displacement—and show how the change of perspective allows to overcome those difficulties. (shrink)

We construct free algebras in the variety generated by the equivalential algebra with conjunction on dense elements and compute the formula for the free spectrum of this variety. Moreover, we describe the decomposition of free algebras into directly indecomposable factors.

We applaud Heintz & Scott-Phillips's guiding metaphor of “unleashing leashed expression,” and we value the unified explanation for the emergence of not only language, but also other forms of unleashed expression, such as multimodal communication. We are more critical of the authors' discussion of the selection pressures acting towards unleashed expression, which are proposed to hinge on partner choice ecology.

We study the structure of analytic ideals of subsets of the natural numbers. For example, we prove that for an analytic ideal I, either the ideal {X (Ω × Ω: En X ({0, 1,…,n} × Ω } is Rudin-Keisler below I, or I is very simply induced by a lower semicontinuous submeasure. Also, we show that the class of ideals induced in this manner by lsc submeasures coincides with Polishable ideals as well as analytic P-ideals. We study this class of (...) ideals and characterize, for example, when the ideals in it are Fσ or when they carry a locally compact group topology. We apply these results to Borel partial orders to rederive a theorem of Todorcevic and to Borel equivalence relations to answer a question of Kechris and Louveau. As another application we give a characterization of σ-ideals of μ-zero sets for Maharam submeasures μ on the Cantor set which is to a large extent analogous to a characterization of the meager ideal due to Kechris and the author. (shrink)

The technological advances of the 20th century resulted in the creation of the Internet and its introduction into everyday life on a global scale. The Internet provides access to information and the sale and purchase of goods. Medications are also subject to trade. Their sale is conducted by online pharmacies and their global turnover amounts to hundreds of billions of dollars. Medications ordered over the Internet are sent by mail all over the world. Considering the events of recent years, we (...) cannot exclude the risk of a terrorist attack through online pharmacies. Terrorists can establish such companies, legally or illegally, or acquire ones already existing. Parcels, which are highly trusted by the customers of online pharmacies, can, for example, be contaminated with dangerous materials. The sale of online medications in the international system is potentially dangerous and requires international regulation. (shrink)

Words of gratitude and deep respect for Maria Dmitrivna Kultaeva from her colleague Sławomir Sztobryn.

Let us consider multimodal logics and. We assume that is characterised by a class of connected frames, and there exists an -frame with a so-called -starting point. Similarly, the logic is characterised by a class of connected frames, and there exists an -frame with a -starting point. Using isomorphic copies of the frames and, we construct a connected frame which characterises the fusion. The frame thus obtained has some useful properties. Among others, is countable if both and are countable, and (...) there is a special world of the frame such that any formula is valid in the frame if and only if it is valid at the point. We also describe a similar construction where we assume the existence of two classes consisting of rooted frames only. Using those classes and frames with so-called -roots, we construct a rooted frame adequate for the fusion of modal logics characterised by the classes under consideration. Both constructions can be used interchangeably. The selection of the construction depends on... (shrink)

Sadness is one of the most important philosophical issues. However, it was not often a problem that philosophers devoted a lot of time to. What does sadness involve? What are its consequences? What is its meaning? Sadness is a part of existence. How does philosophical reflection interpret this problem?