Purpose This study aims to examine the long-term effects of an Israeli digital literacy government program for disadvantaged populations, as they are perceived by participants of the program one year after completing the course. Design/methodology/approach Participants in the program were interviewed about the effects of participating in the program, their experiences and satisfaction, in retrospect, a year after they completed the program. Findings The main reasons for joining the program included cognitive motivations, mainly interest to become familiar with internet applications, (...) followed by employment aspiration. Positive benefits from participation included accumulated knowledge, confidence in using technology, empowerment and enhanced sense of self-efficacy. Interviewees also reported that as they could not practice or communicate with instructors once they completed the program, a significant portion of the accumulated gains faded. Social implications Social and practical implications: Digital technologies constitute key infrastructure to facilitate public participation, as well as for gaining social, political and economic capital. Therefore, there is a significant social value in reducing digital inequality by increasing digital literacy of disadvantaged populations, i.e. citizens with low socioeconomic status and low digital literacy. This study sheds light on the benefits gained from such programs, as perceived by past participants. Originality/value While previous studies evaluating digital literacy programs focus on specific technical improvements and short-term gains, this study investigates the long-term effects and shortcomings of the program as perceived by participants. (shrink)

University of Pennsylvania, USA, el322{at}nyu.edu ' + u + '@' + d + ' '//--> One of the most consistent findings in experimental studies of social dilemmas is the positive influence of face-to-face communication on cooperation. The face-to-face `communication effect' has been recently explained in terms of a `focus theory of norms': successful communication focuses agents on pro-social norms, and induces preferences and expectations conducive to cooperation. 1 Many of the studies that point to a communication effect, however, do not (...) further explore whether and to what extent the communication medium affects cooperative behavior. In this article, we ask if pro-social behavior can emerge and survive in computer-mediated environments. We show that, like face-to-face communication, computer-mediated communication also positively affects cooperation in social dilemmas, but cooperation is more difficult to establish and maintain. We argue that the discrepancy between the computer-mediated and the face-to-face communication effects is a consequence of the distinct capabilities of different media to focus agents on pro-social norms and to allow them to develop mutual expectations about future behavior. Key Words: social dilemmas • laboratory experiments • communication • social norms • cooperation • computer-mediated communication. (shrink)

The paper presents results of recent laboratory experiments that study if and how computer-mediated communication affects cooperation and trust. It is argued that communication medium does not matter much for trust-building and maintenance, whereas relevant pre-play communication and group size can have a major influence. The implications of the findings for the design of sites that depend on trusting communities are discussed.

Subjects communicated prior to playing trust games; the richness of the communication media and the topics of conversation were manipulated. Communication richness failed to produce significant differences in first-mover investments. However, the topics of conversation made a significant difference: the amounts sent were considerably higher in the unrestricted communication conditions than in the restricted communication and no-communication conditions. Most importantly, we find that first-movers' expectations of second-movers' reciprocation are influenced by communication and strongly predict their levels of investment.

ʻAl ḥinukh ha-yeladim -- ʻAl ḥinukh le-midot ṭovot.

This article examined the recent emergence of the national and international issue of religious polarisation and identity, which affects some groups’ populism and fanaticism. Regarding social phenomena, religion and identity are intertwined like the two sides of a coin. This discourse has an impact how to interpret diversity on religious issues that are caused by political influences. Given the polarisation of identity politics and religion, the national and state campaign slogan ‘unity in diversity’ is merely wishful thinking. The polarisation of (...) identity and religion is heavily implicated in the Indonesia–Philippines border case; consequently, in some instances, the ‘seeds’ of these cases are discovered, eventually resulting in group fanaticism. This article employed the historical way of writing while also taking a social science angle that interacts with the research being done. For some communities, religion and identity may take on symbolic meaning, affecting how well they adapt and are accepted. However, the qualities of a community group or region are also shaped by historical events. According to the study’s findings, religion and ethnic identity have played important roles in long-standing historical processes and impacted them. This study is anticipated to ‘suppress’ the problem of political division involving religion and identity because the identification of ‘border’ communities depends not only on entity and identity issues but also on the community’s culture.Contribution: The contribution in this study is that it has an impact on religious issues and cultural identity relations perspectives. (shrink)

England, known as “the empire without sun settling down” and being among the final winners of the World War I (1914-1918), had one of the heaviest defeats of its history against the Ottoman Empire in the Kut al-Amara, which happened on 29 April 1916 close to Baghdad. Following the defeat of Kut al-Amara, which was the most important war trauma for England during the World War I, the Turks and Germans, as winner side of the battle were evaluated by British (...) prisoners from military, political, cultural and socio-psychological aspects in their memories. Content analysis method is used in the article for qualitative evalution of the data related to the Turkish and German image reflected in the memories of British prisoners after the siege of Kut al-Amara. The alliance between Turks and Germans is regarded as contrast in terms of important elements as national and ethnic identity, language, religion and culture in the main sources of the research as My Compain by Charles Townshend, Besieged in Kut and After by Barber, A Kut Prisoner by Bishop, In Kut and Captivity with the Sixth Indian Division by Sandes, The Secrets of a Kuttite by Mousley which occationally use exaggerated language and the subjective information due to the impact of traumatic defeat.Summary: Being a heroic epic in the war history of Turkey, Kūt al-‘Amāra has been the subject of very fewer researches until recently, despite its importance in Turkey’s history. This argument is supported by the fact that the memoirs by Ottoman soldiers related to the WWI, which also encompass information about Kūt al-‘Amāra, were published half a century after the war at the earliest. Unlike the records of Turkish soldiers participating in Kūt al-‘Amāra, the memoirs and the war diaries of British soldiers were published shortly after the war, as early as possible, between the years of 1918-1921. The authors of these memoirs and war diaries informed the public on the reasons for the defeat of Kūt al-‘Amāra on the one hand, and on the other hand created the Ottoman and Turkish image which was concidered differently in the British society in terms of culture and civilization. They also strengthened this image over that of German’s, with whom they shared many common values despite the fact that they represented the opposite fronts of the war.It is worthy mentioning that the role of the Ottoman army in the victory of Kūt al-‘Amāra was highly underestimated by the memoirs of the British prisoners. According to the authors, it is not the Turkish army that has achieved real victories over the British, but Germany’s support, notably General von der Goltz, the great strategist of Europe. The effects of bad weather conditions and geographical situation are also emphasized among the reasons of the defeat of Kūt al-‘Amāra. Consequently, the success of the Turkish army in the victory of Kūt al-‘Amāra was ignored, except for the role of Halil Pasha. The image of an army that knows the trench and defence techniques well, but fails to attack is one of the prominent evaluations in the memoirs related to the Turkish military characteristics.The British prisoners of war, who evaluate the Turkish and German image through the economic and political situation, draw a very desperate picture of the situation of the Turks in the mentioned areas. According to this image, corruption and bribery prevails at every stage of the Turkish government. The Turks are unable to repay their dept to Germany, which dominates the economy of the country completely. According to these records, besides ordinary people, the army is also facing great difficulties in meeting basic requirements. To convert the Ottoman Empire into their own property and keep the Turks under their control in military, economic and political spheres, the Germans lend a high amount of money.On the basis of Turkish soldiers encountered in Kūt al-‘Amāra, the British prisoners characterizes the Turks as physically large, hard and strong-bodied people. The authors also note that the Turks are not as cold-blooded, calm and obedient as they seem at first sight, rather they become rude people when they get angry. Another feature that British prisoners evaluate as a potential of the Turks, is their childish spirit. In as much as they are happy with small things and can be offended by small things. According to the memoirs, the Germans should not be allowed to benefit from these characteristics of the Turks, but the British should take the advantage of their potential power.The moral characteristics of the Turks and the Germans are among the most emphasized subjects. Written in exceptional time such as war, sometimes the diaries include exaggerated and sentimental phrases related to the moral attitudes enemy soldiers exhibited during siege, as well as captivity. Turks are regarded as negligent and careless rather than cruel or ruthless. They owe these characteristics to their Eastern identity, which is different from the Europeans having virtues such as task responsibility and diligence. The moral characteristic of the Turks regarding the duty, responsibility and kindness is evaluated comparatively with the civilized and humanistic behaviors of the Germans towards the prisoners. Being Europeans, the Germans often come to the fore because of their more polite treatment towards the British prisoners. Although the Germans as an enemy fought against the British on the front, they were kind to them in the Ottoman territories as the only civilized people among the barbarian peoples of the East.The Turks and the Germans are compared in the field of education, as well as other areas of development. The authors emphasize that the education level of the Turks is very low; Armenian and Greek subjects of the Empire are its brain and financial resources, which is the reason why the Turks are anxious about them. The Germans have the superiority in both transportation and communication technology in the Ottoman territories. One of the reasons they had a huge investment on the Ottoman territories is the Berlin-Istanbul-Baghdad-Basra railway. The British prisoners give details on the German communication technology they encountered during both the battle and the captivity days in Anatolia. In addition to the transport and communication technology, they also record much German-made military equipment, from weapons to maps.Evaluating the Turks and the Germans as opposites, the British prisoners draw an image for the latter, with whom they share a common cultural legacy, as a fully equipped enemy in terms of technology and strategy on the front, and the civilized Europeans characterized with their virtue in non-war situations. On the contrary, the Turks are described as a strong defender and daredevil soldiers on the front line, but strategically weak on the front. In terms of duties and responsibilities, the Turkish soldiers are presented with negligent and irresponsible approach towards their prisoners. The images of the Turks and the Germans, which are compared by the British prisoners, are often based on their Eastern and Western identity. The Turks symbolize the East with economic, political and cultural backwardness, yet quite the contrary, the Germans symbolize the West in terms of development, modernity and civilization. The British prisoners sometimes used exaggerated expressions in their approaches regarding both sides, as well as different details in terms of information and interpretation about the same event, due to the trauma of defeat. (shrink)

First English-language translation of Lev Shestov's early writings on faith, ancient philosophy and biblical revelation.

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)

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)

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)

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)

Analyzes principal forces that determined the direction of Camus' thought on ethics and political values.

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)

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)

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)

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.

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 study the arithmetical schema asserting that every eventually decreasing elementary recursive function has a limit. Some other related principles are also formulated. We establish their relationship with restricted parameter-free induction schemata. We also prove that the same principle, formulated as an inference rule, provides an axiomatization of the Σ2-consequences of IΣ1.Using these results we show that ILM is the logic of Π1-conservativity of any reasonable extension of parameter-free Π1-induction schema. This result, however, cannot be much improved: by adapting a (...) theorem of D. Zambella and G. Mints we show that the logic of Π1-conservativity of primitive recursive arithmetic properly extends ILM.In the third part of the paper we give an ordinal classification of -consequences of the standard fragments of Peano arithmetic in terms of reflection principles. This is interesting in view of the general program of ordinal analysis of theories, which in the most standard cases classifies Π-classes of sentences. (shrink)

Denić ( 2018, 2019, To appear ) observes that the availability of distributive inferences—for sentences with disjunction embedded in the scope of a universal quantifier—depends on the size of the domain quantified over as it relates to the number of disjuncts. Based on her observations, she argues that probabilistic considerations play a role in the computation of implicatures. In this paper we explore a different possibility. We argue for a modification of Denić’s generalization, and provide an explanation that is based (...) on intricate logical computations but is blind to probabilities. The explanation is based on the observation that when the domain size is no larger than the number of disjuncts, universal and existential alternatives are equivalent if distributive inferences are obtained. We argue that under such conditions a general ban on ‘fatal competition’ (Magri 2009a, b, Spector 2014 ) is activated, thereby predicting distributive inferences to be unavailable. (shrink)

This article compares the sections on the qualities desirable in a wife in Abū Ḥāmid al-Ghazālī’s Iḥyāʾ ʿulūm al-dīn and Bar Hebraeus’s Ethicon, which the West Syrian writer modeled on al-Ghazālī’s work. The article first establishes that al-Ghazālī based his profile of the ideal wife on a jurisprudential discussion of the topic by his teacher, Imām al-Ḥaramayn al-Juwaynī, expanding it, however, by adding anecdotes from Sufi literature and reasoned arguments on how “the good wife” will best facilitate her husband’s devotion (...) to God. The article then moves to consider how Bar Hebraeus appropriates, reconfigures, and reframes as Christian teaching al-Ghazālī’s discussion. Finally, the article argues that the similarity between the two texts demonstrates that both carve out a particular notion of male piety intelligible and resonant in their different religious traditions and in the broader monotheistic culture of the premodern Middle East. (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)

Svensson argued that the concept of the weak value of an observable of a pre- and post-selected quantum system cannot be applied when the expectation value of the observable in the initial state vanishes. Svensson’s argument is analyzed and shown to be inconsistent using several examples.

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.

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.

Theorists, who broadly subscribe to Claude Lefort’s characterization of democracy as the dissolution of the markers of certainty, disagree over the proper enactment of democracy. In this article, I consider the possibility of narrowing the gap by attending to the ignorance advocated by each of the two approaches – the disruptive radical route Jacques Rancière describes and the reformist approach of Richard Rorty. I highlight the attributes and shortcomings of the positive link between practices of ignorance and democracy in the (...) work of the two theorists, and explore how the practices they describe can complement each other in the enactment of democracy. (shrink)

It is argued that Lewis's approach to Elga's Sleeping Beaty problem is untenable and, therefore, the universality of the betting approach to probability has not been breached.

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)

The present paper is a commentary on O.A. Domanov’s paper devoted to the use of modern type theory in the analysis of quantification in opaque contexts (e. g., propositional attitudes and believe reports). The article briefly mentions several recent attempts to use type theory to solve a number of philosophical problems. The paper suggests that the use of modern type theory, which has a number of significant advantages over classical logic and set theory, is a very promising direction in the (...) development of philosophical problems in the spirit of analytic philosophy. In addition, the paper indicates a number of questions on which it would be desired to receive a clarification from the author of the paper being commented. (shrink)

Three arguments based on the Greenberger-Horne-Zeilinger (GHZ) proof of the nonexistence of local hidden variables are presented. The first is a description of a simple game which a team that uses the GHZ method will always win. The second uses counterfactuals in an attempt to show that quantum theory is nonlocal in a stronger sense than is implied by the nonexistence of local hidden variables and the third describes peculiar features of time-symmetrized counterfactuals in quantum theory.

This paper describes two quotation strategies employed by speakers of Nanti, one involving grammaticalized quotatives and another involving complement-taking verbs of saying, and examines the consequences of the pragmatic differences between these strategies for two key questions in the study of evidentiality: first, the importance of degree of grammaticalization in delimiting ‘evidentials’; and second, the importance of the analytical distinction between epistemic modal and ‘source of information’ evidential meanings. Nanti use of the two quotation strategies is specifically analyzed in the (...) context of self-quotation practices in order to isolate specific aspects of their pragmatics. This analysis shows that the lexical quotative strategy expresses that the quoted party is not only the source of the content of the utterance, but is also an ‘illocutionary source’, who is committed to the interactional force of the utterance, while the grammaticalized quotative strategy does not indicate such a commitment. The functional difference between lexical and grammatical quotative strategies in Nanti is compared with differences between lexical and grammaticalized quotative and reportive strategies found in other languages, and the Nanti results are found to be consistent with cross-linguistic tendencies towards functional differentiation of lexical quotative and reportives, on the one hand, and their grammaticalized counterparts, on the other. These facts, it is argued, motivate a distinction on functional grounds between grammaticalized reportives and quotatives and their lexical counterparts, supporting the use of grammaticalization as a criterion for distinguishing evidentials proper from evidential strategies. The commitment-augmenting function of the lexical quotative construction in Nanti self-quotation is then examined in light of the commitment-diminishing function commonly attributed to quotatives and reportives. It is argued that both types of commitment-modulating effects emerge as implicatures from the basic information and illocutionary source semantics of Nanti lexical quotatives, and from pragmatic reasoning based on whether the quoted party is first person or third person. The fact that both commitment-modulating functions of Nanti lexical quotatives are derived from semantics of lexical quotatives elements is argued to show that the distinction between information source and epistemic modal meanings, often taken to be a pivotal notional distinction in defining evidentiality as a grammatical category, is also essential to the proper analysis of the pragmatics of evidential strategies in discourse. (shrink)

The problem of infinities in quantum field theory (QFT) is a longstanding problem in particle physics. To solve this problem, different renormalization techniques have been suggested but the problem persists. Here we suggest another approach to the elimination of infinities in QFT, which is based on non-Diophantine arithmetics – a novel mathematical area that already found useful applications in physics, psychology, and other areas. To achieve this goal, new non-Diophantine arithmetics are constructed and their properties are studied. In addition, non-Diophantine (...) integration is developed in these arithmetics. These constructions allow using constructed non-Diophantine arithmetics for computing integrals associated with Feynman diagrams. Although in the conventional QFT such integrals diverge, their non-Diophantine counterparts are convergent and rigorously defined. As the result, QFT becomes consistent with quantum experiments. (shrink)

After the novel, and subsequently cinema privileged narrative as the key form of cultural expression of the modern age, the computer age introduces its correlate — database. Why does new media favour database form over others? Can we explain ist popularity by analysing the specificity of the digital medium and of computer programming? What is the relationship between database and another form, which has traditionally dominated human culture — narrative? In addressing these questions, I discuss the connection between computer's ontology (...) — the way software represents the world — and the new cultural forms privileged by computer culture such as database. I propose that computerisation of culture involves projection of two fundamental parts of computer software — data structures and algorithms — onto the cultural sphere. Thus CD-ROMs and Web databases are cultural manifestations of one half of this ontology — data structures; while new media narratives are manifestations of the second part — algorithms. I conclude by proposing that in computer culture database and narrative do not have the same status. Given that on the level of data organisation most new media objects are databases, it is not surprising that on the level of form database also dominates new media culture. (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 environment in which humans evolved is strongly and positively autocorrelated in space and time. Probabilistic judgments based on the assumption of independence may not yield evolutionarily adaptive behavior. A number of “faults” of human reasoning are not faulty under fuzzy arithmetic, a nonprobabilistic calculus of reasoning under uncertainty that may be closer to that underlying human decision making.

Proc. of the 8th International Conference on Advances in Modal Logic, (AiML'2010).

At IAPS Ljubljana conference (September 2007) Dag Vidar Hanstad and Sigmund Loland presented a paper on elite-level athletes' duty to provide information on their whereabouts, to decide between two opposing positions: is this WADA demand justifiable anti-doping work or an indefensible surveillance regime? They concluded that on moral grounds this regime is conditionally acceptable, the condition being the acceptability of a general framework and objectives embodied in anti-doping global legislative foundations (the World Anti-Doping Code). But, as they said, principled objections (...) against the system have more universal relevance, which has to be taken seriously . To take this ambiguous and intriguing conclusion a step further, I propose a legal rather than ethical approach, from the aspect of constitutional and international human rights law, and the possible clash of two legally acknowledged values - the concept of elite sport without doping, and the concept of individual human rights. This conflict between ideological or moral values and the legality of individual rights is not a novelty. This paper presents three instances of this conflict: Bernard de Mandeville's differentiation between public and private values; Eug ne Sue's parallel legal and civil morals; and the contemporary moralisation of law which conflates legality into morality. The subordination of legality to morality has potentially dangerous consequences: here, Agamben's 'state of exception' comes to mind, with his analysis of potestas and auctoritas. However, in the case of sport and the war against doping, the origin of power is not in the nation state; it originates in civil society's non-governmental national and international bodies recognised as autonomous sources of legal order. (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.

The paper is devoted to analysis of P. Benacerraf’s argument against set-theoretic reductionist realism which is a fragment of a broader argument, know as the “identification problem”. The analyzed fragment of P. Benacerraf’s argument concerns the possibility of reducing of mathematical notions to set-theoretic notions. The paper presents a reconstruction of P. Benacerraf’s original argumentation, its analysis and also several possible objections proposed by P. Benacerraf himself about 30 years later after the original publication. Namely, he claimed (1) that a (...) set-theoretic definition of natural numbers in G. Frege’s fashion can serve as a proper and unique set-theoretic definition, (2) that his argument doesn’t undermine eliminative reductionsts’ position, (3) that even if there are no argument possible in favor of some particular set-theoretic definition of natural numbers one may take set-theoretic realism for granted. An analysis of the mentioned possible objections shows their dependence on a number of additional premises. The paper demonstrates that P. Benacerraf’s objections on his own argument against set-theoretic realism either have a pragmatic character themselves or essentially rely on additional arguments that are justified pragmatically or require additional argumentation. For example, his possible objections require that set theory is considered as the only true foundational theory in mathematics, and that it has several important pragmatic virtues, like convenience of use to formalize other mathematical theories. In some cases, P. Benacerraf’s objections on their own, or the indicated additional principles may well be called into question, which demonstrates the insufficiency of P. Benacerraf’s objections against his original argument. Without the mentioned pragmatic arguments P. Benacerraf’s objections become a kind of belief in mysticism. Accordingly, his doubts about his own argument against set-theoretical realism seem insufficient to reject the problem of identification and save the position of set-theoretical realism from collapse. (shrink)

The problem of neural memory storage is discussed, based on the results of studies of memory impairment after hippocampal lesions, motor learning, and electrophysiological research on “spinal memory. ” I support Shors & Matzel's major statements. The absence of reliable evidence on the LTP memory storage function and other data cast doubt on the synaptic theory of memory.

We criticize the synaptic theory of long-term memory and the inappropriate usage of physical notions such as in motor control theories. Motor control and motor memory hypotheses should be based on explicitly specified hypothetical control variables that are sound from both physiological and physical perspectives. [HOUK et al.; SMITH; THACH].

In my previous texts on aesthetics of sport and of football, the accent was on dramatic aesthetic properties and on everyday aesthetics as a proper framework for the aesthetics of sport in general and football in particular. Here, following this starting point, the character of football as a game of social interactions and its character of purposive sport are examined, to find out what could be the most important aesthetic condition for playing the game and being-in-the-game. To get at the (...) core of the aesthetic side of football, the concept of aesthetic imagination is introduced as a necessary condition for playing the game of football, and three aesthetic regimes for creation of possible worlds or symbolic forms such as football are discussed. There are two steps where the aesthetic imagination helps. The first one is at the entrance where we are leaving ordinary everyday life behind, being ready to accept the world of.. (shrink)

ABSTRACT We consider several ways in which a good understanding of modern techniques and principles in physics can elucidate ecology, and we focus on analogical reasoning between these two branches of science. Analogical reasoning requires an understanding of both sciences and an appreciation of the similarities and points of contact between the two. In the current ecological literature on the relationship between ecology and physics, there has been some misunderstanding about the nature of modern physics and its methods. Physics is (...) seen as being much cleaner and tidier than ecology. When compared to this idealized, fictional version of physics, ecology looks very different, and the prospect of ecology and physics learning from one another is questionable. We argue that physics, once properly understood, is more like ecology than ecologists have thus far appreciated. Physicists and ecologists can and do learn from each other, and, in this paper, we outline how analogical reasoning can facilitate such exchanges. (shrink)