We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for the test (...) operator to avoid unwanted side effects caused by the interaction of the classic test operator with the extra interaction axioms. (shrink)

The present study examined the effects of thought suppression on sleep-onset mentation. It was hypothesized that the decrease of attentional control in the transition to sleep would lead to a rebound of a suppressed thought in hypnagogic mentation. Twenty-four young adults spent two consecutive nights in a sleep laboratory. Half of the participants were instructed to suppress a target thought, whereas the other half freely thought of anything at all. To assess target thought frequency, three different measures were used in (...) the wake state and mentation reports were repeatedly prompted by a computer at sleep onset. In support of the hypothesis, results revealed a reversal of target thought frequency at sleep onset: Participants instructed to suppress reported fewer target thoughts than did controls before falling asleep, but more target thoughts afterwards. (shrink)

The concept of “site” is at the center of current debates in theories of social practices as well as in cultural anthropology. It is unclear, however, how to assess the associated methodological assumption that overriding social structures or cultural formations can manifest themselves in sites. The article draws on the conception of social practices and introduces the notion of “publicness” in order to explicate how and why sociality and social structures can be accessed through “siting”. Sites as well as social (...) practices, it is claimed, have to be conceptualized as essentially public and thus principally observable phenomena. This assumption of publicness implicit to both site ontology and theories of social practices is unfolded on the basis of a praxeological reformulation of the paradigm of joint attention elaborated in developmental psychology. To avoid presentist misinterpretations, we then conceptualize sociality as chains of practices across time and space, drawing on the works of Theodore Schatzki, Ludwig Wittgenstein, Anthony Giddens and Bruno Latour. The public carriers of practices (artifacts, symbols, media, bodies) and the translocal structures they establish acquire particular significance in these approaches. In a further step, we present some methodological consequences of the “publicness assumption” and support our arguments by referring to Pierre Bourdieu's study on Distinction. (shrink)

A translation based on the Latin text of the Leonine edition. The Quaestiones Disputatae de Veritate constitutes Aquinas's most extended treatment of any single topic. Volume I discusses the nature of truth and divine and angelic intellects. Volume II deals with truth and human intellect. Volume III investigates the operation of the will.

ABSTRACT This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly generated formulae. The theorem provers tested are the Davis-Putnam-based procedure KSAT, the tableaux-based system KRZIS, the sequent-based Logics Workbench, and a translation approach combined with the first-order theorem prover SPASS. Our benchmark suites are sets of multi-modal formulae in a certain normal form randomly generated according to the scheme of Giunchiglia and Sebastiani [GS 96a, GS 96b]. We investigate the quality of (...) the random modal formulae and show that the scheme has some shortcomings, which may lead to mistaken conclusions. We propose improvements to the evaluation method and show that the translation approach provides a viable alternative to the other approaches. (shrink)