The general equilibrium theory as economic metatheory

Many economists show certain nonconformity relative to the excessive mathematical formalization of economics. This stems from dissatisfaction with the old debate about the lack of correspondence between mainstream theoretical models and reality. Although we do not propose to settle this debate here, this article seeks to associate the mismatch of mathematized models with the reality of the adoption of the hypothetical-deductive method as reproduced by general equilibrium. We begin by defining the main benefits of the mathematization of economics. Secondly, we address traditional criticism leveled against it. We then focus on more recent criticism from Gillies (2005) and Bresser-Pereira (2008). Finally, we attempt to associate the reproduction of the hypothetical-deductive method with a metatheoretical process triggered by Debreu's general equilibrium theory. In this respect, we appropriate the ideas of Weintraub (2002), Punzo (1991), and mainly Woo (1986) to support our hypothesis.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

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.

Epistemology, Theory, and Methodology in Knowledge Organization: Toward a Classification, Metatheory, and Research Framework

This paper proposes a preliminary classification of knowledge organization research, divided among epistemology, theory, and methodology plus three spheres of research: design, study, and critique. This work is situated in a metatheoretical framework, drawn from sociological thought. Example works are presented along with preliminary classification. The classification is then briefly described as a comparison tool which can be used to demonstrate overlap and divergence in cognate discourses of knowledge organization (such as ontology engineering).

Kielitieteen emergenttinen metateoria

Summary: Emergent metatheory in linguistics

Kielitieteen emergenttinen metateoria

Julkaistu myös paperimuodossa

Tipos de lógica utilizadas en la toma de decisiones estratégicas de marketing

Para el administrador el proceso de la toma de decisiones es uno de sus mayores retos y responsabilidades, ya que en su desarrollo se debe definir el camino más acertado en un sin número de alternativas, teniendo en cuenta los obstáculos sociales, políticos y económicos del entorno empresarial. Para llegar a la decisión adecuada no hay que perder de vista los objetivos y metas propuestas, además de tener presente el proceso lógico, detectando, analizando y demostrando el porqué de esa elección. Consecuentemente el análisis que propone esta investigación aportara conocimientos sobre los tipos de lógica utilizados en la toma de decisiones estratégicas al administrador para satisfacer las demandas asociadas con el mercadeo para que de esta manera se pueda generar y ampliar eficientemente las competencia idóneas del administrador en la inserción internacional de un mercado laboral cada vez mayor (Valero, 2011). A lo largo de la investigación se pretende desarrollar un estudio teórico para explicar la relación entre la lógica y la toma de decisiones estratégicas de marketing y como estos conceptos se combinan para llegar a un resultado final. Esto se llevara a cabo por medio de un análisis de planes de marketing, iniciando por conceptos básicos como marketing, lógica, decisiones estratégicas, dirección de marketing seguido de los principios lógicos y contradicciones que se pueden llegar a generar entre la fundamentación teórica

Lateralização cerebral de funções e sua implicação para a cognição humana: do paradigma do duplo sistema funcional de processamento a um enfoque de sistema complexo

Este trabalho examina a lateralização cerebral de funções e sua implicação para a cognição humana ao nível da intersecção entre a neuropsicologia clinica e a psicologia cognitiva de base informacional. A primeira parte do trabalho e dedicada a descrição e análise critica da conformação contemporânea desta área de investigação neuropsicológica, com a ênfase posta na metateoria e teorias predominantes, a par do sistema conceitual utilizado nas atividades de pesquisa desenvolvidas na área. Inicialmente, a abordagem neuropsicológica do problema da lateralização cerebral examinada no que concerne às suas articulações com os métodos e técnicas que se mostraram mais importantes para a configuração atual desta área de investigação, sob um enfoque histórico. Em continuidade, a análise dirigida às questões mais fundamentais nas quais se tem desdobrado o problema da assimetria funcional inter-hemisférica, representadas pelas especializações funcionais dos hemisférios cerebrais, pela atividade conjunta dos hemisférios e pelas relações entre diferenças individuais na lateralização cerebral e desempenho cognitivo. Neste contexto são sublinhadas as dificuldades e inconsistências relacionadas à restritividade do enfoque prevalente, avaliado como expressão de uma concepção neuropsicológica excessivamente simplificadora do problema compreendido pelas relações entre o cérebro e a cognição humanos. O trabalho apresenta, em sua segunda parte, uma tentativa de desenvolvimento de um enfoque sistêmico, na direção da complexidade, para o problema da lateralização cerebral de funções. Trata-se de um desenvolvimento que parte de uma descentração da dimensão lateral do sistema nervoso e resulta em uma subsunção deste problema à uma perspectiva mais global concernente à organização cerebral de funções e aos fundamentos para a construção teórica na neuropsicologia. Segue-se um exame das implicações deste enfoque para a questão das relações entre variações inter-individuais na lateralização cerebral de funções e habilidades cognitivas que se direciona para uma minimização do significado que tem sido atribuído a lateralizarão para o funcionamento cerebral e a cognição humanos. O trabalho apresenta, finalmente, um estudo empírico referente às relações entre variações inter-individuais normais de lateralizarão cerebral ,preferência manipulatória e sua história familiar e desempenho cognitivo, onde são comparados os desempenhos de destros com história familiar de sinistralidade negativa e de canhotos com esta história positiva no Teste WAIS. Os resultados obtidos mostram uma inequívoca semelhança nos desempenhos dos dois grupos em todas as escalas do WAIS. Estes resultados são discutidos principalmente no que tange à existência ou não de correspondências diretas entre variações normais nas representações das funções ao longo da dimensão lateral do sistema nervoso, preferência manipulatória e habilidades cognitivas. A conclusão final conforma-se como um sumário integrativo dos principais aspectos das conclusões atingidas no curso do trabalho.

Meta-theories in research: positivism, postmodernism, and critical realism

No scholar or researcher is able to provide robust evidence that counters the scant reflection on metatheory – mostly ontology and epistemology – underlying management studies in general, and industrial marketing and purchasing research in particular. This paper is a contribution to the indispensable discussion of metatheoretical alternatives in research, and most importantly, the strengths and shortcomings thereof, and respective implications on research questions, objectives, and findings.

Olhares sociológicos sobre a ciência no século vinte: mudanças e continuidades

O artigo examina, em dois momentos distintos, as principais abordagens sociológicas sobre a ciência no século vinte: a Sociologia do Conhecimento, a Sociologia da Ciência e a Sociologia do Conhecimento Científico. No primeiro tópico são recapitulados os argumentos sociológicos de Karl Mannheim e de Robert King Merton. Defende-se a interpretação de que a obra de Mannheim seja reconhecida enquanto pressuposto epistemológico para o desenvolvimento da Sociologia da Ciência de Merton. Adaptada por Merton, a metateoria sociológica de Mannheim surge através de uma abordagem estrutural funcionalista associada a uma teoria de médio alcance. No segundo momento, são retomados os argumentos de Thomas Kuhn para, logo após, ser analisada a Sociologia do Conhecimento Científico enquanto apreciação construtiva da tradição de pensamento mertoniana. O estudo dos princípios lógicos da Sociologia do Conhecimento Científico de David Bloor e a investigação acerca da tradição de pensamento iniciada na Universidade de Edimburgo, na Escócia, foram o foco elementar dessa etapa do artigo. Finalmente, as principais características de cada uma das tradições são ressaltadas, buscando-se por mudanças e continuidades que viabilizaram o desenvolvimento da abordagem sociológica sobre a atividade científica desde sua gênese clássica até os estudos contemporâneos.

Bibliometrics Contribution to the Metatheoretical and Domain Analysis Studies

Along with the growth of scientific production, the bibliometric studies have become essential, providing relevant information about any domain while identifying, highlighting and viewing the scientific knowledge constructed within a theme, subject or knowledge area. This article approaches the bibliometric studies under the light of metatheory and domain analysis within the knowledge organization in information science. domain analysis and metatheory are considered significant contribution to bibliometric studies when emphasizing the need for epistemological, sociological and historical analyzes, as well as other qualitative approaches, encouraging researchers to reflect on the whole composition of the research object, by means of different methodological, theoretical and epistemological approaches. This study aims at contributing to the discourse of the theoretical aspects of bibliometric studies by presenting considerations concerning Hjorland's domain analysis, as well as Ritzer's metatheoretical approach, featuring discussions on major theories of a study field, since these approaches together provide a more complete qualitative view upon an area, here, represented by the bibliometric studies.

Achieving completeness: from constructive set theory to large cardinals

This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. We develop them within a constructive reverse mathematical viewpoint, highlighting the metatheory used in each case and the strength of the corresponding completeness theorems. The classical part of the thesis focuses on infinitary intuitionistic propositional and predicate logic. We consider a propositional axiomatic system with a special distributivity rule that is enough to prove a completeness theorem, and we introduce weakly compact cardinals as the adequate metatheoretical assumption for this development. Finally, we return to the categorical formulation focusing this time on infinitary first-order intuitionistic logic. We propose a first-order system with a special rule, transfinite transitivity, that embodies both distributivity as well as a form of dependent choice, and study the extent to which completeness theorems can be established. We prove completeness using a weakly compact cardinal, and, like in the constructive part, we study disjunction-free fragments as well. The assumption of weak compactness is shown to be essential for the completeness theorems to hold.

Ocularcentrism and its others: A framework for metatheoretical analysis

There is a contemporary scepticism towards vision-based metaphors in management and organization studies that reflects a more general pattern across the social sciences. In short, there has been a shift away from ocularcentrism. This shift provides a useful basis for metatheoretical analysis of the philosophical discourse that informs organizational analysis. The article begins by briefly discussing the vision-generated, vision-centred interpretation of knowledge, truth, and reality that has characterized the western philosophical tradition. Taking late 18th-century rationalism as the high-point of ocularcentrism, the article then presents a metatheoretical framework based on three trajectories that critiques of ocularcentrism have subsequently taken. The first exposes the limits of the metaphor by, paradoxically, taking it to its limits. The second trajectory seeks to displace the primordial position of the ocular metaphor and replace it with an alternative lexicon based on other human senses. Last, the third trajectory describes how the Enlightenment ocular characterization of the visual and mental worlds has effectively been inverted in the postmodern moment.

Rethinking Open Science: The Role of Communication

The first version of this text was presented in the “Philosophy of Communication” section at the ECREA’s 5th European Communication Conference, “Communication for Empowerment,” in Lisbon in November 2014. I would like to thank the audience for the lively post-presentation discussion.

Resiliencia y desempeño organizacional

El cambio hoy se reconoce como el principal reto que enfrentan las empresas. Desde diversas ciencias como la biología, la psicología y la dirección se vienen estudiando las diferentes variables que tienen relación con los procesos de ajuste y adaptación que los individuos y las organizaciones desarrollan cuando disrupciones de diverso tipo se materializan en el entorno. En las últimas décadas se ha contemplado el estudio de la resiliencia como una característica que pueden desarrollar las organizaciones. Por ello, es un tema de estudio interesante, tanto desde los individuos como desde las organizaciones. Se revisan en este artículo los conceptos de resiliencia, resiliencia individual y organizacional, así como las relaciones que surgen entre dichos conceptos para explicar el desempeño organizacional.