Logic and Philosophy of Logic, Misc

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or not (...) arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to demonstrate i) that (...) the Indirectness Condition is cancellable, hence a conversational implicature, ii) that the Indirectness Condition is not part of the conventional, truth-relevant meaning of ‘if’, and accordingly, iii) semantic or logical equivalence between indicative and material conditionals. (shrink)

The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...) claim that the material conditional interpretation of laws statements, dispositions ascriptions, or any causal claim is generally accepted as wrong and outdated. Still, there seem to be some basic logical assumptions that are shared by most of the participants in the debate on causal matters which at least stems from the traditional truth functional interpretation of conditionals. This is indicated by the vocabulary in the philosophical debate on causation, where one often speaks of ‘counterfactuals’, ‘possible worlds’ and ‘necessity’ without being explicit on whether or to what extent one accepts the logical-technical definition of these notions. To guarantee a non-Humean and non-extensional approach to causal relations, it is therefore important to be aware of the logical and metaphysical implications of the technical vocabulary. -/- In this paper we want to show why extensional logic cannot deal with causal relations. Via a logical analysis of law-like statements ‘All Fs are Gs’ we hope to throw some new light on interrelated notions like causation, laws, induction, hypotheticality and modality. If successful, our analysis should be of relevance for a deeper understanding of any type of causal relations, whether we understand them to be laws, dispositions, singulars or categoricals. (shrink)

Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...) claim to any notion of reality. This foundation begins with Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and the relationship of language to formal logic. Ultimately, we arrive at an answer to the question of why people believe the things they do. This is effectively a modification of Alfred Tarski’s semantic theory of truth. The second major issue addressed is the ‘dreaded’ Hard Problem of Consciousness as first stated by David Chalmers in 1995. The solution is found in the unification of consciousness, information theory and notions of physicalism. The physical world is shown to be an isomorphic representation of the phenomenological conscious experience. New concepts in understanding how language operates help to explain why this relationship has been so difficult to appreciate. The inclusion of concepts from information theory shows how a digital mechanics resolves heretofore conflicting theories in physics, cognitive science and linguistics. Scientific orthodoxy is supported, but viewed in a different light. Mainstream science is not challenged, but findings are interpreted in a manner that unifies consciousness without contradiction. Digital mechanics and formal systems of logic play central roles in combining language, consciousness and the physical world into a unified theory where all can be understood within a single consistent framework. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...) incorrect. (shrink)

Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer scrutiny are not. The premises have modal import that is required for the arguments but is not immediately grasped on inspection, and which ultimately undermines the simpler logical intuitions that make the premises seem plausible. Furthermore, the notion of necessity that they involve goes unspecified, and yet must go beyond standard varieties of logical necessity. This leaves us little reason (...) to believe the premises, while their implausible existential import gives us good reason not to. (shrink)

In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly (...) the desired depth and all the atomics in the set. To make the generators uniform (i.e. to make them return every formula in their space with the same probability), we will prove various cardinality results about those spaces. (shrink)

Un libro de texto de lógica, argumentación y razonamiento probabilístico que he estado escribiendo durante los últimos años. Lo he usado para clases en bachillerato, licenciatura y posgrado. Está incompleto todavía, pero las primeras tres partes (argumentación, lógica proposicional, y cuantificación) están completas a un 85%, aproximadamente. Si lo usas, me ayudarías mucho mandándome comentarios, críticas y cualquier sugerencia.

Artificial Intelligence, in press. Abstract: For some time we have been developing, and have had significant practical success with, a time-sensitive, contradiction-tolerant logical reasoning engine called the active logic machine (ALMA). The current paper details a semantics for a general version of the underlying logical formalism, active logic. Central to active logic are special rules controlling the inheritance of beliefs in general (and of beliefs about the current time in particular), very tight controls on what can be derived from direct (...) contradictions (P &￢P), and mechanisms allowing an agent to represent and reason about its own beliefs and past reasoning. Furthermore, inspired by the notion that until an agent notices that a set of beliefs is contradictory, that set seems consistent (and the agent therefore reasons with it as if it were consistent), we introduce an “apperception function” that represents an agent’s limited awareness of its own beliefs, and serves to modify inconsistent belief sets so as to yield consistent sets. Using these ideas, we introduce a new definition of logical consequence in the context of active logic, as well as a new definition of soundness such that, when reasoning with consistent premises, all classically sound rules remain sound in our new sense. However, not everything that is classically sound remains sound in our sense, for by classical definitions, all rules with contradictory premises are vacuously sound, whereas in active logic not everything follows from a contradiction. (shrink)

In this article I offer an explicating interpretation of the procedure of content recarving as described by Frege in §64 of the Foundations of Arithmetic. I argue that the procedure of content recarving may be interpreted as an operation that while restricting the subject matter of a sentence, performs a generalization on what the sentence says about its subject matter. The characterization of the recarving operation is given in the setting of Yablo’s theory of subject matter and it is based (...) on the relation of determination between properties. The main advantage of the proposal is its generality, for it is applicable not just to the case of abstraction principles. (shrink)

Much of the last fifty years of scholarship on Aristotle’s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory or formal ontology, a system concerned with general features of the world. In this paper, I will argue that this a misleading interpretative framework. The syllogistic is something sui generis: by our lights, it is neither clearly a logic, nor clearly a theory, but rather exhibits certain (...) characteristic marks of logics and certain characteristic marks of theories. In what follows, I will present a debate between a theoretical and a logical interpretation of the syllogistic. The debate centers on the interpretation of syllogisms as either implications or inferences. But the significance of this question has been taken to concern the nature and subject-matter of the syllogistic, and how it ought to be represented by modern techniques. For one might think that, if syllogisms are implications, propositions with conditional form, then the syllogistic, in so far as it is a systematic taxonomy of syllogisms, is a theory or a body of knowledge concerned with general features of the world. Furthermore, if the syllogistic is a theory, then it ought to be represented by an axiomatic system, a system deriving propositional theorems from axioms. On the other hand, if syllogisms are inferences, then the syllogistic is a logic, a system of inferential reasoning. And furthermore, it ought to be represented as a natural deduction system, a system deriving valid arguments by means of intuitively valid inferences. I will argue that one can disentangle these questions—are syllogisms inferences or implications, is the syllogistic a logic or a theory, is the syllogistic a body of worldly knowledge or a system of inferential reasoning, and ought we to represent the syllogistic as a natural deduction system or an axiomatic system—and that we must if we are to have a historically accurate understanding of Aristotle. (shrink)

In contemporary philosophy there is much focus on conceptual engineering: the enterprise of revising and replacing concepts. In this talk, I focus on a theoretical issue that has not yet received much attention. What principled limits are there to this sort of enterprise? Are there concepts that for principled reasons cannot or should not be revised or replaced? Examples discussed include logical concepts and normative concepts.

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., "Intuitionistic logic is correct" or "The law of excluded middle holds") into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for "universal" consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

The most serious objection to Beall and Restall’s case-based logical pluralism is the so-called collapse argument. According to the collapse argument, logical pluralism is not genuinely pluralistic and collapses into a single privileged relation of logical consequence. In response, Caret offered an account of logical contextualism that supposedly maintains the merits of Beall and Restall’s case-based logical pluralism while circumventing the collapse argument. In this paper, I first point out a gap in the collapse argument in that it does not (...) affect pluralists who assume that there is no uniquely strongest admissible consequence relation. This gap, then, is closed by an improved version of the collapse argument, which makes use of Eklund’s classification of types of pluralism. Finally, I discuss how Caret’s logical contextualism cannot hold up against this new formulation of the collapse argument unless implausible assumptions about the contents of normative operators are made. Moreover, by reformulating the collapse argument, I determine the extent to which logical monism and pluralism oppose each other, paving the way for fruitful future discussion. (shrink)

In debates concerning the consequence argument, it has long been claimed that McKay and Johnson (1996) demonstrated the invalidity of rule (β). Here, I argue that their result is not as robust as we might like to think. First, I argue that McKay and Johnson’s counterexample is successful if one adopts a certain interpretation of “no choice about” and if one is willing to deny the conditional excluded middle principle. In order to make this point I demonstrate that (β) is (...) valid on Stalnaker’s theory of counterfactuals. This result is important and should not be neglected, I argue, because there is a particular line of objection to the revised formulations of the consequence argument that does not succeed against the original version. (shrink)

Dylemat i paradoksy wymienione w tytule długo stanowiły dla logiki zagadkę. Do ich rozwiązania okazało się konieczne dokonanie pewnych rozstrzygnięć filozoficznych. Artykuł podaje te rozstrzygnięcia i omawia sposoby rozwiązania każdego z problemów.

This is to appear in a Festschrift for Hilary Putnam on his 85th birthday. This is a pre-publication, not final, version.

Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This distinction is closely (...) tied to two conceptions of deductive logic, and it is the key, I argue, for understanding first the connection between meaning and inferential role, and second what the paradoxes show more generally. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- first (...) for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...) outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

According to an influential view, when it comes to representing reality, some words are better suited for the job than others. This is elitism. There is reason to believe that the set of the best, or elite, words should not be redundant or arbitrary. However, we are often forced to choose between these two theoretical vices, especially in cases involving theories that seem to be mere notational variants. This is the riddle of redundancy: both redundancy and arbitrariness are vicious, but (...) there are cases in which one must be picked. Logical realists admit that there are some logical constants among the elite words. This leads to awkward questions, such as which among conjunction and disjunction is elite. In this paper, I show how the riddle of redundancy arises for logical realists, and offer a solution. This approach requires us to change how we represent negation. Instead of using some particular symbol, we represent negation by flipping formulae over the horizontal axis. (shrink)

Logical pluralism is the view that there is more than one correct logic. This is not necessarily a controversial claim but in its most exciting formulations, pluralism extends to logics that have typically been considered rival accounts of logical consequence – to logics, that is, which adopt seemingly contradictory views about basic logical laws or argument forms. The logical pluralist challenges the philosophical orthodoxy that an argument is either deductively valid or invalid by claiming that there is more than one (...) way for an argument to be valid. In this book, Erik Stei defends logical monism, the view that there is exactly one correct logic. He provides a detailed analysis of different possible formulations of logical pluralism, and offers an original account of the plurality of correct logics that incorporates the benefits of both pluralist and monist approaches to logical consequence. His book will be valuable for a range of readers in the philosophy of logic. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

Thagard presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system (...) that takes conceptual structures as units of revisions. We will show how our conceptual revision and contraction operations satisfy analogous of the AGM postulates at the conceptual level and are able to mimic Thagard’s radical types of conceptual change. (shrink)

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem of (...) interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...) que se proponen solucionarlo. En esta medida, en este texto mostraremos cómo la Regla de Adición sí trae problemas semánticos que pueden ser planteados desde diferentes perspectivas contemporáneas, como la extensionalidad del condicional, los principios proscriptivos y la validez conexiva. (shrink)

For Kant, the human cognitive faculty has two sub-faculties: sensibility and the understanding. Each has pure forms which are necessary to us as humans: space and time for sensibility; the categories for the understanding. But Kant is careful to leave open the possibility of there being creatures like us, with both sensibility and understanding, who nevertheless have different pure forms of sensibility. They would be finite rational beings and discursive cognizers. But they would not be human. And this raises a (...) question about the pure forms of the understanding. Does Kant leave open the possibility of discursive cognizers who have different categories? Even if other discursive cognizers might not sense like us, must they at least think like us? We argue that textual and systematic considerations do not determine the answers to these questions and examine whether Kant thinks that the issue cannot be decided. Consideration of his wider views on the nature and limits of our knowledge of mind shows that Kant could indeed remain neutral on the issue but that the exact form his neutrality can take is subject to unexpected constraints. The result would be an important difference between what Kant says about discursive cognizers with other forms of sensibility and what he is in a position to say about discursive cognizers with other forms of understanding. Kantian humility here takes on a distinctive character. (shrink)

ABSTRACT This paper seeks to clarify Husserl’s critical remarks about Kant’s view of logic by comparing their respective views of logic. In his Formal and Transcendental Logic Husserl criticizes Kant for not asking transcendental questions about formal logic, but rather ascribing an ‘extraordinary apriority’ to it. He thinks the reason for Kant’s uncritical attitude to logic lies in Kant’s view of logic as directed toward the subjective, instead of being concerned with a ‘“world” of ideal Objects’. Whereas for Kant, general (...) logic is about laws of reasoning. Husserl thinks that formal logic should describe formal structures. Husserl claims that if Kant had had a more comprehensive concept of logic, he would have thought of raising critical questions about how logic is possible. This kind of criticism cannot itself use forms of judgments or syllogisms of logic, nor even the ‘inferential’ [schliessende] method more generally, but should be descriptive in nature. Husserl's transcendental phenomenology is the method for such criticism. The paper argues that this results in reflection, and possibly revision, of the logical principles with respect to the normative goals governing the investigation in question. (shrink)

I argue that a tripartite analysis of simple statements such as “Bucephalus is a horse”, according to which they divide into two terms and a copula, requires the notion of a repeatable: something such that more than one particular can literally be it. I pose a familiar dilemma with respect to repeatables, and turn to Avicenna for a solution, who discusses a similar dilemma concerning quiddities. I conclude by describing how Avicenna’s quiddities relate to repeatables, and how both quiddities and (...) repeatables may contribute to a tripartite analysis of predication. (shrink)

We use exact saturation to study the complexity of unstable theories, showing that a variant of this notion called pseudo-elementary class (PC)-exact saturation meaningfully reflects combinatorial dividing lines. We study PC-exact saturation for stable and simple theories. Among other results, we show that PC-exact saturation characterizes the stability cardinals of size at least continuum of a countable stable theory and, additionally, that simple unstable theories have PC-exact saturation at singular cardinals satisfying mild set-theoretic hypotheses. This had previously been open even (...) for the random graph. We characterize supersimplicity of countable theories in terms of having PC-exact saturation at singular cardinals of countable cofinality. We also consider the local analog of PC-exact saturation, showing that local PC-exact saturation for singular cardinals of countable cofinality characterizes supershort theories. (shrink)

The volume assembles a remarkable topical diversity of papers collected on the occasion of the 80th anniversary of Professor Jan Woleński’s, an eminent Polish analytic philo...

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)