In this paper I develop a theory of 'function' and function as a deontic modal word and phenomenon. Kratzer’s account of the semantics for the deontic modals is invoked and using her approach a formal schema for the semantics of 'function'-sentences is proposed. My account of function is a modalized and extended version of Cummins’ systems-type account of function. In the biological and physical sciences, on this account, function is a complex empirical deontic modal property. It is built on the (...) property of X’s doing Y well enough to enable Z, which is implicitly deontic because of the evaluative but nonetheless empirical in its biological and physical applications. This account of function resolves many of the traditional puzzles about biological and physical function, and extends naturally to include the other types of function. With a variant treatment of the semantics, this account is argued also to apply to mathematical function, where it is shown to be interestingly related to Frege’s account of function. (shrink)

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every (...) node in the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms using ∧, ∨, ∀, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model-consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (shrink)

Universal Grammar (UG) is a theory about the innate linguistic knowledge that child language learners bring to the task of language acquisition. This chapter examines the findings of experimental research on children's knowledge of one principle of UG, called Principle C. It presents the defining properties of Principle C. The chapter reviews empirical evidence showing that children apply Principle C to a range of disparate‐looking phenomena. It also presents empirical findings that document children's assignment of hierarchical structure to strings (...) of words. The empirical evidence supports a conclusion – that child language learners access a level of linguistic representation in addition to the constituent structure that is formed using Merge. This additional component of the language apparatus is called Logical Form. The chapter looks at a string of words where Principle C applies at the level of Logical Form. Cleft sentences are one such case. (shrink)

We present various results regarding the decidability of certain sets of sentences by Simple Type Theory. First, we introduce the notion of decreasing sentence, and prove that the set of decreasing sentences is undecidable by Simple Type Theory with infinitely many zero-type elements ; a result that follows directly from the fact that every sentence is equivalent to a decreasing sentence. We then establish two different positive decidability results for a weak subtheory of math formula. Namely, the (...) decidability of math formula and math formula. Finally, we present some consequences for the set of existential-universal sentences. All the above results have direct implications for Quine's theory of “New Foundations” and its weak subtheory math formula. (shrink)

We prove that every finitely generated model for induction for universal formulas without parameters satisfies also all true universal sentences.

According to the actualist view, what is essential to the truth conditions of a future-tensed sentence ‘it will be the case that ϕ’ is reference to the unique course of events that will become actual. On the other hand, the modal view has it that the truth conditions of such a sentence require that the truth of ϕ be already “settled” at the time of utterance, where “being settled at time t” is defined by universal quantification over (...) a domain of courses of events, the futures compatible with what has happened up to time t. On the proposal we discuss in this paper, the actualist view and the modal view are seen as two related attitudes that speakers can have when they evaluate future-tensed sentences, and the corresponding interpretations undergo a unified semantic treatment based on a contextual notion of settledness. A central feature of our approach is a dynamic view of contexts of utterance, whereby the world of the utterance is not fixed once and for all, as different worlds, by the passing of time, can play this role in turn. Finally, one major goal of the paper is to show how the unified analysis we propose accounts for a particularly interesting interpretation of future-tensed sentences, often referred to as ‘epistemic reading’. (shrink)

The problem is addressed of establishing the satisfiability of prenex formulas involving a single universal quantifier, in diversified axiomatic set theories. A rather general decision method for solving this problem is illustrated through the treatment of membership theories of increasing strength, ending with a subtheory of Zermelo-Fraenkel which is already complete with respect to the ∀*∀ class of sentences. NP-hardness and NP-completeness results concerning the problems under study are achieved and a technique for restricting the universal quantifier is (...) presented. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

Some theories assume that sentences like (i) with a presupposition trigger in the scope of a quantifier carry an existential presupposition, as in (ii); others assume that they carry a universal presupposition, as in (iii). No student knows that he is lucky. Existential presupposition: At least one student is lucky.Universal presupposition: Every student is lucky. This work is an experimental investigation of this issue in French. Native speakers were recruited to evaluate the robustness of the inference from (i) (...) to (iii). The main result is that presuppositions triggered from the scope of the quantifier aucun‘no’ are in fact universal. But the present results also suggest that the presuppositions triggered from the scope of other quantifiers depend on the quantifier. This calls for important changes in the main theories of presupposition projection. (shrink)

Comparative constructions form two classes, those that permit direct comparisons (comparisons of measurements as in Seymour is taller than he is wide) and those that only allow indirect comparisons (comparisons of relative positions on separate scales as in Esme is more beautiful than Einstein is intelligent). In contrast with other semantic theories, this paper proposes that the interpretation of the comparative morpheme remains the same whether it appears in sentences that compare individuals directly or indirectly. To develop a unified account, (...) I suggest that all comparisons (whether in terms of height, intelligence or beauty) involve a scale of universal degrees that are isomorphic to the rational (fractional) numbers between 0 and 1. Crucial to a unified treatment, the connection between the individuals being compared and universal degrees involves two steps. First individuals are mapped to a value on a primary scale that ranks individuals with respect to the gradable property (whether it be height, beauty or intelligence). Second, the value on the primary scale is mapped to a universal degree that encodes the value’s relative position on the primary scale. Direct comparison results if measurements such as seven feet participate in the primary scale (as in Seven feet is tall). Otherwise the result is an indirect comparison. (shrink)

This paper deals with the interpretation and distribution of universal Free Choice (FC) items, such as English FC any or Spanish cualquiera. Crosslinguistically, universal FC items can be characterized as follows. First, they have a restricted distribution. Second, they express freedom of choice: the sentence You can take any card conveys the information that the addressee is free to pick whichever card she chooses. Under standard assumptions, the truth conditions of sentences like You can take any card (...) are taken to be captured by formalizations in which a universal quantifier ranging over individuals has wide scope over the possibility modal. The crucial observation that informs the account in this paper is that this type of formalization cannot capture the freedom of choice component. I will argue that in order to derive the right interaction between possibility modals and FC items, we need to add an exclusiveness condition to the standard wide scope paraphrases. The same proposal that guarantees freedom of choice will automatically account for the distribution restrictions of FC items. The formal implementation of this proposal is cast in the Hamblin semantics proposed in Kratzer and Shimoyama (Indeterminate phrases: The view from Japanese, 2002). (shrink)

The complexity of language is usually reflected in the complexity of sentences. At present, the research of sentence complexity mainly focuses on the analysis of syntactic complexity. In this paper, from the perspective of Leech's theory of sentence semantic structure, the predication structure is taken as the semantic unit to explore the sentence semantic complexity. The predication structures are extracted based on the result of sentence-based syntactic analysis, and then the linear expression sequence of a (...) class='Hi'>sentence is converted into a semantic hierarchy based on predicate semantic frameworks; the universality of predicate semantic frameworks is obtained by using the spectral clustering algorithm; and the sentence semantic complexity depends on the universality of predicate semantic frameworks at various layers. The experimental results show that the measurement method of sentence sematic complexity based on predicate semantic frameworks is more effective by comparing with the method that only considers the semantic categories of words in the sentence. (shrink)

Certain realists about properties and relations identify them with universals. Furthermore, some hold that for a wide range of meaningful predicates, the semantic contribution to the propositions expressed by the sentences in which those predicates figure is the universal expressed by the predicate. I here address ontological issues raised by predicates first introduced to us via works of fiction and whether the universal realist should accept that any such predicates express universals. After assessing arguments by Braun, D. and (...) Sawyer, S. for fictional universal anti-realism, I propose a novel, Kripke-inspired argument for the same conclusion. I ultimately defend the claim that while this argument presents the strongest case for fictional universal anti-realism, it is nonetheless unsound. I conclude that nothing stands in the way of accepting that some fictional predicates express fictional universals. (shrink)

Michael Tonry, Sentencing Matters (New York: Oxford University Press, 1996, 240pp.

Anthony K. Jensen - Nietzsche's Life Sentence: Coming to Terms with Eternal Recurrence - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 671-672 Muse Search Journals This Journal Contents Reviewed by Anthony K. Jensen Emory University Lawrence J. Hatab. Nietzsche's Life Sentence: Coming to Terms with Eternal Recurrence. New York-London: Routledge, 2005. Pp. xix + 191. Paper, $24.95. In his latest book, Lawrence Hatab brings together several threads from his previous writing into (...) an elegant expression that examines a wide range of Nietzsche's thought through the single prism of his notoriously obscure conception of "Eternal Recurrence." The opening chapters establish the affirmation of becoming and the "tragic" view of the world (which Nietzsche had already articulated in his earliest.. (shrink)

Andrew von Hirsch, Past or Future Crimes: Deservedness and Dangerousness in the Sentencing of Criminals New Brunswick, N.J.: Rutgers University Press, 1985, 220 pp.

In the second half of the sixteenth century, many universities influenced by Salamanca adopted the Summa theologiae as the textbook for teaching scholastic theology. At the same time, the universities decided that some minor chairs should teach one of the Sentences commentaries written by one of the following authors: Duns Scotus, Durand of Saint-Pourçain, or Gabriel Biel. As a result, some commentaries on these commentaries started to appear. This is most notably the case when it comes to the University of (...) Coimbra, where Aquinas’s Summa became the textbook only very late and where the chairs of Scotus, Durand and Biel were instituted in the second half of the century. This article provides a list of questions making up thirteen commentaries produced in Coimbra, where, unlike what happened in Salamanca, the professors belonged to different religious orders. It also presents the list of questions of one commentary connected with a Franciscan convent. Some reflections on the need to study late-scholastic manuscripts as well as on the structure of these commentaries are also offered. (shrink)

Jesper Ryberg and Julian Roberts teach ethics and criminology at Roskilde University and the University of Oxford respectively. In Sentencing and Artificial Intelligence, they have curated a powerf...

In just a few years, children achieve a stable state of linguistic competence, making them effectively adults with respect to: understanding novel sentences, discerning relations of paraphrase and entailment, acceptability judgments, etc. One familiar account of the language acquisition process treats it as an induction problem of the sort that arises in any domain where the knowledge achieved is logically underdetermined by experience. This view highlights the cues that are available in the input to children, as well as childrens skills (...) in extracting relevant information and forming generalizations on the basis of the data they receive. Nativists, on the other hand, contend that language-learners project beyond their experience in ways that the input does not even suggest. Instead of viewing language acqusition as a special case of theory induction, nativists posit a Universal Grammar, with innately specified linguistic principles of grammar formation. The nature versus nurture debate continues, as various poverty of stimulus arguments are challenged or supported by developments in linguistic theory and by findings from psycholinguistic investigations of child language. In light of some recent challenges to nativism, we rehearse old poverty-of stimulus arguments, and supplement them by drawing on more recent work in linguistic theory and studies of child language. (shrink)

A sentence like every circle is blue might be understood in terms of individuals and their properties or in terms of a relation between groups. Relatedly, theorists can specify the contents of universally quantified sentences in first-order or second-order terms. We offer new evidence that this logical first-order vs. second-order distinction corresponds to a psychologically robust individual vs. group distinction that has behavioral repercussions. Participants were shown displays of dots and asked to evaluate sentences with each, every, or all (...) combined with a predicate. We find that participants are better at estimating how many things the predicate applied to after evaluating sentences in which universal quantification is indicated with every or all, as opposed to each. We argue that every and all are understood in second-order terms that encourage group representation, while each is understood in first-order terms that encourage individual representation. Since the sentences that participants evaluate are truth-conditionally equivalent, our results also bear on questions concerning how meanings are related to truth-conditions. (shrink)

Sylvia Wynter ends her monumental essay “‘No Humans Involved:’ An Open Letter to My Colleagues” (1994) with an urgent call to address the dire condition of the jobless and poor: “We must now undo their narratively condemned status.” Who are “we”? The sentence separates the university and its “narratively condemned” other. In fact, what the pronoun “we” in the open letter refers to is situated and far from universal, for it is “we in academia” that institute the Western (...) imperial constructs of race and class through “rigorous elaboration” of the present order of knowledge, the one that fails to register its misfits as humans, thus demoting them to the category of N.H.I. (“no humans involved”). I take Wynter’s letter as a point of departure by attending to its mode of address, its conscious use of the pronoun “we,” in light of her genealogy of the Eurocentric conceptions of humanity fundamentally entrenched in university vocation. In so doing, I re-raise the ethical and existential questions around the university, that is, its accountability for the enduring abjection of the N.H.I.-categorized Other, as well as the purpose and very reason for its being as an institutional structure. (shrink)

................English....................... The purpose of this study is to reveal university students’ perceptions regarding Holy Qur’an through metaphors. The survey group of study consists of 194 participants who were studying in Theology Department and Social Service Department at Gümüşhane University in the 2014-2015 academic terms. Both quantitative and qualitative methods are used together. The study’s data was collected through a form with the phrase “The Holy Qur’an is similar/like…, because...” and some demographical variables. The Content Analysis Technique was used to interpret (...) data. Results of this study determined that 44 different metaphors regarding Holy Qur’an were given by participants. Theme of these metaphors were compiled as 9 categories consisting of directional, life source, explanatory, key, protective, curative, instructive, speech, and other categories. Top metaphors are in the directional, life source and explanatory categories. Key words are metaphor, perception, The Qur’an perception, religious concepts, and religious symbols. Getting data through comprehensive and in-dept analysis can help to have information about concepts of holy books in the human mind. The purpose of this study is to pick out perceptions of university students with regard to the Holy Qur’an through metaphors. For this reason, these questions are searched by researchers: 1) What are the metaphors which used by university students on description of perceptions regarding the Holy Qur’an? 2) How are the metaphors regarding the Holy Qur’an categorized in terms of common characteristics which produced by university students? 3) Are there any links between socio-demographic variables and composed metaphoric categories? One of the qualitative data collection technics, data collecting through metaphors method is used, and is asked open-ended question in the study. Picking up similarities and diversities under thematic topics is quite easy in the method. Therefore, this method has a functional feature in the sociology, psychology and anthropology, and it gives a wealthy and qualified image about matter, phenomenon, event and situation (Yıldırım & Şimşek 2005, 212). The target population of the study consists of students who were taking education at Gümüşhane University. Easily accessible and availability principles pursued in the sample choosing. In the distribution of participants according to the demographical features, females have 61.9 percent (n:120) and males have 38.1 percent (n:74) in terms of gender. Students who graduated from religious vocational high school is 61.3 percent (n:119), and others who from other high schools is 38.7 percent (n:75) in terms of graduated from different high schools. Students in theology department have 68.0 percent (n:132), and students who were educated in the social service department have 32.0 percent (n:62). Research data is gathered through survey form includes “The Holy Qur’an is like/similar to…, because…” sentence and demographical variabilities. Data, gathered from 194 survey forms, is transferred to the Excel and the SPSS program. In an attempt to reliability of study, gathered metaphors is examined by four area expert. Frequencies (f) and percentages (%) is taken into consideration in the process of replacing metaphors to the tables. Data analysis technique is used on the getting relationships and explaining gathered data, while content analysis technique is used on the interpreting of data. The SPSS program is used in the analysis of quantitative data. Obtained data from the surveys and composed categories is associated with descriptive statements in the verses of the Holy Qur’an. In the composed categories demonstrate distribution of produced 44 different metaphors with regard to the Holy Qur’an as 9 categories. According to this, the sample is represented in the categories as 64.4 % (f:125) is in the ‘directional’, 11.3 % (f:22) is in the ‘life source’, 7.7 % (f:15) is in the ‘explanatory’, 3.1 % (f:6) is in the ‘key’, 3.1 % (f:6) is in the ‘protective’, 2.1 % (f:4) is in the ‘curative’, 2.1 % (f:4) is in the ‘instructive’, 2.1 % (f:4) is in the ‘speech’ and 4.1 % (f:8) is in the ‘other’ categories. Distributions of composed categories are represented according to common characteristics as frequencies and percentages in the next tables. In the distribution of produced metaphors in the ‘directional’ category, university students produced 7 different metaphors (f:125). Frequencies of produced metaphors in the category are such that: guide (f:41), advisor (f:25), mentor (f:19), compass (f:16), road map (f:8), route (f:3) and other (f:13). According to the result, it is understood that aspects of guide, advisor, mentor and compass stood mostly out in the category. In the ‘life source’ category, 6 different metaphors (f:22) is developed by participants. Developed metaphors’ frequencies in the category are the following: life (f:4), lifeblood (f:4), weather (f:2), water (f:2), inheritance (f:2) and others (f:7). So, life and lifeblood aspects stood mostly out in the category. In the ‘explanatory’ category, 5 different metaphor (f:15) is developed by participants. Frequencies of produced metaphors in the category are such that: light (f:5), sun (f:3), flashlight (f:2), torch (f:2) and other (f:3). According to the result, it is understood that aspects of light and sun stood mostly out in the category In the ‘protective’ category, 5 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: saver (f:2), lifeguard (f:1), hereafter-saving (f:1), escapeway (f:1) and branch to catch (f:1). According to the result, it is understood that aspect of saver stood mostly out in the category. In the ‘instructive’ category, 4 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: reference book (f:1), dictionary (f:1), priceless book (f:1) and life encyclopedia (f:1). In the ‘speech’ category, it is seen that 4 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: divine message (f:1), speaking truth (f:1), Allah’s dialogue with us (f:1) and final word (f:1). In the ‘key’ category, 3 different metaphors (f:6) is developed by participants. Frequencies of produced metaphors in the category are such that: a key (f:4), the key of heaven (f:1) and the key of salvation (f:1). In the ‘curative’ category, 2 different metaphors (f:4) is developed by participants. Frequencies of produced metaphors in the category are such that: a pill (f:3) and doctor (f:1). In the ‘others’ category, 8 different metaphors (f:8) is developed by participants. Frequencies of produced metaphors in the category are such that: world (f:1), the friend of lonely passenger (f:1), the tree with fruit (f:1), hereafter (f:1), priceless treasure (f:1), miracle (f:1), philosophy (f:1) and mirror (f:1). Participants composed of 44 different metaphors regarding the Holy Qur’an. The metaphors were summed up in the 9 categories as ‘directional’, ‘life source’, ‘explanatory’, ‘key’, ‘protective’, ‘curative’, ‘instructive’, ‘speech’ and ‘other’ To results of the study; guide, advisor, mentor and compass aspects of the Qur’an came into prominence at most in the ‘directional’ category, when life and lifeblood aspects of the Qur’an came into prominence at most in the ‘life source’ category. Light and sunny aspects of the Qur’an came into prominence at most in the ‘explanatory’ category, while saver aspect of the Qur’an came into prominence at most in the ‘protective’ category. Instructive aspect of the Qur’an came into prominence at most in the ‘instructive’ category. Speech aspect of the Qur’an came into prominence at most in the ‘speech’ category, while key aspect of the Qur’an came into prominence at most in the ‘key’ category. Moreover, pill aspect of the Qur’an came into prominence at most in the ‘curative’ category. Whatsoever world, friend of single traveler, tree with fruit, hereafter, priceless treasure, miracle, philosophy and mirror aspects of the Qur’an came into prominence at most in the ‘other’ category. It is inferred that significant relationships between demographic variables and metaphor categories. In terms of major variable; theology students were composed of more metaphor in the ‘explanatory’ and ‘instructive’ categories, while social service students were composed of more metaphor in the ‘life source’ category. In terms of gender variable; females composed of more metaphor in the ‘curative’ and ‘other’ categories, while males composed of more metaphor in the ‘directional category. In terms of graduating high school variable, students who graduated from religious vocational high school composed of more metaphor in the ‘key’ and ‘speech’ categories, when students who graduated from other high school composed of more metaphor in the ‘directional’ category. Whatsoever, in terms of having the Qur’an education in their life status variable, had the Qur’an education in their life students composed of more metaphor in the ‘curative’ and ‘other’ categories, while other group composed of more metaphor in the ‘directional’. Moreover, in terms of perception of subjective religiousness, students who think themselves are ‘religious’ composed of more metaphor in the ‘key’ and ‘other’ categories, while students who think themselves are ‘less religious’ composed of more metaphor in the ‘explanatory’ category. In terms of perception of family religiousness, students who think own family ‘less religious’ composed of more metaphor in the ‘directional’ and ‘life source’ categories, when students who think own family ‘religious’ composed of more metaphor in the ‘key’ category. It can be suggested by the results of this study; perception of the Qur’an can be studied with the different study techniques, or it can be studied in the different research groups with the same technique. Muslims’ perceptions regarding the Holy Qur’an can be examined with intercultural comparative studies. Perceptions regarding the Holy Qur’an can be researched through interviews. Members’ perception regarding holy book that have different religious faith can be comparatively examined. Individuals’ perceptions regarding different religious concepts can be studied through metaphors. .................. Turkish...................Bu araştırmanın amacı üniversite öğrencilerinin Kur’an-ı Kerim’e ilişkin algılarını metaforlar aracılığıyla ortaya çıkarmaktır. Araştırmanın çalışma grubunu, 2014-2015 eğitim öğretim yılında Gümüşhane Üniversitesi İlahiyat Fakültesi ve Sosyal Hizmetler bölümünde öğrenim gören 194 katılımcı oluşturmaktadır. Araştırmada nitel ve nicel yöntemler birlikte kullanılmıştır. Araştırma verileri, “Kur’an-ı Kerim……gibidir, çünkü……” cümlesini ve demografik değişkenleri içeren bir form aracılığıyla toplanmıştır. Verilerin analizi ve yorumlanmasında içerik analizi tekniği kullanılmıştır. Araştırmada Kur’an’a ilişkin 44 farklı metafor geliştirildiği tespit edilmiştir. Bu metaforlardan ‘yönlendirici’, ‘yaşam kaynağı’, ‘açıklayıcı’, ‘anahtar’, ‘koruyucu’, ‘öğretici’, ‘derman’, ‘kelam’ ve ‘diğer’ olmak üzere 9 farklı kategori oluşturulmuştur. Üretilen metaforların ‘yönlendirici’, ‘yaşam kaynağı’ ve ‘açıklayıcı’ kategorilerinde yoğunlaştığı görülmüştür. Demografik değişkenler ile metafor kategorileri arasındaki ilişkiyi ortaya çıkarmak araştırmanın ikincil amaçlarındandır ve bu yönüyle sonuçlar değerlendirildiğinde değişkenler ile kategoriler arasında anlamlı ilişkiler olduğu tespit edilmiştir. Demografik değişkenler ile kategori ilişkisinde fakülte değişkeni açısından ilahiyat öğrencileri ‘açıklayıcı’ ve ‘öğretici’ kategorilerinde daha fazla metafor üretirken sosyal hizmet öğrencileri ‘yaşam kaynağı’ kategorisinde daha fazla metafor üretmiştir. Cinsiyet değişkeni açısından ise kız öğrenciler ‘derman’ ve ‘diğer’ kategorilerinde daha fazla metafor üretirken erkek öğrenciler ‘yönlendirici’ kategorisinde daha fazla metafor üretmiştir. Lise mezuniyeti açısından bakıldığında da İHL’den mezun olanlar ‘anahtar’ ve ‘kelam’ kategorilerinde daha fazla metafor üretirken diğer lise mezunları ‘yönlendirici’ kategorisinde daha fazla metafor üretmiştir. Kur’an Kursu eğitimi alma değişkeni açısından ise Kur’an kursu eğitimi alanlar ‘derman’ ve ‘diğer’ kategorilerinde daha fazla metafor üretirken Kur’an Kursu eğitimi almayanlar ‘yönlendirici’ kategorisinde daha fazla metafor üretmiştir. Ayrıca öznel dindarlık ve aile dindarlık algılarıyla metafor kategorileri arasında da anlamlı ilişkiler elde edilmiştir. (shrink)

Retributivism Has a Past: Has It a Future? is the first volume of a series to be published by Oxford University Press: Studies in Penal Theory and Philosophy. Clearly the series is off to a fine st...

Towards the end of Percy Bysshe Shelley’s fragment ‘The Triumph of Life’ there are some famous lines which raise most of the questions that will concern me in this essay. Never mind, for the moment, the context: the lines I have in mind are these: “I rose; and, bending at her sweet command, Touched with faint lips the cup she raised, And suddenly my brain became as sand “Where the first wave had more than half erased The track of deer (...) on desert Labrador, Whilst the fierce wolf from which they fled amazed “Leaves his stamp visibly upon the shore Until the second bursts—so on my sight Burst a new Vision never seen before.—1[…]Two kinds of things are happening here which I want to point out. The first is that even as the poem is attempting to represent the mind as passive and the experience of the mind as an empty succession of events, it is also making a quite contrary attempt to represent the mind as active and the succession as a structure. The lines dramatise how a play of mental events, as they are represented in language, may be reprocessed in such a way that some of them come to be classified as interruptions or breaks in the otherwise meaningful sequence composed by the others. As my first paraphrase suggested, it seems to make sense to recast Shelley’s narrative into the story of deer chased by a wolf, a story which is then interrupted by the wave which bursts on the shore and which threatens the coherence of the story by threatening to efface all sin that the deer have passed across the beach, have crossed the mind. 1. Percy Bysshe Shelley, ‘The Triumph of Life,’ in Shelley’s Poetry and Prose, ed. Donald H. Reiman and Sharon B. Powers , II. 403-11. The most illuminating reading of these lines is Paul de Man’s in The Rhetoric of Romanticism , pp. 99-100. John Barrell is professor of English at the University of Sussex and author of a number of books on literature and the visual arts, most recently Poetry, Language and Politics . The Infection of Thomas De Quincey and The Birth of Pandora will be published next year. (shrink)

A rare survival provides unmatched access to the medieval classroom. In the academic year 1330-31, the Franciscan theologian, William of Brienne, lectured on Peter Lombard's Sentences and disputed with the other theologians at the University of Paris. The original, official notes of these lectures and disputes survives in a manuscript codex at the National Library of the Czech Republic, and they constitute the oldest known original record of an entire university course. An analysis of this manuscript reconstructs the daily reality (...) of the University of Paris in the fourteenth century, delineating the pace and organization of instruction within the school and the debates between the schools. The transcription made during William's lectures and the later modifications and additions reveal how the major vehicle for Scholastic thought, the written Sentences commentary, relates to fourteenth-century teaching. As a teacher and a scholar, William of Brienne was a dedicated follower of the philosophy and theology of John Duns Scotus (+1308). He constructed Scotist doctrine for his students and defended it from his peers. This book shows concretely how scholastic thinkers made, communicated, and debated ideas at the medieval universities. Appendices document the entire process with critical editions of William's academic debates (principia), his promotion speech, and a selection of his lectures and sources. (shrink)

In just a few years, children achieve a stable state of linguistic competence, making them effectively adults with respect to: understanding novel sentences, discerning relations of paraphrase and entailment, acceptability judgments, etc. One familiar account of the language acquisition process treats it as an induction problem of the sort that arises in any domain where the knowledge achieved is logically underdetermined by experience. This view highlights the 'cues' that are available in the input to children, as well as children's skills (...) in extracting relevant information and forming generalizations on the basis of the data they receive. Nativists, on the other hand, content that language-learners project beyond their experience in ways that the input does not even suggest. Instead of viewing language acqusition as a special case of theory induction, nativists posit a Universal Grammar, with innately specified linguistic principles of grammar formation. The 'nature versus nurture' debate continues, as various "poverty of stimulus" arguments are challenged or supported by developments in linguistic theory and by findings from psycholinguistic investigations of child language. In light of some recent challenges to nativism, we rehearse old poverty-of stimulus arguments, and supplement them by drawing on more recent work in linguistic theory and studies of child language. (shrink)

We present a visual world eye-tracking study on Tseltal (a Mayan language) and investigate whether verbal information can be used to anticipate an upcoming referent. Basic word order in transitive sentences in Tseltal is Verb–Object–Subject (VOS). The verb is usually encountered first, making argument structure and syntactic information available at the outset, which should facilitate anticipation of the post-verbal arguments. Tseltal speakers listened to verb-initial sentences with either an object-predictive verb (e.g., “eat”) or a general verb (e.g., “look for”) (e.g., (...) “Ya slo’/sle ta stukel on te kereme,” Is eating/is looking (for) by himself the avocado the boy/ “The boy is eating/is looking (for) an avocado by himself”) while seeing a visual display showing one potential referent (e.g., avocado) and three distractors (e.g., bag, toy car, coffee grinder). We manipulated verb type (predictive vs. general) and recorded participants' eye movements while they listened and inspected the visual scene. Participants’ fixations to the target referent were analyzed using multilevel logistic regression models. Shortly after hearing the predictive verb, participants fixated the target object before it was mentioned. In contrast, when the verb was general, fixations to the target only started to increase once the object was heard. Our results suggest that Tseltal hearers pre-activate semantic features of the grammatical object prior to its linguistic expression. This provides evidence from a verb-initial language for online incremental semantic interpretation and anticipatory processing during language comprehension. These processes are comparable to the ones identified in subject-initial languages, which is consistent with the notion that different languages follow similar universal processing principles. (shrink)

Universality has been an important concept in computable structure theory. A class C of structures is universal if, informally, for any structure of any kind there is a structure in C with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope (...) of being universal. We show that finitely generated groups are as universal as possible, given that they are finitely generated: for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties. The same is not true for finitely generated fields. We apply the results of this investigation to quasi Scott sentences, and also answer a question of Alvir, Knight, and McCoy. (shrink)

Hamkins and Kikuchi (2016, 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. This paper identifies the minimum subsystem of,, that ensures that the definable subset ordering of the universe interprets a complete theory, and classifies the structures that can be realised as the subset relation in a model of this set theory. Extending and refining Hamkins and Kikuchi's result for class theory, a complete extension,, of (...) the theory of infinite atomic boolean algebras and a minimum subsystem,, of are identified with the property that if is a model of, then is a model of, where M is the underlying set of, is the unary predicate that distinguishes sets from classes and is the definable subset relation. These results are used to show that that decides every 2‐stratified sentence of set theory and decides every 2‐stratified sentence of class theory. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation of (...) a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

We introduce the $\Sigma _1$ -definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, the sequence is $\Sigma _1$ -definable and provably finite; the sequence is empty in transitive models; and if M is a countable model of set theory in which the sequence is s and t is any finite extension of s in this model, then there is an end-extension of M (...) to a model in which the sequence is t. Our proof method grows out of a new infinitary-logic-free proof of the Barwise extension theorem, by which any countable model of set theory is end-extended to a model of $V=L$ or indeed any theory true in a suitable submodel of the original model. The main theorem settles the modal logic of end-extensional potentialism, showing that the potentialist validities of the models of set theory under end-extensions are exactly the assertions of S4. Finally, we introduce the end-extensional maximality principle, which asserts that every possibly necessary sentence is already true, and show that every countable model extends to a model satisfying it. (shrink)