A solution of the sourceless Einstein's equation with an infinite value for the cosmological constant Λ is discussed by using Inönü–Wigner contractions of the de Sitter groups and spaces. When Λ→∞, spacetime becomes a four-dimensional cone, dual to Minkowski space by a spacetime inversion. This inversion relates the four-cone vertex to the infinity of Minkowski space, and the four-cone infinity to the Minkowski light-cone. The non-relativistic limit c→∞ is further considered, the kinematical group in this case being a modified Galilei (...) group in which the space and time translations are replaced by the non-relativistic limits of the corresponding proper conformal transformations. This group presents the same abstract Lie algebra as the Galilei group and can be named the conformal Galilei group. The results may be of interest to the early Universe Cosmology. (shrink)
Descartes estabeleceu conceitos através dos quais explicaria sua tese geral para o movimento dos corpos. Em total desacordo, Newton realizou um ostensivo ataque a teoria cartesiana concluindo que o movimento assumido pelo filosofo francês não deveria ser considerado como um movimento real. O diálogo desenvolvido ao longo da discussão, fundamentada na teoria newtoniana referente à natureza física do mundo, demonstra de forma sutil e refinada as observações precisas feitas por Newton acerca das contradições a que levavam o desenvolvimento dos conceitos (...) propostos por Descartes. Imbuída de espírito físico-filosófico, este artigo tem por objetivo elucidar as “ficções” cartesianas, bem como demonstrar a forma pela qual Newton buscou refutá-las: contrapondo a referida teoria de movimento com a sua. (shrink)
It is sometimes asserted that Philo of Alexandria is the creator of systematic theology – not because he created systematics , that is, a body of doctrine classified and integrated by a set of principles defined in philosophical terms, but because he created theology , that is, a mode of philosophizing which derives its main categories from a supernatural revelation. Such a mode was pursued by Philo's Christian disciples, among whom was Origen , one of the first of his faith (...) to attempt, unsuccessfully, to formulate a systematics. Not until John Damascene was the attempt realized, but only in part: for while Damascene does classify the doctrinal truths of the Christian faith in an orderly manner, and through the use of philosophically defined concepts, he does not seek to investigate their inner philosophical intelligibility and cohesiveness. Christian doctrine was too involved for being viewed comprehensively all at once, and while some theologians, like Dionysius and Maximus the Confessor , appear to have grasped its inner architectonics, they seem to have been unable to express it in a clear and structured literary form. (shrink)
Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason (...) that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)
We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, although the (...) analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)
Burnout is a phenomenon characterized by fatigue and frustration, usually related to work stress and dedication to a cause, a way of life that does not match the person’s expectations. Although it seems to be associated with risk factors stemming from a professional environment, this problem may affect any person. Palliative care is provided in a challenging environment, where professionals often have to make demanding ethical decisions and deal with death and dying. This article reports on the findings of a (...) systematic review aimed at identifying described burnout levels in palliative care nurses and physicians, and the related risks and protective factors. The main findings indicate that burnout levels in palliative care, or in health care settings related to this field, do not seem to be higher than in other contexts. (shrink)
Abstract Occupational stress in nursing has attracted considerable attention as a focus for research and as a consequence multiple objects of nurses' stress, or 'stressors', have been identified. This paper puts into question the dominant conceptual and methodological approach to occupational stress in nursing research by both foregrounding the notion of anxiety and juxtaposing it with the notion of 'stress'. It is argued that the notion of 'stress' and the domination of the questionnaire have produced a narrow reading of the (...) topic. Some of the literature on occupational stress/anxiety in nursing is reviewed and our analysis illustrates how the identified objects of stress have a tendency to multiply contingent on the number of studies undertaken. Thus definitive objects of nurses' stress remain elusive. We argue that a return to the notion of 'anxiety' and methodological approaches other than empirical ones can bring both depth and breadth to the consideration of occupational distress in nursing. Further, we argue that the object of 'anxiety' is unconscious, thus unknown, and given this, a more informative approach is to map nurses' response to anxiety, the discursive formations arising out of anxiety, rather than attempt to define those objects of anxiety. (shrink)
Systematic semantic ambiguities result from the interaction of the two operations that are involved in resolving ellipsis in the presence of scoping elements such as quantifiers and intensional operators: scope determination for the scoping elements and resolution of the elided relation. A variety of problematic examples previously noted - by Sag, Hirschbüihler, Gawron and Peters, Harper, and others - all have to do with such interactions. In previous work, we showed how ellipsis resolution can be stated and solved in equational (...) terms. Furthermore, this equational analysis of ellipsis provides a uniform framework in which interactions between ellipsis resolution and scope determination can be captured. As a consequence, an account of the problematic examples follows directly from the equational method. The goal of this paper is merely to point out this pleasant aspect of the equational analysis, through its application to these cases. No new analytical methods or associated formalism are presented, with the exception of a straightforward extension of the equational method to intensional logic. (shrink)
The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish the (...) scope of thequantifier. Different proofs can lead to different scopes. In eachcomplete proof, the properties of linear logic ensure thatquantifiers are properly scoped. (shrink)
Benefits and costs on prospective memory performance, of enactment at encoding and a semantic association between a cue-action word pair, were investigated in two experiments. Findings revealed superior performance for both younger and older adults following enactment, in contrast to verbal encoding, and when cue-action semantic relatedness was high. Although younger adults outperformed older adults, age did not moderate benefits of cue-action relatedness or enactment. Findings from a second experiment revealed that the inclusion of an instruction to perform a prospective (...) memory task led to increments in response latency to items from the ongoing activity in which that task was embedded, relative to latencies when the ongoing task only was performed. However, this task interference ‘cost’ did not differ as a function of either cue-action relatedness or enactment. We argue that the high number of cue-action pairs employed here influenced meta-cognitive consciousness, hence determining attention allocation, in all experimental conditions. (shrink)
A critical review of gravitational wave theory is made. It is pointed out that the usual linear approach to the gravitational wave theory is neither conceptually consistent nor mathematically justified. Relying upon that analysis it is argued that—analogously to a Yang-Mills propagating field, which must be nonlinear to carry its gauge charge—a gravitational wave must necessarily be nonlinear to transport its own charge—that is, energy-momentum.
In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)
We prove that a combinatorial consequence of the negation of the PCF conjecture for intervals, involving free subsets relative to set mappings, is not implied by even the strongest known large cardinal axiom.
In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new (...) research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics. (shrink)
Fazer uma abordagem na qual seja apresentada a análise crítica de Reid acerca da teoria da identidade pessoal de Locke constitui-se como o objetivo principal desse artigo. Tal análise aponta para duas consequências significativas: a) se a mesma consciência pode ser transferida de um ser inteligente para outro, então, dois ou vinte seres inteligentes podem ser a mesma pessoa; b) a de que um homem pode ser e, ao mesmo tempo, não ser a pessoa que praticou uma determinada ação. Tendo (...) como ponto de partida essas consequências, Reid explicitará algumas considerações em torno do assunto. (shrink)
De Sousa's comprehensive two-part review of a diversity of contemporary approaches to the study of consciousness is highly welcome. He makes us aware of a proliferation of theoretical and empirical approaches targeting a common theme, but diverging in many ways. He skilfully accomplishes a classification of kinds of approach, identification of the main representatives, their contributions, and respective limitations. However, he does not show how the desired integration could be accomplished. Besides summarising De Sousa's efficient analytical work, I make critical (...) comments and briefly report my contribution for the integration project. (shrink)
This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.
A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...) negation right and universal quantification right are required to be single conclusion rules. In this note we show that instead of a cardinality restriction such as one-conclusion-only, we can use a notion of dependency between formulae to enforce the constructive character of derivations. The system we obtain, called FIL for full intuitionistic logic, satisfies basic properties such as soundness, completeness and cut elimination. We present two motivating applications of FIL and discuss some future work. (shrink)
The research team measured the enterprise web accessibility levels of the Forbes 250 largest enterprises using the fully automatic accessibility evaluation tool Sortsite, and presented the compliance of the evaluated websites to WCAG 1.0, WCAG 2.0 and Section 508 accessibility levels. Given the recent attention to organizational leaders having ethical duties towards their dedicated employees, we propose that ‘societal citizenship behaviour’ concerns ethical duties of organizational leaders towards society in general and in particular to those who have less means to (...) assert their needs. In effect, we found enterprise website accessibility levels to be in need of significant improvement. An interpretation of a positive path forward to better enterprise website accessibility levels is put forth based on a focus-group interaction and using BNML—a novel Business Narrative Modelling Language. (shrink)
Alchemical writings of Arabic origin introduced into the Latin natural philosophy of the twelfth century a cosmological issue that was at variance with Aristotelian cosmology: the idea of a subtle substance that stood at the origin of the four elements and encompassed heaven and earth. In this article, I consider the links of this notion with Hermetic and Stoic thought; its association with the technical process of distillation; its emergence in some philosophical texts of the early thirteenth century; and finally (...) its full development in two fourteenth century alchemical treatises, the Testamentum attributed to Raimond Lull and the Liber de consideratione quintae essentiae written by John of Rupescissa. (shrink)
Nosso propósito, neste artigo, é aproximar dois modelos éticos distintos, o kantiano e o aristotélico, com o intuito de detectar alguns pontos comuns onde talvez possamos encontrar certo diálogo entre ambos os modelos éticos.
La modernidad impone condiciones para la reflexión acerca de la democracia participativa. En tal sentido, un irrebasable conjunto de derechos básicos funciona como marco para la participación ciudadana y opera como parámetro para la presentación de las virtudes cívicas. En función de esto último, en este trabajo se expondrá una teoría de la virtud de corte procedimental, presentando cuatro virtudes que aseguran la condición de ciudadanía en su mayor expresión. Estas virtudes son conceptualmente diferenciadas de los valores cívicos como forma (...) de establecer criterios normativos diferenciales para la implementación de políticas públicas. Por último se presentan tres dimensiones para la educación ciudadana: una de corte estrictamente curricular, una personal vinculada al desarrollo de las capacidades básicas del ciudadano, y una dimensión social que tiene que ver con el rol de las instituciones de la sociedad civil. (shrink)
Basically the anti-infallibility position of the eighteenth and twentieth centuries is fivefold: that infallibility, especially papal, is unfounded, unverified, undesirable, unnecessary, and impossible.
A riqueza do debate ocorrido entre os filósofos Luc Ferry e Marcel Gauchet, em janeiro de 1999, deu origem a este artigo, em que os autores exploram os temas e as questões discutidas naquela ocasião. O artigo apresenta as diferentes posições dos dois pensadores franceses, cuja preocupação maior é pensar as condições de possibilidade da religião e do religioso nos tempos atuais. Tempos em que, segundo os debatedores, predomina a individualização da crença e nos quais a presença de uma religiosidade (...) sempre mais inquieta, difusa e incerta convive com o enfraquecimento institucional das religiões. Longe de desaparecer num universo cada vez mais laicizado, o religioso, como indagação sobre o sentido último da vida ou como aspiração ao absoluto, tende a permanecer como um substrato insuperável. Como, então, pensar o religioso após a religião? O texto apresenta as diferentes e divergentes posições de Ferry e Gauchet acerca da pertinência do uso de termos clássicos como "sagrado", "divino", "transcendente", dentre outros, para tratar os constituintes dessa religiosidade contemporânea e inquieta, própria de uma época na qual se torna impossível a edificação de um mundo de parte a parte estruturado pela religião e na qual o religioso impregnaria todos os setores da vida pública e privada. Palavras-chave: Religião; Religiosidade; Secularização; Autonomia; Heteronomia.This paper analyses the questions and problems that was discussed during an important debate between the French philosophers Marcel Gauchet and Luc Ferry, which take place at Paris on January, 1999. The paper discusses the different conceptions of these thinkers about the status of religion and the religious in nowadays. Days that witnesses the individualization of religious belief and the presence of a restless, uncertain and spread religiosity which however, lives side by side with an institutional weakening of the historical religions. Far from disappearing in a more and more laicized world, the religious as an inquiring about searching on ultimate sense for our lives seems to remain as a permanent individual issue. Nevertheless, how is it possible to conceive the religious after the deregulation of historical religions? Classical terms like "sacred", "divine", "transcendent" and "absolute" are sufficient to qualify and analyze the elements of this restless and uncertain religiosity, which seems to be constitutive of societies that do not need religious legitimacy anymore. Keywords: Religion; religious; secularization; autonomy; heteronomy. (shrink)
The Global Workspace Theory (GWT) proposed by Bernard Baars (1988) along with Daniel Dennett’s (1991) Multiple Drafts Model (MDM) of consciousness are renowned cognitive theories of consciousness bearing similarities and differences. Although Dennett displays sympathy for GWT, his own MDM does not seem to be fully compatible with it. This work discusses this compatibility, by asking if GWT suffers from Daniel Dennett’s criticism of what he calls a “Cartesian Theater”. We identified in Dennett 10 requirements for avoiding the Cartesian Theater. (...) We believe that some of these requirements are violated by GWT, but not all, hence there is partial incompatibility with MDM, and it is nonsense to answer if GWT is or is not a Cartesian Theater. However, by asking such question we conclude that the issues around this discussion involve fuzzy claims about degrees of consciousness and we show how the Neuro-Astroglial Interaction Model (NAIM) is fit for solving such conceptual issues. (shrink)