Schellenberg’s Hiddenness Argument and its Reversal

The article discusses a response to Schellenberg’s atheistic ‘hiddenness argument’ (A-argument) that neither objects to its premises nor formulates a new inductive argument in favour of the existence of God. According to the proposed response, it is sufficient for the task of defending theism to reverse Schellenberg’s reasoning and present a theistic meta-argument (T-argument) that takes as its assumption the fact that there are resistant believers in the world. The paper defends the claim that both arguments (A- as well as T-argument) have similar persuasive power. However, because of their contradictory conclusions both cannot be sound. It is argued that the way to decide the dilemma is to compare the demographics of theism and atheism and to compare accommodation strategies of both arguments. The first comparison favours theism, but it does not exclude the possibility that quantitative proportions between theists and atheists can change in the future. The second comparison refers to accommodation strategies of proponents of A-argument who have to give an account of how it is possible that in an atheistic world there exist resistant believers and of proponents of T-argument who have to give an account of how it is possible that in the world governed by an all-powerful and all-loving God there exist nonresistant nonbelievers. The conclusion of the considerations is the claim that the theistic accommodation strategy compares favourably to the atheistic one.

     

Context reinstatement and memory for intrinsic versus extrinsic context: The role of item generation at encoding or retrieval

According to many theoretical accounts, reinstating study context at the time of test creates optimal circumstances for item retrieval. The role of context reinstatement was tested in reference to context memory in several experiments. On the encoding phase, participants were presented with words printed in two different font colors (intrinsic context) or two different sides of the computer screen (extrinsic context). At test, the context was reinstated or changed and participants were asked to recognize words and recollect their study context. Moreover, a read‐generate manipulation was introduced at encoding and retrieval, which was intended to influence the relative salience of item and context information. The results showed that context reinstatement had no effect on memory for extrinsic context but affected memory for intrinsic context when the item was generated at encoding and read at test. These results supported the hypothesis that context information is reconstructed at retrieval only when context was poorly encoded at study.     

Czech version of Rey Auditory Verbal Learning test: Normative data

The present study provides normative data stratified by age for the Rey Auditory Verbal Learning test Czech version (RAVLT) derived from a sample of 306 cognitively normal subjects (20–85 years). Participants met strict inclusion criteria (absence of any active or past neurological or psychiatric disorder) and performed within normal limits on other neuropsychological measures. Our analyses revealed significant relationships between most RAVLT indices and age and education. Normative data are provided not only for basic RAVLT scores, but for the first time also for a variety of derived (gained/lost access, primacy/recency effect) and error scores. The study confirmed a logarithmic character of the learning slope and is consistent with other studies. It enables the clinician to evaluate more precisely subject’s RAVLT memory performance on a vast number of indices and can be viewed as a concrete example of Quantified Process Approach to neuropsychological assessment.     

Executive Resources and Item-Context Binding: Exploring the Influence of Concurrent Inhibition,Updating, and Shifting Tasks on Context Memory

Previous research has demonstrated that context memory performance decreases as a result of cognitive load. However, the role of specific executive resources availability has not been specified yet. In a dual-task experiment, participants performed three kinds of concurrent task engaging: inhibition, updating, or shifting operations. In comparison with a no-load single-task condition, a significant decrease in item and context memory was observed, regardless of the kind of executive task. When executive load conditions were compared with non-specific cognitive load conditions, a significant interference effect was observed in the case of the inhibition task. The inhibition process appears to be an aspect of executive control, which relies on the same resource as item-context binding does, especially when binding refers to associations retrieved from long-term memory.     

Asymptotic Densities in Logic and Type Theory

This paper presents a systematic approach for obtaining results from the area of quantitative investigations in logic and type theory. We investigate the proportion between tautologies (inhabited types) of a given length n against the number of all formulas (types) of length n. We investigate an asymptotic behavior of this fraction. Furthermore, we characterize the relation between number of premises of implicational formula (type) and the asymptotic probability of finding such formula among the all ones. We also deal with a distribution of these asymptotic probabilities. Using the same approach we also prove that the probability that randomly chosen fourth order type (or type of the order not greater than 4), which admits decidable lambda definability problem, is zero. Presented by Jacek Malinowski     

A formalisation of violation, error recovery, and enforcement in the bit transmission problem

The design of complex multi-agent systems is increasingly having to confront the possibility that agents may not behave as they are supposed to. In addition to analysing the properties that hold if protocols are followed correctly, it is also necessary to predict, test, and verify the properties that would hold if these protocols were to be violated. We illustrate how the formal machinery of deontic interpreted systems can be applied to the analysis of such problems by considering three variations of the bit transmission problem. The first, an example in which an agent may fail to do something it is supposed to do, shows how we deal with violations of protocols and specifications generally. The second, an example in which an agent may do something it is not supposed to do, shows how it is possible to specify and analyse remedial or error-recovery procedures. The third combines both kinds of faults and introduces a new component into the system, a controller, whose role is to enforce compliance with the protocol. In each case the formal analysis is used to test whether critical properties of the system are compromised, in this example, the reliable communication of information from one agent to the other.     

Statistics of Intuitionistic versus Classical Logics

For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic logic of one variable with implication and negation. The result is obtained by reducing the problem to the same one of Dummett's intermediate linear logic of one variable (see [2]). Actually, this paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part (more than 93%) of classical prepositional calculus. Despite using strictly mathematical means to solve all discussed problems, this paper in fact, may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences.