Legal information certification and secured storage combined with documents electronic signature are of great interest when digital documents security and conservation are in concern. Therefore, these new and evolving technologies offer powerful abilities, such as identification, authentication and certification. The latter contribute to increase the global security of legal digital archives conservation and access. However, currently used cryptographic and hash coding concepts cannot intrinsically enclose cognitive information about both the signer and the signed content. Indeed, an evolution of these technologies (...) may be necessary to achieve full text researches within hundreds or thousands of electronically signed documents. This article aims at describing a possible model along with associated processes to create and make use of these new electronic signatures called “meaningful electronic signatures” as opposed to traditional electronic signatures based on bit per bit computation. (shrink)

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.

In the Enneads Plotinus articulates an account of ‘creation’ following in the tradition, albeit critically, of Plato’s Timaeus. This article compares Hart’s account of creation, as expressed in The Beauty of the Infinite: The Aesthetics of Christian Truth , and other secondary literature, with that of Plotinus’s. Some significant differences and interesting parallels are highlighted.

Aristotle thinks that we understand something when we know its causes. According to Aristotle but contrary to most recent approaches, causation and explanation cannot be understood separately. Aristotle complicates matters by claiming that there are four causes, which have come to be known as the formal, material, final, and efficient causes. To understand Aristotelian causation and its relationship to explanation, then, we must come to a precise understanding of the four causes, and how they are supposed to be explanatory. Aristotle’s (...) discussion of the causes, however, is compact, and he typically presents them without arguing for them. He thus leaves us with a number of questions, ranging from the highly specific to the highly general. One question in particular has captured the attention of scholars and philosophers over the last century, and it has had a strong influence on recent treatments of the four causes – namely, whether we are right to understand Aristotle as committed to a plurality of kinds of causation, or rather a plurality of kinds of explanation. Sometimes the question is raised as one of whether it would be more accurate to speak of the four ‘becauses’ rather than the four ‘causes’. This worry is highly general, and there are in fact several ways in which it might be formulated; nonetheless, it is important to clarify the precise nature of the problem, and the possible ways of responding to it. At issue is not just whether Aristotle’s notions are sufficiently like the modern notion of causation to be relevant to our concerns, but, more importantly, whether the distinctions he draws are ultimately metaphysical or epistemological in character. (shrink)

The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a (...) result of the second author. (shrink)

Like many realists about causation and causal powers, Aristotle uses the language of necessity when discussing causation, and he appears to think that by invoking necessity, he is clarifying the manner in which causes bring about or determine their effects. In so doing, he would appear to run afoul of Humean criticisms of the notion of a necessary connection between cause and effect. The claim that causes necessitate their effects may be understood—or attacked—in several ways, however, and so whether the (...) view or its criticism is tenable depends on how we understand the necessitation claim. In fact, Aristotelian efficient causation may be said to involve two distinct necessary connections: one is a relation between causes considered as potential, while the other relates them considered as active. That is, the claims that (1) what has the power to heat necessarily heats what has the power to be heated, and that (2) a particular flame which is actually under a pot necessarily heats it, both of which appear to be true for Aristotle, involve distinct notions of necessity. The latter kind of necessity is based on the facts, as Aristotle sees them, about change, whereas the former is based in the nature of properties. Though different, both kinds of necessity are instances of what contemporary philosophers would call metaphysical necessity, and together they also amount to a theory of causal determination. (shrink)

Central to Aristotle's metaphysics and epistemology is the claim that ‘aitia’ – ‘cause’ – is “said in many ways”, i.e., multivocal. Though the importance of the four causes in Aristotle's system cannot be overstated, the nature of his pluralism about aitiai has not been addressed. It is not at all obvious how these modes of causation are related to one another, or why they all deserve a common term. Nor is it clear, in particular, whether the causes are related to (...) one another as species under a single genus, such that there is a univocal definition of ‘aitia’ which applies to all of them, or whether Aristotle means to assert that the four causes are homonyms. It is argued here that although there are strong reasons to group the four causes together, there are also powerful considerations on the side of homonymy. It is further argued that the four causes are more closely tied to the ontological theory of categories and predication than is often recognized. As a result, we can reconcile the competing demands of unity and plurality by taking one mode of causation, the formal cause, as basic, and accounting for the other modes with reference to it, in the manner of so-called pros hen homonyms. (shrink)

We have reason to think that a fundamental goal of natural science, on Aristotle’s view, is to discover the essence-specifying definitions of natural kinds—with biological species as perhaps the most obvious case. However, we have in the end precious little evidence regarding what an Aristotelian definition of the form of a natural kind would look like, and so Aristotle’s view remains especially obscure precisely where it seems to be most applicable. I argue that if we can get a better understanding (...) of how the forms of natural kinds are or come to be known, and how they make things intelligible, we can get a better appreciation of the nature of form in general, as well as solve certain puzzles about form and definition. (shrink)

Aristotle opens his discussion of time in Physics 4.10-14 with a puzzle, an argument which purports to show that time does not exist, since its only parts – the past and future – do not exist. He does not discuss the puzzle again, and so we are left with the question of how he would or could solve it. A full solution would involve not only a justification of realism about time, but also an account of why the puzzle arises, (...) what must be corrected to prevent it from arising, and how much of our pre-theoretical picture of time survives these adjustments. This paper argues that we can provide such a solution by (i) distinguishing between two ways of being committed to the reality of past, present, and future, and (ii) examining Aristotle’s remarks in Physics 4.12 on the notions of being in time and being surrounded by time. (shrink)

We describe an approach to textual inference that improves alignments at both the typed dependency level and at a deeper semantic level. We present a machine learning approach to alignment scoring, a stochastic search procedure, and a new tool that finds deeper semantic alignments, allowing rapid development of semantic features over the aligned graphs. Further, we describe a complementary semantic component based on natural logic, which shows an added gain of 3.13% accuracy on the RTE3 test set.

In this paper we define a notion of relativization for higher order logic. We then show that there is a higher order theory of Grothendieck topoi such that all Grothendieck topoi relativizes to all models of set theory with choice.

Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage Eric Yeh, Christopher D. Manning Computer Science Department Stanford University Stanford, CA 94305.

Philosophers discussing causation take on, as one of their responsibilities, the task of specifying an ontology of causation. Both standard and non-standard accounts of that ontology make two assumptions: that the ontological category of causal relata admits a unique specification, and that cause and effect are of the same ontological type. These assumptions are rarely made explicit, but there is in fact little reason to think them true. It is argued here that, if the question has any interest, there are (...) some considerations in favor of rejecting Uniqueness and Uniformity, no good reasons in favor of them, but good reason to think that we are not in a position to make a decisive pronouncement, since some of the information needed to make a judgement on the matter is empirical in character. Philosophers have therefore made two mistakes about the relata of causation: one is to have accepted unwarranted restrictions on the categories pertinent to causation; the other is to have wrongly assumed that we are in a position to name them. (shrink)

Companies often benefit from others’ attributions of moral conviction for prosocial behavior, for example, attributions that a company has a sincere moral desire to improve the environment when behaving sustainably. Across four studies, we explored how organizations’ changing resource positions influenced people’s attributions for the motivations underlying prosocial organizational behaviors. Observers attributed less moral conviction following prosocial behavior when they believed an organization was losing economic resources. This effect was primarily a “penalty” assessed against organizations that were losing resources, as (...) opposed to a “reward” given to organizations gaining resources. Finally, we found that this effect occurred because people perceive organizations that are losing resources as more situationally constrained, leading them to attribute less dispositional moral conviction. We discuss theoretical and practical implications stemming from how changes in resource access can lead people to be more skeptical of organizations’ motivations following prosocial behavior. (shrink)

The alleged but unclear distinction between so-called “immanent” and so-called “transeunt” causation is structurally similar to an Aristotelian distinction between two kinds of potentiality (dunamis). It is argued that Aristotle’s distinction is in turn grounded in one between a metaphysically basic notion, rooted in his property theory, and a metaphysically posterior notion proper to the understanding of change in the science of nature. By examining Aristotle’s distinction, we can give a satisfying account of immanent and transeunt causation more generally. Furthermore, (...) once we clarify the distinction in this way, some contemporary appeals to immanent causation turn out to be misguided, while others look promising. (shrink)

Hayek and the Efficient Market Hypothesis are often seen as proposing a similar theory of prices. Hayek is seen as proposing to understand prices as information conveyer, incorporating inform...

Working in a fixed Grothendieck topos Sh(C, J C ) we generalize \({\mathcal{L}_{{\infty},\omega}}\) to allow our languages and formulas to make explicit reference to Sh(C, J C ). We likewise generalize the notion of model. We then show how to encode these generalized structures by models of a related sentence of \({\mathcal{L}_{{\infty},\omega}}\) in the category of sets and functions. Using this encoding we prove analogs of several results concerning \({\mathcal{L}_{{\infty},\omega}}\) , such as the downward Löwenheim–Skolem theorem, the completeness theorem and (...) Barwise compactness. (shrink)

Name der Zeitschrift: Zeitschrift für Religionswissenschaft Jahrgang: 26 Heft: 2 Seiten: 393-394.

We show how to encode, by classical structures, both the objects and the morphisms of the category of complete metric spaces and uniformly continuous maps. The result is a category of, what we call, cognate metric spaces and cognate maps. We show this category relativizes to all models of set theory. We extend this encoding to an encoding of complete metric structures by classical structures. This provide us with a general technique for translating results about infinitary logic on classical structures (...) to the setting of infinitary continuous logic on continuous structures. Our encoding will also allow us to talk about not only the relations between complete metric structures, but also the potential relations between complete metric structures, i.e. those which are satisfied in some larger model of set theory. For example we will show that given any two complete metric structures we can determine if they are potentially isomorphic by looking at any admissible set which contains them both. (shrink)

A puzzle about false judgement is raised in the Theaetetus (187d-200c), but not successfully answered there. On the proposed account, the confusion that explicitly vitiates Theaetetus’ final attempt to define knowledge is already at work implicitly in this puzzle. Theaetetus shares popular assumptions about knowledge (epistēmē), but also accepts that there are cognitive constraints on judgement (doxa): the puzzle arises because he fails to distinguish the one cognitive condition from the other.

Notre exposé cherche à démontrer que la promesse faite à Nathanaël en Jn 1,51, à l’aide du texte de Gn 38,12-19, annonce la glorification du Fils de l’homme au terme de son parcours terrestre décrit comme une descente et une remontée. Mais le moyen de cette glorification sera la crucifixion. D’où le recours à deux textes de l’A.T. pour démontrer, d’abord en 3,14-15, que la crucifixion de Jésus serait une élévation salvifique préfigurée par le serpent élevé par Moïse sur un (...) étendard. Cependant, la crucifixion est aussi le terme ultime de la descente du Fils de l’homme. La valeur salvifique de la crucifixion est alors démontrée à l’aide de l’épisode de la manne, pain descendu du ciel. Mais le vrai pain de vie, c’est Jésus : à ceux qui lui resteront fidèles jusqu’à la croix, il transmettra la vie qu’il reçoit continuellement de son Père. This article tries to demonstrate that the promise made to Nathanael through Gen 38:12-19 in Jn 1:51, foretells the glorification of the Son of Man at the end of his terrestrial journey, described as a descent and an ascent. But this glorification will be carried out by means of the crucifixion ; hence the recourse to two other texts of the O.T. to prove, first in Jn 3:14-15, that the crucifixion of Jesus would be a salvific elevation prefigurated by the serpent raised by Moses on a stake. But the crucifixion of Jesus is also the ultimate step of the descent of the Son of Man, its salvific value is then proven by the gift of manna, bread descended from heaven. Jesus, as the true bread of life, transmits the life he continuously receives from his Father to those who remain faithful to him unto the foot of the cross. (shrink)

In this note, we present a new observation of relevance to Aquinas’s third way. Scholars have noted that Aquinas recognizes the existence of a multiplicity of necessary beings, but it has not been recognized that Aquinas’s views concerning the eternality of the world commit him to the epistemic possibility that the world itself is a necessary being. We explain how Aquinas is committed to this possibility and explore its bearing on the success or failure of the third way as a (...) demonstration of God’s existence. (shrink)

Sartre analyse l’imagination dans le contexte d’une radicalisation de l’intentionnalité husserlienne. Alors que Husserl opérait avec un concept de constitution qui explicitait le statut de la transcendance à partir de l’immanence, la phénoménologie sartrienne semblerait faire l’économie de la notion de constitution. Mais ce point est plus délicat qu’il n’y paraît. Sartre rencontre plusieurs types de transcendances problématiques : celle de l’Ego (en 1936), de certaines images (1940), et celle du « soi » (1943). Cette étude vise à montrer comment (...) ces transcendances amènent à un remaniement implicite : il existerait un concept de constitution opératoire chez Sartre qui se passe de toute référence à l’immanence. Au moyen de l’imagination, nous proposons de clarifier le lexique sartrien : unité, identité et individualité sont des termes impliqués dans une analyse de la constitution. On montrera en quoi la « constitution sartrienne » met en évidence une dimension transcendantale de la phénoménologie de Sartre qui permet d’apprécier à nouveaux frais l’enjeu et les limites de ses prétentions ontologiques. (shrink)

Suppose that $\sigma\in{\mathcal{L}}_{\omega _{1},\omega }$ is such that all equations occurring in $\sigma$ are positive, have the same set of variables on each side of the equality symbol, and have at least one function symbol on each side of the equality symbol. We show that $\sigma$ satisfies Vaught’s conjecture. In particular, this proves Vaught’s conjecture for sentences of $ {\mathcal{L}}_{\omega _{1},\omega }$ without equality.