Criticism in the absence of criticism

English abstract: Criticism is defined as the examination and judgment about someone or something. This definition includes, at first, an analytical task -with a particular methodology related to it- and, at second, a synthetic activity, translated into a value judgment on what is previously analyzed. Criticism can be done in different ways and depths: from the basic critical thinking -essentially descriptive- to the most truthful one –the poetic criticism-, that transcends pure description or analysis and refers itself to the internal coherence of the object. Any criticism that seeks to reduce the distance to the truth will address both to the intrinsic object relationships -or own laws- and to the extrinsic ones. Furthermore, an objective criticism provides a knowledge of the object regardless of the observer or frame of reference. This provides an effective method and a guaranteed way to approach to the knowledge of the object. Does this mean that without a regular critical method no criticism is undertaken? The proposal of this paper is to explain how a critical thought can be undertaken in the absence of criticism, in which there is no explicit value judgment. Taking the hypothesis that there is criticism in the absence of criticism, an architectural work –either being a building, a writing on architecture, etc.- that implies a tacit criticism could work on two levels: as a practical result –built, literary, etc.- and as a critical thought. The hypothesis proposes that such duality, criticism and practice, may come together in a single work. Although not in any. The existence of criticism in the absence of criticism will depend on the nature of the object and, with no doubt, on the speaker and receiver. At first glance, the guarantees provided by this criticism in the absence of criticism seem less tan through the orthodox one, in which the subject is the weakest part of the chain. However, the absence of explicit value judgment can lead to a series of stimuli –coherency, aesthetic, recreational or other- that, in certain contexts, do more viable the approach to the knowledge than through the conventional method. Spanish abstract: La crítica se define como el examen y juicio acerca de alguien o algo. Esta definición comprende, por un lado, una tarea analítica -con una determinada metodología asociada- y, por otro, una actividad sintética, traducida en un juicio de valor acerca de lo previamente analizado. La crítica puede hacerse de distinta forma y con distinto grado de profundidad: desde la más básica –fundamentalmente, la crítica descriptiva- hasta la más veraz -la crítica poética-, que trasciende la descripción o el análi sis puro y se refiere a la coherencia interna del objeto de estudio. Toda crítica que pretenda reducir la distancia de aproximación a la verdad se ocupará tanto de las relaciones intrínsecas o leyes propias del objeto como de las eelaciones extrínsecas al mismo. Por otro lado, una crítica objetiva facilita el conocimiento del objeto de estudio independientemente del observador o del marco de referencia, lo que la convierte en un método eficaz y con garantías para la aproximación al conocimiento del objeto. Pero ¿significa esto que sin crítica ortodoxa no puede existir crítica?. La propuesta de esta comunicación es dilucidar hasta qué punto puede emprenderse una crítica en ausencia de crítica, es decir, una crítica en la que no sea explícito el juicio de valor. Tomando como hipótesis el hecho de que exista crítica en ausencia de crítica, una obra arquitectónica –ya sea un edificio construido, un escrito sobre arquitectura, etc.- que implique una crítica tácita podría funcionar a dos niveles: como producto práctico -edificado, literario, etc.- y como reflexión crítica. La hipótesis planteada propone que tal dualidad, la crítica y la práctica, pueda confluir en una misma obra. Aunque no en cualquiera. La existencia de crítica en ausencia de crítica dependerá de la naturaleza de la obra y, sin lugar a dudas, del emisor y el receptor del mensaje crítico. A primera vista, las garantías que ofrece la crítica en ausencia de crítica parecen menores que mediante la crítica ortodoxa, para la que el sujeto es la parte más débil de la cadena. Sin embargo, la ausencia de juicio de valor explícito puede comportar una serie de estímulos – de coherencia, estéticos, lúdicos, prácticos o de otra índole- que, en determinados contextos, hagan más viable y clara la comprensión de la obra que a través del método convencional

Anales del XIII Congreso Argentino de Ciencias de la Computación (CACIC)

Contenido: Arquitecturas de computadoras Sistemas embebidos Arquitecturas orientadas a servicios (SOA) Redes de comunicaciones Redes heterogéneas Redes de Avanzada Redes inalámbricas Redes móviles Redes activas Administración y monitoreo de redes y servicios Calidad de Servicio (QoS, SLAs) Seguridad informática y autenticación, privacidad Infraestructura para firma digital y certificados digitales Análisis y detección de vulnerabilidades Sistemas operativos Sistemas P2P Middleware Infraestructura para grid Servicios de integración (Web Services o .Net)Red de Universidades con Carreras en Informática (RedUNCI

Anales del XIII Congreso Argentino de Ciencias de la Computación (CACIC)

Contenido: Arquitecturas de computadoras Sistemas embebidos Arquitecturas orientadas a servicios (SOA) Redes de comunicaciones Redes heterogéneas Redes de Avanzada Redes inalámbricas Redes móviles Redes activas Administración y monitoreo de redes y servicios Calidad de Servicio (QoS, SLAs) Seguridad informática y autenticación, privacidad Infraestructura para firma digital y certificados digitales Análisis y detección de vulnerabilidades Sistemas operativos Sistemas P2P Middleware Infraestructura para grid Servicios de integración (Web Services o .Net)Red de Universidades con Carreras en Informática (RedUNCI

Inward and Outward FDI Country Profiles, Second Edition

This second edition contains a series of 77 standardized country profiles dealing with the inward and outward foreign direct investment (FDI) performance of 40 economies. The profiles have been peer-reviewed by a global network of experts. The publication is intended to contribute to the analysis of trends in foreign direct investment and policy issues related to them. More specifically, the individual profiles discuss FDI trends and developments (country-level developments, the corporate players); effects of the recent global crises; and the policy scene. Each profile contains a standard set of tables, including on FDI stocks and flows, sectoral and geographical FDI distributions, the largest M&As and greenfield investments, the principal foreign affiliates (for inward FDI), and the principal multinational enterprises (for outward FDI). The standardized template used to produce the profiles allows cross-country comparisons. The volume is meant to be a reference tool for anyone interested in foreign direct investment

Model and Proof Theory of Constructive ALC, Constructive Description Logics

Description logics (DLs) represent a widely studied logical formalism with a significant impact in the field of knowledge representation and the Semantic Web. However, they are equipped with a classical descriptive semantics that is characterised by a platonic notion of truth, being insufficiently expressive to deal with evolving and incomplete information, as from data streams or ongoing processes. Such partially determined and incomplete knowledge can be expressed by relying on a constructive semantics. This thesis investigates the model and proof theory of a constructive variant of the basic description logic ALC, called cALC. The semantic dimension of constructive DLs is investigated by replacing the classical binary truth interpretation of ALC with a constructive notion of truth. This semantic characterisation is crucial to represent applications with partial information adequately, and to achieve both consistency under abstraction as well as robustness under refinement, and on the other hand is compatible with the Curry-Howard isomorphism in order to form the cornerstone for a DL-based type theory. The proof theory of cALC is investigated by giving a sound and complete Hilbert-style axiomatisation, a Gentzen-style sequent calculus and a labelled tableau calculus showing finite model property and decidability. Moreover, cALC can be strengthened towards normal intuitionistic modal logics and classical ALC in terms of sound and complete extensions and hereby forms a starting point for the systematic investigation of a constructive correspondence theory.Beschreibungslogiken (BLen) stellen einen vieluntersuchten logischen Formalismus dar, der den Bereich der Wissensrepräsentation und das Semantic Web signifikant geprägt hat. Allerdings basieren BLen meist auf einer klassischen deskriptiven Semantik, die gekennzeichnet ist durch einen idealisierten Wahrheitsbegriff nach Platons Ideenlehre, weshalb diese unzureichend ausdrucksstark sind, um in Entwicklung befindliches und unvollständiges Wissen zu repräsentieren, wie es beispielsweise durch Datenströme oder fortlaufende Prozesse generiert wird. Derartiges partiell festgelegtes und unvollständiges Wissen lässt sich auf der Basis einer konstruktiven Semantik ausdrücken. Diese Arbeit untersucht die Model- und Beweistheorie einer konstruktiven Variante der Basis-BL ALC, die im Folgenden als cALC bezeichnet wird. Die Semantik dieser konstruktiven Beschreibungslogik resultiert daraus, die traditionelle zweiwertige Interpretation logischer Aussagen des Systems ALC durch einen konstruktiven Wahrheitsbegriff zu ersetzen. Eine derartige Interpretation ist die Voraussetzung dafür, um einerseits Anwendungen mit partiellem Wissen angemessen zu repräsentieren, und sowohl die Konsistenz logischer Aussagen unter Abstraktion als auch ihre Robustheit unter Verfeinerung zu gewährleisten, und andererseits um den Grundstein für eine Beschreibungslogik-basierte Typentheorie gemäß dem Curry-Howard Isomorphismus zu legen. Die Ergebnisse der Untersuchung der Beweistheorie von cALC umfassen eine vollständige und korrekte Hilbert Axiomatisierung, einen Gentzen Sequenzenkalkül, und ein semantisches Tableaukalkül, sowie Beweise zur endlichen Modelleigenschaft und Entscheidbarkeit. Darüber hinaus kann cALC zu normaler intuitionistischer Modallogik und klassischem ALC durch vollständige und korrekte Erweiterungen ausgebaut werden, und bildet damit einen Startpunkt für die systematische Untersuchung einer konstruktiven Korrespondenztheorie