Gotowe bibliografie tematyczne / Metatheory

Gotowa bibliografia na temat „Metatheory”

Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 29 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Metatheory”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Metatheory"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Koltko-Rivera, Mark E., i 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, nr 10 (wrzesień 2005): 881–85. http://dx.doi.org/10.1177/154193120504901002.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Metatheory"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
8

Doczkal, Christian [Verfasser], i 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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Metatheory"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Metatheory"

1

Edwards, Mark G. "Metatheory". W 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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Edwards, Mark G. "Metatheory". W 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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Henriques, Gregg. "A Metatheory of Mind1". W 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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Metatheory"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
10

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Metatheory"

1

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Metatheory” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii