Hydromechanical continuously variable transmission is capable of bearing large torque and has wide transmission range, which is suitable for high-power tractors. Dynamic characteristics could influence the tractor life, especially in a high-power tractor. Wet clutch is the crucial component in the HMCVT, which could smooth and soft power transmission. Therefore, it is important to study the dynamic characteristics and implement the wet clutch test of HMCVT. In this paper, AMESim is used to establish virtual models of gearbox, pump-controlled hydraulic motor (...) system, and shifting hydraulic system. Then, a simulation study of tractor operation under working condition is carried out. The internal and external meshing forces of the planetary row are analyzed. Finally, the wet clutch engagement process of HMCVT in the high-power tractor is tested to verify the oil pressure. The simulation results show that the values of internal and external meshing force become larger as the throttle opening increases. At the moment of shifting change, the meshing forces of the planetary gear have great impact. The clutch test shows that the trend of the oil filling curve obtained from the bench test is similar to that obtained from the theoretical curve, which verifies the simulation results. (shrink)

Here, we report on a quasi-experimental study to explore the applicability and perceived benefits of the CRAFT program, which is based on mindfulness, yoga, positive psychology, and emotional intelligence, to improve higher education student musicians’ health and well-being during the lockdown. A subset of student musicians at a Higher Conservatory of Music in Spain followed the CRAFT program during the academic year 2019/2020, 1 h per week as part of their curriculum. Students enrolled in CRAFT-based elective subjects formed the CRAFT (...) program group, while other students represented the control group. The onset of the national lockdown elicited by the COVID-19 pandemic occurred halfway through the program, which was subsequently delivered in an online format. We administered an online survey to explore the effect that the exposure to the CRAFT program had in terms of how participants dealt with various health and well-being concerns arising from the COVID-19 lockdown. There was a significantly higher proportion of proactive participants in the CRAFT program group, 92%, than in the control group, 58%, in terms of implementing practices to improve their health and well-being during the lockdown. Additionally, significantly more participants acknowledged perceived benefits from their practices in the CRAFT program group, 78%, than in the control group, 52%. Among proactive participants, yoga/meditation was the most implemented in the CRAFT program group, followed by exercise, and other yoga/meditation practices, whereas in the control group, exercise and Alexander technique-based practices were the most applied. In the CRAFT program group, the highest rate of perceived benefits was from yoga/meditation CRAFT-based practices, 51%, followed by exercise, 32%, and other yoga/meditation practices, 27%, whereas in the control group, benefits were reported by 29% of exercising participants and 16% for those having practiced the Alexander technique. A similar pattern was observed when excluding participants with previous yoga/meditation experience. This study revealed how participants can independently apply learned skills from the CRAFT program in response to a naturally occurring life event of unprecedented global impact, suggesting that previous exposure to mindfulness and yoga is likely to have a beneficial effect on how young adults react towards exceptionally stressful conditions. (shrink)

Drawing on current debates at the frontiers of economics, psychology, and political philosophy, this book explores the challenges that arise for liberal democracies from a confrontation between modern technologies and the bounds of human rationality. With the ongoing transition of democracy's underlying information economy into the digital space, threats of disinformation and runaway political polarization have been gaining prominence. Employing the economic approach informed by behavioral sciences' findings, the book's chief concern is how these challenges can be addressed while preserving (...) a commitment to democratic values and maximizing the epistemic benefits of democratic decision-making. The book has two key strands: it provides a systematic argument for building a behaviorally informed theory of democracy; and explores how scientific knowledge on quirks and bounds of human rationality can inform the design of resilient democratic institutions. Drawing these together, the book explores the centrality of the rationality assumption in the methodological debates surrounding behavioral sciences as exemplified by the dispute between neoclassical and behavioral economics; the role of rationality in democratic social choice; behaviorally informed paternalism as a response to the challenge of irrationality; and non-paternalistic avenues to increase the resilience of the democratic institutions towards political irrationality This book is invaluable reading for anyone interested in behavioral economics and sciences, political philosophy and the future of democracy. (shrink)

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies and satisfiable sentences as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

A very simple many-valued predicate calculus is presented; a completeness theorem is proved and the arithmetical complexity of some notions concerning provability is determined.

The one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts $\mathrm {S5}$ and $\mathrm {MIPC}$ of the one-variable fragments of first-order classical logic and first-order intuitionistic logic, respectively—but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in (...) this paper for the one-variable fragment of a semantically defined first-order logic—spanning families of intermediate, substructural, many-valued, and modal logics—to admit a certain natural axiomatization. More precisely, an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, using a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property. (shrink)

There exist two conjectures for constraint satisfaction problems of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities satisfied by its polymorphisms clone, together with the natural uniformity on (...) it, being nontrivial. We prove that the identities satisfied in the polymorphism clone of a structure allow for conclusions about the orbit growth of its automorphism group, and apply this to show that the two conjectures are equivalent. We contrast this with a counterexample showing that [Formula: see text]-categoricity alone is insufficient to imply the equivalence of the two conditions above in a model-complete core. Taking another approach, we then show how the Ramsey property of a homogeneous structure can be utilized for obtaining a similar equivalence under different conditions. We then prove that any polymorphism of sufficiently large arity which is totally symmetric modulo outer embeddings of a finitely bounded structure can be turned into a nontrivial system of linear identities, and obtain nontrivial linear identities for all tractable cases of reducts of the rational order, the random graph, and the random poset. Finally, we provide a new and short proof, in the language of monoids, of the theorem stating that every [Formula: see text]-categorical structure is homomorphically equivalent to a model-complete core. (shrink)

The discovery of dietetics -- Philosophy of the nature of man -- Therapy of body and soul -- The philosophical legacy of On regimen.

Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus.

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories (...) and on witnessed models. (shrink)

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

This paper addresses the ontological status of the body in the context of bodily practices in body-oriented disciplines, such as sport training, dance, and physiotherapy. Following Descartes’, Huss...

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider (...) scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction. (shrink)

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

Ein geeignetes Mittel um die Philosophien aller Erdteile in das weltweite öffentliche Bewusstsein zu rücken ist die Schaffung einer Epocheneinteilung, die sich auf die globale Philosophiegeschichte bezieht. Der Band zeigt eine detaillierte Methodik auf, um genau solch eine Periodisierung zu verwirklichen.

The article deals with various modal versions of the ontological argument from N. Malcolm’s to P. Tichý’s interpretation of Anselm’s second proof. Three key presuppositions of the modal proof are pin-pointed and examined. The principal problem with the proof seems to be the notion of necessary existence attributed to God. More precisely, the question is whether this is not too strong an attribute, for then there would not be a situation, i.e. a possible world, consistently thinkable which precludes the existence (...) of God. However, this seems to be wrong. (shrink)

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

On the Notion "Type of Language" Petr Sgall It is well known that the high frequency of terminological vagueness and confusion has been a serious obstacle ...

Transfer theorems are central results in abstract algebraic logic that allow to generalize properties of the lattice of theories of a logic to any algebraic model and its lattice of filters. Their proofs sometimes require the existence of a natural extension of the logic to a bigger set of variables. Constructions of such extensions have been proposed in particular settings in the literature. In this paper we show that these constructions need not always work and propose a wider setting in (...) which they can still be used. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

Substructural logics extending the full Lambek calculus FL have largely benefited from a systematical algebraic approach based on the study of their algebraic counterparts: residuated lattices. Recently, a nonassociative generalization of FL has been studied by Galatos and Ono as the logic of lattice-ordered residuated unital groupoids. This paper is based on an alternative Hilbert-style presentation for SL which is almost MP -based. This presentation is then used to obtain, in a uniform way applicable to most substructural logics, a form (...) of local deduction theorem, description of filter generation, and proper forms of generalized disjunctions. A special stress is put on semilinear substructural logics. Axiomatizations of the weakest semilinear logic over SL and other prominent substructural logics are provided and their completeness with respect to chains defined over the real unit interval is proved. (shrink)

Homophobia has decreased in past decades, but gut-level disgust towards gay men lingers. It has been suggested that disgust can be reduced by inducing its proposed opposite emotion, elevation. Rese...

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

The paper begins by emphasizing the fact that, on a historical scale, one can have several views of the relationship that has existed over time between ethics and capitalism, namely: missionary, ‘Nietzschean’, critical, and ‘regulatory’. It is argued that, nowadays, the capitalization of the contributions supplied, over time, by the four views embraces the form of two modern diametrically opposed perspectives, i.e.: on the one hand, there is the interpretation given by the neo-classical school of thought (mainstream economics) and, on (...) the other hand, it comes to the interpretation given by the Austrian praxeological economic school (libertarian economics). The emphasis of the analysis is put on the assertions developed by the last one, libertarian thinking, that insists on the necessity to operate with a well-defined distinction between the legal level of the matter, the ethical level and the moral one. At the core of the libertarian analysis there is the understanding of the capitalist system being naturally impregnated by ethical values. And this intrinsic ethical nature of capitalism is organically bound to the sphere of the ownership-type relationship. In line with the understanding of the economic system, based on the institutions of the free market as representing ethical capitalism per se, the paper argues that the realities of the world today show governmental interventionism as a main factor that supports non-ethical economic behaviour. As a consequence, the more limited government intervention is, the greater the chance of ethical capitalism, that is, voluntary, non-conflictual and non-aggressive economic market relationships. Under such conditions, a ‘minimal state’ institutional arrangement (that is, the legitimate use of power by the state is limited to preventing fraud or the use of force; it does not include the power to tax or to confiscate property) is the basic condition for the existence of an ethical capitalism that works, which is to say that the chance of an economic system based on ethical values stands in people’s willingness to be part of such an evolution in society that aims to minimise the role of the state. Further, the paper argues that any historical analysis on how societies asserted such a willingness outlines the expression of a secular and unshaken option for growing rather than diminishing state involvement in the economy. It is about people’s perennial preference for the state, namely for the organization of society based on state interventionism (respectively, their preference for the coercive order imposed by the state authorities, order based, through its own nature, on the subjugation of private property and the aggression against individual freedom), with a preference for the government intervention over the organization of a society based on free market functioning (which is equivalent, in fact, to their rejection of a voluntarily and spontaneously non-violent order, based on the observance of private property and individual freedom, brought about by the free functioning of markets). In the last part of the paper there are put forward for discussion the possible explanations for this perennial preference for non-ethical capitalism, the analysis focusing on two directions: firstly, on that of social ontology; and then, on that of human psychology. (shrink)