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)

This paper introduces an interesting class of predicates that come in pairs, so-called total and partial predicates. It will be shown that such predicates contribute to an explanation for the weak and strong interpretations of donkey sentences. This paper proposes that the phenomenon of weak and strong interpretations is real, and that whether a sentence receives the weak or the strong interpretation depends on the predicate in the nuclear scope of the sentence. It also proposes that sum (...) individuals are calculated at some level before the nuclear scope of the sentence is processed. Once the sum individuals are calculated, it will be decided whether the nuclear scope is true of at least one element of the sum individual (weak interpretation) or true of all elements of the sum individual (strong interpretation). (shrink)

The topic of our analysis is the argument for the existence of substances given by Bernard Bolzano in Athanasia, where he essentially employs two ontological categories: substance and adherence. Bolzano considers the real and conditioned Inbegriff of all adherences, which are wirklich and nicht selbst bestehen. He claims that the formed collection is dependent on something external and non-adherential, which therefore is a substance. Bolzano’s argumentation turns out to be structurally similar to his argument for the existence of God from (...) Lehrbuch der Religionswissenschaft, but in each of these reasonings, we find different plausible interpretations of the key concept “Inbegriff”. The latter argumentation refers to the mereological totality of existentially conditioned objects. We propose the explication of the Bolzanian Inbegriff of all adherences using two types of predication: we consider its extension as composed of certain intensional counterparts of adherences. In our approach, we use a fragment of the theory of abstract objects formulated by E. Zalta, describing two different relations between individuals and properties: extensional exemplification and intensional encoding. We put our reconstruction in a wider context of Bolzano’s ontology, formulating the needed axioms with two primitive predicates of second order... is an adherence,... is conditioned by something real as well as the conditionally introduced first order predicate constant \ for Inbegriff of all adherential ideas. Finally, we sketch a model for our theory. (shrink)

It is shown that all the provably total functions of Basic Arithmetic BA, a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which BA is sound, is introduced. This realizability is similar to Kleene's recursive realizability, except that recursive functions are restricted to primitive recursives.

Inspired by Pohlers' proof-theoretic analysis of KPω we give a straightforward non-metamathematical proof of the (well-known) classification of the provably total functions of $PA, PA + TI(\prec\lceil)$ (where it is assumed that the well-ordering $\prec$ has some reasonable closure properties) and KPω. Our method relies on a new approach to subrecursion due to Buchholz, Cichon and the author.

I argue that Plato held a kinds of reality theory, not a degrees of reality theory, and that this position solves otherwise intractable problems about the Forms, notably the Third Man critique. These problems stem from the fact that Plato applied the same predicate bothto a Form and to its participants. Section I shows that this creates serious difficulties for the Forms, whether the predicate is taken in the same sense or in totally different senses. Section II presents the evidence (...) that Plato had a third way of applying that predicate which obviates those problems. Finally, section III explains how predication by analogy requires a kinds of reality theory, but is incompatible with a degrees of reality theory. Thus, Plato’s kinds of reality theory validates the third way of predication discussed in section II, which in turn solves the problems enumerated in section I. (shrink)

I dare say, a set is contranatural if some pair of its elements has a nonempty intersection. So, we consider only collections of disjoint nonempty elements and call them totalities. We propose the propositional logicTT, where a proposition letters some totality. The proposition is true if it letters the greatest totality. There are five connectives inTT: , , , , # and the last is called plexus. The truth of # means that any element of the totality (...) has a nonempty intersection with any element of the totality . An imbeddingG of the classical predicate logicCPL inTT is defined. A formulaf ofCPL is a classical tautology if and only ifG(f) is always true inTT. So, mathematics may be expounded inTT, without quantifiers. (shrink)

This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...) totality. (shrink)

A subset A $\subseteq$ M of a totally ordered structure M is said to be convex, if for any a, b $\in A: [a . A complete theory of first order is weakly o-minimal (M. Dickmann [D]) if any model M is totally ordered by some $\emptyset$ -definable formula and any subset of M which is definable with parameters from M is a finite union of convex sets. We prove here that for any model M of a weakly o-minimal theory (...) T, any expansion M + of M by a family of unary predicates has a weakly o-minimal theory iff the set of all realizations of each predicate is a union of a finite number of convex sets (Theorem 63), that solves the Problem of Cherlin-Macpherson-Marker-Steinhorn [MMS] for the class of weakly o-minimal theories. (shrink)

We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.

The “dynamic turn” in the field of second language acquisition catalyzed scholarly devotion to the complex dynamic relationships between learner and teacher variables and various academic emotions. As such, the present study examined the varying effects of the aforementioned variables on the constructs of positive and negative flow, and determined their strongest predictors, respectively. This study used a mixed-method approach to collect data from 607 Chinese English-as-a-Foreign-Language learners. In stage one of the research, the researcher first assessed the participants’ levels (...) of positive flow and negative flow in a blended learning context, then performed Pearson correlation analysis to confirm a significant, but weak positive relationship between positive flow and negative flow. Then, significant difference tests were run to determine the varied effects of those variables on flow. Finally, two multiple regression analyses were conducted to identify five predictors of positive flow, with the biggest contribution coming from learners’ attitudes toward the foreign language, and three predictors of negative flow, with the learners’ major accounting for the majority of variance. In the second stage of the research, a qualitative corpus was constructed, based on accounts of classroom experiences from 71 participants of the total sample, and further illustrated the quantitative findings. Pedagogical implications for educational psychologists and teachers of second and/or foreign languages are addressed. (shrink)

We estimate the derivation lengths of functionals in Gödel's system \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document} of primitive recursive functionals of finite type by a purely recursion-theoretic analysis of Schütte's 1977 exposition of Howard's weak normalization proof for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document}. By using collapsing techniques from Pohlers' local predicativity approach to proof theory and based on the Buchholz-Cichon and Weiermann 1994 approach to subrecursive hierarchies we define a (...) collapsing f unction\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\cal D}:T\to \omega$\end{document} so that for (closed) terms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $a,b$\end{document} of Gödel's \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document} we have: If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $a$\end{document} reduces to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $b$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\omega>{\cal D}(a)>{\cal D}(b).$\end{document} By one uniform proof we obtain as corollaries: A derivation lengths classification for functionals in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document}, hence new proof of strongly uniform termination of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document}. A new proof of the Kreisel's classific ation of the number-theoretic functions which can be defined in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document}, hence a classification of the provably total functions of Peano Arithmetic. A new proof of Tait's results on weak normalization for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document}. A new proof of Troelstra's result on strong normalization for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document}. Additionally, a slow growing analysis of Gödel's \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $T$\end{document} is obtained via Girard's hierarchy comparison theorem. This analyis yields a contribution to two open pro blems posed by Girard in part two of his book on proof theory. For the sake of completeness we also mention the Howard Schütte bound on derivation lengths for the simple typed \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\lambda$\end{document}-calculus. (shrink)

The aim of this paper is to present a strongly complete first order functional predicate calculus generalized to models containing not only ordinary classical total functions but also arbitrary partial functions. The completeness proof follows Henkin’s approach, but instead of using maximally consistent sets, we define saturated deductively closed consistent sets . This provides not only a completeness theorem but a representation theorem: any SDCCS defines a canonical model which determine a unique partial value for every predicate symbol and any (...) function symbol. Any SDCCS can thus be interpreted as an epistemic state. (shrink)

I investigate whether Wittgenstein’s “weakly exclusive” Tractarian semantics (as reconstructed by Rogers and Wehmeier) is compositional. In both Tarskian and Wittgensteinian semantics, one has the choice of either working exclusively with total variable assignments or allowing partial assignments; the choice has no bearing on the compositionality of Tarskian semantics, but turns out to make a difference in the Wittgensteinian case. Some philosophical ramifications of this observation are discussed.

This paper explores the relationship between language, subjectivity and teaching in Emmanuel Levinas’s Totality and Infinity. It aims to elucidate Levinas’s presentation of language as always already predicated on a relationship of responsibility towards that which is beyond the self and the idea that it is only in this condition of being responsible that we are subjects. Levinas suggests that the relation with the Other through which I am a subject as one uniquely responsible is also the scene of (...) teaching. Through examining these ethical conditions of subjectivity, I suggest that this notion of the self as oriented towards the Other in a relation of passivity presents a challenge to many of the standard topoi of teaching and learning and invites us to consider the nature of teaching in a provocative new manner. (shrink)

Interesting observations and problems emerge as the author pursues a complete calculus of an adverbial logic. Author Bartsch establishes a total of 18 adverbial subcategories and proposes an equal number of logico-semantic basic constructions in a predicate logical notation to explain them. The logico-semantic basic constructions bring out certain aspects of adverbial semantics, insofar as they can be specified by predicate logical means. However, for a logical and linguistic analysis of adverbials to be complete, sentence semantic analysis - provided it (...) is carried out in a clear-cut manner with clear paraphrasing criteria, unambiguous notation and complete interpretation rules - must be supplemented by and combined with 'word semantics' and syntax in a more elaborate way. The topic of adverbial semantics is a complicated and rewarding field, and this book contains enough suggestions, challenging hypotheses and stimulating observations, so that anybody directly concerned with the study of adverbials will want to have a look. (shrink)

The fundamental belief in destiny in Yoruba culture is explained within the tradition that for every individual person who comes to aye (earth), there is a package of destiny containing the totality of all that such person will be. However, the content of this destiny is not known to any person except Orunmila, one of the deities. Therefore, it is believed that a person dies if and when he/she has exhausted the content of his/her ori (package of destiny). Included (...) also in the Yoruba belief system is that a youthful death is a sorrowful death. This is predicated on the premise that a young man could not have completed the content of his earthly mission. His death is therefore sorrowful, and he could therefore not be admitted into Orun(“heaven”) to join the league of the ancestors. This is the explanation for the belief in reincarnation, and, more specifically, the belief in akudaaya or abarameji(reincarnated persons).This paper argues for two main points. First, in spite of the Yoruba belief that no human being is privy to the content of destiny, the Yoruba belief in sorrowful or sudden death (ikuofo or iku-ojiji) presupposes some knowledge of the content of each person’s destiny. Second, the beliefs in destiny on one hand, and in sudden or sorrowful death on the other, are mutually exclusive. This means that if one is true the other will be false and vice-versa, so that holding the two together would be contradictory. Because such contradictions are common in the entire gamut of Yoruba belief, there is need for a critical examination of theYoruba belief system in the quest for a modern culture. (shrink)

With the republication of The Structure of Appearance, a classic work of contemporary philosophical analysis has once more become available. The book is divided into three parts. The first part deals with certain topics in the theory of systems. The topics investigated are constructional definition, the calculus of individuals, and the calculus of simplicity. The calculus of individuals is of use only in nominalistic systems such as the one developed later in the book. Goodman's proposals on constructional definition and his (...) calculus of simplicity are, on the other hand, applicable to all systems. The second part is devoted to the presentation of two different phenomenalistic systems. The first is the system of Carnap's Aufbau, which attempts to abstract qualities from "full momentary cross-sections of the total stream of experience" called erlebs. It turns out that two difficulties in Carnap's treatment render his project incapable of realization, at least for the time being. Goodman then proceeds to develop his own system, taking qualities as his basic units and undertaking the task of constructing concrete entities out of them. Goodman devotes a chapter to the intuitive presentation of his ideas and develops them systematically in the two chapters which follow. In the third part of the book, Goodman shows how order and measure can be defined within his system. The last chapter is devoted to time and includes a discussion of indicators. Several major and numerous minor changes distinguish the second edition from the first published fifteen years earlier. The chapter on simplicity has been almost entirely rewritten. In the new edition, the calculus of simplicity is presented axiomatically, and systematic investigations of different types of predicates are conducted. A new section has been added to the chapter on the topology of quality, which takes account of some recent developments. Other changes are minor, consisting of a revision of some formulae, typographical corrections and minor textual emendations. This is a work that no serious student of philosophy should ignore.—F. S. M. (shrink)

Most axiomatizations of set theory that have been treated metamathematically have been based either entirely on classical logic or entirely on intuitionistic logic. But a natural conception of the settheoretic universe is as an indefinite (or “potential”) totality, to which intuitionistic logic is more appropriately applied, while each set is taken to be a definite (or “completed”) totality, for which classical logic is appropriate; so on that view, set theory should be axiomatized on some correspondingly mixed basis. Similarly, (...) in the case of predicative analysis, the natural numbers are considered to form a definite totality, while the universe of sets (or functions) of natural numbers are viewed as an indefinite totality, so that, again, a mixed semi-constructive logic should be the appropriate one to treat the two together. Various such semiconstructive systems of analysis and set theory are formulated here and their proof-theoretic strength is characterized. Interestingly, though the logic is weakened, one can in compensation strengthen certain principles in a way that could be advantageous for mathematical applications. (shrink)

Kant took up the issue of origin in the Metaphysical Deduction of the Categories. He sought to demonstrate that the concepts of metaphysics, considered in themselves, are mere logical functions, that is, ways of synthesizing concepts to form judgments Accordingly, the metaphysical concept of substance/accident contains nothing more than the logical form of subject/predicate, whereby any arbitrary pair of concepts may be united in a judgment; cause and effect merely the hypothetical form of judgment, whereby any arbitrary pair of judgments (...) may be united as condition and conditioned; totality the form of subordination of one concept to another whereby any species of the one has the other as its genus; and so forth. Logical functions are what remain after we abstract from all content of the concepts in a judgment; they are merely the various ways in which any concept, or judgment, may be combined with any other, and so are utterly devoid of objective sense or signification. More importantly, they comprise the totality of that which may be attributed to the understanding taken by itself, in isolation from the other faculties of the mind: sensibility, desire, and feeling. The understanding, for Kant, is the capacity to judge ; it is not, when considered without relation to other faculties, a faculty of concepts, rules, principles, or even categories. Indeed, if categories may be said to express any content at all, it is simply and solely the relation of the understanding to another faculty. In the case of sensibility--a faculty comprising the manifold of the senses and its synthesis in imagination--categories are obtained when this synthesis is represented universally and a priori, and so represent the "pure synthetic unity of the manifold in general." Similarly, the categories tabulated in the Critique of Practical Reason express the relation of the capacity to judge to the capacity of desire. Thus, aside from "their possibility as a priori cognitions of objects of an intuition in general," the categories of the first Critique are nothing over and above sheer logical forms, through which no objective necessary connection whatsoever can be thought; indeed, so entirely void of all content and objective import are they that even Hume almost certainly would have countenanced them. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:ON THE RATIONALITY OF SACRIFICE1 Jean-Pierre Dupuy Ecolepolytechnique, Paris, andStanford University i; "came to be interested in John Rawls'sy4 Theory ofJustice—an active.interest which led me to become the publisher ofthe French version ofthat book—in part for the following, apparently anecdotal reason: 1)On the one hand, as early as the first lines ofhis book, Rawls makes it clear that his major target is the critique ofutilitarianism. Utilitarianism is the defendant, (...) charged with vindicating sacrifice. As everyone knows, "justice does not allow that the sacrifices imposed on a few are outweighed by the larger sum ofadvantages enjoyed by many (...) it denies that the loss of freedom for some is made right by a greater good shared by others (Theory 3-4; my emphasis). 2)On the other hand, although the term "sacrifice" pops up again and again throughout the book, you may look up the index: it doesn't figure there. "Sacrifice" is not granted the dignity of a concept. I found that shocking and my curiosity was aroused. My own research is driven by a few anthropological convictions (see Dupuy, Le Sacrifice et l'envie). I am going to list them here, for the sake of clarity and honesty, without trying to vindicate them. The arguments I am going to present do not depend in the least on whether these convictions are valid or not; they should be assessed on their own merits. a) AU non-modern social and cultural institutions are rooted in the sacred. 1 I should like to thank John Rawls and the late Robert Nozick for their remarks on earlier versions of this paper. 24Jean-Pierre Dupuy b)Of the three dimensions of the sacred: myths, rituals, and prohibitions, the most fundamental is the ritual. c)The most primitive and fundamental ritual form is sacrifice. d)Sacrifice is the reenactment bythe social group ofa primordial event which took place spontaneously: a process of collective victimage which resulted in the murder of a member ofthe community. This elimination of a victim reestablished peace and order. There lies the origin ofthe sacred. The victim is taken to be the cause or the active principle both of the violent crisis and its violent resolution. It unites within itself opposite predicates: it is at the same time infinitely good and infinitely evil. It can only be of a divine nature. e)Christ's death on the cross is just one more occurrence of the primordial event. As far as facts are concerned, there is no difference between primitive religions and Christianity. The difference lies in interpretation. For the first time in the history of humankind, the story is told from the victim's viewpoint, not the persecutors.' The story (the Gospel) takes side with the victim and proclaims its innocence. When, in our modern languages, we say that the victim was scapegoated, we just say as much. f)Modern institutions embody a tension between two contradictory drives. On the one hand, the drive to resort to more ofthe same: the drive to scapegoating. On the other, the anti-sacrificial drive set in motion by the Christian Revelation. In totality or only partially, these points have been made by several anthropological traditions, in particular the French sociological school, with the works of Fustel de Coulanges, Durkheim and Mauss; and the British anthropological school, with Frazer and Robertson-Smith. Freud and the Belgo-British anthropologist Hocart gave them a new momentum and, more recently, René Girard has produced an impressive synthesis.2 As is well known, Nietzsche's philosophy relies on point e), for which the author of The Gay Science ("there are no facts, only interpretations") felt justified in bringing a radical indictment against Christianity, taken to be the morality ofthe slaves. In this light, Kantianism appears to be a secularized form of Christianity. ThequestionIwanttoraise is: towhatextentisthistrueofRawlsianism? 2 See, in particular, his Violence and the Sacred, and also The Scapegoat. On the Rationality ofSacrifice25 It might be retorted: these references to anthropology are irrelevant to modern political philosophy, and, at any rate, the word "sacrifice" has now acquired ameaning altogetherdisconnected from its alleged religious roots. I do not think the burden ofthe proof is on my... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 29.3 (1999) 63-80 [Access article in PDF] The Transversality of Michel de Certeau: Foucault's Panoptic Discourse and the Cartographic Impulse Bryan Reynolds and Joseph Fitzpatrick Above all (and this is a corollary, but an important one), the phenomenological and praxiological analysis of cultural trajectories must allow to be grasped at once a composition of places and the innovation that modifies it by dint of moving and cutting across (...) them. --Michel de Certeau, Culture in the PluralThrough his rigorous examinations of the common, the quotidian, the personal, the plural practices that establish and continually transform societies, Michel de Certeau develops a conception of culture born of the perpetual transgression, however subtle or pronounced, of the boundaries imposed by all totalizing systems, whether theoretical or social. This view of culture as a "cutting across" of boundaries, which can be found in many forms throughout his work, achieves a special significance for the study of subjectification in his discussion of "Spatial Practices" that comprises the third section of The Practice of Everyday Life. In an important essay on Certeau's theory of space, Ian Buchanan argues that "our understanding of culture must commence with an understanding of the formation of the subject," and that the latter is addressed by Certeau through his essays on space [129-30]. Following this assertion, we want to argue that Certeau's analyses of spatial practices in Heterologies, "The Gaze: Nicholas of Cusa," and The Practice of Everyday Life [particularly the chapter "Walking in the City" 91-110], outline a theory that describes subjectivity as what amounts to, as Certeau puts it in Culture in the Plural, "a composition of places and the innovation that modifies it by dint of moving and cutting across them" [146]. Furthermore, by articulating the close relationship between Certeau's spatial theory and our own work on "transversal movement," we will attempt to show that the method of analysis Certeau uses in "Walking in the City" (and describes in several other works) is itself marked by the "transversal" tactics that his theory describes. 1 By focusing in particular on Certeau's methodological critique of Foucault in both The Practice of Everyday Life and Heterologies, we will demonstrate the various ways in which he moves beyond what Bryan Reynolds and James Intriligator have labeled the "dissective-cohesive mode" of analysis, an analytical [End Page 63] [Begin Page 65] approach (characteristic of most dialectical argumentation) that breaks its subject matter into constituent parts and examines those parts with the goal of reassembling them into a unified and accountable whole (such as, say, the city or the human subject in "Walking in the City"). 2 Postmodern Space: Certeau and Jameson In his essay "Heterophenomenology, or Certeau's Theory of Space," Ian Buchanan situates Certeau's writings on the production of space within the postmodern debate over the autonomy of the subject, opposing Certeau's view to Fredric Jameson's "assumption that the subject takes his or her psychic bearings from the built environment and only has certain existence so long as he or she can cognitively 'map' this environment" [Buchanan 114]. Citing the example of the Westin Bonaventure hotel in Los Angeles, Jameson argues that "this latest mutation in space--postmodern hyperspace--has finally succeeded in transcending the capacities of the individual human body to locate itself, to organize its immediate surroundings perceptually, and cognitively to map its position in a mappable external world" [44]. The effect on cultural politics, according to Jameson, is that the subject "submerged" by this postmodern hyperspace is deprived of the "critical distance" that makes possible the "positioning of the cultural act outside of the massive Being of capital" [48]. Buchanan finds in "Walking in the City" the basis for a critique of this view though a conception of space stemming from "heterophe-nomenology," defined as "a phenomenology predicated by a heterogeneously constituted subject which does not take for granted the unity of the body" [112]. Focusing on Certeau's debt to Merleau-Ponty's theories of perception (which can best be seen in... (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution to the (...) Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

Kreisel’s conjecture is the statement: if, for all$n\in \mathbb {N}$,$\mathop {\text {PA}} \nolimits \vdash _{k \text { steps}} \varphi (\overline {n})$, then$\mathop {\text {PA}} \nolimits \vdash \forall x.\varphi (x)$. For a theory of arithmeticT, given a recursive functionh,$T \vdash _{\leq h} \varphi $holds if there is a proof of$\varphi $inTwhose code is at most$h(\#\varphi )$. This notion depends on the underlying coding.${P}^h_T(x)$is a predicate for$\vdash _{\leq h}$inT. It is shown that there exist a sentence$\varphi $and a total recursive functionhsuch that$T\vdash (...) _{\leq h}\mathop {\text {Pr}} \nolimits _T(\ulcorner \mathop {\text {Pr}} \nolimits _T(\ulcorner \varphi \urcorner )\rightarrow \varphi \urcorner )$, but, where$\mathop {\text {Pr}} \nolimits _T$stands for the standard provability predicate inT. This statement is related to a conjecture by Montagna. Also variants and weakenings of Kreisel’s conjecture are studied. By the use of reflexion principles, one can obtain a theory$T^h_\Gamma $that extendsTsuch that a version of Kreisel’s conjecture holds: given a recursive functionhand$\varphi (x)$a$\Gamma $-formula (where$\Gamma $is an arbitrarily fixed class of formulas) such that, for all$n\in \mathbb {N}$,$T\vdash _{\leq h} \varphi (\overline {n})$, then$T^h_\Gamma \vdash \forall x.\varphi (x)$. Derivability conditions are studied for a theory to satisfy the following implication: if, then$T\vdash \forall x.\varphi (x)$. This corresponds to an arithmetization of Kreisel’s conjecture. It is shown that, for certain theories, there exists a functionhsuch that$\vdash _{k \text { steps}}\ \subseteq\ \vdash _{\leq h}$. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

We define an applicative theory of truth TPTTPT which proves totality exactly for the polynomial time computable functions. TPTTPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic (...) strength. Truth induction can be allowed without any constraints. For these reasons the system TPTTPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic.The proof that the theory TPTTPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently. (shrink)

In the literature, predicativism is connected not only with the Vicious Circle Principle but also with the idea that certain totalities are inherently potential. To explain the connection between these two aspects of predicativism, we explore some approaches to predicativity within the modal framework for potentiality developed in Linnebo (2013) and Linnebo and Shapiro (2019). This puts predicativism into a more general framework and helps to sharpen some of its key theses.

of monadic or relational predicate calculus (Fa, Gb, Rab, Hcd, etc.). • The Boolean Algebra BL set-up by such a language will be such that: – BL will have 2 n states (corresponding to the state descriptions of L) – BL will contain 2 2n propositions, in total. ∗ This is because each proposition p in BL is equivalent to a disjunction of state descriptions. Thus, each subset of the set of..

A formal semantic analysis of the _tough_-construction is provided building on the well-known observation that _events_ play a central role. A close look at the semantic characteristics of the class of _tough_-predicates and the syntactic and semantic properties of nonfinite clauses reveals the link between these pieces, expanding on recent advances in the semantics of clauses (Moulton in Natural selection and the syntax of clausal complementation, PhD thesis, University of Massachusetts at Amherst, 2009 ). Building on Salzmann (Reconstruction and (...) resumption in indirect A′-dependencies: On the syntax of prolepsis and relativization in (Swiss) German and beyond, de Gruyter, Berlin 2017b ), a formal semantic and syntactic analysis of prolepsis is provided to explain the antecedent gap chain in the _tough_-construction. In total, this paper offers a description and explanation of (i) the class of _tough_-predicates; (ii) the properties of the nonfinite clause that appears in the _tough_-construction; (iii) why no other predicates or clauses are permitted in the construction; (iv) the many properties of the antecedent gap chain in the _tough_-construction, primarily the fact that the chain is “weakly” unbounded; and (v) the semantic contribution of prolepsis as it applies in the _tough_-construction. (shrink)

A usual semantics for times1 assumes that the domain of quantification for times is an ordered set of times Tu called a ‘timeline’, with a total ordering relation < over Tu which is transitive, irreflexive, and antisymmetric. The default timeline is from the beginning of the universe to the end of the universe, passing through now, with a one-to-one mapping to ℜ (Tu is dense). Predicates can be modeled as functions from individuals to times to truth values, (...) t>> (abstracting away from world and event variables). This gives the standard interpretation for synonymous examples like (1) as in (2). (shrink)

In the preface to his Theodicy, Leibniz describes the whole of his philosophical work as an attempt to follow Ariadne’s thread through “the two famous labyrinths in which our reason goes astray.” The first and best known of these—the labyrinth of freedom—concerns the relation between contingency and necessity in history. The second—and the one I want to discuss—is what Leibniz calls the labyrinth of the composition of the continuum. The problem itself is relatively simple: how can indivisible and distinct elements (...) constitute a continuum? How, that is, can singularity possibly be thought if the real is everywhere continuous, without interruption or break? Leibniz, as is well known, affirms both extremes of these questions: what really exists are simple unities or wholes, and yet the totality of these unities constitutes a single, organically complete world. While one mode of approach would be to turn immediately to Leibniz’s elaboration of monadic expression and intrinsic predication, I want to examine the effects the problem generates for the specifically Leibnizian conception of the real and the ideal, as well as the transition this entails from the metaphorics of the labyrinth to the figure of the infinite library and the problem of repetition. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:CAUSALITY AND GENERALITY IN THE TREATISE AND THE TRACTATUS In the Tractatus Wittgenstein cryptically rejects the existence of a causal connection (or relation or nexus) : 5.135There is no possible way of making an inference from the existence of one situation to the existence of another, entirely different situation. 5.136There is no causal nexus to justify such an inference. 5.1361 We cannot infer the events of the future from (...) those of the present. Belief stition. Belief in the causal nexus is super1 And he later proceeds to add: 6.37 There is no compulsion making one thing happen because another has happened. The only necessity that exists is logical necessity. What he is claiming can be understood in terms of the "Logical Atomism* of the Tractatus. Atomic sentences, composed of a monadic predicate or a relational predicate and a suitable number of subject terms, represent situations or possible facts. The existence of a represented situation is the ground of truth for (or condition for the truth of or explanation of the truth of) the representing atomic sentence. We can consider 2 such atomic situations or atomic facts to be composed of a monadic property or relational property and an appropriate number of particulars. (This is a matter of some debate among interpreters of the Tractatus, but that issue does not really affect the question at issue in this paper. So, I will simply treat the view in the Tractatus along the lines of Russell's more explicit version of logical atomism in his lectures of 1918.) The world, according to Wittgenstein, is made up of such facts. This is the point of: 1.11The world is the totality of facts, not of things. 1.12The facts in logical space are the world. 1.13The world divides into facts. Consider, then, the claim that a's being F is the cause of its being G. This suggests that we construe causality in terms of a relation between the situations represented by 'Fa' and 'Ga'. With 1C representing a relation or nexus of causality, we could express that situation by: (1)C(Fa, Ga). The existence of the situation represented by (1) would then ground or explain the truth of (1). But that would mean that we recognize a relation of causality and causal relations between facts or situations. I cannot here argue, but will simply assert, that Wittgenstein's logical atomism in the Tractatus is incompatible with the recognition of relations between facts. However, one point that will be relevant to the concerns of this paper is easy to see. Logical atomism involves the claim — 1.21 Each item can be the case or not the case while everything else remains the same. This is not compatible with the recognition of the relation C and a fact grounding the truth of (1), for then Fo and Ga would not be items that were "independent" in the sense of 1.21. Hence, one who holds Wittgenstein's views about the independence of atomic facts cannot recognize causal relations between such facts. Thus, no fact is represented by (1) and C cannot relate atomic facts. The same results would hold if one suggested, in place of (1), that there was a fact corresponding to (2)(X)(Fx * Gx), where we read the arrow as the "causal" arrow — anything's being F causes it to be G. For, if there were a fact corresponding to (2), it would guarantee the link between the purported atomic facts Fa and Ga, since (3)Fa + Ga would be a logical consequence of (2), and we are back to a case like (1), with the arrow replacing 'C. (2) would also be problematic in that it would be some sort of "general" fact, which Wittgenstein also rejects. Thus, as Wittgenstein sees it there is no basis in the world for the explanation of causal statements. If the sentence (4)' (x) (Fx O Gx) ' is a statement of causal law is true, it is so simply because the list of atomic facts will contain the atomic sentence 'Ga' if it contains 'Fa'. That is, (4) is true, not because of any special fact corresponding to (5)(X... (shrink)

The study of the temporal structure of events in natural language is of prime importance in linguistics. Though there has been recent progress on formal theories of events, these theories do not address certain syntactic and semantic properties peculiar to languages such as Hindi. This paper concentrates on properties related to perfectivity. It motivates a small number of semantic features for events and their objects, such as whether an object exists independently of an event, whether it is totally affected by (...) the event, and so on. It then formalizes these features. It also shows how they can be formalized in an algebraic framework and applied in a categorial grammar to derive the properties of verbal and nominal predicates. The result is an integration of descriptive semantics with algebraic theories of objects and events. (shrink)

I will present and criticise the two theories of truthmaking David Armstrong offers us in Truth and Truthmakers (Armstrong 2004), show to what extent they are incompatible and identify troublemakers for both of them, a notorious – Factualism, the view that the world is a world of states of affairs – and a more recent one – the view that every predication is necessary. Factualism, combined with truthmaker necessitarianism – ‘truthmaking is necessitation’ – leads Armstrong to an all-embracing totality (...) state of affairs that necessitates not only everything that is the case but also everything else – that which is not the case, that which is merely possible or even impossible. All the things so dear to realists – rocks, natural properties, real persons – become mere abstractions from this ontological monster. The view that every predication is necessary does in some sense the opposite: it does away with totality states of affairs and, arguably, also with states of affairs. We have particulars and universals, partially identical and necessarily connected to everything else. Just by the existence of anything, everything is necessitated – the whole world mirrored in every monad. Faced with the choice between these two equally unappealing alternatives, I suggest returning to Armstrong’s more empiricist past: the world is not an all-inclusive One, nor necessitated by every single particular and every single universal, but a plurality of particulars and universals, interconnected by a contingent and internal relation of exemplification. While a close variant, truthmaker essentialism, can perhaps be saved, this means giving up on truthmaker necessitarianism. This, I think, what it takes to steer a clear empiricist course between the Scylla of Spinozist general factness and the Charybdis of a Leibnizian overdose of brute necessities. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.4 (2001) 591-592 [Access article in PDF] J. A. Cover and John O'Leary-Hawthorne. Substance & Individuation in Leibniz. Cambridge: Cambridge University Press, 1999. Pp. x + 307. Cloth, $59.95. This close engagement with Leibniz's modal metaphysics is as rewarding as it is challenging. Crisply written and tightly argued, the book aims to achieve a balance between what the authors describe as their historical (...) objective—to ascertain Leibniz's views on individuation against the backdrop of scholastic philosophy—and their philosophical goal—to investigate the issue of individuation more generally by construing Leibniz as a mediary between scholastic and modern metaphysics (4). The result is an original, if at times contentious, reinterpretation of some of the central tenets of Leibniz's philosophy.Since a full discussion of the work is beyond the scope of this review, we focus on one principal line of argument that supports much of what the authors say about Leibniz. Although in early texts Leibniz occasionally shows sympathy for a relational view of individuation (59-63), his dominant position (developed in the seminal Disputatio metaphysica) is that a substance's principle of individuation is wholly internal to it. For the authors, this becomes a benchmark for the interpretation of Leibniz's later philosophy. On their reading, Leibniz's account of individuation rests on two main theses: "the requirement of separability" (that the existence of any substance is metaphysically independent of that of any other substance except God) and "the requirement that whatever individuates a substance must be wholly internal to it" (87).These theses are heavy with consequences. Concerning the ontological status of relations and relational properties (or extrinsic denominations) the authors convincingly argue that Leibniz embraces a reductionist position, according to which relational properties supervene on a substance's intrinsic accidents, i.e., its perceptions and appetitions. Monadic facts about substances suffice to determine all relational facts, and the latter cannot change without a change in the former (though the converse does not hold). Emphasizing Leibniz's statement that God sees in a complete concept the "foundations" of all that can be predicated of a substance, the authors add to this the more controversial claim that extrinsic denominations are not included in the complete concept of an individual substance (83-4). Thus, the identity of any substance is defined by the totality of its intrinsic denominations, and these in turn determine the relations that hold among substances.The centerpiece of the book addresses the modal dimension of Leibniz's theory of individuation. Here the authors argue that Leibniz adheres to what they call "strong essentialism" rather than "superessentialism." The former, like the latter, holds that a substance could not have a complete concept different than the one it has. However, as a "strong essentialist" Leibniz denies that all of a substance's properties are essential to it. Based on their reading of Leibniz's doctrine of relations, the authors maintain that all and only intrinsic denominations are essential to a substance. From this they infer that Leibniz allows for the transworld identity of substances: the same substance can exist in different possible worlds, worlds distinguished by the fact that they contain different constituent substances. This is possible, according to the authors, because the "laws of harmony" impose no constraint on which substances can coexist in a world. A possible world is defined by the collection of individuals supposed to exist in it, and laws [End Page 591] of harmony are merely relational truths supervening on those substances' intrinsic accidents (109).The authors are candid in admitting that their interpretation cannot be reconciled with all of Leibniz's texts. Their goal instead is to give Leibniz the best he can get, metaphysically speaking: "Our efforts here are to show that the architectonic of Leibniz's own metaphysics is properly captured by strong essentialism, that the important and deepest threads of his thinking better hang together on that construal" (103). Yet one might take issue with their view of what count as Leibniz's "deepest" thoughts. Surely it is a... (shrink)

Although ostensibly defending speculative philosophy, Reck is doubtful that any unprejudiced speculative philosophy can exist: "No matter how much a philosopher may strive for neutrality, his test for the true philosophy is always predicated on the assumptions that his conception of being presents being as it is and that the conceptions of being his rivals uphold are partial or false." In the pursuit of neutrality, Reck attempts a mere chronicle of the distinctive conceptions of being which he feels have animated (...) the various metaphysical traditions: "Realism holds that whatever is in any sense is real; idealism that mind and its content alone are real; materialism that matter and its patterns alone are real; and process philosophy that process and the factors in process are real." The historical development of each of the four types is presented in masterly fashion. This book truly stands head and shoulders over its nearest rival in the Metaphilosophical literature for the depth of historical comprehension, the brilliant but controlled use made of a wealth of scholarship. A graduate student reviewing for comprehensive exams could do worse than to use Reck’s book. Those systems motivated at least in part by the drive-to-synthesis are disqualified a priori of being viable alternatives, motivated by distinctive intuitions. Realism, further, is found to have an inherent difficulty: "The task for the realist is to explain how the different levels or kinds of being can be related in a hierarchically ordered cosmos. The task is nothing short of explicating the bond of being." When Leibniz tries to relate finite particulars through a "Supreme Monad," he is faulted for "veering dangerously" close to Monism. Sympathetic toward Realism, Reck suggests a modification of Leibniz’s theory: not a rendering of the relations between man and God less mechanical, but a reduction of the "first Monad" from being supreme to a finite particular, struggling, like us, to overcome the hindrances posed by his environment. Reck concedes that the cognitive use of speculative philosophy, even when it redefines its project as Metaphilosophy, may be "futile"; however, he underscores the aesthetic value of the various systems, as Santayana would, when we can "bracket" the question of existence or truth and simply contemplate these cultural masterpieces as pure "essences." "Happy are those students who can suspend their critical search for truth sufficiently to savor the aesthetic values the systems of philosophy contain!" Reck refrains from judging between rival theories because such a judgment is always delivered from a view of what one takes to exist; and the impulse to go beyond "essence" to "existence" is, as Santayana teaches, prompted by fear, pain, instinct, or necessity. Rather than being a disinterested wonder at what "is," this passion is an "irrational agency of animal faith." "Needless to add," writes Reck, "animal faith is no more trustworthy than God’s existence to guarantee the truth of knowledge." This view can raise problems for Reck’s "finite" god. The finite god he prefers is perhaps "strong" enough to provide enough interconnection between existing particulars to justify a "Metaphilosophical" science, if not a properly "Philosophical" one, in the traditional sense; Reck could point to his own successful Metaphilosophy as evidence that his "god" is at least this strong. But isn't even this finite god an existential belief which, as the basis for a criticism, compromises one’s neutrality and thus constitutes a flaw in one’s Metaphilosophical theory? Is it possible that a totally adequate Metaphilosophical theory, on Reck’s canons, could not save enough interconnection between particulars to justify even a Metaphilosophy, as well as a Philosophy?—P. M. (shrink)

This article deals with a question of a most general, comprehensive and profound content as it is the nature of mathematical–logical objects insofar as these are considered objects of knowledge and more specifically objects of formal mathematical theories. As objects of formal theories they are dealt with in the sense they have acquired primarily from the beginnings of the systematic study of mathematical foundations in connection with logic dating from the works of G. Cantor and G. Frege in the last (...) decades of the nineteenth century. Largely motivated by a phenomenologically founded view of mathematical objects/states-of-affairs, I try to consistently argue for their character as objects shaped to a certain extent by intentional forms exhibited by consciousness and the modes of constitution of inner temporality and at the same time as constrained in the form of immanent ‘appearances’ by what stands as their non-eliminable reference, that is, the world as primitive soil of experience and the mathematical intuitions developed in relations of reciprocity within-the-world. In this perspective and relative to my intentions I enter, in the last section, into a brief review of certain positions of G. Sher’s foundational holism and R. Tieszen’s constituted platonism, among others, respectively presented in Sher and Tieszen. (shrink)

This project is in the first place an attempt to clarify what transcendental logic is and how Kant uses it in order to achieve his goals. I use two keys in unlocking transcendental logic: Kant's philosophy of mathematics and his account of modality. I argue that Kant's categorical separation of philosophical and mathematical cognition in his reflections on method is too sweeping and undifferentiated to account for his practice in transcendental logic. On the basis of an examination of what it (...) would take in order to sustain Kant's claim for the peculiarity of modal judgments---their subjective syntheticity---I argue that the positive claims that transcendental logic makes regarding objects are legitimated by the construction of an object as such, whose concept is provided by the sum total of the categories. I suggest that the schemata play a role analogous to that of the a priori constructed figure in a mathematical proof and provide a reconstruction of the Transcendental Doctrine of the Capacity of Judgment which makes sense of Kant's decision to label the modal principles 'postulates' in the precise sense of the Euclidean mathematicians. Part Two argues that Kant's practical philosophy is grounded on something which deserves to be called a transcendental logic every bit as much as the logic that we find in the Critique of Pure Reason. Instead of being based upon our capacity for theoretical judgment, in which we refer a concept to an ontic object via intuition, practical transcendental logic is based upon our capacity for practical judgment , in which we refer a concept to a deontic object via feeling. I show how the central arguments of Kant's practical philosophy rely implicitly upon the construction of a good will as such, which plays a semantic role analogous to that of the object as such in theoretical philosophy. One part of my case is contained in the demonstration that 'good' functions as a practical modal concept and that predications of goodness have a peculiar logical form, analogous to that exhibited by theoretical predications of existence. (shrink)

A unified theory is offered to account for three types of definite descriptions: with singular, plural, & mass predicates, & to provide an account for the word the in descriptions. It is noted that B. Russell's analysis ("On Denoting," Mind, 1905, 14, 479-493) failed to account for plural & mass descriptions. The proposed theory differs from Russell's only by the substitution of the notation (less than or equal to) for Russell's =. It is suggested that for every predicate G (...) there is an appropriate "part of" or "some of" relation on the extension of G. For singular predicates, (less than or equal to) becomes just the identity relation =. The predicate G is formulated as "the G" & analyzed with the formula ((schwa)x) (Gx . (Gy (includes) yy (less than or equal to) x)), which accounts for all cases of definite descriptions. It is suggested that the primary use of the is not to indicate uniqueness, but totality. C. Ornatowski. (shrink)

This paper deals with a series of semantic contrasts between the copula be and the preposition as, two functional elements that both head elementary predication structures. It will be argued that the meaning of as is a type lowering device shifting the meaning of its complement NP from the type of generalized quantifiers to the type of properties (where properties are conceived as relations between individuals and situations), while the copula be induces a type coercion from (partial) situations to (total) (...) possible worlds. Paired with van der Sandt's (1992) theory of presupposition accommodation, these assumptions will account for the observed contrasts between as and be. (shrink)

I offer an account of truth that combines elements of deflationism and traditional correspondence theories. We need such an intermediary account, I argue, in order to adequately answer two kinds of questions: "Why do we find it obvious that 'p' is true iff p?" and "Why is it contingent that 'p' is true iff p?" If what it is for 'p' to be true is explained by simply saying that p, as the deflationist claims, it is hard to see how (...) it could be contingent that 'p' is true iff p. But if it is claimed instead that what it is for a sentence to be true is for it to correspond to a fact, we still need some explanation of why 'p's correspondence with reality insure that p, and vice versa. What we need, I claim, is to recognize a structure to truth: truth for sentences, utterances, and other non-propositional entities depends on, and is analyzable in terms of, the expression of true propositions. Propositional truth can then be treated as insubstantial, as deflationary, and truth for other entities as substantial, consisting of correspondence to a fact . ;This account of truth, which I call Weak Deflationism, anchors the dissertation. In an introductory chapter, I give a partial defense of realism about propositions and properties, later defending Platonism against attacks by David Lewis. After formulating Weak Deflationism, I examine its implications for such matters as the "absurd comparison" objection, the truthmaker project in ontology, and non-factualist theories in metaethics. In a final chapter, I provide a Kripke-inspired modification of Weak Deflationism aimed to avoid liar-like paradox. Premised on a distinction between propositions that predicatively involve truth, i.e., truth-dependent propositions, and those that do not, truth-independent propositions, I argue that truth for the latter is deflationary and that truth for the former consists in being determined by the totality of truth-independent fact. Falsity is understood as truth of the negation. Liars are then counted neither true nor false, and paradox is averted. (shrink)

Equational logic for total functions is a remarkable fragment of first-order logic. Rich enough to lend itself to many uses, it is also quite austere. The only predicate symbol is one for a notion of equality, and there are no logical connectives. Proof theory for equational logic therefore is different from proof theory for other logics and, in some respects, more transparent. The question therefore arises to what extent a logic with a similar proof theory can be constructed when expressive (...) power is increased.The increase mainly studied here allows one both to consider arbitrary partial functions and to express the condition that a function be total. A further increase taken into account is equivalent to a change to universal Horn sentences for partial and for total functions.Two ways of increasing expressive power will be considered. In both cases, the notion of equality is modified and nonlogical function symbols are interpreted as ranging over partial functions, instead of ranging only over total functions. In one case, the only further change is the addition of symbols that denote logical functions, such as the binary projection functionAethat maps each pair ‹a0,a1› of elements of a setAinto the elementa0. An addition of this kind results in a language, and also in a system of logic based on this language, which we callequationalIn the other case, instead of adding a symbol forAe, one admits those special universal Horn sentences in which the conditions expressed by the antecedent are, in a sense, pure conditions of existence. Languages and systems of logic that result from a change of this kind will be callednear-equational. According to whether the number of existence conditions that one may express in antecedents is finite or arbitrary, the resulting language and logic shall befiniteorinfinitary, respectively. Each of our finite near-equational languages turns out to be equivalent to one of our equational languages, and vice versa. (shrink)

continent. 2.1 (2012): 22–28. Jeroen Mettes burst onto the Dutch poetry scene twice. First, in 2005, when he became a strong presence on the nascent Dutch poetry blogosphere overnight as he embarked on his critical project Dichtersalfabet (Poet’s Alphabet). And again in 2011, when to great critical acclaim (and some bafflement) his complete writings were published – almost five years after his far too early death. 2005 was the year in which Dutch poetry blogging exploded. That year saw the foundation (...) of the influential, polemical, and populistically inclined weblog De Contrabas (The Double Bass), which became a strong force for internet poetry in Dutch in the years to follow. In the summer of that year, a lively debate raged in the aftermath of Bas Belleman’s article “ Doet poëzie er nu eindelijk toe ?” (“Does poetry finally matter now?”), on a blog specifically devoted to this question. Up to that point, the poetical debate in the Netherlands had largely been confined to literary reviews (which were often subsidized), having become mostly marginalized in more mainstream media, where poetry could be covered by only a small number of so-called authorities. As a result, literary debate had acquired a rather placid quality. Though a variety of camps with different aesthetics could be discerned, most poetical positions shared a general acceptance of poetry as a form of art somewhat apart from fundamental political concerns. Late modernists would pursue subtlety and density of reference. Others would insist poetry was best understood as a form of entertainment that should ideally be accessible and work well on the stage. Still others would insist that poetry is mostly a play with forms. Linguistically disruptive strategies were valued highly by some, but mostly for their aesthetic effect. Values of disinterested playfulness reigned supreme everywhere. Any idea that poetry could be a field in which one confronts politics and the world was decidedly marginal. This led to a climate in which most attempts at polemics were DOA, often based on far too superficial positioning and analysis. The greatest polemical debates were revolving around the question of whether poetry should be difficult or easy, with both camps defining their ideas of difficulty and accessibility in ways that were so utterly shallow as to make the entire point moot. Debates were performed, rather than engaged with. It was a postmodern hell of underarticulated poetics. Half-consciously, people were yearning for new forms of criticism that could put the oomph back into poetry. Weblogs provided for ways to explore debate directly outside of the clotted older channels of the reviews and the newspapers. Belleman’s essay and the resulting online activity had shown that there was a widespread eagerness to take poetry more seriously as a social art form. It was in this environment that Mettes started his remarkable project Dichtersalfabet . At that moment, Mettes was active mostly in academic circles, having become noted at Leiden University as a particularly gifted student of literary theory. Within the Netherlands, the field of literary theory has a very odd relationship to literature as it is practiced in the country. Academic theory tends to have a mostly international view and engage with international debates of cultural criticism, literary theory, and philosophy, with academics often publishing in English and attending conferences around the world. Literature itself however is much more concerned with domestic traditions. Consequently, in the Netherlands, there exists a language gap between academic theoretical practice (as it is studied in the literary theory departments) and literary practice (which, academically, gets studied in specialized departments of Dutch literature). The Dichtersalfabet can be seen as Mettes’s attempt to close this gap. It is also an attempt to bridge the divide between theory and practice, in which he could apply his theoretical knowledge in a very unorthodox and unacademic critical mode that moreover could reach far beyond the domain of conventional criticism. Mettes’s goal was to trace a diagonal through Dutch poetic culture, to “strangle” what he perceived to be its dominant oppressive traditions of agreeable irrelevance, in order to see whatever might be able to survive his critical assaults. But he could only do so by means of a very serious engagement with poetry itself. To this end, he would go systematically through the poetry bookshelf of the Verwijs bookshop (part of a mainstream chain of booksellers) in The Hague, buying one publication per blog item, starting from A and working his way through the alphabet, reading whatever he might encounter that way in the restaurant of the HEMA store (another big commercial chain in the country). He would subsequently write down his reading experiences, refraining however from trying to write a nuanced book review. Rather, he would write about anything that caught his attention and sparked his critical interest. This way of working would yield vast, at times somewhat rambling, dense, lively, and generally brilliant essays, in which he held no punches. He never hesitated to pull out his entire arsenal of concepts from the international theory traditions, while never degenerating into mere academic exercise and pointless intertextualities. The attempt was rather to live the poetry that he read, and to engage it with the full range of political, academic, cultural, and personal references that he had at his disposal—all that composed the individual named Jeroen Mettes as a reader. Often what he wrote would not be according to the standards of what we usually think of as a critical review of a book of poetry. Sometimes he would even be a little sloppy in his judgments of poets or representations of the books he read, for example by basing an entire essay on the blurb of a book rather than its poetry content. But what he did was always brilliant writing nonetheless—virtuoso riffs on poetic fragments randomly found within capitalist society, exposing an incisive and insistent poetical sensibility. Mettes read poetry for political reasons, to see whether poetry could offer him a way to deal with a political world he detested. The right-wing horrors of the Bush years, the Iraq war, and the turn of Dutch public opinion towards ever more conservative, narrow-minded, and xenophobic views alongside a complete failure of the political left to present any credible alternative, were weighing heavily on the times in which Mettes reported on his reading. Poetry was to measure this world, diagram it, to lay bare its inconsistencies and faults, to indicate where lines of flight might be found. Amid the ruins of a world wrecked by imperialist policies, corporate capitalism, and doctrinal neoliberalism it would have to show the possibility of a new community. And it was, through its rhythmical workings, to release the reading subject from his confinement to ideologically conditioned individuality and lead him into the immanent paradise of reading. The stakes were high. Much higher than anything Dutch poetry had seen for many years. Mettes’s blog was widely read from the start. His posts sparked lively debates. Some of these subsequently led to the publication of extensive essays on a few key poets in some literary journals, particularly Parmentier and the Flemish journal yang , for which Mettes would become a member of the editorial board, a few months after starting the Dichtersalfabet . This could have been the start of a brilliant career, but this was not to be. The initial manic energy that fueled the blog gradually subsided. The Alfabet was updated less and less regularly. Mettes sometimes just disappeared for many weeks, then suddenly returning with a brilliant essay. Until, on September 21, 2006, he posted his final blogpost, consisting of no text whatsoever. That night I learned from his mentor at Leiden University that he had committed suicide. Mettes and I had had some fruitful exchanges on poetry, rhythm, music, and form, mostly on the blogs, but also by email. Three weeks before his death was the last time I heard from him: a very sudden, uncharacteristically curt note saying “My old new sentence epic.” Attached to that message I found a DOC-file of a work so major that I felt intimidated. This was N30 , a text he had been working on for over five years. After his death, it took me a long time before I dared to read it in its entirety. In the meantime, the work of preparing the manuscript for publication was entrusted by his relatives to his colleagues at yang magazine. It took them a few years to brush up the text and to edit the Dichtersalfabet -blog (which, apart from the Alphabet project itself, incorporated many other fragments of political, polemical, and theoretical writing) into book form along with the essays. The result of this labor was finally published in 2011 as a two-book set, and Mettes burst onto the Dutch poetry scene for the second time. The work was widely reviewed, on blogs, in journals, magazines, and newspapers. Many critics who had not followed the blogs in 2005 showed themselves surprised, baffled even, by the intensity of Mettes’s critical writing. But for those who had read the blog, the main surprise was in the poetry. During Mettes’s lifetime, some of his poems had already been published in Parmentier . Although these were strong texts by themselves, in no way did they prepare readers for N30 . Nothing like it had been written in Dutch before. Instead, N30 explicitly follows the American tradition of Language Writing, directly referencing Ron Silliman and his concept of The New Sentence. However, it would seem that much of the poetical thinking around his use of this technique puts him closer to a writer such as Bruce Andrews. For Mettes, using non sequiturs as a unit of poetic construction was not only a way of reinventing formal textual construction, but it was another way of finding the fault lines in the social fabric. From the perspective of the Language tradition, one may put N30 somewhere between Silliman and Andrews. N30 shares an autobiographical element with Silliman’s New Sentence projects, and as in Andrews, there is a concern for mapping out social totality within text—what Mettes refers to as a “textual world civil war.” Again this shows a formal textual strategy for allowing the person “Jeroen Mettes” to be absorbed by the world, which here appears as a whirlwind of demotic and demonic chatter, full of violence, humor, intensity, beauty, disgust, sex, commerce, and strife. Influenced as it may by American precursors, Mettes’s tone and form end up quite different from his American counterparts, consistently referencing a world that is Dutch, all too Dutch, taking on the oppressive orderliness of Dutch society with its endemic penchant for consensus by introducing chaos into its daily life and laying bare its implicit aggressions. The work’s 31 chapters each have a different feel and rhythmical outline, but none of them follow a predetermined pattern. Rather, Mettes would consistently edit and reedit the text, randomly rewriting parts of it, as he explains in his poetical creed Politieke Poëzie (Political Poetry). N30 – referring to the 1999 antiglobalist protest in Seattle – was to be the first text of a trilogy. The work itself was written “in the mode of the present.” A second text was to be written in the mode of the future, and a third one, in the mode of the past, was going to be an epic poem about the Paris Commune, and to form an alternative poetic constitution for the European project. I still deeply regret that Jeroen Mettes never got to complete those projects, just as I would be very keen on knowing what he might have had to say about more recent political developments. Instead, in 2006, he remained stuck in the horrors of the present, that ended up consuming him completely. He left Dutch literature with some of its most piercing criticism and its most profoundly moving, exciting and powerful poetry. Excerpts from N30 Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "N30." In N30+ . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. Chapter 1 1999. A day is a space too. And another man, who had chained himself, had his ribs crushed, and a motor has driven over somebody’s legs. Dutch health care system spends ±145 million guilders per year on worriers. A spiderweb vibrates as I pass by. Randstad renovating. She slaps her bag against her ass: “Hurry up!” OPINION IS TRUE FRIENDSHIP Your skin. It doesn’t express anything. “But the use of the sword, that’s what I learned, and you’ll need nothing more for the moment.” Just try to interrogate a guy like that. Gullit in Sierra Leone. Codes silently lying all around. But that’s simply what belongs to “that it’s just allowed”: that sigh of “world” (a word expressing that the trees are now standing along the water like black men with white bags in their hair); that’s nothing else right? And you see how everything has to move, and first of all what cannot do so. Without Elysium and without savings, barbarians lashing out, horny for an enemy, staring across the water, staring into the air—staring to get out of it. “You’ve never showed me more than the mall,” she said. All those “dreams” in the end—and now? It was lying on the stairway, so I picked it up and took it upstairs. Chapter 3 “You know what?” Telecommunication. For love… I don’t really like that cheap cultural pessimism, but… The holy city is on pilgrimage in the earthly bodies of the faithful until the time of the heavenly kingdom has come. The end of an exhausting autumn day behind the computer, my eyes filled with tears of fatigue. KITCHEN / INSTALLATION / SPECIALIST. Network integration. In the sun, stretched out on a sheet. (…) I don’t believe what I’m reading, because I want to believe something else. An illusion? Suits me. There’s a variety of shapes and tastes… “So what?” you may think. 102 dalmatians can’t be wrong. But I want more, dear… A feel good movie. I’m smashing the burned body. So what? We continue to save the European civilization. What’s there to win? Plato with poets = Stalin without gulag? Ball against the crossbar. No wonder. She comes straight to her point. She’s standing in the kitchen eating an apple. (…) The godless Napoleon had used her as a stable and wanted to have her taken down. “Our” Rutger Hauer. Ready or not here I come. Psst… are you also wearing a string? Nobody understands our desire. Cliffs breaking the waves and shattering the sunset. I used to be a real romantic (as a poet). A typical fantasy used to be the one in which I brutally raped mother and daughter Seaver from the sitcom Growing Pains . Nevertheless you only contain bad words. Eyelashes. Automatic or manual? That your skin always in the afternoon. Integration. The air is empty. Too bad! Hand in hand on their lonely way. Alaska! Chapter 12 May 5, 2001 [10:00-10:30] A dust cloud on a hill. Globe. Indian (British) (tie) / pope. Damascus. Rape. We’re carrying the ayatollah’s portrait through the streets. At the moment the girl is mostly suede jacket with white ribbons on her sleeves. A small explosion flares up/impact. Camouflage. Close up. We’re analyzing the situation. He’s dead right? Dead dead. Dead. Everything without, these, and only with the body. Indices signal death. Dollar bills are printed in factories. Holes. Light patch. Globe in a box. Microphone. What’s the situation? Grey impact on a green hill (field?). The water is blue. He has no lips. Interns on the background with skirts that are too long. This is an example of a sonnet. An Islamic woman pushes against the door of an electronics shop. Arrows (percentages (prices)). Is this what awaits the American? Touch screen interface. The word, an island, can only be a sign in that situation. We pull up a chair, join in on the fun. On the shelves only books about computers. One glance in the distance is enough to lighten up a luna park in the distance. She’s really desperate, especially when she laughs. Click. Ah. Next. And now it’s raining, but that’s ok. Yellow stains sliding over the south. Shallow caves light: clothes, boots, electrical equipment. 45. 22:10. Nothing gives you the right to eat more than people starving to death. The Hague. Slam dunk. Traffic light. Two H’s, one L (standing for the L (little prick)). We’re happy to say something. Clouds, small suns, temperatures, cities. The truth is never an excuse. Yellow. Yellow. Green. Yellow. Yellow. Yellow. Yellow. Green. Green. Yellow. Will you email me? Skeleton: “No.” Ex-nerds in brand-new and brightly red sport cars. $$$. I love. Shihab. Hooves in the sand. Skinny senior with over-sized sunglasses; old jockey (cap, trophy) smiling in slow motion. And there I am again, flashback, crying with my head in between my hands. Sometimes I’ve got the feeling that cannibals. Eyes: blue. Cancer. Why would I wait until tomorrow? Golden beams protruding from the lifted/lit earth. May 5, 2001 [11:30-12:45] You’ll remember this for the rest of your life. Graphs, diagrams. Bu$ine$$. Blue shirt, white collar, no neck (porn star). A name lights up. I’m hysteric. Will you join us? Letters falling in their words. Fingers set up a tent and start to dance. Young entrepreneurs from poor neighborhoods (read: black) guided by Microsoft. Kinda makes me happy, that sort of kitsch. A sense of exhaustion/impotence to see anything but the present. (…) Wouldn’t you like to? Orange explosion in an industrial zone. YOU’RE DOING THIS FOR AMNESTY INTERNATIONAL. Would you. A familiar face. Clouds and blossom. Sunflowers. Supermodels. Mountainous area in a rectangle: shades of brown, from dark to beige, more green toward the south. Tents and next to them (it’s all a blur) people. Plane. Stadium. Geometrical block of people. No, I ain’t crying. I don’t speak no more. I just want. Quote + photo. (Positive:) screaming crowd. Three-piece suit, seen from the back, before entering the arena. On the back: “Daddy abused me.” Oh, bummer. State of emergency has been declared and everyone has to cooperate. She’s cut her wrists. What we do know (…) is that there’s never been a unique word, an imperative name, nor will there ever be. [Click here for work that suits you.] Barefooted children are watching it (coherent pieces revelation of what’s lying below). Who knows how she’s changed during those two years. “Everything used to be better” + sigh. And here we are. An empty field of parquet. A city lying behind it. Explosion. Blue. A rain drop falling in my coffee. May 5, 2001 [14:30-15:30] A young Arafat on video speaking with raised finger. “I’m calling from my convertible.” Names on walls, victims, numbers… Tourists. Yellow. Yellow. “Your own child! Really, what kind of human are you?” I don’t want to hear it no more. A woman jumping out of the water in a yellow bikini against a background of fireworks and the Cheops pyramid. Thy sorrow shall become good fortune, thy complaints laudation. All planets will float and wander. Wo die Welt zum Bild wird, kommt das System (…) zur Herrschaft. It is something, but is it? May 5, 2001 [18:30-19:00] Iris. Leaves. NASDAQ. Open / and white and. For the one who’s doing nothing, just waiting. (…) NO DEFEAT is made entirely up of defeat -- since / the world it opens is always a place / formerly / unsuspected. October 2002. “Jeroen, I’m leaving for the cemetery, byeeee.” The rise of the middle class. My entire oeuvre is an ode to the. My entire head is a fight against the. God always demands what you cannot sacrifice. You may take that the easy way, but… “The state hasn’t made us, but we make the state” (Hitler). A stork exits the elevator. Skeletons of. Moscow. Helsinki. Palermo. Paris. Chapter 30 Like your paradises: nothing. United Desire, as only remaining superpower. And even though the sea is now calmer and the wind is blowing pleasantly in my face… Heart! Who determines whether a tradition is “alive”? The yellow leaf or the white branch? Mars. This sentence is a typical example. Most Dutch people are happy. No consolation. When I see a girl sitting at a table with a book, a notepad, a pen, a bottle of mineral water, her hand writing in the light—then I consider that one thing. “Presents,” “poetry,” “classics.” We are what we cannot make from ourselves. “Left”: mendicant orders, missionaries. Saint-Just: “A republic is founded on the destruction of its enemies.” She crosses the street with a banana peel between her fingers. (…) We chose our own wardens, torturers, it was us who called all this insanity upon ourselves, we created this nightmare… But “no”? Girl (just like a beach ball) talking rapid Spanish (Portuguese?) in a mobile phone. Do I have a chance now that her boyfriend is getting bold? CLIO, horny bitch. What else do you want? An old woman, between the doors of the C1000, is suddenly unable to go on; her husband stretches out his hand, speaking a few encouraging words. Selection from. Der Führer schenkt den Jüden ein Stadt. How can it reach us if we haven’t been already reached somehow? It doesn’t “speak.” No problem. Each word she uses is a small miracle, as if she doesn’t belong to it, to language, but wanders around with a pocket light looking for the exit; she’s never desperate (maybe a little nervous), lighting up heavy words from the inside. But indeed, we’re free. But the predicate is not an attribute, but an event, and the subject is not a subject, but a shell. That’s why also samurai, knights, and warriors raised the blossom as emblem: they knew how to die. Locked up in a baby carriage with a McDonald’s balloon. Blue helicopter, the blue sky. Whether you want to refer? The point is. How / Motherfucker can I sing a sad song / When I remember Zion? You’ll feel so miserable and worthless that you think: “If only I were dead!,” or: “Just put an end to it!” “So you’re an economist?” Her card—two little birds building a nest, her handwriting shaking—is still on the mantelpiece. Guevara: “No, a communist.” A straw fire, such was our life: rapidly it flared up, rapidly it passed. I’m fleeing, coming from nowhere. (…) Eazy-E drinking coffee with the American president. If I’d scream, would that be an event? Drown it: the cleaner it will rise up from the depths. No! The night, so fast… As if there’s something opened up in that face. Come on, we may not curse life. He shows me his methadone: “If you drink that all at once, you’ll die instantly.” The last one dictates how we should behave to deserve happiness. One shine / above the earth. “I want to go to Bosnia,” I said bluntly. I don’t even know the name of the current mayor. Let’s despise our success! “There is no future; this is the future. Hope is a weakness that we've overcome. We have found happiness!” Sun. Sushi. Volvo. I feel like a bomb about to explode at any moment. Makes a difference for the reconstruction right? The decor moves forward. Daughter of Nereus, you nymphs of the sea, and you Thetis, you should have kept his tired head above the waves! Alas! This sentence has been written wearing a green cap. I receive my orders from the future. A frog jumps into it. Her husband has turned the Intifada, which he follows daily on CCN, into his hobby, “to forget that he doesn’t have his driver’s license yet." Suddenly the sun slides over the crosswalk. Her (his?) foot is playing with the slipper under the table. Is this how I’m writing this book now? I’m not a fellow man. I hate you and I want to hurt you. These are my people. Their screaming doesn’t rise above the constantly wailing sirens which we've learned to ignore. My whole body became warm and suddenly started to tremble. Unfortunate is he who is standing on the threshold of the most beautiful time, but awaits a better one. Arafat’s “removal” is contrary to American interests. Jeep drives into boy. What you can do alone, you should do alone. A food gift from the people of the United States of America. Two seagulls. [...]. (shrink)

We use the category of presheaves over PTIME-functions in order to show that Cook and Urquhart's higher-order function algebra PV ω defines exactly the PTIME-functions. As a byproduct we obtain a syntax-free generalisation of PTIME-computability to higher types. By restricting to sheaves for a suitable topology we obtain a model for intuitionistic predicate logic with ∑ 1 b -induction over PV ω and use this to re-establish that the provably total functions in this system are polynomial time computable. Finally, we (...) apply the category-theoretic approach to a new higher-order extension of Bellantoni-Cook's system BC of safe recursion. (shrink)

1. ExpositionRichard Sharvy's ‘A more general theory of definite descriptions’ was published in 1980. Its aim was to replace Russell's paradigm by " a general theory of definite descriptions, of which definite mass descriptions, definite plural descriptions, and Russellian definite singular count descriptions are species. … We have an account of the generic ‘the’ along these same lines. " By now his theory has attained the status of a new paradigm. Even a casual trawl of the literature throws up over (...) a score of citations and endorsements, and no rebuttals of its central contention that the primary use of ‘the’ is to indicate totality . We shall argue that it is wrong for mass description, wrong for singular description, wrong for plural description and wrong for generic ‘the’. Sharvy would have approved: his obituary says that his car displayed the slogan ‘Subvert the Dominant Paradigm’.He follows Russell in treating descriptions as incomplete symbols, but nothing in his paper turns on this aspect of it, and we can bypass the issue by considering them in the context of complete sentences. Where Russell translates F into the predicate calculus as Formula Sharvy translates it as Formula Here ≤ is supposed to stand for some or other species of part of relation. His other governing idea is of a predicate's being cumulative. G is cumulative if any number of things that satisfy G have a sum, i.e. a least upper bound with respect to ≤ which also satisfies G. The meanings of ≤, sum and cumulativity vary according to the different kinds of description, which we take in the order in which Sharvy presents them. Meanwhile, we note that he originally defined ‘sum’ to mean simply the l.u.b. , but subsequently redefined …. (shrink)

The aim of this study is to determine what kind of religious coping activities the refugee students forced to emigrate to Turkey due to the devastating reasons such as war and violation of rights apply in order to overcome their traumatic lives and the relationship between the use of these religious coping activities and their adaptation to the culture they live in. The fact that religion has important functions in dealing with all difficulties, especially forced migration, makes it a matter (...) of interest about what kind of religious coping process refugees have experienced for making their lives bearable. Therefore, this research is based on the assumption that the refugees mostly struggle with difficulties by using positive religious coping methods and try to achieve cultural adaptation through this struggle. The sample was selected from the refugee students from Syria, Iraq and Afghanistan continuing their education in different departments of Karabük University and in different high schools of Karabük National Education Directorate in 2017-2018 academic year. “Cultural Adaptation” and “Religious Coping Styles” scales were applied to the sample with an average age of 18. According to the research findings, cultural adaptation and positive religious coping levels of the sample group are above the average, and negative religious coping levels are below the average. There was found a positive meaningful correlation between cultural adaptation and positive religious coping of which relation was determined through some independent and demographic variables (r =.269). Therefore, it is thought that providing spiritual care for refugee students might increase the level of cultural adaptation.Summary: The aim of this study is to determine what kind of religious coping activities the refugee students forced to emigrate to Turkey due to the devastating reasons such as war and violation of rights apply in order to overcome their traumatic lives and the relationship between the use of these religious coping activities and their adaptation to the culture they live in. The fact that religion has important functions in dealing with all difficulties, especially forced migration, makes it a matter of interest about what kind of religious coping process refugees have experienced for making their lives bearable. Therefore, this research is based on the assumption that the refugees mostly struggle with difficulties by using positive religious coping methods and try to achieve cultural adaptation through this struggle. The study that was conducted according to correlational survey model, used the questionnaire technique by implementing the “Cultural Adaptation” and “Religious Coping Styles” scales together with a personal information form. The sample of the study was chosen by random sampling, and consisted of 112 volunteer refugee students from Syria, Iraq and Afghanistan, studying at different departments of Karabük University and different public high schools in Karabük. While analyzing the data, firstly, averages were calculated by obtaining total scores of the scales. In order to reveal whether students’ cultural adaptation levels differ by various variables or not, t-test (Independent Samples t-test), one-way analysis of variance (Oneway ANOVA) and Scheffe Test were applied. While analyzing relations related to religious coping, non-parametric ‘Man Whitney U’ and ‘Kruskall Wallis H’ tests were applied in accordance with the result of the normality test. In the study in which correlation test was applied to determine the relationship between cultural adaptation and religious coping, the lowest p-value was predicated as.05 to determine the level of statistical significance. According to the findings, sample group’s levels of cultural adaptation (=3,27) and positive religious coping (=3,42) were above the average, and the level of negative religious coping (=1,77) was below the average. Cultural adaptation levels of the sample group has shown significant statistical differences in terms of the nationality variable. Accordingly, Syrian students had higher cultural adaptation scores (=3,48) than Iraqi (=3,19) and Afghani students (=3,06), and the difference among them was statistically meaningful (p<.01). There wasn’t detected any significant relationship between ‘negative religious coping’ levels of the sample and demographic and other independent variables; however, there were seen statistically significant differences just in terms of nationality, gender and age range among other demographic variables. Accordingly, female students scored higher (= 64,46) in positive coping than male students (= 47,32). The difference between them is statistically meaningful (p<.01). Students at the ages of 21-24 scored higher in positive religious coping (= 70,54) and the difference between them and the students at the ages of 14-16 (= 47,47) reached meaningful level, next to this Syrian students had higher levels of positive religious coping (= 62,91) and this reached a meaningful difference (p<.01) when compared with the averages of Afghani students (= 42,63). Moreover, there was a positive significant relationship between cultural adaptation and positive religious coping (r=.269, n=112, p=.004).Forced migration caused by wars is a traumatic experience including material and moral loss. The greatest contribution of spirituality in this kind of negative experiences causing severe stress is through positive religious coping. Hence, religious and spiritual beliefs not only enable cognitive satisfaction by offering the most satisfying answers to traumatic victims’ search for meaning, yet also help them to accept the situation. This is caused due to a sense of devotion, and contribute to both their struggle with the trauma and their post-traumatic development. According to the research findings, there is a significant relationship between students’ cultural adaptation and ‘positive religious coping’ tendency. Therefore, providing these students with spiritual care and counseling might contribute to their integration process. Moreover, it has been seen that it is important to conduct value-centered projects and activities which would prevent both refugee students and locals to marginalize each other, and would improve the culture of living-together. It is also important to provide governmental and non-governmental support for these projects and activities. On the other hand, launching free language courses to resolve communication problems, which are obstacles for integration, and establishing socio-cultural networks in and around the campus for constituting more compatible relationships among the students would improve the students’ integration capability. (shrink)

Kant’s distinction between analytic and synthetic judgments is best known through his metaphoric definition of an analytic judgment as one in which “the predicate B belongs to the subject A, as something which is contained in this subject A”. Although this is the most famous formulation of Kant’s distinction, what strikes a student most forcefully about Kant’s discussion of analyticity is the variety of different ways in which he explains the idea. One can identify passages which seem to make analyticity (...) depend upon containment, identity, contradiction, our way of knowing the judgment in question, our way of thinking the judgment in question, the function or role of the judgment in question. In addition to these six prima facie different conceptions of analyticity, there is also a question whether Kant intends his distinction to range over all judgments or only over subject-predicate judgments; if we apply these two alternatives to the six conceptions of analyticity, we have a total of twelve theories of analyticity contained in or suggested by Kant’s discussion. This is a bewildering situation indeed, and it is no wonder that subsequent discussions of analyticity have often lacked the decisiveness that one might wish for in matters of logic. (shrink)

In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it as (...) synthetic, and what his explanatory claim means. I argue that the principle of complete determination does not follow from the principle of excluded middle because the externally negated or ?negative? judgement ?Not (S is P)? does not entail the internally negated or ?infinite? judgement ?S is not-P.? Kant's puzzling explanatory claim means that empirical objects are determined by the content of the totality of experience. This entails that empirical objects are completely determinate if and only if the totality of experience has a completely determinate content. I argue that it is not a priori whether experience has such a completely determinate content and thus not analytic that objects obey the principle of complete determination. (shrink)

Charles Mills posits an epistemology of ignorance that underwrites the complicity of Whites, or people of Western European descent, as signatories of the racial contract. There is prevailing discourse about the complicity of White persons in perpetuating racism and whether they can experience epistemic injustice. In this paper, the claim to hermeneutical injustice, in particular, makes a further assertion that moral blameworthiness is mitigated for a subcategory of White Americans because of being socialized into a White-dominant culture of caste-based Afroscepticism. (...) I argue, based on Peirce's conceptualization of doubt, as against Descartes, that Afroscepticism is a totalizing belief system predicated on a racial group-based social epistemology and maintains a settled stance of questioning the commensurate citizenship of Blacks or American descendants of slaves. These perceived social costs warrant educational interventions that can dismantle its reasoning architecture. White Afroscepticism poses a barrier to the teacher’s efforts to cultivate the democratic habitus in students; however, educator preparation that takes its existence into account can build on the standard classroom practices of critical social justice that promote equity, critical multicultural education, and critical thinking. (shrink)