The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance is (...) not an ontological doctrine; (iv) quantifier variance is not compatible with charitable translation and as such is internally inconsistent. In light of these troubles, we recommend the dissolution of quantifier variance and suggest that the view be laid to rest. (shrink)

The goal of this paper is to show that the information carried by a structural representation can be decomposed into the information carried by its component parts. In particular, the relations between the components of a structural representation carry quantifiable information about the relations between components of their signifieds. It follows that the information carried by cognitive structural representations, including cognitive maps, can in principle be quantified and decomposed. This is perhaps surprising given that the formal tools of communication theory (...) have typically only been applied to simpler representation-like states without significant structure, such as detectors or indicators. In the final section I consider using computational complexity theory to capture the processing advantages afforded by structural representation. (shrink)

Quantifier variance is a well-known view in contemporary metaontology, but it remains very widely misunderstood by critics. Here we briefly and clearly explain the metasemantics of quantifier variance and distinguish between modest and strong forms of variance (Section I), explain some key applications (Section II), clear up some misunderstandings and address objections (Section III), and point the way toward future directions of quantifier-variance-related research (Section IV).

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...) the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

The thesis of quantifier variance is consistent and cannot be refuted via a collapse argument.

This paper asks: Is the quantifier variantist committed to metaphysical vagueness? My investigation of this question goes via a study of vague existence. I’ll argue that the quantifier variantist is committed to vague existence and that the vague existence posited by the variantist requires a puzzling sort of metaphysical vagueness. Specifically, I distinguish between (what I call) positive and negative metaphysical vagueness. Positive metaphysical vagueness is (roughly) the claim that there is vagueness in the world; negative metaphysical vagueness (...) is (roughly) the claim that there is vagueness that is not in our language or thought. I’ll argue that the quantifier variantist’s commitment to vague existence comes with positive metaphysical vagueness -- even if it doesn't require negative metaphysical vagueness. (shrink)

The lack of gender parity in philosophy has garnered serious attention recently. Previous empirical work that aims to quantify what has come to be called “the gender gap” in philosophy focuses mainly on the absence of women in philosophy faculty and graduate programs. Our study looks at gender representation in philosophy among undergraduate students, undergraduate majors, graduate students, and faculty. Our findings are consistent with what other studies have found about women faculty in philosophy, but we were able to add (...) two pieces of new information. First, the biggest drop in the proportion of women in philosophy occurs between students enrolled in introductory philosophy classes and philosophy majors. Second, this drop is mitigated by the presence of more women philosophy faculty. (shrink)

Attempting to deflate ontological debates, the proponent of Quantifier Variance (QV) claims that there are multiple quantifier meanings of equal metaphysical merit. According to Hirsch—the main proponent of QV—metaphysical merit should be understood intensionally: two languages have equal merit if they allow us to express the same possibilities. I examine the notion of metaphysical merit and its purported link to intensionality. That link, I argue, should not be supported by adopting an intensional theory of semantic content. Rather, I (...) give a general strategy for supporting claims about metaphysical merit and examine whether that strategy can be used to link merit and intensionality. Though I don’t deliver a definitive verdict, the discussion provides a clearer framework for articulating and evaluating claims about metaphysical merit. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, (...) and temporal ontology. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

We provide an overview of the meta-ontological position known as "Quantifier Variance".

The Generalized Quantifiers Theory, I will argue, in the second half of last Century has led to an important rapprochement, relevant both in logic and in linguistics, between logical quantification theories and the semantic analysis of quantification in natural languages. In this paper I concisely illustrate the formal aspects and the theoretical implications of this rapprochement.

This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a polysemic (...) term and is often treated as both subject and predicate. This will make it clear that there is no plausible intellectual justification for believing that the term “God” can only be used as a name and never as a predicate, and vice versa. After that analysis, I will show that the conjunction of the “Trinity Dogma” with some type of “monotheistic position” would necessarily imply some class of absurdity and/or semantic “oddity”. (shrink)

Formal semantic analyses often take words to be minimal building blocks for the purposes of compositionality. But various recent theories of morphology and syntax have converged on the view that there is no demarcation line corresponding to the word level. The same conclusion has emerged from the compositional semantics of superlatives. In the spirit of extending compositionality below the word level, this paper explores how a small set of particles (Japanese KA and MO, Chinese DOU, and Hungarian VALA/VAGY, MIND, and (...) IS) form quantifier words and serve as connectives, additive and scalar particles, question markers, and existential verbs. The main question is whether the meanings of these particles across the varied environments are highly regular, or they are lexicalized with a variety of different meanings that bear a family resemblance. This paper does not reach definitive conclusions, but it raises analytical possibilities using Boolean semantics and the semantics of alternatives. It also draws attention to systematic similarities and some differences between MO and DOU that have not been studied in the literature. (shrink)

Generic statements (‘Tigers have stripes’) are pervasive and developmentally early-emerging modes of generalization with a distinctive linguistic profile. Previous experimental work suggests that generics display a unique asymmetry between the prevalence levels required to accept them and the prevalence levels typically implied by their use. This asymmetry effect is thought to have serious social consequences: if speakers use socially problematic generics based on prevalence levels that are systematically lower than what is typically inferred by their recipients, then using generics will (...) likely exacerbate social stereotypes and biases. This paper presents evidence against the popular hypothesis that this asymmetry effect is unique to generics. Correcting for various shortcomings of previous studies, we found a generalized asymmetry effect across generics and various kinds of explicitly quantified statements (‘most’, ‘some’, ‘typically’, ‘usually’). In addition, to better understand the conditions under which generalized asymmetry effects may exacerbate biases, we examine whether speakers choose generalizing sentences based simply on their acceptance conditions, or are systematically sensitive to the implications likely drawn by their typical recipients. In support of the latter view, we found that, in neutral or cooperative scenarios, speakers reliably choose generalizing sentences whose implied prevalence levels closely match the actual ones. In non-cooperative scenarios, speakers exploit asymmetry effects to further their own goals by choosing generalizing sentences that are strictly true but likely to mislead their recipients. These results refine our understanding of the source of asymmetry effects and the conditions under which they may introduce biased beliefs into social networks. (shrink)

The knowing subject does not think nature, he is thought of nature and of himself, not of a world which would be other to him but of a world of which he is the meaning. This meaning emerges by separation of his own individuation into participating singularities. Then the question, on the epistemic level, is how the fundamental concepts of mathematics and physics emerge, including the One, the quantified, the continuous, the more and the less etc.. what relationship is there (...) between the (objectified) meaning of these concepts and their real nature in the subject? (shrink)

In many languages, the same particles that form quantifier words also serve as connectives, additive and scalar particles, question markers, roots of existential verbs, and so on. Do these have a unified semantics, or do they merely bear a family resemblance? Are they aided by silent operators in their varied roles―if yes, what operators? I dub the particles “quantifier particles” and refer to them generically with capitalized versions of the Japanese morphemes. I argue that both MO and KA (...) can be assigned a stable semantics across their various roles. The specific analysis I offer is motivated by the fact that MO and KA often combine with just one argument; I propose that this is their characteristic behavior. Their role is to impose semantic requirements that are satisfied when the immediately larger context is interpreted as the meet/join of their host’s semantic contribution with something else. They do not perform meet/join themselves. The obligatory vs. optional appearance of the particles depends on whether the meet/join interpretations arise by default in the given constellation. I explicate the proposal using the toolkit of basic Inquisitive Semantics. (shrink)

The aim of the paper is to bring clarity regarding the doctrine of quantifier variance (due to Eli Hirsch), and two prominent arguments against this doctrine, the collapse argument and the Eklund-Hawthorne argument. Different versions of the doctrine of quantifier variance are distinguished, and it is shown that the effectiveness of the arguments against it depends on what version of the doctrine is at issue. The metaontological significance of the different versions of the doctrine are also assessed. Roughly, (...) quantifier variance concerns there being different possible existential quantifier meanings, and often the doctrine involves a claim to the effect there is no unique “best” quantifier meaning. Much of the discussion in the paper concerns what it is to be an existential quantifier meaning in the sense at issue. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Contrary to the great bulk of philosophical work on vagueness, the core of vagueness is not to be found in vague monadic predicates such as ‘bald’, ‘tall’, or ‘old’. The true source of vagueness – at least vagueness of the type that typically appears in the sorites – lies beneath these, in a mechanism using a buried quantifier operative over the comparatives ‘balder’, ‘taller’ and ‘older’.

The opinion defended in this paper is that the interrelationships between the phenomena of data and information can provide a strong basis for analyzing knowledge as a quantified and qualified construction. As other models (e.g., Augusto’s General Theory of Knowledge) suggest, it is important to distinguish knowledge from both data and information in the complicated trio composed of data, information, and knowledge (DIK). However, data and information can be combined into informative data. Taking into account quantified and qualified informative data, (...) I speak here of quantified and qualified knowledge structures. (shrink)

The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...) modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration. (shrink)

When do we judge that someone was forced to do what they did? One relatively well-established finding is that subjects tend to judge that agents were not forced to do actions when those actions violate norms. A surprising discovery of Young & Phillips 2011 is that this effect seems to disappear when we frame the relevant ‘force’-claim in the active rather than passive voice ('X forced Y to φ ' vs. 'Y was forced to φ by X'). Young and Phillips (...) found a similar contrast when the scenario itself shifts attention from Y (the forcee) to X (the forcer). We propose that these effects can be (at least partly) explained by way of the role of attention in the setting of quantifier domains which in turn play a role in the evaluation of ‘force’- claims. We argue for this hypothesis by way of an experiment which shows that sequences of active vs. passive ‘force’-claims display the characteristic “stickiness” of quantifier domain expansion, using a paradigm which we argue provides a useful general paradigm for testing quantifier domain hypotheses. Finally, we sketch a semantics for ‘force’ which we argue is suitable for capturing these effects. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

This study examines social media's quantitative effect on juvenile criminality. The researcher intends to quantify how social media usage affects juvenile delinquency. The research will examine mediating elements, including peer influence, self-esteem, and antisocial content. This study may educate parents, educators, politicians, and mental health experts on adolescent social media usage hazards. This study aims to establish evidence-based social media mitigation and youth development solutions. This research employed quantitative methodologies. The target population for this study will be two hundred (200) (...) criminology students of Headstart College of Cotabato. Participants will be selected using a time-efficient random selection strategy. The findings of a power analysis will be used to calculate the sample size needed to achieve the desired level of statistical significance. The researcher will administer the survey questionnaire face-to-face after proper coordination with the College head. Respondents had enough time to complete the survey questions. The researcher and respondents will complete the questionnaire in their own time to gather and retrieve data: data quantification, categorization, and statistical description. Weighted mean and correlation were utilized to assess the association between social media use and teenage delinquency and behavior. The researcher carried out all methods using SPSS Application Guide as statistical software. The study revealed that excessive social media use is associated with negative outcomes such as mental health issues, decreased social interactions, and potential impacts on academic performance. Additionally, the level of parental monitoring and communication regarding social media usage was varied, and family conflict related to social media use was evident to some extent. There needs to be more research done to determine the mechanisms that link adolescent social media usage and behavior. Longitudinal studies may help explain what happens and why, as well as suggest any necessary countermeasures. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the substitutivity of (...) identicals into modal contexts. (shrink)

Our main goal is to investigate whether the infinitary rules for the quantifiers endorsed by Elia Zardini in a recent paper are plausible. First, we will argue that they are problematic in several ways, especially due to their infinitary features. Secondly, we will show that even if these worries are somehow dealt with, there is another serious issue with them. They produce a truth-theoretic paradox that does not involve the structural rules of contraction.

This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from the attempts that have been made so far to provide a formal apparatus for such a view in terms of some expressly modified version of branching time semantics. The system on which it is based is the simplest quantified modal logic.

Generic statements (‘Tigers have stripes’) are pervasive and early-emerging modes of generalization with a distinctive linguistic profile. Previous experimental work found that generics display a unique asymmetry between their acceptance conditions and the implications that are typically drawn from them. This paper presents evidence against the hypothesis that only generics display an asymmetry. Correcting for limitations of previous designs, we found a generalized asymmetry effect across generics, various kinds of explicitly quantified statements (‘most’, ‘some’, ‘typically’, ‘usually’), and variations in types (...) of predicated properties (striking vs. neutral). We discuss implications of these results for our understanding of the source of asymmetry effects and whether and in which ways these effects might introduce biased beliefs into social networks. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

Philosophia (Israel), 16(3-4), 333 - 344. YEAR: 1986 Extensive corrigenda Vol. 17, no. 3. -/- SUBJECT(S): Quine's second thoughts on quantifying in, appearing in the second, revised edition of _From a Logical Point of View_ of 1961, are shown to be incorrect. His original thoughts were correct. ABSTRACT: Additional tumult is supplied to pp. 152-154 of _From A Logical Point of View_, showing that being dated is no guarantee of being right. Among other things, it is shown that Quine's argument (...) to the conclusion that limiting the universe of discourse to intensional entities does not "relieve the original difficulty over quantifying into modal contexts" is incorrect; that the contradictory of that conclusion is in fact true; and that an even stronger conclusion is true, with 'abstract' replacing 'intensional'. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of (...) the existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (shrink)

Mereological universalists and nihilists disagree on the conditions for composition. In this paper, we show how this debate is a function of one’s chosen semantics for plural quantifiers. Debating mereologists have failed to appreciate this point because of the complexity of the debate and extraneous theoretical commitments. We eliminate this by framing the debate between universalists and nihilists in a formal model where these two theses about composition are contradictory. The examination of the two theories in the model brings clarity (...) to a debate in which opponents frequently talk past one another. With the two views stated precisely, our investigation reveals the dependence of the mereologists’ ontological commitments on the semantics of plural quantifiers. Though we discuss the debate with respect to a simplified and idealized model, the insights provided will make more complex debates on composition more productive and deflationist criticisms of the debate less substantial. (shrink)

We present a set-theoretic model of the mental representation of classically quantified sentences (All P are Q, Some P are Q, Some P are not Q, and No P are Q). We take inclusion, exclusion, and their negations to be primitive concepts. It is shown that, although these sentences are known to have a diagrammatic expression (in the form of the Gergonne circles) which constitute a semantic representation, these concepts can also be expressed syntactically in the form of algebraic formulas. (...) It is hypothesized that the quantified sentences have an abstract underlying representation common to the formulas and their associated sets of diagrams (models). Nine predictions are derived (three semantic, two pragmatic, and four mixed) regarding people's assessment of how well each of the five diagrams expresses the meaning of each of the quantified sentences. The results from three experiments, using Gergonne's circles or an adaptation of Leibniz lines as external representations, are reported and shown to support the predictions. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

Most analytic philosophers believe that the existential quantifier, ∃, has ontological import. Mario Bunge was one of the first thinkers to challenge this view. He traces a distinction between the quantifier ∃ and a first-order existence predicate. Furthermore, he acknowledges two kinds of existence: real and conceptual. One of the reasons for accepting Bunge’s proposal is that it can do justice to statements about fictional entities, which is something that rival proposals do not seem to be capable of (...) doing. Additionally, I will also discuss the issue of the ontological argument, and the problem of material constitution. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. Everyone (...) also agrees that there are CT-formulas that can express the QMLcontent that gets lost through the translation. The problem is how we arrive to them. In this paper, I propose new translation rules from QML to CT, based on a suggestion by Kaplan. However, I will claim that we cannot have ‘the’ translation scheme from QML to CT. The reason being that de re modal language is ambiguous. Accordingly, there are diferent sorts of QML, depending on how we resolve such ambiguity. Therefore, depending on what sort of QML we intend to translate into CT, we need to use the corresponding translation scheme. This suggests that all the translation problems might just disappear if we do what Lewis did not: begin with a fully worked out QML that tells us how to understand de re modal discourse. (shrink)

The goal of three-dimensional visualization is to present information in such a way that the viewer suspends disbelief and uses the screen imagery the same way as he or she would use an identical, real 3D scene. To do this effectively, programmers employ a variety of 3D depth cues. Our own anecdotal experience says that shadows and stereopsis are two of the best for visualization. The nice thing is that both of these are possible to do in interactive programs. They (...) sacrifice a certain amount of interactive speed, but they are possible. (shrink)

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. I (...) will conclude with some consideration on scope interactions between quantifiers. (shrink)

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with (...) a term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

Scroggs's theorem on the extensions of S5 is an early landmark in the modern mathematical studies of modal logics. From it, we know that the lattice of normal extensions of S5 is isomorphic to the inverse order of the natural numbers with infinity and that all extensions of S5 are in fact normal. In this paper, we consider extending Scroggs's theorem to modal logics with propositional quantifiers governed by the axioms and rules analogous to the usual ones for ordinary quantifiers. (...) We call them Π-logics. Taking S5Π, the smallest normal Π-logic extending S5, as the natural counterpart to S5 in Scroggs's theorem, we show that all normal Π-logics extending S5Π are complete with respect to their complete simple S5 algebras, that they form a lattice that is isomorphic to the lattice of the open sets of the disjoint union of two copies of the one-point compactification of N, that they have arbitrarily high Turing-degrees, and that there are non-normal Π-logics extending S5Π. (shrink)