This paper presents a detailed analysis of a previous work that described the dynamic behavior of an antique stamp mill. The stamp mill application was for breaking ore stones as part of silver production. The dynamic analysis was established from a modern description of the kinematic chain. Since there is no technical data or archeological reports, the model was reconstructed using the dimensions described in original documents and assuming the operation conditions from different technical references. The model was validated using (...) the typical production rates from the pre-industrial revolution period (XVI to XVIII centuries). The results show a proper method for reconstructing the engineering data of antique mechanisms and provide the basis for reproducing these types of mechanisms with modern engineering concepts. The data can be extrapolated to other similar mills that were developed based on this functional principle. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

No presente artigo, analisamos as abordagens de António Damásio e Gerald Edelman sobre a consciência e fazemos um paralelo com as teses apresentadas pelo filósofo John Searle. Recorremos também às críticas dos filósofos Bennett e Hacker como pedras de toque da viabilidade de algumas teses. Desse modo, apresentamos uma revisão sistemática da obra de Damásio, Edelman e Searle, a fim de promover um diálogo produtivo entre as ideias defendidas por estes autores, os quais, segundo nossa interpretação, assumem uma teoria do (...) campo unificado da consciência. (shrink)

Se presenta al iusnaturalismo clásico, especialmente el defendido por Tomás de Aquino, como alternativa digna de reconocimiento en la actual situación de dispersión-y también de confusión- en que se encuentra la filosofía del derecho. La empresa intelectual que se ha intentado concretar en este libro es la mediación entre los resultados de los estudios sobre la ley natural y las líneas centrales de la argumentación teórica moderna con el fin de plantear en una nueva perspectiva el múltiple debate iusfilosófico de (...) nuestros días. Aquí se ha tratado de abordar algunos de los principales tópicos de la iusfilosofía actual, poniendo en diálogo al iusnaturalismo de raíz clásica con las principales propuestas de la filosofía del derecho actual, reinterpretándolo para hacerlo comprensible, interesante y expresivo para los hombres de comienzos del siglo XXI. (shrink)

We address current needs for neogenomics-based theoretical and computational approaches for several neuroscience research fields, from investigations of heritability properties, passing by investigations of spatiotemporal dynamics in the neuromodulatory microcircuits involved in perceptual learning and attentional shifts, to the application of genetic algorithms to create robots exhibiting ongoing emergence.

En el marco del juego hipotético del diálogo El Parménides, donde se examinan las posibilidades de lo Uno y lo Múltiple en relación con su participación en el ser, surge, como condición de dicha participación en tiempos diferentes, la existencia del instante. Este elemento irrumpe fraccionando la continuidad de la magnitud del movimiento, introduciendo así el "cambio" como el concepto que permite eludir la contradicción en que podría caer el Uno al participar y no participar simultáneamente. Se exponen, de este (...) modo, las circunstancias de la aparición tematizada del instante en el diálogo, y su rasgo intemporal como característica sobresaliente. (shrink)

Legal interpretation is a complex subject that raises several problems, and one of them relates to the question whether legal interpretative propositions are objective. Several claims arguing in favor of this objective stance are discussed in the article with the idea of understanding the nature of such claims.Resumen:La interpretación jurídica es un tema complejo que plantea diversos pro- blemas, y uno de ellos, quizá el más relevante, es el relativo a establecer si las proposiciones interpretativas derivadas de un texto jurídico (...) son objetivas. Las principales posturas existentes en torno a la posible objetividad de las proposiciones interpretativas, son analizadas y evaluadas por el autor (en especial, la llamada “objetividad modesta”) para descubrir si existe un referente objetivo para las interpretaciones jurídicas, el término objetivo de esa referencia y en que consiste tal objetividad. (shrink)

The author exposes the doctrine of "Deontologic Liberalism" which is described, mainly, by J. Rawls, specially about the "privatization" that he makes of the human good and the consequent founding of the moral duties in a "public agreement". Then, he compares that to the doctrine of Millán-Puelles about the comunity and the objectivity of the human good, as well as of the founding of Ethics in the human nature and, finally, in the transcendent Absolute.

The existence of sovereign rights over genetic resources is today well recognized in international law. However, the legal status of such resources in terms of property rights is still unclear. The consideration of this issue requires a clear distinction between physical and intangible property. Legislation in developed countries has extended patent protection to genetic resources, in addition to the protection of plant varieties via breeders' rights. The extension of protection and the implementation of the TRIPs Agreement may have important implications (...) for breeding programs and trade in seeds. While intellectual property protection of genetic resources is rapidly advancing, considerable work is still to be done to ensure the compensation for the informal innovations made by local and indigenous communities. (shrink)

This paper analyzes the problem of rational justification of law in general and legal norms in particular, a problem highlighted by the so-called postmodern trends that deny the possibility and validity of these attempts. While the postmodern trends serve as a background to the discussion, the article provides a summary of rational justification of norms based on Sergio Cotta’s innovative approach, who is arguably one of the authors that has dealt to the topic with more prominence and consistency. Thus, the (...) goal of this article is to point out how the election of a norm can be justified, and to explain the main notions of Cotta’s approach, in order to assess his accuracy and weakness, and his connection to the theory of practical knowledge. The article concludes with some remarks on Cotta’s justification model.Resumen:El presente artículo desarrolla el problema de la justificación racional del derecho en general y de las normas jurídicas en particular, ante las corrientes de pensamiento denominadas posmodernas que niegan la posibilidad y validez de tales intentos. El trabajo ofrece una reseña acerca de la justificación racional de las normas a partir de la novedosa doctrina de Sergio Cotta, quien es uno de los autores que ha abordado el tema con mayor extensión y consistencia. A lo largo del artículo, el autor intenta mostrar de qué manera está fundada la elección de una norma, explica las nociones centrales de la doctrina de Cotta, identifica sus aciertos, sus debilidades, su conexión con la teoría del conocimiento práctico y concluye con algunas observaciones al modelo de justificación propuesto. (shrink)