It is well known that decision methods based on pairwise rankings can suffer from a wide range of difficulties. These problems are addressed here by treating the methods as systems, where each pair is looked upon as a subsystem with an assigned task. In this manner, the source of several difficulties is equated with the standard concern that the “whole need not be the sum of its parts.” These problems arise because the objectives assigned to subsystems need not be (...) compatible with that of the system. Knowing what causes the difficulties leads to resolutions. (shrink)

When word pairs having a familiar order are sequentially flashed on a computer in their non-familiar order, , observers have a strong phenomenology of seeing them in familiar order . Reversal errors remained frequent even when participants obtained perceptual experience of reverse-display items by beginning with a block of longer-duration trials. A forced-choice order-detection procedure reduced but did not eliminate reversal errors, showing that “fast pairs” is a robust perceptual illusion. Even adjective + noun pairs showed reversal errors, and reversal (...) errors increased with the log frequency of the word pair, consistent with a strong role for statistical processing at the level of multi-word units. (shrink)

In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn + that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404, 1930, Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23:22–29, 1930; Pogorzelski and Słupecki in Stud (...) Logic 9:163–176, 1960, Stud Logic 10:77–95, 1960). The second kind are dual consequence operations of the type Cn − that can be regarded as anti-infallible operations leading from non-accepted (rejected, false) sentences of a deductive system to non-accepted (rejected, false) sentences of the system (see Słupecki in Funkcja Łukasiewicza, 33–40, 1959; Wybraniec-Skardowska in Teoria zdań odrzuconych, 5–131, Zeszyty Naukowe Wyższej Szkoły Inżynierskiej w Opolu, Seria Matematyka 4(81):35–61, 1983, Ann Pure Appl Logic 127:243–266, 2004, in On the notion and function of rejected propositions, 179–202, 2005). The operations of the types Cn + and Cn − can be ordinary finitistic consequence operations or unit consequence operations. A deductive system can be characterized in two ways by the following triple: $$\begin{array}{ll}{\rm by\,the\,triple}:\hspace{1.4cm} (+ , -)\hspace{0,6cm} \\ {\rm or\,by\,the\,triple}:\hspace{1.0cm} (-, +)\hspace{0,6cm} .\end{array}$$ We compare axiom systems for operations of the types Cn + and Cn −, give some methodological properties of deductive systems defined by means of these operations (e.g. consistency, completeness, decidability in Łukasiewicz’s sense), as well as formulate different metatheorems concerning them. (shrink)

OBJECTIVE: This article describes a method for investigating attitudes towards prioritisation in medicine. SETTING: University of Kuopio, Finland. DESIGN: The method consisted of a set of 24 paired scenarios, which were imaginary patient cases, each containing three different ethical indicators randomly selected from a list of indicators (for example, child, rich patient, severe disease etc.). The scenarios were grouped into 12 random pairs and the procedure was repeated four times, resulting in 12 scenario pairs arranged randomly in five different sets. (...) SURVEY: This method was tested with four groups of subjects (n = 8, n = 47, n = 104 and n = 36). RESULTS: Children and patients with a severe disease were prioritised in all groups. The aged, patients with a mild disease and patients with a self-acquired disease were negatively prioritised in all groups. Poor or rich patients were prioritised in some groups but negatively prioritised in others. CONCLUSIONS: The validity and reliability of this method are good and it is suitable for investigating attitudes towards medical prioritisation. (shrink)

After spinal cord injury (SCI), motoneuron death occurs at and around the level of injury which induces changes in function and organization throughout the nervous system, including cortical changes. Muscle affected by SCI may consist of both innervated (accessible to voluntary drive) and denervated (inaccessible to voluntary drive) muscle fibers. Voluntary activation measured with transcranial magnetic stimulation (VATMS) can quantify voluntary cortical/subcortical drive to muscle but is limited by technical challenges including suboptimal stimulation of target muscle relative to its antagonist. (...) The motor evoked potential (MEP) in the biceps compared to the triceps (i.e., MEP ratio) may be a key parameter in the measurement of biceps VATMS after SCI. We used paired pulse TMS, which can inhibit or facilitate MEPs, to determine whether the MEP ratio affects VATMS in individuals with tetraplegia. Ten individuals with tetraplegia following cervical SCI and ten non-impaired individuals completed single pulse and paired pulse VATMS protocols. Paired pulse stimulation was delivered at 1.5, 10, and 30 ms inter-stimulus intervals (ISI). In both the SCI and non-impaired groups, the main effect of the stimulation pulse (paired pulse compared to single pulse) on VATMS was not significant in the linear mixed-effects models. In both groups for the stimulation parameters we tested, the MEP ratio was not modulated across all effort levels and did not affect VATMS. Linearity of the voluntary moment and superimposed twitch moment relation was lower in SCI participants compared to non-impaired. Poor linearity in the SCI group limits interpretation of VATMS. Future work is needed to address methodological issues that limit clinical application of VATMS. (shrink)

In ‘A Consistent Way with Paradox’, Laurence Goldstein (2009) clarifies his solution to the liar, which he touts as revenge immune . In addition, he (Ibid.) responds to one of the objections that Armour-Garb and Woodbridge (2006) raise against certain solutions to the open pair and argues that his proffered solution to the liar family of paradoxes undermines what they (Ibid.) call the dialetheic conjecture . In this paper, after critically evaluating Goldstein’s response to A-G&W, I turn to (...) his proposed solution to the liar paradox, where I show that it is difficult to see how it manages to avoid that conjecture. (shrink)

The problem first of clarifying and then of answering the questions how far human thoughts and actions are subject to causality and whether this is consistent with their being free is one to which many different approaches have been made throughout the history of philosophy. I doubt if any of them has been the product of such intense research as Professor Honderich has devoted to the construction, the defence and the evaluation of his theory of determinism. Agreement among philosophers, (...) especially on fundamental questions, is difficult to reach, and I shall be arguing against Honderich's theory at many crucial points. Nevertheless, I think that his readiness to accept even the most startling implications of his views, the patience he displays in examining alternatives to them, his assiduity in setting out and trying to meet a wide range of objections, are all highly creditable to him. (shrink)

A generic computation of a subset $A$ of $\mathbb{N}$ consists of a computation that correctly computes most of the bits of $A$, and never incorrectly computes any bits of $A$, but which does not necessarily give an answer for every input. The motivation for this concept comes from group theory and complexity theory, but the purely recursion theoretic analysis proves to be interesting, and often counterintuitive. The primary result of this paper is that there are no minimal pairs for generic (...) computability, answering a question of Jockusch and Schupp. (shrink)

Taking the BCS Hamiltonian written in second-quantized form, a modified form of Umezawa's self-consistent field theory method is applied, and a unitarily nonequivalent representation is selected in which the Hamiltonian obviously describes a superconducting system. This result is not at all obvious, since the original Hamiltonian is completely symmetric, and there is no reason a priori for expecting it to describe an asymmetric superconducting configuration. All higher order terms are accounted for, and in doing so, one finds the existence (...) of the energy-gap condition for Cooper pairs. The representation is picked out without using the adiabatic theorem or pair approximation, as is typically done in the self-consistent method for superconductivity. (shrink)

It is consistent that there is a set mapping from the four-tuples of ω n into the finite subsets with no free subsets of size t n for some natural number t n . For any $n it is consistent that there is a set mapping from the pairs of ω n into the finite subsets with no infinite free sets. For any $n it is consistent that there is a set mapping from the pairs of ω (...) n into ω n with no uncountable free sets. (shrink)

Hering’s opponent-colors theory suggests that our color sensations are produced by three mechanisms: a red–green mechanism, a yellow–blue mechanism, and a white–black mechanism. The first two mechanisms give rise to our sensations of hued colors; the third mechanism gives rise to our sensations of hueless colors. Noticeably, whereas the pair of colors produced by each of the hued mechanisms do not mix to yield a phenomenal intermediate (i.e., there are no greenish reds, reddish greens, yellowish blues, or bluish yellows), (...) the colors produced by the hueless mechanism, white and black, do have a phenomenal intermediate—gray. This different behavior of the white–black mechanism poses a problem for Hering’s theory. Several attempts to fix this problem have been suggested. This paper focuses on the suggestion made by Paul Heggelund a century after Hering proposed his theory. In Heggelund’s amendment of Hering’s theory, the hueless colors are not confined to the one-dimensional gamut between black and white, but rather require two components for their full description: a light–dark (or luminous–black) component, where light and dark are mutually exclusive sensations, and a white component, which doesn’t have an opponent counterpart. Here I show that although Heggelund’s theory indeed provides a solution to the problem that the hueless colors pose to Hering’s theory, it is not self-consistent. I go on to revise Heggelund’s theory to obtain a consistent opponent-colors theory. (shrink)

Research on adolescent wellbeing in Developmental Language Disorder has previously been examined through measures of parent or self-reported wellbeing, but never has a study included both and enabled comparison between the two. The current study reports parent and self rated wellbeing of adolescents with DLD and Low Language ability, as well as their typically developing peers. It also examines consistency between raters and factors influencing correspondence. Adolescents aged 10–11 with DLD, LL or TD were recruited from eight UK primary schools. (...) A battery of standardized language, psychosocial and wellbeing assessments, including the KIDSCREEN-27 were administered. Adolescent ratings of wellbeing were similar across groups on three of the five wellbeing dimensions, but those with DLD had lower self-reported Autonomy and Parental Relations than their TD peers, and both the DLD and LL group had lower School Environment scores than their TD peers. By parental report, the DLD and LL group were considered to have lower wellbeing on all five wellbeing dimensions relative to their TD peers. Paired sample t-test analyses indicated a high level of variance between parent and adolescent reported wellbeing for multiple wellbeing domains, especially Psychological Wellbeing. Importantly, predictors of the level of agreement between parent and adolescent reported psychological wellbeing differed between groups: cognitive reappraisal and sociability predicted this level of agreement for adolescents with LL, while social competence predicted agreement in DLD and TD. This study emphasizes the necessity of allowing adolescents of all language abilities to report their own wellbeing, as their perspective does not align with that of their parents. It also highlights the importance of including the full spectrum of need when investigating the impact of language ability on consistency between proxy and self-reported wellbeing. (shrink)

The Hartree–Fock–Popov theory of interacting Bose particles is generalized to the Cooper-pair system with a screened Coulomb repulsive interaction in high-temperature superconductors. At zero temperature, it is found that the condensate density \\) of Cooper pairs is of the order \\simeq 10^{18}\) cm\, consistently with the fact that a small fraction of the total p holes participate in pairing. We find that the phonon velocity c at zero temperature is of the order \\simeq 10\) km s\. The computation shows (...) that the transition temperature \ is a dome-shaped function of the p hole concentration \, which is consistent with experiments. At finite temperature, we find that the condensate fraction \/n\) decreases continuously from \/n\) to zero as the temperature increases from zero to the transition temperature \. For higher temperatures, we find that the repulsive interaction between Cooper pairs drives more Cooper pairs into the condensate. The computation reveals that the phonon velocity c decreases continuously from c to zero as the temperature increases from zero to the transition temperature \. The Cooper-pair system undergoes a first-order phase transition from the normal state to the BEC state. (shrink)

Do English-speakers think about anger as “red” and sadness as “blue”? Some theories of emotion suggests that color(s) - like other biologically-derived signals- should be reliably paired with an emotion, and that colors should differentiate across emotions. We assessed consistency and specificity for color-emotion pairings among English-speaking adults. In study 1, participants (n = 73) completed an online survey in which they could select up to three colors from 23 colored swatches (varying hue, saturation, and light) for each of ten (...) emotion words. In study 2, different participants (n = 52) completed a similar online survey except that we added additional emotions and colors (which better sampled color space). Participants in both studies indicated the strength of the relationship between a selected color(s) and the emotion. In study 1, four of the ten emotions showed consistency, and about one-third of the colors showed specificity, yet agreement was low-to-moderate among raters even in these cases. When we resampled our data, however, none of these effects were likely to replicate with statistical confidence. In study 2, only two of twenty emotions showed consistency, and three colors showed specificity. As with the first study, no color-emotion pairings were both specific and consistent. In addition, in study 2, we found that saturation and lightness, and to a lesser extent hue, predicted color-emotion agreement rather than perceived color. The results suggest that previous studies which report emotion-color pairings are likely best thought of experiment-specific. The results are discussed with respect to constructionist theories of emotion. (shrink)

Premeiotic association of homologous chromosomes in the yeast, Saccharomyces cerevisiae has been shown, by means of fluorescent in situ hybridization (FISH)(1,2). Time course and mutant studies show that the premeiotic associations are disrupted upon entry into meiosis, to be reestablished shortly before synapsis. The data are consistent with a model in which multiple, unstable interactions bring homologues together, prior to stable joining by recombination(3).

Over the past 25 years, Graham Priest has ably presented and defended dialetheism, the view that certain sentences are properly characterized as true with true negations. Our goal here is neither to quibble with the tenability of true, assertable contradictions nor, really, with the arguments for dialetheism. Rather, we wish to address the dialetheist's treatment of cases of semantic pathology and to pose a worry for dialetheism that has not been adequately considered. The problem that we present seems to have (...) broader bite, afflicting both consistent and inconsistent proposals for resolving semantic pathology. Thus, while our primary goal is to uncover some important connections between dialetheism, semantic pathology, and other, more general issues, the problem that we pose might be a worry for anyone who aims to resolve semantic pathology - consistently or not. (shrink)

Living kidney transplantation offers the best results for patients with end-stage renal disease (ESRD). This form of transplantation is no longer restricted to genetically or emotionally related donors, as shown by the acceptance of non-directed living anonymous donors, and the development of exchange programmes (EPs). EPs make it possible to perform living kidney transplantation among incompatible pairs, but while such programmes can help increase living organ donation, they can also create a degree of unfairness. Kidney transplant recipients in the O (...) blood group are at a disadvantage when it comes to EPs because they can only receive organs from O donors, whereas O donors are universal donors. This poses a major challenge in terms of distributive justice and equity. A way to remedy this situation is through altruistic unbalanced paired kidney exchange (AUPKE), in which a compatible pair consisting of an O blood group donor and a non-O recipient is invited to participate in an EP. Although the AUPKE approach appears fairer for O recipients, it still raises ethical questions. How does this type of exchange affect the donor/recipient gift relationship? Should recipients in compatible pairs receive a ‘better organ’ than the one they would otherwise have received from their intended donor? Finally, what is the role of transplant teams in AUPKE? This article will examine the organisational and ethical challenges associated with EPs and AUPKE, and compare different EP policies in countries where such programmes exist. (shrink)

Recent evidence suggests that consciousness of encoding is not necessary for the rapid formation of new semantic associations. We investigated whether unconsciously formed associations are as semantically precise as would be expected for associations formed with consciousness of encoding during episodic memory formation. Pairs of faces and written occupations were presented subliminally for unconscious associative encoding. Five minutes later, the same faces were presented suprathreshold for the cued unconscious retrieval of face-occupation associations. Retrieval instructions required participants to classify the presented (...) individuals according to their putative regularity of income, length of education, and creativity value of occupational activity. The three instructions yielded more classifications consistent with a person’s occupation if the person had been subliminally presented with his written occupation versus a meaningless word . This suggests that consciousness is not necessary to encode, long-term store, and retrieve semantically precise associations between primarily unrelated items. (shrink)

In this paper we study with proof-theoretic methods the function(al) s provably recursive relative to Ramsey's theorem for pairs and the cohesive principle (COH). Our main result on COH is that the type 2 functional provably recursive from $RCA_0 + COH + \Pi _1^0 - CP$ are primitive recursive. This also provides a uniform method to extract bounds from proofs that use these principles. As a consequence we obtain a new proof of the fact that $WKL_0 + \Pi _1^0 - (...) CP + COH$ is $\Pi _1^0 $ -conservative over PRA. Recent work of the first author showed that $\Pi _1^0 + CP + COH$ is equivalent to a weak variant of the Bolzano-Weierstraß principle. This makes it possible to use our results to analyze not only combinatorial but also analytical proofs. For Ramsey's theorem for pairs and two colors $\left( {RT_2^2 } \right)$ we obtain the upper bounded that the type 2 functionals provable recursive relative to $RCA_0 + \sum\nolimits_2^0 {IA + RT_2^2 } $ are in T₁. This is the fragment of Gödel's system T containing only type 1 recursion—roughly speaking it consists of functions of Ackermann type. With this we also obtain a uniform method for the extraction of T₁-bounds from proofs that use RT2..... Moreover, this yields a new proof of the fact that $WKL_0 + \sum\nolimits_2^0 {IA} + RT_2^2 $ is $\Pi _1^0 $ -conservative over $RCA_0 + \sum\nolimits_2^0 { - IA} $ . The results are obtained in two steps: in the first step a term including Skolem functions for the above principles is extracted from a given proof. This is done using Gödel's functional interpretation. After this the term is normalized, such that only specific instances of the Skolem functions are used. In the second step this term is interpreted using $\Pi _1^0 $ -comprehension. The comprehension is then eliminated in favor of induction using either elimination of monotone Skolem functions (for COH) or Howard's ordinal analysis of bar recursion (for $RT_2^2 $. (shrink)

This paper reports the results of an experiment designed to uncover the stochastic structure of individual preferences over lotteries. Unlike previous experiments, which have presented subjects with pair-wise choices between lotteries, our design allowed subjects to choose between two lotteries or (virtually) any convex combination of the two lotteries. We interpret the mixtures of lotteries chosen by subjects as a measure of the stochastic structure of choice. We test between two alternative interpretations of stochastic choice: the random utility interpretation (...) and the deterministic preferences interpretation. The main findings of the experiment are that the typical subject prefers mixtures of lotteries rather than the extremes of a linear lottery choice set. The distribution of choices does not change between a first and second asking of the same question. We argue that this provides support for the deterministic preferences interpretation over the random utility interpretation of stochastic choice. As a subsidiary result, we find a small proportion of subjects make choices that violate transitivity, but the level of intransitive choice falls significantly over time. (shrink)

We investigate the extent to which structures consisting of sequences of forests on the same underlying set are well-quasi-ordered under embeddings.

Although we find Gangestad & Simpson's argument intriguing, we question some of its underlying assumptions, including: (1) that fluctuating asymmetry (FA) is consistently heritable; (2) that symmetry is driving the effects; (3) that use of parametric tests with FA is appropriate; and (4) that a short-term mating strategy produces more offspring than a long-term strategy.

ABSTRACTIn two experiments, we examined the resolution of confidence judgments in syllogistic reasoning and their heuristic bases. Based on the assumptions of Koriat's Self-Consistency Model of confidence, we expected the confidence judgments to be related to conclusion consensuality, reflecting the role of consistency as a heuristic cue to confidence. In Experiment 1, the participants evaluated 24 syllogisms with conclusions that varied with respect to validity and consensuality. In Experiment 2, the participants produced conclusions to 64 pairs of premises. The correlation (...) between confidence and reasoning accuracy was low. In both experiments confidence was related to the consensuality of the responses. For consensually correct items, correlation between confidence and accuracy was positive; however, for consensually incorrect items it was negative. In Experiment 2, confidence was lower for syllogisms with higher response cardinality, or syllogisms that elicited a greater variety of conclusions. (shrink)

In this paper I investigate the properties of social welfare functions defined on domains where the preferences of one agent remain fixed. Such a domain is a degenerate case of those investigated, and proved Arrow consistent, by Sakai and Shimoji :435–445, 2006). Thus, they admit functions from them to a social preference that satisfy Arrow’s conditions of Weak Pareto, Independence of Irrelevant Alternatives, and Non-dictatorship. However, I prove that according to any function that satisfies these conditions on such a (...) domain, for any triple of alternatives, if the agent with the fixed preferences does not determine the social preference on any pair of them, then some other agent determines the social preference on the entire triple. (shrink)

We give a necessary and sufficient condition in order that a type-shifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is proved that, if for every n ≥ 1 there is a model of TST in the ground model M of ZFC that contains an n-extendible coherent pair, then there is a generic extension M[G] of M that contains a model of TST with a type-shifting automorphism, and hence M[G] contains (...) a model of NF. The converse holds trivially. It is also proved that there exist models of TST containing l-extendible coherent pairs. (shrink)

We study belief change in the branching-time structures introduced in Bonanno (Artif Intell 171:144–160, 2007 ). First, we identify a property of branching-time frames that is equivalent (when the set of states is finite) to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision function that satisfies the AGM postulates. (...) Second, we provide a set of modal axioms that characterize the class of AGM-consistent frames within the modal logic introduced in Bonanno (Artif Intell 171:144–160, 2007 ). Third, we introduce a generalization of AGM belief revision functions that allows a clear statement of principles of iterated belief revision and discuss iterated revision both semantically and syntactically. (shrink)

TOT states may be viewed as a temporary and reversible microamnesia. We investigated the effects of lorazepam on TOT states in response to general knowledge questions. The lorazepam participants produced more commission errors and more TOTs following commission errors than the placebo participants . The resolution of the TOTs was unimpaired by the drug. Neither feeling-of-knowing accuracy nor recognition were affected by lorazepam. The higher level of incorrect recalls produced by lorazepam participants may be due to the fact that they (...) were more frequently temporarily unable to access a known item. For some of these items, the awareness of the retrieval failure resulted in a commission TOT . The resolution of the TOT conflict is discussed in the light of the anxiolytic and anticonflict effects of lorazepam. The data are discussed in terms of contemporary theories of TOTs and the effects that benzodiazepines have on semantic memory. (shrink)

Background: Walking while performing a secondary task walking) increases cognitive workload in young adults. To date, few studies have used neurophysiological measures in combination to subjective measures to assess cognitive workload during a walking task. This combined approach can provide more insights into the amount of cognitive resources in relation with the perceived mental effort involving in a walking task.Research Question: The objective was to examine cognitive workload in young adults during walking conditions varying in complexity.Methods: Twenty-five young adults performed (...) four conditions: usual walking, simple DT walking, complex DT walking and standing while subtracting. During the walking task, mean speed, cadence, stride time, stride length, and their respective coefficient of variation were recorded. Cognitive workload will be measured through changes in oxy- and deoxy-hemoglobin during walking in the dorsolateral prefrontal cortex and perceived mental demand score from NASA-TLX questionnaire.Results: In young adults, ΔHbO2 in the DLPFC increased from usual walking to both DT walking conditions and standing while subtracting condition. ΔHbO2 did not differ between the simple and complex DT and between the complex DT and standing while subtracting condition. Perceived mental demand gradually increased with walking task complexity. As expected, all mean values of gait parameters were altered according to task complexity. CV of speed, cadence and stride time were significantly higher during DT walking conditions than during usual walking whereas CV of stride length was only higher during complex DT walking than during usual walking.Significance: Young adults had greater cognitive workload in the two DT walking conditions compared to usual walking. However, only the mental demand score from NASA-TLX questionnaire discriminated simple from complex DT walking. Subjective measure provides complementary information to objective one on changes in cognitive workload during challenging walking tasks in young adults. These results may be useful to improve our understanding of cognitive workload during walking. (shrink)

The famous dispute between Protagoras and Euathlus concerning Protagoras’s tuition fee reportedly owed to him by Euathlus is solved on the basis of practical argumentation concerning actions. The dispute is widely viewed as a kind of a logical paradox, and I show that such treating arises due to the double confusion in the dispute narrative. The linguistic expressions used to refer to Protagoras’s, Euathlus’s and the jurors’ actions are confused with these actions themselves. The other confusion is the collision between (...) the pairs of incompatible actions ambiguously expressed by two different pairs of sentences, one of which is a propositionally consistent pair whereas the other is an inconsistent one. The actional paradox solution aims to clear up these confusions by means of two core borderlines, propositional and expressive, drawn between the actions and the propositions. The propositional distinction says that actions are empirical facts and they lack truth values unlike propositions, which are mental entities and are often employed for referring to the actions. This distinction helps to avoid the confusion between the empirical incompatibility of actions and the truth-functional inconsistency of propositions. The expressive distinction claims that although the same linguistic sentences can be used to refer both to actions and propositions, two empirically incompatible actions can be expressed both by a pair of inconsistent propositions as well as by a pair of consistent ones. Therefore, the action of Protagoras’s being paid may be linguistically symbolized in four different ways: Protagoras gets paid due to the verdict, Protagoras gets paid due to the contract that amount to Protagoras does not get paid by the contract and Protagoras does not get paid by the verdict respectively, and likewise for Euathlus’s actions. The two distinctions are used for classifying the two groups of paradox solutions, legal and logical, proposed so far depending on which of the two confusions they purport to escape from. The actional reconstruction of the paradox suggests that there is only one single agent in the dispute, Protagoras, while the other named Euathlus is a ‘phantom,’ which most probably was invented by Protagoras himself for the sake of creating this challenging sophism. (shrink)

Juslin & Vll's (J&V's) discussions of evaluative conditioning and episodic memory focus on circumstances in which music becomes associated with arbitrary life events. However, analyses of film music suggest that viewers experience consistent pairings between types of music and types of narrative content. Researchers have demonstrated that the emotional content of film music has a major impact on viewers' emotional experiences of a narrative.

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.

We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.

Palatable, unhealthy food stimuli can be devalued via Go/No-Go (GNG) training that consistently pairs such stimuli with motor inhibition. However, it remains unclear whether this devaluation is caused via learned associations with motor inhibition or via inferential learning based on the valence of emitted motor responses. The present research disentangles the effects of motor assignment and response valence in GNG training through task instructions. In two studies, chocolate stimuli were consistently paired with motor inhibition (“no-go”) or with motor excitation (“go”). (...) Task instructions indicated that no-go responses were negatively valenced (“do not take”) and that go responses were positively valenced (“take”), or identified no-go responses as positively valenced (“keep”) and go as negatively valenced (“throw away”). The results show an effect of response valence on chocolate evaluations, but no effect of motor assignment: Chocolate stimuli were consistently devalued following pairings with a negatively valenced response, regardless of whether this response entailed motor inhibition or excitation. These findings align best with an inferential account of GNG training, suggesting that devaluation effects critically depend on inferential processes regarding motor response valence. GNG training procedures may, therefore, be optimised by disambiguating the valence of go and no-go motor responses prior to training. (shrink)

Two recent papers (Cubitt and Sugden, 1994; Samuelson, 1992) have established impossibility results which cast doubt on the coherence of the assumption of ’common knowledge of rationality'. It is shown that the Cubitt–Sugden result is the more powerful of the two impossibilities. Second, it is proved that the existence of a quasi-strict equilibrium is sufficient to construct sets which satisfy the Cubitt–Sugden axioms. This fact is used to establish that their impossibility result cannot arise in 2-player games. Finally, it is (...) shown that if a weak symmetry postulate is added, a new impossibility result arises for this class of games. (shrink)

The doctrine of the Holy Trinity requires the joint truth of the statements that there is a unique and simple God, and that there are three distinct Persons each of which is God. Saint Augustine posed the question what entities would have to exist, and how would they have to be related, in order for this doctrine to be internally consistent. The present book examines the attempts by ten leading philosophers (Augustine himself, Boethius, Abelard, Gilbert, Lombard, Bonaventure, Albert, Aquinas, (...) Scotus and Ockham) to answer Augustine's question. Subsidiary questions include the nature of divine simplicity, the divine perfections, the personal relations and their associated properties, and the interrelation between the abstract and the concrete within the Godhead. Each one of the historical theories of the Trinity is presented as a semantic model postulating a domain that, as needed, comprises a number of substances and non-substances. In each case, the theory's terms (e.g. the names of the Persons, and of the divine perfections, etc.) are assigned to elements in the domain. The elements to which the names apply essentially are designated as such. As needed, the abstracts of the names are also assigned elements in the domain. Various pairs of elements in the domain are connected as correlatives, or as abstract and concrete, or by way of substantial predication. These models allow for comparisons between different theories, and provide a means of checking a theory's consistency. (shrink)

Synesthetes can be distinguished from nonsynesthetes on a variety of experimental tasks because their concurrent synesthetic experiences can affect task performance if these experiences match or conflict with some aspect of the stimulus. Here, we tested grapheme‐color synesthetes and nonsynesthetic control participants using a novel perceptual similarity task to assess whether synesthetes’ concurrent color experiences influence perceived grapheme similarity. Participants iteratively arranged graphemes and, separately, their associated synesthetic colors in a display, such that similar items were placed close together and (...) dissimilar items further apart. The resulting relative inter‐item distances were used to calculate the pair‐wise (dis)similarity between items in the set, and thence to create separate perceptual representational dissimilarity matrices (RDMs) for graphemes and colors, on an individual basis. On the assumption that synesthetes’ similarity judgments for graphemes would be influenced by their concurrent color experiences, we predicted that grapheme and color RDMs would be more strongly correlated for synesthetes than nonsynesthetes. We found that the mean grapheme‐color RDM correlation was indeed significantly higher in synesthetes than nonsynesthetes; in addition, synesthetes’ grapheme‐color RDM correlations were more likely to be individually statistically significant, even after correction for multiple tests, than those of nonsynesthetes. Importantly, synesthetes’ grapheme‐color RDM correlations scaled with the consistency of their grapheme‐color associations as measured by their Synesthesia Battery (SB) scores. By contrast, the relationship between SB scores and grapheme‐color RDM correlations for nonsynesthetes was not significant. Thus, dissimilarity analysis quantitatively distinguished synesthetes from nonsynesthetes, in a way that meaningfully reflects a key aspect of synesthetic experience. (shrink)

We investigate splitting number and reaping number for the structure (ω) ω of infinite partitions of ω. We prove that ${\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}}$ and ${\mathfrak{s}_{d}\geq\mathfrak{b}}$ . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}$ and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}$ . To prove the consistency ${\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}$ and ${\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})}$ we introduce new cardinal invariants ${\mathfrak{r}_{pair}}$ and ${\mathfrak{s}_{pair}}$ . We also study the relation between ${\mathfrak{r}_{pair}, \mathfrak{s}_{pair}}$ and other (...) cardinal invariants. We show that ${\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}}$ and ${\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})}$. (shrink)

It is shown that the axioms Cubitt and Sugden (1994; Economic J. 104: 798) impose on a theory of rationally justifiable play (TRJP) do not prevent the possibility that two players necessarily disagree concerning the probability they ascribe to the choice of a third player. This appears to indicate that those axioms are not sufficient for defining a `reasonable' TRJP. In addition, for the case in which a player's beliefs are statistically independent, conditions for a TRJP are suggested under which (...) the existence of a quasi-strict equilibrium is sufficient, but the existence of a consistent n-pair is not, for defining a TRJP meeting those requirements. (shrink)

As consistency is such an important topic in logic, researchers have for a long time investigated how to attain and maintain it. But consistency can also be studied from the point of view of its opposite, inconsistency. The problem with inconsistency in classical logic is that by the principle of explosion a single inconsistency leads to triviality. Paraconsistent logics were introduced to get around this problem by defining logics in such a way that the explosion principle does not apply to (...) them. Another approach stays in the classical framework and evaluates the amount of inconsistency in a set of formulas. The great bulk of this work has been done for propositional logic and presents many interesting issues about inconsistency. A previous paper introduced the concept of generalized propositional logic (GPL) to provide a uniform method for measuring inconsistency in logics that allow the application of unary operator pairs, such as for modality, time, and space, to propositional logic formulas. The universality of GPL manifests itself in the fact that such an operator pair is evaluated in a uniform manner across all such logics. The difference lies solely in the choice of a frame for each logic. But some logics also contain nonunary operators. For example, temporal logics typically contain a binary Until operator. The purpose of this paper is to show how to extend generalized propositional logic to extended generalized propositional logic (EGPL) by adding nonunary operator pairs and measure inconsistency in such logics. The universality of EGPL manifests itself in the fact that once the evaluation of the nonunary operators is given, it carries over to all such logics. For example, the temporal Until operator becomes applicable to modal logic. Furthermore, while relative inconsistency measures were previously considered for GPL, they are now extended to EGPL and a new approach removes an undesirable feature from the previous version. Also, this paper provides results about various properties of the new inconsistency measures. Many examples and explanations are given to illustrate the issues involving this extension. (shrink)

This pair of lectures was given by Husserl in 1929 at the Sorbonne, and was later revised and expanded, resulting in the Cartesiansche Meditationen. By far the largest portion of the present volume consists of an introduction by the translator, the intention of which is to acquaint the Anglo-American philosopher with the fundamentals of Husserl's phenomenology. Biographical information on Husserl is also presented. The lectures themselves are less technical than the Cartesian Meditations, and are well suited as an introduction (...) to Husserl's thought.—A. W. W. (shrink)

As a result of decomposition of a system consisting of two elements as a typical management pair “subject - object” or “manager – subordinate”, and interpretation of each of its components as an element that is characterized by a certain coefficient of transformation, it has been proposed to discover such systems as “subject - object”, “object - subject”, and “object - object” with the purpose of identifying one of the above mentioned modes that will be the most efficient in (...) achieving the planned results of common functioning. An analysis of contemporary publications helped to find examples off practical use of all of the variations of interaction between a manager and a subordinate that were planned for comparative research. The research of the process of interaction between a manager and a subordinate with the use of analytical description of a classic cybernetic system of two elements that are bound by feedback, discovered that the most effective pair is the “subject - subject” pair as the only mode of cooperation of the two elements on the basis of synarchy and sintelecsy receiving of synergetic result. (shrink)

This anthology consists in pairs of papers, usually one by a junior scholar and one by a senior scholar, discussing a common issue of importance to the three disciplines of philosophy, law & politics.

In a pair of recently published articles, Thomas Talbott has presented a carefully constructed case for universalism. He contends that from the principle Necessarily, God loves a person S at a time t only if God's intention at t and every moment subsequent to t is to do everything within his power to promote supremely worthwhile happiness in S, provided that the actions taken are consistent with his promoting the same kind of happiness in all others whom he (...) also loves and the propositions 1. God exists 2. God is both omniscient and omnipotent 3. God loves every created person 4. God will irrevocably reject some persons and subject those persons to ever-lasting punishment a contradiction may be deduced. For given, entails 5. For any created person S and time t subsequent to the creation of S, God's intention at t is to do all that he properly can to promote supremely worthwhile happiness in S. (shrink)

This paper is about a substitution-failure in attitude ascriptions, but not the one you think. A standard view about the semantic shape of ‘that’-clause attitude ascriptions is that they are fundamentally relational. The attitude verb expresses a binary relation whose extension, if not empty, is a collection of pairs each of which consists in an individual and a proposition, while the ‘that’-clause is a term for a proposition. One interesting problem this view faces is that, within the scope of many (...) attitude verbs, ‘that’-clauses are not interchange able with certain other terms which stand for the same propositions as the clauses are supposed to. For example, (1a) below may be true, but (1c) is probably not: (1) a. Holmes {fears/suspects} that Moriarty has returned. b. That Moriarty has returned is the proposition that Moriarty has re turned. c. Holmes {fears/suspects} the proposition that Moriarty has returned. For only the exceptionally timorous fear propositions, and, excluding contexts in which we speak of a ‘suspect premise’, only the unusually paranoid suspect them. The truth-conditional change eVected by substituting propositional descrip tion for ‘that’- clause illustrated in (1) occurs with a wide range of attitude verbs. If you understand that the window of opportunity is closing, perhaps you should act before it is too late, but if you mere-. (shrink)