Search results for "formalization"
showing 10 items of 15 documents
Foundations for the formalization of metamathematics and axiomatizations of consequence theories
2004
Abstract This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems initiated by Tarski, in particular research on (i) the axiomatization of the general notion of consequence operation, (ii) axiom systems for the theories of classic conse…
A uniform quantificational logic for algebraic notions ofcontext
2002
A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from. The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of first order structures. The corresponding Hilbert system incorporates the algebraic equations as axioms asserted in context. In this way a uniform logic for arbitrary algebras of context is obtained. Soundness and completeness are proved. In semig…
La formalisation de l'éthique:un outil stratégique pertinent pour l'entreprise
2000
Ethical formalization is a statement setting down corporate values, principles and beliefs. Analysis of ethics policies in large France based companies shows that it is becoming a new dimension of management completing corporate strategy. The study of these ethical formal policies is followed by a criticism.
El papel de la formalización y la confianza organizacional como antecedentes de ambidestreza: una investigación sobre la industria agroalimentaria or…
2020
This article investigates the influence of specific key organizational factors (i.e., enabling formalization, coercive formalization, and trust) as antecedents of ambidexterity. Moreover, we propose a new way of operationalizing ambidexterity, under a holistic vision, including the synergies between exploration and exploitation. The study has been developed in the Spanish organic agro-food industry; a total of 239 usable responses were received from two respondents from each company—the general manager and the quality manager. The findings show that enabling formalization and organizational trust are positively related to ambidexterity, but contrary to our predictions, we found no evidence …
Monenkeskinen yhteistyö ja minilateralismi käytännössä : tapauksena Somalian rannikon merirosvous
2022
Artikkelissa pohditaan monenkeskisyyden ilmenemistä minilateraalin yhteistyön kautta. Historiallisesti merirosvous on ollut ajoittain ja alueellisesti esiin nouseva ilmiö, joka ponnistaa paikallisista olosuhteista ja erityisesti heikosta hallinnosta maa-alueilla. Merirosvoukseen liittyvä kansainvälinen sopimusyhteistyö painottaa valtioiden suvereniteetin merkitystä omilla aluevesillään. Käytännössä merten turvallisuuden ymmärtäminen laaja-alaisena ilmiönä sekä merirosvouksen tehokas torjuminen on vaatinut ja vaatii myös jatkossa tiivistä valtioiden välistä yhteistyötä, jossa yksittäisen valtion toimintakykyä kompensoidaan yhteistyön keinoin. Artikkelissa kuvataan kansainvälisen yhteisön pyr…
Neurophilosophy in Zubiri’s perspective?
2016
The current intellectual situation is characterized by the vigour of neurophilosophy, founded on the new data of the neurosciences, in an attempt to replace traditional philosophical methods by the method of natural sciences. My aim is to show that Zubiri’s philosophy, which is also associated with the natural sciences, is a successful alternative to the pseudo-scientific and reductionist neurophilosophy, because his Noology is intrinsically connected to Neurobiology, especially through the concepts of formality and formalization, which are the basis for grounding a new conception of intelligence and reality.
Shaping the firm's external search strategy
2014
This paper explores the determinants of external knowledge search strategies, specifically, exploitative and exploratory search. The literature emphasizes environmental context and technological resources, especially R&D, as important determinants of the search strategy. In this paper we focus on two types of the firm's formal structure: formalized and decentralized structures. The study uses survey data from the ceramic tile industry in Spain. The results show that a competitive environment and a decentralized organizational structure play a role in shaping the firm's external search strategy, but that R&D has no effect. We find that competition inhibits exploratory search, while a decentr…
The Merits of Playing It by the Book: Routine versus Deliberate Learning and the Development of Dynamic Capabilities
2018
In this study, we investigate the nature of dynamic capabilities and use a fine-grained measurement to test how centralization, routinization, and formalization relate to the underlying learning components of dynamic capabilities. We find that the effects of our three dimensions of managerial practices are broadly similar for almost all components of dynamic capabilities, and that only a few show a different pattern. Centralization and routinization are negatively related to dynamic capabilities, formalization is shown to have a significantly positive effect. We provide insights into the role of three dimensions of managerial practice by explaining variation among the learning components of…
Is R&D Enough to Take Advantage From External Knowledge?: Focusing on Coordination Mechanisms
2014
The purpose of this paper is to analyze the role of research and development (R&D) and coordination mechanisms (such as decentralization in decision-making and formalization of organizational processes) in the transformation of external knowledge into innovation results. We use survey data for performing standard ordinary least squares regressions in a representative sample of firms from the Spanish Ceramic Tile Industry. The results suggest that R&D is an important moderator influencing the relationship between acquiring external knowledge and innovation outcomes. Second, formalization tends to have a detrimental effect in the transformation of external knowledge into innovation outputs. T…
Formalizing Semantic of Natural Language through Conceptualization from Existence
2011
International audience; We propose an outline of an approach to formalize semantic from conceptualization for both natural language (NL) and logic expression mechanisms. This goes beyond the level of discussions at conceptual level which has to either end in conscious/unconscious relativity of understanding or subjective enforcement in the form of definitions instead of expected objective semantic. This approach supports to view from a pure mathematical perspective, and explore and locate the fundamental problems. The semantic formalization mechanism realizes the integration of problem description and the solution expression at absolute semantic level. So a problem describing process is equ…