According to many actualists, propositions, singular propositions in particular, are structurally complex, that is, roughly, (i) they have, in some sense, an internal structure that corresponds rather directly to the syntactic structure of the sentences that express them, and (ii) the metaphysical components, or constituents, of that structure are the semantic values — the meanings — of the corresponding syntactic components of those sentences. Given that reference is "direct", i.e., that the meaning of a name is its denotation, an (...) apparent consequence of this view is that any proposition expressed by a sentence containing a name that denotes a contingent being S is itself contingent — notably, the proposition [S does not exist]. Assuming that an entity must exist to have a property, necessarily, [S does not exist] must exist in order to be true. It seems to follow that, necessarily, [S does not exist] is not true and, hence, that S is not contingent after all. Past approaches to the problem — notably, those of Prior and Adams — lead to highly undesirable consequences for quantified modal logic. In this paper, several solutions to this puzzle are developed that preserve actualism, the structured view of propositions, the direct theory of reference, and the intuition that [S does not exist] is indeed possible without the adverse consequences for QML of previous solutions. (shrink)

The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes with (...) a modification of the K-dimensional system that synthesizes independent proposals by Kuipers and Niiniluoto. (shrink)

At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of circularity in Kant’s explanation. I aim to remove this spectre by interpreting the Einheit-Unendlichkeit contrast in light of the logical distinctions among universal, particular and singular judgments shared by Kant and his logician predecessors. This interpretation has a further implication for resolving (...) a controversy over the correlation between the logical moments of quantity (universal, particular, singular) and the categorial ones (unity, plurality, totality). (shrink)

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection (...) of certain traditional properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

We analyse the behaviour of definite descriptions and proper names terms in mathematical logic. We show that in formal arithmetic, wether some axioms are fixed or not, proper names cannot be considered rigid designators and have the same behaviour as definite descriptions. In set theory, sometimes two names for the same object are introduced. It seems that this can be explained by the notion of meaning. The meaning of such proper names can be considered as fuzzy sets of equivalent (...) co-designative definite descriptions and their references as sets of all equivalent co-designative definite descriptions. (shrink)

In recent decades, plural logic has established itself as a well-respected member of the extensions of first-order classical logic. In the present paper, I draw attention to the fact that among the examples that are commonly given in order to motivate the need for this new logical system, there are some in which the elements of the plurality in question are internally singularized (e.g. ‘Whitehead and Russell wrote Principia Mathematica’), while in others they are not (e.g. ‘Some philosophers (...) wrote Principia Mathematica’). Then, building on previous work, I point to a subsystem of plural logic in which inferences concerning examples of the first type can be adequately dealt with. I notice that such a subsystem (here called ‘discrete plural logic’) is in reality a mere variant of first-order logic as standardly formulated, and highlight the fact that it is axiomatizable while full plural logic is not. Finally, I urge that greater attention be paid to discrete plural logic and that discrete plurals are not used in order to motivate the introduction of full-fledged plural logic—or, at least, not without remarking that they can also be adequately dealt with in a considerably simpler system. (shrink)

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (...) (for causal relationship) in inductive logic. (shrink)

Terms of logic like 'all' and 'some' can be understood in relation to one another purely in thought. Individual objects of which one becomes aware by sense perception are not objects of pure thought. Hence they cannot be uniquely named. Since Aristotelian and mathematical logic deals with pure thought alone there are no singular terms in either of them. The individual constants of mathematical logic are not objects of sense perception. In Nyaya and Buddhist logic (...) singular terms are indispensable, because inference does not deal with pure thought, but with knowledge which includes both thought and sense perception. (shrink)

The work of the Brussels-Austin groups on irreversibility over the last years has shown that Quantum Large Poincaré systems with diagonal singularity lead to an extension of the conventional formulation of dynamics at the level of mixtures which is manifestly time asymmetric. States with diagonal singularity acquire meaning as linear fractionals over the involutive Banach algebra of operators with diagonal singularity. We show in this paper that the logic of quantum systems with diagonal singularity is not the conventional (...) class='Hi'>logic of Hilbert space, because only finite combinations of prepositions are allowed. (shrink)

The author contends that the analogies between "the logical roles of singular and universal statements" are important but do not "justify the conclusion that singular statements are reducible to propositions" of the forms a, E, I, And o. (staff).

Motivations for systems of free logics are reviewed and systems are divided according as they are positive (asserting atomic truths with non-denoting terms) negative (denying all such sentences) or neutral. A positive theory is developed and defended. One of the major considerations in favor of the theory is that it allows (via translation) representation of the other points of view. Finally, the relation between free logic and truth theories is elaborated.

This essay presents a heterodox reading of the issue of solipsism in Wittgenstein’s Tractatus Logico-Philosophicus, out of which the whole of the TLP can be re-read. Inspired by, though not dependent on, the themes of virtuality and singularity found in Deleuze’s ‘transcendental empiricism’, Wittgenstein’s concept of ‘logical space’ is here complexly related to the paradoxes of the ‘metaphysical subject’ and ‘solipsism,’ within which the strictures of sense are defined, and through which the logico-pictorial scaffolding of the TLP precipitates its own (...) systematic dissolution. It shows how nonsense envelopes not only not idle chatter, and metaphysical confusion, but sense itself. (shrink)

Contemporary philosophical discourse has deeply problematized the possibility of absolute existence. Hegel’s Foundation Free Metaphysics demonstrates that by reading Hegel’s Doctrine of the Concept in his Science of Logic as a form of Absolute Dialetheism, Hegel’s logic of the concept can account for the possibility of absolute existence. Through a close examination of Hegel’s concept of self-referential universality in his Science of Logic, Moss demonstrates how Hegel’s concept of singularity is designed to solve a host of metaphysical (...) and epistemic paradoxes central to this problematic. He illustrates how Hegel’s revolutionary account of universality, particularity, and singularity offers solutions to six problems that have plagued the history of Western philosophy: the problem of nihilism, the problem of instantiation, the problem of the missing difference, the problem of absolute empiricism, the problem of onto-theology, and the third man regress. Moss shows that Hegel’s affirmation and development of a revised ontological argument for God’s existence is designed to establish the necessity of absolute existence. By adopting a metaphysical reading of Richard Dien Winfield’s foundation free epistemology, Moss critically engages dominant readings and contemporary debates in Hegel scholarship. Hegel’s Foundation Free Metaphysics will appeal to scholars interested in Hegel, German Idealism, 19th- and 20th-century European philosophy, metaphysics, epistemology, and contemporary European thought. (shrink)

Motivations for systems of free logics are reviewed and systems are divided according as they are positive (asserting atomic truths with non-denoting terms) negative (denying all such sentences) or neutral. A positive theory is developed and defended. One of the major considerations in favor of the theory is that it allows (via translation) representation of the other points of view. Finally, the relation between free logic and truth theories is elaborated.

A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the (...) way we categorize the many and the much. (shrink)

Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill's account of predication, connotation and denotation. I show that singular (...) terms may be predicates, that it is highly implausible that there is an ‘is’ of identity in natural languages, and that modern formal logic is deficient in that it cannot recognize sentences, including singular existentials, in which singular terms are predicates, or inferences which depend upon the logical role rather than the logical category of expressions. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and (...) meaning of plural constructions that result from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

Motivations for systems of free logics are reviewed and systems are divided according as they are positive (asserting atomic truths with non-denoting terms) negative (denying all such sentences) or neutral. A positive theory is developed and defended. One of the major considerations in favor of the theory is that it allows (via translation) representation of the other points of view. Finally, the relation between free logic and truth theories is elaborated.

This book aims to provide a solution to the semantic paradoxes. It argues for a unified solution to the paradoxes generated by our concepts of denotation, predicate extension, and truth. The solution makes two main claims. The first is that our semantic expressions 'denotes', 'extension' and 'true' are context-sensitive. The second, inspired by a brief, tantalizing remark of Godel's, is that these expressions are significant everywhere except for certain singularities, in analogy with division by zero. A formal theory of singularities (...) is presented and applied to a wide variety of versions of the definability paradoxes, Russell's paradox, and the Liar paradox. Keith Simmons argues that the singularity theory satisfies the following desiderata: it recognizes that the proper setting of the semantic paradoxes is natural language, not regimented formal languages; it minimizes any revision to our semantic concepts; it respects as far as possible Tarski's intuition that natural languages are universal; it responds adequately to the threat of revenge paradoxes; and it preserves classical logic and semantics. Simmons draws out the consequences of the singularity theory for deflationary views of our semantic concepts, and concludes that if we accept the singularity theory, we must reject deflationism. (shrink)

The possibility of formal representation of Aristotle’s discussion about singular predication in Categories 10, 13b27-35 is investigated through three symbolic idioms: the first-order language with identity, with and without definitive description, and through the languages of free logics. I show that such representations are not fully adequate. According to the first option, we are committing Aristotle with some (meta)logical implications he is not willing to accept. According to the second option, we are burdening Aristotle with Russell’s theory of names. (...) Finally, the third option leaves us with the assumption that ‘exist(s)’ could be represented with a predicate. This assumption, however, Aristotle emphatically rejects. (shrink)

I highly recommend reading Gregory S. Moss’ Hegel's Foundation Free Metaphysics: The Logic of Singularity. In this detailed examination of Hegel's masterpiece.

The difficulties encountered by attempts to treat identity as a relation between an object and itself are well-known: "...the sentence 'The morning star is...the morning star' is analytic and a truism, while...'The morning star is the evening star' is synthetic and represents a 'valuable extension of our knowledge'... But if {the morning star} and {the evening star} are the same object, and identity is taken as a relation holding between this object and itself, then it is impossible to explain how (...) the two sentences can differ in cognitive content... ". Russell's solution to these difficulties rejects the identification of logical with grammatical form, in effect denying that such sentences assert relations between the morning star and itself. The logical representations which the Russellian proposes, contain quantifiers, predicate letters, and individual variables, but no expressions standing for particulars. The Fregean solution, while admitting logical representations whose nominal expressions stand for particulars, insists that the meaning of such expressions is different from their reference. Frege-Russell analyses thus both deny that the morning star is involved qua particular in the meaning of the sentences in question. ;Rather than replace the morning star as ontological subject of these sentences, I suggest that their difference in meaning arises from the kind of particular that the identity-relation relates--a particular which, unlike its Frege-Russell counterpart, is two-sided and multi-faceted. Such a particular requires an ambiguous singular term. In Chapter 1, I utilize such a term to provide a surfacist account of belief-context ambiguity requiring neither differences in relative scope nor distinctions between sense and reference. In Chapter 2, I go on to provide an account of negative existentials, necessity- and identity-statements which resolves philosophical problems that Russell-Frege analyses only avoid. To solve these problems, I show that it is necessary to reject two canons of philosophical logic, the Law of Identity and the Indiscernibility of Identicals. (shrink)

[Abstract] Suppose that the Big Bang was the first singularity in the history of the cosmos. Then it would be plausible to presume that the availability of the strong general intelligence should mark the second singularity for the natural human race. The human race needs to be prepared to make it sure that if a singularity robot becomes a person, the robotic person should be a blessing for the humankind rather than a curse. Toward this direction I would scrutinize the (...) implication of the hypothesis that the singularity robot is a member of the human society. I will ask how the robot is equipped to satisfy the ontological criteria such as accountability, consciousness, identity, by demonstrating a possibility that it has the epistemological capacities like conceptual role semantic understanding and non-monotonous inference, and by probing whether it can behave in the way human moral visions expect it to. -/- [Table of contents] 1. Opening: Singularity robots are coming 1) Singularity robots of strong general intelligence 2) A singularity robot is a member of the human community 2. Ontological interpretation of singularity robot 1) Responsibility: thinking, understanding, belief 2) Consciousness: three characteristics – zombie, enjoyment, sympathy 3) Identity: I, body, autonomy, unity 3. Epistmological prospects of singularity robot 1) Semantics of general intelligence: conceptual role semantics 2) Logic for general intelligence: non-monotonous logic 4. Moral horizon of singularity robot 1) When a singularity robot becomes a robot person 2) Humanity independence: singularity robot is a user of human languages 5. Concluding: preemptive humanities. (shrink)

This essay is part of a larger project on the singular in Toni Morrison's novels. The essay focuses on Morrison's early novels, particularly her first two novels, The Bluest Eye and Sula, and makes...

This essay is part of a larger project on the singular in Toni Morrison's novels. The essay focuses on Morrison's early novels, particularly her first two novels, The Bluest Eye and Sula, and makes...

One of the goals of a certain brand of philosopher has been to give an account of language and linguistic phenomena by means of showing how sentences are to be translated into a "logically perspicuous notation" (or an "ideal language"—to use passe terminology). The usual reason given by such philosophers for this activity is that such a notational system will somehow illustrate the "logical form" of these sentences. There are many candidates for this notational system: (almost) ordinary first-order predicate (...) class='Hi'>logic (see Quine [1960]), higher-order predicate logic (see Parsons [1968, 1970]), intensional logic (see Montague [1969, 1970a, 1970b, 1971]), and transformational grammar (see Harrnan [1971]), to mention some of the more popular ones. I do not propose to discuss the general question of the correctness of this approach to the philosophy of language, nor do I wish to adjudicate among the notational systems mentioned here. Rather, I want to focus on one problem which must be faced by all such systems—a problem that must be discussed before one decides upon a notational system and tries to demontrate that it in fact can account for all linguistic phenomena. The general problem is to determine what we shall allow as linguistic data; in this paper I shall restrict my attention to this general problem as it appears when we try to account for certain words with non-singular reference, in particular, the words that are classified by the count/ mass and sortal/non-sortal distinctions. (shrink)

HENRY LAYCOCK, Words Without Objects: Semantics, Ontology, and Logic for Non-Singularity. Oxford: Clarendon Press, 2006. xvi + 202pp. £35.00. ISBN 0‐19‐928171‐8. Gregory Landini, Department of Phil...

A perplexity about singular existence statements is that for their negations to be true their subject terms do not name anything. For example, in ‘Pegasus does not exist’ ‘does not exist’ is not said in respect to the referent of ‘Pegasus’ since there is none. But, then, in respect to what is that said? The paper answers the question by proposing a metalinguistic interpretation of singular existence statements, according to which singular existence statements are about names. It (...) is argued that this interpretation fits in well with Frege’s views on existence, presupposition, and his idea that names have senses. (shrink)

This article grapples with Robert Brandom’s account of singular terms. I argue that neither Brandom’s answer to the question “What are singular terms?” nor his answer to the question “Why are there any singular terms?” works as they currently stand. Brandom’s substitution-inferential semantic account of what singular terms are fails to distinguish between the semantic role of singular terms and indefinite descriptions, and Brandom’s “expressive transcendental deduction” for why there are any singular terms fails (...) to deciseively show that singular terms are expressively necessary for the use of logical vocabulary. Still, I then characterize how Brandom does have resources within his substitution-inferential semantics to give a better, revised answer to the question “What are singular terms?” that both fits programmatically within his framework and has a curious Kantian parallel. I leave the matter offering a Brandom-friendly replacement account for why there are any singular terms thus conceived for another occasion. (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns (...) based upon predicate logic and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

The ability to refer to objects – singular reference – is arguably the decisive innovation on the way to human propositional cognition. This article argues that object individuation requires singular reference because basic singular terms, namely spatial indexicals, provide a symbolic frame of reference for object individuation. The authors suggest that singular reference is intrinsically connected to essential characteristics of propositionality: among other things, it guarantees the situation-independence of meaning, allows for the distinction between truth and (...) falsehood, and enables us to think about possibilities. The authors sketch how singular reference gives rise to the development of predication, the powerful logical tool of quantification, and forms the basis for differentiating between belief and desire. (shrink)

The topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the (...) exemplarity of the example, eludes any fixed identity and follows a logic of supplement. Second, I shall present the so-called logic of exemplarity. The received paraconsistent view has it that the exemplar of X is an X and, at the same time, is not an X. Inspired by Ludwig Wittgenstein’s discussion of the standard metre, I would like to present an alternative paracomplete view whereby we can say of an exemplar of X neither that it is an X nor that it is not an X. (shrink)

We say that κ is μ-hypermeasurable for a cardinal μ≥κ+ if there is an embedding j:V→M with critical point κ such that HV is included in M and j>μ. Such a j is called a witnessing embedding.Building on the results in [7], we will show that if V satisfies GCH and F is an Easton function from the regular cardinals into cardinals satisfying some mild restrictions, then there exists a cardinal-preserving forcing extension V* where F is realised on all V-regular (...) cardinals and moreover, all F-hypermeasurable cardinals κ, where F>κ+, with a witnessing embedding j such that either j=κ+ or j≥F, are turned into singular strong limit cardinals with cofinality ω. This provides some partial information about the possible structure of a continuum function with respect to singular cardinals with countable cofinality.As a corollary, this shows that the continuum function on a singular strong limit cardinal κ of cofinality ω is virtually independent of the behaviour of the continuum function below κ, at least for continuum functions which are simple in that 2α{α+,α++} for every cardinal α below κ ≥F or j=κ+). (shrink)

It is widely accepted that, in the course of interpreting a metaphorical utterance, both literal and metaphorical interpretations of the utterance are available to the interpreter, although there may be disagreement about the order in which these interpretations are accessed. I call this the dual availability assumption. I argue that it does not apply in cases of metaphorical singular reference. These are cases in which proper names, complex demonstratives or definite descriptions are used metaphorically; e.g., ‘That festering sore must (...) go’, referring to a derelict house. We are forced to give up dual availability in these cases because a process of predicate transfer happens in the restriction clauses of such metaphorically used definite phrases, so that a denotation-less definite concept is never constructed. A process of enriched composition yields only a metaphorical referent/denotation. I compare cases of metaphorical reference both to cases of metonymic reference and to uses of epithets of the ‘That N of an N’ form. Reflection on the former is helpful in getting clear about the kind of property transfer involved in referential metaphors. Such transfer happens directly at the level of properties and is not mediated via a correspondence between objects, as is the case with metonymic reference. Reflection on epithets such as ‘that festering sore of a house’ is helpful since these are a sort of intermediate case between cases of literal and metaphorical reference. They provide support for my claim that in cases of metaphorical reference there is only a single referent. Moreover, constraints on the use of these epithets suggest that referential metaphors are similarly constrained. In particular, I argue that referential metaphors can only be used when the implicit category restriction is highly salient, and that the evaluative information conveyed by the metaphor serves primarily to indicate the speaker’s attitude towards the referent rather than being intended to help the hearer identify the referent. (shrink)

A 'free logic' for singular terms with restrictions on existential generalization and universal instantiation is set out and argued for. Weaker logics, Such as lambert's fd and fd1 are held incapable of proving instances of tarski's truth schema for languages containing non-Denoting terms. Stronger logics, Such as scott's and lambert's fd2, Are held to yield false theorems when given natural interpretations. The logic defended conforms essentially to russell's semantical intuitions. Some consequences are drawn for the theory of (...) identity. (shrink)

Humean accounts of law are at the same time accounts of causation. Accordingly, since laws are nothing but contingent cosmic regularities, to be a cause is just to be an instance of such a law. Every particular cause-effect pair, according to these accounts, instantiates some law of nature. I argue that this claim is false. Singular causation without being governed by any law is logically and physically possible. Separating causes from laws enables us to see the distinct role each (...) plays in science, especially in matters related to prediction and explanation. (shrink)

This chapter provides an overview of the philosophical and linguistic debate about the logic of plurals. We present the most prominent singularizing analyses of plurals as well as the main criticisms that such analyses have received. We then introduce an alternative approach to plurals known as plural logic, focusing on the question whether plural logic can count as pure logic.

Leibniz's conceptual containment theory says that singular propositions of the form a is F are true when the complete concept of being a contains the concept of being F. In this paper, I provide a new semantics for first-order logic built around this idea. The semantics resolves longstanding problems for Leibniz's theory and can represent, without possible worlds, both hyperintensional distinctions among properties and a certain kind of presumably impossible situation that standard approaches cannot represent. The semantics also (...) captures the strong soundness and completeness of classical first-order logic. (shrink)

One of the logical problems with which Arthur Prior struggled is the problem of finding, in Prior’s own phrase, a “logic for contingent beings.” The difficulty is that from minimal modal principles and classical quantification theory, it appears to follow immediately that every possible object is a necessary existent. The historical development of quantified modal logic (QML) can be viewed as a series of attempts---due variously to Kripke, Prior, Montague, and the fee-logicians---to solve this problem. In this paper, (...) I review the extant solutions, finding them all wanting. Then I suggest a new solution inspired by Kripke’s theory of rigid designation and Kaplan’s logic of demonstratives, the latter in particular. It turns out that the basic mechanism of Kaplan’s logic can be exploited to yield a version of QML that will serve as a viable logic for contingent beings. This result, as I show, sheds new light on the problems of singular negative existential propositions, the question of actualism, the question of the existence of the contingent a priori, the relation between logical truth and necessity, and various modal problems and paradoxes going back to Chrysippus, Ramsey, and Moore. (shrink)

The singularity space consists of all germs , with X a Noetherian scheme and x a point, where we identify two such germs if they become the same after an analytic extension of scalars. This is a complete, separable space for the metric given by the order to which jets agree after base change. In the terminology of descriptive set-theory, the classification of singularities up to analytic extensions of scalars is a smooth problem. Over , the following two classification problems (...) up to isomorphism are then also smooth: analytic germs; and polarized schemes. (shrink)

The article summarizes the content of Andreas Reckwitz’s book The Society of Singularities in 10 theses and briefly links it to the author’s overall work. The Society of Singularities applies a practice theory approach in order to outline a theory of Western (late-)modernity which recognizes in it a basic rivalry between two logics of social evaluation: a social logic of the general and a social logic of the particular/ singular. The question arises which historical causes for the (...) surge of the social logic of uniqueness since the 1980s can be discerned, which structural features this type of society unfolds and which social and political consequences it has. (shrink)

Classical logic counts sentences such as ‘Alice is identical with Alice’ as logically true. A standard objection to classical logic is that Alice’s self-identity, for instance, is not a matter of logic because the identity of particular objects is not a matter of logic. For this reason, many philosophers argue that classical logic is not the right logic, and that it should be abandoned in favour of free logic — logic free of (...) existential commitments with respect to singular terms. In most standard free logics, sentences such as ‘Alice is identical with Alice’ are not logically true. This paper argues that this objection from existential commitments is some- what superficial and that there is a deeper reason why ‘Alice is identical with Alice’ should not be considered a logical truth. Indeed, a key fundamental thought about the nature of logic is that a logical truth is true in virtue of its logical form. The fundamental problem I raise is that a sentence such as ‘Alice is identical with Alice’ appears to not even be true in virtue of its logical form. Thus this paper argues that given that such a sentence is not true in virtue of its logical form, it should not be counted as logically true. It moreover argues, on the same grounds, that even the sentences which free logicians regard as logically true shouldn’t be regarded as logically true. So in this sense free logic is no repair to classical logic. (shrink)