Representing Default Logic in Modal Logic

The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Default Logic with an initial set of axioms and defaults if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meanings of that initial set of sentences and of the sentences in those defaults. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and because unlike the original Default Logic, it is easily generalized to the case where quantified variables may be shared across the scope of the components of the defaults thus allowing such defaults to produce quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan Formula and its converse hold.

Representing Autoepistemic Logic in Modal Logic

The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal Quantificational Logic whose modal laws are stronger than S5. Specifically, it is proven that a set of sentences of First Order Logic is a fixed-point of the fixed-point equation of Autoepistemic Logic with an initial set of axioms if and only if the meaning or rather disquotation of that set of sentences is logically equivalent to a particular modal functor of the meaning of that initial set of sentences. This result is important because the modal representation allows the use of powerful automatic deduction systems for Modal Logic and unlike the original Autoepistemic Logic, it is easily generalized to the case where quantified variables may be shared across the scope of modal expressions thus allowing the derivation of quantified consequences. Furthermore, this generalization properly treats such quantifiers since both the Barcan formula and its converse hold.

On a Direct Approach to the Solution of Inverse Optical Problems

The evaluation from experimental data, of physical quantities, which enter into the electromagnetic Maxwell equations, is described as inverse optical problem. The functional relations between the dependent and independent variables are of transcendental character and numeric procedures for evaluation of the unknowns are largely used. Herein, we discuss a direct approach to the solution, illustrated by a specific example of determination of thin films optical constants from spectrophotometric data. New algorithm is proposed for the parameters evaluation, which does not need an initial guess of the unknowns and does not use iterative procedures. Thus we overcome the intrinsic deficiency of minimization techniques, such as gradient search methods, Simplex methods, etc. The price of it is a need of more computing power, but our algorithm is easily implemented in structures such as grid clusters. We show the advantages of this approach and its potential for generalization to other inverse optical problems.

Sobolev Type Decomposition of Paley-Wiener-Schwartz Space with Application to Sampling Theory

2000 Mathematics Subject Classification: 94A12, 94A20, 30D20, 41A05.

Representing spray zone with cross flow as a well-mixed compartment in a high shear granulator

The spray zone is an important region to control nucleation of granules in a high shear granulator. In this study, a spray zone with cross flow is quantified as a well-mixed compartment in a high shear granulator. Granulation kinetics is quantitatively derived at both particle-scale and spray zone-scale. Two spatial decay rates, DGSDR (droplet-granule spatial decay rate) ζDG and DPSDR (droplet-primary particle spatial decay rate) ζDP, which are functions of volume fraction and diameter of particulate species within the powder bed, are defined to simplify the deduction. It is concluded that in cross flow, explicit analytical results show that the droplet concentration is subject to exponential decay with depth which produces a numerically infinite depth of spray zone in a real penetration process. In a well-mixed spray zone, the depth of the spray zone is 4/(ζDG + ζDP) and π2/3(ζDG + ζDP) in cuboid and cylinder shape, respectively. The first-order droplet-based collision rates of, nucleation rate B0 and rewetting rate RW0 are uncorrelated with the flow pattern and shape of the spray zone. The second-order droplet-based collision rate, nucleated granule-granule collision rate RGG, is correlated with the mixing pattern. Finally, a real formulation case of a high shear granulation process is used to estimate the size of the spray zone. The results show that the spray zone is a thin layer at the powder bed surface. We present, for the first time, the spray zone as a well-mixed compartment. The granulation kinetics of a well-mixed spray zone could be integrated into a Population Balance Model (PBM), particularly to aid development of a distributed model for product quality prediction.

Inmanencia mistica en la obra de Federico Garcia Lorca

The purpose of this dissertation was to analyze the works of Federico García Lorca within the mystic context that dominates their very genesis. The problematic definition of mysticism was explored lest it be confused with traditional mysticism, which implies union with the divine. The historiography of literature speaks of the Mystic Genre, yet it does not address the mystic mode of artistic creation due to its inability to adhere to rational measure. This mode of conception was explored through Lorca's poetic discourse: ‘Lorquian mysticism’ is the result of the poet's cultivation of an innate spiritual potential enhanced by external influences and technical mastery. ^ There is visible influence of Fray Luis of León in Lorca's early Libro de poemas and El maleficio de la mariposa, as well as of Saint John of the Cross in the later Diván del Tamarit, Sonetos de amor and Yerma. However, definitive echoes of poets from the Sufi and other Eastern mystic traditions were also illustrated in these late works. A persistent longing to elide the physical condition, the greatest obstacle of the transcendental quest, is the essence of Lorca's poetic voice. ^ The object of this analysis was Lorca's language, which reaches levels removed from conventional thought. His dazzling metaphors and his particular use of symbols and of paradox compare equitably with those of great mystic poets. Like them, Lorca was faced with the same limitations of language to describe an ineffable experience; he embraced what Octavio Paz describes as ‘sacred language’: there is a linguistic frugality as well as an ambiguity in Lorca's poetic art that result from his realization of supercognitive states. Yet such an interpretation is rejected by the rationalist approach, invoking the age-old debate between faith and reason and signaling the application of psychoanalytical theory. This limited approach was disputed on the basis of reader-response theory. Lorca was truly an eclectic and a modification of the conventional reader's preestablished horizon of expectations is essential in order to seal the gaps in his late works. This innovative perspective placed Lorca within the framework of a new mysticism in the modern world. ^

Vernaculares: a casa de fazenda seridoense do século XIX como exemplo de adaptação ao clima semiárido

The farm’s rural dwellings of creation from the Seridó Potiguar microregion, built in the nineteenth century, became a reference by its vernacular character, i.e. these buildings, besides having recognized relevance to the identity of the region, they are adapted to the conditions of the place in many aspects (economic, cultural, construction, physical, et.) and consist in protective spaces in relation to hostile characteristics of Seridó’s climate. Considering the above premise, the following question arises: What characteristics of the nineteenth century Seridó Potiguar’s cattle farms are crucial for them to be a protective space in relation to the semiarid climate? In order to answer the question, this research aim to identify which particularities of the Seridó’s farmhouses that contribute to adaptability in these buildings to semiarid climate, as protection environments; and contribute to the stock valuation of the architectural heritage concerned. Therefore, procedures were adopted divided into two stages. Were first identified the recurring characteristics in the studied buildings, through typological study performed from existing inventories (DINIZ, 2008; FEIJÓ, 2002; IPHAN, 2012). To define the type it worked up with the concept that merges Durand’s analytical typology that identifies the similarities and differences to classify buildings, having the character of historical survey and architectural documentation, with the definition proposed by Argan (1963) that the type is not defined a priory, but the deduction from a number of illustrative cases which have formal and functional similarity with each other. Then worked up in a sample of five different types with each other, defined by the possibility of access to the interior of the houses, proximity to other copies, good state of conservation and preservation. The contemplated farms were: Pitombeiras, Agenus e Garrotes in Acari’s town, and the municipality of Caicó, Palma and Penedo. The second stage consists of the architectural survey, photographic record, digital three-dimensional modeling (aiming to expand the existing documentation and registration) and thermal monitoring over approximately a representative day in five farmhouses, relating the thermal performance of the houses with their individual characteristics. The selected variables for analysis monitoring are based on the thermal comfort adaptive model (SPAGNOLO and DE DEAR, 2003 apud NEGREIROS, 2010). The characteristics of the houses were analyzed as meeting the passive thermal conditioning strategies recommended by NBR 15220 (ABNT, 2005), for the bioclimatic zone 7 where the municipalities of Caicó and Acari are located. The house’s analysis of the operating temperatures revealed that 90% of the times of day the environments are within the comfort range. The farmhouses, which had a higher degree of compliance with recommended bioclimatic strategies, had the best thermal performance. In environments (usually the kitchen and rooms with low ceiling heights, exposed to west radiation) which still had discomfort hours, the thermal comfort can be reached with air movement approximately 1,0 m/s.

Vernaculares: a casa de fazenda seridoense do século XIX como exemplo de adaptação ao clima semiárido

The farm’s rural dwellings of creation from the Seridó Potiguar microregion, built in the nineteenth century, became a reference by its vernacular character, i.e. these buildings, besides having recognized relevance to the identity of the region, they are adapted to the conditions of the place in many aspects (economic, cultural, construction, physical, et.) and consist in protective spaces in relation to hostile characteristics of Seridó’s climate. Considering the above premise, the following question arises: What characteristics of the nineteenth century Seridó Potiguar’s cattle farms are crucial for them to be a protective space in relation to the semiarid climate? In order to answer the question, this research aim to identify which particularities of the Seridó’s farmhouses that contribute to adaptability in these buildings to semiarid climate, as protection environments; and contribute to the stock valuation of the architectural heritage concerned. Therefore, procedures were adopted divided into two stages. Were first identified the recurring characteristics in the studied buildings, through typological study performed from existing inventories (DINIZ, 2008; FEIJÓ, 2002; IPHAN, 2012). To define the type it worked up with the concept that merges Durand’s analytical typology that identifies the similarities and differences to classify buildings, having the character of historical survey and architectural documentation, with the definition proposed by Argan (1963) that the type is not defined a priory, but the deduction from a number of illustrative cases which have formal and functional similarity with each other. Then worked up in a sample of five different types with each other, defined by the possibility of access to the interior of the houses, proximity to other copies, good state of conservation and preservation. The contemplated farms were: Pitombeiras, Agenus e Garrotes in Acari’s town, and the municipality of Caicó, Palma and Penedo. The second stage consists of the architectural survey, photographic record, digital three-dimensional modeling (aiming to expand the existing documentation and registration) and thermal monitoring over approximately a representative day in five farmhouses, relating the thermal performance of the houses with their individual characteristics. The selected variables for analysis monitoring are based on the thermal comfort adaptive model (SPAGNOLO and DE DEAR, 2003 apud NEGREIROS, 2010). The characteristics of the houses were analyzed as meeting the passive thermal conditioning strategies recommended by NBR 15220 (ABNT, 2005), for the bioclimatic zone 7 where the municipalities of Caicó and Acari are located. The house’s analysis of the operating temperatures revealed that 90% of the times of day the environments are within the comfort range. The farmhouses, which had a higher degree of compliance with recommended bioclimatic strategies, had the best thermal performance. In environments (usually the kitchen and rooms with low ceiling heights, exposed to west radiation) which still had discomfort hours, the thermal comfort can be reached with air movement approximately 1,0 m/s.

Identidade pessoal em Hume e em Kant

The issue of this dissertation is the problem of personal identity. More specifically, the objective of this work is to investigate and compare how Hume and Kant construct, within their own philosophical systems, their theories of personal identity (of the self), so that these theories can set the grounds for the construction of theoretical knowledge. Hume’s theory of personal identity is closely connected to his empirical model of investigation, according to which no metaphysical conclusion can be accepted. This implies a very specific limitation to the humean description of personal identity. Because he can’t find a safe empirical reference for the self, Hume is obliged to describe it as a mere fiction, which the imagination creates to try to give unity to the set of perceptions that composes the mind. Kant, on the other hand, constructs his theory of the self with the aim of explaining the possibility of the a priori knowledge in Mathematics and in Physics. Kant tries to find which attributes must necessarily belong to the self so that this self can be, at the same time, the a priori transcendental condition of a subjectivity in general and the equally a priori transcendental condition for the construction of objective knowledge. Moreover, Kant shows the impossibility of objectively knowing, as intuition, the self, and limits himself to the description of the self as a mere subjective consciousness of the synthetic capacities of the understanding. Several disparities, thus, can be perceived between the theories of personal identity of these two authors. Based on these differences, the present work also examines the possibility of making an interpretation of the humean theory of the self by using elements of the kantian philosophy. The purpose of this kind of interpretation is to propose a solution to the difficulties faced by Hume in the description of his theory of personal identity.

La déconstruction de l'onto-théologie par Jacques Derrida : détour littéraire et mise en relief de la matrice langagière comme "différance".

Le mouvement derridien de la différance marque la rupture avec l'affirmation de la métaphysique de la présence, avec l'autorité du signifié transcendantal. Dans cet univers mouvant de signifiants qui se renvoient perpétuellement les uns aux autres, la logique d'univocité se disloque. La "présence" n'est que fantomatique, s'esquissant au sein d'une chaîne ininterrompue de signifiants et se laissant toujours creuser par la marque d'un irréductible manque. Face au logocentrisme, corollaire de l'affirmation de la présence, l'écriture se veut siège et articulation de la trace, d'une origine qui ne peut être que raturée, véhicule d'une irrémédiable fêlure. La volet littéraire de la déconstruction a pour but de mettre en évidence le fonctionnement de l'"indécidabilité" du discours, soit une certaine ambivalence dans la signification qui caractérise tout texte. L'objectif principal de la présente recherche est de fournir une compréhension plus approfondie de la déconstruction en insistant sur l'ancrage langagier de tout texte. Le discours philosophique n'échappe ainsi pas au mécanisme différentiel du langage et de la dérive métaphorique. La parenté entre la perspective déconstructiviste derridienne et la conception mallarméenne du langage poétique semble frappante. La mise en oeuvre, par Mallarmé, d'une dislocation de l'espace textuel, son minutieux "creusement" du vers après renoncement à toute quête d'"Idéal", la mise en relief du leurre de l'appropriation langagière, voilà qui trouve un écho particulier dans les thèses derridiennes. La "mimésis" platonicienne se voit au travers du prisme de la "mimique" mallarméenne. La déconstruction poursuit son travail de "luxation" de l'oreille philosophique, insérant les philosophèmes dans la matrice langagière, les livrant ainsi au hasard du cheminement textuel et les confrontant à l'aporie. La philosophie n'a alors d'autre choix que d'abandonner ses prétentions transcendantales. La marche de la "différance" instaure une inexorable distance qui prive le sujet de tout rapport direct avec une origine assurée et lui ôte toute possibilité de maîtrise sur le monde. Au travers de la langue, se profile la question de l'altérité, de la relation dissymétrique qui nous lie à cet "autre", ce "tout-autre" qui nous fonde et nous constitue. L'accueil inconditionnel de cette altérité nous mènera à l'étude de la "religion", la déconstruction se tournant vers le "religieux" tout en effectuant un "retournement" habile de tout credo essentialiste.

WAKING (TO) THINKING BEING: A STUDY OF EDUCATION, METAPHYSICS, MIND, AND LANGUAGE

This dissertation articulates the basic aims and achievements of education. It recognizes language as central to thinking, and philosophy and education as belonging profoundly to one another. The first step is to show that although philosophy can no longer claim to dictate the foundations of knowledge or of disciplines of inquiry, it still offers an exceptionally general level of self-understanding. Education is equally general and faces a similar crisis of self-identity, of coming to terms with reality. Language is the medium of thought and the repository of historical mind; so a child’s acquisition of language is her acquisition of rational freedom. This marks a metaphysical change: no longer merely an animal, she comes to exercise her powers of rationality, transcending her environment by seeking and expressing reasons for thinking and doing. She can think about herself in relation to the universe, hence philosophize and educate others in turn. The discussion then turns to the historical nature of language. The thinking already embedded in language always anticipates further questioning. Etymology serves as a model for philosophical understanding, and demonstrates how philosophy can continue to yield insights that are fundamental, but not foundational, to human life. The etymologies of some basic educational concepts disclose education as a leading out and into the midst of Being. The philosophical approach developed in previous chapters applies to the very idea of an educational aim. Discussion concerning the substantiality of educational ideals results in an impasse: one side recommends an open-­ended understanding of education’s aims; the other insists on a definitive account. However, educational ideals exhibit a conceptual duality: the fundamental achievements of education, such as rational freedom, are real; but how we should understand them remains an open question. The penultimate chapter investigates philosophical thinking as the fulfillment of rational freedom, whose creative insights can profoundly transform our everyday activities. That this transformative self-understanding is without end suggests the basic aims of education are unheimlich. The dissertation concludes with speculative reflection on the shape and nature of language, and with the suggestion that through education reality awakens to itself.

The Affordable Care Act and the Transformation of US Health Care

The neoliberal period was accompanied by a momentous transformation within the US health care system.  As the result of a number of political and historical dynamics, the healthcare law signed by President Barack Obama in 2010 ‑the Affordable Care Act (ACA)‑ drew less on universal models from abroad than it did on earlier conservative healthcare reform proposals. This was in part the result of the influence of powerful corporate healthcare interests. While the ACA expands healthcare coverage, it does so incompletely and unevenly, with persistent uninsurance and disparities in access based on insurance status. Additionally, the law accommodates an overall shift towards a consumerist model of care characterized by high cost sharing at time of use. Finally, the law encourages the further consolidation of the healthcare sector, for instance into units named “Accountable Care Organizations” that closely resemble the health maintenance organizations favored by managed care advocates. The overall effect has been to maintain a fragmented system that is neither equitable nor efficient. A single payer universal system would, in contrast, help transform healthcare into a social right.

La teoría de los diferenciales de Salomon Maimon, la pregunta quid juris y la posibilidad de la metafísica como ciencia

Este trabajo estudia la teoría de los diferenciales de Salomon Maimon como respuesta a la cuestión quid juris y a la vez como clave para la fundamentación de la posibilidad de la metafísica como ciencia. Se reconstruye primero la crítica de Maimon al tratamiento kantiano de la pregunta quid juris. Luego, se analiza la respuesta del propio Maimon a esa pregunta, para establecer finalmente cómo tal respuesta abre el camino para la explicación de la posibilidad de la metafísica como ciencia.

La transformación de la tabla kantiana de las categorías en el Fundamento de toda la doctrina de la ciencia de J. G. Fichte de 1794/95

El presente artículo analiza la deducción fichteana de la categorías en el Fundamento de toda la doctrina de la ciencia de 1794/95 a la luz de la comprensión que tiene Fichte, durante los años de la génesis y publicación de esta obra, acerca de su relación con la filosofía kantiana con respecto a la cuestión de las categorías. Se argumenta que la deducción fichteana de las categorías en esta obra de 1794/95 transforma la tabla kantiana de las categorías en una tríada de tríadas (nueve categorías reunidas en los grupos de relación, cantidad, cualidad) en la que la determinación recíproca es la categoría fundamental, el grupo de la modalidad queda excluido y la distinción entre categorías matemáticas y dinámicas desaparece. El análisis de la deducción fichteana es seguido de una revisión crítica de las interpretaciones habituales sobre este tema.

Music therapy, in tuning at the end of life

In this article music therapy is presented as a helpful tool to support the persons (and their relatives) living at the end of their life and, also, as a non pharmacological and complementary therapy in an integral and holistic medicine. What we report here comes from the direct experience, nourished after many years of interventions and reflections in oncology and palliative care units. We’re talking about silence, music, therapy, models and techniques. We will read and feel therapeutic sessions… but above all, we’re talking about life, conscience and love.