Starting with the emphasis that Levinas puts on the role of otherness in the constitution of subjective dimension, this paper discusses how the articulation of this process and the consequences that derive from it recall specifically Fichtean themes. Although the relation between Levinas and Fichte has not been thoroughly examined in the literature yet, it can nevertheless be shown that themes such as the “call” of the subject from the outside, from the unattainable dimension of an otherness irreducible to any (...) immanence and the factual and finite character of its correlative freedom can be understood by reference to the categories that Fichte develops in his texts on law and morals. The reference to Fichte, who already in his considerations on the Wissenschaftslehre recognizes an external Anstoß as determining the reality of the subject, will allows to elucidate the fundamental structure of Levinas’ thought. Particular attention is paid in Levinas to the belonging of otherness to an immemorial past, which in the impossibility of being traced back to the presence of consciousness finds the guarantee of its radical transcendence. Thus, another temporal dimension is configured which also in Fichte refers to an “exteriority” that cannot be assumed by the subject, but only ascertained a posteriori, hence its factual character. Through an interpretation of the fundamental meaning that the primacy of otherness over sameness has in Levinas and the attempt to reflect this relationship through the reference to similar Fichtean motifs, it becomes clearer that the basic meaning of a radical thought of otherness does not cancel the sameness of subject, but on the contrary allows to found it by referring it to its constitutive, unavoidable heteronomy. (shrink)

A finitely alternative normal tense logic \ is a normal tense logic characterized by frames in which every point has at most n future alternatives and m past alternatives. The structure of the lattice \\) is described. There are \ logics in \\) without the finite model property, and only one pretabular logic in \\). There are \ logics in \\) which are not finitely axiomatizable. For \, there are \ logics in \\) without the FMP, and infinitely (...) many pretabular extensions of \. (shrink)

We prove that all finitely axiomatizable tense logics with temporal operators for ‘always in the future’ and ‘always in the past’ and determined by linear fows time are coNP-complete. It follows, for example, that all tense logics containing a density axiom of the form ■n+1F p → nF p, for some n ≥ 0, are coNP-complete. Additionally, we prove coNP-completeness of all ∩-irreducible tense logics. As these classes of tense logics contain many Kripke incomplete bimodal logics, we obtain many (...) natural examples of Kripke incomplete normal bimodal logics which are nevertheless coNP-complete. (shrink)

The view that chances are relative frequencies of occurrence within actual, finite reference classes has long been written off. I argue that it ought to be reconsidered. Focusing on non-deterministic chance, I defend a version of finite frequentism in which reference classmates are required to have qualitatively identical pasts. While my analysis can evade or resist several standard objections, it has a counterintuitive consequence: non-trivial chances entail the existence of past light cones that are perfect intrinsic duplicates. (...) In mitigation, I argue that our scientific knowledge is consistent with the hypothesis that there are many such duplicates in the actual world. Moreover, my analysis has some striking advantages: it is simple, it is metaphysically undemanding, and it makes possible a satisfying explanation of the chance–credence connection. 1 Introduction2 Target3 Sketch and Skirmish4 Articulation5 Standard Worries5.1 Frequency tolerance5.2 Leibniz’s dictum5.3 Single case chance5.4 Missing values5.5 Explanation5.6 Counterfactual chances6 Chance and Credence6.1 An indefeasible indifference intuition6.2 Articulating the credence principle6.3 Appraising the credence principle7 Confirmation8 Laws9 Summing Up. (shrink)

Suppose one accepts the argument that past infinity is not acceptable. This does not eliminate the possibility that the beginning of time is not equivalent across objects. Along with breakdown of absolute simultaneity of events in relativity, there may even be no agreement on whether an event existed. There may be no consistent way to totally order events. In such a case, despite every object, conscious or not, having finite lifetime, there may be no single point called “the (...) beginning,” and the universe stays as it is without requiring a cause of existence. (shrink)

We continue the study of adequate sets which we began in (Krueger in Forcing with adequate sets of models as side conditions) by introducing the idea of a strongly adequate set, which has an additional requirement on the overlap of two models past their comparison point. We present a forcing poset for adding a club to a fat stationary subset of ω 2 with finite conditions, thereby showing that a version of the forcing posets of Friedman (Set theory: (...) Centre de Recerca Matemàtica, Barcelona, 2003–2004, Trends in Mathematics. Birkhäuser Verlag, 2006) and Mitchell (Trans Am Math Soc 361(2):561601, 2009) for adding a club on ω 2 can be developed in the context of adequate sets. (shrink)

What are the assumptions and tasks hidden in contemporary calls to "overcome" the metaphysical tradition? Reflecting upon the internal contradictions of the notions of "tradition" and "finiteness," Dennis J. Schmidt offers novel insights into how philosophy must relate to its traditions if it is to retain a vital sense of the plurality of "edges" that constitute its finiteness. He does this through a close examination of issues found in the work of Hegel and Heidegger, two philosophers who made the ideas (...) of both tradition and finiteness the center of their concern.Schmidt begins by asking how Heidegger can claim to have destroyed metaphysics despite Hegel's claim to have perfected its possibilities. Systematically following the development of Heidegger's critique of Hegel, Schmidt generates a dialogue between them. The topic of that dialogue is the nature of finiteness as it is articulated in time, nothing, the dialectical and hermeneutical circles, and in the notions of experience, work, technology, history, and preSocratic thought.Beginning with Heidegger's critique of Hegel in Being and Time, Schmidt's strategy is to disclose the complexities of philosophical discourse about the finite by drawing out the proximities between Hegel and Heidegger. The dialogue that results presents novel portraits of both philosophers. It also reveals that Heidegger's early, unacknowledged failure to separate himself from the Hegelian dialectic is the motive behind many of the turns and decisions of his later career.In concluding, Schmidt offers an interpretation of the wider significance of the results of that dialogue, and connects his study to other contemporary discussions of postmodernism. He expands upon the idea of the plurality of edges opened by finiteness, arguing that philosophy only understands its own past and future once it recognizes the meaning of its own finiteness.Dennis J. Schmidt is Associate Professor of Philosophy at the State University of New York at Binghamton. The Ubiquity of the Finite is included in the series Studies in Contemporary German Social Thought, edited by Thomas McCarthy. (shrink)

Discussions on indeterminism in physics focus on the possibility of an open future, i.e. the possibility of having potential alternative future events, the realisation of one of which is not fully determined by the present state of affairs. Yet, can indeterminism affect also the past, making it open as well? We show that by upholding principles of finiteness of information one can entail such a possibility. We provide a toy model that shows how the past could be fundamentally (...) indeterminate, while also explaining the intuitive (and observed) asymmetry between the past—which can be remembered, at least partially—and the future—which is impossible to fully predict. (shrink)

We start by considering the Alternate Strike (AS) scheme, a real-life arbitration scheme where two parties select an arbitrator by alternately crossing off at each round one name from a given panel of arbitrators. We find out that the AS scheme is not invariant to “bad” alternatives. We then consider another alternating-move scheme, the Voting by Alternating Offers and Vetoes (VAOV) scheme, which is invariant to bad alternatives. We fully characterize the subgame perfect equilibrium outcome sets of these above two (...) schemes in terms of the rankings of the parties over the alternatives only. We also identify some of the typical equilibria of these above two schemes. We then analyze two additional alternating-move schemes in which players’ current proposals have to either honor or enhance their previous proposals. We show that the first scheme’s equilibrium outcome set coincides with that of the AS scheme, and the equilibrium outcome set of the second scheme coincides with that of the VAOV scheme. Finally, it turns out that all schemes’ equilibrium outcome sets converge to the Equal Area solution’s outcome of cooperative bargaining problem, if the alternatives are distributed uniformly over the comprehensive utility possibility set and as the number of alternatives tends to infinity. Journal of Economic Literature Classification Number: C72. (shrink)

On the rise over the past 20 years has been ‘moderate supernaturalism’, the view that while a meaningful life is possible in a world without God or a soul, a much greater meaning would be possible only in a world with them. William Lane Craig can be read as providing an important argument for a version of this view, according to which only with God and a soul could our lives have an eternal, as opposed to temporally limited, significance, (...) by virtue of our moral choices then making an ultimate difference. I present two major objections to this position. On the one hand, I contend that if God existed and we had souls that lived forever, then, in fact, all our lives would turn out the same. On the other hand, I maintain that, if this objection is wrong, so that our moral choices would indeed make an ultimate difference and thereby confer an eternal significance on our lives (only) in a supernatural realm, then Craig could not capture the view, aptly held by moderate supernaturalists, that a meaningful life is possible in a purely natural world. An eternal significance would be ‘too big’, reducing any meaning possible during an earthly life to nothing by comparison. I conclude that moderate supernaturalists would be wise to avoid appealing to eternal (or infinite) meaning when spelling out the way God and a soul could alone impart a great meaning to our lives; some other notion of greatness should be considered, perhaps one involving a temporary afterlife. (shrink)

We define a new type of two player game occurring on a tree. The tree may have no root and may have arbitrary degrees of nodes. These games extend the class of games considered by Gurevich-Harrington in [5]. We prove that in the game one of the players has a winning strategy which depends on finite bounded information about the past part of a play and on future of each play that is isomorphism types of tree nodes. This (...) result extends further the Gurevich-Harrington determinacy theorem from [5]. (shrink)

When "Finite and Infinite Goods" was published in 1999, it took its place as one of the few major statements of a broadly Augustinian ethical philosophy of the past century. By "broadly Augustinian" I refer to the disposition to combine a Platonic emphasis on a transcendent source of value with a traditionally theistic emphasis on the value-creating capacities of absolute will. In the form that this disposition takes with Robert Merrihew Adams, it is the resemblance between divine and (...) a finite excellence that makes the finite excellence objectively of value, and it is the correspondence of an obligation to a divine command that makes the obligation objectively obligatory. I look closely at the complexity of this ethical division of labor--between the good and the right--mainly as it appears in the context of "Finite and Infinite Goods", but also with attention to the broader corpus of Adams's writings, particularly his work on Leibniz and the essays of his that have been gathered together in "The Virtue of Faith". I argue that there is a creative tension in his work between his desire to secure an objective basis for ethics and his affirmation of the value of grace, a love that is not proportioned to the excellence of its object. This tension, I further argue, ought to be resolved in the direction of grace. (shrink)

William Lane Craig modified Bertrand Russell’s Tristram Shandy example in order to derive an absurdity that would demonstrate the finitude of the past. Although his initial attempt at such an argument faltered, further developments in the literature suggested that such an absurdity was indeed in the offing provided that a couple extra statements were also shown to be true. This article traces the development of a particular line of argument that arose from Craig’s Tristram Shandy example before advancing an (...) argument of its own that attempts to fill in the relevant gaps so as to yield a new argument for the finitude of the past. (shrink)

This essay explores a simple argument for a Ground of Being, objections to it, and limitations on it. It is nonsensical to refer to Nothing in the sense of utter absence, hence nothing can be claimed to come from Nothing. If, as it seems, the universe, or any physical ensemble containing it, is past-finite, it must be caused by an uncaused Ground. Speculative many-worlds, pocket universes and multiverses do not affect this argument, but the quantum cosmologies of Alex (...) Vilenkin, and J. B. Hartle and Stephen Hawking, which claim that the universe came from literally nothing, would. I argue that their novel project cannot work for reasons both physical (their "nothing" is actually a vacuum state governed by eternal physical laws) and methodological (physical theory cannot explain the emergence of the physical per se). Thus my argument stands. However, as David Hume showed, a posteriori arguments like mine infer a creation, and Creator, of a certain character, namely, a stochastic concept of creation and a panentheistic, partly physical Creator lacking omniscience and omnipotence. Rather than undermining the cosmological argument, as Hume intended, these limitations liberate the concept of the Ground from unnecessary problems, as Hartshorne suggested. (shrink)

A covariant quantum mechanics for systems of finite-mass particles at finite energy follows from interpreting as Wick-Yukawa fluctuations in particle number the quantum fluctuations which are needed by Phipps to understand measurement theory and by Gyftopoulos to understand the second law of thermodynamics. The dynamical one-variable equations require as input the (N − 1)-particle transition matrices and an N-N vertex or coupling constants at three-particle vertices.

The aim of this article is to reveal with an overall approach, how the psycho-social background, starting from woman image in first periods and reach modern day, is embraced by outstanding theorists of modern psychology, and also how these collected works are reflected in their definitions of woman. If it is considered that woman has been discussed with reflections against and not from primary sources throughout history, it can be seen that the most essential roots of woman narrations can be (...) found in oral culture and the parts of written texts are made over symbol, metaphor, proposition and story. However myths (stories) that take place in oral and partly written culture about primitive man, are sacred tales, they will also present data regarding human image. Therefore with a limited effort of human being to understand the infinite, it can be understood what human being think, feel and how they interpret rather than gods/goddesses ontology. From this point of view, this article that consists of two parts, first of all will mention especially about perception of Goddess in those reflected to image of God, maintaining its efficiency in conscious or unconscious as a system of symbols intrinsic to human nature and cultural code background and then the woman image will be roughly discussed with a descriptive style over the world of mythology, psychology and faith. In the second part, it will be examined in detail how all the written and oral information about understanding woman by modern anthropologists are interpreted with the perspective of modern psychology specific to theorists such as Freud, Jung and Fromm. Eventually, it will be emphasized that past and future are integrated with information, experience and feelings with an active relationship; perception and approach of woman have stayed up to date in time continually; mythology, psychology and religion are important factors within this matter.Summary: Human being has also used historical, temporal and spatial attributions for God. Infinite human being has expressed their thoughts about the finite God by analogy. Despite the dominance of male gender in the images of God in these analogies which are the products of human experience, female Gods that is to say Goddesses are not few. The matter of how the image of goddess come to the fore in a distinctly male-dominant society is a noteworthy matter. The narration of Earth Mother over female symbol in myths in which the harmony is constantly secured within the inner and exterior world and mention about living in harmony with the universe is an important data in order to understand female characteristics attributed to God. Human being has also used historical, temporal and spatial attributions for God. Infinite human being has expressed their thoughts about the finite God by analogy.The woman subject is influenced by transferred life experience within the historical process, and it is an undeniable fact that ancient “woman perception” has reflections to the present day. Within the history of humanity, striking definitions about woman can be seen in sacred statements in symbol language. Therefore, it is proper to examine primarily the image of sacred and then examine female meaning that is charged on that image. The aim of this study can be summed up with two themes: a) try to understand the general framework of reflections of the present image of woman, style of narration and comprehension in psychological, sociological, and religious terms by getting help from myths which mention about ancient image of God, although there is centuries old difference between those stories and us, b) reveal the image of woman in Freud, Jung, and Fromm’s approach which establishes a bond between mythology that is a system of symbols special to human nature and human psychology and discuss this subject by using psychology of religion.When reviewed ancient Far East and Middle East myths and also Ancient Greek mythology, it can be seen that gods are not cloistered supernatural beings who do not have abstract personalities and also do not lead a wholly metaphysic life. The crucial issue here is; the reality that Gods and Goddesses are shown as a model to both man and woman. Psychologists who examine religion in terms of psychology state that first outcomes about the image of God come up not with behavior but with emotion. The attributions of gender, related to the emotion in question are cited during the transfer of those emotions as well. Therefore; philosophers, culture and religion historians, theologians, anthropologists, archaeologists, psychologists, and sociologists have contributed to this transfer when they discuss the cult of God or Goddess throughout the history. It is interesting that the usage of the term of God maintains while the usage of the term of Goddess decreases. Civilization historians claim that the appearance of divine religions particularly quickens the course of transition from goddess to god. According to them, during this period in which there is a transfer from polytheist image of God to monotheist image of God, the quantitative change in the perception of God comes with a qualitative change. According to Fromm, during this power gathering period, there has been a transfer from mother and feminine (woman) centered religion to father and masculine (man) centered religious experience/ God image. According to him, in the second stage of humanity development, “the children of Earth Mother turn into the children of divine father”, there is a transition from unconditional love of mother to authoritarian sympathy of father, from an image of supplemental and surrounding Goddess to authoritarian image of God who makes requests by his nature, lays down principles and laws, and supports the power and search for a successor to deliver the power.The perception of women who led to Prophet Adam deviated from the truth and expelled from heaven is spread around especially the regions of one-God religions. This has strengthened the idea that divine religions have a negative view towards women. Including Islam, the reason of all divine religions’ encountering with claims that they have a negative approach against woman stem from applying to that religions’ human resources rather than essential religious sources which are existing or lost earliest forms.Oedipus complex is an important thesis of Freud which explains the development of religion and morals; establish the base of his psychology, and in fact, important in terms of his making connection with difference of kinds and flow or non-flow of request and needs while explaining human behaviors. According to Freud who points to sexuality and aggression which are the most powerful two instinct in the biology of male or female; the first three or five years of a newly born human- this is the period in which the basic part of personality is formed- the definition of self is extremely influenced by his/her gender (in both biological and sociocultural terms). Freud who put forward father-son conflict in the struggle to survive between Zeus and his sons in Moses and Monotheism (1998c) and Totem and Taboo (1998a), makes an explanation about the origin of religion and humanity over two male characters. Jung pays attention to goddess image as much as the image of god and do not approach this situation only as a polytheism or sociocultural explanation or childish appearances of a primitive mind. He accepts goddesses as a reflection of archetypes in human. Male has a feminine side, female has a masculine side, and a unity occurs when both complete each other. According to Fromm, a taxonomy referring to woman and man is primarily a sociology-based approach rather than a biology-based one. Fromm (1995) thinks that the whole depiction shows individuals’ own desire and needs, that is to say, their psychology rather than a theology. Transition from mother (woman) centered religion to father (man) centered religious experience and God image is essentially one of the most important breaking/inversion points of human being, not humanity. As a result, it can be said that it is an important point to clearly understand the story of mankind to examine that intense freshness at hand and centeredness of quantitative and qualitative changes of divine or God image of ancient societies come down after psychological, sociological, religious, economic, political, and cultural changes. (shrink)

We present a variant of ATL with incomplete information which includes the distributed knowledge operators corresponding to synchronous action and perfect recall. The cooperation modalities assume the use the distributed knowledge of coalitions and accordingly refer to perfect recall incomplete information strategies. We propose a model-checking algorithm for the logic. It is based on techniques for games with imperfect information and partially observable objectives, and involves deciding emptiness for automata on infinite trees. We also propose an axiomatic system and prove (...) its completeness for a rather expressive subset. As for the constructs left outside this completely axiomatised subset, we present axioms by which they can be defined in the subset on the class of models in which every state has finitely many successors and give a complete axiomatisation for a “flat” subset of the logic with these constructs included. (shrink)

Introduction. During the past two decades philosophers of psychology have considered a large variety of computational models for philosophy of mind and more recently for cognitive science. Among the suggested models are computer programs, Turing machines, pushdown automata, linear bounded automata, finite state automata and sequential machines. Many philosophers have found finite state automata models to be the most appealing, for various reasons, although there has been no shortage of defenders of programs and Turing machines. A paper (...) by Arthur Burks convinced me long ago that “all natural human functions” are, or can be fruitfully modeled to be, finite state automata with output. Further work in the field has reinforced this conviction. There is room, however, for the use of any of the above models in philosophy of mind and in the ongoing development of cognitive science. (shrink)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should be replaced (...) by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

Over the past decade, sequence learning has gradually become a central paradigm through which to study implicit learning. In this chapter, we start by briefly summarizing the results obtained with different variants of the sequence learning paradigm. We distinguish three subparadigms in terms of whether the stimulus material is generated either by following a fixed and repeating sequence (e.g., Nissen & Bullemer, 1987), by relying on a complex set of rules from which one can produce several alternative deterministic sequences (...) (e.g., Lewicki, Hill & Bizot, 1988; Stadler, 1989), or by following the output of a probabilistic set of rules such as instantiated by noisy finite-state grammars (Cleeremans & McClelland, 1991; Jiménez, Mendéz & Cleeremans, 1996). Next, we focus on the processes involved in sequence representation and acquisition. We suggest that the sensitivity to the sequential structure observed in the probabilistic subparadigm can only be a result of the acquisition of a representation of the statistical constraints of the material, and that this sensitivity emerges through the operation of mechanisms that are well instantiated by connectionist models such as the Simple Recurrent Network (Elman, 1990; Cleeremans, 1993b). We present new simulation work meant to explore to what extent the model can also account for specific data obtained in a paradigmatic instance of deterministic, rule-based sequence learning task: Lewicki et al. (1988)'s situation. Finally, we report on the results of an experiment that compares learning on otherwise similar deterministic and probabilistic structures, and we show that learning of both types of structures is equivalent only under conditions that maximally hinder explicit acquisition. Taken together, these simulation and experimental data lend support to the claim that implicit learning in all three sequence learning subparadigms can amount to a form of statistical sequence learning. They also suggest that distinguishing among several theories of sequence representation and acquisition may require us to analize the data in great detail. Hopefully, however, some truth can be found in such details.. (shrink)

Over the past two decades, several consistent procedures have been designed to infer causal conclusions from observational data. We prove that if the true causal network might be an arbitrary, linear Gaussian network or a discrete Bayes network, then every unambiguous causal conclusion produced by a consistent method from non-experimental data is subject to reversal as the sample size increases any finite number of times. That result, called the causal flipping theorem, extends prior results to the effect that (...) causal discovery cannot be reliable on a given sample size. We argue that since repeated flipping of causal conclusions is unavoidable in principle for consistent methods, the best possible discovery methods are consistent methods that retract their earlier conclusions no more than necessary. A series of simulations of various methods across a wide range of sample sizes illustrates concretely both the theorem and the principle of comparing methods in terms of retractions. (shrink)

In the past four decades, the notion of quantum polynomial-time computability has been mathematically modeled by quantum Turing machines as well as quantum circuits. This paper seeks the third model, which is a quantum analogue of the schematic definition of recursive functions. For quantum functions mapping finite-dimensional Hilbert spaces to themselves, we present such a schematic definition, composed of a small set of initial quantum functions and a few construction rules that dictate how to build a new quantum (...) function from the existing ones. We prove that our schematic definition precisely characterizes all functions that can be computable with high success probabilities on well-formed quantum Turing machines in polynomial time, or equivalently uniform families of polynomial-size quantum circuits. Our new, schematic definition is quite simple and intuitive and, more importantly, it avoids the cumbersome introduction of the well-formedness condition imposed on a quantum Turing machine model as well as of the uniformity condition necessary for a quantum circuit model. Our new approach can further open a door to the descriptional complexity of quantum functions, to the theory of higher-type quantum functionals, to the development of new first-order theories for quantum computing, and to the designing of programming languages for real-life quantum computer. (shrink)

ignate remote or historical past, the perfect being furthermore restricted to events not witnessed by the speaker.3 In the intervening stage of Vedic Sanskrit, the past tenses show a complex mix of temporal, aspectual, and discourse functions. On top of that, Rigvedic retains the injunctive, a chameleon-like category of underspecified finite verbs whose many uses partly overlap with those of the past tenses. The present study of the Rigvedic system is offered as a preliminary step towards (...) the reconstruction and theoretical interpretation of this aspect-to-tense trajectory. (shrink)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as (...) N4-lattices which correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

A popular critique of the kalām cosmological argument is that one argument for its second premise illicitly assumes a finite starting point for the series of past temporal events, thereby begging the question against opponents. Rejecting this assumption, opponents say, eliminates any objections to the possibility that the past is infinitely old and undermines the IFA’s ability to support premise 2. I contend that the plausibility of this objection depends on ambiguities in extant formulations of the IFA (...) and that we may resolve these ambiguities in a way that does not presuppose a finite staring point. I also argue that this disambiguation allows us to construct an argument demonstrating that the concept of an infinite past entails a contradiction. (shrink)

ABSTRACT According to an influential line of argument, the past must be finite because no infinite series can be formed by successive addition. The present paper pinpoints the non sequitur at the heart of this argument, disentangles the ambiguities that disguise it, and dismantles the misleading picture of ‘traversing the infinite’ that gives the argument so much of its allure. Finally, the paper critically explores the related argument that a beginningless series of past events is impossible because (...) there could be no explanation of its having been ‘completed’ at one time rather than another. (shrink)

In the perspective of the philosophical archaeology proposed, here, the arkhé towards which archaeology regresses must not be understood in any way as an element that can be situated in chronology ; it is, rather, a force that operates in history—much in the same way in which Indoeuropean words express a system of connections among historically accessible languages, in which the child in psychoanalysis expresses an active force in the psychic life of the adult, in which the big bang, which (...) is supposed to have originated the universe, continues to send towards us its fossil radiation. But the arkhé is not a datum or a substance. It is much rather a field of bipolar historical currents within the tension of anthropogenesis and history, between point of emergence and becoming, between arch-past and present. And as such—that is to say, to the extent to which it is something that it is necessarily supposed to have factually happened, and which yet cannot be hypostatized in any chronologically identifiable event—it is solely capable of guaranteeing the intelligibility of historical phenomena, of ‘saving’ them archaeologically within a future perfect, yet not grasping its origin, but rather its history, at once finite and untotalizable. (shrink)

Time may be infinite in both directions. If it is, then, if persons could live at most once in all of time, the probability that you would be alive now would be zero. But if persons can live more than once, the probability that you would be alive now would be nonzero. Since you are alive now, with certainty, either the past is finite, or persons can live more than once.

Many philosophers have argued that the past must be finite in duration because otherwise reaching the present moment would have involved something impossible, namely, the sequential occurrence of an actual infinity of events. In reply, some philosophers have objected that there can be nothing amiss in such an occurrence, since actually infinite sequences are ‘traversed’ all the time in nature, for example, whenever an object moves from one location in space to another. This essay focuses on one of (...) the two available replies to this objection, namely, the claim that actual infinities are not traversed in nature because space, time, and other continuous wholes divide into parts only in so far as we divide them in thought, and thus divide into only a finite number of parts. I grant that this reply succeeds in blunting the anti-finitist objection, but I argue that it also subverts the very argument against an eternal past that it was intended to save. (shrink)

Human consciousness is a finite entity; therefore, memory must be selective: remembering must also mean being able to forget. In 2006, James McGaugh documented the first known case of hyperthymesia—a syndrome that affects a very limited percentage of the world population. The main symptoms of this mental disorder involve the concept of memory stuck in the past, where the individual is imprisoned by his or her own memories, and any projection towards the future is precluded. The inevitable change (...) produced by the flowing of time naturally helps people to find reasons to live and to search for a sense of being in the world. The present study puts forward a phenomenological approach to hyperthymesia in the quest for a natural, healthy form of oblivion, or the ability to forget. Through existential analysis, it could be possible for the individual to recover the natural and necessary structure of Dasein. (shrink)

Philosophers are accustomed to thinking about human existence as finite and deathbound. Anne O'Byrne focuses instead on birth as a way to make sense of being alive. Building on the work of Heidegger, Dilthey, Arendt, and Nancy, O'Byrne discusses how the world becomes ours and how meaning emerges from our relations to generations past and to come. Themes such as creation, time, inheritance, birth and action, embodiment, biological determinism, and cloning anchor this sensitive and powerful analysis. O'Byrne's thinking (...) advances and deepens important discussions at the intersections of feminism, continental philosophy, philosophy of religion, and social and political thought. (shrink)

Locality is a key concept not only in linguistic theorizing, but in explaining pattern of acquisition and patterns of recovery in garden path sentences, as well. If syntax relates sound and meaning over an infinite domain, syntactic dependencies and operations must be restricted in such a way to apply over limited, finite domains in order to be detectable at all. The theory of what these finite domains are and how they relate to the fundamentally unbounded nature of syntax (...) is the theory of locality. The papers in this collection all deal with the concept of locality in syntactic theory, and, more specifically, describe and analyze the various contributions Luigi Rizzi has made to this area over the past three and a half decades. The authors are all eminent linguists in generative syntax who have collaborated with Rizzi closely, and in eleven chapters, they explore locality in both pure syntax and psycholinguistics. This collection is essential reading for students and scholars of linguistic theory, generative syntax, and comparative syntax. (shrink)

In this scholarly but non-technical book, Campbell elucidates the concept of truth by tracing its history, from the ancient Greek idea that truth is timeless, unchanging, and free from all relativism, through the seventeenth-century crisis which led to the collapse of that idea, and then on through the emergence of historical consciousness to the existentialist, sociological, and linguistic approaches of our own time. He gives a scholarly but vivid and economical exposition of the views of a remarkably wide range of (...) thinkers, always showing how their ideas engage with our contemporary concerns. He argues that current problems with truth arise from the way differing past conceptions continue to resound in our contemporary use of the word, and suggests that we must formulate a new conception of truth that is compatible with awareness that human existence is finite and contingent--with awareness of our own historicity. (shrink)

Building on Alfred Schütz’s work, this essay conceptually scrutinizes virtual worlds with an aim to clarify what is at stake with the virtualization of the late modern society. The diffusion of technological artifacts, devices of communication and the Internet in particular, have transformed the life-world of essentially everyone. In the past few years our everyday life, including its livelihoods, has seen a proliferation of activities within virtual worlds, such as games and virtual social networks. We can now live and (...) experience actively in different virtual realms, as compared to being mere passive receivers in the era of television and radio. This has direct implications for what is inherently relevant for people and, in consequence, we have to take such transformation into account also in conceptual terms. This article makes a major contribution to the conceptual understanding of phenomenological sociology that due to the virtualization, we can no more equate the paramount reality as the zone of primary relevance. The paramount reality as conceived as the sensorily perceivable, physical world of concrete objects is increasingly far from being equated to that part of the world within our reach which we can immediately observe and also at least partially dominate, that is, the zone of primary relevance. It is furthermore argued that the ongoing virtualization of societies urges us to conceive of virtual worlds as transforming the chief finite province of meaning, that of the world of working, instead of seeing virtual worlds merely as other sub-universes of reality. (shrink)

Spinoza ’s letter of June 2, 1674 to his friend Jarig Jelles addresses several distinct and important issues in Spinoza ’s philosophy. It explains briefly the core of Spinoza ’s disagreement with Hobbes’ political theory, develops his innovative understanding of numbers, and elaborates on Spinoza ’s refusal to describe God as one or single. Then, toward the end of the letter, Spinoza writes: With regard to the statement that figure is a negation and not anything positive, it is obvious that (...) matter in its totality, considered without limitation [indefinitè consideratam], can have no figure, and that figure applies only to finite and determinate bodies. For he who says that he apprehends a figure, thereby means to indicate simply this, that he apprehends a determinate thing and the manner of its determination. This determination therefore does not pertain to the thing in regard to its being [esse]; on the contrary, it is its non-being [non-esse]. So since figure is nothing but determination, and determination is negation [Quia ergo figura non aliud, quam determinatio, et determinatio negatio est], figure can be nothing other than negation, as has been said. Arguably, what is most notable about this letter is the fate of a single subordinate clause which appears in the last sentence of this passage: et determinatio negatio est. That clause was to be adopted by Hegel and transformed into the slogan of his own dialectical method: Omnis determinatio est negatio. Of further significance is the fact that, while Hegel does credit Spinoza with the discovery of this most fundamental insight, he believes Spinoza failed to appreciate the importance of his discovery. The issue of negation and the possibility of self-negation stand at the very center of the philosophical dialogue between the systems of Spinoza and Hegel, and in this paper I will attempt to provide a preliminary explication of this foundational debate between the two systems. In the first part of the paper I will argue that the “determination is negation” formula has been understood in at least three distinct senses among the German Idealists, and as a result many of the participants in the discussion of this formula were actually talking past each other. The clarification of the three distinct senses of the formula will lead, in the second part of the paper, to a more precise evaluation of the fundamental debate between Spinoza and Hegel regarding the possibility of self-negation. In this part I will evaluate the validity of each interpretation of the determination formula, and motivate the positions of the various participants in the debate. (shrink)

Some philosophers contend that the past must be finite in duration, because otherwise reaching the present would have involved the sequential occurrence of an actual infinity of events, which they regard as impossible. I recently developed a new objection to this finitist argument, to which Andrew Ter Ern Loke and Travis Dumsday have replied. Here I respond to the three main points raised in their replies.

This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous to Abusch’s (...) (1985) WOLL. I offer St’át’imcets-internal evidence (of a kind not previously adduced) that the WOLL-like operator is modal in nature. It follows from the analysis presented here that there are only two (probably related) differences between St’át’imcets and English in the area of tense. The first is that St’át’imcets lacks tense morphemes which are pronounced. The second is that the St’át’imcets tense morpheme is semantically underspecified compared to English ones. In each of these respects, the St’át’imcets tense morpheme displays similar properties to pronouns, which may be covert and which may fail to distinguish person, number or gender. Along the way, I point out several striking and subtle similarities in the interpretive possibilities of St’át’imcets and English. I suggest that these similarities may reveal non-accidental properties of tense systems in natural language. I conclude with discussion of the implications of the analysis for cross-linguistic variation, learnability and the possible existence of tenseless languages. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

In English, the present perfect, unlike future, past, and non-finite perfects, cannot be modified by so-called ‘positional’ adverbials (Comrie 1976, McCoard 1978, a.o.). This phenomenon is known as the present perfect puzzle (Klein 1992).

Quantum information is discussed as the universal substance of the world. It is interpreted as that generalization of classical information, which includes both finite and transfinite ordinal numbers. On the other hand, any wave function and thus any state of any quantum system is just one value of quantum information. Information and its generalization as quantum information are considered as quantities of elementary choices. Their units are correspondingly a bit and a qubit. The course of time is what generates (...) choices by itself, thus quantum information and any item in the world in final analysis. The course of time generates necessarily choices so: The future is absolutely unorderable in principle while the past is always well-ordered and thus unchangeable. The present as the mediation between them needs the well-ordered theorem equivalent to the axiom of choice. The latter guarantees the choice even among the elements of an infinite set, which is the case of quantum information. The concrete and abstract objects share information as their common base, which is quantum as to the formers and classical as to the latter. The general quantities of matter in physics, mass and energy can be considered as particular cases of quantum information. The link between choice and abstraction in set theory allows of “Hume’s principle” to be interpreted in terms of quantum mechanics as equivalence of “many” and “much” underlying quantum information. Quantum information as the universal substance of the world calls for the unity of physics and mathematics rather than that of the concrete and abstract objects and thus for a form of quantum neo-Pythagoreanism in final analysis. (shrink)

Summarizes Virilio's speculations about the impact that accidents will have on the planet now that we operate on one-world time. Based upon a 1996 conversation Paul Virilio had with French journalist Phillipe Petit, The Politics of the Very Worst summarizes Virilio's speculations about the impact that accidents will have on the planet now that we operate on one-world time. Virilio argues that accidents have now lost all particularity. Accidents and events can no longer be confined to markers in history like (...) Auschwitz or Hiroshima. Trajectories once had three dimensions: past, present, and future. But now, the hyper-concentration of time into "real time" reduces all trajectories to nothing. Consequently, an accident of time is bound to affect our entire being as well as the entire planet. And this is the hidden face of technical and scientific progress that Virilio is attempting to reveal, shrugging off any illusion we may have left about its alleged benefits.Globalization doesn't make the planet bigger, it signals the beginning of "the great confinement." Speed pollutes the distances of the world. After the "green ecology", we are now experiencing another, more invisible and mental, kind of pollution: the "gray ecology." Soon, Virilio suggests, we are going to experience the end of the world--not the apocalyptic end, but the world as finite. The communication revolution, the attainment of absolute speed, is the reduction of the world to a virtual city in which democracy is no longer possible. This extermination of world-space is a cataclysmic event. For the first time, history has hit a cosmological limit. (shrink)

This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems L i , i ∈ I, to form a new system L I . The methodology `fibres' the semantics K i of L i into a semantics for L I , and `weaves' the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we (...) distinguish by different names such as `fibring', `dovetailing' etc, yielding different systems, denoted by L F I , L D I etc. Once the logics are `weaved', further `interaction' axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics. The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property. Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20-30 years. We hope our methodology will help organise the field systematically. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Nonplaces:An Anecdoted Topography of Contemporary French TheoryBruno Bosteels (bio)In its juridical sense, a non-lieu is a judgment that suspends, annuls, or withdraws a case without bringing it to trial. It is thus a judgment that announces or enunciates that there will be no judgment as to guilt or innocence, a finding that there is no place to judge. It therefore renders justice by refusing to render it under the (...) law, which it does when it pronounces or enunciates the non-lieu.—Peggy Kamuf, "Béance"1Inside the Spatial TurnIf modernity will always be remembered as an era dominated by questions of time and history, then perhaps the steady waning of modern ideals invites us to think of the entry into something called the postmodern as a passage dominated by questions of space and geography. As Michel Foucault once famously observed in a 1967 conference paper, first published two decades ago: "Perhaps we might say that some of the ideological conflicts that animate today's polemics oppose the pious descendants of time and the willful inhabitants of space" ["Of Other Spaces" 22]. This conflict over time and space presupposes a much larger argument that is not only historical but also methodological in nature. What is at stake is both a question of the passage, or transition, from modernity to postmodernity, if that is indeed what we decide to name modernity's aftermath, and a question of the theoretical consequences that follow from giving precedence to space over time in treating this very transition. With regard to this second question, too, Foucault's work stands as exemplary insofar as he was able to show the degree to which a vital emphasis on space, geography, and territoriality [End Page 117] forces us to take leave of the modern paradigm of consciousness—typically associated with the category of time and its unfolding in the mind or spirit—in favor of a situated understanding of knowledge, subjectivity, and power. "Metaphorizing the transformations of discourse in a vocabulary of time necessarily leads to the utilisation of the model of individual consciousness with its intrinsic temporality," Foucault observes in an interview with the editors of the French journal of geography Hérodote, and he continues: "Endeavouring on the other hand to decipher discourse through the use of spatial, strategic metaphors enables one to grasp precisely the points at which discourses are transformed in, through and on the basis of relations of power" ["Questions on Geography" 69–70]. Whether real or metaphorical, a willful displacement of our categorial apparatus from time to space thus might enable one to avoid the idealist temptation inherent in a strictly discursive or textual model, by inscribing all discourses and practices in the geopolitics of power relations.My aim in the following pages is not to go over the much-discussed shift from time to space once more, even as I take advantage of several of its methodological principles along the way. Instead, I want to map out a momentous change of perspective that has been taking place over the past few decades within the parameters of the so-called spatial turn itself. In fact, if and when modernity is coming to an end, both in the sense of completing itself and of revealing its character as a finite historical entity, not only does whatever shape critical thought takes in the face of this turnabout need to be securely fastened onto specific places and spaces but, if we are to believe a growing number of authors, particularly but by no means exclusively in France, the study of art, literature, politics, philosophy, and even anthropology would also require a thorough consideration of so-called "nonplaces" as a rigorous category for critical thinking today [for a brief discussion of the use of "nonplace" in Anglo-American anthropology, including Melvin M. Webber's notion of "nonplace urban realm" from the mid-1960s, see Weiner]. In the end, these proponents of the nonplace confront us with one disarmingly simple question: how can critical thinking in the present time respond to the task of having to work through whatever lies outside of the order that is actually in place?The Exhaustion of... (shrink)

Throughout the twentieth century, critical art history often chose to ally itself with a restrictive brand of formalism. As a result, representation- and ideology-critical analyses regularly reduced the artwork to the bare bones (Hegel) of the material signifier in its social use. By contrast, in the texts assembled here, elements of a critical materialism are combined with an effort to reevaluate the meta-physical implications of modern abstraction and art since the 1960s. Taking Gilles Deleuze s readings of Spinoza, Nietzsche, and (...) Bergson as his starting point, the author delineates a topic in which the artwork s capacity for resistance is grounded in its relationship to an immanent infinity: the Spinozian substance, Nietzsche s Becoming, Bergson s duree. Against the backdrop of a critical rereading of Heidegger, this infinite dimension is interpreted in temporal and ontological terms as the vertical past of production, which can only be grasped in broken and technically encrypted form in the present shape and materiality of the artwork. Hence the notion of an aesthetics of production does not imply a nostalgia for the artisanal or for the artwork s singularity. The concept of production developed in this book aims at a realm that lies beyond finite representation but is still understood in materialist terms, and that threatens the circulation of positive, conceptually standardized knowledge. In case studies on Piet Mondrian, Marcel Duchamp, Thomas Hirschhorn, and Michael Asher and in framing essays on Kant and Nietzsche as well as Heidegger and Spinoza, this book articulates a concept of the artwork in the long modern era which takes account of the twentieth century s critique of metaphysics but without surrendering the truth claim of art and philosophy in favor of a culturalist and sociological relativism. ". (shrink)

Hypersequent calculus, developed by A. Avron, is one of the most interesting proof systems suitable for nonclassical logics. Although HC has rather simple form, it increases significantly the expressive power of standard sequent calculi. In particular, HC proved to be very useful in the field of proof theory of various nonclassical logics. It may seem surprising that it was not applied to temporal logics so far. In what follows, we discuss different approaches to formalization of logics of linear frames and (...) provide a cut-free HC formalization ofKt4.3, the minimal temporal logic of linear frames, and some of its extensions. The novelty of our approach is that hypersequents are defined not as finite sets but as finite lists of ordinary sequents. Such a solution allows both linearity of time flow, and symmetry of past and future, to be incorporated by means of six temporal rules. Extensions of the basic calculus with simple structural rules cover logics of serial and dense frames. Completeness is proved by Schütte/Hintikka-style argument using models built from saturated hypersequents. (shrink)

The aim of my dissertation is to investigate how universal concepts are formed according to the later medieval Franciscan theologian Peter Auriol (d. 1322). Specifically, in the dissertation I inquiry into the relation between Auriol's ontology - according to which only individuals, and not universals, have real, extra-mental existence - and his philosophical psychology, a study of how extra-mental particulars can give rise to universal concepts, according to Auriol's view. In the past academic year I refined the topic of (...) my PhD thesis in two ways : first, I have delineated the definitive table of content ; second, I have wrote down the results of my research. The thesis comprises two volumes. The second one contains a collation of Peter Auriol's,Reportatio II, d. 9, qq. 2 - 3. The text has been obtained by confronting two manuscripts, considered as the exemplars of the two main families that convey his Second Book of the Sentences: ms. Firenze, Biblioteca nazionale centrale, ms. conv. soppr. A.3.120 (Fb); (iii) il ms. Padova, Biblioteca Antoniana, ms. 161 scaff. IX (Pg). The first volume, instead, has been divided into five chapters: the first two offer a historical introduction, while the remaining three are dedicated to the study of Auriol's doctrine, starting from the analysis of the text proposed in the collation, then extending the investigation to all the documentary heritage available relating to the Franciscan master. The first chapter provides a survey of the main theories of the universals of the early fourteenth century, taking into account in particular the opinions of those thinkers who, like Duns Scotus, in addition to marking a philosophical era, have been significant for Auriol's developing of his theory of universals. These are: John Duns Scotus, Henry of Harclay, Walter Bulery and Hervaeus Natalis. In order to properly understand the philosophical proposal of the Doctor facundus, it is necessary to know how it fits into a debate that in the academic debate of the fourteenth century. The second chapter is mainly aimed at the identification of the sources of Rep. II, d. 9, qq. 2 - 3. In the quaestio secunda, Auriol deals with the foundation of the universals. In a.1, he discusses the opinion of multiwho he labels as 'platonic'. We tried, therefore, to detect the targets of his criticism. Burley, Wylton, Bacon, Duns Scotus have been identified as possible addresses. In a. 2 of the same question, Auriol analyzes the position of Duns Scotus on the common nature. It has been then hypothesized that the two articles - aa. 1-2 - has to be considered as a general presentation and specific case of it; as a thesis common to several forms of realism and the realism of one of its most important interpreters. The third chapter focuses Auriol's criticism of the different forms of realism reported in a. 1 and of Duns Scotus's theory, as it is found in a. 2. In both cases, Auriol reproaches the realists for breaking the unity of substance, into a multiplicity of formalitatesreally occurring in reand corresponding to the concepts of genus and difference. On the contrary, Auriol maintains that universal concepts have no unity in the extra-mental reality. Only individuals really exist and numerical unity the only fully existing unity. As a consequence, the unity of the universal concept is just similitudinaria,that is only given a concept. Successively, the criticisms that Auriol makes to the principle of individuation are considered. Generally speaking, everything that exists, insofar as it exists, is singular, according to him. It is a primitive fact and it is not, therefore, necessary to search for the causes of its individuation. Thus, mirroring the structure of the quaestio secunda, in q. 3, Auriol discusses, in the first place, Duns Scotus's position and secondly a group of theories, arisen during the scholastic debate between the end of the thirteenth and the beginning of the fourteenth century. Interestingly, to reconstruct this set of doctrines, Auriol follows almost literally the reconstruction that Scotus himself makes of the same theories in his Ordinatio. Now, relying on the assumption that everything that exists is individual, Auriol gives shape to the notions of individuality and singularity and their mutual difference. This is one of the hubs of the dissertation. According to Auriol, a singularity is an entity that does not admit the existence of other realities that can be considered as similar with it. In this sense, God is the only authentic singularity. Ordinary reality, on the other hand, is made up of individualities. An individuality is an entity that, being finite, does not exhaust in itself the totality of the species to which it belongs (as far as the species as such exists only in virtue of an act of the intellect), admits the existence of other realities conceivable as similar with it. Thus, inasmuch as reality is made up of individuals or individualities, the mind is able to form the corresponding universal concepts. Being finite, for Auriol, is the condition of the validity of universals. In this respect, the relation between the concept of individuality and that of singularity is taken into account. Subsequently, we analyze the function of the category of Quantity, as it is related to individuality. According to Auriol, Quantity has no individuating capacity. At most, in bodily substances, it functions as principle of distinction. Being, in fact, discrete realities, a material substance spatially ends where another one begins. The fourth chapter is a kind of juncture between the third one, in which the structure of the concrete individual is analyzed, and the fifth one, in which the cognitive side of the process of concept formation is discussed. What is discussed here are the rationes. According to Auriol, the rationesare the basic units that constitute the quiddity of each individual and serve to direct our thought to form certain concepts. Each concept is the concept of a ratio,indeed. In this respect, Auriol claims that, say, Socrates has the rationes substance, corporeality, sensitivity, rationality. Additionally, rationes of the same type occurring in different objects are "maximally similar" (simillimae). For example, the rationesof Socrates are utterly similar with those of Plato (Cf. Scriptum, d. 2, q. 1, a. 4). Therefore, although these rationes are non-universal characteristics - inasmuch as a ratio belongs to one and only one individual - due to their maximal similarity they do count as the extramental ground for our general concepts (Cf.II Sent., d. 9, q. 3, a. 1). According to these premises, Auriol can hold that different singulars can be mutually highly similar, without participating in the same common nature (Cf. II Sent., d. 9, q. 3, a. 3).At the same time, it is relevant to note these rationesdo not compromise the unity of an existing particular. Rather each ratiocoagulates into each other giving birth to the individual's ultimate ratio. This final ratiois an indivisible ratio (ratio atoma), which cannot be further specified or divided (II Sent., d. 9, q. 3). According to Auriol, then, the rationesqua rationesdo not exist in extra-mental reality. Rather, the exist as such only in virtue of an act of the intellect. This means that they have an ambiguous being. On the one hand, they indicate a nature that cannot be altered by the intellect. On the other, the need the mind's activity to exist as rationes. According to Auriol, therefore, the rationesare independent of any cognitive act, with regard to the content they express, while they depend on mind's activity with regard to their unity and their existence. Now, the opaqueness concerning the ontological consistency of rationesdirectly depends on Auriol's understanding of cognition. Chapter five mainly deals with the different stages of the process of formation of the universal concept. In this respect, the notion of impressiois what is firstly analyzed. The impressionescan be considered, for Auriol, as the rationesthat are 'deposited' in the intellect and constitute, in cooperation with the cognitive faculty, what the Franciscan theologian calls the actus intellectus. The intellectual act, according to Auriol, is an entity composed of the impressed similarity of the object and the intellectual power, in fact. Moreover, in his view, it is really identical to the intelligible species. Now, the identity that the Franciscan theologian establishes between these two noetic tools, which were traditionally considered as distinct, imposes a reinterpretation of the notion of species. Coinciding with the act, the species can no longer be considered as an entity juxtaposed to it, deputed to the activation of the cognitive process performed by the intellect. Indeed, all those theories of universal concepts that add other noetic tools to the act, be they a species, a quality, or something else, would necessarily compromise intellection, preventing it from having acquaintance with extra-mental reality. According to Auriol, considering intellectual cognition as a connotation allows us to avoid such inconveniences. According to this view, the intellectual cognition must be regarded as an activity that poses nothing but to allow something to appear to the cognizer. In this respect, the concept, for Auriol, is nothing but the real object qua appearingto the intellect, fully identical with the intellectual act in recto,while denominatively distinct in obliquo. In this perspective, the definition of intellection that the Franciscan theologian proposes is analyzed, trying, in particular, to determine the ontological status of the concept and its epistemological function. In conclusion, with this study we have tried to give an account of Auriol's philosophical attitude, of the scope of his theory of universals, focusing on the relationship between ontology and philosophical psychology. Using Auriol's texts and specifically the collation of Rep. II, d. 9, qq. 2 - 3, the answers to these questions were searched for in the words of the Franciscan theologian himself. The picture emerged is that of an autonomous, critical thinker, but perfectly inserted in the historical context in which he lives. A thinker who places himself, so to speak, halfway between Duns Scotus's realism and Ockham's nominalism, nevertheless succeeding, albeit with some opacity, in balancing an ontology in which the metaphysical priority is granted only to the individual and the universal concepts have a solid foundation and validity. (shrink)

Suppose that God exists: what difference would that make to the world? The answer depends on the nature of God and the nature of the world. In this book, William E. Mann argues in one new and sixteen previously published essays for a modern interpretation of a traditional conception of God as a simple, necessarily existing, personal being. Divine simplicity entails that God has no physical composition or temporal stages; that there is in God no distinction between essence and existence; (...) that there is no partitioning of God's mental life into beliefs, desires, and intentions. God is thus a spiritual, eternal being, dependent on nothing else, whose essence is to exist and whose mode of existence is identical with omniscience, omnipotence, and perfectly goodness. In metaphysical contrast, the world is a spatial matrix populated most conspicuously by finite physical objects whose careers proceed sequentially from past to present to future. Mann defends a view according to which the world was created out of nothing and is sustained in existence from moment to moment by God. The differences in metaphysical status between creator and creatures raise questions for which Mann suggests answers. How can God know contingent facts and necessary truths without depending on them? Why is it so easy to overlook God's presence? Why would self-sufficient God create anything? Wouldn't a perfect God create the best world possible? Can God be free? Can we be free if God's power is continuously necessary to sustain us in existence? If God does sustain us, is God an accomplice whenever we sin? Mann responds to the Euthyphro dilemma by arguing for a kind of divine command metaethical theory, whose normative content lays emphasis on love. Given the metaphysical differences between us, how can there be loving relationships between God and creatures? Mann responds by examining the notions of piety and hope. (shrink)