Spelling suggestions: "subject:"[een] MODALITY"" "subject:"[enn] MODALITY""
1 |
The prospects for modal reductionSherratt, Anna January 2002 (has links)
No description available.
|
2 |
Le problème de l'essentialisme en logique modale quantifiée /Béliveau, Guy. January 1975 (has links)
No description available.
|
3 |
Referential opacity and modal logicFøllesdal, Dagfinn. January 1966 (has links)
Thesis--Harvard University. / Bibliography: leaves [158]-168.
|
4 |
Le problème de l'essentialisme en logique modale quantifiée /Béliveau, Guy. January 1975 (has links)
No description available.
|
5 |
A natural modal systemYang, Chin-mu January 1993 (has links)
No description available.
|
6 |
Modalities and formal systemsMillar, P. Hartley January 1969 (has links)
This work is in three parts. The first considers the most popular symbolic approach to the modalities and finds crucial shortcomings in it. The second explores the nature of symbolization and of logical form, and the third, drawing on the conclusions of the first two, sketches a symbolic treatment appropriate for certain types of talk about "necessity". The systems considered in Part 1 are those of C. I. Lewis and his followers. It is argued that they are unsuitable for use in symbolizing everyday modal talk, (i) because they do not have constants such as we should need for representing particular modalized utterances, and (ii) because they represent the valuation applied to those utterances which can be symbolized as being dependent upon features of symbolic systems rather than upon features of the symbolizanda. In Part 2 attention is focussed on various levels of symbolization, ranging from the symbolic use of a knot in one's handkerchief to the construction of a fully-fledged logical calculus complete with a truth-table formulation. Further the nature of logical form is explored, and it is concluded from these two investigations that the first step in symbolizing any new subject matter should be to seek out some range of valuations applicable to, and interesting for, that subject matter. The final part considers what is involved in claiming that something is necessary - whether in an everyday or a scientific context - and what it is for such a claim to "be "acceptable". It is argued that many - and probably the most important - uses of the term "necessary" are in utterances which should be symbolized as ad hoc postulates prefixed to normal truth-functional calculus symbolizations This application of the approach argued for in Part 2 is complemented by some notes on other approaches to necessity and possibility, and the discussion is rounded off with the suggestion that further application of the "valuational" approach offers the best prospect for substantial advances in modal logic. Part 1 In Symbolic Logic Lewis sets out to show that his connective '→' is superior to the '⊃' of the truth-functional prepositional calculus ('KC'). The superiority lies in the fact that for a "particular p and q" 'p → q' holds if and only if q is deducible from p; that is, Lewis claims, if 'p⊃q'is a tautology. It is unclear whether 'p' and 'q' are constants or variables. They are spoken of as "particular" and equated with individual utterances, yet they are, as arguments of a tautologous formula, presumably variables of KC. Further, the aspects of arguments of '→' which determine whether the relationship holds are the particular structures of these arguments and not the particular valuations assignable to simple variables of Lewis's system. The attempt to specify the conditions under which a formula consisting of two constant expressions bound by '→' should be assigned a true utterance as interpretation leads to a bizarre conclusion even when allowance is made for- Lewis's personal view of tautologousness and for various readings of his argument. The matter is to be decided, it seems, only by taking utterances such as would be symbolized by the two arguments of '→', symbolizing these utterances in some other calculus (presumably KC) and deciding whether the generalization of the resulting formula is a tautology. Lewis's aims and methods are the root of the troubles. Although he condemns KC as unable to represent deducibility properly, he wishes his system to contain KC. This he hopes to achieve by retaining the existing apparatus of KC, adding a new operator and, inevitably, accepting the lack of any finite general method for determining the value of a formula. Were this new operator to have had any influence upon what can be proved, then the individual symbols of the resulting system would have ceased to be comparable to KC symbols; for to choose a KC symbol as a means of representing an utterance is to accept that all and only its truth-functional relationships are worth symbolizing, but to choose the other sort of symbol would be to take more or different relationships as important-with the result that a quite different structure might turn out to give the most suitable representation of the utterance concerned. In KC there is a simple general rule laying down what value is assigned to the formula composed of a material implication sign and two constants of given value. It is our knowledge of such rules which allows us to decide that KC is a suitable calculus for a given application. We are able to see that when we use designated constants to symbolize (all and only) true utterances, the fact that a given material implication is a designated formula has a certain significance. The lack of such a general rule makes it a step in the dark if we decide to apply the Lewis.systems and take designated constants to symbolize the true utterances we are considering. Furthermore it is clear that in order to assure ourselves of a strict implication holding for a given pair of expressions, we must complicate the structure of our symbolizations of them until the corresponding material implication, regarded as a KC formula, instantiates some theorem; or else we must introduce the desired strict implication directly as a designated (constant) formula. Since one is forced to introduce those strict implications which one wishes to employ later, as a deliberate part of the choice of symbolization for the individual utterances to which the system is to be applied, the symbol '→' may be seen as little more than a deviantly manipulated predicate, or 'P → Q' may be seen as a single constant whose use is restricted to cases where 'P' and 'Q' occur separately in such a way that 'P⊃Q' is designated. One may thus agree with Lewis's comment that "the only case in which any truth-implication is likely to have any value in application, as the basis of inference, is the case in which it coincides with strict implication." The most satisfactory view of his system is as -a meta-logic designed to deal with deducibility-relations within KC, and itself behaving as a truth-functional predicate calculus but lacking any distinction between variables of the meta- logic and variables of the object-logic, (that is, the 'p's and 'q's making up "particular" KC formulae dealt with). A consideration of several writers who have attempted to extend and interpret Lewis systems- reveals neither a solution to the problem of the nature of their constants, nor recognition of the philosophical significance of the absence of any finite general truth-table treatment for '→'. This in no way depreciates the mathematical and logical ingenuity with which models for Lewis systems have been devised, but does leave the question of how the modalities should be symbolized a much more open one than might have been supposed. The question is best approached by considering what is involved in symbolizing a particular subject matter and what one should expect from a successful symbolization. Part 2 In examining various levels of symbolic apparatus and the criteria for preferring one system to another at each level, we are led to the conclusion that logical symbolization should always be seen as relative to some "valuation" of the symbolizanda, and that when given the task of constructing a logic for something one should begin by seeking the most interesting and important valuations applicable to it. It is further argued that logical form can only be determined in the light of knowing in which calculus and to which depth it is intended to conduct the symbolization.
|
7 |
Algebraic filtrations of the modal m-CalculusCromberge, Michael Benjamin January 2016 (has links)
A Dissertation submitted to the Faculty of Science, University of the Witwatersrand, Johannesburg, in ful lment of the requirements for the degree of Master of Science in Mathematics. 26 August 2016. / In this thesis we analyse the issue of decidability for two modal logics which contain least binders.
Towards this goal, we begin the work with a brief survey of modal logic, PDL, the modal -calculus
and algebraic filtrations as exposited by Conradie et al. The first such modal logic we analyse is
the fragment of the modal -calculus corresponding to PDL; the second logic is the equational
theory of the class of -algebras (motivated by the least root calculus of Pratt). We offer a new,
algebraic, proof for the decidability of PDL by showing that PDL has the finite model property
with respect to the class of dynamic algebras. We then show that the equational theory of the class
of -algebras has the finite model property with respect to the class of -algebras; this is based on
the proof of Pratt but differs in an important detail. The finite model property results for these
two modal logics are achieved by an algebraic filtration method based on that of Conradie et al. / LG2017
|
8 |
On the interface properties of Chinese modals.January 1999 (has links)
by Wong Nai Fai. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1999. / Includes bibliographical references (leaves 151-160). / Abstracts in English and Chinese. / ACKNOWLEDGEMENTS --- p.iii / COPYRIGHT --- p.vi / ABBREVIATION AND SYMBOLS --- p.vii / ABSTRACT --- p.viii / INTRODUCTION --- p.1 / Chapter CHAPTER 1 --- SETTING THE SCENE --- p.4 / Chapter 1.1 --- The Concept of Modality --- p.4 / Chapter 1.1.1 --- A Working Definition --- p.4 / Chapter 1.2 --- Semantics Properties of Modality --- p.4 / Chapter 1.2.1 --- Types of Modality --- p.4 / Chapter 1.2.2 --- The Dimensions of Modality: Necessity and Possibility --- p.5 / Chapter 1.2.3 --- The Properties of Modality: Possible Worlds and Quantification --- p.8 / Chapter 1.2.4 --- Summary --- p.10 / Chapter 1.3 --- The Category Modal --- p.11 / Chapter 1.3.1 --- The Encoding of Modality --- p.11 / Chapter 1.3.2 --- Modals and Auxiliaries --- p.12 / Chapter 1.4 --- Summary --- p.17 / Chapter Chapter 2 --- IDENTIFICATION OF MODALS: THE CASE IN CHINESE --- p.18 / Chapter 2.1 --- Basic Patterns --- p.18 / Chapter 2.2 --- Proposal (I): Modals as Adverbs --- p.19 / Chapter 2.3 --- Proposal (IT): Modals as Verbs --- p.21 / Chapter 2.4 --- Proposal (III): Modals as a Separate Class --- p.23 / Chapter 2.5 --- Discussion --- p.34 / Chapter Chapter 3 --- CHENESE MODALS IN GENERATIVE GRAMMAR --- p.51 / Chapter 3.1 --- Theoretical Assumptions: Raising and Control --- p.52 / Chapter 3.2 --- A Review of Some Syntactic Analyses of Chinese Modals --- p.53 / Chapter 3.2.1 --- Huang (1988) --- p.54 / Chapter 3.2.2 --- Li (1990[1985]) --- p.56 / Chapter 3.2.3 --- Lin and Tang (1995[1991]) --- p.58 / Chapter 3.3 --- Discussion --- p.71 / Chapter Chapter 4 --- ON THE ORIGIN OF MODALS --- p.90 / Chapter 4.1 --- A Theory of Auxiliation --- p.90 / Chapter 4.2 --- English --- p.93 / Chapter 4.3 --- Chinese --- p.97 / Chapter 4.4 --- Implications --- p.100 / Chapter Chapter 5 --- TOWARDS A SOLUTION --- p.102 / Chapter 5.1 --- Tripartite Distinction of Chinese Modals --- p.103 / Chapter 5.2 --- The Scope Order of Modals --- p.110 / Chapter 5.2.1 --- Scope of Modals in Possible World Semantics: De re vs. De Dicto Interpretations --- p.110 / Chapter 5.2.2 --- Scope Order of Modals and Modal Chain --- p.117 / Chapter 5.3 --- A Model for Chinese Modals: An Approximation --- p.122 / Chapter 5.4 --- Reanalysis --- p.128 / Chapter 5.4.1 --- "First, Second and Final Positioning of Modals" --- p.128 / Chapter 5.4.2 --- Modal Chain --- p.133 / Chapter 5.4.3 --- Summary --- p.136 / Chapter Chapter 6 --- CONCLUDING REMARKS --- p.137 / Endnotes --- p.140 / Bibliography --- p.151
|
9 |
Internal Modification of Apology Realization: Cross-cultural VariationsHo, Po-chin 22 July 2006 (has links)
This study aimed to compare the use of apology internal modification patterns between two groups of native speakers (Chinese and English) and EFL learners in the hope to serve as the base for further interlanguage studies. However, rather than following the traditional treatment that focuses largely on intensification of illocutionary indicating devices (IFIDs), this study examined the internal modification of apology under the scope defined by Trosborg (1995) with a proposed functional coding system. Results showed, as predicted by Olshtain (1989), although apology may be a universal act across different cultures in terms of a similar range and preference order of strategies, internal modification varied significantly cross-culturally and seemed to cause problems in learners¡¦ languages. For instance, Chinese speakers tended to use more linguistic devices, both upgraders and downgraders, to mitigate their sense of guilt in situations when English natives chose to adopt more upgrading modality markers to strengthen their apology. Interlanguege speakers of two proficiency levels revealed the same cultural attitude, but failed to match not only English but also Chinese natives in terms of being articulate and eloquent. However, such results only suggest besides the traditional distinction between upgraders vs. downgraders, the functions of modality markers should also be taken into account. In order to obtain a clearer picture of speech act behavior and to draw valid pedagogical implications, more work has to be done considering speakers¡¦ use of both internal and external pragmalinguistic modifications.
|
10 |
Long-term modality effect and the suffix procedure support for echoic theory or retrieval theory? /Huang, Shih-Tseng. January 1985 (has links)
Thesis (M.S.)--University of Wisconsin--Madison, 1985. / Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 24-25).
|
Page generated in 0.0243 seconds