In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...) An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings. (shrink)

The branching-time logic called Peircean by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of the (...) notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of (...) a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set (...) of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

This paper deals with structures ${\langle{\bf T}, I\rangle}$ in which T is a tree and I is a function assigning each moment a partition of the set of histories passing through it. The function I is called indistinguishability and generalizes the notion of undividedness. Belnap’s choices are particular indistinguishability functions. Structures ${\langle{\bf T}, I\rangle}$ provide a semantics for a language ${\mathcal{L}}$ with tense and modal operators. The first part of the paper investigates the set-theoretical properties of the set of indistinguishability (...) classes, which has a tree structure. The significant relations between this tree and T are established within a general theory of trees. The aim of second part is testing the expressive power of the language ${\mathcal{L}}$ . The natural environment for this kind of investigations is Belnap’s seeing to it that (stit). It will be proved that the hybrid extension of ${\mathcal{L}}$ (with a simultaneity operator) is suitable for expressing stit concepts in a purely temporal language. (shrink)

In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance (...) Stit Logics. (shrink)

The semantical structures called T×W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, ℒO, which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ⋄. However, these structures are also suitable for interpreting an extended language, ℒSO, containing a further possibility operator ⋄s which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history ‘simultaneity’ operator. In the present paper we provide (...) an infinite set of axioms in ℒSO, which is shown to be strongly complete forT ×W-validity. Von Kutschera (1997) contains a finite axiomatization of T×W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. (shrink)

The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. (...) In the present paper we provide an infinite set of axioms in $[Unrepresented Character]_{so}$ , which is shown to be strongly complete for T x W-validity. Von Kutschera (1997) contains a finite axiomatization of T x W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

Fibring is defined as a mechanism for combining logics with a first-order base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class. A modal first-order logic is obtained as a fibring where neither the Barcan formula (...) nor its converse hold. (shrink)

The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L_t are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L_t-validity w.r.t. transition structures. As a consequence, for a certain fragment of L_t, validity (...) w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire language L_t by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures. (shrink)

The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this notion of validity is equivalent to (...) validity with respect to bundled trees. (shrink)

The transition semantics presented in Rumberg :77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language \ are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves \-validity w.r.t. transition structures. As a consequence, for a certain fragment of \, validity w.r.t. transition structures turns (...) out to be axiomatizable. The result is then extended to the entire language \ by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures. (shrink)

Gennaro Chtjerchia, Dynamics of meaning: anaphora, presupposition, and the the of grammar. Chicago and London: The University of Chicago Press, 1995.xv+ 270 pp, £59.95, £31.95 G. Pr...

El objetivo de este artículo es clarificar la noción de «vida auténtica» tal y como es descrita por Joan Roura-Parella en su última obra Tema y variaciones de la personalidad (1950). Por «vida auténtica» se entiende una vida autogobernada, que permite al individuo realizar su propia singularidad y, por tanto, preservar su autonomía y dignidad como persona. Una vida dominada por factores ajenos al propio individuo, sean cuales sean éstos, es una vida alienada, que no permite el desarrollo del individuo (...) en tanto la persona que es. Se señala la relevancia filosófica de la propuesta de Roura-Parella, que es la de ofrecer una justificación no-evidencial para una forma de vida cristiana, agapística. De acuerdo con Roura-Parella, una forma de vida basada en la entrega amorosa para con el prójimo está justificada en tanto que ésta es el resultado último de nuestra propia condición natural, constituyendo así un acto de afirmación personal y siendo, por tanto, condición necesaria para gozar de una vida auténtica — «la vida alcanza su hondo sentido al salirse de sí misma para darse a los demás» (Roura-Parella, Tema y variaciones de la personalidad, 1950, p. 229). Se señalan las diferencias y semejanzas de la propuesta de Roura-Parella con respecto a las de Miguel de Unamuno y Joaquim Xirau, autores que fueron cercanos a Roura-Parella y quienes, aunque partiendo de razonamientos distintos a los de Roura-Parella, también concibieron la entrega amorosa para con el prójimo como un acto de afirmación personal. (shrink)

In this paper I argue for a syncretistic theory of depiction, which combines the merits of the main paradigms which have hitherto faced themselves on this issue, namely the perceptualist and semioticist approaches. The syncretistic theory indeed takes from the former its stress on experiential factors and from the latter its stress on conventional factors. But the theory is even more syncretistic than this, for the way it accounts for the experiential factor vindicates several claims defended by different perceptualist theories. (...) In a nutshell, according to the syncretistic theory a picture depicts its subject iff i) it is transformed into an entity-cum-meaning and ii) one has the twofold experience of seeing that subject in the picture qua noninterpreted entity, the image, just in case one consciously misrecognizes it in consciously seeing that image, for that subject resembles the image in some grouping properties (originally labelled Gestalt-qualities in psychology). By appealing to objective resemblance in grouping properties, the theory can vindicate what are nowadays taken to be the most neglected doctrines in the perceptualist camp: objective resemblance theories. By appealing, moreover, to conscious misrecognition, the theory not only squares with both the seeing-in and the recognition theories of depiction, but it also shows the grain of truth in illusion theories of depiction, since conscious misrecognition is a kind of perceptual illusion. (shrink)

El objetivo de este artículo es explorar la manera en que Joaquim Xirau y Miguel de Unamuno concibieron el amor. A pesar de que no hay motivos suficientes para concluir una influencia directa y filosóficamente relevante de Unamuno en la obra de Xirau, sí podemos concluir que la forma en que ambos autores concibieron el amor guarda ciertas similitudes. Así, ambos coinciden en concebir la entrega amorosa como un ejercicio de afirmación individual que trae consigo un incremento de la propia (...) singularidad. También, tanto Unamuno como Xirau conciben la entrega amorosa como un acto que, aun surgiendo del propio individuo y no de como es de hecho el mundo, personifica aquello amado, dejando de ser así visto como un mero objeto y mostrándose bajo una forma personal. Y ambos, aunque de un modo distinto, hacen del relato bíblico acerca de la vida y Resurrección de Cristo un aspecto central de sus maneras de entender el amor. (shrink)

The aim of this chapter is to analyse the concept of love —understood in the broad and Christian-inspired sense of love as agape-charis love— in relation to the animes Dragon Ball and Dragon Ball Z. I first comment on the character of Piccolo —and how his friendship with Son Gohan— leads to him losing all his original villainous traits. I argue that the evolution of the character of Piccolo through his friendship with Son Gohan illustrates the philosophical claim that a (...) loving and giving of oneself to the other —far from being a sign of weakness— is a courageous and self-affirming exercise. The result may move the individual to an inner transformative experience that leads to the enjoyment of a renewed and authentic life that is worth living. I then argue that Son Goku’s respectful attitude towards his opponents is ultimately a loving attitude. Last, I argue that it is the inspiring and loving example of Son Goku that ultimately explains why characters such as Vegeta —who are at first presented as villains— end up losing their villainous traits after fighting against Son Goku. (shrink)

En este artículo expongo y analizo la propuesta berkeleyana del conocimiento nocional, que representa entre otras cosas el intento del irlandés por conocer a la mente o espíritu, esto es, a aquella cosa pensante y activa que por su propia actividad resulta irrepresentable como idea. Como el conocimiento nocional ya se menciona en los Comentarios Filosófi cos me remitiré a ellos para conocer los orígenes del mismo; sin embargo, como tal conocimiento aparece con mayor detalle en obras posteriores me serviré (...) sobre todo del Tratado para abordar la compleja doctrina nocional. // In this paper I expose and analyze the berkeleian proposal of notional knowledge. Among other things, this proposal represents Berkeley ́s attempt to know the mind or spirit, that is, the thinking and active thing that by its own activity results unrepresentable as idea. As such knowledge is already mentioned in the Philosophical Commentaries, I will refer to them in order to know the origins of that proposal. However, as notional knowledge appears in more detail in later works, I will make use especially of the Treatise to address the complex notional doctrine. (shrink)

In der Reihe werden herausragende monographische Untersuchungen und Sammelbände zu allen Aspekten der Philosophie Kants veröffentlicht, ebenso zum systematischen Verhältnis seiner Philosophie zu anderen philosophischen Ansätzen in Geschichte und Gegenwart. Veröffentlicht werden Studien, die einen innovativen Charakter haben und ausdrückliche Desiderate der Forschung erfüllen. Die Publikationen repräsentieren den aktuellsten Stand der Forschung.

Unamuno saw in his defense of religious faith a response to Nietzsche’s criticisms of the Christian, agapeic way of life. To Nietzsche’s claim that engaging in this way of life is something antinatural and life‐denying, insofar as it goes against the (alleged) natural tendency to increase one’s own power, Unamuno responded that an agapeic way of life is precisely a direct expression of this natural tendency. Far from being something that goes against our natural inclinations, Unamuno says, an agapeic way (...) of life is a life‐affirming exercise, something we are led to given our own natural condition. Hence, the aim of this essay is to comment on Unamuno’s criticism of Nietzsche and to point out the philosophical relevance of Unamuno’s attempt to provide a natural foundation for religious faith when assessing Nietzsche’s criticisms of the possibility of carrying out a Christian, agapeic way of life. (shrink)

Character plays a central role in our everyday understanding and evaluation of ourselves and one another. It informs the expectations that ground our plans and projects, our moral responses to other people's behaviour and to opportunities we ourselves face, and our political decisions concerning formal education, criminal punishment, and other aspects of social organisation. These philosophical essays clarify this idea of character, analyse its relation with the findings of experimental psychology, and draw out the implications of this for education and (...) for criminal punishment. They emphasise that character is inherently dynamic, challenging the tendency among personality psychologists and virtue ethicists alike to focus on static snapshots of traits, and they emphasise the close integration of character with the individual's social context. The volume is intended to demonstrate the deep conceptual affinity of moral philosophy and social psychology and the consequent potential for each to benefit from the other. (shrink)

Introduzione.--La filosofia dei fisici.--I condannati a morte e le esperienze sull'uomo.--La psicologia e le sue applicazioni.--L'economia e le uniformità storiche.--Scienze della natura e scienze dell'uomo.--Conclusione.

This open access book discusses individual, collective, and institutional responsibilities with regard to vaccination from the perspective of philosophy and public health ethics. It addresses the issue of what it means for a collective to be morally responsible for the realisation of herd immunity and what the implications of collective responsibility are for individual and institutional responsibilities. The first chapter introduces some key concepts in the vaccination debate, such as ‘herd immunity’, ‘public goods’, and ‘vaccine refusal’; and explains why failure (...) to vaccinate raises certain ethical issues. The second chapter analyses, from a philosophical perspective, the relationship between individual, collective, and institutional responsibilities with regard to the realisation of herd immunity. The third chapter is about the principle of least restrictive alternative in public health ethics and its implications for vaccination policies. Finally, the fourth chapter presents an ethical argument for unqualified compulsory vaccination, i.e. for compulsory vaccination that does not allow for any conscientious objection. The book will appeal to philosophers interested in public health ethics and the general public interested in the philosophical underpinning of different arguments about our moral obligations with regard to vaccination. (shrink)

In just the last decade, many conference proceedings have been published on Plato’s Timaeus and its influence on the history of philosophy. The present vo­lume, which is the result of a symposium held at Seoul National University in September 2011, testifies to the enduring and widespread interest the Platonic dia­logue is able to elicit. The nine studies here collected by Euree Song center on the figure of the demiurge as maker of the world and they all deal with authors who, (...) while having di... (shrink)