Academic literature on the topic 'Metatheory'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Metatheory"

1

Fuhrman, Ellsworth R., and Carol A. Bailey. "Metatheory, Metatheory." Sociological Perspectives 35, no. 3 (September 1992): 525–30. http://dx.doi.org/10.2307/1389333.

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

Papadimitriou, Christos H. "Database metatheory." ACM SIGACT News 26, no. 3 (September 1995): 13–30. http://dx.doi.org/10.1145/211542.211547.

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

Allan, Keith. "Linguistic metatheory." Language Sciences 25, no. 6 (November 2003): 533–60. http://dx.doi.org/10.1016/s0388-0001(03)00032-9.

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

Reus-Smit, Christian. "Beyond metatheory?" European Journal of International Relations 19, no. 3 (September 2013): 589–608. http://dx.doi.org/10.1177/1354066113495479.

Full text
Abstract:
Metatheory is out of fashion. If theory has a purpose, we are told, that purpose is the generation of practically relevant knowledge. Metatheoretical inquiry and debate contribute little to such knowledge and are best bracketed, left aside for the philosophers. This article challenges this all-too-common line of reasoning. First, one can bracket metatheoretical inquiry, but this does not free one’s work, theoretical or otherwise, of metatheoretical assumptions. Second, our metatheoretical assumptions affect the kind of practically relevant knowledge we can produce. If our goal is the generation of such knowledge, understanding how our metatheoretical assumptions enable or constrain this objective is essential. Today, the most sustained articulation of the ‘bracket metatheory thesis’ is provided by analytical eclecticists, who call on the field to leave behind metatheoretical debate, concentrate on concrete puzzles and problematics, and draw selectively on insights from diverse research traditions to fashion middle-range theoretical explanations. Yet by forgoing metatheoretical reflection, analytical eclecticists fail to see how their project is deeply structured by epistemological and ontological assumptions, making it an exclusively empirical-theoretic project with distinctive ontological content. This metatheoretical framing significantly impedes the kind of practically relevant knowledge eclecticist research can generate. Practical knowledge, as both Aristotle and Kant understood, is knowledge that can address basic questions of political action — how should I, we, or they act? Empirical-theoretic insights alone cannot provide such knowledge; it has to be integrated with normative forms of reasoning. As presently conceived, however, analytical eclecticism cannot accommodate such reasoning. If the generation of practical knowledge is one of the field’s ambitions, greater metatheoretical reflection and a more expansive and ambitious form of eclecticism are required.
APA, Harvard, Vancouver, ISO, and other styles
5

McGregor, Sue L. T. "Integral Metatheory: Beyond Specializations, Theoretical Pluralism, and Conventional Metatheory." Family & Consumer Sciences Research Journal 38, no. 2 (December 2009): 142–57. http://dx.doi.org/10.1111/j.1552-3934.2009.00014.x.

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

Priest, Graham. "Metatheory and dialetheism." Logical Investigations 26, no. 1 (August 6, 2020): 48–59. http://dx.doi.org/10.21146/2074-1472-2020-26-1-48-59.

Full text
Abstract:
Given a formal language, a metalanguage is a language which can express — amongst other things — statements about it and its properties. And a metatheory is a theory couched in that language concerning how some of those notions behave. Two such notions that have been of particular interest to modern logicians — for obvious reasons — are truth and validity. These notions are, however, notoriously deeply entangled in paradox. A standard move is to take the metalanguage to be distinct from the language in question, and so avoid the paradoxes. One of the attractions of a dialetheic approach to the paradoxes of self-reference is that this move may be avoided. One may have a language with the expressive power to talk about — among other things — itself, and a theory in that language about how notions such as truth and validity for that language behave. The contradictions delivered by these notions are forthcoming, but they are quarantined by the use of a paraconsistent logic. The point of this paper is to discuss this project, the extent to which it has been successful, and the places where issues still remain.
APA, Harvard, Vancouver, ISO, and other styles
7

Aydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich. "Engineering formal metatheory." ACM SIGPLAN Notices 43, no. 1 (January 14, 2008): 3–15. http://dx.doi.org/10.1145/1328897.1328443.

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

Miller, Dale. "Mechanized Metatheory Revisited." Journal of Automated Reasoning 63, no. 3 (October 4, 2018): 625–65. http://dx.doi.org/10.1007/s10817-018-9483-3.

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

Rozeboom, Wm W. "Meehl on metatheory." Journal of Clinical Psychology 61, no. 10 (2005): 1317–54. http://dx.doi.org/10.1002/jclp.20184.

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

Koltko-Rivera, Mark E., and Peter A. Hancock. "Why and How HFE Professionals can Better use Theory (Metatheory Included; Some Assembly Required)." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 49, no. 10 (September 2005): 881–85. http://dx.doi.org/10.1177/154193120504901002.

Full text
Abstract:
The relationship between theory and discipline is problematic for human factors and ergonomics (HFE). We address the following constituent issues: (a) the present state of theory usage in HFE; (b) the reasons underlying this state; (c) the need for theory in HFE; (d) what HFE professionals (including educators, journal editors, and individual researchers) should do to encourage the proper use of theory; and, (e) the outlines of a metatheory of HFE. A metatheory is a general framework that may help professionals to construct more useful specific theories. Our metatheory of HFE involves five basic units, or classes of variables: task, environment, personnel, tool, and performance. Each unit in turn has multiple components (i.e., specific variables). Use of the metatheory is illustrated with specific examples. Our hope is that researchers will be motivated to make explicit and useful connections between their research and necessary theory, to the improvement of both; the metatheory may be useful in this endeavor.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Metatheory"

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

Books on the topic "Metatheory"

1

Siddiqi, Daniel, and Heidi Harley, eds. Morphological Metatheory. Amsterdam: John Benjamins Publishing Company, 2016. http://dx.doi.org/10.1075/la.229.

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

Utō, Shōkichi. Constructics: A methodology of theory construction. Lanham, Md: University Press of America, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chernoff, Fred. Theory and Metatheory in International Relations. New York: Palgrave Macmillan US, 2007. http://dx.doi.org/10.1057/9780230606883.

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

Dholakia, Nikhilesh, and Romeo V. Turcan. Toward a Metatheory of Economic Bubbles. New York: Palgrave Macmillan US, 2014. http://dx.doi.org/10.1057/9781137361790.

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

Spendel, Zbigniew. Podmiotowość człowieka a psychologia historyczna. Katowice: Wydawn. Uniwersytetu Śląskiego, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Gálvez, Jesús Padilla. Tratado metateórico de las teorías científicas. Cuenca: Ediciones de la Universidad de Castilla-La Mancha, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schröter, Joachim. Zur Meta-Theorie der Physik. Berlin: Walter de Gruyter, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

M, King Imogene, and Fawcett Jacqueline, eds. The language of nursing theory and metatheory. Indianapolis, Ind: Sigma Theta Tau International, Center Nursing Press, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Edwards, Mark G. Organizational transformation for sustainability: An integral metatheory. New York, NY: Routledge, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Edwards, Mark G. Organisational transformation for sustainability: An integral metatheory. New York: Routledge, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Metatheory"

1

Edwards, Mark G. "Metatheory." In Encyclopedia of Quality of Life and Well-Being Research, 4015–17. Dordrecht: Springer Netherlands, 2014. http://dx.doi.org/10.1007/978-94-007-0753-5_3374.

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

Dibben, Mark R. "Metatheory." In Exploring Interpersonal Trust in the Entrepreneurial Venture, 22–43. London: Palgrave Macmillan UK, 2000. http://dx.doi.org/10.1057/9780230509528_2.

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

Nunez, Iskra. "Metatheory." In Big Picture Perspectives on Planetary Flourishing, 151–68. London: Routledge, 2022. http://dx.doi.org/10.4324/9781003140313-10.

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

Edwards, Mark G. "Metatheory." In Encyclopedia of Quality of Life and Well-Being Research, 4334–36. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-17299-1_3374.

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

Madsen, K. B. "Psychological Metatheory." In Annals of Theoretical Psychology, 1–16. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_1.

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

Grotstein, James S. "Bion's metatheory." In A Beam of Intense Darkness, 65–81. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003348665-7.

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

Gunn, Richard. "Marxism, Metatheory and Critique." In Post-Fordism and Social Form, 193–209. London: Palgrave Macmillan UK, 1991. http://dx.doi.org/10.1007/978-1-349-22407-4_11.

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

Stich, Stephen P. "Theory, Metatheory, and Weltanschauung." In Annals of Theoretical Psychology, 87–94. Boston, MA: Springer US, 1985. http://dx.doi.org/10.1007/978-1-4613-2487-4_4.

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

Henriques, Gregg. "A Metatheory of Mind1." In A New Synthesis for Solving the Problem of Psychology, 321–55. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-18493-2_12.

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

Scriven, Michael. "Evaluation Theory and Metatheory." In International Handbook of Educational Evaluation, 15–30. Dordrecht: Springer Netherlands, 2003. http://dx.doi.org/10.1007/978-94-010-0309-4_3.

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

Conference papers on the topic "Metatheory"

1

Papadimitriou, Christos H. "Database metatheory." In the fourteenth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/212433.212436.

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

Aydemir, Brian, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich. "Engineering formal metatheory." In the 35th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1328438.1328443.

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

Cheney, James, and Alberto Momigliano. "Mechanized metatheory model-checking." In the 9th ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1273920.1273931.

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

Urban, Christian, James Cheney, and Stefan Berghofer. "Mechanizing the Metatheory of LF." In 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). IEEE, 2008. http://dx.doi.org/10.1109/lics.2008.29.

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

Lokosov, Vyacheslav Veniaminovich. "Sociology in contemporary Russia: five keynote aspects." In 6th International Conference “Futurity designing. Digital reality problems”. Keldysh Institute of Applied Mathematics, 2023. http://dx.doi.org/10.20948/future-2023-7.

Full text
Abstract:
Five key aspects of sociological science in modern Russia are analysed. The first three aspects concern the content of sociology - metatheory, middle-level theories and applied sociology. The fourth aspect reveals the institutional implementation of sociology, and the fifth - its practical application. The conclusion is made about the most successful state of applied sociology and the formation of the basic institutional infrastructure. It is proposed to focus on the development of metatheory and the practical application of sociology.
APA, Harvard, Vancouver, ISO, and other styles
6

Johann, Patricia, Alex Simpson, and Janis Voigtländer. "A Generic Operational Metatheory for Algebraic Effects." In 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.29.

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

Lee, Daniel K., Karl Crary, and Robert Harper. "Towards a mechanized metatheory of standard ML." In the 34th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1190216.1190245.

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

SIFAKIS, N. "BRIDGING THE PHONOLOGY - PHONETICS GAP - A METATHEORY." In Acoustics '91. Institute of Acoustics, 2024. http://dx.doi.org/10.25144/21039.

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

Zheng, Gangyang, Yu Gong, Zhijian Zhang, and Zibin Liu. "To Analyze the Core Damage Scenario via the RISMC-Based Metatheory and Reliability Theory." In 2014 22nd International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/icone22-30564.

Full text
Abstract:
With “theory of nuclear safety (TONS)”, this paper intends to explain the Core Damage (CD) scenario of a Nuclear Power Plant (NPP) with the systematic methodology, many notions introduced here can be extended to other types of nuclear installations, as well. This systematic methodology combines the Risk-Informed Safety Margin Characterization (RISMC) Metatheory of TONS, and the basic reliability theory. A “metatheory” of such theories, here, is a theory to analyze the Theory of Nuclear Safety (TONS); in its own theory system, it is designed to summarize the safety of a NPP. Meanwhile, the basic reliability theory, which is decided by the authors, is focus on the mission reliability model (a model can be established by Reliability Block Diagram (RBD)); then the related basic concepts, is simple and clear, and quite mature in NPP field. The present work outlines the traditional reliability theory and the RISMC-based Metatheory, and these two concepts here are taken as the appropriate TONS to analyze the CD Scenario, after that, a renovate or renew TONS, from these two sides, can be introduced to analyze the fundamental safety of NPP.
APA, Harvard, Vancouver, ISO, and other styles
10

Lee, Gyesik. "Two Recent Approaches to Mechanical Developments of Formal Metatheory." In Mechanical Engineering 2013. Science & Engineering Research Support soCiety, 2013. http://dx.doi.org/10.14257/astl.2013.41.10.

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

Reports on the topic "Metatheory"

1

Weirich, Stephanie, and Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, August 2006. http://dx.doi.org/10.21236/ada536269.

Full text
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