This paper focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. We propose for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction, proposed by Hansson [Han94] to construct classical AGM contractions (...) and belief base contractions. This construction works out the unsolved problem pointed out by Hansson in [Han99, pp. 369]. (shrink)

Kernel contraction is a natural nonrelational generalization of safe contraction. All partial meet contractions are kernel contractions, but the converse relationship does not hold. Kernel contraction is axiomatically characterized. It is shown to be better suited than partial meet contraction for formal treatments of iterated belief change.

Two of the most well-known belief contraction operators are partial meet contractions (PMCs) and kernel contractions (KCs). In this paper we propose two new classes of contraction operators, namely the class of generalized partial meet contractions (GPMC) and the class of generalized kernel contractions (GKC), which strictly contain the classes of PMCs and of KCs, respectively. We identify some extra conditions that can be added to the definitions of GPMCs and of GKCs, which give rise to (...) some interesting subclasses of those classes of functions, namely the classes of extensional and of uniform GPMCs/GKCs. In the context of contractions on belief sets the classes of partial meet contractions, uniform GPMCs and extensional GPMCs are all identical. Nevertheless, when considered as operations on belief bases, the class of uniform GPMCs coincides with the class of partial meet contractions, but the extensional GPMCs constitute a new kind of belief base contraction functions whose characterizing postulate of irrelevance of syntax is extensionality—the same postulate of irrelevance of syntax which occurs in the classical axiomatic characterization of partial meet contractions for belief sets—rather than the postulate of uniformity—which is the irrelevance of syntax postulate used in the axiomatic characterization for partial meet contractions on belief bases. Analogous results are obtained regarding the classes of extensional and of uniform GKCs. We present the interrelations in the sense of inclusion among all the new classes of operators presented in this paper and several well known classes of PMCs and of KCs. (shrink)

We can often specify how we would contract by a certain sentence by saying that this contraction would coincide with some other contraction that we know how to perform. We can for instance clarify that our contraction by p&q would coincide with our contraction by p, or by q, or by {p, q}. In a framework where the set of potential outcomes is known, some contractions are “self-evident” in the sense that there is only one serious (...) candidate that can be the outcome of such a contraction. Contraction by a specific contractee (sentence or set of sentences to be contracted) is bootstrapped if it is specified by saying that it coincides with some such self-evident contraction. For a wide range of (multiple) contraction operators, contractions by any contractee can be bootstrapped. This means that the selection mechanism (selection function, incision function, etc.) can be replaced by a function called a bootstrapping selector that assigns to each contractee some “self-evident” contractee that yields the same outcome. With bootstrapping we can eliminate traditional extralogical components in contraction (e.g., selection functions) and replace them by bootstrapping selectors that reflect more closely the ways in which we actually reason and argue about belief contraction. (shrink)

Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X blocks another potential outcome Y, and X does not imply the sentence p to be contracted, then Y ≠ K ÷ p. The contraction outcome K ÷ p (...) is equal to the (unique) inclusion-maximal unblocked element of the outcome set that does not imply p. Conditions on the blocking relation are specified that ensure the existence of such a unique inclusion-maximal set for all sentences p. Blockage contraction is axiomatically characterized and its relations to AGM-style operations are investigated. In a finite-based framework, every transitively relational partial meet contraction is also a blockage contraction. (shrink)

The basic assumption of repertoire contraction is that only some of the logically closed subsets of the original belief set are viable as contraction outcomes. Contraction takes the form of choosing directly among these viable outcomes, rather than among cognitively more far-fetched objects such as possible worlds or maximal consistent subsets of the original belief set. In this first investigation of repertoire contraction, postulates for various variants of the operation are introduced. Necessary and sufficient conditions are (...) given for when repertoire contraction coincides with AGM contraction or with operations generated by AGM-style contraction on a belief base. A close connection is shown to hold between repertoire contraction and specified meet contraction. (shrink)

Scientific inquiry is represented as a process of rational hypothesis revision in the face of data. For the concept of rationality, we rely on the theory of belief dynamics as developed in [5, 9]. Among other things, it is shown that if belief states are left unclosed under deductive logic then scientific theories can be expanded in a uniform, consistent fashion that allows inquiry to proceed by any method of hypothesis revision based on "kernel" contraction. In contrast, if (...) belief states are closed under logic, then no such expansion is possible. (shrink)

This thesis consists in six articles and a comprehensive summary. • The pourpose of the summary is to introduce the AGM theory of belief change and to exemplify the diversity and significance of the research that has been inspired by the AGM article in the last 25 years. The research areas associated with AGM was divided in three parts: criticisms, where we discussed some of the more common criticisms of AGM. Extensions where the most common extensions and variations of AGM (...) are presented and applications where we provided an overview of applications and connections with other areas of research. • Article I elaborates on the connection between partial meet contractions [AGM85] and kernel contractions [Han94a] in belief change theory. Also both functions are equivalent in belief sets, there are notequivalent in belief bases. A way to define incision functions from selection functions and vice versa is presented. It is explained under which conditions there are exact correspondences between selection and incision functions so that the same contraction operations can be obtained by using either of them. • Article II proposes an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed byWilliams and relates this function with other kinds of base contraction functions. • Article III adapts the Fermé and Hansson model of Shielded Contraction [FH01] as well as Hansson et all Credibility-Limited Revision [HFCF01] for belief bases, to join two of the many variations of the AGM model [AGM85], i.e. those in which knowledge is represented through belief bases instead of logic theories, and those in which the object of the epistemic change does not get the priority over the existing information as it is the case in the AGM model. • Article IV introduces revision by comparison a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. The method uses reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. Two kinds of semantics for this idea are proposed and a logical characterization of the new model is given. • Article V focuses on the extension of AGM that allows change for a belief base by a set of sentences instead of a single sentence. In [FH94], Fuhrmann and Hansson presented an axiomatic for Multiple Contraction and a construction based on the AGM Partial Meet Contraction. This essay proposes for their model another way to construct functions: Multiple Kernel Contraction, that is a modification of Kernel Contraction,proposed by Hansson [Han94a] to construct classical AGM contractions and belief base contractions. • Article VI relates AGM model with the DFT model proposed by Carlos Alchourrón [Alc93]. Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. This essay points out that this underlying revision function is more general than AGM revision. In addition, a complete characterization of that more general kind of revision that permits to unify models of revision given by other authors is given. (shrink)

We introduce a new operator, called rational evaluation, in belief change. The operator evaluates new information according to the agent’s core beliefs, and then exports the plausible part of the new information. It belongs to the decision module in belief change. We characterize rational evaluation by axiomatic postulates and propose two functional constructions for it, based on the well-known constructions of kernel sets and remainder sets, respectively. The main results of the paper are two representation theorems with respect to (...) the two functional constructions. We also compare and connect the evaluation operator with some related operators in belief revision, including contraction, set contraction, and prioritized multiple revision. (shrink)

The paper connects two central ethical views, both with a rich tradition, sentimentalism and contractualism. From the former, it also borrows the response-dependentist metaphysics. The idea of combining the two has been sketched before, but not systematically and explicitly; for instance, in various comments on classical authors, especially on Kant and elsewhere, most prominently in Habermas. Here is the kernel of the present proposal. Our initial practical intuitions are emotion-based and the values, when detected, are response-dependent. This is the (...) starting point borrowed from sentimentalism. These intuitions get improved by reflection, and by dialogue that crucially involves perspective taking. If all goes well, this results in insights, in particular into principles that all rational parties can agree about in a kind of “contract.” This brings two traditions, the one of David Hume and Adam Smith, and the other of Kant, together. The resulting theory would be a kind of sentimentalist, response-dependentist contractualism. (shrink)

The Motoneurone and its Muscle Fibres presents a state-of-the-art summary of knowledge concerning the motoneurones, vital for innervating and commanding skeletal muscles. No muscle action would be possible without motoneurones. These cells are therefore absolutely essential for the execution of normal behaviour and for life support. It is their degeneration that leads to various kinds of motoneurone disease that are often ultimately lethal. However, the study of motoneurones is also important for general insights as to how neurones work, because the (...) motoneurone is probably the best understood kind of nerve cell so far in neuroscience. Motoneurones of the spinal cord were the first type of central nerve cell to be subjected to detailed physiological measurements, and much is known about how their activity is regulated by synapses from other central neurones. For most of the individual neurones within the central nervous system, the precise functional tasks are difficult to define. However, for motoneurones much is now known about their short- and long-term interactions with their main targets, the skeletal muscle fibres. Functions of neurones must be analyzed in relation to the response properties of their target cells. Therefore, this book deals with both, summarizing classical as well as recent knowledge concerning the motoneurone and its muscle fibres. This is the first time that so many aspects of this broad subject matter are treated in one comprehensive monograph. (shrink)

Introduction -- "Every Legitimate Government is Republican": Rousseau's Debt to and Departure from Montesquieu on Republicanism -- What if There is no Legislator? Rousseau's History of the Government of Geneva -- Rousseau's Republican Citizenship: The Moral Psychology of The Social Contract -- Rousseau's negative liberty: Themes of domination and skepticism in The Social Contract -- Rousseau's Ancient Ends of Legislation: Liberty, Equality (& Fraternity) -- Property and Possession in Rousseau's Social Contract -- Political Equality Among Unequals -- On the Primacy (...) of Peoplehood: Nations and Nationalism in Rousseau's Social Contract -- Rousseau on Voting and Electoral Laws -- Rousseau and the puzzle of the Roman Republic -- Rousseau's Case against Democracy -- Rousseau's Dilemma or "Of Civil Religion" -- Entreating the Political: Politics and Theology in Rousseau's Social Contract -- Civil Religion and Political Unity: Social Contract 4.8. (shrink)

Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking function from its iterated contraction behavior uniquely up to multiplicative constant and thus how to measure ranks on a ratio scale. Thereby, it also shows how to completely axiomatize that behavior. The complete set of laws of iterated contraction it specifies amend the laws hitherto discussed in the literature.

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both (...) in general and under various natural constraints. (shrink)

This essay demonstrates proof-theoretically the consistency of a type-free theoryC with an unrestricted principle of comprehension and based on a predicate logic in which contraction (A (A B)) (A B), although it cannot holds in general, is provable for a wide range ofA's.C is presented as an axiomatic theoryCH (with a natural-deduction equivalentCS) as a finitary system, without formulas of infinite length. ThenCH is proved simply consistent by passing to a Gentzen-style natural-deduction systemCG that allows countably infinite conjunctions and (...) in which all theorems ofCH are provable.CG is seen to be a consistent by a normalization argument. It also shown that in a senseC is highly non-extensional. (shrink)

In the most common approaches to belief dynamics, states of belief are represented by sets that are closed under logical consequence. In an alternative approach, they are represented by non-closed belief bases. This representation has attractive properties not shared by closed representations. Most importantly, it can account for repeated belief changes that have not yet been satisfactorily accounted for in the closed approach.

In this paper we investigate three approaches to iterated contraction, namely: the Moderate (or Priority) contraction, the Natural (or Conservative) contraction, and the Lexicographic contraction. We characterise these three contraction functions using certain, arguably plausible, properties of an iterated contraction function. While we provide the characterisation of the first two contraction operations using rationality postulates of the standard variety for iterated contraction, we found doing the same for the Lexicographic contraction more (...) challenging. We provide its characterisation using a variation of Epistemic ranking function instead. (shrink)

In 1909, Ehrenfest published a note in the Physikalische Zeitschrift showing that a Born rigid cylinder could not be set into rotation without stresses, as elements of the circumference would be contracted but not the radius. Ignatowski and Varićak challenged Ehrenfest’s result in the same journal, arguing that the stresses would emerge if length contraction were a real dynamical effect, as in Lorentz’s theory. However, no stresses are expected to arise, according to Einstein’s theory, where length contraction is (...) only an apparent effect due to an arbitrary choice of clock synchronization. Ehrenfest and Einstein considered this line of reasoning dangerously misleading and took a public stance in the Physikalische Zeitschrift, countering that relativistic length contraction is both apparent and real. It is apparent since it disappears for the comoving observer, but it is also real since it can be experimentally verified. By drawing on his lesser-known private correspondence with Varićak, this paper shows how Einstein used the Ehrenfest paradox as a tool for an ‘Einsteinian pedagogy’. Einstein’s argumentative stance is contrasted with Bell’s use of the Dewan-Beran thread-between-spaceships paradox to advocate for a ‘Lorentzian pedagogy’. The paper concludes that the disagreement between the two ways of ‘teaching special relativity’ stems from divergent interpretations of philosophical categories such as ‘reality’ and ‘appearance’. (shrink)

In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, (...) as studied in the final part of the paper. (shrink)

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet (...) class='Hi'>contraction over that theory. The purpose of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

The Fitzgerald-Lorentz contraction hypothesis, proposed as an explanation of the Michelson-Morley result, fails to account for the Kennedy-Thorndike result. Hence, Grünbaum argues, the hypothesis has been falsified. However, the contraction hypothesis as formulated by Lorentz is false for the very fundamental reason that it entails a contradiction, namely, the consequence that light waves must have a variable velocity along what by definition is taken to be a rest length. Furthermore, the attempt to resolve this contradiction by coupling the (...) Fitzgerald-Lorentz contraction with the hypothesis that clock rates are a function of velocity, is open to a sound, methodological objection. The Michelson-Morley result is fully satisfied, provided only that the lengths of the interferometer arms, in the longitudinal and transverse positions, are thought to be related to one another in a certain ratio, and this ratio may be interpreted as a contraction in both arms. Since this twofold contraction hypothesis suffices to explain both the Michelson-Morley and the Kennedy-Thorndike results, and since it entails no contradiction, there is no need to correct both the length of rods and the rate of clocks. Therefore, the combined clock-rod hypothesis, and with it the Fitzgerald-Lorentz contraction hypothesis, must be rejected. (shrink)

A logic is said to be contraction free if the rule from A→(A→B) to A→B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there is another contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to be robustly (...) class='Hi'>contraction free if there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free. (shrink)

In a recent article, Zhang and Foo generalized the AGM postulates for contraction to include infinite epistemic input. The new type of belief change is called set contraction. Zhang and Foo also introduced a constructive model for set contraction, called nicely ordered partition, as a generalization of epistemic entrenchment. It was shown however that the functions induced from nicely ordered partitions do not quite match the postulates for set contraction. The mismatch was fixed with the introduction (...) of an extra condition called the limit postulate. The limit postulate establishes a connection between contraction by infinite epistemic input and contraction by finite epistemic input (reducing the former to the latter) and it is appealing both on mathematical and on conceptual grounds. It is debatable however whether the limit postulate can be adopted as a general feature of rationality in set contraction. Instead we propose that the limit postulate is viewed as a condition characterizing an important special case of set contraction functions. With this reading in mind, in this article we introduce an alternative generalization of epistemic entrenchment, based on the notion of comparative possibility. We prove that the functions induced from comparative possibility preorders precisely match those satisfying the postulates for set contraction (without the limit postulate). The relationship between comparative possibility and epistemic entrenchment is also investigated. Finally, we formulate necessary and sufficient conditions under which the functions induced from comparative possibility preorders coincide with the special class of contraction functions characterized by the limit postulate. (shrink)

It was shown that finite P-recovery holds for partial meet package contraction in Furhmann and Hansson (1994). However, it is not known if recovery holds for partial meet package contraction in the infinite case. In this paper, I show that recovery does not hold for partial meet package contraction in the infinite case.

This article presents Catherine Malabou and Alain Badiou as theorists of contraction and its related operations of self-reflexivity and infinite iteration. Trading on these commonalities, the article hopes to draw out Malabou’s and Badiou’s respective formalist commitments. On Badiou’s side, it sharpens the question of what is at stake in something as regulated as a “procedure”; on Malabou’s, it recognizes formal stakes to plasticity that often go unrecognized because of her penchant for biology. The article then concludes with a (...) broad comparison of these two thinkers in terms of their accounts of potential and imagines the critiques each might leverage against the other. Where Malabou might well regard Badiou to be too tightly constraining the shape of the future, Badiou is likely to find in Malabou one more instance of a naïve democratic materialism. (shrink)

Summary A recurrent theme in the philosophical literature on the special theory of relativity is the question as to the reality of the Lorentz contraction. It is often suggested that there is a difference between the Lorentz-FitzGerald contraction in the pre-relativistic ether theory and the Lorentz contraction from special relativity in the sense that the former is a real contraction of matter conditioned by dynamical laws, whereas the latter should be compared with the apparent changes in (...) the size of objects when the perspective of the observer changes. It is here shown, however, that the same laws of nature which are operative in the Lorentz-FitzGerald contraction also condition the relativistic Lorentz contraction. The relevant distinction therefore is not between the reality of the two contractions. What is at issue is the difference in explanatory structure of the pre-relativistic theory on the one hand and the special theory of relativity on the other. In the course of the argument the question of the conventionality of simultaneity is also discussed. (shrink)

Full meet contraction, that was devised by Carlos Alchourrón and David Makinson in the early 1980' s, has often been overlooked since it is not in itself a plausible contraction operator. However, it is a highly useful building-block in the construction of composite contraction operators. In particular, all plausible contraction operators can be reconstructed so that the outcome of contracting a belief set K by a sentence p is defined as K ∼ f, where ∼ is (...) full meet contraction and f a sentential selector, i.e. a function to and from sentences. This paper investigates the logic of full meet contraction. Seven properties of this operation are presented that contribute to making it useful as a building-block: Full meet contraction is a purely logical operation. It retains finitebasedness of the belief set. It is the inclusion-maximal contraction that removes all sentences that can contribute to implying the input sentence. It is the inclusion-maximal contraction that removes all non-tautologous consequences of the input sentence. Almost all contractions can be reconstructed as full meet contraction. Full meet contraction allows for recovery of the input sentence. Full meet contraction provides a unified account of multiple and singleton contraction. La llamada full meet contraction, creada por Carlos Alchourrón y David Makinson en los comienzos de los ' 80, ha sido a menudo desestimada puesto que ella no constituye un operador de contracción plausible. De todas formas ella es altamente útil en la construcción de operadores de contracción compuestos. En particular, todos los operadores de contracción plausibles pueden ser reconstruidos de forma tal que la contracción de un conjunto de creencias K por una sentencia p sea definida como K ∼ f, donde ∼ es una full meet contraction y f un selector de sentencias, i.e., una función de sentencias a sentencias. En este trabajo investigamos la lógica de la full meet contraction. Se presentan siete propiedades de esta operación que contribuyen a hacerla útil como building-block: Full meet contraction es una operación puramente lógica. Ella retiene la finit- basednes del conjunto de creencias. Ella es la máxima-inclusiva de las contracciones que elimina todas las sentencias que pueden contribuir a implicar la input-sentence. Es la contracción maximal inclusiva que elimina todas las consecuencias no tautológicas de la input-sentence. Casi todas las contracciones pueden ser reconstruidas como full-meet contractions. Full meet contraction permite la recuperación de la input-sentence. Full meet contracción da cuenta en forma unificada de las contracciones múltiples y singulares. (shrink)

In Constructing the World, Chalmers observes that our knowledge exceeds the core evidence provided by our senses and introspection. Thus, on the basis of core evidence, one also can know (S) that water covers the majority of the Earth. This knowledge, Chalmers suggests, requires a great deal of apriori knowledge. Chalmers argues that even if one suspends belief in one’s core evidence, one can nevertheless reason from a description of this evidence to an ordinary claim such as S. Chalmers concludes (...) that the ordinary claim must be apriori entailed by a description of the core evidence. However, I propose that careful thinking about belief suspension reveals that empirical information can contaminate the reasoning from the core evidence to the ordinary claim S, even if belief in the core evidence is suspended. One result is that empiricists and externalists may freely appeal to thought experiments without having to concede that there are substantive apriori truths. (shrink)

We give a direct proof of admissibility of cut and contraction for the contraction-free sequent calculus G4ip for intuitionistic propositional logic and for a corresponding multi-succedent calculus: this proof extends easily in the presence of quantifiers, in contrast to other, indirect, proofs. i.e., those which use induction on sequent weight or appeal to admissibility of rules in other calculi.

This paper provides a finer analysis of the well-known form of the Local Deduction Theorem in contraction-free logics . An infinite hierarchy of its natural strengthenings is introduced and studied. The main results are the separation of its initial four members and the subsequent collapse of the hierarchy.

We show that the elimination rule for the multiplicative (or intensional) conjunction $\wedge$ is admissible in many important multiplicative substructural logics. These include LL m (the multiplicative fragment of Linear Logic) and RMI m (the system obtained from LL m by adding the contraction axiom and its converse, the mingle axiom.) An exception is R m (the intensional fragment of the relevance logic R, which is LL m together with the contraction axiom). Let SLL m and SR m (...) be, respectively, the systems which are obtained from LL m and R m by adding this rule as a new rule of inference. The set of theorems of SR m is a proper extension of that of R m , but a proper subset of the set of theorems of RMI m . Hence it still has the variable-sharing property. SR m has also the interesting property that classical logic has a strong translation into it. We next introduce general algebraic structures, called strong multiplicative structures, and prove strong soundness and completeness of SLL m relative to them. We show that in the framework of these structures, the addition of the weakening axiom to SLL m corresponds to the condition that there will be exactly one designated element, while the addition of the contraction axiom corresponds to the condition that there will be exactly one nondesignated element (in the first case we get the system BCK m , in the second - the system SR m ). Various other systems in which multiplicative conjunction functions as a true conjunction are studied, together with their algebraic counterparts. (shrink)

Many women are initially unable to contract the pelvic floor muscles (PFMs) properly, activating other muscle groups before, or instead of, PFM. Numerous authors have proved that biofeedback can be an ideal tool supporting learning of the PFM contraction. However, there is currently a lack of scientific data on how many biofeedback sessions are necessary in this educational process. In this study we aimed at assessing the effects of one-time electromyography (EMG) biofeedback session on the order in which PFM (...) are activated (so called firing order) during conscious contractions in relation to selected synergistic muscles in pregnant, continent women. A randomized controlled trial was conducted in 90 healthy nulliparous women with uncomplicated pregnancies and without diagnosed urinary incontinence. We divided the participants into a biofeedback group (50) and a control group (40). They were, respectively: 30 ± 4 and 30 ± 4 years old, at their 23 ± 5 or 25 ± 7 week of gestation and presented 23 ± 5 or 24 ± 5 kg/m2 BMI value (M + SD). Surface EMG with vaginal probes has been used to assess the PFM firing order in selected tasks: in five 3-s maximal contractions (quick flicks), five 10-s contractions, and in a 60-s contraction (static hold). We used the 1–5 scale, where “1” meant the best score, awarded when PFM was activated first in order. The most important finding of our study is that a single EMG biofeedback substantially improved the PFM contractions in pregnant women. First, when applying one-time biofeedback session, more women maintained correct technique or improved it in the second assessment, compared to the control group (73 vs. 65%). Secondly, using the quantitative and qualitative analysis with the Chi-square McNamara B/C test, in the biofeedback group we observed a statistically significant improvement of PFM firing order in four tasks: in the first quick flicks (p = 0.016), third quick flicks (p = 0.027), fifth quick flicks (p = 0.008), and in the first 10-s contractions (p = 0.046). In the control group we observed better outcome only in one motor task: in the fourth 10-s contraction (p = 0.009). Given the positive effects of a single session of EMG biofeedback on the firing order in the PFM contractions, it should be recommended for pregnant women without urinary incontinence to teach them how to perform PFM exercises correctly. (shrink)

ABSTRACT We consider evolution of knowledge bases caused by a sequence of basic steps of acquisition of a new information, either consistent or inconsistent with the original system. To make this process comply with the Principe of Minimal Change, a special evidence metric is introduced for measuring distance between states of knowledge. Then a novel semantics of knowledge bases is developed suggested by the heuristics of weighted maximally consistent subsets. The latter is efficiently applied to the processes of consistent and (...) inconsistent acquisition of knowledge, belief revision and contraction. (shrink)

This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.

Schopenhauer's claim that the essence of the world consists inWilleencounters well-known difficulties. Of particular importance is the conflict of this metaphysical claim with his restrictive account of conceptuality. This paper attempts to make sense of Schopenhauer's position by restoring him to the context of post-Kantian debate, with special attention to the early notebooks andFourfold Root of the Principle of Sufficient Reason. On the reconstruction suggested here, Schopenhauer's philosophical project should be understood in light of his rejection of post-Kantian metaphilosophy and (...) his opposition to German Idealism. (shrink)

Mordechai Rotenberg, who is well known for his work on the pessimistic impact of Protestant ethics on the Western social sciences, presents here a systematic study derived from, and based on, Judeo-Hasidic ethics. Proceeding from the cabalistic-Hasidic concept of contraction (tzimtsum), according to which God's voluntary withdrawal into Himself to evacuate space for the world serves as a model for human behavior, Professor Rotenberg shows that it is not personal-social construction, but self- and social contraction, that explains how (...) the "is" and the "ought" of society are developed and maintained. (shrink)