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)

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)

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)

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)

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)

[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 book offers an original philosophical perspective on exemplarity. Inspired by Wittgenstein’s later work and Derrida’s theory of deconstruction, it argues that examples are not static entities but rather oscillate between singular and universal moments. There is a broad consensus that exemplary cases mediate between singular instances and universal concepts or norms. In the first part of the book, Mácha contends that there is a kind of différance between singular examples and general exemplars or paradigms. Every example (...) is, in part, also an exemplar, and vice versa. Furthermore, he develops a paracomplete approach to the logic of exemplarity, which allows us to say of an exemplar of X neither that it is an X nor that it is not an X. This paradox is structurally isomorphic to Russell’s paradox and can be addressed in similar ways. In the second part of the book, Mácha presents four historical studies that exemplify the ideas developed in the first part. This part begins with Plato’s Forms, understood as standards/paradigms, before considering Kant’s theory of reflective judgment as a general epistemological account of exemplarity. This is then followed by analyses of Hegel’s conceptual moment of particularity and Kuhn’s concept of paradigm. The book concludes by discussing the speculative hypothesis that all our knowledge is based on paradigms, which, following the logic of exemplarity, are neither true nor false. (shrink)

If the allusive stratagems can claim to define a new type of systematicity, it is because they give access to a space where the singularity, the diagram and the metaphor may interlace, to penetrate further into the physico-mathematic intuition and the discipline of the gestures which precede and accompany ‘formalisation’. This interlacing is an operation where each component backs up the others: without the diagram, the metaphor would only be a short-lived fulguration because it would be unable to operate: without (...) the metaphor, the diagram would only be a frozen icon, unable to jump over its bold features which represent the images of an already acquired knowledge; without the subversion of the functional by the singular, nothing would come to oppose the force of habit. (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)

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)

In “A Defense of Presentism ”, Ned Markosian addresses the problem of singular propositions about non-present objects. The proposed solution uses a paraphrasing strategy that differentiates between two kinds of meaning in declarative sentences, and also distinguishes between two truth-conditions for singular propositions. The solution, however, is unsatisfactory. I demonstrate that the both truth-conditions suffer from the same problems in spite of the examples used to support the claim that one is a proper treatment for singular propositions. (...) Part of the difficulty is in the limited expressivity of logical formalisms, a limitation not unique to the philosophy of time, but which calls for greater attention. (shrink)

A distinction is introduced between itemized and non-itemized plural predication. It is argued that a full-fledged system of plural logic is not necessary in order to account for the validity of inferences concerning itemized collective predication. Instead, it is shown how this type of inferences can be adequately dealt with in a first-order logic system, after small modifications on the standard treatment. The proposed system, unlike plural logic, has the advantage of preserving completeness. And as a result, (...) inferences such as ‘Dick and Tony emptied the bottle, hence Tony and Dick emptied the bottle’ are shown to be first-order. (shrink)

The article takes as its starting point the work of Tomas Kulka on Kitsch and Art to further a philosophical move aiming at the very logical core of the question of art. In conclusion, the idea of Singular Rule is offered as capturing the defining logic of art. In so doing, the logical structure of a singular rule is uncovered and in that also the sense in which the idea of singular rule both explains and justifies (...) the role that art plays in our life. In his Kitsch and Art Tomas Kulka extends Karl Popper's refutation principle in science to the arts. He asks of a true work of art to be open to “refutation” by way of evaluating it against its own admissible alterations or variations. An admissible alteration according to Kulka is a change or a modification of the work that does not “shatter its basic perceptual gestalt”. In considering alterations that are aesthetically better, worse or neutral with respect to the original picture, Kulka offers us a rational reconstruction of key aesthetics concepts such as unity, complexity and intensity. His reconstruction will show that a work of kitsch does not qualify as art in direct analogy to a proposition that cannot qualify as scientific if it is not refutable. Kitsch cannot be “refuted” by any of its possible alterations as they are all of equal aesthetic value. This explains the aura of empty perfectionism that accompanies the experience of kitsch since the work of kitsch does not carry any promise for improvement nor does it show itself superior to any of its possible alterations. Notwithstanding Kulka’s novel analysis, its premise we must note is grounded in the work of art impressing on us a single basic perceptual gestalt with respect to which an alteration can qualify as admissible. But in acknowledging the possibility of a gestalt-switch or the fact that the work of art can impress on us a variety of mutually-exclusive perceptual gestalts, Kulka's analysis loses the logical anchor necessary for it to work. However, in what might look at first sight as an unrecoverable logical deficiency, we find an anchor to a novel analysis to the question of art. This is our analysis to the idea of art as a singular rule. Indeed, the concept of a singular rule - a rule onto itself which has exclusively itself as its own argument - must strike us as paradoxical. But in offering to reconstruct the work of art through the complementary concepts of background and figure - to match respectively the how and the what of the work - we are able to provide a structural resolution to the idea of singular rule as what defines art. In this we believe we deliver a definitive answer to the question of art. (shrink)

According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...) the propositions that contradict this proposition are true” does not have the contrary proposition and does not have the contradictory proposition. In fact: FEX “All the propositions that contradict this proposition are not true” has a different subject: the subject of the proposition X is constituted by all the propositions that contradict the proposition X; by contrast, the subject of the proposition FEX is constituted by all the propositions that contradict the proposition FEX. And FOX “Not all the propositions that contradict this proposition are true” has a different subject: the subject of the proposition X is constituted by the propositions that contradict the proposition X; by contrast, the subject of the proposition FOX is constituted by the propositions that contradict the proposition FOX. According to Aristotle, a singular proposition (in his example: "Socrates is white") which is true must have its negative proposition ("Socrates is not white") which is false. I agree with Aristotle, but there are singular propositions which do not have the corresponding negative proposition. The proposition (or, rather, the pseudo-proposition) L “This same statement is not true” does not have the negative proposition because the proposition FNL “This same statement is true” has a different subject from the subject of the proposition L: the subject of the proposition L is the proposition L; by contrast, the subject of the proposition FNL is the proposition FNL. L and FNL cannot have the same subject. By contrast, the proposition M “This mount is entirely in Swiss territory” and the proposition NM “This mount is not entirely in Swiss territory” can have the same subject (for example, the Mount Eiger): in case the subject of the proposition M and the subject of the proposition NM is the same, M and NM are opposite propositions, NM is the negative proposition of M. By contrast, the proposition (or, rather, the pseudo-proposition) L "This same statement is not true" cannot have the corresponding negative proposition because FNL "This same statement is true" has a different subject: the subject of L is L ; by contrast, the subject of FNL is FNL. Then the paper continues by analyzing some variants of the liar’s paradox: L1 “The statement L1 is not true”; the so-called liar cycle; and the so-called Yablo’s paradox. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion (...) of logical extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

The infinite judgement has long been forgotten and yet, as I am about to demonstrate, it may be urgent to revive it for its critical and productive potential. An infinite judgement is neither analytic nor synthetic; it does not produce logical truths, nor true representations, but it establishes the genetic conditions of real objects and the concepts appropriate to them. It is through infinite judgements that we reach the principle of transcendental logic, in the depths of which all reality (...) can emerge in its material and sensible singularity, making possible all generalization and formal abstraction. (shrink)

Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the (...) wide range of problematics and influences in this most important strand of Deleuze’s thinking. Contributors are Charles Alunni, Alain Badiou, Gilles Châtelet, Manuel DeLanda, Simon Duffy, Robin Durie, Aden Evens, Arkady Plotnitsky, Jean-Michel Salanskis, Daniel Smith and David Webb. (shrink)

The main goal of this dissertation is to offer both an interpretation to the theory of singular representations as presented by Leibniz in his writings from the 1680’s, as well as a hypothesis of a criticism made by Kant to what we take to be the cornerstones of such a theory. These cornerstones consist in (i) the Principle of Identity of Indiscernibles (ii) the Doctrine of the Complete Notion of the Individual Substance (iii) the Intensional Definitions of the Truth (...) Values. Once the writings in which (ii) and (iii) are presented only began to be published in the XIX century, we argue in favor of the plausibility of such a hypothesis by means of logical arguments, which intend to show that Kant could have deduced (ii) and (iii) from Leibniz’ commitment to (i) as well as to the existence of a parfaite représentation of ordinary objects in the divine understanding, and historical arguments, which intend to show that Kant could have had access to both (ii) and (iii) and even ascribed these to Leibniz by means of Meier’s Auszug aus der Vernunftlehre and Wolff’s Philosophia Rationalis sive Logica. We will add to these, also textual arguments in order to show that there is in Kant’s philosophy not only a critique to (i), but also to (ii) e (iii), as well as an interpretation of what this criticism consists in. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis (...) of the relation between this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified (...) with regard to their respective answers to these problems. Negative free logics assume that non-existent objects cannot have any properties at all; hence, in particular, they cannot be self-identical or rotate. Positive free logics believe that non-existents can be self-identical according to the Leibnizian concept of identity. Neutral free logics think that statements of self-identity are truth-valueless because of the Fregean principle of compositionality. Since only in negative free logic, but not in positive free logic, two statements of the forms "a = a" and "E!a" are logically equivalent, one also can define only for NFL, but not for PFL, existence by self-identity. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

The search for the extensions of sentences can be guided by Frege’s “principle of compositionality of extension”, according to which the extension of a composed expression depends only on its logical form and the extensions of its parts capable of having extensions. By means of this principle, a strict criterion for the admissibility of objects as extensions of sentences can be derived: every object is admissible as the extension of a sentence that is preserved under the substitution of co-extensional expressions. (...) The question is: what are the extensions of elementary sentences containing empty singular terms, like ‘Vulcan rotates’. It can be demonstrated that in such sentences, states of affairs as structured objects (but not truth-values) are preserved under the substitution of co-extensional expressions. Hence, such states of affairs are admissible (while truth-values are not) as extensions of elementary sentences containing empty singular terms. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that (...) had to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

Russell’s initial project in philosophy (1898) was to make mathematics rigorous reducing it to logic. Before August 1900, however, Russell’s logic was nothing but mereology. First, his acquaintance with Peano’s ideas in August 1900 led him to discard the part-whole logic and accept a kind of intensional predicate logic instead. Among other things, the predicate logic helped Russell embrace a technique of treating the paradox of infinite numbers with the help of a singular concept, (...) which he called ‘denoting phrase’. Unfortunately, a new paradox emerged soon: that of classes. The main contention of this paper is that Russell’s new conception only transferred the paradox of infinity from the realm of infinite numbers to that of class-inclusion. Russell’s long-elaborated solution to his paradox developed between 1905 and 1908 was nothing but to set aside of some of the ideas he adopted with his turn of August 1900: (i) With the Theory of Descriptions, he reintroduced the complexes we are acquainted with in logic. In this way, he partly restored the pre-August 1900 mereology of complexes and simples. (ii) The elimination of classes, with the help of the ‘substitutional theory’, and of propositions, by means of the Multiple Relation Theory of Judgment, completed this process. (shrink)

Understanding Hegel's account of particularity has proven to be anything but straightforward. Two main accounts of particularity have been advanced: the particular as an example or instance and the particular as a subjective perspective on a universal concept. The problem with these accounts is that they reduce particularity either to singularity or to universality. As Derrida's analyses make apparent, the ‘structure of exemplarity’ in Hegel is quite intricate. Hegel uses ‘example’ in three senses: it means (1) ‘instance’, ‘illustration’, or (2) (...) ‘model’, ‘exemplary individual’, ‘paradigm’, or (3) a by-play (a meaning derived from Hegel's neologismbeiherspielen, in whichBeispielis understood quasi-etymologically as a ‘by-play’ of accidental moments). ABeispielin the first sense can be replaced by another instance in a free play (by-play). This play of accidental moments, however, is not entirely free; it generates a series (of replacements) that ultimately leads to an example in the second sense, to an exemplary individual. I argue that particularity can be taken as exemplarity of this kind, oscillating between a singular example and a universal paradigm. Within this by-play, the universal concept, its law, is supposed to be mediated and determined. However, out of the differences between the examples the by-play induces another law, the law of non-mediation, which may, in Derrida's view, actually negate the dialectical movement towards universality. I argue, utilizing Malabou's concept of plasticity, that this disruption may be recovered. This implies that each individual example within a series is a particular determination of the universal. Hence, we can take literally Hegel's claim that the movement of the concept is play. (shrink)

Major Research Paper Abstract -/- A Part of This World: Deleuze & The Logic Of Creation. -/- Is there a particular danger in following Deleuze’s philosophy to its end result? According to Peter Hallward and Alain Badiou, Deleuze’s philosophy has some rather severe conclusions. Deleuze has been known as a vitalist thinker of life and affirmation. Hallward & Badiou seek to challenge the accepted view of Deleuze; showing that these accepted norms in Deleuzian scholarship should be challenged; and that (...) initially Deleuze calls for the evacuation of political action in order to remain firm in the realm of pure contemplation. I intend to investigate and defend Deleuze’s philosophy and against critics like Badiou and Hallward; and that not only is Deleuze’s philosophy creative and vital but also highly revolutionary and ‘a part of this world.’ I will look at several works in Deleuze’s corpus, as well as look at Deleuzian scholars whom defend Deleuze’s position -/- Hallward sees Deleuze as a theophantic thinker of the one and like Spinoza an individual mode must align oneself with the intellectual love of god, so that creativity and expressivity may mediate through them. Thus, according to Hallward the major theme of Deleuze’s philosophy is creativity; and a subject or a creature must tap into this vital spark of creation, which, is also a form of creatural confinement. Hallward states this creative act can only occur in the realm of the virtual, by lines of flight leading 'out of this world'. The subject is then re-introduced to an extra-worldly existence of contemplation and remains further away from decisions and lived experience. Deleuze, according to Hallward, falls prey to a cosmological pantheism. -/- Badiou has similar concerns. Deleuze’s philosophy is too systematic and abstract. The entirety of Deleuzes’ work is surrounded by metaphysics of the one; and essentially its repercussions lead to an overt asceticism. Badiou notes that Deleuze wants us all to surrender thought to a renewed concept of the one. Through the surrender of the one, the multiple is lost and incorporated into the realm of simulacra. Everything in this Deleuzian world is ‘always-already’ in the infinite and inhuman totality of the one. According to Badiou, this entire process is articulated in the power of inorganic life that operates through all of us. Like Hallward, Badiou sees Deleuze demolishing the subject, who is stuck between machinery and exteriority. Subjects are forced to transcend and go beyond their limits, slowly collapsing into an infinite virtuality. Badiou believes this is a powerful metaphor for a philosophy of death. Thus the conditions of Deleuzian thought are contingent upon asceticism, making a Deleuzian world a sort of ‘crowned anarchy’. Badiou sees Deleuze’s ascetic mission intimately linked with a philosophy of death, and like Hallward we should pay careful attention to the outcome of such an aristocratic philosophy. Death according to Badiou, symbolizes Deleuzian thought, not only making it dangerous, but also actualizing it as an ineffective position. Badiou also points out that Deleuze’s conceptual sources are not only limited but also repeated time and time again through a monotonous selection of concepts. Is this a fair critique and representation of Deleuzian thought? -/- Eugene Holland states, that both Hallward and Badiou have misrepresented Deleuze. Deleuze does invoke the creation of a new earth but one which we all fully believe in. The only world Deleuze wants to get out of is the world of habits, conformity, power; and forces that block creative being. According to Holland, Hallward presents us a Deleuze that inhibits an engagement with the world. However Deleuze’s creative enterprise is insistent on forming concepts that can change and transform our world. -/- So the question arises where does the problem of misrepresentation begin? It begins with both Badiou and Hallward having an erroneous account of the actual/virtual distinction in Deleuze’s Philosophy. According to Protevi, Hallward posits a dualism between the actual and the virtual, denying the role of the intensive. Hallward initially sees the relationship between the intensive and the virtual, ignoring the fact that the intensive has its own ontological register that mediates both the virtual and the actual. However, Protevi notes if one could not accept the intensive for an ontological register and had to place it with one or the other; you would have to accept an interrelationship between the actual and the intensive. Hallward places it in the realm of the virtual, thus, leading us to his major claim that Deleuze’s philosophy leads us out of the world. Protevi states, intensive processes happen in our world they are a part of this world. Hallward completely empties all creativity from the actual, thus depending on the virtual and its slippery slope. Both Hallward and Badiou have missed the point altogether. We live in an intensive/actual world and the main point about Deleuze’s politics has to do with experimentation and social interaction and the transformation and intervention of the concept. As Daniel W. Smith states, unlike Badiou, Deleuze is not searching for an axiomatic approach to the world, one that is prone to reductionism but rather with problematic, inventive and creative methods to transform a society. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic (...) questions may coincide sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

Difference and Repetition might be said to have brought about a Deleuzian Revolution in philosophy comparable to Kant’s Copernican Revolution. Kant had denounced the three great terminal points of traditional metaphysics – self, world and God – as transcendent illusions, and Deleuze pushes Kant’s revolution to its limit by positing a transcendental field that excludes the coherence of the self, world and God in favour of an immanent and differential plane of impersonal individuations and pre-individual singularities. In the process, he (...) introduces numerous conceptual innovations into philosophy: the becoming of concepts; a transformation of the form of the question; an insistence that philosophy must start in the middle; an attempt to think in terms of multiplicities; the development of a new logic and a new metaphysics based on a concept of difference; a new conception of space as intensive rather than extensive; a conception of time as a pure and empty form; and an understanding of philosophy as a system in heterogenesis – that is, a system that entails a perpetual genesis of the heterogeneous, an incessant production of the new. -/- Keywords: concepts, becoming, multiplicity, singularity, the middle [au milieu], difference, intensity, time, system, the new. (shrink)

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun (...) phrase in Estonian bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

Almost any mainstream reading about the nature of Kant's 'content of cognition' in both non-conceptualist and conceptualist camps agree that 'singular representations' (sensible intuitions) are, at least in some weak sense, objectdependent because they supervene on a manifold of sensations that are given through the disposition of our sensibility and parallel thus the real and physical components of the world (cf. McDowell 1996, Allison 1983, Ginsborg 2008, Allais 2009). The relevant class of sensible intuitions should refer, as they argue, (...) only to empirical and not to pure ones. Kant's transcendental argument creates, however, no implications as to the metaphysics of properties. Neither does he consider the world to be consisted of sensory content simpliciter nor do sensations refer to objects per se. Instead, he provides an all-encompassing pattern for sensible intuitions of any kind through the representation of space as a cognitive map in that an object can be represented if spatial properties are attributed to it. Sensible intuitions of any kind could be referring, that is to say, and can be conceptualized if they are spatial. Consequently and unlike the contemporary philosophy of perception, Kant contrasts sensible intuitions and pure concepts of understanding 'altogether' against one single experience, from which the justification of objects should proceed. In other words, what stands at the core of exposing the content of cognition concerns not the phenomenological status and actuality of sensible intuitions in the sense of 'bits of experiential intake', but the logical structure of possibility of sensible intuitions of any (external or internal) causal background. The aim of this discussion is to clarify that Kant's transcendental idealism mutatis mutandis reviews multiple and diverse kinds of 'data of mind' and cognition in the background, without reducing the content of cognition to metaphysically determined referents as 'matters of fact' and to pure concepts of understanding. Sensible intuitions in the sense of content of cognition vary, most importantly, from unstructured and unjustifiable data of mind including (physical) contents of perception and stuff of mind and also from reflective and intellectual intuitions that are the cognates of the structured complex singular representations. Put it in simple terms, Kant advocates the thesis that 'facts' are objects for concepts if they are already well-founded trough the cognitive map of the representation of space. -/- . (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence (...) about why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

This paper presents The Unity of Science by answering four fundamental concerns about nature: 1) The ultimate property of everything— the intrinsicality of nature is not only logicality, but also logicality’s non-absoluteness; 2) The ultimate impact of everything— the “General Impact of Nature” (GIN) is what can explain mental processes physically; 3) The proto-structure of everything— the “architect of everything” is with two three-point group concepts; 4) One architecture to host everything— the “general model of nature” provided a whole picture (...) of nature by particularly describing what consciousness is. With this unity, we have developed seven points to complete the unification of all knowledge. But all these are structured on reductionism and neutral monism. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, (...) and identity, as well as on the metaphysics of modality. (shrink)

This paper presents the unification of all knowledge and the framework of all sciences, so it goes the theory of consciousness, the method to measure consciousness, and the three keys of the Strong AI. “Logicality and non-absoluteness” is found out to be the intrinsicality of nature, so the “Fundamental Law of Nature” is discovered. Then, the “general methodology of research” and the “model system of nature” are developed to explain everything, especially consciousness. The Coupling Theory of Consciousness tells that nature (...) has the MFEs (More Fundamental Element) that couple to show as material and consciousness, and the brain has a CNS (central nervous system)-independent consciousness system that couples to give off the consciousness signals, with their three excitation levels to show as memory, sub-consciousness, and subjective consciousness. As consciousness is not from neurons, the method to measure consciousness via NCC (neural correlates of consciousness) is to find out participants with the same kinds of consciousness systems. And make them to produce paralleled “conscious information processes” to filtrate out the “noise” neural activities, to obtain the “real” NCC data. Examining the property of consciousness may advance not only neuroscience and physics, but also cognitive science and AI technology. First, the “conscious information processing” model has shown that the Strong AI should process the beyond-domain concepts with a self-controlled intention, second, as the “general methodology of research” is just the other name of the “principle of cognition”, we have already known the running style of the Strong AI. Hopefully, we could develop the Strong AI technology to upgrade human civilization very soon. (shrink)

This article aims to unify all scientific theories based on the concept of “intrinsicality of nature”, including the fundamental theories in physics. First, the general property within existing natural phenomena, say “intrinsicality of nature”, was deduced as “logicality” and "imperfectness". Then, the identical intrinsicality was deduced out for the science to unify all scientific theories. Finally, with this intrinsicality and the novelties of consciousness, the unification of physics theories, say Theory of Everything, was framed by a physical model of more (...) fundamental element (MFE), which had managed to cover the concepts of quantum mechanics, general relativity, and the physics of consciousness altogether, to test this model of unification. Since the MFE is only a theoretical model, two methods were introduced for its experimental verification. While its application to explain yet unanswered questions in science was tested, and further verification of this model in a lab by measuring consciousness signals was discussed. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

Olle Blomberg challenges three claims in my book From Individual to Plural Agency (Ludwig, Kirk (2016): From Individual to Plural Agency: Collective Action 1. Vols. 2. Oxford: Oxford University Press.). The first is that there are no collective actions in the sense in which there are individual actions. The second is that singular action sentences entail that there is no more than one agent of the event expressed by the action verb in the way required by that verb (the (...) sole agency requirement). The third, is that an individual intention, e.g. to build a boat, is not satisfied if you don’t do it yourself. On the first point, I grant that Blomberg identifies an important distinction between simple and composite actions the book did not take into account, but argue it doesn’t show that there are collective actions in the same sense there are individual actions. On the second point, I argue from examples that the collective reading of plural action sentences doesn’t entail the distributive reading, which requires the sole agency requirement on singular action sentences. This settles the third point, since it entails that if you intend to build a boat, you are successful only if you are the only agent of it in the sense required by the verb. (shrink)

In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines (...) logic, however, we may understand how the authors regard langage, in relation to the epistemic constituents, namely, the mental acts within the terms. In doing so we are compelled to recognize the implications of this step towards pragmatism in fixing the meaning of defined descriptions to the nature of judgment in the handbook. This opening to langage reveals the conception of judgment as a twofold mental act: a formal and a practical (moral and theological) one. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...) the parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

Many languages have a first person singular subject pronoun (‘I’in English). Fewer also have a first person singular object pronoun (‘me’in English). The term ‘I’is commonly used to refer to the person using the term. It has a variety of other uses. A normal person is able to refer to theirself and think about their self and this is of course an important feature of being a person. For any person x, no one other than x can possiblythink (...) about x and by that alone, qualify as thinking about theirself. Perhaps this is special. However, there is a strong tendency to conflate this important capacity with capacities of grammar, such as thinking first person thoughts or ‘I thoughts.’Thisleads to attempts to establish necessary truths about persons on the basis of rules of grammar which are not logically necessary. Thinking about oneself does not logically require a first person linguistic capacity. This essay is criticizing various tendencies to overlook this. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in (...) a variety of forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

“Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...) is a deep connection between these arguments and definite descriptions. More precisely, according to Gödel, if one adopts Russell’s interpretation of definite descriptions (which clashes with Frege’s view that definite descriptions are singular terms), it is possible to evade the slingshot. We challenge Gödel’s view in two manners, first by presenting a slingshot even with a Russellian interpretation of definite descriptions and second by presenting a slingshot even when we change from singular terms to plural terms in the light of new developments of the so-called Plural Logic. The text is divided in three chapters, in the first, we present the discussion between Russell and Frege regarding definite descriptions, in the second, we present Gödel’s position and reconstructions of Gödel’s argument and in the third we prove our slingshot argument for Plural Logic. In light of these results we conclude that we can maintain the validity of slingshot arguments even within a Russellian interpretation of definite descriptions or in the context of Plural Logic. (shrink)

According to Kant, the singular judgement ‘This rose is beautiful’ is, or may be, aesthetic, while the general judgement ‘Roses in general are beautiful’ is not. What, then, is the logical relation between the two judgements? I argue that there is none, and that one cannot allow there to be any if one agrees with Kant that the judgement ‘This rose is beautiful’ cannot be made on the basis of testimony. The appearance of a logical relation between the two (...) judgements can, however, be explained in terms of what one does in making a judgement of taste. Finally, I describe an analogy between Kant's treatment of judgements of taste and J. L. Austin's treatment of explicit performative utterances, which I attribute to a deeper affinity between their respective projects. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines the question (...) of whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

The physical singularity of life phenomena is analyzed by means of comparison with the driving concepts of theories of the inert. We outline conceptual analogies, transferals of methodologies and theoretical instruments between physics and biology, in addition to indicating significant differences and sometimes logical dualities. In order to make biological phenomenalities intelligible, we introduce theoretical extensions to certain physical theories. In this synthetic paper, we summarize and propose a unified conceptual framework for the main conclusions drawn from work spanning a (...) book and several articles, quoted throughout. (shrink)

One of the singularities of Latin exegesis of Aristotle’s Sophistici elenchi, is that it arbitrarily brought together two families of fallacies, the «figure of speech» and the «accident», despite the fact that they are on either side of the divide between sophisms related to expression and sophisms independent of expression, a divide that lays at the heart of Aristotle’s taxonomy of sophistic arguments. What is behind this surprising identification? The talk is meant to show that it actually originates from a (...) curious mistake in Boethius’ translation of Aristotle’s Sophistici elenchi, 22, 178b 36-37 which radically transformed the nature of the argument at stake. While it was originally an example of the fallacies related to the «figure of speech», Boethius’ translation wrongly brings about two arguments instead of one, both related to the «accident». This explains why authors from the Latin tradition came to think that fallacies of «figure of speech» were linked to fallacies of «accident» closely enough to ask whether they actually fell outside expression, even though it does not at first glance appear that such a possibility was allowed or even suggested by Aristotle’s text. This odd question illustrates some of the remarkable features of the medieval archive and how some of its most peculiar problems came to be. It specifically allows us to reconstruct the mechanisms through which a minor disturbance in the letter of the text leads to a whole new way of organising its exegetical material. (shrink)

In De interpretatione 9, Aristotle argues against the fatalist view that if statements about future contingent singular events (e.g. ‘There will be a sea battle tomorrow,’ ‘There will not be a sea battle tomorrow’) are already true or false, then the events to which those statements refer will necessarily occur or necessarily not occur. Scholars have generally held that, to refute this argument, Aristotle allows that future contingent statements are exempt from either the principle of bivalence, or the law (...) of excluded middle. This paper offers a new interpretation of Aristotle’s refutation of fatalism. According to this interpretation, each member of a pair of contradictory future contingent statements, in virtue of expressing modal necessity, is simply false. (shrink)

This article reconstructs Sartre’s theory of selfhood against the background of the contemporary debate between minimal-self theories and narrative-self theories. I argue that Sartre’s theory incorporates both an emphasis on the singular first-person perspective, which is characteristic of minimal-self theories, and an emphasis on the practical intelligibility of experience, which is characteristic of narrative-self theories. The distinctiveness of the Sartrean combination of these motifs consists in its idea of the necessary ideal-relatedness of consciousness. According to Sartre, the logical structure (...) of the pre-reflective cogito requires the haunting presence of an ideal of self-coincidence, which determines for consciousness the meaning of its lived experiences. Consciousness exists as a question to itself due to this ideal-relatedness, and it answers this question by projecting its possibilities as creative and symbolic realizations of this ideal. Establishing the connection between Sartre’s theory of imagination and his theory of selfhood, I suggest that both the ideal and the possibility of consciousness are lived in the manner of the imaginary. (shrink)