This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A (...) v B, to produce one of A and B which is true. In addition, there is superexponential lower bound on the size of terms which fulfill the existential property of intuitionistic predicate logic. There are superexponential upper bounds for these problems, so the lower bounds are essentially optimal. (shrink)

Quine’s most important charge against second-, and more generally, higher-order logic is that it carries massive existential commitments. The force of this charge does not depend upon Quine’s questionable assimilation of second-order logic to set theory. Even if we take second-order variables to range over properties, rather than sets, the charge remains in force, as long as properties are individuated purely extensionally. I argue that if we interpret them as ranging over properties more reasonably construed, in accordance with an (...) abundant or deflationary conception, Quine’s charge can be resisted. This interpretation need not be seen as precluding the use of model-theoretic semantics for second-order languages; but it will preclude the use of the standard semantics, along with the more general Henkin semantics, of which it is a special case. To that extent, the approach I recommend has revisionary implications which some may find unpalatable; it is, however, compatible with the quite different special case in which the second-order variables are taken to range over definable subsets of the first-order domain, and with respect to such a semantics, some important metalogical results obtainable under the standard semantics may still be obtained. In my final section, I discuss the relations between second-order logic, interpreted as I recommend, and a strong version of schematic ancestral logic promoted in recent work by Richard Heck. I argue that while there is an interpretation on which Heck’s logic can be contrasted with second-order logic as standardly interpreted, when it is so interpreted, its differences from the more modest form of second-order logic I advocate are much less substantial, and may be largely presentational. (shrink)

It is shown that two arguments given by Alvin Plantinga, which he offers to refute the existentialist thesis that propositions, states of affairs, and properties are ontologically dependent upon the objects they are directly about, are unsound. The existentialist position is then defended on the basis of both some intuitive considerations and a rigorous argument that does not presuppose any particular theory of the nature of propositions, states of affairs, and properties.

It is shown that two arguments given by Alvin Plantinga, which he offers to refute the existentialist thesis that propositions, states of affairs, and properties are ontologically dependent upon the objects they are directly about, are unsound. The existentialist position is then defended on the basis of both some intuitive considerations and a rigorous argument that does not presuppose any particular theory of the nature of propositions, states of affairs, and properties.

The paper is a contribution to the object ontology. The general approach assumed in the investigation is that of Roman Ingarden's The Controversy Over the Existence of the World where an object is the subject-of-properties. The analysis of the form and the mode of existence of properties leads to the rejection of both negative and general properties. Each property is an individual qualitative moment of a particular object. Its form reveals existential heteronomy: the quality of the property (...) is not immanent but refers to the object. The subject of properties has not its own qualitative content: its form is just the internal causality establishing the unity of an object. An object is not causally isolated from other objects, but external causation differs from internal either by being ramified in case of the composition and destruction of an object or reciprocal in case of interaction between coexisting objects. (shrink)

I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import (...) within expressively rich higher-order partial type logic. As regards the modal categorical statements, I find that so-called void properties bring existential import to them, so they are the only properties which invalidate subalternation, and thus also contrariety and subcontrariety, in the corresponding Square of Opposition. (shrink)

If we must take mathematical statements to be true, must we also believe in the existence of abstract eternal invisible mathematical objects accessible only by the power of pure thought? Jody Azzouni says no, and he claims that the way to escape such commitments is to accept true statements which are about objects that don't exist in any sense at all. Azzouni illustrates what the metaphysical landscape looks like once we avoid a militant Realism which forces our commitment to anything (...) that our theories quantify. Escaping metaphysical straitjackets, while retaining the insight that some truths are about objects that do exist, Azzouni says that we can sort scientifically-given objects into two categories: ones which exist, and to which we forge instrumental access in order to learn their properties, and ones which do not, that is, which are made up in exactly the same sense that fictional objects are. He offers as a case study a small portion of Newtonian physics, and one result of his classification of its ontological commitments, is that it does not commit us to absolute space and time. (shrink)

We construct a recursive ultrapower F/U such that F/U is a tame 1-model in the sense of [6, §3] and FU is existentially incomplete in the models of II2 arithmetic. This enables us to answer in the negative a question about closure with respect to recursive fibers of certain special semirings Γ of isols termed tame models by Barback. Erik Ellentuck had conjuctured that all such semirings enjoy the closure property in question. Our result is that while many do, (...) some do not. (shrink)

This paper offers a new semantic theory of existentials (sentences of the form There be NP pivot XP coda ) in which pivots are (second order) predicates and codas are modifiers. The theory retains the analysis of pivots as denoting generalized quantifiers (Barwise and Cooper 1981; Keenan 1987), but departs from previous analyses in analyzing codas as contextual modifiers on a par with temporal/locative frame adverbials. Existing analyses universally assume that pivots are arguments of some predicate, and that codas are (...) main or secondary predicates. It is shown that these analyses cannot account for the behavior of codas with quantifiers and for the interaction of multiple codas, both of which receive a simple treatment on the proposed theory. The assimilation of codas to frame adverbials explains several semantic properties which have not been analyzed in the semantic literature, and that distinguish existentials from their copular counterparts. Furthermore, it highlights important properties of the semantics of modification and its relation to predication. (shrink)

ellucci, C., Existential instantiation and normalization in sequent natural deduction, Annals of Pure and Applied Logic 58 111–148. A sequent conclusion natural deduction system is introduced in which classical logic is treated per se, not as a special case of intuitionistic logic. The system includes an existential instantiation rule and involves restrictions on the discharge rules. Contrary to the standard formula conclusion natural deduction systems for classical logic, its normal derivations satisfy both the subformula property and the (...) separation property and allow to establish a version of the midsequent theorem and Herbrand's theorem. (shrink)

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a group scheme action.

The study of existentially closed closure algebras begins with Lipparini’s 1982 paper. After presenting new nonelementary axioms for algebraically closed and existentially closed closure algebras and showing that these nonelementary classes are different, this paper shows that the classes of finitely generic and infinitely generic closure algebras are closed under finite products and bounded Boolean powers, extends part of Hausdorff’s theory of reducible sets to existentially closed closure algebras, and shows that finitely generic and infinitely generic closure algebras are elementarily (...) inequivalent. Special properties of algebraically closed, existentially closed, finitely generic, and infinitely generic closure algebras are established along the way. (shrink)

Presents a set-theoretic version of the analysis of "there be" as predicating instantiation of a property, a property-theoretic version of which was developed in McNally 1992. This paper provides a solution to the criticism that McNally 1992's analysis could not account for sentences in which postverbal nominal contains a monotone decreasing or nonmonotonic determiner.

Let Λ denote the semiring of isols. We characterize existential completeness for Nerode subsemirings of Λ, by means of a purely isol-theoretic “Σ1 separation property”. Our characterization is purely isol-theoretic in that it is formulated entirely in terms of the extensions to Λ of the Σ1 subsets of the natural numbers. Advantage is taken of a special kind of isol first conjectured to exist by Ellentuck and first proven to exist by Barback . In addition, we strengthen the (...) negative part of [13] by showing that existential completeness is not secured, for a given Nerode semiring, by either a certain “functional closure” property for the extensions of partial recursive functions or the property of “pulling in” some portion of each partial recursive fiber; these latter results are perhaps a little surprising. (shrink)

Love, Subjectivity, and Truth engages in a lively manner with the overlapping areas of philosophy and literature, philosophy of emotions, and existential thought. "Subjective truth," a phrase used in Proust's novel In Search of Lost Time, is rich with existential connotations. It invokes Kierkegaard above all, but significantly Nietzsche as well, and other philosophers who thematize love, subjectivity, and truth. In Search of Lost Time is especially concerned about what we can know about others through love. Insofar as (...) it conveys and analyzes experience, the novel is capable not only of exploring existential issues but also of doing something like phenomenology. What we know is shaped by our way of knowing, just as the properties of visible, colored objects are determined by the wavelengths of light our eyes can see. Nowhere does the subjective basis of our awareness appear so evident as it does when we view things through loving eyes. In Proust's novel we find skeptical views about love expressed again and again. However, we also note countercurrents, in which love is shown to provide a unique sort of insight. At those times, love seems to be a prerequisite of veridical apprehension. Love, Subjectivity, and Truth investigates this tension as it is played out in Proust's fiction. (shrink)

There are statements of the form “There are no Fs” that we would like to count as true, yet it is hard to see how they could be true. The relevant Fs are general terms that we take to be semantically fundamental or primitive, especially those native to metaphysical discourse. A case can be made the problem is no less difficult than the corresponding problem for singular terms.

A Boolean product construction is used to give examples of existentially closed algebras in the universal Horn class ISP generated by a universal classKof finitely subdirectly irreducible algebras such that Γa has the Fraser-Horn property. If ⟦a≠b⟧ ∩ ⟦c≠d⟧ = ∅ is definable inKandKhas a model companion ofK-simple algebras, then it is shown that ISP has a model companion. Conversely, a sufficient condition is given for ISP to have no model companion.

Purpose. The aim of this article is to analyse the essential features of religious faith as an existential-personalistic model of the formation of a person, his worldview orientations and activities. This requires a consistent solution of the following tasks: a) to focus on different approaches to understanding the phenomenon of "religious faith" ; b) to reveal the spiritual potential of religious faith, its capabilities in boundary situations. Theoretical basis. The author thinks that the interpretation of religious faith as confidence (...) in the invisible is unsatisfactory, one-sided and superficial. Religious faith is the existential, due to which a person overcomes the contradictions between finiteness and infinity. It is the construct of the human spirit, which makes its way into the transcendental realm. In this context, religious faith is a kind of criterion for the "growth" of the "human" in human, the criterion of his spirituality and humanity. Religious faith, being an integral part of human existence, gives it irrational dimensions, makes the possibility of impossible. The existential potential of religious faith serves as the "fulcrum" of a person, thanks to which he self-actualizes, self-fulfills and forms a certain worldview model. Originality. The author has proved that religious faith, which is the projective model of a person, turns out to be one of the possible ways to solve its existential problems, as it concerns not only the nature of the essential characteristics, the properties of the Divine itself but also the ultimate foundations of person in all the uniqueness and specificity of his being. Conclusions. Religious faith, acting as a factor in human activity, builds his value-worldview model of the world. Faith deals with the "ultimate" problems of human existence since it is of exceptional importance in solving life-meaning issues of human existence. The existential experience of the believer acquires the status of an event that opens up a field of new possibilities, a new spiritual experience. The accumulative effect of such experience forms the spiritual and value priorities of human existence, sets certain coordinates of his vital activity, due to which he self-determines, being in dialogue with the Absolute. Religious faith, unfolding as a permanent process of "search and finding" opens the "code" of transcendence, a new level of relations of the Human and Divine. (shrink)

Following Panaccio, 'John believes that p' is analysed as 'For some x such that x is true if and only if p, John believes x'. On this view the complement clause 'that p' acts as a restricted existential quantifier and it contributes a higher-order property.

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable in (...) existential theories in the process. (shrink)

This paper presents a generalization of the standard notions of left monotonicity (on the nominal argument of a determiner) and right monotonicity (on the VP argument of a determiner). Determiners such as “more than/at least as many as” or “fewer than/at most as many as”, which occur in so-called propositional comparison, are shown to be monotone with respect to two nominal arguments and two VP-arguments. In addition, it is argued that the standard Generalized Quantifier analysis of numerical determiners such as (...) “more than three/at least three” is a simplification which ignores the fundamental parallellism with the propositional comparatives. Furthermore, the symmetric monotonicity configurations of the existential “some” and “no” are shown to be straightforwardly related to those of numerical comparatives with the limit numeral zero, whereas the asymmetric configurations of universal “all” and “not all” involve the extra complicating mechanism of polarity reversal, which is related to Keenan's notion of co-intersectivity (as opposed to intersectivity). A second aim of the paper is to investigate some of the factors reducing the inferential potential of determiners. Different types of comparative determiners and their modification will be considered in detail. In addition, a systematic interaction will be revealed between the monotonicity properties of the determiners in propositional comparatives and the differ ent types of ellipsis in the “than”-complement. Different degrees of ellipsis are defined in terms of informational dependencies between the “than”-complement and the main clause. A general balancing mechanism is observed by virtue of which an increase in informational dependency is compensated by a reduction of the inferential potential of the comparative determiner. The structure of the paper is as follows. Part two deals with propositional comparison and introduces the two basic monotonicity configurations. Part three distinguishes three types of informational dependencies or ellipsis between the “than”-complement and the main clause. In Section 3.1 the “than”-complement only contains a VP constituent, whereas in Section 3.2. it only consists of a nominal constituent. Section 3.3 considers more complex instances of multiple dependencies. Section 3.4 then looks at the interaction of these three types with the modifier “proportionally”. Part four presents the two basic monotonicity configurations for numerical comparison, whereas part five deals with more complex numerical determiners. Bounding determiners, such as “between five and ten”, and other boolean combinations are discussed in Section 5.1, whereas Section 5.2 goes into approximative determiners involving modifiers such as “only” or “almost”. Section 5.3. is devoted to proportional determiners such as “more than two out of three”. Part six then considers the standard existential and universal quantifiers. Section 6.1 reformulates the standard Generalized Quantifier analysis in comparative terms, whereas Section 6.2 deals with exception determiners of the form “all but five”. (shrink)

In continuation of [JOH04, OH07], we prove that existentially closed CSA-groups have the independence property. This is done by showing that there exist words having the independence property relative to the class of torsion-free hyperbolic groups.

Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while completeness for syllogistic theory is proved by direct inspection of the valid syllogisms. Next, the valid syllogisms are decomposed in terms (...) of the rules they involve. The implementation uses Haskell [8], and is given in ‘literate programming’ style [9]. (shrink)

It was one of Brentano’s central ideas that all judgements are at bottom existential. In his Psychology from an Empirical Standpoint he tried to show how all traditionally acknowledged judgement forms could be reinterpreted as existential statements. Existential propositions, therefore, were a central concern for the whole Brentano School. Kazimierz Twardowski, who also accepted this program, introduced the problem of the existential reduction to his Polish students, but not all of them found this idea plausible. In (...) 1911 Stanisław Leśniewski published a paper under the title “A Contribution to the Analysis of Existential Propositions” where he criticised Brentano’s translation. According to Leśniewski the consequences of Brentano’s program would be absurd because according to Leśniewski all positive existential propositions are analytically true and all negative ones are contradictory. In his later works Leśniewski repudiated all his early writings (1911–1914) as philosophically immature and formally imprecise. “[…] I regret that they have appeared in print,” he writes, “and formally ‘repudiate’ them herewith […]”. But in spite of this severe assessment, these early papers are worth considering not only from a historical standpoint. As we will see, Leśniewski’s critique of Brentano is unsound, but it casts an interesting light on his understanding of certain basic metaphysical concepts. (shrink)

The Anxiety-Buffering Properties of Cultural and Subcultural Worldviews: Terror Management Processes among Juvenile Delinquents Terror management research indicates that people reminded of mortality strongly affirm values and standards consistent with their cultural worldview and distance themselves from values and standards inconsistent with it. However, limited research has addressed how individuals holding beliefs inconsistent with the dominant worldview cope with death-related anxiety. The present article aims to determine which worldview subcultural groups rely on when reminded of mortality: mainstream or subcultural? Juvenile (...) delinquents living in residential reformatories in Poland were invited to participate in a terror management study examining the anxiety-buffering strategies of individuals belonging to a group largely outside mainstream culture. Following reminders of mortality, juvenile delinquents increased support for values consistent with the mainstream cultural worldview and decreased support for values consistent with the subcultural worldview, as compared to control conditions. The present results suggest that when faced with existential threat, the subcultural worldview does not provide an adequate anxiety buffer, leading members of this subcultural group to display increased identification with mainstream cultural values. Additionally, participants' state anxiety following death reminders was mediated by mainstream cultural worldview defense. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families of (...) theories, among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

Classical first-order logic \ is commonly used to study logical connections between statements, that is sentences that in every context have an associated truth-value. Inquisitive first-order logic \ is a conservative extension of \ which captures not only connections between statements, but also between questions. In this paper we prove the disjunction and existence properties for \ relative to inquisitive disjunction Open image in new window and inquisitive existential quantifier \. Moreover we extend these results to several families of (...) theories, among which the one in the language of \. To this end, we initiate a model-theoretic approach to the study of \. In particular, we develop a toolkit of basic constructions in order to transform and combine models of \. (shrink)

In this paper I aim to defend a version of the view that ‘exist’ expresses primarily a property of individual objects, a property that each of them has. In the first section, I will distinguish the three main types of rival conceptions concerning the semantic status of ‘exist’ that will define the subsequent discussion. In the second section it will be shown that the best explanation of our overall use of ‘exist’ in natural language requires the treatment of (...) ‘exist’ as a predicate that can be applied to individual objects. The third section will be concerned with the problem of the semantic analysis of negative singular existential sentences that contain proper names. I will briefly defend a specific solution to this problem that makes use of a single-domain free logic. In the following sections, I will try to defend this view of existence in more detail. That is, I will deal with three different specific challenges that prima facie seem to speak against the proposed view and for some rival alternatives; and I will show how these challenges can be met. (shrink)

This book contains an original analysis of the existential there-sentence from a philosophical-linguistic perspective. At its core is the claim that there-sentences' form is distinct from that of ordinary subject–predicate sentences, and that this fundamental difference explains the construction's unusual grammatical and discourse properties.

_Purpose._ The purity of consciousness in European culture has practically been turned into an abstraction. Because of this, there are so many discrepancies in understanding its nature. For Heidegger, the question of the purity of human consciousness remains open. Our purpose is to study the purity of European consciousness in the work of M. Heidegger. _Theoretical basis._ We draw on the deep foundations of existential, phenomenological, hermeneutic, religious-philosophical and postmodern Western and Eastern thought. _Originality._ While the early Heidegger was (...) thinking under the sign of Dasein, he did not hear the nature of the "pure consciousness" of human. Nevertheless, temporality for him was such a fundamental property that it determined the depth of understanding not only of being, but also of human consciousness itself (like Dasein). In this context, we begin to understand that the depth of consciousness in the concept of early Heidegger can be associated with its temporality. In fact, towards the end of "Being and Time", Heidegger, thinking more and more about the understanding of time from the horizon of being, begins to form similar ideas about understanding itself, that is, about human consciousness, in the sense that consciousness itself arises from the horizon of time (and being). What, then, is pure human consciousness the pure time? Does not this mean that the original meaning of consciousness is in its directed temporalizing. This temporalizing of consciousness of human (as a thinking being), which arises from the future, is perceived in three modes and reveals the fundamental nature of the consciousness itself (thinking is a stream of consciousness and, in such a context, directed understanding). Paraphrasing Heidegger, we say that the ontological meaning of pure human consciousness is revealed as temporality. Already after writing _Being and Time_, Heidegger thinks about the origins of the European consciousness, its comprehending from the depths (originality) of the being of European culture. _Conclusions._ The early Heidegger seeks the purity of being and, at the same time, strives more and more to understand the essence of the purity of human thinking. All of Heidegger’s work is a consistent transition from human understanding of the purity of being (Dasein) to the purity of thinking of a human himself. In this sense, there is a transformation of M. Heidegger’s consciousness from fundamental ontology (Dasein) in the early period to existential anthropology (human consciousness) in the late period. (shrink)

Since Sun-Joo Shin's groundbreaking study (2002), Peirce's existential graphs have attracted much attention as a way of writing logic that seems profoundly different from our usual logical calculi. In particular, Shin argued that existential graphs enjoy a distinctive property that marks them out as "diagrammatic": they are "multiply readable," in the sense that there are several di erent, equally legitimate ways to translate one and the same graph into a standard logical language. Stenning (2000) and Bellucci and (...) Pietarinen (2016) have retorted that similar phenomena of multiple readability can arise for sentential notations as well. Focusing on the simplest kinds of existential graphs, called alpha graphs (AGs), this paper argues that multiple readability does point to important features of AGs, but that both Shin and her critics have misdiagnosed its source. As a preliminary, and because the existing literature often glosses over such issues, we show that despite their non-linearity, AGs are uniquely parsable and allow for inductive de nitions. Extending earlier discussions, we then show that that in principle, all propositional calculi are multiply readable, just like AGs: contrary to what has been suggested in the literature, multiple readability is linked neither to non-linearity nor to AGs' dearth of connectives. However, we argue that in practice, AGs are more amenable to multiple readability than our usual notations, because the patterns that one needs to recognize to multiply translate an AG form what we call complex symbols, whose structural properties make it easy to perceive and process them as units. Nevertheless, we show that such complex symbols, though largely absent from our usual notations, are not inherently diagrammatic and can be found in seemingly sentential languages. Hence, while ultimately vindicating Shin's idea of multiple readability, our analysis traces it to a di erent source and thus severs its link with diagrammaticity. (shrink)

Some recent work by philosophers of mathematics has been aimed at showing that our knowledge of the existence of at least some mathematical objects and/or sets can be epistemically grounded by appealing to perceptual experience. The sensory capacity that they refer to in doing so is the ability to perceive numbers, mathematical properties and/or sets. The chief defense of this view as it applies to the perception of sets is found in Penelope Maddy’s Realism in Mathematics, but a number of (...) other philosophers have made similar, if more simple, appeals of this sort. For example, Jaegwon Kim (1981, 1982), John Bigelow (1988, 1990), and John Bigelow and Robert Pargetter (1990) have all defended such views. The main critical issue that will be raised here concerns the coherence of the notions of set perception and mathematical perception, and whether appeals to such perceptual faculties can really provide any justification for or explanation of belief in the existence of sets, mathematical properties and/or numbers. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: (...) i=1,2} is an elementary class if and only if T has the definable multiplicity property. (shrink)

A method for constructing Boolean-valued models of some fragments of arithmetic was developed in Krajíček (Forcing with Random Variables and Proof Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011), with the intended applications in bounded arithmetic and proof complexity. Such a model is formed by a family of random variables defined on a pseudo-finite sample space. We show that under a fairly natural condition on the family [called compactness in Krajíček (Forcing with Random Variables and Proof (...) Complexity, London Mathematical Society Lecture Notes Series, Cambridge University Press, Cambridge, 2011)] the resulting structure has a property that is naturally interpreted as saturation for existential types. We also give an example showing that this cannot be extended to universal types. (shrink)

The God of the Biblical and patristic tradition, though perhaps incomplete, possesses properties including those that involve genidentity or C-connections with us. Thus God's existence is at least possible. Using a modified version of Parson's elaboration of Meinong's theory of objects, we find that God exists if we do. But we also find that much else exists if we do; rather too much for confident belief.

The God of the Biblical and patristic tradition, though perhaps incomplete, possesses properties including those that involve genidentity or C-connections with us. Thus God's existence is at least possible. Using a modified version of Parson's elaboration of Meinong's theory of objects, we find that God exists if we do. But we also find that much else exists if we do; rather too much for confident belief.

The God of the Biblical and patristic tradition, though perhaps incomplete, possesses properties including those that involve genidentity or C-connections with us. Thus God's existence is at least possible. Using a modified version of Parson's elaboration of Meinong's theory of objects, we find that God exists if we do. But we also find that much else exists if we do; rather too much for confident belief.

This paper discusses the semantics of bare existentials , i.e. existentials in which nothing follows the post copular NP (e.g. There are four sections ). While it has sometimes been recognized that the interpretation of such sentences depends in some way on context, the exact nature of the context dependence involved has not been properly understood. It is shown that the meaning of bare existentials involves a set-denoting implicit argument, and that the range of interpretations found with bare existentials is (...) predictable from the general properties of implicit arguments. An explicit analysis within a dynamic setting is presented. (shrink)

A celebrated result by Davis, Putnam, Robinson, and Matiyasevich shows that a set of integers is listable if and only if it is positive existentially definable in the language of arithmetic. We investigate analogues of this result over structures endowed with a listable presentation. When such an analogue holds, the structure is said to have the DPRM property. We prove several results addressing foundational aspects around this problem, such as uniqueness of the listable presentation, transference of the DPRM (...) class='Hi'>property under interpretation, and its relation with positive existential bi-interpretability. A first application of our results is the rigorous proof of (strong versions of) several folklore facts regarding transference of the DPRM property. Another application of the theory we develop is that it will allow us to link various Diophantine conjectures to the question of whether the DPRM property holds for global fields. This last topic includes a study of the number of existential quantifiers needed to define a Diophantine set. (shrink)

First published in 1997, this book addresses the question: What is the interpretation of English there-existential construction? One of the principal goals is to develop an interpretation for the construction that will specifically address other properties of the postcopular DP. After outlining the problem, the author goes on to present a syntactic motivation for the claim that the postcopular DP is the sole complement to the existential predicate, as well as for the claim that the optional final phrase (...) is a predictive adjunct. In chapter 3 the interpretation for the basic existential construction is developed and then compared to analyses that take the postcopular DP to denote an ordinary individual or a generalised quantifier of individuals. This analysis is then augmented to account for the contribution of the final XP and shows how the predicate restriction can be derived from a more general condition on depictive/circumstantial VP-adjuncts. The final chapter contain some speculative discussion of the broader implications of the proposal in the context of data such as "list" existential and "presentational-there" sentences. (shrink)

This article explores the strategies available for defending Aquinas’s view of existence in the context of contemporary analytic philosophy. The rival view of existence prevalent among contemporary analytic philosophers is subject to serious objections. At the same time, the main contemporary analytic objections to Aquinas’s view can be adequately answered. The widespread use of “exist(s)” to ascribe existence to individuals and objects provides good reason to think that such use makes sense, and analogies like those of Aquinas can help to (...) illustrate the commonsense meaning of “exist(s)” to those who doubt it. The truth of Aquinas’s view of existence as a real property of individuals or objects can be defended at least in principle by appealing to its descriptive and explanatory usefulness. In addition to Aquinas’s own uses of it, there are a number of areas in contemporary analytic metaphysics where his view of existence could likely be of use, such as contemporary essentialism, substance-attribute ontology, and the revival of ontological pluralism. (shrink)

We investigate a SAT-based bounded model checking method for EMTLK that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic, and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.

In this paper, I will reconstruct Hume's argument for the ontological (in the sense of rigid existential) independence of simple properties in A Treatise of Human Nature , Book 1 (1739). According to my reconstruction, the main premises of the argument are the real distinctness of every perception of a simple property, Hume's Separability Principle and his Conceivability Principle. In my view, Hume grounds the real distinctness of every perception of a simple property in his atomistic theory (...) of sense perception and his Copy Principle. I will also show why Hume's argument should be seen as relevant nowadays. David Lewis and his followers in metaphysics continue Hume's line of thinking in this respect, which is opposed by power ontologists (Brian Ellis, Stephen Mumford), for example. (shrink)

Moral violation often takes the form of material harm, which might lead us to suppose that it consists essentially in the harm done. And yet we might suffer the same harm through nature or accident without feeling morally offended. If a hurricane destroys my property, I suffer harm but no offense. If another person deliberately damages my property, I am offended. But why? Wherein lies the difference? My essay employs Arthur Schopenhauer’s ethic of egoism and Paul Tillich’s theology (...) of love to explore the ontological basis of moral offense. I argue that moral offense has its roots, not in a concern for material well-being, but in a fundamental drive for Unity, unity with others and with our own ontological ground. This drive is both conditioned by, and frustrated by, our ontological separateness as individual beings. (shrink)

We examine how prior mental health predicts hopes and how hopes predict subsequent mental health, testing hypotheses in a longitudinal study with an Australian nation-wide adult sample regarding mental health consequences of the COVID-19 outbreak during its initial stage. Quota sampling was used to select a sample representative of the adult Australian population in terms of age groups, gender, and geographical location. Mental health measures were selected to include those with the best psychometric properties. Hypotheses were tested using generalized linear (...) models with random intercepts, with the type of GLM determined by the nature of the dependent variable. Greater anxiety, depression, distress, and loneliness predict less hope, but impaired quality of life and stress positively predict hopes of gaining new skills. Distress and loneliness predict hopes for social connectedness and an improved society, suggesting that predictors of hope depend on what is hoped for. These findings suggest the need for more nuanced theories of hope. Greater hopes for societal improvement predict lower anxiety, depression, distress, and impaired quality of life, but greater hopes for skills and better mental health predict higher levels of these covariates. Moreover, when relevant prior psychological states are more intense, the impact of hope state declines. These findings indicate that the consequences of hope are heterogeneous, and suggest a possible explanation for the seemingly inconsistent therapeutic effectiveness of raising hope. (shrink)

Leibniz believed in a God that has the power to create beings and whose existence could be a priori demonstrated. Kant objected that similar demonstrations all presuppose the false claim that existence is a real property. Russell added that if existence were a real property Leibniz should have concluded that God does not actually have the power to create anything at all. First, I show that Leibniz’ conception of existence is incompatible with the one that Russell presupposes. Subsequently, (...) I argue that on Leibniz’ conception of existence Russell’s objection is immediately undermined. (shrink)

Resumo: o propósito desse artigo é circunscrever e discutir a autocrítica, feita por Wittgenstein no período de 1933-39, a uma das teses mais fundamentais do Tractatus (TLP): ”Há uma e apenas uma análise completa da proposição” (3.25). Chamaremos esse procedimento peculiar de a “Grande análise”. Os argumentos de Wittgenstein contra a sustentabilidade da sua antiga tese podem ser encontrados em algumas passagens do livro Investigações Filosóficas (IF), bem como em passagens do Grande Datiloscrito (BT). Conforme será argumentado nesse artigo, essa (...) autocrítica é uma consequência direta da preocupação de Wittgenstein, no período intermediário, com duas importantes propostas feitas por Frege nos §§18-24 do Os Fundamentos da Aritmética (FA) em relação o seu entendimento da noção de “atribuição numérica”. Nosso objetivo principal será mostrar de que maneira o movimento de autocrítica feito por Wittgenstein em relação a sua antiga concepção de “Grande Análise” teria sido influenciado por suas preocupações, no período intermediário de sua obra, com essas duas propostas feita por Frege no FA a respeito da noção de “atribuição numérica”. A fim de completar tal tarefa, será apresentada inicialmente de modo breve uma versão de como seria a “Grande análise” no TLP. Em seguida, selecionaremos e discutiremos algumas passagens do IF nas quais Wittgenstein recusa a completude e unicidade envolvida em sua prévia concepção tratariana de “análise”. Procuraremos destacar com clareza uma noção que estaria envolvida de um modo essencial na autocrítica de Wittgenstein: a noção de “ver como/ver aspectos”. Como será argumentado, essa noção, assim como a autocrítica feita por Wittgenstein, foram ambas diretamente influenciadas pela noção fregiana de “atribuição numérica”. Para completar essa segunda tarefa, teremos de revisitar e discutir algumas noções pertencentes ao período inicial da filosofia de Wittgenstein -- como a de “propriedades internas e externas” e a distinção entre “dizer e mostrar” -- ambas noções discutidas no TLP. No decorrer de nossa discussão, apresentaremos uma crítica feita por Wittgenstein a Russell, mas também a Frege, sobre a concepção de generalidade, ou mais especificamente, sobre o uso do quantificador existencial, proposta por ambos. Abstract: The purpose of this article is to discuss Wittgenstein 1933-39 self-criticism of one of the most fundamental tractarian theses: There is one and only one complete analysis of the proposition (3.25). Wittgenstein's arguments against his previous thesis can be found in some passages of the Philosophical Investigation (PI) as well as in the Big Typescript (BT). As we shall argue, Wittgenstein's self-critique is directly related to two important ideas proposed by Frege in §§18-24 of The Foundations Arithmetic (FA) with respect to his construal of “number attributions”. Our main goal in this paper will therefore be to show how Wittgenstein's self-criticism of his old conception of the tractarian “analysis” would have been influenced by his concerns in the middle period of his work with these two proposals made by Frege in FA regarding the notion of “numerical attribution”. Our first task will then be to connect Wittgenstein's self-criticisms to his former conception of “analysis” in the Tractatus Logico-Philosophicus (TLP). To accomplish this first goal, we will have to briefly present a version of how such analysis would look like in TLP. Our next task will be to pinpoint some passages of the PI in which Wittgenstein rejects the completeness and uniqueness involved in his previous construal of the analytical process. We will try to circumscribe clearly a crucial notion involved in Wittgenstein's self-critique: the idea of “seeing as/seeing aspects”. Our claim is that this notion, as well as Wittgenstein's self-criticism, were both directly influenced by Frege's construal of the “number attribution” presented in FA. To accomplish this second task, we will have to revisit and discuss some further concepts from an early period of Wittgenstein's philosophy, like “internal and internal properties” and the “saying/showing distinction” in TLP. On our way towards accomplishing this goal, we will present a curious complaint by Wittgenstein regarding Russell's, as well as Frege's conception of generality, or more specifically, on the usage of the existential quantifier suggested by both these authors. (shrink)