Many arguments for flexible type assignment to syntactic categories have to do with the need to account for the various scopings resulting from the interaction of quantified DPs with other quantified DPs or with intensional or negated verb contexts. We will define a type for arbitrary arity relations in polymorphic type theory. In terms of this, we develop the Boolean algebra of relations as far as needed for natural language semantics. The type for (...) class='Hi'>relations is flexible: it can do duty for the whole family of types t, e → t, e → e → t, and so on. If we use this flexible type for the interpretations of verbs, we can perform a ‘flexible lift’ on DP interpretations, so that DPs get interpreted as operations on verb meanings. This leads to an elegant implementation of Keenan’s proposal for polyadic quantification in natural language (‘Beyond the Frege Boundary’). It turns out that scope reorderings are particularly easy to implement in this framework. (shrink)

According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. (...) On this approach, a first pass account of propositional attitudes is the following (cf. Field 1978: 37 and Fodor 1987: 17). (shrink)

It is demonstrated that in quantized general relativity one is led to Jordan-Fock type uncertainty relations implying the occurrence of cut-off lengths. We argue that these lengths (i) represent limitations on the measurability of quantum effects of general relativity and (ii) provide a cut-off length of quantum divergences.

Routledge is now re-issuing this prestigious series of 204 volumes originally published between 1910 and 1965. The titles include works by key figures such asC.G. Jung, Sigmund Freud, Jean Piaget, Otto Rank, James Hillman, Erich Fromm, Karen Horney and Susan Isaacs. Each volume is available on its own, as part of a themed mini-set, or as part of a specially-priced 204-volume set. A brochure listing each title in the "International Library of Psychology" series is available upon request.

A successor relation between theories T und T₁ express that T₁, the successor of T, has justifiably superseded T. In physics, for instance, Newton's theory of gravitation has superseded Kepler's laws and, in turn, Einstein's theory has become the successor of Newton's. By now there is no agreement on how a general concept of successor relation would have to be construed. In the present paper attention is drawn to two types of such relations, one deductive the other confirmatory. It (...) seems that what most people are looking for is the deductive type of relation. However, a deductive successor relation has to be justified by showing that if it holds then another, confirmatory relation holds, saying roughly that the actual empirical success of the deducing theory is at least as good as the corresponding success of the deduced theory. Under certain restrictions such a justification is given in the paper. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. (...) There is an interesting system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

Error related potentials, which are elicited in the EEG in response to a perceived error, have been used for error correction and adaption in the event related potential -based brain computer interfaces designed for typing. In these typing interfaces, ERP evidence is collected in response to a sequence of stimuli presented usually in the visual form and the intended user stimulus is probabilistically inferred and presented to the user as the decision. If the inferred stimulus is incorrect, ErrP is expected (...) to be elicited in the EEG. Early approaches to use ErrP in the design of typing interfaces attempt to make hard decisions on the perceived error such that the perceived error is corrected and either the sequence of stimuli are repeated to obtain further ERP evidence, or without further repetition the stimulus with the second highest probability is presented to the user as the decision of the system. Moreover, none of the existing approaches use a language model to increase the performance of typing. In this work, unlike the existing approaches, we study the potential benefits of fusing feedback related potentials, a form of ErrP, with ERP and context information in a Bayesian fashion to detect the user intent. We present experimental results based on data from 12 healthy participants using RSVP Keyboard™ to complete a copy-phrase-task. Three paradigms are compared: [P1] uses only ERP/LM Bayesian fusion; [P2] each RSVP sequence is appended with the top candidate in the alphabet according to posterior after ERP evidence fusion; corresponding FRP is then incorporated; and [P3] the top candidate is shown as a prospect to generate FRP evidence only if its posterior exceeds a threshold. Analyses indicate that ERP/LM/FRP evidence fusion during decision making yields significant speed-accuracy benefits for the user. (shrink)

What does it mean to understand something? I approach this question by comparing understanding with knowledge. Like knowledge, understanding comes, at least prima facia, in three varieties: propositional, interrogative and objectual. I argue that explanatory understanding (this being the most important form of interrogative understanding) and objectual understanding are not reducible to one another and are neither identical with, nor even a form of, the corresponding type of knowledge (nor any other type of knowledge). My discussion suggests that (...) definitions of the concepts of explanatory and of objectual understanding must include a commitment condition, a grasping condition, an answering-the-facts condition, and an epistemically internal justification condition, but no further external anti-luck condition. On this basis I argue against reducing explanatory understanding to propositional understanding, and in favour of identifying propositional understanding with propositional knowledge. (shrink)

This study investigates the negative influence of consumer’s perceptions of online retailer’s deceptive practices on consumer’s relational variables. Also, the moderating role of product type, consumer’s attitude toward the Internet, and consumer’s demographics in the deception-relational outcomes link is considered. Data from 398 online consumers revealed that satisfaction totally mediated the influence of deception on loyalty. Furthermore, the deception-satisfaction link was moderated by all the hypothesized variables. Interestingly, a direct effect of deception on loyalty was found among more educated (...) consumers, consumers who had a more positive attitude toward the Internet and consumers who had purchased a physical product. Implications for theory and management are discussed. (shrink)

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

Children who experience parentification may have trouble performing developmental tasks due to being overwhelmed by their family caregiving roles and responsibilities. Past studies have found that parentification is negatively associated with academic achievement. However, most of these studies are limited in that they are retrospective and examine the association but not the mechanisms shaping them. The aim of the study was to explore to what extent diverse types of parentification relate to academic achievement and to what extent these relations (...) are mediated by self-reported quality of life among adolescents. The study sample was composed of Polish early adolescents. Types of parentification were measured with the Parentification Questionnaire for Youth, and quality of life was assessed with KidScreen27. School achievement was measured based on mean semester grade. We explored the associations among study variables and performed six mediation models in the planned analyses. Overall, bivariate relations were significant in a theoretically expected way, although the effect sizes for these associations were rather small. In the mediation analyses, the results showed that four of the six models were not significant. Different from previous studies, instrumental parentification was positively related to school achievement. Additionally, this positive association was mediated by adolescents’ general quality of life. Taken together, the findings were similar and different from the empirical literature base on types of parentification and select outcomes. (shrink)

The goal of this short note is to interest set theorists in the order type ω*ω1, and to encourage them to work on the question of whether or not the Continuum Hypothesis decides the partition relation τ→2, for τ=ω*ω1 and for τ=ω1ω+2.

We investigate some topological properties of the spaces of classes of bounded type-definable equivalence relations.

This study investigates the negative influence of consumer's perceptions of online retailer's deceptive practices (perceived deception) on consumer's relational variables (satisfaction and loyalty intentions to the online retailer). Also, the moderating role of product type (goods versus services), consumer's attitude toward the Internet, and consumer's demographics in the deception-relational outcomes link is considered. Data from 398 online consumers revealed that satisfaction totally mediated the influence of deception on loyalty. Furthermore, the deception-satisfaction link was moderated by all the hypothesized variables. (...) Interestingly, a direct effect of deception on loyalty was found among more educated consumers, consumers who had a more positive attitude toward the Internet and consumers who had purchased a physical product. Implications for theory and management are discussed. (shrink)

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic- (...) class='Hi'>type of negations in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. (shrink)

Military service in general and combat service in particular can be physically and psychologically stressful. Previous studies have focused on risk propensity and risky behavior among soldiers. Yet knowledge is still lacking regarding the impact of type of army service on soldiers’ risk perceptions. The current study examines how type of army service and negative incidental emotions affect risk perceptions. Results of a survey conducted among 153 combat and non-combat Israeli soldiers indicate that respondents serving in combat units (...) on average have more pessimistic risk perceptions than non-combat soldiers. Yet no significant differences emerged between combat and non-combat respondents with respect to their levels of negative incidental emotions. Regression analyses suggest that higher levels of negative incidental emotions are correlated with pessimistic risk perceptions among all respondents, while higher levels of risk attitude are correlated with pessimistic risk perceptions among combat soldiers but not among non-combat soldiers. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While (...) STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.

The article discusses theoretical and practical issues one may face when applying various types of employment contracts, refers to specific legal relations governed by Labour Code standards, and raises issues that would help to solve the existing troubles. Last decades as globalization processes were gaining pace, and market economy conditions changed, labour and production organization models were undergoing transformation. The more complex people’s social relationships are, the greater is the need to regulate these relationships, i. e. to adopt legislation (...) that would create pre-conditions for addressing social interest conflicts. Thus a need has arisen for a new legal regulation because new activity models do not fit into traditional relationships governed by labour law. Along standard employment relationship, non-standard relationships occur in the market. In 2003 the Ministry of Social Security and Labour of the Republic of Lithuania issued recommendations for employers on flexible work organisation forms and indicated reasons for the organisation of flexible work forms: the nature of work and employee’s demographic and social characteristics; fulfilment of family duties; health condition; unfavourable work environment; employee’s age; studying and studies. (shrink)

Fix 2 < n < ω. Let CA n denote the class of cylindric algebras of dimension n, and let RCA n denote the variety of representable CA n ’s. Let L n denote first-order logic restricted to the first n variables. Roughly, CA n, an instance of Boolean algebras with operators, is the algebraic counterpart of the syntax of L n, namely, its proof theory, while RCA n algebraically and geometrically represents the Tarskian semantics of L n. Unlike Boolean (...) algebras having a Stone representation theorem, RCA n ⊊ CA n. Using combinatorial game theory, we show that the existence of certain finite relation algebras RA, which are algebras whose domain consists of binary relations, implies that the celebrated Henkin omitting types theorem fails in a very strong sense for L n. Using special cases of such finite RA ’s, we recover the classical nonfinite axiomatizability results of Monk, Maddux, and Biro on RCA n and we re-prove Hirsch and Hodkinson’s result that the class of completely representable CA n ’s is not first-order definable. We show that if T is an L n countable theory that admits elimination of quantifiers, λ is a cardinal < 2 ℵ 0, and F = 〈 Γ i : i < λ 〉 is a family of complete nonprincipal types, then F can be omitted in an ordinary countable model of T. (shrink)

We discuss a previously unnoticed resemblance between the theory of relations and predicates in The Philosophy of Logical Atomism [TPLA] by Russell and the theory of objects and names in the Tractatus Logico-Philosophicus [TLP] by Wittgenstein. Points of likeness are detected on three levels: ontology, syntax, and semantics. This analogy explains the prima facie similarities between the informal presentation of the theory of types in TPLA and the sections of the TLP devoted to this same topic. Eventually, we draw (...) some consequences concerning both sides of the analogy: for what concerns Russell, the contextual pertinence of this surprising fragment of Tractarian metaphysics and semantics is questioned on several grounds; about Wittgenstein, the interpreters who do not identify Tractarian objects with particulars are in a better position to make sense of the analogy here discovered. (shrink)

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well (...) as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint, arXiv:1201.5221v1]. (shrink)

Mucopolysaccharidosis type I (MPS I) is a rare lysosomal storage disorder treated with bone marrow transplantation or enzyme replacement therapy with laronidase, a high-cost orphan drug. Laronidase was approved by the US Food and Drug Administration and the European Medicines Agency in 2003 and by the Brazilian National Health Surveillance Agency in 2005. Many Brazilian MPS I patients have been receiving laronidase despite the absence of a governmental policy regulating access to the drug. Epidemiological and treatment data concerning MPS (...) I are scarce. This study aims to present a demographic profile of Brazilian patients with MPS I, describe the routes of access to laronidase in Brazil, and discuss associated ethical issues relating to public funding of orphan drugs. (shrink)

We prove that in the Solovay model, every OD equivalence relation, E, over the reals, either admits an OD reduction to the equality relation on the set of all countable (of length $ ) binary sequences, or continuously embeds E 0 , the Vitali equivalence. If E is a Σ 1 1 (resp. Σ 1 2 ) relation then the reduction above can be chosen in the class of all ▵ 1 (resp. ▵ 2 ) functions. The proofs are based (...) on a topology generated by OD sets. (shrink)

The present study investigates the association between diabetes-related distress and work outcomes among employed people with type 1 diabetes. Employed adults with type 1 diabetes completed an online survey. Measures assessed emotional, social, food- and treatment-related DD, burnout, and job satisfaction, as well as the type of insulin treatment. We conducted multiple regression analyses to test our hypotheses. Emotional DD was significantly and positively associated with burnout. Social DD was significantly and negatively associated with job satisfaction. The (...) type of treatment had no significant effect on the outcomes. This study sets the stage for research on the interactions between working conditions, work outcomes and illness symptoms, and problems of people with type 1 diabetes, and, generally, employees with chronic illnesses. The findings have implications for individual health and illness management, burnout prevention, and occupational health measures. (shrink)

Abstract: The paper provides a general account of value relations. It takes its departure in a special type of value relation, parity, which according to Ruth Chang is a form of evaluative comparability that differs from the three standard forms of comparability: betterness, worseness and equal goodness. Recently, Joshua Gert has suggested that the notion of parity can be accounted for if value comparisons are interpreted as normative assessments of preference. While Gert's basic idea is attractive, the way (...) he develops it is flawed: His modeling of values by intervals of permissible preference strengths is inadequate. Instead, I provide an alternative modeling in terms of intersections of rationally permissible preference orderings. This yields a general taxonomy of all binary value relations. The paper concludes with some implications of this approach for rational choice. (shrink)

In this study, we extended a model of the relations among ADHD symptoms, anxiety, and academic performance. Undergraduates (N = 515) completed self-report measures of anxiety (i.e. trait, test, math, and literacy) and ADHD symptoms. During the study, they completed math and literacy measures and reported their current (i.e. state) anxiety three times. There were significant correlations among ADHD symptoms and all measures of anxiety. However, neither ADHD symptoms nor trait anxiety were correlated with math or literacy performance. Test-anxious (...) students reported increasing state anxiety as the study progressed. In contrast, math-anxious students reported increased state anxiety following the math tasks but not the literacy tasks and literacy-anxious students reported increased state anxiety following the literacy tasks but not the math tasks. With respect to performance, math-anxious students had worse math performance and literacy-anxious students had worse literacy performance whereas test anxiety was not directly related to performance on either math or literacy tasks. Patterns of relations did not differ for men and women, but, except for literacy anxiety, women reported higher levels of all types of anxiety. These results could help educators understand how affective responses are related to university students’ academic performance. (shrink)

This research on the ethics of meaningful work examined how types of job-related harm and their magnitude of consequences influenced components of ethical decision-making. The research also investigated the moderating effects of individual differences on the relation between the MOC and the ethical decision-making elements for each type of harm. Using a sample of 185 Chinese professionals, a between-subjects, fully crossed experimental scenario design revealed that physical and economic job-related harm were recognized as moral issues to a greater extent (...) than cognitive or emotional harm. Second, physical job-related harm stimulated a higher level of moral evaluations than economic and cognitive harm. Third, individuals intended to act ethically when MOC was high versus low. Finally, experience with layoffs and IMO helped explain the relations between MOC and moral evaluations for economic and cognitive job-related harm, respectively. Implications for research and management are discussed. (shrink)