We carry out a study of definability issues in the standard models of Presburger and Skolem arithmetics (henceforth referred to simply as Presburger and Skolem arithmetics, for short, because we only deal with these models, not the theories, thus there is no risk of confusion) supplied with free unary predicates—which are strongly related to definability in the monadic SOA (second-order arithmetic) without × or + , respectively. As a consequence, we obtain a very direct proof for ${\Pi^1_1}$ -completeness of Presburger, (...) and also Skolem, arithmetic with a free unary predicate, generalize it to all ${\Pi^1_n}$ -levels, and give an alternative description of the analytical hierarchy without × or + . Here ‘direct’ means that one explicitly m-reduces the truth of ${\Pi^1_1}$ -formulae in SOA to the truth in the extended structures. Notice that for the case of Presburger arithmetic, the ${\Pi^1_1}$ -completeness was already known, but the proof was indirect and exploited some special ${\Pi^1_1}$ -completeness results on so-called recurrent nondeterministic Turing machines—for these reasons, it was hardly able to shed any light on definability issues or possible generalizations. (shrink)

The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general.

This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and moreover, all (...) atomless spaces have the same $\textsf{QPL}$-theory. Also, we shall introduce the notion of elementary invariant for $\textsf{QPL}$ and use it to translate the semantics for $\textsf{QPL}$ into the setting of elementary analysis. This will allow us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

Inspired by Kit Fine’s theory of arbitrary objects, we explore some ways in which the generic structure of the natural numbers can be presented. Following a suggestion of Saul Kripke’s, we discuss how basic facts and questions about this generic structure can be expressed in the framework of Carnapian quantified modal logic.

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...) precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. (shrink)

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...) the \(\omega ^\omega \) level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic. (shrink)

In a rather general setting, we prove a number of basic theorems concerning computational complexity of derivability in adaptive logics. For that setting, the so-called standard format of adaptive logics is suitably adopted, and the corresponding completeness results are established in a very uniform way.

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...) semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. (shrink)

Background Noninvasive prenatal testing (NIPT) provides important benefits yet raises ethical concerns. We surveyed Canadian pregnant women and their partners to explore their views regarding pressure to test and terminate a pregnancy, as well as other societal impacts that may result from the routinization of NIPT.Methods A questionnaire was offered (March 2015 to July 2016) to pregnant women and their partners at five healthcare facilities in four Canadian provinces.Results 882 pregnant women and 395 partners completed the survey. 64% of women (...) anticipated feeling no pressure to take the test if it were offered routinely, and 39% were not concerned about routinization leading to increased pressure to terminate a pregnancy of a fetus with Down Syndrome. Regarding other social concerns possibly resulting from routinization, pregnant women were most concerned regarding a reduction in resources available for people with Down Syndrome and their families and least concerned regarding a decrease in the population of people with Down Syndrome.Conclusions Our findings reflect the concerns expressed by pregnant women and their partners, both personal (pressure to test, pressure to terminate) and societal (e.g., regarding potential negative impact on people with disabilities and their families). Even if most women were not concerned about feeling pressured to test due to NIPT routinization, a large minority express concerns that should not be taken lightly. Moreover, a majority of respondents were concerned regarding pressure to terminate pregnancies due to NIPT routinization as well as regarding most societal impacts they were queried on, especially the possible future reduction in resources available for people with DS and their families. Canadian policy-makers should consider these potential negative ramifications of NIPT and ensure that appropriate social policies accompany its implementation. (shrink)

Nietzschův zájem o tématiku rétoriky dosáhl prvního pomyslného vrcholu na konci roku 1872 a v první polovině roku následujícího. Průsečíkem textů z tohoto období, tedy eseje O pravdě a lži, univerzitních přednášek a osobních skic, se stala myšlenka, podle které nelze rétorickou aktivitu subjektu redukovat pouze na prostor jazyka; ta je totiž přítomná i po celou dobu konstituce naší názorné zkušenosti. Ve snaze po vysvětlení této pro dějiny rétoriky zcela atypické představy se ovšem budu muset dotknout i několika dobových filosofických (...) tradic, na základě kterých si na konci 60. a na začátku 70. let ujasňoval svá epistemologická východiska. Na závěr se pokusím (bez hlubší kritiky) najít možné paralely mezi touto Nietzschovou představou a teoriemi konceptuálních metafor, které v mnohém předznamenal. (shrink)

Discussion on Two Remarks on Ondřej Švec’s Note regarding Philosophy of History.

Książka ta jest obszerną pracą o ścisłe historyczno-naukowym charakterze, przedstawiającą życie Stanisława Wydry, jezuity, profesora matematyki na Uniwersytecie w Pradze. Składa się ona z Wprowadzenia i rozdziałów poświęconych: oświeceniu i odrodzeniu narodowemu w Czechach; sytuacji uniwersytetu w Pradze, a w szczególności - Wydziału Filozoficznego; następnie – podręcznikom do matematyki na osiemnastowiecznym uniwersytecie w Pradze; życiu Stanisława Wydry oraz jego pracom naukowym - w tym kilku w szczególności, i wreszcie - jego oddziaływaniu na matematykę i kulturę Czech. Po Dodatku umieszczono wykaz (...) literatury oraz szereg skorowidzów. (shrink)

Książka ta jest obszerną pracą o ścisłe historyczno-naukowym charakterze, przedstawiającą życie Stanisława Wydry, jezuity, profesora matematyki na Uniwersytecie w Pradze. Składa się ona z Wprowadzenia i rozdziałów poświęconych: oświeceniu i odrodzeniu narodowemu w Czechach; sytuacji uniwersytetu w Pradze, a w szczególności - Wydziału Filozoficznego; następnie – podręcznikom do matematyki na osiemnastowiecznym uniwersytecie w Pradze; życiu Stanisława Wydry oraz jego pracom naukowym - w tym kilku w szczególności, i wreszcie - jego oddziaływaniu na matematykę i kulturę Czech. Po Dodatku umieszczono wykaz (...) literatury oraz szereg skorowidzów. (shrink)

Scientists need that scientific descriptions meet request methodological principles. Science knowledge is independent. Methodological principles guarantee autonomic regime of scientific investigations. Methodological principles are requirements the process of descriptive knowledge receiving as result of methodological analysis on best samples of scientific investigations, or methodological standards in history of science. There are mane principles in methodology of science: autonomic scientific investigation, competence, objectivity, expedience, systemness, verification, coherence, unity of methods, integration, differentiation, many-variation of formulizations, modernizations, diversity of chosen types of descriptions, (...) two logical meanings – truthfulness and falseness. (shrink)

The impacts that AI and robotics systems can and will have on our everyday lives are already making themselves manifest. However, there is a lack of research on the ethical impacts and means for amelioration regarding AI and robotics within tourism and hospitality. Given the importance of designing technologies that cross national boundaries, and given that the tourism and hospitality industry is fundamentally predicated on multicultural interactions, this is an area of research and application that requires particular attention. Specifically, tourism (...) and hospitality have a range of context-unique stakeholders that need to be accounted for in the salient design of AI systems is to be achieved. This paper adopts a stakeholder approach to develop the conceptual framework to centralize human values in designing and deploying AI and robotics systems in tourism and hospitality. The conceptual framework includes several layers – ‘Human-human-AI’ interaction level, direct and indirect stakeholders, and the macroenvironment. The ethical issues on each layer are outlined as well as some possible solutions to them. Additionally, the paper develops a research agenda on the topic. (shrink)

This article attempts to define a historical epistemology not as separate place in disciplinary space, but as rather specific area, which unstable configuration and “stuff" are determined by quite different from philosophy ways of talking and investigation of knowledge, especially in social sciences. More significant than emergence of competitors of philosophy in production of knowledge about knowledge (sociology, history, anthropology) was that they introduce a new regime of this production. This regime became empirical. Within that regime knowledge is objectified not (...) as homogeneous order of representation, but as fuzzy dynamic set of heterogeneous elements, relations between which are complex and historically variable. The claims of non-philosophical disciplines to investigate knowledge generate the field of uncertainties and problematisations. Just this field is referred to as “historical epistemology". But this field is also space of conceptual imagination, where the new ways to investigate knowledge are worked on, when refusing to ascribe to it any ultimate (transcendent or transcendental) specification. (shrink)

The current stage of the development of amateur stayer running practices can be characterized as personality-building, since the main goals of runners (especially marathon runners and super marathon runners) are not so much related to strengthening health, as to the sphere of personal improvement and self-knowledge: the development of will, character, testing yourself in an extreme situation, testing previously inaccessible emotions and states of consciousness. The object of the study is ego texts (books for a wide audience, including the online (...) "samizdat") of modern Russian running enthusiasts. The method of studying these texts is the biographical method, which makes it possible to determine the multidimensional influence of running activity on fundamental changes in personality development and the formation of her life path. The analyzed biographies inherit both the confessional tradition of Augustine (the contrast of the aimless and vicious "pre-race" life, as well as the traumatic experience of running neophyte and significant achievements in many areas of personal development after the adoption of the values expressed through running Coubertin's "religio athleticae"), and the adventurous and heroic biographical tradition noted by M. M. Bakhtin, inherent in the Renaissance, as well as romanticism and Nietzscheanism with their focus on the formation (in our case, through a stayer run) of a new (or "super-") person. The qualitative result of running activity is the achievement by the subject of a new stage of development – a person running (homo currens), which is characterized by activity, mobility, heroism, asceticism, striving for maximum self-realization, achieving harmony of body and spirit. Homo currens opposes both virtual pastime and the fetishization of comfort culture, suggesting, referring to the concept of Viktor Frankl, filling life with new meanings and values through overcoming the inevitable suffering for a stayer run. Amateur running is considered by writers as a publicly available and effective means of gaining physical, mental and social well-being, which expresses its humanistic essence and gives philosophical and anthropological significance to the works under study. (shrink)

The proposed text develops a number of provisions of N.I. Kuznetsova’s article “Oxymoron of the Vienna Circle”. Special attention is paid to the intellectual heritage of the Vienna Circle, which is in many ways paradoxical – rejected and simultaneously operational.

T. 1. Ein Beitrag zur Geschichte der Nachahmungsästhetik und Affektenlehre sowie der idealistischen Musikästhetik in Deutschland.--T. 2. Die Romantik und der Kampf ästhetische Richtungen.

Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...) consequence relations for a given spi-logic. (shrink)

This accessible and comprehensive overview of the work of Stanislav Grof, one of the founders of transpersonal psychology, was specifically written to acquaint...

Can matter, things, nonhuman organisms, technologies, tools and machines, biota or institutions be seen as creative? How does such creativity reposition the visionary activities of humans? This article is an elaboration of such questions as well as an attempt at a partial response. It was written as an editorial for the special issue of the Digital Creativity journal that interrogates the conception of Post-Anthropocentric Creativity. However, the text below is a rather unconventional editorial. It does not attempt to provide an (...) overview of the issue’s theme but, instead, samples it via a particular example. The idea of the issue was to think about post-anthropocentricism by considering (1) agents, recipients and processes of creativity alongside with its (2) purpose, value, ethics and politics. This article addresses the first subtheme by puzzling at the paradoxes of “field learning” and picks at the second by considering the texture of “automated beauty”. Both of these parts use chess for an example. The narrative on chess is intermitted by a section “on creativity” that attempts to contextualize the case-based discussion in the wider context and to consider motivations and implications. (shrink)

In this paper we examine Interaction-free measurement where both the probe and the object are quantum particles. We argue that in this case the description of the measurement procedure must by symmetrical with respect to interchange of the roles of probe and object. A thought experiment is being suggested that helps to determine what does and what doesn’t happen to the state of the particles in such a setup. It seems that unlike the case of classical object, here the state (...) of both the probe and the object must change. A possible explanation of this might be that the probe and the object form an entangled pair as a result of non-interaction. (shrink)

What can the creation of artificial habitats to replace old-growth forests tell us about the process, value and future of design? This chapter takes a concrete and provocative example and uses it to rethink design as a gradual, ecological action. To illustrate this understanding, the chapter begins with a description of a proposal to provide artificial habitats for wild animals such as birds, bats and invertebrates. The controversial idea to replace rapidly disappearing old-growth trees with artificial structures puts in doubt (...) habitual assumptions about the clients, procedures and goals of design. This example is of relevance to all design because the need to provide artificial habitats to nonhumans will be increasingly common under the influence of such phenomena as global warming or urbanisation. … The invention of artificial structures in place of natural habitats is described in this chapter as an incitement that highlights the need for further research into values, participants and methods of design. This discussion concludes with a proposal for an attitude of modesty in the face of increasingly overwhelming volumes of information as well as in the presence of an even greater ignorance about the futures of nondeterministic, volatile and incompletely controllable natural systems. The dilemma of design in these conditions is in the tension between its remit to act and the uncertainty that inescapably underlies any creative endeavour. (shrink)

Each professional researcher of the religious and philosophical tradition of Ukraine XI-XIV centuries. convinced of the glow of theoretical understanding of the manuscript corpus of texts of a certain period, realizes that 90% of the monuments of that time are waiting for study, knows that the subject-based, scientific sources are aimed at reconstructing how the beginning and the end were presented, stages, goals, the factors, essence and meaning of world history in the culture of are still in the embryonic phase, (...) and the problem of understanding the role of the Holy Cross in the historical process has not been raised or analyzed yet by the bearers of this culture. These facts lead to an attempt to fill the existing lacuna. (shrink)