Dissertations / Theses on the topic 'Metatheory'

To see the other types of publications on this topic, follow the link: Metatheory.

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 36 dissertations / theses for your research on the topic 'Metatheory.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Stanley, Jason. "Meaning and metatheory." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/11347.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Edwards, Mark Gerard. "An integral metatheory for organisational transformation." University of Western Australia. Faculty of Business, 2008. http://theses.library.uwa.edu.au/adt-WU2008.0145.

Full text
Abstract:
This thesis proposes a metatheory for the study of organisational transformation. A metatheory is a coherent conceptual system that analyses and accommodates the insights of other theory. In a time of rapidly changing organisational, societal and global environments there is a strong imperative for developing integrative conceptual frameworks that contribute to our understanding and explanation of transformational change. Like other areas of social science, the field of organisational transformation is made up of a multitude of diverse theories that offer useful and valid insights into aspects of transformational phenomena. These theories come from many different theoretical schools and research paradigms and they employ a wide range of explanatory concepts. There are however, no overarching theoretical frameworks specifically developed from metatheory building techniques that might give an overall coherency to the field. Consequently, there is no way of deciding on the relative conceptual merits of particular theories and there is often little justification for adopting one theory over another to explore some aspect of organisational transformation. To fill this gap, this thesis uses conceptual research methods to i) review extant literature, ii) develop a metatheory for organisational transformation and iii) apply this metatheory to the exemplar topic of organisational sustainability. The initial chapters introduce the topics of organisational transformation and metatheory building and provide a rationale for an overarching approach to radical organisational change. Following this, a method for metatheory building is developed and its application in this study is described. A rationale for the sampling procedure and organisational of data is also presented. The metatheory building method involves the use of conceptual theme analysis for identifying the core themes theorists use in describing and explaining organisational transformation. In subsequent chapters, core themes are analysed using the techniques of bridging and bracketing to derive a number of conceptual lenses. These lenses, and the relationships between them, form the central components for the integral metatheory. Having identified and described the basic set of conceptual lenses for transformation, the exemplar topic of organisational sustainability is used to show how the metatheory can be applied to a specific area of research. The final chapter evaluates the integral metatheory with some commonly used criteria for judging the results of conceptual research. A brief evaluation of the chief metatheoretical resource used in the study, i.e., AQAL metatheory, is also carried out. This thesis endeavours to contribute to the field of organisational, transformational and sustainability studies by i) developing a metatheoretical framework for the study of radical organisational change, ii) offering a comprehensive review of paradigms and theories of organisational transformation and their core explanatory concepts, and iii) proposing a more detailed metatheory building method which can make a significant contribution to the conceptual development of many fields within organisational studies.
APA, Harvard, Vancouver, ISO, and other styles
3

Toro, Ipinza Matías. "Abstracting gradual typing: Metatheory and applications." Tesis, Universidad de Chile, 2019. http://repositorio.uchile.cl/handle/2250/170935.

Full text
Abstract:
Tesis para optar al grado de Doctor en Ciencias, Mención Computación
Han habido muchos enfoques para integrar tipado estático y dinámico. Uno de los enfoques más notables es el del tipado gradual. El enfoque clásico para diseñar lenguajes graduales es usualmente ad-hoc, pero existen metodologías que sistematizan este proceso. Una de ellas es la Abstracting Gradual Typing (AGT), que ayuda a construir sistemáticamente lenguajes graduales a partir de lenguajes estáticamente tipados usando interpretación abstracta al nivel de tipos. A pesar que se a mostrado que AGT a sido efectiva en diferentes contextos, hay aún muchas preguntas abiertas: ¿AGT escala a mecanismos de lenguaje y disciplinas de tipos complejos? ¿Que lenguajes obtienen al usar abstracciones más ricas, o al introducir imprecisión de una manera poco convencional? ¿Cómo se compara el lenguaje gradual resultante con lo existente en la literatura? ¿Que propiedades AGT garantiza de preservar por construcción? ¿Podemos aplicar AGT a un lenguaje gradual derivado con AGT? En esta tesis se trata de responder a estas preguntas, aplicando AGT a disciplinas de tipos y mecanismos de lenguaje complejos. Primero, se aplica AGT a un cálculo lambda con tipado simple y referencias mutables, donde se muestra que una directa aplicación de AGT no garantiza una semántica eficiente respecto al espacio. Se prueba equivalencia contextual con uno de los lenguajes graduales con referencias encontrados en la literatura. Segundo, se aplica AGT a un lenguaje con tipado de seguridad y referencias, introduciendo imprecisión solo en las etiquetas de seguridad de los tipos. Se aprende que una aplicación directa de AGT sólo garantiza preservar por construcción la seguridad de tipos y los criterios refinados de lenguajes graduales. En orden de satisfacer no-interferencia, la propiedad semántica crucial del lenguaje estático, se deben refinar las abstracciones usadas en la semántica dinámica. Pero debido a las referencias mutables, se agrega un chequeo extra en la regla de reducción de asignaciones para prevenir flujos implícitos de información a través de la memoria. Este chequeo extra rompe la garantía gradual dinámica, la cual es parte de los criterios refinados de los lenguajes graduales. Tercero, se aplica AGT para introducir una nueva forma de imprecisión en los tipos, llamada unión gradual, un diseño original de tipos de unión que combina ambos beneficios de uniones etiquetadas y no etiquetadas. Se descubre que las uniones graduales interactúan con el tipo desconocido en una forma que exige un enfoque estratificado para AGT, dependiendo de la composición de dos interpretaciones de abstracción distintas en orden de recuperar optimalidad. Cuarto, se aplica AGT a System F, un lenguaje que soporta polimorfismo paramétrico. Se descubre que una aplicación directa de AGT rompe parametricidad, una propiedad semántica crucial de System F. En orden de recuperar parametricidad, se refinan las abstracciones (y se personalizan ciertas operaciones) usadas en la semántica dinámica. Esta personalización ayuda a preservar parametricidad pero a costa de la violar la garantía gradual dinámica. Esta garantía fue dejada como una conjetura en todos los trabajos previos; aquí se prueba que es simplemente incompatible con la noción clásica de parametricidad. Sin embargo, se establece una propiedad más débil que permite refutar varias afirmaciones acerca de teoremas graduales gratis, clarificando el tipo de razonamiento soportado por la parametricidad gradual.
CONICYT-PCHA/Doctorado Nacional/2015-21150510
APA, Harvard, Vancouver, ISO, and other styles
4

Wurm, Christian [Verfasser]. "On the metatheory of linguistics / Christian Wurm." Bielefeld : Universitätsbibliothek Bielefeld, 2013. http://d-nb.info/1073642372/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Freire, Lucas Grassi. "On the role of metatheory in the academic discipline of international relations." Thesis, University of Exeter, 2012. http://hdl.handle.net/10871/8321.

Full text
Abstract:
This thesis investigates in three parts the role played by metatheory in the discipline of International Relations (IR). Part one defines metatheory as 'systematic discourse about theory' and classifies it in a typology combining elements internal or external to the discipline with intellectual or contextual aspects of theorising. Each combination has particular functions. They also add to the roles played by several modes of metatheoretical inquiry (hermeneutical, evaluative, corrective, critical and historical). The typology offered in part one clarifies the general roles of metatheory as a constraining and enabling discursive mechanism. This is also discussed in part two, addressing how IR scholars portray metatheory's role in the discipline. Arguments against and in favour of metatheory are scrutinised, leading to a qualified defence of metatheoretical research in IR. Some of the negative impact of metatheorising in IR is acknowledged, but ultimately a stronger case attempting to eliminate it from the field cannot be sustained for analytical reasons. The merits of metatheory, therefore, will depend on how it operates in particular instances. A selection of illustration cases in part three further develops the argument. The first case stresses how metatheoretical directives shaped 17th century views of the Holy Roman Empire. It indicates that metatheory can frame theoretical claims even in a weak disciplinary context. A stronger disciplinary environment frames the second case, analysing a number of IR theories on the impact of the Peace of Westphalia in the European states-system. This discussion often alludes to the notion of hierarchy. The third case examines the interaction between metatheoretical directives and theories of hierarchy. These arguments are not necessarily compatible with the metatheoretical principles argued by their authors. As a mechanism, therefore, metatheory does not relate to theory in a deterministic way. Part three itself is, of course, a metatheoretical study that further illustrates the thesis.
APA, Harvard, Vancouver, ISO, and other styles
6

Ricciotti, Wilmer <1982&gt. "Theoretical and implementation aspects in the mechanization of the metatheory of programming languages." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3754/1/thesis.pdf.

Full text
Abstract:
Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.
APA, Harvard, Vancouver, ISO, and other styles
7

Ricciotti, Wilmer <1982&gt. "Theoretical and implementation aspects in the mechanization of the metatheory of programming languages." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amsdottorato.unibo.it/3754/.

Full text
Abstract:
Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.
APA, Harvard, Vancouver, ISO, and other styles
8

Doczkal, Christian [Verfasser], and Gert [Akademischer Betreuer] Smolka. "A machine-checked constructive metatheory of computation tree logic / Christian Doczkal. Betreuer: Gert Smolka." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1097263258/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Brennan, Jason. "The Best Moral Theory Ever: The Merits and Methodology of Moral Theorizing." Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/195168.

Full text
Abstract:
Anti-theorists claim that moral theories do not deliver all the goods we want and that consequently such theorizing is not a philosophically worthy pursuit. We suffer from certain misconceptions about the point and purpose of such theorizing and the theories it produces. In this essay, I treat moral theorizing as a genuinely theoretical enterprise that produces abstract knowledge about the general structure of morality.Moral theories should be understood as tools--intellectual and practical tools with importantly different uses. Just as with hand tools where it is useful to have hammers for one sort of job and screwdrivers for another, it can be rational to accept multiple moral theories at the same time. The idea here is that all good theories illuminate some truths about morality, but are also misleading at times. A theory that is good at solving one moral problem may be bad at solving another; a theory that is illuminating in one place may be distorting in another.Chapter one outlines the differences between moral theory, metaethics, moral metatheory, and morality itself. It argues that disagreement about moral theory need not reflect moral disagreement, and vice versa. Chapter two argues that even if moral theory turned out to be practically useless, it would still accomplish certain theoretical tasks. Chapters three and four explain how and why one might adopt different incompatible moral theories at the same time. Chapter five defends moral principles from various particularists and shows how the imperfections of moral principles mirror the imperfections of laws in other fields. Chapter six explains why philosophical inquiry is worthwhile despite the overwhelming disagreement displayed by philosophers. Chapter seven shows that moral intuitions serve as a check on philosophical methodology just as much as methodology helps us verify our intuitions. It explains why a certain sort of psychology-based argument against deontological intuitions will not work. Finally, chapter eight explores the various ways in which moral theory is and is not practical. It concludes that the practical usefulness of theory is a matter of empirical contingency that philosophers have done little to investigate.
APA, Harvard, Vancouver, ISO, and other styles
10

Hawkins, Ronald E. "The assessment of behavior patterns, personality characteristics and theoretical orientations for Master's level counseling students." Diss., Virginia Polytechnic Institute and State University, 1988. http://hdl.handle.net/10919/53524.

Full text
Abstract:
Answers to the question of what works best for what persons under what conditions have given rise to a new wave of metatheoretical approaches to counseling and psychotherapy that are situationally specific and tailored to meet the needs of individual clients. Such questions have only begun to be raised in the field of counselor education. Hence, the education and supervision of counseling students has remained largely an amorphous undertaking. In this study the researcher sought to examine how Master's level counseling students differed on measures of behavior, personality and theoretical orientation. Behavior patterns were assessed using Hutchins' metatheoretical model, called the T-F-A system, and the Hutchins Behavior Inventory (H.B.I.) that measures thinking, feeling and acting dimensions of human behavior. Personality characteristics were assessed using the Adjective Check List (A.C.L.). Theoretical orientations were assessed using a modified Smith Questionnaire. The students were divided into groups on the basis of behavior patterns, theoretical orientations, and gender. The issue of differences across these groups on measures of personality and behavior was then investigated. Results indicated that the H.B.I. works very well in assessing a) different personality orientations, b) responses to specific situations and c) theoretical preferences of counseling students. The existence of significant differences across theoretical orientation, behavior pattern, and gender groups on measures of behavior and personality calls for the development of a prescriptive approach to the training of counseling students. Results clearly suggest how counselors need to adapt to the specific client situations to maximize the possibility of behavior change. Implications for counselor education programs are discussed.
Ed. D.
APA, Harvard, Vancouver, ISO, and other styles
11

Wheeler, Harold William. "The reliability and validity of ipsative and normative forms of the Hutchins Behavior Inventory." Diss., Virginia Polytechnic Institute and State University, 1986. http://hdl.handle.net/10919/77787.

Full text
Abstract:
The current trend among theorists in counseling and psychotherapy is toward the development of metatheoretical models that can be used to organize, systematically and comprehensively, existing theories and techniques within the discipline. Some models also provide behavior adaptation guidelines for practitioners who wish to adapt their behavior to client behavior patterns. Hutchins created the metatheoretical TFA System to accomplish the above goals. He also created the Hutchins Behavior Inventory (HBI) to complement the TFA System. The HBI purportedly measures the thinking, feeling, and acting dimensions of behavior upon which the TFA System is built; it thus enables a practitioner to assess the unique, situationally specific, TFA behavior pattern of a client. At the time of this study, the only evidence concerning the measurement properties of the HBI was for a form that produces ipsative scores (the HBI-I) . But ipsative scores possess inherent psychometric properties that cause problems when they are subjected to certain types of statistical analyses. Thus, in this study, a normative form of the HBI (the HBI-N) was designed. The measurement properties of the HBI-I and HBI-N were then investigated and compared. Reliability was investigated using test-retest and internal consistency procedures. Construct-related validity was investigated using four procedures: internal consistency analysis of HBI-N scores; factor analysis of the items comprising the scales of the HBI-N; an analysis of a multitrait-multimethod validity matrix containing scores from the HBI-I, HBI-N, Strong Campbell Interest Inventory (SCII), and Myers-Briggs Type Indicator (MBTI); and a factorial validity analysis of scores from the HBI-N, SCII, and MBTI. Results indicated that the HBI-I possesses a high degree of reliability. Prior evidence of content-related validity suggested that the three constructs measured by the HBI are the thinking, feeling, and acting dimensions of behavior hypothesized by Hutchins. Some of the construct-related validity results obtained in this study supported this conclusion, while the main body of results supported the more limited conclusion that the HBI scales measure different, yet to be more clearly identified, constructs. Based on the evidence in this study, the HBI-I seems appropriate for research and clinical use.
Ph. D.
APA, Harvard, Vancouver, ISO, and other styles
12

Herrmann, Kay. "Welche Kompetenz hat Wissenschaftsphilosophie?" Universitätsbibliothek Chemnitz, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-86009.

Full text
Abstract:
Many prominent scientists have pointed out that philosophy is of no benefit to science. Stephen Hawking asserts: Philosophy is dead! Sciences use conceptions like natural laws, matter, nature, theories, etc. But science is also confronted with questions such as: "What is a natural law?" "What is nature?" "What is matter?" and "What is a scientific theory?" These (metatheoretical) questions exceed the sphere of competence of science – they are items of the philosophy of science. Philosophy of science is a metatheory of science. The Philosophy of science overlaps epistemology, ontology, and metaphysics by exploring whether scientific results are true, or whether entities like quarks or electrons really exist. More detailed investigations bring various questions into consideration such as: "How do we define the boundaries between different scientific disciplines?" "Is there a relation between the beauty and the truth of a scientific theory?" and "How do we distinguish between science and pseudoscience?" Additionally, the philosophy of science is concerned with ethical problems of modern technology, with the methodological questions, with the reconstruction of the structure and the development of scientific theories, and with revealing of any indoctrination of science. The optimistic conclusion of this paper is: Philosophy is still alive – but the philosopher has to participate in round-table discussions with scientists. We just want philosophers talking to scientists!
APA, Harvard, Vancouver, ISO, and other styles
13

Luperi, Mauricio Martinelli. "Três ensaios críticos sobre o processo de matematização recente da economia no Brasil e no mundo." reponame:Repositório Institucional do FGV, 2012. http://hdl.handle.net/10438/9950.

Full text
Abstract:
Submitted by Mauricio Martinelli Silva Luperi (mluperi@gmail.com) on 2012-08-22T20:36:42Z No. of bitstreams: 1 TESE FINAL BIBLIOTECA.pdf: 2792504 bytes, checksum: d5e859c60db6e24376ba31b2f0a0d511 (MD5)
Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2012-08-23T17:41:32Z (GMT) No. of bitstreams: 1 TESE FINAL BIBLIOTECA.pdf: 2792504 bytes, checksum: d5e859c60db6e24376ba31b2f0a0d511 (MD5)
Made available in DSpace on 2012-08-23T18:01:30Z (GMT). No. of bitstreams: 1 TESE FINAL BIBLIOTECA.pdf: 2792504 bytes, checksum: d5e859c60db6e24376ba31b2f0a0d511 (MD5) Previous issue date: 2012-08-10
The possibility of the economy becoming more mathematicized began with the marginalist revolution in the late nineteenth century. However, effectively, the process of mathematization of economic discourse would only become widespread, according to MIROWSKI (1991), from 1925 onwards. In an attempt to elucidate how this process took place and when it occurred in Brazil, we wrote three critical essays on the subject. The goal of the first essay is to make more accessible to Brazilian students and researchers a discussion that is held somewhat dispersedly in our country, and also to encourage further research on the subject. This subject is the discussion about the influence of the crisis in mathematics and physics of the early twentieth century on economic discourse. To see how this happened, we investigated the texts of some of the main authors who dealt with the subject. So we seek to elucidate the differences in rigor between the different models in Economics before and after the creation by mathematical physicists of quantum physics and non-Euclidean geometry, as well as its impact on general equilibrium theory. In the second essay, we begin by presenting the main benefits generated by the mathematization of economics, according to what is proclaimed by some of the advocates of the progress of the mathematical formalization of the economic discourse. After that, we point out the more traditional criticism to this mathematization process. Then we focus on the recent criticism of GILLIES (2005) about the the prevalence of operational numbers in economics. Later we analyze the criticism presented by BRESSER-PEREIRA (2008), who considers that the hypothetical-deductive method used by the "mainstream" is inadequate for economics. Finally, bearing in mind the definitions of BRESSER-PEREIRA (2008), we tentatively associate the reproduction of the hypothetical-deductive method to a metatheoretical process triggered by the theory of general equilibrium. In our third essay, we check how mathematical formalization in economics advanced in Brazil in the last three decades. To see this, we classified into several categories all the articles published in three major economic journals of the country (Revista Brasileira de Economia, Estudos Econômicos and Revista de Economia Política) and also the papers presented at the meetings of ANPEC (Associação Nacional dos Centros de Pós Graduação em Economia) from 1981 to 2010, according to the type of argument used. The total of articles analyzed was 5733. We try to notice if there was a turning point in the trajectory of economic discourse, making it more mathematical. Finally, in order to reinforce our analysis, we focus on the process of mathematization through the observation of a quantitative variable: equations per article.
A possibilidade da economia se tornar mais matematizada se iniciou com a revolução marginalista no final do século XIX. Entretanto, efetivamente, o processo de matematização do discurso econômico apenas teria se propagado, segundo MIROWSKI (1991), a partir de 1925. A fim de tentar elucidar como se deu esse processo e quando teria ocorrido no Brasil é que escrevemos três ensaios críticos sobre o tema. O objetivo do primeiro ensaio é o de tornar mais acessível aos estudantes e pesquisadores brasileiros uma questão que é tratada de maneira pouco orgânica em nosso país, e também incentivar novas pesquisas. Trata-se da discussão sobre as principais influências da crise da matemática e da física do final do século XX sobre o discurso econômico. Para verificar como isso se deu, investigamos os textos de alguns dos principais autores que tratam do tema. E daí buscamos elucidar as diferenças de rigor entre os diferentes modelos físicos matemáticos antes e depois da física quântica e da geometria não euclidiana, bem como seus impactos na teoria do equilíbrio geral. No segundo ensaio, iniciamos definindo os principais benefícios gerados pela matematização da economia, proclamados por alguns dos defensores do avanço do processo de formalização matemática sobre o discurso econômico. Em seguida, apontamos as críticas mais tradicionais a esse processo de matematização. Depois nos concentramos nas críticas mais recentes de GILLIES (2005) sobre a prevalência de números operacionais em economia. Para afinal, analisarmos a crítica de BRESSER-PEREIRA (2008) que considera o método hipotético-dedutivo utilizado pelo 'mainstream' inadequado à economia. Por último, de maneira tentativa, tendo em mente as definições de BRESSER-PEREIRA (2008), buscamos associar a reprodução do método hipotético-dedutivo a um processo metateórico deflagrado pela teoria do equilíbrio geral. No nosso terceiro ensaio, buscamos verificar como a formalização matemática avançou na ciência econômica brasileira nas três últimas décadas. Para observar isso, classificamos em diversas categorias todos os artigos publicados em três das principais revistas de economia do país (Revista Brasileira de Economia, Estudos Econômicos e Revista de Economia Política), bem como as publicações efetuadas nos encontros da ANPEC (Associação Nacional dos Centros de Pós-graduação em Economia) desde 1981 até 2010, de acordo com o tipo de argumentação utilizada. O total de artigos analisados soma 5.733. Procuramos observar quando houve um ponto de inflexão na trajetória do discurso econômico, tornando-o mais matemático. Por fim, para atestar nossas conclusões, focamos o processo de matematização na observação da variável quantitativa: equações por artigo.
APA, Harvard, Vancouver, ISO, and other styles
14

Spyropoulos, Michalis. "Prédire en relations internationales : étude de la place de l'avenir au sein des discours théoriques : soutiens, contestations, perspectives." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA111010.

Full text
Abstract:
Cette thèse propose de couvrir l’évolution de l’intérêt pour la prévision dans la théorie des relations internationales, en partant d’une constatation générale : son existence est contrastée, tributaire des fluctuations conceptuelles. Les deux premières Parties s’articulent respectivement autour de la défense d’une part et de la critique, d’autre part, de l’étude de l’avenir. Si l’on remonte tout d’abord aussi loin que la naissance du champ dans le monde anglo-américain, c’est parce que la question fut abordée par les premiers théoriciens libéraux, en raison du contexte issu de la première Guerre mondiale. Les contributions majeures de Hans Morgenthau, Morton Kaplan et Kenneth Waltz sont ensuite analysées, avant de céder leur place aux discours critiques. Une fois cet état de l’art établi, cette thèse suggère un bilan des parties en présence et propose une justification alternative, visant à légitimer différemment l’insertion d’une réflexion sur l’inconnu temporel en Relations internationales. La méthode alors préconisée déplace le cœur de l’argumentation vers les terrains de l’épistémologie et de la prescription, en vue de montrer finalement que la question de l’avenir est à la fois légitime et incontournable
This thesis proposes to cover the evolution of the interest for the prediction in the theories of international relations, starting with a general observation: its existence is contrasted, dependent on conceptual changes. The first two Parties are organized respectively around the defense on the one hand and criticism, on the other hand, of the study of the future. If we decide to go back as far as the birth of the field in the Anglo-American world, it is because the issue was first addressed by liberal theorists, due to the context after the World War I. The major contributions of Hans Morgenthau, Kenneth Waltz and Morton Kaplan are then analyzed before we focus on critical discourses. Once this state of the art established, this thesis suggests a review of the parties and offers an alternative justification to legitimize differently inserting a reflection on the unknown time in International Relations. The preferred method then moves the heart of the argument to the fields of epistemology and prescription, in order to finally show that the question of the future is both legitimate and compelling
APA, Harvard, Vancouver, ISO, and other styles
15

Nilsson, Stefan. "Den statsvetenskapliga diskursen : En innehållsanalys av statsvetenskapliga doktorsavhandlingar 2000-2013." Thesis, Karlstads universitet, Institutionen för samhälls- och kulturvetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-31601.

Full text
Abstract:
A possible "discursive turn" is believed to have been observed within Swedish political science in later years. The purpose of this study is to examine whether or not such a turn has actually taken place, in order to further determine if a resulting theoretical homogeneity poses a risk to the ability of Swedish political science to identify and respond to its full width of possible research problems, and to determine its perspectives on both these problems and the results that are later communicated to the general society. To do so, the study poses the following primary research question: "Has a discursive turn occurred within Swedish political science?" This question is then broken down into two specified research questions. "Has discourse analysis become a more common approach for doctoral dissertations in political science during the period of 2000-2013?" "Have ideas corresponding with discourse theory become more common within doctoral dissertations in political science that are not pure discourse analyses during the period of 2000-2013?" These questions are then answered by examining all known 406 doctoral dissertations in political science published in Sweden during the 21st century up until (and including) the year of 2013, using two forms of content analysis, one manual and one computer-assisted. The study finds no clear evidence of a discursive turn in Swedish political science since the turn of the century. The results demonstrate, however, that while ideas corresponding with discourse theory do not appear to have become unambiguously more common in recent times, they do appear in some form in a majority of the examined dissertations, albeit most often on the margin. The study finds no significant indications of a theoretical homogenisation that might impede upon the ability of political science to identify and respond to its full width of research problems. Discourse analysis appears to have a stable presence within Swedish political science, but does not appear to risk contributing to a homogenous research climate that might damage the plurality of research. Instead, it might be seen as a contribution to this plurality.
APA, Harvard, Vancouver, ISO, and other styles
16

Sadek, Gaafar. "Translation: Rights and Agency - A Public Policy Perspective for Knowledge, Technology and Globalization." Thesis, Université d'Ottawa / University of Ottawa, 2018. http://hdl.handle.net/10393/37362.

Full text
Abstract:
Copyright law relegates translation to a secondary, or derivative, status, which means that publishing a translation requires the permission of the rights holder of the original. This thesis argues for the timeliness of revisiting the translation right by analyzing its foundations and its implications from a transdisciplinary public policy perspective. This is done by first studying the historical and philosophical foundations of copyright law itself where the translation right is housed, revealing questionable philosophical arguments and a colonial past that has created legal path dependencies. The thesis then undertakes an examination of the foundations of the translation right specifically, dubbed “the international issue par excellence,” which confirms the same pattern observed in the development of copyright law. Given the complete absence of the translator’s perspective from all international discussions on the translation right, copyright’s view of translation is then contrasted with recent scholarship in translation theory, with a special focus on the notion of agency(-ies), exposing the incompatibility of these views on translation, and highlighting the importance of including the perspective of translation studies in policies and laws related to translation. The last part of the thesis explores the present-day realities of knowledge societies, digital technologies, and globalization, in order to identify the role of translation today and in the future, while highlighting the tremendous gaps between the have’s and the have-not’s, and the necessity of recognizing the specificities of different societies. Knowledge is the new capital of the world, and the translation right is an impediment to the key role translation can potentially play in allowing societies to participate in the cycle of its consumption and regeneration. Digital technologies are powerful enablers that have allowed those who have leveraged and embraced them, such as the open movement and prosumers of all types, to transform the nature of their interactions with their environment macro- and microstructurally. This has also been reflected in the profession of translation, where collaborative projects are constantly initiated, while the nature of the translator’s work is changing to the point where one seriously doubts whether the provisions of the century-old translation right still apply to it. The discussion on globalization focuses on language in a globalized world, power relations between linguistic communities, and means of preserving linguistic diversity and heritage. The translation right, with its questionable foundations and outdated nature, is an impediment to the potential role of translation (as representative of the public interest) in the world, and must be revisited and at least reduced to the point of constituting balanced public policy. Social development, power relations and the necessity of differentiation (or “otherness”) are running themes throughout the work, which tries to balance between theoretical discussions from various relevant disciplines and reliance on United Nations and other public policy research.
APA, Harvard, Vancouver, ISO, and other styles
17

Carn, Allen Lloyd. "Self-leadership to Servant Leadership: A Metatheoretical Antecedent to Positive Social." ScholarWorks, 2019. https://scholarworks.waldenu.edu/dissertations/6184.

Full text
Abstract:
A majority of current leadership programs are failing to deliver a comprehensive approach to leadership development by not providing middle and frontline managers the skills to enhance their potential to develop others. In failing to generate a comprehensive system, animosity towards all types of leadership has been festering for over 40 years as first identified by Greenleaf in 1977. The purpose of the study was to establish a link between the theoretical paradigms of servant leadership and self-leadership using the lens of emotional intelligence to generate an integral leadership development framework. The conceptual framework used Goleman et al.'s version of emotional intelligence, Spears's model of servant leadership, and Manz's concepts of self-leadership. The research question examined the interrelationship between the three theoretical paradigms and used the analysis to create a theoretical framework. A paradigm and systematic word search phrase yielded an initial sample of 1356 research articles. Using text scrutinization to achieve saturation, I used 342 articles to evaluate the gap between the three theoretical paradigms. The analysis of the secondary data used Edwards's approach to metatheory-building. The results yielded the beginnings of a new theory of self-perpetuating leadership style called sustainable leadership. Also noted based on the literature a serious absence of ethics, morality, or spirituality in leadership development. This study is important because it uses a holistic framework based on development techniques found in three theoretical leadership paradigms to help aspiring leaders to develop others. The positive social change that may result is an improvement in leadership skills, over time, through a comprehensive approach to leadership development for aspiring leaders.
APA, Harvard, Vancouver, ISO, and other styles
18

Chapman, James Norman. "Afro No-Clash : composing syncretic African/Western music : eleven compositions and the frameworks for their systematic analysis." Thesis, Queensland University of Technology, 2007. https://eprints.qut.edu.au/16694/1/Jim_Chapman_Thesis.pdf.

Full text
Abstract:
This PhD consists of an artistic work (an album of music) and an exegesis. The album contains eleven works for a variety of ensembles, including an eight-piece pop fusion group, a string quartet, an eleven-piece a cappella ensemble, a five-piece contemporary classical ensemble and a six-piece percussion ensemble. Each of these works embraces a blend of African and Western techniques and aesthetics. These works are the result of a compositional praxis which is closely integrated with a theoretical framework that I develop in the exegesis. The purpose of the exegesis is to provide a framework from which to understand the compositions. Perspectives such as postcolonialism are immediately engaged because of the fact that two distinct world cultures are referenced by these compositions. Similarly, the musical aesthetics of the two source cultures are examined because I need to understand the ways that the value systems are expressed in musical terms, and how they might interact in cross-cultural composition. Examination of the literature reveals that there has been a trend in recent decades towards cultural analysis of cross-cultural music but very little work has been done on the technical analysis of such works (Utz 2003). A preliminary list of issues is developed from a survey of ten relevant composers’ works and these issues are categorised into three analytic dimensions: the contextual (cultural), aesthetic and technical. African “musics” and musical cultures are discussed with regard to issues of Western interpretation (Agawu 2003) and appropriate representation, social and cultural preferences and aesthetic values. Likewise Western musical culture is examined in order to understand its colonial impact, its stylistic consistency and ideas that have emerged about aesthetic preferences and the interpretation of meaning (Cone 1972; Kivy 2001). Four frameworks are developed to address each of these analytical dimensions. The first deals with cultural identity and the appropriation of musical ideas, the second with the sensitivity of certain materials. The third framework enables the examination of the aesthetic preferences for each of the cultures involved and the fourth framework provides a taxonomy and vocabulary of terms for use in analysis of the structural and other technical features of cross-cultural Western/African musics. These four frameworks are applied to the eleven compositions that I have completed for this project. I identify distinct approaches to appropriation, aesthetic preferences, the predominance of rhythmic structure and the performative embodiment and narrative transformational processes in my compositions. I conclude by categorising the technical and stylistic preferences embodied in my work, and identifying possible future directions for my compositions and the development of the analytical frameworks.
APA, Harvard, Vancouver, ISO, and other styles
19

Chapman, James Norman. "Afro No-Clash : composing syncretic African/Western music : eleven compositions and the frameworks for their systematic analysis." Queensland University of Technology, 2007. http://eprints.qut.edu.au/16694/.

Full text
Abstract:
This PhD consists of an artistic work (an album of music) and an exegesis. The album contains eleven works for a variety of ensembles, including an eight-piece pop fusion group, a string quartet, an eleven-piece a cappella ensemble, a five-piece contemporary classical ensemble and a six-piece percussion ensemble. Each of these works embraces a blend of African and Western techniques and aesthetics. These works are the result of a compositional praxis which is closely integrated with a theoretical framework that I develop in the exegesis. The purpose of the exegesis is to provide a framework from which to understand the compositions. Perspectives such as postcolonialism are immediately engaged because of the fact that two distinct world cultures are referenced by these compositions. Similarly, the musical aesthetics of the two source cultures are examined because I need to understand the ways that the value systems are expressed in musical terms, and how they might interact in cross-cultural composition. Examination of the literature reveals that there has been a trend in recent decades towards cultural analysis of cross-cultural music but very little work has been done on the technical analysis of such works (Utz 2003). A preliminary list of issues is developed from a survey of ten relevant composers’ works and these issues are categorised into three analytic dimensions: the contextual (cultural), aesthetic and technical. African “musics” and musical cultures are discussed with regard to issues of Western interpretation (Agawu 2003) and appropriate representation, social and cultural preferences and aesthetic values. Likewise Western musical culture is examined in order to understand its colonial impact, its stylistic consistency and ideas that have emerged about aesthetic preferences and the interpretation of meaning (Cone 1972; Kivy 2001). Four frameworks are developed to address each of these analytical dimensions. The first deals with cultural identity and the appropriation of musical ideas, the second with the sensitivity of certain materials. The third framework enables the examination of the aesthetic preferences for each of the cultures involved and the fourth framework provides a taxonomy and vocabulary of terms for use in analysis of the structural and other technical features of cross-cultural Western/African musics. These four frameworks are applied to the eleven compositions that I have completed for this project. I identify distinct approaches to appropriation, aesthetic preferences, the predominance of rhythmic structure and the performative embodiment and narrative transformational processes in my compositions. I conclude by categorising the technical and stylistic preferences embodied in my work, and identifying possible future directions for my compositions and the development of the analytical frameworks.
APA, Harvard, Vancouver, ISO, and other styles
20

Rapetti, Pablo Ariel. "Metadesacuerdos. La teoría del derecho frente al fenómeno de los desacuerdos jurídicos fundamentales." Doctoral thesis, Universitat de Girona, 2017. http://hdl.handle.net/10803/434481.

Full text
Abstract:
This doctoral thesis analyzes various philosophical treatments of the phenomenon of legal disagreements, particularly focusing on the exchange, based on it, stemming from Ronald Dworkin’s challenge to legal positivism. The thesis presents Dworkin’s initial attack to legal positivism grounded on the idea that the latter is supposedly unable to account for disagreements in law, as well as Dworkin’s explanatory alternative to it, which involves developing a theoretical approach largely different (even opposed) to the positivist’s. After that, three different positivist replies are analyzed. All of them are critically scrutinized, but from their discussion I also collect elements which I finally use to try to offer 1) a more comprehensive and sophisticated framework for explaining the phenomenon of legal disagreements, and 2) a general reassessment of the discursive role pertaining to jurisprudence, in contrast to that pertaining to the participants of the legal practice
El trabajo consiste en un análisis de diversos tratamientos iusfilosóficos del fenómeno de los desacuerdos jurídicos, en particular teniendo en cuenta el desafío que Ronald Dworkin presentara al positivismo jurídico. En el trabajo se presenta el ataque inicial de Dworkin fundado en la idea de que el positivismo sería incapaz de dar cuenta de este fenómeno, y la propia alternativa explicativa dworkineana, que supone el desarrollo de un enfoque en gran medida distinto (y opuesto) al positivista. De allí se pasa al análisis de tres distintas respuestas ofrecidas a dicho desafío. Las tres reciben un fuerte escrutinio crítico, pero de su discusión se extrae, asimismo, una serie de elementos con la que se intenta ofrecer 1) un marco explicativo más comprehensivo y sofisticado del fenómeno, y 2) una reconsideración general del rol discursivo que corresponde a la teoría del derecho, frente al que cumplen los participantes de la práctica jurídica
APA, Harvard, Vancouver, ISO, and other styles
21

Rozenberg, Sebastian. "Concepts of Digital Objects : Digital Records and the Relational Objects of Yuk Hui." Thesis, Mittuniversitetet, Institutionen för informationssystem och –teknologi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-39348.

Full text
Abstract:
The writings of Yuk Hui, bringing together technical and philosophical insights, provides new theory for the digital, something desired by many in archival research. The aim of this study is to assess the use of Hui’s theories on digital objects and web ontologies as a unifying theory for archival studies, looking at the concept of digital records in particular. Two types of ontology are needed in order to understand digital objects according to Hui: (1) ontologies which relates to the technical language and hierarchies of knowledge representation, like metadata; (2) Ontology, which is the question of Being in the tradition of Heidegger’s phenomenology, the understanding of what it is to be in the world. Both of these ontologies are needed to account for the nature of the digital object. Further, digital objects are produced and constituted through their relations, which can be divided into discursive (technical and logical) and existential (the understanding of being in the world) relations. Digital objects must be approached both as technical formal entities, and as beings in the world. The first register is common, the second – more existential approach – is rarely applied. Using a metatheoretical and hermeneutic method, different conceptions of digital records are discussed, in order to find commonalities and possibilities in relation to Hui’s theory. The digital record as: a process of becoming, information as affordance, context, temporality and evidence are all related to and structured through the application of Hui’s perspective.   The thesis ends with the contribution of a possible redefinition of digital records: A digital record is constituted and concretised as material by discursive and existential relations, that taken together function as a persistent representation. Further, Hui’s digital object theory is suggested as a structuring and unifying theory. In relation to digital records Hui’s theory on digital objects can function as a metatheoretical measure, and a method of critical reading.
Yuk Hui för samman tekniska och filosofiska perspektiv och erbjuder ny teori för det digitala, något som ofta efterfrågas inom arkivvetenskapen. Syftet med denna studie är att applicera Huis teori om digitala objekt och webontologier som en förenande teori för arkivstudier, specifikt i förhållandet till konceptet digitala records. Två typer av ontologi behövs för att förstå digitala objekt enligt Hui: (1) ontologier som relaterar till tekniskt språk och hierarkiska kunskapsrepresentationer, så som metadata; (2) Ontologi som frågan om varat i fenomenologen Martin Heideggers bemärkelse; förståelsen av vad det är att vara i världen. Båda dessa ontologier behövs för att redogöra för det digitala objektets natur. Vidare produceras och konstitueras digitala objekt genom sina relationer, som kan delas upp i diskursiva (tekniska och logiska) och existentiella (förståelsen av att vara i världen) relationer. Digitala objekt måste förstås både som tekniska formella entiteter och som varelser i världen. Det första perspektivet är vanligt förekommande medan det andra – mer existentiella förhållningssättet – sällan tillämpas. Med hjälp av en metateoretisk och hermeneutisk metod diskuteras olika föreställningar om digitala records för att hitta likheter och möjligheter i relation till Huis teori. Digitala records som: en process av tillblivande, information som affordance, kontext, temporalitet och bevis är koncept som relateras och struktureras genom tillämpningen av Huis perspektiv.   Uppsatsen bidrar med en möjlig omdefinition av digitala records: Ett digitalt record konstitueras och konkretiseras som materiellt genom diskursiva och existentiella relationer vilka, tillsammans, fungerar som en ihållande representation. Vidare framhålls Huis teori för digitala objekt som en strukturerande och förenande teori. I relation till digitala records kan Huis teori om digitala objekt fungera som ett metatoretiskt mått och en metod för kritisk läsning.
APA, Harvard, Vancouver, ISO, and other styles
22

Zia, Asim. "Cooperative and non-cooperative decision behaviors in response to the inspection and maintenance program in the Atlanta Airshed, 1997-2001." Diss., Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-07112004-211918/unrestricted/zia%5Fasim%5F200407%5Fphd.pdf.

Full text
Abstract:
Thesis (Ph. D.)--School of Public Policy, Georgia Institute of Technology, 2005. Directed by Bryan Norton.
Norton, Bryan, Committee Chair ; Rodgers, Michael, Committee Member ; Bozeman, Barry, Committee Member ; DeHart-Davis, Leisha, Committee Member ; Noonan, Douglas, Committee Member. Includes bibliographical references.
APA, Harvard, Vancouver, ISO, and other styles
23

Hansen, Bent. "Was Sie über NLP wissen sollten! ; wissenschaftliche Wurzeln des Neuro-Linguistischen Programmierens ; Erkenntnistheorie, Metatheorie und strategische Interventionen." Bargteheide Psymed-Verl, 2008. http://d-nb.info/99831188X/04.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Du, Plessis Guy Pierre. "Towards an integral metatheory of addiction." Diss., 2014. http://hdl.handle.net/10500/14490.

Full text
Abstract:
Addiction is one of the most significant problems facing contemporary society. Consequently many scholars, institutions and clinicians have sought to understand this complex phenomenon, as is evident in the abundance of etiological models of addiction in existence today. A literature review pointed that there is little consensus regarding the nature and etiopathogenesis of addiction, and integrative models have not yet been able to provide the sought-after integration. In addressing this problem, this study offers a theoretical analysis of the paradigmatic and meta-paradigmatic suitability of Integral Theory in the design of an integrated metatheory of addiction. The data consisted of the most prominent etiological theories and models of addiction. The study focused on several essential features constituting the architectonic of any metatheory that attempts to provide conceptual scaffolding for the construction of a comprehensive metatheory of addiction. The criteria for the construction of a metatheory were conceptual integration, ontological span, ontological depth, empirical validity and internal consistency. Integral Theory was critically assessed in terms of each of the abovementioned criteria. The study suggests that Integral Theory is eminently suitable as a philosophical foundation for the development of an integrated metatheory of addiction.
Psychology
M.A. (Psychology)
APA, Harvard, Vancouver, ISO, and other styles
25

Alaqeeli, Omar. "The metatheory of the monadic hybrid calculus." Thesis, 2016. http://hdl.handle.net/1828/7184.

Full text
Abstract:
In this dissertation we prove the Completeness, Soundness and Compactness of the Monadic Hybrid Calculus MHC and we prove its expressive equivalence to the Monadic Predicate Calculus MPC. The Monadic Hybrid Calculus MHC is a new system that is based on the (propositional) modal logic S5. It is “Hybrid” in the sense that it includes quantifier free MPC and therefore, unlike S5, allows free individual constants. The main innovation in this system is the elimination of bound variables. In MHC, upper case letters denote properties and lower case letters denote individuals. Universal quantification is represented by square brackets, [], and existential quantification is represented by angled brackets, 〈〉. Thus, All Athenians are Greek and mortal is formalized as [A](G∧M), Some mortal Greeks are Athenians as 〈M∧G〉A, and Socrates is mortal and Athenian as s(M∧A). We give the formal syntax and the formal semantics of [MHC] and give Beth-style Tableau Rules (Inference Rules). In these rules, if [P]Q is on the right then we select a new constant [v] and we add [vP] on left, vQ on the right, and we cancel the formula. If [P]Q is on the left then we select a pre-used constant p and split the tree. We add pP on the right of one branch and pQ on the left of the other branch. We treat 〈P〉Q similarly. Our Completeness proof uses induction on formulas down a path in the proof tree. Our Soundness proof uses induction up a path. To prove that MPC is logically equivalent to the Monadic Predicate Calculus, we present algorithms that transform formulas back and forth between these two systems. Compactness follows immediately. Finally, we examine the pragmatic usage of the Monadic Hybrid Calculus and we compare it with the Monadic Predicate Calculus using natural language examples. We also examine the novel notions of the Hybrid Predicate Calculus along with their pragmatic implications.
Graduate
0800
0984
APA, Harvard, Vancouver, ISO, and other styles
26

Fu, Tzu Keng, and 傅子耕. "On the metatheory of classical propositional logic." Thesis, 2005. http://ndltd.ncl.edu.tw/handle/86601431532012659596.

Full text
Abstract:
碩士
國立中正大學
哲學所
93
The topic of this thesis is ``On the metatheoy of classical propositional logic". I prove that the metatheory of propositional logic is undecidable, and using one of Turing's result to prove it is also non-axiomatizable. This thesis offers three arguments, the first one is to prove $Th(langle vdash angle)$ is decidable, the second one is to prove $Th(langle vdash angle)$ is decidable, and the third one is to prove $Th(PROP)$ is undecidable. From these three proofs, we get the main result of this thesis, and these three proofs can also be three examples for three methods of proving the decidability problems separately. Especially emphasizing, when doing the first two proofs, I refer to some methods in model theory, to use these classical ways, we find it is clear and easy to finish these two proofs. Besides, when doing the third proof, I follow the method that Ian Mason offers in his paper[7]. Although this method can help us derive the result that we want effectively, many details is not clear such that the readers can not realize easily. The other purpose is to make details well-done.
APA, Harvard, Vancouver, ISO, and other styles
27

Taylor, James Tanfield. "HOL Metatheory of Relevant Implication Syntax and Semantics." Thesis, 2022. http://hdl.handle.net/1885/268767.

Full text
Abstract:
We mechanise two Hilbert systems, a Natural Deduction system, the Routley-Meyer semantics, and the Cover semantics for the Relevant Logic R in HOL4. We also show equivalence results between one of the Hilbert Systems and the other Hilbert system and the Natural Deduction system. We also show soundness and completeness results between the one of the Hilbert Systems and the two Semantic systems, thereby producing machine checked proofs of all of these results.
APA, Harvard, Vancouver, ISO, and other styles
28

Last, Antony. "Safetifying from interpersonal violence through Phasic Protective Sequencing : a classic grounded metatheory." Diss., 2020. http://hdl.handle.net/10500/27146.

Full text
Abstract:
This study generates a metatheory of interpersonal violence from an initial qualitatively highest scoring academic literature item and theoretically sampling over 200 additional literature items using classic grounded theory methodological analysis and synthesis. Danger emerged as the main concern of those experiencing interpersonal violence. Safetifying from interpersonal violence through the socio-psychophysical process of Phasic Protective Sequencing emerged as the resolution of the main concern. The metatheory of safetifying emerged in four parts: 1. The first was the socio-structural process of endangering with interpersonal violence through the interaction of the people and the elite resulting in endangerment (danger). 2. Danger precipitates the socio-psychological process of safetifying before interpersonal violence which involves awarenessing, setting up, and evaluating. 3. If the person is attacked, it precipitates the psycho-physical process of safetifying during interpersonal violence including resiliencing, finishing, and victoring. 4. The aftermath of an attack or the avoidance of an attack precipitates the psycho-social process of safetifying after interpersonal violence including reclaiming, relinquishing, and achieving. The metatheory of safetifying was shown to contribute uniquely to the field of interpersonal violence, to many related theories, and to have potential for therapeutic application.
Psychology
M.A. (Psychology)
APA, Harvard, Vancouver, ISO, and other styles
29

Delaware, Benjamin James. "Feature modularity in mechanized reasoning." 2013. http://hdl.handle.net/2152/22867.

Full text
Abstract:
Complex systems are naturally understood as combinations of their distinguishing characteristics or \definit{features}. Distinct features differentiate between variations of configurable systems and also identify the novelties of extensions. The implementation of a conceptual feature is often scattered throughout an artifact, forcing designers to understand the entire artifact in order to reason about the behavior of a single feature. It is particularly challenging to independently develop novel extensions to complex systems as a result. This dissertation shows how to modularly reason about the implementation of conceptual features in both the formalizations of programming languages and object-oriented software product lines. In both domains, modular verification of features can be leveraged to reason about the behavior of artifacts in which they are included: fully mechanized metatheory proofs for programming languages can be synthesized from independently developed proofs, and programs built from well-formed feature modules are guaranteed to be well-formed without needing to be typechecked. Modular reasoning about individual features can furthermore be used to efficiently reason about families of languages and programs which share a common set of features.
text
APA, Harvard, Vancouver, ISO, and other styles
30

Shea, Linda Margaret. "Making connections among disciplinary perspectives in nursing: an exploration of Integral Theory as a metatheoretical perspective informing nursing scholarship and practice." Thesis, 2015. http://hdl.handle.net/1828/7005.

Full text
Abstract:
Over the past decade, Integral Theory has been an emerging focus of academic scholarship in nursing and other fields. At this nascent period, it is evident that nursing scholars are using Integral Theory in ways that depart from an approach seen in some other disciplines, where Integral Theory is used as a metatheoretical framework for organizing disciplinary knowledge to inform professional practice. The purpose of this paper-based dissertation is to clarify how Integral Theory is being used by the discipline and profession of nursing in relation to the metatheoretical approach used by other disciplines, and to conduct research that contributes a practice-based perspective on Integral Theory in nursing. This has been achieved using the following three approaches, which are presented in three separate papers in this dissertation: 1. The first paper introduces Integral Theory to the nursing community as a metatheory, capable of providing an integrated, coherent view of multiple disciplinary perspectives within nursing and, using a case example, demonstrates Integral Theory’s application in nursing practice. 2. The second paper examines Dossey’s Theory of Integral Nursing from Integral Theory’s metatheoretical perspective. Although aspects of Integral Theory are incorporated into the Theory of Integral Nursing, this paper demonstrates how Dossey’s approach differs from the metatheoretical intent of Integral Theory. 3. The third paper reports on research findings from a qualitative study conducted using an Interpretive Descriptive Research Methodology to investigate how nurses use Integral Theory in their professional work. Findings indicate that nurses in this study used Integral Theory as a map that gave structure to an inquiry process in their nursing practice, while also identifying factors that constrained their use of Integral Theory. The presentation of this dissertation is organized in the following manner. The introductory chapter includes a description of Integral Theory in academic scholarship, its potential usefulness in nursing as a metatheory, and a review of literature on Integral Theory in the professional practice fields of nursing and psychology. The three papers are then presented in three separate chapters, followed by a final chapter outlining implications of this dissertation for the practice discipline of nursing.
Graduate
0569
lshea@uvic.ca
APA, Harvard, Vancouver, ISO, and other styles
31

DE, MADARIA ESCUDERO BORJA. "Immagining Environment: The role of Social Representations in the Social Construction of Nature." Doctoral thesis, 2017. http://hdl.handle.net/11573/983040.

Full text
Abstract:
The history of research on environment based on social representations can be told as a story of success because of the continuous growing of published references along 50 years and because of its dissemination in different geographical and disciplinary contexts. But this story is not free of pitfalls, failures and rebirths because of its links to other approaches to representations in the social sciences. These failures are related to the theory’s specificity, its social scope and its social relevance. The corpus of research has 691 bibliographic references that have been analysed as part of a broader research project which is devoted to taking stock and analysing the literature on the theory of social representations. The research has been conducted in the framework of the Joint European/International Doctorate on Social Representations and Communication co-ordinated by the University of Rome ‘La Sapienza’. A metatheoretical analysis of the theory, and three case studies of its implementation constructed around their ontological assumptions of environment founded on a preliminary meta-analysis, show how a general lack of consistency in taking profit of the specificities of social representations among other representational approaches, a neglecting of the process of objectification, and an increasingly psychological anchorage of social representations in cognitive aspects have contributed to the decrease of the critical capacity of research conducted within this framework and have kept studies based on this theoretical frame away from the main debates in environmental, rural and urban studies. However, insights coming from other social sciences, such as geography, communication and cultural studies, regarded as being in the periphery of the theory, have acquired relevance and have redirected the research on environment and social representations to a more social and transdisciplinary approach. After some years of failure on approaching the process of social construction of environmental reality, both physically and symbolically, a new generation of scholars have rediscovered the strength of the concepts stated in the theory of social representations to analyse the social construction of the environmental problems that we face today.
APA, Harvard, Vancouver, ISO, and other styles
32

Van, der Hoven Marianne. "Multikulturele beradingsmodel vir tersiêre opleiding in die professionele diensberoepe." Thesis, 2006. http://hdl.handle.net/10500/1517.

Full text
Abstract:
Text in Afrikaans
This study was aimed at the development of a multicultural counselling model for tertiary education with the emphasis on experiential learning and integration on all levels. Although the South African Qualifications Authority (SAQA) is prescriptive about the outcomes concerning multicultural involvement it does not clearly prescribe experiential learning - causing educational institutions to underplay experiential learning. Ignorance exists about multiculturalism in training programmes. Educational institutions often implement programmes randomly without proper consideration of the multicultural needs of the student population. People from different cultures often experience the caregiver as having little understanding and respect for diverse cultures, often leading to the early termination and inaccessibility of professional services. To provide guidelines to educational institutions about multicultural counselling training, the researcher provided a paradigmatic perspective as foundation to the drafting of a counselling model for training. The Grounded Theory was used to obtain scientifically based information about the multicultural counselling training phenomenon in South Africa as well as the development of a multicultural counselling model for tertiary education. People in professional services were interviewed and compared to literature, whereafter all applicable concepts, principles, processes and elements grounded in the paradigmatic perspective were examined, identified and coded as components of the multicultural counselling model, with the aid of a core category, categories and subcategories. Henceforth a multicultural counselling model for training was developed. The central thesis of the research is that the multicultural counsellor has certain skills that stem from the training received at South African educational institutions, which does not necessarily encompass the concept of multiculturalism. It therefore does not equip the student to successfully help patients from a diverse culture. This problem can be intercepted through a training model with appropriate components of multiculturalism in the curriculum of educational institutions in South Africa. Conclusions and recommendations were made according to the Grounded Theory. The findings of the scientific procedure were evaluated according to reliability as well as the criteria of Chinn en Kramer (1991). Answers were obtained through scientific reasoning and empirical research to produce a model for the implementation of multicultural training within the context of South African educational institutions.
Social Work
D. Diac. (Play Therapy)
APA, Harvard, Vancouver, ISO, and other styles
33

Kotze, Joleen Steyn. "Theory of building and an appraisal and analysis of the consolidation of democracy and theory." Thesis, 2010. http://hdl.handle.net/10500/4376.

Full text
Abstract:
The dominant construction of democracy on a global scale is in the liberal tradition. It is evident in the criteria which constitute democratic barometers in organisations like Freedom House, the International Monetary Fund, the United Nations and the World Trade Organisation. This study seeks to provide a third-order analysis of liberal democratic consolidation theory in order to highlight that its theoretical discourse and underlying structure is not necessarily compatible with the cultural values of the non-Western world using a critical discourse analysis. Democratic consolidation in the non-Western world may not necessarily mirror the theoretical model of liberal democratic consolidation. Given the hegemonic position of liberal democracy‘s criteria and its dominant discourse and role as a barometer of democracy, this study focuses on democratic consolidation in this tradition. It is primarily due to the perceived inability of non-Western states to consolidate their democracies in the liberal democratic tradition and by default, construct thriving liberal democracies. Present theories of liberal democratic consolidation theory deal with governmental, political organisational and societal aspects of liberal democracy. The level of change these theories propagate is all encompassing, and consequently one cannot merely study one aspect of liberal democratic consolidation theory, but needs to analyse the paradigm as a whole in order to explore its metatheoretical structure. It is in this light that the study conducts an appraisal of liberal democratic consolidation theory. The critique developed in this study is aimed at addressing a disparity that currently exists within contemporary consolidation of liberal democracy theory, namely a failure of producers of liberal democratic discourse to understand the philosophical and ideological undertone of liberal democratic consolidation‘s understructure. The study does not seek to conceptualise alternative criteria of democratic consolidation in the non-Western context, but focuses on liberal democratic consolidation theory, to demonstrate that its criteria is not necessarily an appropriate barometer to measure democracy in the non-Western world.
Political Sciences
D.Litt. et Phil. (African Politics)
APA, Harvard, Vancouver, ISO, and other styles
34

Minakov, Mikhail. "Досвід і філософія: еволюція понятя досвіду в західній філософії XIX-XX століть: автореферат дисертації на здобуття наукового ступеня доктора філософських наук." Thesis, 2007. http://ekmair.ukma.edu.ua/handle/123456789/451.

Full text
Abstract:
The thesis aims at determination of the main peculiarities of development of the concept of experience in the western philosophical systems that formed under influence of thoughts of I. Kant and G.W.F. Hegel in ХІХ–ХХ centuries. Based on topological analysis of main theories of experience formulated within the framework of the western philosophy from the Antiquity through XX century, there was constructed a holistic picture of the prehistory and history of the concept of experience in this thesis. Once created by Kant and Hegel, specificity of the conceptual history of experience was examined and described in terms of evolution driven by tension between epistemological and hermeneutic approaches. It was identified that the evolution of the concept of experience was progressing as dialectical process of interrelation and interdetermination of factual and historical dimensions of experience in the leading western schools of philosophy. Based on this analysis, the thesis in a systemic way represents holistic conception of evolution of the experience’s notion in the western philosophy of XIX–XX centuries, which generalizes specificity of approaches of neokantianism, pragmatism, analytical philosophy, hermeneutics, and phenomenology, as well as peculiarities of their impact upon formulation of tasks and problems of the contemporary epistemology, philosophy of language and philosophy of science. Also, the thesis describes how within those five western philosophical directions analysis of experience was implemented aiming to keep experience’ epistemological, metaphysical and ontological determinations together in one holistic model.
Дисертацію присвячено визначенню основних характеристик еволюції поняття досвіду в західних філософських системах, що під впливом перетворення філософської думки у німецькому ідеалізмі постали у ХІХ–ХХ століттях. На основі історико-філософського топологічного аналізу ключових положень про досвід, висунутих у межах західної філософії від Античності до ХХ століття, відтворено цілісну картину передісторії та історії філософського поняття досвіду. Докладно проаналізовано особливості філософського аналізу досвіду у Канта та Геґеля, що заклали рамки подальшої еволюції змісту поняття досвіду, визначені напруженням між епістемологічним та герменевтичним підходами. Було встановлено, що еволюція поняття досвіду відбувалася як діалектичний процес визначення досвіду в термінах фактичності та історичності в основних течіях філософії Заходу ХІХ–ХХ ст. На основі аналізу основних рис історії поняття досвіду в західній філософії ХІХ–ХХ ст. в дисертації в систематичному вигляді було представлено цілісну концепцію еволюції поняття досвіду в західній філософії ХІХ–ХХ ст., яка узагальнює специ¬фіку підходів до аналізу досвіду в філософських позиціях неокантіанства, прагматизму, аналітичної філософії мови, феноменології і герменевтики, та особливості впливу цих підходів на формуванням завдань сучасної епістемології, філософії мови та філософії науки.
APA, Harvard, Vancouver, ISO, and other styles
35

Du, Toit André. "Gebruik van rituele as `n terapeutiese hulpmiddel tydens rouberaad: `n prakties-teologiese ondersoek." Diss., 2003. http://hdl.handle.net/10500/2090.

Full text
Abstract:
Text in Afrikaans
Rituals are part of our everyday life and are usually performed unconsciously. In this dissertation rituals are used consciously, within a therapeutic context, with the purpose to facilitate healing and growth. The aim of the research is to focus the readers' attention on the therapeutic potential of rituals and its value as an intervention strategy. The study concentrates on the grieving process. The researcher therefore specifically wants to show how rituals are used during grief counselling. The following research problem was investigated in the study: "What is the attitude, opinion and knowledge of professional caregivers concerning the use of rituals as a therapeutic tool during grief counselling?" Out of the research data the following hypothesis was formulated: - To grief over a loss is essential. Because of the basic properties and remedial functions of rituals, rituals can be a valuable therapeutic tool in the facilitation of this process. - There is an inherent connection between professional caregivers' attitudes, opinions and knowledge of therapeutic rituals and the regular and effective use of them during grief counselling. - The use of rituals during grief counselling is only one component in the comprehensive pastoral care of the bereaved.
Practical theology
M.Th.
APA, Harvard, Vancouver, ISO, and other styles
36

Horn, Ruan. "Lewenskontekstuele hermeneutiek-met verwysing na Sewendedag-Adventiste." Thesis, 2015. http://hdl.handle.net/10500/23382.

Full text
Abstract:
Summaries in English and Afrikaans
In die tesis word die modernistiese en laat/postmodernistiese reduksionistiese benaderings in die Adventiste wêreld nie bloot afgewys nie, nie net omdat dit deel van ons ervaring is nie maar ook omdat die reduksies wat in die moderne en laat/postmoderne tyd ontstaan het in ʼn gemodifieërde sin die boustene is van ʼn hermeneutiese benadering wat poog om holisties en in multiverse sin oorvleuelend te werk met die antieke, moderne en laat/post moderne benaderinge. In ʼn hermeneutiek wat holisties oorvleuelend en multivers integrerend aan die gang is, vorm die vierledige opset van die handelinge en beweginge van God, die menslike bewustelike self, medemens(e) as die ander mens en die natuurlike kosmiese wêreld ʼn misterie van vierledig aktiewe teenwoordighede wat nie-vermengd saambestaan maar tog ontsettend naby aan mekaar is as die voortgaande ervaringskaart van elke konteks en situasie. Juis die uitmekaar ruk van die vierledige aktiewe teenwoordighede inonservaringswêrelde vorm die agtergrond vir moderne teologisme met God alleen speler van die spel, psigologisme met die bewustelike menslike self as die kaptein van sy siel en die meester van sy lot, humanisme waarin die mensheid as kollektiewe menswees die enigste roerder van die menslike brousel in die geskiedenis is en naturalisme waarin die natuurlik kosmiese omgewing die naturaliserende ordeningsagent van die kosmiese chaos is. Wat radikaal deur ʼn holisties oorvleuelende en multiverse integrerende aanpak sny, is dat die vierledige teenwoordighede gedra word asook ingebou is in wat in die Bybels-historiese tydslyn vorendag kom as die vier prominente dade van God se voortgaande skepping, versoening in Jesus Christus, alomvattende vernuwing deur die Gees en voleindende volmaking tot in die aanbreek van die nuwe hemel en die nuwe aarde. Binne die omraming van ʼn hermeneutiek wat holisties oorvleuelend en multiversintegrerend werk, word algemene moderne en postmoderne benaderinge oor tekse, teorieë, menslike handelinge en die natuurlike kosmiese gebeurtenisse beskryf. Terwyl die moderniteit – en ook die postmoderniteit – uitgaan van die hoofsaaklik opponerende verskille tussen sinmakende beskouinge word hier gepoog om eers die oorvleuelingsareas refleksief te betrek en daarna aandag gee aan die verskille. Die drie breë benaderinge wat hoofsaaklik beskryf word is die van fundamentalistiese spieëling, liberale interpretasie en die konsinlike onderhandeling van tekse, teorieë, menslike handelinge en natuurlik kosmiese gebeure.Juis teen hierdie agtergrond word diverse SDA omgangspatrone met die Bybel, ervaringe in die kerklike arena en alledaagse ervaringe in ʼn draaikolk van multivers oorvleuelende en differensiërende refleksiwiteit beskryf.
In the thesis Adventist approaches making use of modernist and late/postmodernistic reductionist philosophies are not rejected out of hand. Not only are the reductions which emerged in the modern and late/modern era part of our experience but they are in a modified sense the building blocks of a hermeneutical approach in which an attempt is made to work in an overlapping holistic and multiverse way with approaches of the ancient world, modernity and late/post modernity. In a hermeneutics that operate holistically with overlaps and in a multiverse integrative sense, the quadruple setting of actions and movements of God, the conscious human self, neighbour(s) as the other human and the natural cosmic world forms a mystery of foursome active presences that do not exist together in a mixed sense but are very close to each other as the continuous experiential map of every context and situation. The dislocation of the foursome active presences in our experiential worlds forms the backdrop of modern theologism in which God is the sole player in the game, psychologism with the conscious human self as the captain of his or her soul, humanism in which humanity as the collectiveness of being human is the only stirrer of the human concoction in history and naturalism in which the natural cosmic environment is the only naturalistic agency that arranges the cosmic chaos. Cutting radically through the holistic overlapping and multiverse integrative approach is that the foursome presences are carried and built into what come to the fore in the biblical historical timeline as the four grand acts of God of continuous creation, reconciliation in Jesus Christ, all embracing renewal through the Holy Spirit and fulfilling fulfilment as in the dawn of the new heaven and the new earth. Within the embrace of a hermeneutics which works with overlaps in a holistically and integrating in a multiverse sense general modernist and late/post modern approaches regarding texts, theories, human doings and natural cosmic events are described. While modernity – and late/post modernity - depart from mainly opposing differences between sense making views the attempt is made here firstly to engage oneself in a reflexive sense with the areas of overlapping and only then to pay attention the differences. The three broad approaches mainly described are that of fundamentalist mirroring, liberal interpretation and consensual negotiation of texts, theories, human doings and natural cosmic events. It is against this background that diverse SDA engagement patterns with the Bible, experiences in the arena of the church and everyday experiences is described in a vortex of holistic overlapping and multiverse integrative reflexivity.
Philosophy, Practical and Systematic Theology
D. Th. (Systematic Theology)
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography