The existence of matrices strongly adequate for E,R and their fragments

A logic is a pair (P,Q) where P is a set of formulas of a fixed propositional language and Q is a set of rules. A formula is deducible from X in the logic (P, Q) if it is deducible from XP via Q. A matrix is strongly adequate to (P, Q) if for any , X, is deducible from X iff for every valuation in , is designated whenever all the formulas in X are. It is proved in the present paper that if Q = {modus ponens, adjunction } and P {E, R, E ⁺, R ⁺, E ^I, R ^I } then there exists a matrix strongly adequate to (P, Q).     

Temporal stability of the Czech translation of the Satisfaction with Life Scale: test-retest data over one week

The present study supplemented the limited 1999 psychometric data by Lewis, et al. on the Czech translation of the Satisfaction With Life Scale by examining the temporal stability of the measure over a 1-wk. period for 64 Czech undergraduate university students. Analysis indicated stability across the two administrations was very high (r=.90), and there was no significant change between Time 1 (M=23.7, SD=5.1) and Time 2 (M=24.1, SD=5.5). Short-term test-retest reliability of this Czech translation is supported.     

Undefinability of propositional quantifiers in the modal system S4

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS4² (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and □.     

Formal systems for modal operators on locales

In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.     

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.