In this paper, we describe four broad ‘meta-methods’ employed in scientific and philosophical research of qualia. These are the theory-centred metamethod, the property-centred meta-method, the argument-centred meta-method, and the event-centred meta-method. Broadly speaking, the theory-centred meta-method is interested in the role of qualia as some theoretical entities picked out by our folk psychological theories; the property-centred meta-method is interested in some metaphysical properties of qualia that we immediately observe through introspection ; the argument-centred meta-method is interested in the role of (...) qualia in some arguments for non-physicalism; the event-centred metamethod is interested in the role of qualia as some natural events whose nature is hidden and must be uncovered empirically. We will argue that the event-centred metamethod is the most promising route to a comprehensive scientific conception of qualia because of the flexibility of ontological and methodological assumptions it can provide. We also reveal the hidden influences of the different meta-methods and in doing so show why consideration of meta-methods has value for the study of consciousness. (shrink)

Russellian monism – an influential doctrine proposed by Russell (1927/1992) – is roughly the view that the natural sciences can only ever tell us about the causal, dispositional, and structural properties of physical entities and not about their categorical properties, and, moreover, that our qualia are constituted by categorical properties. Recently, Stoljar (2001a, 2001b), Strawson (2008), Montero (2010, 2015), Alter and Nagasawa (2012), and Chalmers (2015) have attempted to develop this doctrine into a version of physicalism. Russellian monism faces the (...) so-called combination problem, according to which it is difficult to see how categorical properties could collectively constitute qualia. In this paper, I suggest that there is an insufficiently discussed aspect of the combination problem which I call the difference-maker problem. Taking the difference-maker problem into account, I argue that the combination problem – whether or not it can be solved – results in a dilemma for the project of developing Russellian physicalism. That is, Russellian monism is either physicalistically unacceptable or it is implausible; hence, Russellian monism and physicalism are incompatible. (shrink)

The Humility Thesis is a persistent thesis in contemporary metaphysics. It is known by a variety of names, including, but not limited to, Humility, Intrinsic Humility, Kantian Humility, Kantian Physicalism, Intrinsic Ignorance, Categorical Ignorance, Irremediable Ignorance, and Noumenalism. According to the thesis, we human beings, and any knowers that share our general ways of knowing, are irremediably ignorant of a certain class of properties that are intrinsic to material entities … Continue reading Humility Regarding Intrinsic Properties →.

The disciplinary characterisation (DC) is the most popular approach to defining metaphysical naturalism and physicalism. It defines metaphysical naturalism with reference to scientific theories and defines physicalism with reference to physical theories, and suggests that every entity that exists is a posited entity of these theories. DC has been criticised for its inability to solve Hempel’s dilemma and a list of problems alike. In this paper, I propose and defend a novel version of DC that can be called a historical (...) paths approach. The idea is (roughly) that metaphysical naturalism can be defined with reference to the historical ideas that current scientific ideas descend from. I argue that it is not rendered implausible by the above problems, and hence that DC is more defensible and attractive than it may first appear. I then argue that the approach also provides a useful framework for the naturalisation of the philosophy of mind and phenomenology. (shrink)

Russellian monism—an influential doctrine proposed by Russell (The analysis of matter, Routledge, London, 1927/1992)—is roughly the view that physics can only ever tell us about the causal, dispositional, and structural properties of physical entities and not their categorical (or intrinsic) properties, whereas our qualia are constituted by those categorical properties. In this paper, I will discuss the relation between Russellian monism and a seminal paradox facing epiphenomenalism, the paradox of phenomenal judgment: if epiphenomenalism is true—qualia are causally inefficacious—then any judgment (...) concerning qualia, including epiphenomenalism itself, cannot be caused by qualia. For many writers, including Hawthorne (Philos Perspect 15:361–378, 2001), Smart (J Conscious Stud 11(2):41–50, 2004), and Braddon-Mitchell and Jackson (The philosophy of mind and cognition, Blackwell, Malden, 2007), Russellian monism faces the same paradox as epiphenomenalism does. I will assess Chalmers’s (The conscious mind: in search of a fundamental theory. Oxford University Press, New York, 1996) and Seager’s (in: Beckermann A, McLaughlin BP (eds) The Oxford handbook of philosophy of mind. Oxford University Press, New York, 2009) defences of Russellian monism against the paradox, and will put forward a novel argument against those defences. (shrink)

Alexander Bird (2001; 2002; 2007) offers a powerful argument showing that, regardless of whether necessitarianism or contingentism about laws is true, salt necessarily dissolves in water. The argument is that the same laws of nature that are necessary for the constitution of salt necessitate the solubility of salt. This paper shows that Bird’s argument faces a serious objection if the possibility of emergentism – in particular, C. D. Broad’s account – is taken into account. The idea is (roughly) that some (...) emergent laws in some possible worlds may disrupt the solubility of salt without disrupting its constitution. (shrink)

Monism is our name for a range of views according to which the connection between dispositions and their categorical bases is intimate and necessary, or on which there are no categorical bases at all. In contrast, Dualist views hold that the connection between dispositions and their categorical bases is distant and contingent. This paper is a defence of Monism against an influential conceivability argument in favour of Dualism. The argument suggests that the apparent possibility of causal behaviour coming apart from (...) categorical bases is best explained by Dualism. We argue that Monism can explain the apparent possibility as well, if we take metaphysically alien laws — namely, laws whose metaphysical nature is alien to the actual world — into account. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...) nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

ABSTRACT Lewtas [2017] recently articulated an argument claiming that emergent conscious causal powers are impossible. In developing his argument, Lewtas makes several assumptions about emergence, phenomenal consciousness, categorical properties, and causation. We argue that there are plausible alternatives to these assumptions. Thus, the proponent of emergent conscious causal powers can escape Lewtas’s challenge.

Confucianism supports partiality because of its heavy emphasis on filial piety, but this may not always be true. Some assertions in the Analects appear to support comprehensive cosmopolitanism . Filial piety can simply be a requirement for moral training, and once this virtue is cultivated, the individual should extend the same love to all human beings. Impartiality as a requirement of morality is clearly exhibited in Mencius. If it is human nature to feel fear and pity for a child on (...) the verge of falling into a well, and if the right thing to do is to save this child, then one must do so even if she were the child of one’s enemy. However, this attempt to show that Confucianism exhibits a degree of impartiality is challenged by other compiled works on Confucian thought which consider filial piety as the most important virtue. Can we really reconcile the pivotal position of filial piety with aspects of impartiality in Confucian ethics? (shrink)

Plato and Aristotle both consider the arts to be forms of mimesis , but their meanings of mimesis do not entirely overlap. Plato employs the term mimesis with several meanings, which include reproducing the speeches, tones, and gestures of another person; the making of accurate copies or likeness of real objects; impersonating another person; and representing men in action. But his emphasis was on mimesis as the production of accurate copies of real objects , and the reproduction of speeches and (...) gestures of another person , and this has led him to conclude that artists are making redundant reproductions that contribute nothing to knowledge. Worse, these artists sometimes even mislead or deceive their spectators. He claims that painters deceive foolish men and children into believing that what they painted were real objects, and poets deceive by making false claims about the gods and heroes from legend . Hence, artists have no place in Plato’s ideal republic; and they must be expelled if they choose to stay. Although agreeing with Plato’s definition of mimesis, Aristotle defended the arts by emphasizing artistic mimesis as the representation of human action. As representations of human action, art goes beyond the production of accurate copies of the original because it has its own rules of unification and integration of parts, which enables the spectators to view artworks as coherent and intelligible wholes. Unlike the historian, the poet or dramatist describes events to satisfy the conditions of artistic unity, and it is never his intention to claim that the events he describes really took place . Plato never reached this conclusion that artworks are actually not merecopies but are entities existing in their own right, with their own rules of internal structuring that enable them to be presented as unified wholes, which means they can be intelligible to the audience without reference to originals existing in the real world. And this is because Plato did not emphasize art as representations of human action, and he chose instead to see them as mere copies or reproductions of originals existing in this world. My chief contributions would be, firstly, to show how Aristotle’s notion of mimesis distinguishes claims made in works of art from similar assertions made in the social sciences; and secondly, to support certain interpretations of artistic unity and coherence through my employment of textual analysis of the Poetics. (shrink)

This article discusses Aristotle’s notion of character, and how it should be presented in a play, such as a tragic drama. In Poetics 1450a 24, Aristotle entertains the possibility of a tragedy without character, and commentators have argued about whether a tragic drama can really unfold without characters of its agents being manifested; and whether Aristotle really meant a tragic drama that is completely devoid of character, or simply one that contains personalities that are considered to be stereotyped or wooden. (...) I will discuss different opinions of commentators on this issue, and offer my reasons for supporting one of their views. Since this remark on “characterless tragedy” was made in order to show the superiority of plot over character in tragedy, I will need to discuss these two elements in full; and it is in Aristotle’s discussion of the element of character that his view on women and natural slaves was presented. (shrink)

In this paper I focus on features of Aristotle's work (discussed in the Poetics) that can enhance our appreciation of Classical Greek tragedies and some of Shakespeare's works. Most important of these features is the production of the tragic effect, which consists of two parts: (1) the arousal of pity and fear to their maximum and (2) the katharsis or purgation of these emotions. The concept of katharsis has been interpreted in many ways and I will seek the most appropriate (...) interpretation. I argue that the maximisation of fear and pity that leads to the katharsis of these emotions can only be achieved by the unfolding of a well structured tragic plot and the revelation of character qualities in the tragic play. The successful tragedies from Classical Greece and the Shakespearean era possess the plots that were structured in a manner so as to produce the tragic effect to its maximum. I pay particular attention to Oedipus Rex of Sophocles and King Lear of Shakespeare to illustrate my point. (shrink)

A conference held in Manchester University in 2007 and a subsequent book containing papers presented therein (entitled Aesthetics and radical politics) attempt to legitimize certain radical political activities as art, that is, by confercing the status of art onthese protest activities. Inarguing that these works would probably fail to be accepted by the artworld, I have resorted to some form of essentialism, i.e., they will likely fail because they were never intended (by their organizers) as ant activities, and the activities (...) themselves do not appear to have an aesthetic function, and the spectators do not expect to see an art performnnce when they encounter one of these protests. But the failure (or potentinlfoilure) of these activities to be accepted as art has broader implications, for it reveals that one of the most influential versions of the institutional theory of art ( George Dickie's ) has failed to describe the sufficient conditions of art. (shrink)

Some philosophers claim that Aristotle never had a theory of art—the Poetics deals essentially with tragic and epic dramas only. It contains a full definition of only one art form, i.e., tragedy. Even Aristotle’s discussion on artistic evaluation focuses chiefly on tragedy, such as how a tragic plot should be constructed, how characters in tragedy should be presented, etc. The other forms of art were treated simply as different forms of mimesis, with skeletal discussion of them at best. Nevertheless, it (...) can be argued that Aristotle offers enough guidelines and information to build a complete theory of art. In order to do this, one has to focus on his definition of tragedy, especially the six essential elements of tragic drama. By closely examining the roles these elements perform in tragedy, one can extend their characteristics into the other art forms, and construct a more complete theory of art from Aristotle’s Poetics. This paper has attempted to do this task. (shrink)

This paper attempts to distinguish the aesthetic approach to environmental protection from the practical approach. The practical approach has a definite goal—the protection of present and future generations of human beings from harm and destruction. Protection of the environment is therefore only a means to an end—this means that if there were alternative and less painful ways to achieve the same goal, then we might opt for those other ways to preserve humankind. The aesthetic approach, on the other hand, treats (...) environmental protection as an end in itself. This is because certain aesthetic moods, feelings, or mental states can only be created by the objects we attend to; these objects are therefore unique, and their destruction must mean that we can no longer enjoy that peculiar feeling which it will evoke. (shrink)

The purpose of this article was to validate the published artificial intelligence facilities management outsourcing relationships system by real business cases in the working environment. The research aims to inspire the modern FM professionals in different industries with some challenging and innovative concepts about FM outsourcing relationships between facilities owners and service providers. First, it will briefly introduce the theory of the FM outsourcing relationships system on how it can help the FM seniors and strategists to design their FM daily (...) strategies wisely and make their business more effective and productive. Second, it will also introduce what the research is practically doing in the stage of case study for test and verification. It is concluded that FM outsourcing categorization may help to define the appropriate relationships. This further detailed outcome generated from the AI can be considered a solid reference to define and explain the existing outsourcing relationships between the stakeholders and the service providers to assign an outsourcing category to the FM relationship between the client and service provider based on the learnt rules. (shrink)

Lenman 's cluelessness objection against consequentialism states that we are almost entirely clueless to the actual consequences of our action. In ‘Cluelessness,’ Hilary Greaves distinguishes between ‘simple’ and ‘complex’ cases of cluelessness and argues that the principle of indifference applies to ‘simple’ cases, thereby rescuing the ‘simple’ cases from the cluelessness objection. In this discussion note, I argue that Greaves's distinction between ‘simple’ and ‘complex’ cases fails and cluelessness is more problematic than Greaves believes.

In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...) relative to a neighbourhood system, which is studied in more detail. The main new result on generic cuts presented here is a description of truth in the structure , where I is a generic cut of a model M of Peano arithmetic. The special case of elementary generic cuts provides a partial answer to a question of Kossak [R. Kossak, Four problems concerning recursively saturated models of arithmetic, Notre Dame Journal of Formal Logic 36 519–530]. (shrink)

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi _1$$\end{document}-Foundation + V=L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V=L$$\end{document} is enough to carry out finite injury arguments in α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory, proving both the Friedberg-Muchnik theorem and the Sacks splitting theorem in this theory. In addition, we compare the strengths of some fragments of KP. (shrink)

BackgroundIn the early stages of the COVID-19 pandemic, many health systems, including those in the UK, developed triage guidelines to manage severe shortages of ventilators. At present, there is an insufficient understanding of how the public views these guidelines, and little evidence on which features of a patient the public believe should and should not be considered in ventilator triage.MethodsTwo surveys were conducted with representative UK samples. In the first survey, 525 participants were asked in an open-ended format to provide (...) features they thought should and should not be considered in allocating ventilators for COVID-19 patients when not enough ventilators are available. In the second survey, 505 participants were presented with 30 features identified from the first study, and were asked if these features should count in favour of a patient with the feature getting a ventilator, count against the patient, or neither. Statistical tests were conducted to determine if a feature was generally considered by participants as morally relevant and whether its mean was non-neutral.ResultsIn Survey 1, the features of a patient most frequently cited as being morally relevant to determining who would receive access to ventilators were age, general health, prospect of recovery, having dependents, and the severity of COVID symptoms. The features most frequently cited as being morally irrelevant to determining who would receive access to ventilators are race, gender, economic status, religion, social status, age, sexual orientation, and career. In Survey 2, the top three features that participants thought should count in favour of receiving a ventilator were pregnancy, having a chance of dying soon, and having waited for a long time. The top three features that participants thought should count against a patient receiving a ventilator were having committed violent crimes in the past, having unnecessarily engaged in activities with a high risk of COVID-19 infection, and a low chance of survival.ConclusionsThe public generally agreed with existing UK guidelines that allocate ventilators according to medical benefits and that aim to avoid discrimination based on demographic features such as race and gender. However, many participants expressed potentially non-utilitarian concerns, such as inclining to deprioritise ventilator allocation to those who had a criminal history or who contracted the virus by needlessly engaging in high-risk activities. (shrink)

The belief that all human beings are ‘moral equals’ is widespread within the canon of Western liberal philosophy. However, it is unclear precisely what ‘moral equality’ or its associate terms mean, what grounds our ‘moral equality’ and what the implications of being ‘moral equals’ are. In this paper, I distinguish between three ways of understanding ‘moral equality’: the ‘buck-passing’, ‘explanatory’ and ‘reverse-explanatory’ accounts. The buck-passing account of moral equality is in parallel with Scanlon’s buck-passing account of value. It holds that (...) ‘moral equality’ is not a metaphysically fundamental concept and simply amounts to having other properties shared equally by all human beings that constitute the reasons for why we ought to treat all human beings equally in certain respects. The explanatory account understands the concept of ‘moral equality’ as metaphysically fundamental and explanatory of why human beings who are the same in certain respects have the same entitlement to x. The reverse-explanatory account also sees ‘moral equality’ as metaphysically fundamental but holds that the explanatory relationship goes the other way round: moral equality is explained by how we ought to act. I argue that the buck-passing account is a more accurate way of understanding moral equality. (shrink)

We show that Kubota and Levine’s characterization of the HPSG-based theory of non-constituent coordination proposed in Yatabe Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar, CSLI, Stanford, pp 325–344, 2001) and later works is inaccurate, and that the theory in question does not require any ad hoc mechanisms to account for the long-known fact that right-node raising and left-node raising can affect semantic interpretation. In the course of demonstrating this, we fill in some details of this HPSG-based (...) theory that were left unspecified in the previous literature, and we also present novel accounts of split-antecedent relative clauses and of respectively interpretation that are consistent with the theory. Furthermore, we argue that the phenomenon of summative agreement may provide a reason to prefer this theory over CG-based theories like Kubota and Levine’s. (shrink)

Journal of Social Philosophy, Volume 52, Issue 3, Page 344-361, Fall 2021.

This article examines, through a theoretical lens, two issues concerning equality under international law thrown up by the ongoing Russo-Ukrainian War: the equal treatment of belligerents on different sides under international humanitarian law (IHL), which is being contested by revisionist just war theorists, and the unequal treatment of Ukrainians with different genders assigned at birth who are trying to flee Ukraine, which is being contested under international human rights law (IHRL). By examining different conceptions of equality through the lens of (...) social ontology, this article distinguishes between the regulatory focus of IHL on individual agency and the regulatory focus of IHRL on social structures, which directly influence how ‘difference’ and ‘sameness’ are recognized and determined for the purpose of conceptualizing equality. Because of IHL’s focus on individuals, whose agency is limited in war, only highly agential conduct (e.g. targeting civilians) makes a ‘difference’ under IHL. Meanwhile, outside IHL’s regulatory focus, the different causes of states’ participation in war are evened out as the ‘same’ structured positions occupied by different individuals, warranting their same treatment according to belligerent equality. On the other hand, because of IHRL’s focus on social structures, which heavily condition the individuals, structural arrangements make a ‘difference’ under IHRL. Outside IHRL’s regulatory focus, individuals’ different innate characteristics such as sexual characteristics are evened out as the ‘same’ agential quality of being human, warranting their same treatment according to sex equality. The article argues that the contestations about these equality principles find deeper roots in their divergent social ontological visions, the revelation of which can open up new spaces for dialogue on and inquiry into a common social world that grounds the legal conceptions of equality. (shrink)

In this paper we describe a few interrelated issues for validating theories that posit levels of consciousness. First, validating levels of consciousness requires consensus about the ordering of conscious states, which cannot be easily achieved. This problem is particularly severe if we believe conscious states can be irreducibly smeared over time. Second, the relationship between conscious states is probably sometimes intransitive, which means levels of consciousness will not be amenable to a single continuous measure. Finally, even if a multidimensional approach (...) to levels of consciousness is adopted, we argue that there are further problems for its validation. (shrink)

Release of the ATP hydrolysis product ortophosphate (Pi) from the active site of myosin is central in chemo‐mechanical energy transduction and closely associated with the main force‐generating structural change, the power‐stroke. Despite intense investigations, the relative timing between Pi‐release and the power‐stroke remains poorly understood. This hampers in depth understanding of force production by myosin in health and disease and our understanding of myosin‐active drugs. Since the 1990s and up to today, models that incorporate the Pi‐release either distinctly before or (...) after the power‐stroke, in unbranched kinetic schemes, have dominated the literature. However, in recent years, alternative models have emerged to explain apparently contradictory findings. Here, we first compare and critically analyze three influential alternative models proposed previously. These are either characterized by a branched kinetic scheme or by partial uncoupling of Pi‐release and the power‐stroke. Finally, we suggest critical tests of the models aiming for a unified picture. (shrink)

ObjectivesWorking-age cancer patients face barriers to resuming work after treatment completion. Those resuming work contend with reduced productivity arising from persisting residual symptoms. Existing studies of return to work after cancer diagnosis were done predominantly in Western countries. Given that employment and RTW in cancer survivors likely vary regionally due to healthcare provision and social security differences, we documented rates and correlates of RTW, work productivity, and activity impairment among Chinese cancer survivors in Hong Kong at one-year post-treatment.MethodsOf 1,106 cancer (...) patients assessed at six-months post-cancer treatment, 593 previously worked; detailed work status, psychological distress, physical symptom distress, supportive care needs, health-related quality of life, and illness perception were assessed. Six months later, work productivity and activity impairment were assessed. Descriptive analyses examined RTW rate. Fully adjusted regressions determined RTW, work productivity, and activity impairment predictors.ResultsAt baseline, 39% were working, 26% on sick leave, and 35% were unemployed. Compared to patients returning to work, unemployed participants were older, likely manual/service-oriented workers, and had lower family income, chemotherapy, fewer unmet health system and information needs, poorer physical functioning, and negative illness perceptions. Sick leave participants were likely service-oriented workers, who had head and neck cancer, chemotherapy, and poor physical functioning. At FU, baseline depressive symptoms, physical symptom distress, and negative illness perceptions predicted presenteeism and work productivity loss; gynecological cancer, fewer unmet health system and information needs, and greater unmet sexuality needs predicted absenteeism; physical symptom distress, negative illness perception, and poor physical functioning predicted activity impairment.ConclusionCancer survivors who had more physically demanding jobs and poorer physical functioning delayed RTW. Unmanaged physical symptom and psychological distress hindered work productivity. (shrink)

We prove that any proof of a [Formula: see text] sentence in the theory [Formula: see text] can be translated into a proof in [Formula: see text] at the cost of a polynomial increase in size. In fact, the proof in [Formula: see text] can be obtained by a polynomial-time algorithm. On the other hand, [Formula: see text] has nonelementary speedup over the weaker base theory [Formula: see text] for proofs of [Formula: see text] sentences. We also show that for (...) [Formula: see text], proofs of [Formula: see text] sentences in [Formula: see text] can be translated into proofs in [Formula: see text] at a polynomial cost in size. Moreover, the [Formula: see text]-conservativity of [Formula: see text] over [Formula: see text] can be proved in [Formula: see text], a fragment of bounded arithmetic corresponding to polynomial-time computation. For [Formula: see text], this answers a question of Clote, Hájek and Paris. (shrink)

1. Pusan lok'ŏllit'i wa lok'ŏl munhwa yulli -- 2. Han'guk lok'ŏllit'i wa lok'ŏl munhwa yulli -- 3. Asia lok'ŏllit'i wa lok'ŏl munhwa yulli.

1. [without special title] -- ḥeleḳ 2. Meḳorot u-ferushim.