The standard inferentialist approaches to modal logic tend to suffer from not being able to uniquely characterize the modal operators, require that introduction and elimination rules be interdefined, or rely on the introduction of possible-world like indexes into the object language itself. In this paper I introduce a hypersequent calculus that is flexible enough to capture many of the standard modal logics and does not suffer from the above problems. It is therefore an ideal candidate to underwrite an inferentialist theory (...) of meaning for modal operators. Here I treat specifically the modal logics K, D, T, S4, B, and S5. I show that the calculi are adequate for each set of models, and show that they meet a large set of criteria that are generally thought necessary for a calculus to underwrite a theory of meaning. (shrink)

This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking (...) coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators. (shrink)

Sellars [1960, ‘Grammar and existence: A preface to ontology’] argues that the truth of a second-order sentence does not incur commitment to there being any sort of abstract entity. This paper begins by exploring the arguments that Sellars offers for the above claim. It then develops those arguments by pointing out places where Sellars has been unclear or ought to have said more. In particular, Sellars's arguments rely on there being a means by which language users could come to understand (...) sentences of a second-order language wherein the truth of second-order existential sentences do not require there to be abstract entities. In addition to this, as Sellars [1979, Naturalism and Ontology] notes, a formal account of quantification is required that does not make use of the apparatus of sequences. Both such a translation of and a formal account of quantification are provided in this article. (shrink)

This paper offers a response to Ramsey's famous challenge to draw a logical, as opposed to merely syntactical, distinction between names and predicates. Three attempts to meet this challenge are considered, one from Dummett, one from Geach, and one from Brandom. It is shown that none of these adequately addresses Ramsey's challenge. The paper concludes with a response to Ramsey that avoids the pitfalls of the other three replies. The advantage of the view proposed is that there is nothing preventing (...) the set of sentences in consideration from consisting only of atomic sentences. The upshot of my solution is that the distinction between names and properties rests on the presence of relational predicates in a language and the validity of the structural rules of identity, contraction, and cut. (shrink)

The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as a starting point (...) that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. The dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.Abstract prepared by Andrew ParisiE-mail: [email protected]: https://opencommons.uconn.edu/dissertations/1480/. (shrink)

Background:Women's health has received renewed attention in the last few years including health rehabilitation options for women affected by breast cancer. Dancing has often been regarded as one attractive option for supporting women's well-being and health, but research with women recovering from breast cancer is still in its infancy. Dancing with Health is multi-site pilot study that aimed to evaluate a dance programme for women in recovery from breast cancer across five European countries.Methods:A standardized 32 h dance protocol introduced a (...) range of Latin American dances presented within a sports and exercise framework with influences from dance movement therapy. Fifty-four women (M age 53.51; SD 7.99) participated in the study who had a breast cancer diagnosis 6 weeks, no indication of metastasis, or scheduled surgery/chemotherapy/radiation treatment for the duration of the intervention. Primary outcome data was collected for anthropometric and fitness measures next to cancer-related quality of life.T-tests and Wilcoxon signed ranked tests were used to establish differences pre and post intervention. Cohen's d was also calculated to determine the effect size of the intervention.Results:Statistically significant changes were found for: (i) weight, right and left forearm circumference and hip; (ii) 6 min walking, right and left handgrip, sit-to-stand and sit-and-reach; (iii) the EORTC-QLQ C30 summary score as well as the subscales of emotional and social functioning and symptoms. In all cases the direction of change was positive, while Cohen's d calculated showed that the effect of the intervention for these parameters ranged from intermediate to large.Conclusion:Changes on the above anthropometric, fitness and quality of life measures suggest that the intervention was of value to the participating women recovering from breast cancer. Results also advocate collaborative efforts across countries to further research. (shrink)

The aim of this article is to offer a method for determining the ontological commitments of a formalized theory. The second section shows that determining the consequence relation of a language model-theoretically entails that the ontology of a theory is tied very closely to the variables that feature in that theory. The third section develops an alternative way of determining the ontological commitments of a theory given a proof-theoretic account of the consequence relation for the language that theory is in. (...) It is shown that the proof-theoretic account of ontological commitment does not entail that the ontological commitments of a theory depend on the variables of that theory. The last section of the article discusses how this account of ontological commitment can be used in other philosophical projects such as Wright’s (Frege’s conception of numbers as objects, Aberdeen University Press, Aberdeen, 1983) abstractionism. The article concludes with a discussion of the upshots of adopting the proof-theoretic account of ontological commitment for ontology generally. (shrink)

El populismo debe ser rescatado del espacio de despección en que se lo puso desde sus inicios; por ej. en la interpretación que G. Germani hacía del peronismo como "imposibilidad de sectores rurales emigrados a la ciudad para adaptarse a los patterns de modernización social". Los actuales "populismo..