BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.

Inductive reasoning and semantic cognition: More than just different names for the same thing?

We describe evidence that certain inductive phenomena are associated with IQ, that different inductive phenomena emerge at different ages, and that the effects of causal knowledge on induction are decreased under conditions of memory load. On the basis of this evidence we argue that there is more to inductive reasoning than semantic cognition.

Just how controversial is evidential holism?

This paper is an examination of evidential holism, a prominent position in epistemology and the philosophy of science which claims that experiments only ever confirm or refute entire theories. The position is historically associated with W.V. Quine, and it is at once both popular and notorious, as well as being largely under-described. But even though there’s no univocal statement of what holism is or what it does, philosophers have nevertheless made substantial assumptions about its content and its truth. Moreover they have drawn controversial and important conclusions from these assumptions. In this paper I distinguish three types of evidential holism and argue that the most oft-cited and controversial thesis is entirely unmotivated. The other two theses are much overlooked, but are well-motivated and free from controversial implications.

Evidential Holism and Indispensability Arguments

The indispensability argument is a method for showing that abstract mathematical objects exist (call this mathematical Platonism). Various versions of this argument have been proposed (§1). Lately, commentators seem to have agreed that a holistic indispensability argument (§2) will not work, and that an explanatory indispensability argument is the best candidate. In this paper I argue that the dominant reasons for rejecting the holistic indispensability argument are mistaken. This is largely due to an overestimation of the consequences that follow from evidential holism. Nevertheless, the holistic indispensability argument should be rejected, but for a different reason (§3)—in order that an indispensability argument relying on holism can work, it must invoke an unmotivated version of evidential holism. Such an argument will be unsound. Correcting the argument with a proper construal of evidential holism means that it can no longer deliver mathematical Platonism as a conclusion: such an argument for Platonism will be invalid. I then show how the reasons for rejecting the holistic indispensability argument importantly constrain what kind of account of explanation will be permissible in explanatory versions (§4).

Enhanced approach for latent semantic indexing using wavelet transform

Latent semantic indexing (LSI) is a technique used for intelligent information retrieval (IR). It can be used as an alternative to traditional keyword matching IR and is attractive in this respect because of its ability to overcome problems with synonymy and polysemy. This study investigates various aspects of LSI: the effect of the Haar wavelet transform (HWT) as a preprocessing step for the singular value decomposition (SVD) in the key stage of the LSI process; and the effect of different threshold types in the HWT on the search results. The developed method allows the visualisation and processing of the term document matrix, generated in the LSI process, using HWT. The results have shown that precision can be increased by applying the HWT as a preprocessing step, with better results for hard thresholding than soft thresholding, whereas standard SVD-based LSI remains the most effective way of searching in terms of recall value.

Turning the tide: A critique of Natural Semantic Metalanguage from a translation studies perspective

Starting from the premise that human communication is predicated on translational phenomena, this paper applies theoretical insights and practical findings from Translation Studies to a critique of Natural Semantic Metalanguage (NSM), a theory of semantic analysis developed by Anna Wierzbicka. Key tenets of NSM, i.e. (1) culture-specificity of complex concepts; (2) the existence of a small set of universal semantic primes; and (3) definition by reductive paraphrase, are discussed critically with reference to the notions of untranslatability, equivalence, and intra-lingual translation, respectively. It is argued that a broad spectrum of research and theoretical reflection in Translation Studies may successfully feed into the study of cognition, meaning, language, and communication. The interdisciplinary exchange between Translation Studies and linguistics may be properly balanced, with the former not only being informed by but also informing and interrogating the latter.