This chapter contains sections titled: Appendix: An Axiomatic System of Sortal Logic.

Politike multikulturalnosti nisu tekovina moderne i liberalne drzave, kako se to u javnosti najcesce zakljucuje. Sa problemom "kontrole" multikulturalnosti suocavale su se istorijske imperije, drzave "stare" demokratije, kolonijalna i imigrantska drustva, a nakon eksperimenta sa komunizmom i istocno evropske drzave. Modeli politike multikulturalnosti su brojni i zavise od politickih drustvenih i kulturnih prilika u razlicitim delovima sveta, a cesto susedne drzave bliskih kultura razvijaju razlicite politike multikulturalnosti. U radu se razmatraju istorijska i savremena iskustva u vezi sa politikama multikulturalnosti, a (...) u poslednjem odeljku razmatraju se uslovi u kojima savremena Srbija odgovara na zahteve i izazove sopstvene multikulturalnosti. (shrink)

Constructions having the surface form NP be ADJ enough to VP are examined. It is shown that when ADJ in this construction belongs to a small class of adjectives including lucky or to a larger class including wise, a structural ambiguity appears in the complement of enough which is related to the distinction between implied and non-implied complements made in Karttunen . The underlying syntactic structure of NP be ADJ enough to VP when ADJ is lucky or wise is examined (...) and the ambiguity in the complement of enough is explained through a generalization of syntactic properties of implied complements. The analysis proposed depends crucially on the use of complex semantic features to relate syntactic structures which are not derivable from one another transformationally. Hence it represents a certain innovation in syntactic theory. (shrink)

This paper attends to Emmanuel Levinas’s criticism of the univocity doctrine as it pertains to Baruch Spinoza and in view of Gilles Deleuze’s interpretation. The analysis will have a narrow focus on univocity because it will exclusively treat the univocity of cause in Spinoza and its ethical and political implications. Narrowing the approach will illustrate the importance of the doctrine in Levinas’s minor engagements with the modern philosopher and its convergence with Deleuze’s project in Difference and Repetition and Expressionism in (...) Philosophy: namely, the univocal relation between Substance and the modes. Although both Levinas and Deleuze will converge on basic observations about the univocity of cause, they will depart at significant moments on the implications of the doctrine itself. The analysis will acknowledge Deleuze’s reflections on the Ethics, but it will focus on Levinas’s critique and indictment of Spinoza’s thought—that it eliminates singularity and that it is in itself a justification of perpetual war. (shrink)

This paper attends to Emmanuel Levinas’s criticism of the univocity doctrine as it pertains to Baruch Spinoza and in view of Gilles Deleuze’s interpretation. The analysis will have a narrow focus on univocity because it will exclusively treat the univocity of cause in Spinoza and its ethical and political implications. Narrowing the approach will illustrate the importance of the doctrine in Levinas’s minor engagements with the modern philosopher and its convergence with Deleuze’s project in Difference and Repetition and Expressionism in (...) Philosophy: namely, the univocal relation between Substance and the modes. Although both Levinas and Deleuze will converge on basic observations about the univocity of cause, they will depart at significant moments on the implications of the doctrine itself. The analysis will acknowledge Deleuze’s reflections on the Ethics, but it will focus on Levinas’s critique and indictment of Spinoza’s thought—that it eliminates singularity and that it is in itself a justification of perpetual war. (shrink)

Central to Aristotle's metaphysics and epistemology is the claim that ‘aitia’ – ‘cause’ – is “said in many ways”, i.e., multivocal. Though the importance of the four causes in Aristotle's system cannot be overstated, the nature of his pluralism about aitiai has not been addressed. It is not at all obvious how these modes of causation are related to one another, or why they all deserve a common term. Nor is it clear, in particular, whether the causes are related to (...) one another as species under a single genus, such that there is a univocal definition of ‘aitia’ which applies to all of them, or whether Aristotle means to assert that the four causes are homonyms. It is argued here that although there are strong reasons to group the four causes together, there are also powerful considerations on the side of homonymy. It is further argued that the four causes are more closely tied to the ontological theory of categories and predication than is often recognized. As a result, we can reconcile the competing demands of unity and plurality by taking one mode of causation, the formal cause, as basic, and accounting for the other modes with reference to it, in the manner of so-called pros hen homonyms. (shrink)

In his groundbreaking work of 1969, Spinoza's Metaphysics: An Essay in Interpretation, Edwin Curley attacked the traditional understanding of the substance-mode relation in Spinoza, according to which modes inhere in substance. Curley argued that such an interpretation generates insurmountable problems, as had already been claimed by Pierre Bayle in his famous Dictionary entry on Spinoza. Instead of having modes inhere in substance Curley suggested that the modes’ dependence upon substance should be interpreted in terms of (efficient) causation, i.e., as (...) committing Spinoza to nothing over and above the claim that substance is the (efficient) cause of the modes. These bold and fascinating claims generated one of the most important scholarly controversies in Spinoza scholarship of the past thirty-five years. In this paper I argue against Curley’s interpretation and attempt to reestablish the traditional understanding of Spinozistic modes as inhering in God and as predicated of God. I also criticize Curley’s philosophical motivation for suggesting this interpretation. In order to show that, for Spinoza, modes are predicated of - and inhere in - substance, I will proceed in the following manner. First, I will summarize Curley’s arguments against substance-mode inherence and present his alternative interpretation of the substance-mode relation. I will then present what I consider to be the most compelling arguments against Curley’s interpretation. Some of these arguments have already been suggested in the literature of the past thirty years (and by Bayle); however, as far as I know, most of the arguments I will be making are new. In the subsequent section I will respond to objections that Curley and Bayle advance against Spinoza’s view of God as the substratum in which all things inhere. Finally, I will address whether Spinozistic modes are predicated of (and not only inhere in) substance, and whether Spinoza considered modes to be particular properties (or “tropes,” in the jargon of contemporary metaphysics). Since Bayle’s claims will be used both in support of and against Curley’s interpretation, it would be appropriate to say a few introductory words on Bayle’s stance. In his Spinoza entry, Bayle criticizes Spinoza’s claim that all things are modes of God, claiming that it “is the most monstrous hypothesis that could be imagined, the most absurd, and the most diametrically opposed to the most evident notions of our mind.” Bayle, however, has no doubt that when Spinoza claims that all things are modes of God, Spinoza means that all things inhere in God. Curley embraces Bayle’s arguments against Spinoza, but uses them in order to claim that we should not ascribe to Spinoza a view which is allegedly shown by Bayle to be absurd. What we should do, Curley argues, is to reinterpret the substance-mode relation as a relation of causal dependence, which would set Spinoza free from Bayle’s hook. Interestingly, as we shall soon see, Bayle himself discusses and rejects a very similar revisionary interpretation of the substance-mode relation. (shrink)

The paper examines the Cartesian and the Strawsonian answers to the question of why self-applied and other-applied mental predicates mean the same. While these answers relate to different, complementary aspects of this question, they seem and are usually considered as incompatible. Indeed, their apparent incompatibility constitutes a major objection to the Cartesian answer. A primary aim of the paper is to show that the Strawsonian answer does not pose a real problem to the Cartesian answer. Unlike other attempts to show (...) this, the paper does not seek to undermine the Strawsonian answer. Indeed, its second aim is to defend this answer against these other attempts. The paper’s strategy in defending the Cartesian answer is to show that the framework underlying this answer can — indeed, for internal reasons, must — accommodate the Strawsonian answer. By showing this, the paper also shows that a Cartesian framework can provide a comprehensive answer to the aforementioned question, which is its third aim. (shrink)

The study ties in with former considerations concerning the problem of phenomenal perception of higher animals. Accordingly the phenomenal character results from the adjustment of perceptions to (species-specific) behavioral dispositions under the principle of self-preservation: an emergence phenomenon provided by the constitutive system unity of perception, valuation and behavior, here named as perc-val-act-system. Thereby the subject of the behavior can be emergentistly explained as an emergent instance of the – systems-theoretically highest rank – perc-val-act-level. In terms of the principle of (...) self-preservation all sensations are submitted to a valuation. Perception thus gaining existential sense for the subject, a phenomenal-mental sense-dimension is spanned out which as such does not own physical but ideal character: Accordingly the ontological basis of this view is the lawfulness of nature, understood as the ideal essence underlying it. In virtue of this – basically Hegelian-type idealistic – conception the physical being of nature always includes the possibility of phenomenal-mental being, because of the implicit ideality of nature itself. (shrink)

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.

We establish a completeness theorem for first-order basic predicate logic BQC, a proper subsystem of intuitionistic predicate logic IQC, using Kripke models with transitive underlying frames. We develop the notion of functional well-formed theory as the right notion of theory over BQC for which strong completeness theorems are possible. We also derive the undecidability of basic arithmetic, the basic logic equivalent of intuitionistic Heyting Arithmetic and classical Peano Arithmetic.

Modes-of-being figure centrally in Heidegger's masterwork Being and Time. Testimony to this is Heidegger's characterisation of two of his most celebrated enquiries—the Existential analytic and the Zeug analysis—as investigations into the respective modes-of-being of the entities concerned. Yet despite the importance of this concept, commentators disagree widely about what a mode-of-being is. In this paper, I systematically outline and defend a novel and exegetically grounded interpretation of this concept. Strongly opposed to Kantian readings, such as those advocated by Taylor (...) Carman and Cristina Lafont, I interpret a mode-of-being as a universal that defines a district —that is, a natural class of entities that ought to be conceptualised in a special way. As such, every mode-of-being plays an important metaphysical and epistemic role: serving both to unify a natural class of a high degree of generality and as the interpretandum of an act yielding the basic-concepts pertaining to the entities therein. In explicating and arguing for this interpretation, I attribute a characteristically Aristotelian philosophical position to the early Heidegger, encompassing both metaphysical and epistemological realism and a conceptualist theory of universals. (shrink)

In this article, we present the positional logic that is suitable for the formalization of reasoning about social phenomena. It is the effect of extending the Minimal Realisation (MR) logic with new expressions. These expressions allow, inter alia, to consider different points of view of social entities (humanistic coefficient). In the article, we perform a metalogical analysis of this logic. Finally, we present some simple examples of its application.

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law V from Frege's Grundgesetze. In this paper we study the strength of abstraction principles in the presence of predicative restrictions on the comprehension schema, and in particular we study a predicative Fregean theory which contains all the abstraction principles whose underlying equivalence relations can be proven to be (...) equivalence relations in a weak background second-order logic. We show that this predicative Fregean theory interprets second-order Peano arithmetic. (shrink)

Existence as reflected in natural language is not a univocal notion, but divides into different modes of being, such as existence (as, roughly, endurance) and occurrence. One aim of the paper is to distinguish sharply between abstract artifacts and non-existent objects (e.g., plans vs. planned events that fail to occur); another is to argue for validity as a mode of being distinct from existence, as well as for corresponding distinctions among non-being.

This article pays close attention to Michel Foucault's theory that political regimes are enlightened through courageous free speech. A Foucaultian enlightenment occurs not when philosophical reason completely replaces superstition and enthusiasm in the public sphere, but instead when the parrhesiast partially organizes competing claims to know and to speak the truth. While much of the recent scholarly literature on Foucault’s later lectures emphasizes the political importance of the parrhesiast, less attention has been paid to the overlap and/or incompatibility between parrhesia (...) and the other modes of truth-telling. Below, I explain Foucault’s analysis of the basic modes of philosophical truth-telling: prophesy, philosophy, teaching, and parrhesia. I provide examples of speakers working within these modes in the ancient and modern world. I explain the overlap and tension between these modes, and I analyze Foucault’s partial organization of them through the image of the parrhesiast. I briefly compare Foucault’s position to the agonistic democratic theory of Chantal Mouffe and distinguish Foucault’s view from consensus-based views of public reason. Finally, I provide practical and theoretical examples of parrhesiastic activity in the contemporary world. (shrink)

In this contribution to the Common Knowledge symposium “Fuzzy Studies,” the authors, all of whom work in the field of science, technology, and society, begin from the assumption that, as Bruno Latour has put it, “we have never been modern.” They accept the STS thesis that, while modern practices purport to be entirely rational and coherent, on closer inspection they turn out to be as much noncoherent as coherent. This article poses the question of what forms “noncoherences” take and how (...) they are managed. The basic argument is that there is a range of styles of noncoherence or “modes of syncretism.” In small case studies, the authors identify six such modes or styles, which they term denial, domestication, separation, care, conflict, and collapse. Given that consistency and coherence seem less important now than they were once taken to be — and given that the conditions of possibility for purity are, in any case, in decline — this list and its supporting case studies, while not meant to be definitive, are offered as a way of understanding how practices that do not cohere may still function and fit together admirably. (shrink)

At least since Socrates, philosophy has been understood as the desire for acquiring a special kind of knowledge, namely wisdom, a kind of knowledge that human beings ordinarily do not possess. According to ancient thinkers this desire may result from a variety of causes: wonder or astonishment, the bothersome or even painful realization that one lacks wisdom, or encountering certain hard perplexities or aporiai. As a result of this basic understanding of philosophy, Greek thinkers tended to regard philosophy as (...) an activity of inquiry (zētēsis) rather than as a specific discipline. Discussions concerning the right manner of engaging in philosophical inquiry – what methodoi or routes of inquiry were best suited to lead one to wisdom – became an integral part of ancient philosophy, as did the question how such manners or modes of inquiry are related to, and differ from, other types of inquiry, for instance medical or mathematical. In this special issue of History of Philosophy & Logical Analysis, we wish to concentrate in particular on ancient modes of inquiry. (shrink)

The study of alternative genetic systems and mixed modes of reproduction, whereby sexual and asexual reproduction is combined within the same lifecycle, is of fundamental importance as they may shed light on classical evolutionary issues, such as the paradox of sex. Recently, several such cases were discovered in social insects. A closer examination of these systems has revealed many amazing facts, including the mixed use of asexual and sexual reproduction for the production of new queens and workers, males that can (...) clone themselves and the routine use of incest without deleterious genetic consequences. In addition, in several species, remarkable cases of asexually reproducing socially parasitic worker lineages have been discovered. The study of these unusual systems promises to provide insight into many basic evolutionary questions, including the maintenance of sex, the expression of sexual conflict and kin conflict and the evolution of cheating in asexual lineages. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out (...) of variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

Contrary to the received view, decision theory is not primarily devoted to instrumental (ends-to-means) reasoning. Instead, its major preoccupation is the derivation of ends from other ends. Given preferences over basic alternatives, it constructs preferences over alternatives that have been modified through the addition of value object modifiers (modes) that specify probability, uncertainty, distance in time etc. A typology of the decision-theoretical modes is offered. The modes do not have (even extrinsic) value, but they transform the value of objects (...) to which they are applied. A rational agent's total set of preferences should be coherent, but from this it does not follow that her preferences over mode-containing objects have to be derivable from her preferences over mode-free objects. (shrink)

Neural correlates exist for a basic component of logical formulae, PREDICATE(x). Vision and audition research in primates and humans shows two independent neural pathways; one locates objects in body-centered space, the other attributes properties, such as colour, to objects. In vision these are the dorsal and ventral pathways. In audition, similarly separable “where” and “what” pathways exist. PREDICATE(x) is a schematic representation of the brain's integration of the two processes of delivery by the senses of the location of an (...) arbitrary referent object, mapped in parietal cortex, and analysis of the properties of the referent by perceptual subsystems. The brain computes actions using a few “deictic” variables pointing to objects. Parallels exist between such nonlinguistic variables and linguistic deictic devices. Indexicality and reference have linguistic and nonlinguistic (e.g., visual) versions, sharing the concept of attention. The individual variables of logical formulae are interpreted as corresponding to these mental variables. In computing action, the deictic variables are linked with “semantic” information about the objects, corresponding to logical predicates. Mental scene descriptions are necessary for practical tasks of primates, and preexist language phylogenetically. The type of scene descriptions used by nonhuman primates would be reused for more complex cognitive, ultimately linguistic, purposes. The provision by the brain's sensory/perceptual systems of about four variables for temporary assignment to objects, and the separate processes of perceptual categorization of the objects so identified, constitute a pre-adaptive platform on which an early system for the linguistic description of scenes developed. Key Words: argument; attention; deictic; dorsal; logic; neural; object; predicate; reference; ventral. (shrink)

We suggest a teleological approach to subjective experiencing or phenomenal consciousness. Like living, subjective experiencing is a teleology-constituting mode of being, which is made up of coupled, functional processes. We explicate our notion of a 'teleological mode of being' and distinguish between three different modes: a living (non-sentient) mode of being, a sentient mode of being, and a rational-symbolic (human) mode of being, which correspond to the three levels of soul suggested by Aristotle. These evolved (...) teleological modes of being are characterized by the possession of distinct, hierarchically nested goals and value systems. We argue that the functions of parts and processes within living systems have to be situated within the appropriate teleological frame of reference. Our evolutionary and comparative approach to the mode of being of subjectively experiencing animals clarifies why functions are best attributed to the parts that constitute sentience. Our proposal resolves the problem of attributing functions to phenomenal consciousness, resonates with basic teleological intuitions and distinctions, and corresponds to the modern broad understanding of selection and evolution. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 44.4 (2006) 559-575 MuseSearchJournalsThis JournalContents[Access article in PDF]Kant's Critical Concepts of MotionKonstantin PollokThere are two significant places in Kant's Critical corpus where he discusses the concept of motion. The first is in the Critique of Pure Reason, where in the "Deduction of the Categories" Kant writes:Motion, as an act of the subject (not as a determination of an object†), and therefore the synthesis (...) of the manifold in space, first produces the concept of succession—if we abstract from this manifold and attend solely to the act through which we determine the inner sense according to its form.In this passage Kant simply refers to the concept of motion, and the immediate context in which this reference occurs reveals little about what he means by it. In the Metaphysical Foundations of Natural Science, however, motion plays a more significant role, and, concomitantly, it is in his writings on natural science that Kant most fully expresses his thoughts on the subject. For present purposes, the most relevant passage is paragraph 15 of the Preface of the Metaphysical Foundations, where Kant says that theconcept of matter had … to be carried through all four of the indicated functions of the concepts of the understanding (in four chapters), where in each a new determination of this concept was added. The basic determination of something that is [End Page 559] to be an object of the outer senses had to be motion, because only thereby can these senses be affected. The understanding traces back all other predicates of matter belonging to its nature to this, and natural science, therefore, is either a pure or applied doctrine of motion. The metaphysical foundations of natural science are therefore to be brought under four chapters. The first considers motion as a pure quantum in accordance with its composition, without any quality of the movable, and may be called phoronomy. The second takes into consideration motion as belonging to the quality of matter, under the name of an original moving force, and is therefore called dynamics. The third considers matter with this quality as in relation to another through its own inherent motion, and therefore appears under the name of mechanics. The fourth chapter, however, determines matter's motion or rest merely in relation to the mode of representation or modality, and thus as appearance of the outer senses, and is called phenomenology. 2The first passage from the first Critique (quoted above) reveals both that the concept of motion plays a central role in Kant's epistemology and that he distinguishes clearly between motion of the object, on the one hand, and action of the subject, on the other. The two concepts of motion are quite different—the former belonging to transcendental philosophy and geometry (to "pure science" in the Kantian sense), the latter to the metaphysical and empirical investigation of nature. By contrast, the second passage from the Metaphysical Foundations shows that the conceptual apparatus Kant developed in his transcendental philosophy is also relevant for understanding the empirical concept of motion. Since all empirical concepts are based on transcendental conditions for their possibility, this connection between elements of the Critical philosophy should come as no surprise. What remains unclear, however, is the sort of connection involved, and whether in the particular case of motion there might not be a more intimate relationship between the transcendental conditions and the empirical concept than one might at first suspect.Indeed, this is a possibility that has been entertained by a number of commentators. In his investigation of Kant's metaphysics of nature, Lothar Schäfer, for example, contends that "the original perspective on the unity of the sensibility in which nature reveals itself, and which belongs to the conception of nature, results in the original perspective on motion. Therefore, the laws of nature are laws of motion …." 3 Similarly, in her book on Kant's theory of natural science, Karen Gloy argues thatin the predicable 'motion' the connection of elements of the understanding with... (shrink)

Beginning with a case vignette, this paper uses a semiotic approach to analyze several different kinds of understanding used in clinical medicine. By outlining semiotic structures, four distinct modes of understanding can be defined: (1) the representational mode, corresponding to scientific medicine; (2) the pragmatic mode, constituting the basic standpoint of medicine; (3) the hermeneutic mode, underlying the empathic, humanistic spirit of medicine; and (4) the ontologic mode, associated with both the ethical and ritual aspects (...) of medicine. Clarifying the relationship between these modes avoids common confusions in clinical situations. Although experienced clinicians intuitively use these different modes, they do not necessarily reflect upon them. They are instead mindful of them, and this unique multi-modal consciousness, I suggest, provides a model for integrating theory and practice. (shrink)

We introduce a Gentzen-style sequent calculus axiomatization for Basic Predicate Calculus. Our new axiomatization is an improvement of the previous axiomatizations, in the sense that it has the subformula property. In this system the cut rule is eliminated.

Problems connected with the questions of: being-nonbeing, existence, modes of existence and alike, belong to the basic and most important in metaphysics. The article discusses some answers to the aforementioned issues, as proposed by the ancient philosophers, St Thomas Aquinas, R. Ingarden and A.N. Whitehead. In the Appendix some remarks are made on Aristotle’s and S. Thomas’ theory of act and potency.

The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intensional (...) contents of concepts. Their reconstruction as intensional objects is an essential part of the theory of predication of conceptual realism. It is by means of this theory that we are able to explain how the identity theory of the copula, which was basic to terminist logic, applies to categorical propositions. Reference in conceptual realism is not the same as supposition in terminist logic. Nevertheless, the various "modes" of personal supposition of terminist logic can be explained and justified in terms of this conceptualist theory of reference. (shrink)

The aim of this volume is to open up new perspectives and to raise new research questions about a unified approach to truth, modalities, and propositional attitudes. The volume's essays are grouped thematically around different research questions. The first theme concerns the tension between the theoretical role of the truth predicate in semantics and its expressive function in language. The second theme of the volume concerns the interaction of truth with modal and doxastic notions. The third theme covers higher-order solutions (...) to the semantic and modal paradoxes, providing an alternative to first-order solutions embraced in the first two themes. This book will be of interest to researchers working in epistemology, logic, philosophy of logic, philosophy of language, philosophy of mathematics, and semantics. (shrink)

This paper consists of two parts. The first criticizes the usual interpretation of the so-called existential quantifier as denoting existence. It is argued that it symbolizes “someness,” as is obvious from its definition as not-all-not, as in “Some citizens will vote,” which is analyzable as “Not all citizens will abstain from voting.” The second part of the paper argues that “existence” is fivefold: real, phenomenal, conceptual, semiotic, and fantastic. A definition and a criterion are proposed for every one of them. (...) Real existence is identified with mutability; phenomenal existence, with occurrence in someone’s sensory experience; conceptual existence, as occurrence in a conceptual system; semiotic existence, as the ability of a sign to excite a reaction in an animal perceiving it; and fantastic existence, as occurrence in a work of fiction that contains or suggests it. Finally, a general concept of existence in a given context is defined with the help of the characteristic function of the said context. In other words, an existence predicate is defined, and so Anselm’s famous proof of the existence of God is shown to be formally correct. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Theology, Philosophy, and Biology:An Interpretation of the Conception of Jesus ChristJuan Eduardo CarreñoIntroductionA large body of literature and a vigorous academic establishment—university chairs, foundations, societies, and journals—focus on an interdisciplinary field variously described as "science and religion," "science and faith," or "science and theology."1 "Philosophy" is a recent occasional addition which turns these dyads into triads.2 However, not only the terms themselves but also the ways their relationship are (...) understood have generated debate. Indeed, Ian Barbour's well-known typology defining four canonical modes of the science-religion relationship—conflict, independence, dialogue, and integration—has played an organizing role but has not satisfied everyone.3 Although our purpose here is not to recapitulate these discussions, it might be helpful to mention an issue that frequently arises within them: whether Barbour's classification is necessarily exhaustive, and in particular, if what he understands by "integration" is really the perfect culmination of a link that could connect science and faith. Thus, some authors prefer to speak of [End Page 71] "interaction," "compatibility," or "articulation" to describe this relationship, either replacing or superimposed upon Barbour's integration modality.4We believe that at least part of this series of controversies results from the lack of fundamental definitions and distinctions. "Science" is not univocal but an analogous term, since it can be predicated both from extremely diverse disciplines and also from a cognitive act, a habit, or a corpus of knowledge.5 On the other hand, "faith," "religion," and "theology" have neither identical meanings nor even an analogous epistemic scope in different religious traditions. All this outlines a problem whose many edges cannot be enclosed within the margins of a categorization, however nuanced.This article aims to illustrate the complexity of the relationship between science, philosophy, and theology, using as a case study the contribution of contemporary embryology and developmental biology to theological reflection on the Incarnation of Jesus Christ. We begin by examining some theological hypotheses that, using the biological knowledge and speculations of their time, attempt to deepen our understanding of the mystery of the incarnate Word. Next, we propose an interpretation of the conception of Jesus Christ, in which the facts contributed by biology could enrich, and perhaps illuminate, certain aspects of theological reflection. As we will argue, this encounter does not fit the integration model described in Barbour's typology, because, among other reasons, the discourses at stake—theological and biological—neither belong to the same epistemological plane nor play an equivalent role in this relationship.Some Hypotheses about the Conception of JesusInterestingly, from as early as its antecedents in ancient Egypt, the genesis and development of mankind inevitably intersects with religious beliefs. This trend is projected in Judaism and reaches its greatest realization, for reasons partly understandable, in the Christian tradition. Of course, an authentic religious worldview cannot avoid at least some mention of human [End Page 72] ontogenesis, but belief in the factual basis of the Incarnation elevates the matter to a new and original plane. This is how it is understood by a number of believers who, from the first centuries of our era, and until recent times, advance hypotheses and models where biological and philosophical knowledge about human conception are combined, in different proportions, with Christological notions and doctrines. The account offered here is not intended to be exhaustive; our interest is only in outlining certain theological interpretations that have arisen in the course of history, as precursors to those discussed in the next section.The Conception of Jesus and the Incarnation of the WordOrigen's position regarding preexistence of the soul (proyparxis) and its union with the human body as a result of a fall attracted many philosophical and theological objections in the centuries following.6 Once this alternative was rejected, however, several paths remained open to account for human generation. The "translationist" hypothesis (according to which the human soul, like the body, derives from the parents through the act of natural procreation) had its Eastern adherents but seemed to find itself at home in the West. This reception was undoubtedly influenced by the plausibility the Bishop of Hippo, Augustine, albeit hesitantly assigned to... (shrink)

We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...) supreme being. The proposed second-order modal formalization of the Kantian doctrine of the "transcendental ideal" of the supreme being includes some specific features of Kantian general logic like "categorical", "hypothetical", and exclusive disjunctive propositions as basic forms. (shrink)

Kolmogorov established the principle of the double negation translation by which to embed Classical Predicate Logic |${\operatorname {CQC}}$| into Intuitionistic Predicate Logic |${\operatorname {IQC}}$|⁠. We show that the obvious generalizations to the Basic Predicate Logic of [3] and to |${\operatorname {BQC}}$| of [12], a proper subsystem of |${\operatorname {IQC}}$|⁠, go through as well. The obvious generalizations of Kuroda’s embedding are shown to be equivalent to the Kolmogorov variant. In our proofs novel nontrivial techniques are needed to overcome the absence (...) of full modus ponens in Basic Predicate Logic. In [3] we argued that |${\operatorname {IQC}}$| is not the logic of constructive mathematics. Our doubts were far from new. New was that we put forward an alternative, |${\operatorname {BQC}}$|⁠. One concern is that |${\operatorname {BQC}}$| is too weak for serious mathematics, or even trivial. This paper is one step to alleviate such concerns. (shrink)

In this book about metaphysics the author defends a realistic view of universals, characterizing the notion of universal by considering language and logic, the idea of possibility, hierarchies of universals, and causation. He argues that neither language nor logic is a reliable guide to the nature of reality and that basic universals are the fundamental type of universal and are central to causation. All assertions and predications about the natural world are ultimately founded on these basic universals. A (...) distinction is drawn between unified particulars and arbitrary particulars ; unified particulars are the terms of causal relations and thus the real constituents of the world. The world is not made up of events but of unified particulars and basic universals. (shrink)

As rational agents, we are engaged in practices of mutual accountability. We produce reasons that explain and justify what we do. In producing reasons, we address demands of explanation and justification. Where do such demands come from? This is one of the central questions of this chapter. My contention is that in the attempt to make sense of and justify their actions, rational subjects construct reasons in an ideal dialogue with others. In the practice of exchanging reasons, rational subjects address (...) others under different descriptions. To assess the normative force of reasons, it is thus relevant to ask to whom reasons are addressed. On some philosophical accounts, reasons have a local authority insofar as they address others as members of the same community. This is the particularistic view. By contrast, on some other philosophical accounts, reasons are public and universal and address others as equals. This is the universalistic view. I deploy this distinction to articulate some issues about how to understand and measure the normative relevance and impact of web communication in the recent development of antimafia culture. The basic claim is that web communication broadens the scope of the relevant others and thus allows for reasons that have appeal independently of territorial belonging. The focus of the argument will be on the practices of “placing oneself in a space” as distinct sources of normativity. While the argument I produce is largely speculative and exploratory, I hope that it suffices to call attention to some aspects of the antimafia movement, which deserve closer scrutiny, such as the nature of the resources available because of the impact of web communication. As an example of this communication, I take into consideration Libera, an important non-profit organization, which fights the mafia by making a particularly effective use of social networks in building a virtual community of empowerment. (shrink)

Philosophers have postulated the existence of God to explain (I) why any contingent objects exist at all rather than nothing contingent, and (II) why the fundamental laws of nature and basic facts of the world are exactly what they are. Therefore, we ask: (a) Does (I) pose a well-conceived question which calls for an answer? and (b) Can God's presumed will (or intention) provide a cogent explanation of the basic laws and facts of the world, as claimed by (...) (II)? We shall address both (a) and (b). To the extent that they yield an unfavourable verdict, the afore-stated reasons for postulating the existence of God are undermined. As for question (I), in 1714, G. W. Leibniz posed the Primordial Existential Question (hereafter 'PEQ'): 'Why is there something contingent at all, rather than just nothing contingent?' This question has two major presuppositions: (1) A state of affairs in which nothing contingent exists is indeed genuinely possible ('the Null Possibility'), the notion of nothingness being both intelligible and free from contradiction; and (2) De jure, there should be nothing contingent at all, and indeed there would be nothing contingent in the absence of an overriding external cause (or reason), because that state of affairs is 'most natural' or 'normal'. The putative world containing nothing contingent is the so-called 'Null World'. As for (1), the logical robustness of the Null Possibility of there being nothing contingent needs to be demonstrated. But even if the Null Possibility is demonstrably genuine, there is an issue: Does that possibility require us to explain why it is not actualized by the Null World, which contains nothing contingent? And, as for (2), it originated as a corollary of the distinctly Christian precept (going back to the second century) that the very existence of any and every contingent entity is utterly dependent on God at any and all times. Like (1), (2) calls for scrutiny. Clearly, if either of these presuppositions of Leibniz's PEQ is ill founded or demonstrably false, then PEQ is aborted as a non-starter, because in that case, it is posing an ill-conceived question. In earlier writings (Grünbaum [2000], p. 5), I have introduced the designation 'SoN' for the ontological 'spontaneity of nothingness' asserted in presupposition (2) of PEQ. Clearly, in response to PEQ, (2) can be challenged by asking the counter-question, 'But why should there be nothing contingent, rather than something contingent?' Leibniz offered an a priori argument for SoN. Yet it will emerge that a priori defences of it fail, and that it has no empirical legitimacy either. Indeed physical cosmology spells an important relevant moral: As against any a priori dictum on what is the 'natural' status of the universe, the verdict on that status depends crucially on empirical evidence. Thus PEQ turns out to be a non-starter, because its presupposed SoN is ill founded! Hence PEQ cannot serve as a springboard for creationist theism. Yet Leibniz and the English theist Richard Swinburne offered divine creation ex nihilo as their answer to the ill-conceived PEQ. But being predicated on SoN, their cosmological arguments for the existence of God are fundamentally unsuccessful. The axiomatically topmost laws of nature (the 'nomology') in a scientific theory are themselves unexplained explainors, and are thus thought to be true as a matter of brute fact. But theists have offered a theological explanation of the specifics of these laws as having been willed or intended by God in the mode of agent causation to be exactly what they are. A whole array of considerations are offered in Section 2 to show that the proposed theistic explanation of the nomology fails multiply to transform scientific brute facts into specifically explained regularities. Thus, I argue for The Poverty of Theistic Cosmology in two major respects. (shrink)

In lieu of an abstract, here is a brief excerpt of the content: Reviewed by: The Singular Voice of Being: John Duns Scotus and Ultimate Difference by Andrew Lazella Christopher Cullen S.J. Andrew Lazella, The Singular Voice of Being: John Duns Scotus and Ultimate Difference. Medieval Philosophy: Texts and Studies. New York: Fordham University Press, 2019. Pp. x + 260. $72.00. ISBN: 9780823284573. John Duns Scotus (c. 1265–1308) is aptly called the Subtle Doctor. His thought is filled with subtleties and (...) distinctions that embody medieval Scholasticism's attempt to master the science of metaphysics, especially as it had been recast by the rediscovery of Aristotle's Metaphysics—a text that Scotus wrote about at length. Andrew Lazella's book, The Singular Voice of Being: John Duns Scotus and Ultimate Difference aims precisely at presenting the subtleties of Scotus' answer to Parmenides with the Eleatic's denial of the reality of the multiplicity of beings and of change. Lazella first illumines in detail Scotus's central metaphysical doctrine, namely, that the mind attains a univocal concept of being. But the problem then becomes, as Lazella rightly perceives, that this "univocity of being" might seem to be in danger of collapsing being into a Parmenidean monism. Hence, the urgency for Scotus "to divide being at its joints" (as Lazella refers to the task; 2). Scotus has to find the ultimate differences that demarcate the multiplicity and divisions of being, if his univocity of being is not to collapse being into a false unity. Lazella shows how Scotus attempts to escape the monism of Parmenides while also avoiding a Heraclitean flux and multitude that destroys the possibility of knowledge and science. For Scotus, only the univocal concept of being is adequate to this task. An analogy of being is inadequate, primarily because it is on the side of equivocation. The univocal concept is "the singular voice of being" that illumines the unity of the finite world, with its vast multitude of things, and that also grounds the concepts of a natural theology of the infinite God. Lazella insightfully begins the book by presenting Scotus's work as an answer to Parmenides and thus to the most basic of all metaphysical questions, as discussed above. Part 1 of the book includes three chapters: the first two discuss in detail the univocal concept that unites beings, and [End Page 237] chapter 3 outlines the concept of the ultimate difference that divides being. Lazella highlights a threefold taxonomy of ultimate differences that are found in the modes, species, and individuals of being. Part 2 of the book includes three chapters, one on each of the "regions" of ultimate difference: chapter 4 treats the intrinsic modes of being; chapter 5 the ultimate specific differences that account for the diversity of species; and chapter 6 presents the ultimate individual difference, i.e., "thisness" or haeceitas, which accounts for the reality of the individual substances. A helpful conclusion summarizes the argument of the book as a whole."In his early Quaestiones super Praedicamenta Aristotelis, Scotus says that things are univocally named when they share not only the same term (vox) or name (nomen) but also the same account (ratio)" (17). The opposite extreme from univocty is equivocity. Equivocity obtains when things only share a name but have different accounts. In between these two extremes is analogy: "Analogical names require that the name signify multiple rationes, which are unified according to some order or relation" (17). This account of these three terms is uncontroversial. Lazella thinks that Scotus's turn to univocity, as the ground of metaphysics, is driven largely by his epistemology. For Scotus, "cognition is rooted in sensible accidents and is unable to gain access to the real essences of substances themselves" (6). Hence the isomorphism between mind and reality cannot be secured without a univocal concept of being, contra the views of the majority of his fellow thirteenth-century Scholastics, such as Bonaventure and Aquinas. A key point is that, for Scotus, the intelligible species, or likeness, abstracted from the phantasm by the agent intellect, is not understood as a mirror that re-presents the form found in the concrete substances of the world. For Scotus, the intelligible species is no longer understood as a formal sign that... (shrink)

In this paper, we present a striking parallel between Greek and Korean in the formation and interpretation of metalinguistic comparatives. The initial observation is that both languages show an empirical contrast between “regular” comparative and metalinguistic comparative realized in (a) the form of a designated metalinguistic comparative MORE; and (b) in the form of THAN employed. We propose (building on our earlier analyses in Giannakidou and Stavrou 2009, Giannakidou and Yoon 2009) that the metalinguistic comparative is perspectival, i.e. it introduces (...) the point of view of an individual towards a sentence, and argue that the individual expresses invariably an attitude of preference: she prefers one sentence (the sentence itself, or the proposition it expresses) in a given context over another. The preference may come out as completely negative in certain cases, and this is manifested as yet another lexicalization in Korean (charari), which selects nuni-THAN, which itself carries a negative expressive index (in the sense of Potts 2007), we will claim. Expressive negativity is not equivalent to negation in syntax, as nuni alone cannot license NPIs that need negation. If our analysis is correct, it has one important implication that goes beyond just the metalinguistic comparatives in the individual languages we are considering. It allows the generalization that metalinguistic functions in language are indeed part of the grammar. In particular, they are reflexes of grammaticalization of perspective and subjective mode, on a par with predicates of personal taste discussed by Lasersohn 2005, 2008, 2009, mood choice, and similar phenomena. In comparatives, subjective mode is manifested as an ordering of preference. (shrink)

The paper analyses the contemporary notion of an extension of apredicate from the perspective of semantics typical for Meinongian logics, andin opposition to the traditional notion of extension. This leads to a discussionof the types of properties that can be predicated about objects as belonging tothe sets of properties ascribed to them, and such that can be predicated aboutthem only ‘externally’. It is also problematic in which sense nonexistentobjects possess the properties ascribed to them. The concluding remarksconcern some issues related (...) to the truth of predications about nonexistentobjects, which is the basic condition to admit them as belonging to theextensions of predicates in the first place. (shrink)

What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...) As a counterproposal, then, we define a large fragment of predicate logic characterized by its use of only bounded quantification. This so-called guarded fragment enjoys the above nice properties, including decidability, through an effectively bounded finite model property. (These are new results, obtained by generalizing notions and techniques from modal logic.) Moreover, its own internal finite variable hierarchy turns out to work well. Finally, we shall make another move. The above analogy works both ways. Modal operators are like quantifiers, but quantifiers are also like modal operators. This observation inspires a generalized semantics for first-order predicate logic with accessibility constraints on available assignments (cf. N´emeti 1986, 1992) which moves the earlier quantifier restrictions into the semantics. This provides a fresh look at the landscape of possible predicate logics, including candidates sharing various desirable features with basic modal logic – in particular, its decidability. (shrink)

The intellectualist strategy of appealing to the notion of a practical mode of presentation to explain the practical component of know-how faces two standard objections. According to the first, the notion of a practical mode of presentation is mysterious; according to the second, intellectualists get the order of explanation wrong when they use the practical mode of presentation to explain know-how. In the first section, after reviewing recent literature on defusing the first objection, I employ some phenomenological (...) insights to develop four lines of argument which do show that the objection does not work. In the second section, I maintain that although the current version of the second objection is not conclusive, a restricted version of it is tenable. According to this restricted version, intellectualists do indeed get the order of explanation wrong at the level of basic action. The upshot is twofold: a challenge for anti-intellectualism to make room for the well-defined notion of the practical mode of presentation, and a challenge for intellectualism to explain the practical component of know-how at the basic level. (shrink)

St. Thomas’s Third Way to prove the existence of God, “Of Possibility and Necessity” (ST 1, q.2, art. 3, response) is one of the most controverted passages in the entire Thomistic corpus. The central point of dispute is that if there were only possible beings, each at some time would cease to exist and, therefore, at some point in time nothing would exist, and because something cannot come from nothing, in such an eventuality, nothing would exist now—a reductio ad absurdum (...) conclusion. Therefore, at least one necessary being must exist. Generations of critics and defenders have contended over St. Thomas’s proof. This article argues that the principle of pros hen analogy is implicit in the Third Way and that once identified explains the ontological dependency of possible beings, as secondary analogates, on the first necessary being, as primary analogate. Thus, without the necessary being as primary analogate, possible beings simply could not exist. The fact that they do exist is evidence for the existence of the necessary being. St. Thomas makes synthesizes the principle of pros hen analogy, as found in Aristotle’s Metaphysics, with the Neoplatonic principle of participation. Aristotle develops pros hen analogy in contradistinction to univocal and equivocal predication as well as to genus in Metaphysics 4.2, 11.3, 12.3-5. Since Scotus and re-enforced by modern analytic logic, philosophers have almost universally regarded any kind of analogical predication as a sub-category of equivocal predication and, thus, implicitly occlude the possibility of considering pros hen analogy in their readings of the Third Way. Distinction of per se and per accidens infinite regress and of radical and natural contingency are also central to understanding the Third Way. While resolving apparent problems in the Third Way, the article also seeks to rehabilitate the doctrine of pros hen analogy as a basic principle in Thomistic and, indeed, Aristotelian metaphysics. (shrink)

With regards the crucial issue of the existence of the self, within canonical texts of the Buddhist Abhidharma schools we find passages that are frequently at odds with one another. Sometimes the Buddha defends or respects the belief in the self and in personal continuity; at other times he seems to deny that beyond the psycho-physical factors to which our existential experience can be reduced there is an ātman that contains, owns or controls these same factors; in further cases still, (...) he states that the use of the metaphysical categories of “being” and “non-being” must be avoided – thus, about the self (or everything else), it is inappropriate to say that it exists or that it does not exist. Faced with these divergences (or contradictions) within contemporary Buddhist studies, we can detect two main tendencies. Some scholars start from the assumption that the Buddha’s teaching is or should be coherent and univocal, and, therefore, propose readings of his original message that are supposed to iron out or conciliate any inconsistencies. Others believe that the inconsistencies are actually irreconcilable and, therefore, maintain that the Abhidharma canons are a composite and stratified redaction in which the opposite views of different writers overlap and intersect. Against these historiographical approaches, the purpose of the present paper is to show that the three aforementioned modes of the Buddha’s teaching are, in fact, both alternative and irreconcilable. This, however, far from presenting a puzzle to be solved or explained (by resorting to suppositions of which, in the canons, we have no explicit confirmation), is nothing more than a feature of the Buddha’s Dharma, which appears to be a teaching that develops different pedagogical/soteriological modes for different purposes, and which is conceived for the spiritual growth of followers with different intellectual and psychological profiles. (shrink)

Fodor (1990) argues that the theory of evolution by natural selection will not help to save naturalistic accounts of representation from the disjunction problem. This is because, he claims, the context 'was selected for representing things as F' is transparent to the substitution of predicates coextensive with F. But, I respond, from an evolutionary perspective representational contexts cannot be transparent: only under particular descriptions will a representational state appear as a "solution" to a selection "problem" and so be adaptive. Only (...) when we construe representational states as opaque in this manner are the generalizations of branches of evolutionary theory, like foraging theory, possible. (shrink)