The action observation networks (AON) (or the mirror neuron system) are the neural underpinnings of visuomotor integration and play an important role in motor control. Besides, one of the main functions of the human mirror neuron system is recognition of observed actions and the prediction of its outcome through the comparison with the internal mental motor representation. Previous studies focused on the human mirror neurons (MNs) activation during object-oriented movements observation, therefore intransitive movements observation effects on MNs activity remains relatively (...) little-studied. Moreover, the dependence of MNs activation on the biomechanical characteristics of observed movement and their biological plausibility remained highly underexplored. In this study we proposed that naturalness of observed intransitive movement can modulate the MNs activity. Event-related desynchronization (ERD) of sensorimotor electroencephalography (EEG) rhythms, N400 event-related potentials (ERPs) component and corticospinal excitability were investigated in twenty healthy volunteers during observation of simple non-transitive finger flexion that might be either biomechanically natural or unnatural when finger wriggled out toward the dorsal side of palm. We showed that both natural and unnatural movements caused mu/beta-desynchronization, which gradually increased during the flexion phase and returned to baseline while observation of extension. Desynchronization of the mu-rhythm was significantly higher during observation of the natural movements. At the same time, beta-rhythm was not found to be sensitive to the action naturalness. Also, observation of unnatural movements caused an increased amplitude of the N400 component registered in the centro-parietal regions. We suggest that the sensitivity of N400 to intransitive action observation with no explicit semantic context might imply the broader role of N400 sources within AON. Surprisingly, no changes in corticospinal excitability were found. This lack of excitability modulation by action observation could be related with dependence of the M1 activity on the observed movement phase. (shrink)

Śiḥot maran ha-Mashgiaḥ Mohari Leṿinshṭain, zatsal -- Ḥidushe torato ʻa. Mas. B.ḳ. ṿe-liḳuṭim -- Leḳeṭ mi-maʼamraṿ mi-moreshet Daṿid Heber ṿe-ʻinyene ha-shaʻah.

We deal with the fragment of modal logic consisting of implications of formulas built up from the variables and the constant ‘true’ by conjunction and diamonds only. The weaker language allows one to interpret the diamonds as the uniform reflection schemata in arithmetic, possibly of unrestricted logical complexity. We formulate an arithmetically complete calculus with modalities labeled by natural numbers and ω, where ω corresponds to the full uniform reflection schema, whereas n<ω corresponds to its restriction to arithmetical Πn+1-formulas. This (...) calculus is shown to be complete w.r.t. a suitable class of finite Kripke models and to be decidable in polynomial time. (shrink)

Recently, the variety of the financial frauds have increased, while the number of victims became difficult to estimate. The purpose of this paper is to present the main profiles of financial frauds’ victims using a reviewing method. The analysis captures the main theoretical and empirical background regarding the motives and circumstances of becoming a victim, the dynamics of several social and demographical characteristics of this type of victims, as well as a sample of relevant case studies from some developing countries. (...) The main finding is that, in literature, most of the victims are male people of different ages, employed, married or single, regardless the level of education. For developing countries such as China, India and Nigeria, the majority of victims act out of naivety and desire to escape from poverty, while some victims from Latin America, China and Nigeria are influenced by greed and lack of empathy, without thinking of further consequences for their families and friends involved. Moreover, most of the victims are convinced to invest in financial schemes by family members, friends, or acquaintances. (shrink)

Prominent thinkers such as Jurgen Habermas and Michael Sandel are warning that biomedical enhancements will undermine fundamental political values. Yet whether biomedical enhancements will undermine such values depends on how biomedical enhancements will function, how they will be administered and to whom. Since only few enhancements are obtainable, it is difficult to tell whether these predictions are sound. Nevertheless, such warnings are extremely valuable. As a society we must, at the very least, be aware of developments that could have harmful (...) consequences. Indeed, if important values were to be jeopardized, we should take appropriate measures to protect them. This paper focuses on four central values: solidarity, personal responsibility, equality and autonomy. It delineates the conditions under which biomedical enhancements would undermine these values. It also details the circumstances under which these values would be unaffected by enhancements as well as those under which they would be promoted. Specifying these conditions is valuable; it would enable society to prepare appropriate ethical guidelines and policy responses in advance. (shrink)

Progressions of iterated reflection principles can be used as a tool for the ordinal analysis of formal systems. We discuss various notions of proof-theoretic ordinals and compare the information obtained by means of the reflection principles with the results obtained by the more usual proof-theoretic techniques. In some cases we obtain sharper results, e.g., we define proof-theoretic ordinals relevant to logical complexity Π1 0 and, similarly, for any class Π n 0 . We provide a more general version of the (...) fine structure relationships for iterated reflection principles (due to U. Schmerl [25]). This allows us, in a uniform manner, to analyze main fragments of arithmetic axiomatized by restricted forms of induction, including IΣ n , IΣ n − , IΠ n − and their combinations. We also obtain new conservation results relating the hierarchies of uniform and local reflection principles. In particular, we show that (for a sufficiently broad class of theories T) the uniform Σ1-reflection principle for T is Σ2-conservative over the corresponding local reflection principle. This bears some corollaries on the hierarchies of restricted induction schemata in arithmetic and provides a key tool for our generalization of Schmerl's theorem. (shrink)

Two recently proposed quantum experiments are analyzed. The first allows to find an object without "touching" it. The second allows to teleport quantum states, transmitting a very small amount of information. It is shown that in the standard approach these experiments are in conflict with the intuitive notions of causality and locality. It is argued that the situation is less paradoxical in the framework of the many-worlds interpretation of quantum theory.

A well-known result states that, over basic Kalmar elementary arithmetic EA, the induction schema for ∑n formulas is equivalent to the uniform reflection principle for ∑n + 1 formulas . We show that fragments of arithmetic axiomatized by various forms of induction rules admit a precise axiomatization in terms of reflection principles as well. Thus, the closure of EA under the induction rule for ∑n formulas is equivalent to ω times iterated ∑n reflection principle. Moreover, for k < ω, k (...) times iterated ∑n reflection principle over EA precisely corresponds to the extension of EA by k nested applications of ∑n induction rule.The above relationship holds in greater generality than just stated. In fact, we give general formulas characterizing in terms of iterated reflection principles the extension of any given theory by k nested applications of ∑n or Πn induction rules. In particular, the closure of a theory T under just one application of ∑1 induction rule is equivalent to T together with ∑1 reflection principle for each finite Π2 axiomatized subtheory of T.These results have closely parallel ones in the theory of subrecursive function classes. The rules under study correspond, in a canonical way, to natural closure operators on the classes of provably recursive functions. Thus, ∑1 induction rule precisely corresponds to the primitive recursive closure operator, and ∑1 collection rule, introduced below, corresponds to the elementary closure operator. (shrink)

We suggest an algebraic approach to proof-theoretic analysis based on the notion of graded provability algebra, that is, Lindenbaum boolean algebra of a theory enriched by additional operators which allow for the structure to capture proof-theoretic information. We use this method to analyze Peano arithmetic and show how an ordinal notation system up to 0 can be recovered from the corresponding algebra in a canonical way. This method also establishes links between proof-theoretic ordinal analysis and the work which has been (...) done in the last two decades on provability logic and reflection principles. Because of its abstract algebraic nature, we hope that it will also be of interest for non-prooftheorists. (shrink)

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.

The article brings under scrutiny an understudied dialogical account about the deposition of the patriarch of Constantinople Nicholas IV Mouzalon (1147-51). A close reading shows that this is not an official record of the proceedings but a piece of fiction that deliberately inverts the generic conventions of the two types of texts indicative of the 12th-century literary landscape, namely 1) minutes of church councils and 2) syllogistic theological dialogues. The anonymous author invites the reader to recognize the all-familiar scheme of (...) the Socratic interrogation but eventually departs from it investing the protagonists (Manuel I Komnenos and Mouzalon) with features that distance them from their Platonic models. The text seems to be inextricably linked to Mouzalon’s canonical dilemma: can an archbishop who previously voluntarily fled from his office be appointed archbishop once again? In fact, the author’s primary concern is not the patriarch but the emperor, a judge-logician who is at one and the same time Socrates and more than Socrates, and the new language able to reflect the changing balance between the imperial and ecclesiastical powers in mid- 12th-century Byzantium. (shrink)

Historically, appearance of the quantum theory led to a prevailing view that Nature is indeterministic. The arguments for the indeterminism and proposals for indeterministic and deterministic approaches are reviewed. These include collapse theories, Bohmian Mechanics and the many-worlds interpretation. It is argued that ontic interpretations of the quantum wave function provide simpler and clearer physical explanation and that the many-worlds interpretation is the most attractive since it provides a deterministic and local theory for our physical Universe explaining the illusion of (...) randomness and nonlocality in the world we experience. (shrink)

Successful communication is important for both society and people’s personal life. Here we show that people can improve their communication skills by interacting with multiple others, and that this improvement seems to come about by a greater tendency to take the addressee’s perspective when there are multiple partners. In Experiment 1, during a training phase, participants described figures to a new partner in each round or to the same partner in all rounds. Then all participants interacted with a new partner (...) and their recordings from that round were presented to naïve listeners. Participants who had interacted with multiple partners during training were better understood. This occurred despite the fact that the partners had not provided the participants with any input other than feedback on comprehension during the interaction. In Experiment 2, participants were asked to provide descriptions to a different future participant in each round or to the same future participant in all rounds. Next they performed a surprise memory test designed to tap memory for global details, in line with the addressee’s perspective. Those who had provided descriptions for multiple future participants performed better. These results indicate that people can improve their communication skills by interacting with multiple people, and that this advantage might be due to a greater tendency to take the addressee’s perspective in such cases. Our findings thus show how the social environment can influence our communication skills by shaping our own behavior during interaction in a manner that promotes the development of our communication skills. (shrink)

By a result of Paris and Friedman, the collection axiom schema for $\Sigma_{n+1}$ formulas, $B\Sigma_{n+1}$ , is $\Pi_{n+2}$ conservative over $I\Sigma_n$ . We give a new proof-theoretic proof of this theorem, which is based on a reduction of $B\Sigma_n$ to a version of collection rule and a subsequent analysis of this rule via Herbrand's theorem. A generalization of this method allows us to improve known results on reflection principles for $B\Sigma_n$ and to answer some technical questions left open by Sieg (...) [23] and Hájek [9]. We also give a new proof of independence of $B\Sigma_{n+1}$ over $I\Sigma_n$ by a direct recursion-theoretic argument and answer an open problem formulated by Gaifman and Dimitracopoulos [8]. (shrink)

A recent claim by Meehan that quantum mechanics has a new “control problem” that puts limits on our ability to prepare quantum states and revises our understanding of the no-cloning theorem is examined. We identify flaws in Meehan’s analysis and argue that such a problem does not exist.

This is a philosophical paper in favor of the many-worlds interpretation of quantum theory. The necessity of introducing many worlds is explained by analyzing a neutron interference experiment. The concept of the “measure of existence of a world” is introduced and some difficulties with the issue of probability in the framework of the MWI are resolved.

The main focus of the book is the presentation of the 'inertial' view of population growth. This view provides a rather simple model for complex population dynamics, and is achieved at the level of the single species without invoking species interactions. An important part of this account is the maternal effect. Investment of mothers in the quality of their daughters makes the rate of reproduction of the current generation depend not only on the current environment, but also on the environment (...) experienced by the previous generation. (shrink)

Translation of Lev Shestov's What is Philosophy?

The Many-Worlds Interpretation (MWI) is an approach to quantum mechanics according to which, in addition to the world we are aware of directly, there are many other similar worlds which exist in parallel at the same space and time. The existence of the other worlds makes it possible to remove randomness and action at a distance from quantum theory and thus from all physics.

We study the fragment of Peano arithmetic formalizing the induction principle for the class of decidable predicates, $I\Delta_1$ . We show that $I\Delta_1$ is independent from the set of all true arithmetical $\Pi_2-sentences$ . Moreover, we establish the connections between this theory and some classes of oracle computable functions with restrictions on the allowed number of queries. We also obtain some conservation and independence results for parameter free and inference rule forms of $\Delta_1-induction$ . An open problem formulated by J. (...) Paris is whether $I\Delta_1$ proves the corresponding least element principle for decidable predicates, $L\Delta_1$ (or, equivalently. the $\Sigma_1-collection$ principle $B\Sigma_1$ ). We reduce this question to a purely computation-theoretic one. (shrink)

An attempt to solve the collapse problem in the framework of a time-symmetric quantum formalism is reviewed. Although the proposal does not look very attractive, its concept - a world defined by two quantum states, one evolving forwards and one evolving backwards in time - is found to be useful in modifying the many-worlds picture of Everett’s theory.

A brief review of the attempts to define “elements of reality” in the framework of quantum theory is presented. It is noted that most definitions of elements of reality have in common the feature to be a definite outcome of some measurement. Elements of reality are extended to pre- and post- selected systems and to measurements which fulfill certain criteria of weakness of the coupling. Some features of the newly introduced concepts are discussed.

In his book, Aurelien Djian investigates the history of the concept of horizon in the evolution of Husserl’s thought. Addressing the most fundamental concerns of phenomenology, Djian redefines the horizon considering themes such as coherence of experience, the reality of the world, and motivation. He suggests an approach to exploring the horizon grounded in a detailed analysis of Thing and Space lectures. A significant conclusion of Djians’s book is that the origin of the horizon should not be attributed to Ideas (...) I, but to these lectures. This discovery is not only of historical significance, but also opens up a new perspective on relations between the world, the incompleteness of external experience, and the fluidity of attention. Djian denies Saulius Geniusas’ interpretation of “halo” and “background” as psychological opposites of the horizon, which functions in the domain of ontology. These phenomena are given as elements of experience temporarily left by attention, connected with actual ones. The consciousness of unfulfilled potentialities of experience ensures the coherence of experience, making the transition from actual to potential seamless. This paper covers Djian’s conclusions and part of his work that goes beyond the content of the book. We also try to contextualize Djian’s research and show the history of studies of the horizon in the philosophy of Edmund Husserl. (shrink)

Unfortunately, Adam Smith’s undeserved legacy as a proponent of laissez-faire and liberal institutions at the international scope inhibits profiting from his refined analysis of international affairs. I argue that the Wealth of Nations’ chapter on colonies contains Smith’s discussion of the sovereign’s adaptation to ignorance in global politics. I examine the sense in which the sovereign is ignorant according to Smith and how sovereigns adapt to ignorance with varying success. His comparative analysis suggests that reduction of one’s share in ignorance (...) is not always desirable, and a priori rejection of ignorance is impractical because it deprives of a potentially advantageous resource. A careful reading of his work enables learning from his approach to global politics, without filtering it through his ideas on the free market. (shrink)

The new world outlook paradigm of creativity correlates with the fundamental principles of metaphysics and modern natural science. The essential programs of development of science have been formed in Antiquity as the metaphysical principles. For example – principle of continuity VS principle of discreteness of matter;movement as God’s first impulse VS movement as natural attribute of matter. In the field of metaphysics were elaborated the very impotent concepts of modern science – matter, movement, force, atom, corpuscle, energy and others (M. (...) Wartofsky, J. Agassi). Nowadays philosophers and scientists discuss such metaphysical principles as so called antropic principle (S. Hawking, B. Carter); the deep expediency and harmony of physical laws (I. Rosental, Y. Linnick); the principle of synergy and self – organization of nature (I. Prigojin, H. Haken). All these principles may be united in the new metaphysical idea of informational matrix of Universe. (shrink)

The author of the monograph is a Candidate of Culturology, Associate Professor of Tyumen State University. The monograph tests approaches to the understanding of the essence of Hobbes’s and Locke’s ideas about miracles that are more flexible than a formational-evolutionist approach. The monograph presents the main characteristics of these ideas as Christian philosophical ones, shows their general Christian direction and the historiographic perspective of studying these ideas primarily in line with Christian philosophy. The monograph is intended for experts in the (...) history of philosophy, the history of ideas, theology, religious studies, historical anthropology, as well as for those interested in the problems of historical-philosophical knowledge. Автор монографии – кандидат культурологии, доцент Тюменского государственного университета. В монографии апробируются более гибкие подходы к пониманию сущности идей Гоббса и Локка о чудесах по сравнению с формационно-эволюционистским подходом. Представлены основные характеристики идей Гоббса и Локка о чудесах как христианских философских идей. Показана общехристианская направленность идей Гоббса и Локка о чудесах и историографическая перспективность изучения этих идей в первую очередь как христианских философских идей. Монография рассчитана на специалистов в области истории философии, истории идей, теологии, религиоведения, исторической антропологии, а также на всех, кто интересуется проблемами историко-философского знания. (shrink)

The article analyzes the main trends of the development of cross-border e-commerce, presents the position of the main characters: both supporters of «free trade» and protectionism on issues such as government regulation, as well as further development of cross-border e-commerce.

People differ in the size of their social network, and thus in the properties of the linguistic input they receive. This article examines whether differences in social network size influence individuals’ linguistic skills in their native language, focusing on global comprehension of evaluative language. Study 1 exploits the natural variation in social network size and shows that individuals with larger social networks are better at understanding the valence of restaurant reviews. Study 2 manipulated social network size by randomly assigning participants (...) to learn novel evaluative words as used by two versus eight speakers. It replicated the finding from Study 1, showing that those exposed to a larger social network were better at comprehending the valence of product reviews containing the novel words that were written by novel speakers. Together, these studies show that the size of one's social network can influence success at language comprehension. They thus open the door to research on how individuals’ lifestyle and the nature of their social interactions can influence linguistic skills. (shrink)

We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...) of GLP Λ. (shrink)

Argument of this text is that: to develop aesthetics of sport, we should not begin with aesthetics as philosophy of art but with aesthetics of everyday life; to start with aesthetics of sport, we should not begin with beautiful of ‘pure aesthetics’ but with the dramatic; to analyze the dramatic in sport, we should not open the analysis with analogy between theater and sport, but with sport as a sort of performance; to get at the meaning of sport as a (...) drama, we have to discuss different meanings ‘drama’ has in theory and everyday communication; to map the dramatic in sport as performance, we have to discuss some features of sport which determine its dramatics first, and its potential as spectacle later. To proceed with the argument, we have to take into account contemporary state of aesthetics, recent development of aesthetics of everyday life, and theory of performance, together with Bernard Suits’ definition of game, Gadamer’s idea of play, and Lévy-Strauss’ account on conjunctive and disjunctive ritual. (shrink)

“All Things Are Possible” is a 1920 English translation of the 1905 work by the Ukrainian/Russian existentialist philosopher Shestov. It draws on the aphoristic style of Nietzsche and deals with as diverse issues as science, rationalism and religion. This edition also includes an interesting foreword by D. H. Lawrence. Highly recommended for those with an interest in philosophy, and particularly existentialism. Contents include: “Lev Shestov”, “Note”, “Foreword”, “Zu Fragmentarish Ist Welt Und Leben”, and “Nur Für Schwindelfreie”. Many vintage books such (...) as this are increasingly scarce and expensive. It is with this in mind that we are republishing this volume now in an affordable, modern, high-quality edition complete with a specially-commissioned new biography of the author. (shrink)

Sociolinguistic research shows that listeners' expectations of speakers influence their interpretation of the speech, yet this is often ignored in cognitive models of language comprehension. Here, we focus on the case of interactions between native and non-native speakers. Previous literature shows that listeners process the language of non-native speakers in less detail, because they expect them to have lower linguistic competence. We show that processing the language of non-native speakers increases lexical competition and access in general, not only of the (...) non-native speaker's speech, and that this leads to poorer memory of one's own speech during the interaction. We further find that the degree to which people adjust their processing to non-native speakers is related to the degree to which they adjust their speech to them. We discuss implications for cognitive models of language processing and sociolinguistic research on attitudes. (shrink)

We investigate the bimodal logics sound and complete under the interpretation of modal operators as the provability predicates in certain natural pairs of arithmetical theories . Carlson characterized the provability logic for essentially reflexive extensions of theories, i.e. for pairs similar to . Here we study pairs of theories such that the gap between and is not so wide. In view of some general results concerning the problem of classification of the bimodal provability logics we are particularly interested in such (...) pairs that is axiomatized over by ∏1-sentences only, and, for each n 1, proves the n-times iterated consistency of . A complete axiomatization, along with the appropriate Kripke semantics and decision procedures, is found for the two principal cases: finitely axiomatizable extensions of this sort, like e.g. ), ), etc., and reflexive extensions, like ¦n 1\s}), etc. We show that the first logic, ICP, is the minimal and the second one, RP, is the maximal within the class of the provability logics for such pairs of theories. We also show that there are some provability logics lying strictly between these two. As an application of the results of this paper, in the last section the polymodal provability logics for natural recursive progressions of theories based on iteration of consistency are characterized. We construct a system of ordinal notation , which gives exactly one notation to each constructive ordinal, such that the logic corresponding to any progression along coincides with that along natural Kalmar elementary well-orderings. (shrink)

We characterize the bimodal provability logics for certain natural (classes of) pairs of recursively enumerable theories, mostly related to fragments of arithmetic. For example, we shall give axiomatizations, decision procedures, and introduce natural Kripke semantics for the provability logics of (IΔ 0 + EXP, PRA); (PRA, IΣ 1 ); (IΣ m , IΣ n ) for $1 \leq m etc. For the case of finitely axiomatized extensions of theories these results are extended to modal logics with propositional constants.