Spelling suggestions: "subject:"symbolic"" "subject:"ymbolic""
121 |
The Development of Water Practices within Households in Ribáuè, Mozambique.Ansved, Julia, Fuhrmann, Hanna January 2013 (has links)
Within the academic discussion, water is argued to be a ‘multifaceted resource’, yet, the social and cultural dimensions of water have received little attention. Furthermore, authors have highlighted a need to explore the phenomenon from both, the macro and micro level, however, debates regarding water tend to revolve around the former. Following the need for a more local perspective, this study looks into water practices of a household, like using a watering can to irrigate crops or purifying water for consumption, as well as the environment in which these occur. Recognising that change is essential for development, it also explores if improvement of these practices is needed, and how development of these, if so, may be encouraged. One perspective fostering such an understanding is Symbolic Interactionism, focusing on individuals and their behaviour and how this is influenced by their perceived reality and the interaction with oneself and others. This perspective is utilised as the analytical framework in order to explore people’s lives and their experiences. The research was carried out as a field work during April and May, 2013, in Ribáuè, Mozambique. This study concludes that there is a recognised need to develop water practices in order to support and create favourable outcomes for households. One of the factors that this study highlights as important is to acknowledge individuals’ cognitive process in relation to the visible actions performed, emphasising the significance of taking both processes into account when attempting to encourage the development of water practices. For instance, it is advisable to provide not only theoretical instructions, but also to demonstrate and let the individuals carry out new practices. By taking such factors into account, this may strengthen the efforts to encourage a household to develop its water practices. This study also proposes potential perspectives for future research.
|
122 |
The primary logics of programming languagesWinner, Robert Ian 08 1900 (has links)
No description available.
|
123 |
Meaning and existence in mathematics : on the use and abuse of the theory of models in the philosophy of mathematics.Castonguay, Charles. January 1971 (has links)
No description available.
|
124 |
On the logics of algebra.Barbour, Graham. January 2008 (has links)
We present and consider a number of logics that arise naturally from universal algebraic considerations, but which are ‘inherently unalgebraizable’ in the sense of [BP89a], essentially because they have no theo- rems. Of particular interest is the membership logic of a quasivariety, which is determined by its theorems, which are the relative congruence classes of the term algebra together with the empty-set in the case that the quasivariety is non-trivial. The membership logic arises by a more general technique developed in this text, for inducing deductive systems from closed systems on the free algebras of quasivarieties. In order to formalize this technique, we develop a theory of logics over constructs, where constructs are concrete categories. With this theory in place, we are able to view a closed system over an algebra as a logic, and in particular a structural logic, structural with respect to a suitable construct, typically the construct con- sisting of all algebras in a quasivariety and all algebra homomorphisms between these algebras. Of course, in such a case, none of these logics are generally sentential (i.e., structural and finitary deductive systems in the sense of [BP89a]), since the formulae of sentential logics arise from the terms of the absolutely free term algebra, which is generally not a member of the quasivariety under interest. In such cases, where the term algebra is not a member of a quasivariety, the free algebra of the quasivariety on denumerably countable free generators takes on the role played by the term algebra in sentential logics. Many of the logics that we encounter in this text arise most naturally as finitary logics on this free algebra of the quasivariety and generally are structural with respect to the quasivariety. We call such logics canons, and show how such structural canons induce sentential calculi, which we call the induced ideal ; the filters of the ideal on the free algebra are precisely the theories of the canon. The membership logic is the ideal of the cannon whose theories are the relative congruence classes on the free algebra. The primary aim of this thesis is to provide a unifying framework for logics of this type which extends the Blok-Pigozzi theory of elementarily algebraizable (and protoalgebraic) deductive systems. In this extension there are two parameters: a set of formulae and a variable. When the former is empty or consists of theorems, the Blok-Pigozzi theory is recovered, and the variable is redundant. For the membership logic, the appropriate variant of equivalent algebraic semantics encompasses the relatively congruence regular quasivarieties. These results have appeared in [BR03]. The secondary aim of this thesis is to analyse our theory of parameterized algebraization from a non- parameterized perspective. To this end, we develop a theory of protoalgebraic logics over constructs and equivalence between logics from different constructs, which we then use to explain the results we obtained in our parameterized theories of protoalgebraicity, algebraic semantics and equivalent algebraic semantics. We relate this theory to the theory of deductively equivalent -institutions [Vou03], and as a consequence obtain a number of improved and new results in the field of categorical abstract algebraic logic. We also use our theory of protoalgebraic logics over constructs to obtain a new and simpler characterization of structural finitary n-deductive systems, which we then use to close the program begun in [BR99], by extending those results for 1-deductive systems to n-deductive systems, and in particular characterizing the protoalgebraicity of the sentential n-deductive system Sn(K,N), which is the natural extension of the 1-deductive system S(K, ) introduce in [BR99], in terms of the quasivariety K having hK,Ni-coherent N-classes (we cannot see how to obtain this result from the standard characterization of protoalgebraic n- deductive systems of [Pal03], which is very complex). With respect to this program of completing [BR99], we also show that a quasivariety K is an equivalent algebraic semantics for a n-deductive system with defining equations N iff K is hK,Ni-regular; a notion of regularity that we introduce and characterize by a quasi-Mal’cev condition. The third aim of this text is to unify as many disparate arguments and notions in algebraic logic under the banner of continuous translations between closed systems, where our use of the term continuous is in the topological sense rather than in the order-theoretic sense, and, where possible, to give elementary, i.e. first order, definitions and proofs. To this end, we show that closed systems, closure operators and conse- quence relations can all be characterized elementarily over orders, and put into one-to-one correspondence that reflects exactly, the standard correspondences between the well-known concrete notions with the same name. We show that when the order is the complete power order over a set, then these elementary structures coincide with their well-known counterparts with the same name. We also introduce two other elementary structures over orders, namely the closed equivalence relation and something we term the proto-Leibniz relation; these elementary structures are also in one-to-one correspondence with the earlier mentioned structures; we have not seen concrete versions of these structures. We then characterize the structure homomorphisms between these structures, as well as considering galois relations between them; galois relations are pairs of order-preserving function in opposite directions; we call these translations, and they are elementary notions. We demonstrate how notions as disparate as structurality, semantics, algebraic semantics, the filter correspondence property, filters, models, semantic consequence, protoalge- braicity and even the logic S(K, ) of [BR99] and our logic Sn(K,N), all fall within this framework, as does much of our parameterized theory and much of the theory of -institutions. A brief summary of the standard theory of deductive systems and their algebraization is provided for the reader unfamiliar with algebraic logics, as well as the necessary background material, including construct and category theory, the theory of structures and algebras, and the model theory of structures with and without equality. / Thesis (Ph.D.)-University of KwaZulu-Natal, Westville, 2008.
|
125 |
Toward an algebra of computation.Poore, Jesse Hubbard 08 1900 (has links)
No description available.
|
126 |
Second-order logic : ontological and epistemological problemsRossberg, Marcus January 2006 (has links)
In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some (further to be specified) proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the "epistemic innocence" which would be needed for, e.g., foundational programmes in (the philosophy of) mathematics for which second-order logic is sometimes used. I suggest a Deductivist conception of logic, that characterises logical consequence by means of inference rules, and argue that on this conception second-order logic should count as logic in the proper sense.
|
127 |
Dynamical behaviour of a class of discontinuous maps and related topicsFu, Xin-Chu January 2001 (has links)
No description available.
|
128 |
Geopiety and landscape perceptions at Mounds State Park, Anderson, IndianaPerry, Barbara January 2003 (has links)
This study provides an examination of landscape perceptions, specifically geopiety or sacred landscape perceptions, at Mounds State Park. Through archival analysis I traced 2000 years of landscape perceptions at the park and found that geopiety has been an underlying influence in shaping perceptions. I further examine contemporary perceptions at Mounds state Park through participant observation and ethnographic interviewing and have determined that geopiety continues at the park in the form of nature-centered, historical/cultural and recreational perceptions. Finally, I examined the influence of modernity on geopiety and have determined that the level of geopiety is determined by the degree an individual is influenced by modernity. Modernity exists in varying degrees from traditional to progressive with the majority of individuals couched within the “inbetweeness” of modernity. / Department of Geography
|
129 |
Praxis-ethics-erotics : toward an eroticisation of thought: a matter of praxisMooney, James G. January 1999 (has links)
No description available.
|
130 |
Some results concerning intuitionistic logical categoriesTennenhouse, Karen Heather. January 1975 (has links)
No description available.
|
Page generated in 0.0315 seconds