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

Existential instantiation is a rule of inference that allows us infer, from the proposition that there are some p things, the proposition that a is a p thing. What role does 'a' play here? According to one account, recently defended by Breckenridge and Magidor, we use 'a' to refer to a p thing. I argue that this cannot be right. I propose an alternative account, according to which we use 'a' to refer to a supposedly p thing.

This paper explores a new language of neighbourhood structures where existential information can be given about what kind of worlds occur in a neighbourhood of a current world. The resulting system of ‘instantial neighbourhood logic’ INL has a nontrivial mix of features from relational semantics and from neighbourhood semantics. We explore some basic model-theoretic behavior, including a matching notion of bisimulation, and give a complete axiom system for which we prove completeness by a new normal form technique. In addition, (...) we relate INL to other modal logics by means of translations, and determine its precise SAT complexity. Finally, we discuss proof-theoretic fine-structure of INL in terms of semantic tableaux and some expressive fine-structure in terms of fragments, while discussing concrete illustrations of the instantial neighborhood language in topological spaces, in games with powers for players construed in a new way, as well as in dynamic logics of acquiring or deleting evidence. We conclude with some coalgebraic perspectives on what is achieved in this paper. Many of these final themes suggest follow-up work of independent interest. (shrink)

The rule of universal instantiation appears to be subject to counterexamples, although the rule of existential generalization is not subject to the same doubts. This paper is a survey of ways of responding to this problem, both conservative and revisionist. The conclusion drawn is that logical validity should be defined in terms of assertibility in a context rather than in terms of truth on an interpretation. Contexts are here defined, not in terms of the attitudes of the interlocutors, (...) but in terms of the goals of conversation, and assertibility is explained in terms of cooperation. (shrink)

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

Every recursively enumerable extension of arithmetic which obeys the disjunction property obeys the numerical existence property [Fr, 1]. The requirement of recursive enumerability is essential. For extensions of intuitionistic second order arithmetic by means of sentences (in its language) with no existential set quantifiers, the numerical existence property implies the set existence property. The restriction on existential set quantifiers is essential. The numerical existence property cannot be eliminated, but in the case of finite extensions of HAS, can be (...) replaced by a weaker form of it. As a consequence, the set existence property for intuitionistic second order arithmetic can be proved within itself. (shrink)

Two fundamental rules of reasoning are Universal Generalisation and Existential Instantiation. Applications of these rules involve stipulations such as ‘Let n be an arbitrary number’ or ‘Let John be an arbitrary Frenchman’. Yet the semantics underlying such stipulations are far from clear. What, for example, does ‘n’ refer to following the stipulation that n be an arbitrary number? In this paper, we argue that ‘n’ refers to a number—an ordinary, particular number such as 58 or 2,345,043. Which one? (...) We do not and cannot know, because the reference of ‘n’ is fixed arbitrarily. Underlying this proposal is a more general thesis: Arbitrary Reference : It is possible to fix the reference of an expression arbitrarily. When we do so, the expression receives its ordinary kind of semantic-value, though we do not and cannot know which value in particular it receives. Our aim in this paper is defend AR. In particular, we argue that AR can be used to provide an account of instantial reasoning, and we suggest that AR can also figure in offering new solutions to a range of difficult philosophical puzzles. (shrink)

I consider the proper interpretation of the process of ecthesis which Aristotle uses several times in the Prior analytics for completing a syllogistic mood, i.e., showing how to produce a deduction of a conclusion of a certain form from premisses of certain forms. I consider two interpretations of the process which have been advocated by recent scholars and show that one seems better suited to most passages while the other best fits a single remaining passage. I also argue that ecthesis (...) for Aristotle really means ?setting out? the case to be proved using letters. Aristotle?s remarks about the use of letters in mathematical proofs suggest that he had some understanding of rules equivalent to universal generalization and existential instantiation; the ?proofs through ecthesis? are so called because they rest on the latter rule, with which use of letters is involved in a special way. (shrink)

A comprehensive introduction to formal logic, Logic and Philosophy: A Modern Introduction is a rigorous yet accessible text, appropriate for students encountering the subject for the first time. Abundant, carefully crafted exercise sets accompanied by a clear, engaging exposition build to an exploration of sentential logic, first-order predicate logic, the theory of descriptions, identity, relations, set theory, modal logic, and Aristotelian logic. And as its title suggests, Logic and Philosophy is devoted not only to logic but also to the philosophical (...) debates that led to the development of the field. Much new material has been added for the 13th edition. An introduction to set theory and its relationship to logic and mathematics, including philosophical issues, is now part of Chapter 13. Chapter 15 is an introduction to modal logic and Kripke semantics, concluding with a discussion of philosophical problems with any logical accommodation of modalities. Instructors who do not wish to present proof methods will find chapters on truth trees for both sentential and first-order logic, and a presentation of trees for modal logic. Special features of this text include presentations of the history of logic, alternatives to traditional methods of conditional and indirect proof, and a discussion of semantic problems with universal and existential instantiations. Throughout, the authors are sensitive to philosophical issues that arise from the relationship between ordinary language, symbolic logic, and justifications for the syntax and semantics of the various symbolic languages. Discussions range from the justification of the truth table for the sentential rendering of if... then statements to semantic and syntactic paradoxes, including some troubling paradoxes that arise in ordinary language (e.g., the so-called hangman or surprise quiz paradox). Logic and Philosophy includes ample material for a one-semester or two-semester course and provides a thorough preparation for more advanced logic courses. (shrink)

The neo-logicist argues tliat standard mathematics can be derived by purely logical means from abstraction principles—such as Hume's Principle— which are held to lie 'epistcmically innocent'. We show that the second-order axiom of comprehension applied to non-instantiated properties and the standard first-order existential instantiation and universal elimination principles are essential for the derivation of key results, specifically a theorem of infinity, but have not been shown to be epistemically innocent. We conclude that the epistemic innocence of mathematics has (...) not been established by the neo-logicist. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s (...) original argument commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

PARC is an "appended numeral" system of natural deduction that I learned as an undergraduate and have taught for many years. Despite its considerable pedagogical strengths, PARC appears to have never been published. The system features explicit "tracking" of premises and assumptions throughout a derivation, the collapsing of indirect proofs into conditional proofs, and a very simple set of quantificational rules without the long list of exceptions that bedevil students learning existential instantiation and universal generalization. The system can (...) be used with any Copi-style set of inference rules, so it is quite adaptable to many mainstream symbolic logic textbooks. Consequently, PARC may be especially attractive to logic teachers who find Jaskowski/Gentzen-style introduction/elimination rules to be far less "natural" than Copi-style rules. The PARC system is also keyboard-friendly in comparison to the widely adopted Jaskowski-style graphical subproof system of natural deduction, viz., Fitch diagrams and Copi "bent arrow" diagrams. (shrink)

This thesis is a critique of Jaakko Hintikka’s reconstruction of Kantian intuition in logical and mathematical reasoning. I argue that Hintikka’s reconstruction of Kantian intuition in particular and his reconstruction of Kant's philosophy of mathematics in general fails to be successful in two ways: First, the logical formula which contains an instantiated term (henceforth, instantial term) that is introduced by the rule of existential instantiation in the ecthesis part of a proof of an argument is not even a (...) proper singular proposition whose relation to its object is supposed to be immediate. It is not a proper singular proposition because its truth conditions are general, i.e., it makes a general statement about a class of individuals of the sort instantiated- a statement whose analysis is based on quantifiers. Second, I show that certain proofs in mathematics- those in the form of reductio ad absurdum- are not captured by Hintikka’s reconstruction of Kant’s philosophy of mathematics either. (shrink)

This article discusses the references to Kant made by Hintikka in his recent writings on epistemology and philosophy of science. Hintikka holds that Kant's argument concerning the justification of mathematical methods can be understood as a question concerning the legitimacy of the rule of "existential instantiation." He also holds that the difference between "surface information" and "depth information" in first-order languages throws light on the Kantian concept of "Ding an sich". It is argued that Hintikka's attitude reflects instead (...) a specific philosophical standpoint, rather than a reformulation of Kantian concepts. (shrink)

This article is a clarification of different procedures in natural deduction: universal instantiation, Universal generalisation, Existential generalisation, And existential instantiation. The author discusses rules concerning universal generalisation from copi's "symbolic logic". (staff).

We propose the use of variable declarations in natural deduction. A variable declaration is a line in a derivation that introduces a new variable into the derivation. Semantically, it can be regarded as declaring that the variable denotes an element of the universe of discourse. Undeclared variables, in contrast, do not denote anything, and may not occur free in any formula in the derivation. Although most natural deduction systems in use today do not have variable declarations, the idea can be (...) traced back to one of the first papers on natural deduction. We show how the use of variable declarations in natural deduction leads to a formal system that has a number of desirable features: It is simple, easy to use and understand, and corresponds closely to ordinary informal reasoning. Soundness and completeness of the system are easily proven. Furthermore, the system clarifies the role of the existential instantiation rule in natural deduction. (shrink)

A generalization of the axioms of choice says that all the Skolem functions of a true first‐order sentence exist. This generalization can be implemented on the first‐order level by generalizing the rule of existential instantiation into a rule of functional instantiation. If this generalization is carried out in first‐order axiomatic set theory , it is seen that in any model of FAST, there are sentences S which are true but whose Skolem functions do not exist. Since this (...) existence is what the truth of S means in a combinational sense, in any model of FAST there are sentences which are set‐theoretical “true” but false in the normal sense of the word. This shows that the assumptions on which the axiom of choice rests cannot be fully implemented in FAST. The axiom choice is not a set‐theoretical principle. (shrink)

A generalization of the axioms of choice says that all the Skolem functions of a true first‐order sentence exist. This generalization can be implemented on the first‐order level by generalizing the rule of existential instantiation into a rule of functional instantiation. If this generalization is carried out in first‐order axiomatic set theory, it is seen that in any model of FAST, there are sentences S which are true but whose Skolem functions do not exist. Since this existence (...) is what the truth of S means in a combinational sense, in any model of FAST there are sentences which are set‐theoretical “true” but false in the normal sense of the word. This shows that the assumptions on which the axiom of choice rests cannot be fully implemented in FAST. The axiom choice is not a set‐theoretical principle. (shrink)

So begins a recent ontological argument. But what if there are no most perfect beings? Letting God be one, that is, letting “God” name one at the very beginning seems premature. Clearly it is best to leave “God” out of the argument until one is in a position to introduce him by existential instantiation, or, by further argumentation, to identify him with a most perfect being: clearly it is best to leave “God” out of the argument until it (...) has been established that there is a most perfect being. (shrink)

This paper considers Anselm’s Proslogion argument against a background of historical events that include philosophical disputes between Christian and Jewish polemicists. I argue that the Proslogion argument was addressed, in part, to non-Christian theists and that it offered a response to Jewish polemicists who had argued that the Christian conception of God as an instantiated unity was irrational. Anselm is not trying to convince atheists that there really is a God. He is arguing that the Christian conception of God is (...) logically coherent. (shrink)

This book is an introductory logic text of moderate difficulty which contains added topics not usually found in an introductory book. The book has two parts--basic logic and advanced logic. The basic logic contains propositional logic through conditional proofs, syllogistic logic, the fundamentals of set theory and their application to both syllogistic and non-syllogistic inferences along with the use of Venn and Carroll diagrams, and concludes with predicate logic using the rules for Universal Instantiation, Existential Instantiation, Universal (...) Generalization, and Existential Generalization. The part on advanced logic begins by extending the predicate logic to identity, descriptions, and relations. A presentation of modal logic includes C. I. Lewis' modal systems S3, S4, and S5; modal logic with quantification; epistemic, doxastic, and deontic modalities; and mixed modalities. A chapter on the logic of ordinary language considers analytic statements, empty expressions, and equivalence and implication in ordinary language. The author also discusses "tools of analysis" such as definition, the theory of meaning, probability theory, and scientific inference. Each chapter concludes with a section entitled "Philosophical Applications" or "Philosophical Difficulties." One of these sections contains the author's version of Hartshorne's modal proof of Anselm's ontological argument. Answers are provided for the even-numbered exercises.--T. G. N. (shrink)

Self-presentation is a term that indicates conscious and unconscious strategies for controlling or managing how one is perceived by others in terms of both appearance and comportment. In this article, I will discuss the phenomenology of self-presentation with respect to the phenomenological insights of Edmund Husserl and Merleau-Ponty regarding the visibility of the body within intercorporeal relations through ‘behaviour’ and ‘expression.’ In doing so, I will turn to the work of the Canadian sociologist and social theorist Erving Goffman. Goffman’s account (...) of self-presentation suggests why embodied subjects adopt certain styles of ordered bodily behaviour as determined by the broader social order, giving existential and social significance to the ontological structures of intercorporeal bodily communication. Following Goffman, I will suggest that the embodied subject is continuously—and constitutionally—engaged in implicit and explicit strategies to manage how the body is presented to others. In articulating self-presentation as a feature of intercorporeality, my aim in this article is to use Goffman’s insights to extend Husserl’s and Merleau-Ponty’s accounts of bodily communication by demonstrating that bodily communication that is instantiated at the level of intercorporeality is always expressed through social life with its various historical, cultural and linguistic dimensions. (shrink)

Along with a well-honoured tradition, we will accept that intentionality is at least a property a thought holds necessarily, i.e., in all possible worlds that contain it; more specifically, a necessary relation, namely the relation of existential dependence of the thought on its intentional object. Yet we will first of all try to show that intentionality is more than that. For we will claim that intentionality is an essential property of the thought, namely a property whose predication to the (...) thought is true in virtue of the identity, or nature, of such a thought. More particularly, for us intentionality will again be a relation, yet a relation of ontological dependence of the thought on its intentional object; specifically, the relation for the thought of being constituted by its object. Moreover, we will try to show that if intentionality is such a constitutive relation for the thought that has it, certain metaphysical consequences ensue. First, an objectual thought, a thought whose content basically consists in its intentional object, is nothing but that object in a certain cogitative modality, or, which is the same, as playing a certain motivational role for the subject entertaining the thought itself (at a certain time). Second, if an objectual thought is nothing but an intentional object in a cogitative modality, such a thought, not only as a type, but also as a token, is an abstract entity. More specifically, an objectual thought-type, an abstract object par excellence, is indeed instantiated by objectual thought-tokens which are again abstract particulars, yet of a specific kind: namely, tropes of a relational sort depending for their existence on their bearers (and possibly also on their temporal location). (shrink)

This paper presents a case study of the English noun amount, a word that ostensibly relies on measurement in its semantics, yet stands apart from other quantizing nouns on the basis of its existential interpretation. John ate the amount of apples that Bill ate does not mean John and Bill ate the same apples, but rather that they each ate apples in the same quantity. Amount makes reference to abstract representations of measurement, that is, to degrees. Its existential (...) interpretation evidences the fact that degrees contain information about the objects that instantiate them. Outside the domain of nominal measurement, the noun kind exhibits behavior strikingly similar to that of amount; both yield an existential interpretation. This observation motivates re-conceiving of degrees as nominalized quantity-uniform properties—the same sort of entity as kinds. Thus, the semantic machinery handling kinds also handles degrees: as nominalized properties, degrees are instantiated by objects that hold the corresponding property; when instantiated by real-world objects, degrees deliver the existential interpretation. (shrink)

The purpose of this paper is to offer an interpretation of the Tractatus’ proof of the unity of logic and language. The kernel of the proof is the thesis that the sole logical constant is the general propositional form. I argue that the Grundgedanke, the existence of the sole fundamental operation N and the analyticity thesis, together with the fact that the operation NN can always be seen as having no specific formal difference between its result and its base, imply (...) that NN is intrinsic to every elementary proposition. I also argue that the picture theory of proposition is an account of the generation of propositions via naming, and that its crucial idea is that naming is the instantiation of the form of a name, which consists in arbitrarily picking out an object as the meaning of the name from those objects sorted out by the form of the name. It follows that the existential quantifier, that is, NN, is intrinsic to naming (and therefore to every elementary proposition). It is then proven that the sole logical constant is the general propositional form. This, together with the truth‐functionality of logical necessity, implies that logic and language are unified via a general rule – logical syntax. (shrink)

In this article, I examine the relation between phenomenology and anthropology by placing Foucault's first published piece, “Introduction to Binswanger's Dream and Existence“ in dialectical tension with The Order of Things. I argue that the early work, which so far hasn't received much critical attention, is of particular interest because, whereas OT is notoriously critical of anthropological confusions in general, and of “Man” as an empirico‐transcendental double in particular, IB views “existential anthropology” as a unique opportunity to establish a (...) new and fruitful relation between transcendental forms and empirical contents. This is because IB focuses on a specific object, “Menschsein”, which is neither the transcendental subject nor an empirical being. Thus for the young Foucault, existential anthropology occupies a fertile methodological middle ground between transcendental approaches and empirical forms of analysis. I first interpret anthropology in the light of phenomenology and defend the view that Menschsein is neither a transcendental structure nor a concrete particular, but the instantiation of the first in the second. I argue that for anthropology to yield the full theoretical benefits Foucault claims for it, the particular cases of Menschsein examined in existential analysis have to be regarded as exemplary. I then read phenomenology back in the light of anthropology and examine how, for Foucault, the analysis of Menschsein in dreams benefits fundamental ontology by affording us a clearer view of some of the main existentiale than the focus on everyday waking experience in Being and Time. Finally, I turn to the limits and difficulties of this early position and my reading of it, and to their consequences for Foucault's later view. (shrink)

This article offers a detailed reading Gascoigne and Thornton’s book Tacit Knowledge, which aims to account for the tacitness of tacit knowledge while preserving its status as knowledge proper. I take issue with their characterization and rejection of the existential-phenomenological Background—which they presuppose even as they dismiss—and their claim that TK can be articulated “from within”—which betrays a residual Cartesianism, the result of their elision of conceptuality and propositionality. Knowledgeable acts instantiate capacities which we might know we have and (...) of which we can be aware, but which are not propositionally structured at their “core”. Nevertheless, propositionality is necessary to what Robert Brandom calls, in Making It Explicit and Articulating Reasons, “explicitation”, which notion also presupposes a tacit dimension, which is, simply, the embodied person, without which no conception of knowledge can get any purchase. On my view, there is no knowledgeable act that can be understood as such separately from the notion of skilled corporeal performance. The account I offer cannot make sense of so-called “knowledge-based” education, as opposed to systems and styles which supposedly privilege “contentless” skills over and above “knowledge”, because on the phenomenological and inferentialist lines I endorse, neither the concepts “knowledge” nor “skill” has any purchase or meaning without the other. (shrink)

The aim of this paper is to show that the logical approach to philosophy of science could be further improved with tools like the ones put forward by Schurz in his proposal to model scientific theory development. Section 2 is a presentation of the basics in AGM epistemology of logical abduction and of their connection. In Sect. 3 several operations for theory change proposed by Schurz (2011; 2018) are presented, followed by my own proposal of a further case of hypothesis (...) refinement, consisting of the instantiation of an existential abduction. Section 4 offers a discussion and conclusions. (shrink)

This essay argues that what makes Michel Foucault’s oeuvre not only stand apart but also cohere is an assiduous philosophical practice taking the form of an ongoing yet concrete self-modification in the medium of thought. Part I gives an account of three essential aspects of Foucault’s conception of philosophical activity. Beginning with his famous characterization of philosophy in terms of ascēsis, it moves on to articulate his characterization of philosophical practice as a distinct form of meditation, differing from both Cartesian (...) meditation and Hegelian meditation, as it aims to stand vigil for the day to come and operates as a preface to transgression. Part II begins the articulation of crucial traits left implicit in this understanding of philosophy by turning to Foucault’s in-depth investigation of philosophy in Antiquity during his lectures at the Collège de France in the 1980s. First, it develops how philosophy here begins to constitute and distinguish itself by establishing itself as an activity that has a privileged relationship to truth and truth-telling as an unremitting, existentially determining challenge for the philosopher. Further, it instantiates how Platonism elaborates the need for a sustained ‘auto-ascetic’ ethical non-compliant differentiation as the condition of possibility for accessing and stating truth, and then describes how the assertion of an ethical differentiation and attitude in Cynicism takes the form of an insistent combat for another world in this world. Finally, it underlines how the ethical-practical philosophical work upon oneself in Antiquity is developed in an ongoing critical and political exchange with others. Part III indicates how ethical differentiation according to Foucault remains an essential precondition for the practice of philosophy and is further developed in the modern age. This is particularly perspicuous in Kant’s determination of the Enlightenment, in the attitude of modernity exemplified by Baudelaire, and in the history of revolt since the beginning of early Modernity. On this background, Part IV develops how philosophy as an ongoing meditative practice of self-modification leads to an affirmative critique, confirming the virtuality of this world in order to investigate the potentiality in the examined. In this manner, the essay presents Foucault’s philosophical practice as well as an outline of the history of ideas of a seemingly alternate, yet still agenda-setting conception of philosophical practice today. (shrink)

This essay argues that what makes Michel Foucault’s oeuvre not only stand apart but also cohere is an assiduous philosophical practice taking the form of an ongoing yet concrete self-modification in the medium of thought. Part I gives an account of three essential aspects of Foucault’s conception of philosophical activity. Beginning with his famous characterization of philosophy in terms of ascēsis, it moves on to articulate his characterization of philosophical practice as a distinct form of meditation, differing from both Cartesian (...) meditation and Hegelian meditation, as it aims to stand vigil for the day to come and operates as a preface to transgression. Part II begins the articulation of crucial traits left implicit in this understanding of philosophy by turning to Foucault’s in-depth investigation of philosophy in Antiquity during his lectures at the Collège de France in the 1980s. First, it develops how philosophy here begins to constitute and distinguish itself by establishing itself as an activity that has a privileged relationship to truth and truth-telling as an unremitting, existentially determining challenge for the philosopher. Further, it instantiates how Platonism elaborates the need for a sustained ‘auto-ascetic’ ethical non-compliant differentiation as the condition of possibility for accessing and stating truth, and then describes how the assertion of an ethical differentiation and attitude in Cynicism takes the form of an insistent combat for another world in this world. Finally, it underlines how the ethical-practical philosophical work upon oneself in Antiquity is developed in an ongoing critical and political exchange with others. Part III indicates how ethical differentiation according to Foucault remains an essential precondition for the practice of philosophy and is further developed in the modern age. This is particularly perspicuous in Kant’s determination of the Enlightenment, in the attitude of modernity exemplified by Baudelaire, and in the history of revolt since the beginning of early Modernity. On this background, Part IV develops how philosophy as an ongoing meditative practice of self-modification leads to an affirmative critique, confirming the virtuality of this world in order to investigate the potentiality in the examined. In this manner, the essay presents Foucault’s philosophical practice as well as an outline of the history of ideas of a seemingly alternate, yet still agenda-setting conception of philosophical practice today. (shrink)

I use Ralph Ellison's Invisible Man to consider the requirements of existentialism to be relevant to racialized experience. Black existentialism is distinguished from white existentialism by its focus on anti-black racism. However, black existentialism is similar to white existentialism in its moral requirement that agents take responsibility so as to be in good faith. Ralph Ellison's invisible man displays good faith at the end of the novel by assuming responsibility for his particular situation. The idiosyncratic development of the novel can (...) be interpreted as an example of the ways in which existentialist values ought to be instantiated through unique individual experience. However, blackness, or any racial identity, is not itself an existential structure because it is not universal. Rather, existentialist requirements for good faith can be applied to racialized situations by both whites and blacks. (shrink)

Counterpart theory affords an especially flexible form of essentialism. Gideon Rosen and the author suggested that by endowing the entire world with peculiar essences, they could likewise provide truth makers for negative existential propositions. Thus they avoid the need for states of affairs or non‐transferable tropes as truth makers. States of affairs are somehow constructed from particular things and the properties they instantiate. A legitimate counterpart relation can exist which validates only one direction of set‐theoretical essentialism, but under which (...) any counterpart of a state of affairs must be a state of affairs. States of affairs or tropes are not needed for purposes of truth making. But also, if we help ourselves to the flexibility of counterpart theory, the principal difficulties that stand in the way of using states of affairs or tropes as truth makers vanish. (shrink)

This book offers a bold and controversial new thesis regarding the nature of prejudice. The authors' central claim is that prejudice is not simply learned, rather it is predisposed in all human beings and is thus the foundation for ethical valuation. They aim to destroy the illusion that prejudice is merely the result of learned beliefs, socially conditioned attitudes, or pathological states of development. Contrary to traditional accounts, prejudice itself is not a negative attribute of human nature, rather it is (...) the necessary precondition for the self and civilization to emerge. Defined as the preferential self-expression of valuation, prejudice gives rise to greater existential complexities and novelties that elevate selfhood and society to higher states of ethical realization. Rather than offer another contribution that highlights the destructive nature of prejudice, Mills and Polanowski address the ontological, psychological, and dialectical origins of prejudice as it manifests itself in the process of selfhood and culture. They provide an original conceptualization of the phenomenology of prejudice and its dialectical instantiation in the ontology of the individual, worldhood, and the very structures of subjectivity. As a unique synthesis of psychoanalysis, Hegelian idealism, Heideggerian existential ontology, and Whiteheadian process philosophy, prejudice is the indispensable ground for humanity to actualize its highest potentiality-for-Being. The striking result is (1) a revolutionary theory of human nature, (2) a new ethical system, and (3) the elevation of dialectical ethics to the domain of metaphysics. (shrink)

In this paper I examine how Aristotle thinks syllogisms establish existence. I argue against the traditional "Instantiation" reading and in favor of an alternative "causal" or "structural" account of existential syllogisms. On my interpretation, syllogisms establish the existence of kinds by revealing that they are per se unities whose features are causally underwritten by a single cause/essence. They do so by tracing correlations between propria--peculiar, coextensive features--of the kind in question.

Qiyās, or “correlational inference” (often glossed as “analogy”), comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause (or occasioning factor, or ratio legis) giving rise to a ruling in God’s Law. This was most often discussed (and disputed) under the rubric of “the (...) modes of causal justification” (masālik al-taʿlīl). Among these modes was the much debated test of dawarān (concomitance of presumed cause and effect). In brief, proponents of dawarān employed it to justify claims that a property (waṣf) occasioned the ruling (ḥukm) in an authoritative source-case (aṣl). In concert with other considerations, the demonstrated co-presence (ṭard) and co-absence (ʿaks) of property and ruling—that is, their concomitance “in existence” (wujūdan) and “in nonexistence” (ʿadaman)— was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation (ʿilliyya), the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false (within the framework of a classical truth-functional formal semantics), but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property (or phenomenon) and ruling (or effect) as types (concepts or propositions linguistically expressed by a sentence) as opposed to tokens (instantiations of the type; the real, ontological events that verify the proposition). Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla (arguably, the property or properties which provide the ruling’s material cause) and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl (causal justification) in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)