Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

The Linguistic Determination of Conscious Thought Contents

In this paper we address the question of what determines the content of our conscious episodes of thinking, considering recent claims that phenomenal character individuates thought contents. We present one prominent way for defenders of phenomenal intentionality to develop that view and then examine ‘sensory inner speech views’, which provide an alternative way of accounting for thought‐content determinacy. We argue that such views fare well with inner speech thinking but have problems accounting for unsymbolized thinking. Within this dialectic, we present an account of the nature of unsymbolized thinking that accords with and can be seen as a continuation of the activity of inner speech, while offering a way of explaining thought‐content determinacy in terms of linguistic structures and representations.     

Factorial invariance,differential item functioning,and norms of the Orgasm Rating Scale

Background/Objective: Orgasm Rating Scale (ORS) assess the subjective orgasm experience in context of sexual relationship. It is composed of four dimensions attributed to the orgasm (Affective, Sensory, Intimacy, and Rewards). The purpose is to analyse the factorial invariance of the ORS across groups, to examine the metric equivalence across sex, and to present the standard scores. Method: A total of 1,472 Spanish adults (715 men and 757 women) were evaluated. They were distributed across age groups (18-34, 35-49 and 50 years old and older). Factorial invariance across different groups and the differential functioning of the items across sex were analyzed, internal consistency was examined, and the standard scores were developed. Results: The structure of the ORS showed strict measurement invariance across sex, relationship status, sexual orientation and education level. It also reached a scalar measurement invariance across age range and duration of the relationship. Some items showed a differential functioning between sexes. Conclusions: The Spanish version of the ORS is invariant across different groups at a factorial level, and it shows equivalence across sex in most of its items at a metric level. The standard scores allow a more accurate assessment of the subjective orgasm experience in context of sexual relationship.     

Value ascriptions: rethinking cognitivism

Philosophical Studies - This paper focuses on value as ascribed to what can be desired, enjoyed, cherished, admired, loved, and so on: value that putatively serves as ground for evaluating such...     

Reducing a Male Bias in Language? Establishing the Efficiency of Three Different Gender-Fair Language Strategies

Sex Roles - Different strategies of gender-fair language have been applied to reduce a male bias, which means the implicit belief that a word describing an undefined person describes a man. This...     

The Use of an Identifiability-Based Strategy for the Interpretation of Parameters in the 1PL-G and Rasch Models

Psychometrika - Using the well-known strategy in which parameters are linked to the sampling distribution via an identification analysis, we offer an interpretation of the item parameters in the...     

On the Systematic Inadequacy of Fictionalism about Fictional Characters

Philosophia - Critical statements, if true, bear ontological commitments to fictional entities. A well-known version of fictionalism about fictional characters tries to eliminate these ontological...