Subalgebras and homomorphisms of semi-Post algebras

Semi-Post algebras have been introduced and investigated in [6]. This paper is devoted to semi-Post subalgebras and homomorphisms. Characterization of semi-Post subalgebras and homomorphisms, relationships between subalgebras and homomorphisms of semi-Post algebras and of generalized Post algebras are examined.     

Envisioning motherhood: Mental-state language in caregiving narratives across the perinatal period

Nancy Suchman's work highlighted the fundamental role of maternal mentalization in maternal addiction, mental health, and caregiving challenges. In this study, we aimed to examine the role of mental-state language (MSL) as a measure of mentalization in prenatal and postnatal narratives and their sentiment in a sample of 91 primarily White mothers from the western United States, followed from the second trimester of pregnancy, through the third trimester, to 4 months postpartum. Specifically, we investigated the use of affective and cognitive MSL in prenatal narratives when mothers visualized caring for their baby and postnatal narratives when mothers compared their prenatal visualization to the current caregiving reality. Results indicated moderate consistency in MSL between the second and third trimesters, but prenatal and postnatal MSL was not significantly correlated. Across all time points, higher use of MSL was related to more positive sentiment, indicating an association between mentalization and positive caregiving representations across the perinatal period. Women used more affective than cognitive MSL in prenatal imagination of caregiving, but this pattern was reversed in their postpartum reflection. Implications on assessing parental mentalization prenatally and considering the relative dominance of affective and cognitive mentalizing are discussed while considering study limitations.     

The average error of a learning model,estimation and use in testing the fit of models

A measure of the discrepancy between observed transition frequencies and those predicted by a learning model, an average error of a learning model, is presented. The maximum-likelihood estimator of the average error is derived and its use in a modified test of goodness of fit is demonstrated.     

Visual influences on auditory pluck and bow judgments

In the McGurk effect, visual information specifying a speaker’s articulatory movements can influence auditory judgments of speech. In the present study, we attempted to find an analogue of the McGurk effect by using nonspeech stimuli—the discrepant audiovisual tokens of plucks and bows on a cello. The results of an initial experiment revealed that subjects’ auditory judgments were influenced significantly by the visual pluck and bow stimuli. However, a second experiment in which speech syllables were used demonstrated that the visual influence on consonants was significantly greater than the visual influence observed for pluck-bow stimuli. This result could be interpreted to suggest that the nonspeech visual influence was not a true McGurk effect. In a third experiment, visual stimuli consisting of the wordspluck andbow were found to have no influence over auditory pluck and bow judgments. This result could suggest that the nonspeech effects found in Experiment 1 were based on the audio and visual information’s having an ostensive lawful relation to the specified event. These results are discussed in terms of motor-theory, ecological, and FLMP approaches to speech perception.     

Modeling the body temperature throughout the day with a two-term function

A two-term function with potential and exponential terms is proposed to model the body temperature throughout the day. These terms can be related to thermogenic and thermolytic processes that are opposite but simultaneous. The first term, a potential function, reflects that the heat gain process is predominant; the second term is a negative exponential function and reflects the predominance of heat dissipation. The function also provides the time of the inflection between thermal opposite processes. The proposed two-term function and a cosine function were fitted to 335 temperature series of 24-h duration recorded in humans and animals. The percentage of variance accounted for by the two-term function was higher than that for the cosine approximation for the total sample and for those series whose shape was asymmetrical (n=75). Nevertheless, no significant differences between the percentage of variance accounted for by the two functions were found for those series whose shape was symmetrical (n=260). The results of different subgroups that differed in experimental conditions are discussed.     

Axiomatization and completeness of uncountably valued approximation logic

A first order uncountably valued logicL _Q(0,1) for management of uncertainty is considered. It is obtained from approximation logicsL _T of any poset type (T, ) (see Rasiowa [17], [18], [19]) by assuming (T, )=(Q(0, 1), ) — whereQ(0, 1) is the set of all rational numbersq such that 0<q<1 and is the arithmetic ordering — by eliminating modal connectives and adopting a semantics based onLT-fuzzy sets (see Rasiowa and Cat Ho [20], [21]). LogicL _Q(0,1) can be treated as an important case ofLT-fuzzy logics (introduced in Rasiowa and Cat Ho [21]) for (T, )=(Q(0, 1), ), i.e. asLQ(0, 1)-fuzzy logic announced in [21] but first examined in this paper.L _Q(0,1) deals with vague concepts represented by predicate formulas and applies approximate truth-values being certain subsets ofQ(0, 1). The set of all approximate truth-values consists of the empty set ø and all non-empty subsetss ofQ(0, 1) such that ifqs andqq, thenqs. The setLQ(0, 1) of all approximate truth-values is uncountable and covers up to monomorphism the closed interval [0, 1] of the real line.LQ(0, 1) is a complete set lattice and therefore a pseudo-Boolean (Heyting) algebra. Equipped with some additional operations it is a basic plain semi-Post algebra of typeQ(0, 1) (see Rasiowa and Cat Ho [20]) and is taken as a truth-table forL _Q(0,1) logic.L _Q(0,1) can be considered as a modification of Zadeh's fuzzy logic (see Bellman and Zadeh [2] and Zadeh and Kacprzyk, eds. [29]). The aim of this paper is an axiomatization of logicL _Q(0,1) and proofs of the completeness theorem and of the theorem on the existence ofLQ(0, 1)-models (i.e. models under the semantics introduced) for consistent theories based on any denumerable set of specific axioms. Proofs apply the theory of plain semi-Post algebras investigated in Cat Ho and Rasiowa [4].Presented byCecylia Rauszer     

Algorithmic logic. Multiple-valued extensions

Extended algorithmic logic (EAL) as introduced in [18] is a modified version of extended ⁺-valued algorithmic logic. Only two-valued predicates and two-valued propositional variables occur in EAL. The role of the ⁺-valued logic is restricted to construct control systems (stacks) of pushdown algorithms whereas their actions are described by means of the two-valued logic. Thus EAL formalizes a programming theory with recursive procedures but without the instruction CASE.The aim of this paper is to discuss EAL and prove the completeness theorem. A complete formalization of EAL was announced in [20] but no proof of the completeness theorem was given.     

Justice in Transnational Governance

The small portion of philosophical work on global distributive justice that directly discusses particular agents, institutions or practices in global politics tends to focus on a narrow range of the existing set. The emphasis is chiefly on bilateral diplomacy or intergovernmental organisations, to the neglect of a variety of more recent forms of transnational governance, many of which incorporate non‐state actors, have more limited membership, involve informal and dynamic structures, employ cooperative and reflexive methods for ensuring compliance, and operate largely out of the public eye. This article considers how philosophers should conceive of distributive justice in relation to these neglected sites of transnational governance, using the International Organization for Standardization (ISO) as an illustration.