We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Printbegrænsninger: Der kan printes 10 sider ad gangen og max. 40 sider pr. session.

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with “Since” and “Until”) in a special way. We refer to this method as “adding a temporal dimension to L” or just “temporalising L”. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

In this paper, we will consider the neuro-cognitive systems involved in mediating morality. Five main claims will be made. First, that there are multiple, partially separable neuro-cognitive architectures that mediate specific aspects of morality: social convention, care-based morality, disgust-based morality and fairness/justice. Second, that all aspects of morality, including social convention, involve affect. Third, that the neural system particularly important for social convention, given its role in mediating anger and responding to angry expressions, is ventrolateral prefrontal cortex. Fourth, that the (...) neural systems particularly important for care-based morality are the amygdala and medial orbital frontal cortex. Fifth, that while Theory of Mind is not a prerequisite for the development of affect-based 'automatic moral attitudes', it is critically involved in many aspects of moral reasoning. (shrink)

This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...) degrees of transfer of logical properties. The temporalization method and the independent combination method are shown to transfer all three basic logical properties. The method of full join of logic systems generates a considerably more expressive language but fails to transfer completeness and decidability in several cases. So a weaker method of restricted join is proposed and shown to transfer all three basic logical properties. (shrink)

In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...) approximation process for full propositional classical logic when the control over the use of cut is progressively weakened. A sound and complete semantics is given for each component of each of the three families of approximated logics. One of these families is shown to possess the uniform substitution property, a new result for approximated reasoning. A tableau based decision procedure is presented for each element of the approximation families and the complexity of each decision procedure is studied. We show that there are families in which every component logic can be decided polynomially. (shrink)

This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This generalisation (...) over generic flows of time propagates to other combinations of logics that can be interpreted in terms of temporalisations. In this way, the independent combination of temporal logics is studied over generic flows of time. We show the transfer of soundness, completeness and decidability for independent combination of temporal logics. Finally, we also discuss the independent combination of any finite number of normal multi-modal logics. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...) can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed. (shrink)

While Vilém Flusser’s writings on (media) philosophy and communication have found a wide readership across the globe, another ‘Flusser’ has been present all along, interwoven perhaps, namely that of the ‘obsessive futurologist’. Flusser, the futurologist, does not only imagine or predict media-technological universes unfolding with, among, and for us, but he, in his insistence that ‘communication is anthropology’, also imagines scenarios of possible worlds to come. In his little-known book Angenommen: Eine Szenenfolge (1989), available in English translation as What If? (...) Twenty-Two Scenarios in Search of Images (2023), he designs sketches of an Anthropocene fraught with nightmares and wonders. What If? offers insight into the radical futures of a slipstream Anthropocene that have to do with speculative design, with Flusser’s concept of design as ‘crafty’ or slippery, and with art and the immense creative potential of failure versus reasonable, ‘good’ computing or calculability. (shrink)

For those with advanced life-limiting illness, the optimization of quality of life and avoidance of nonbeneficial treatments at the end of life are key ethical concerns. This article evaluates the efficacy of an Interdisciplinary Ethics Panel (IEP) approach to decision making at the end of life for unbefriended nursing home residents who lack decisional capacity and have advanced life-limiting illness, through the use of a ninestep algorithm developed for this purpose. We reviewed the outcomes of three quality-of-care phased initiatives conducted (...) in our facility, a large public nursing home in New York City, between June 2016 and February 2020, which indicated that this IEP approach promoted advance-care planning, as palliative measures were endorsed to optimize quality of life for this vulnerable population at the end of life. We also examined another quality-of-care initiative when this IEP approach was applied to end-of-life decision making for nursing home residents who had a surrogate during the COVID-19 pandemic. This application appeared to be beneficial in adding more residents to our Palliative Care Program while it improved rates of advance-care planning. When all of the above findings are considered, we believe this novel IEP approach and algorithm have the potential to be applied elsewhere after appropriate assessment. (shrink)

Language experience shapes the gradual maturation of speech production in both native and second languages. Structural aspects like the connectedness of spontaneous narratives reveal this maturation progress in L1 acquisition and, as it does not rely on semantics, it could also reveal structural pattern changes during L2 acquisition. The current study tested whether L2 lexical retrieval associated with vocabulary knowledge could impact the global connectedness of narratives during the initial stages of L2 acquisition. Specifically, the study evaluated the relationship between (...) graph structure and L2 learners’ oral production in the L2 and L1. Seventy-nine college-aged students who were native speakers of English and had received classroom instruction in either L2-Spanish or L2-Chinese participated in this study. Three tasks were used: semantic fluency, phonemic fluency and picture description. Measures were operationalized as the number of words per minute in the case of the semantic and phonemic fluency tasks. Graph analysis was carried out for the picture description task using the computational tool SpeechGraphs to calculate connectedness. Results revealed significant positive correlations between connectedness in the picture description task and measures of speech production in the phonemic and semantic fluency tasks. These correlations were only significant for the participants’ L2- Spanish and Chinese. Results indicate that producing low connectedness narratives in L2 may be a marker of the initial stages of L2 oral development. These findings are consistent with the pattern reported in the early stages of L1 literacy. Future studies should further explore the interactions between graph structure and second language production proficiency, including more advanced stages of L2 learning and considering the role of cognitive abilities in this process. (shrink)

In this paper a uniform methodology to perform natural\ndeduction over the family of linear, relevance and intuitionistic\nlogics is proposed. The methodology follows the Labelled\nDeductive Systems (LDS) discipline, where the deductive process\nmanipulates {\em declarative units} -- formulas {\em labelled}\naccording to a {\em labelling algebra}. In the system described\nhere, labels are either ground terms or variables of a given {\em\nlabelling language} and inference rules manipulate formulas and\nlabels simultaneously, generating (whenever necessary)\nconstraints on the labels used in the rules. A set of natural\ndeduction style (...) inference rules is given, and the notion of a\n{\em derivation} is defined which associates a labelled natural\ndeduction style ``structural derivation'' with a set of generated\nconstraints. Algorithmic procedures, based on a technique called\n{\em resource abduction\/}, are defined to solve the constraints\ngenerated within a structural derivation, and their termination\nconditions discussed. A natural deduction derivation is then\ndefined to be {\em correct} with respect to a given substructural\nlogic, if, under the condition that the algorithmic procedures\nterminate, the associated set of constraints is satisfied with\nrespect to the underlying labelling algebra. Finally, soundness\nand completeness of the natural deduction system are proved with\nrespect to the LKE tableaux system \cite{daga:LAD}.\footnote{Full\nversion of a paper presented at the {\em 3rd Workshop on Logic,\nLanguage, Information and Computation\/} ({\em WoLLIC'96\/}), May\n8--10, Salvador (Bahia), Brazil, organised by Univ.\ Federal de\nPernambuco (UFPE) and Univ.\ Federal da Bahia (UFBA), and\nsponsored by IGPL, FoLLI, and ASL.}. (shrink)

Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modaln-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics image and image.

During the summer of 1774, five “electric eels” survived the voyage from Surinam to Charles Towne (Charleston), South Carolina. Naturalists knew that these river fish actually only resembled eels. They also knew that that Carl Linnaeus had recently classified them as Gymnotus electricus (Linnaeus 1766; today they are Electrophorus electricus). But to most people, and even among natural philosophers, they were (and still are) loosely referred to as “eels.” For those willing to pay, a group that included physicians, gentlemen-scientists, and (...) other inquisitive minds, there was an opportunity to observe them. A promotional piece in the June 20, 1774, edition of the South-Carolina Gazette informs interested .. (shrink)

This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...) we study the generalisation of techniques present in many modern theorem provers, namely the techniques of conflict-driven formula learning. (shrink)

A supplementary volume in the series Research in social movements, conflicts and change, containing contributions on the Green movement. Topics covered include: the west European environmental movement; the Green movement in the USSR and Eastern Europe; and the failure of the US Greens.

Yoga practitioners have been using meditation practices for millennia. These practices have evolved as tools for improving health, healing emotional imbalance, and connecting with one's purpose and direction in life. Meditation provides a transcendence of ordinary mental activity into the realm of what is spiritually described as connecting you with pure consciousness. In colloquial terms it could be called finding your "genius," the aspect of yourself that is full of intuition and creativity, insight and purpose, an innate brilliance. Yogis consider (...) it finding the whole of who you are. (shrink)

The Yoga Sutras are Patanjali's classic on how to experience oneness (Samadhi) within yoga practice. Many serious yoga students want to bring the wisdom of the Sutras to their practice, but often find the text impenetrable and difficult to relate to. The Tantra of the Yoga Sutras remedies this by offering an interpretation that is uniquely relatable, teachable, and accessible. Yogi and tantric master Alan Finger shows contemporary practitioners and students that Samadhi is not something that we strive for in (...) the future, but something that we can experience now. Many interpreters of the Yoga Sutras describe Samadhi as an unreachable goal for the ordinary yogi. Finger's interpretation delivers yoga practices that are doable, with attainable and transformative results. (shrink)

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation, where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In Section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation (...) of linguistic phenomena, and in Section 3 we briefly set the model within a large theoretical perspective, comparing it to other type-logical approaches to natural language analysis. (shrink)

During the mid-18th century, when electricity was coming into its own, natural philosophers began to entertain the possibility that electricity is the mysterious nerve force. Their attention was first drawn to several species of strongly electric fish, namely torpedoes, a type of African catfish, and a South American "eels." This was because their effects felt like those of discharging Leyden jars and could be transmitted along known conductors of electricity. Moreover, their actions could not be adequately explained by popular mechanical (...) theories. Many of the early documents supportive of the hypothesis of animal electricity were associated with the Dutch colonies in South America. This article presents and examines those documents, and shows how Dutch scientists on both sides of the Atlantic conducted experiments and communicated with each other in the 1750s and 1760s. It reveals the important roles played by inquisitive physicians and lovers of nature in South America, and by natural philosophers and collectors of exotic specimens in the Netherlands—learned men who began to make a credible case for animal electricity in some exciting places at a pivotal moment in time. (shrink)