The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Neste artigo, concentro-me sobre quatro variedades possíveis de ausência da vergonha. Minha esperança é a de que a reflexão sobre essas variedades possa, de alguma maneira, nos dar uma imagem mais completa acerca do papel que a vergonha desempenha sobre nosso caráter moral e nas discussões a respeito da atrocidade. Observo que a vergonha que emerge de uma exposição à atrocidade pode em parte constituir aquilo que nos leva a identificar oevento como atroz. Prossigo então argumentando que quando a vergonha (...) está ausente, esta ausência pode servir para nos cegar para a atrocidade que está à nossa frente, e que é nossa tarefa tentar evitar. Sentir vergonha faz parte de ver a atrocidade pelo que ela é de uma maneira apropriada emocionalmente engajada. Ela é, portanto, uma parte vital de ser humano, e sua ausência em certos casos é uma insuficiência demasiadamente humana de humanidade. (shrink)

This article develops a Gricean account for the computation of scalarimplicatures in cases where one scalar term is in the scope ofanother. It shows that a cross-product of two quantitative scalesyields the appropriate scale for many such cases. One exception iscases involving disjunction. For these, I propose an analysis that makesuse of a novel, partially ordered quantitative scale for disjunction andcapitalizes on the idea that implicatures may have different epistemic status.

Kamp and Fine presented an influential argument against the use of fuzzy logic for linguistic semantics in 1975. However, the argument assumes that contradictions of the form "A and not A" have semantic value zero. The argument has been recently criticized because sentences of this form are actually not perceived as contradictory by naive speakers. I present new experimental evidence arguing that fuzzy logic still isn't useful for linguistic semantics even if we take such naive speaker judgements at face value. (...) Specifically I show that naive speakers judge "A and not A" in the relevant cases as more true than "B and not A" even when A and B are judged to be equally true. A truth functional semantics such as fuzzy logic cannot account for these intuitions directly. (shrink)

This paper argues that parts of the lexical content of an A-bar moved phrase must be interpreted in the base position of movement. The argument is based on a study of deletion of a phrase that contains the base position of movement. I show that deletion licensing is sensitive to the content of the moved phrase. In this way, I corroborate and extend conclusions based on Condition C reconstruction by N. Chomsky and D. Fox. My result provides semantic evidence for (...) the existence of traces and gives semantic content to the A/A-bar distinction. (shrink)

All humans can interpret sentences of their native language quickly and without effort. Working from the perspective of generative grammar, the contributors investigate three mental mechanisms, widely assumed to underlie this ability: compositional semantics, implicature computation and presupposition computation. This volume brings together experts from semantics and pragmatics to bring forward the study of interconnections between these three mechanisms. The contributions develop new insights into important empirical phenomena; for example, approximation, free choice, accommodation, and exhaustivity effects.

It has been generally assumed that certain categories of numerical expressions, such as ‘more than n’, ‘at least n’, and ‘fewer than n’, systematically fail to give rise to scalar implicatures in unembedded declarative contexts. Various proposals have been developed to explain this perceived absence. In this paper, we consider the relevance of scale granularity to scalar implicature, and make two novel predictions: first, that scalar implicatures are in fact available from these numerical expressions at the appropriate granularity level, and (...) second, that these implicatures are attenuated if the numeral has been previously mentioned or is otherwise salient in the context. We present novel experimental data in support of both of these predictions, and discuss the implications of this for recent accounts of numerical quantifier usage. (shrink)

Free will has been the object of debate in the context of addiction given that addiction could compromise an individual’s ability to choose freely between alternative courses of action. Proponents of the brain-disease model of addiction have argued that a neuroscience perspective on addiction reduces the attribution of free will because it relocates the cause of the disorder to the brain rather than to the person, thereby diminishing the blame attributed to the person with an addiction. Others have worried that (...) such displacement of free will attribution would make the person with a drug addiction less responsible. Using the paradigmatic literature on the seductive allure of neuroscience explanations, we tested whether neuroscience information diminishes attributions of free will in the context of addiction and whether respondent characteristics influence these attributions and modulate the effect of neuroscience information. We performed a large-scale, web-based experiment with 2,378 German participants to explore how attributions of free will in the context of addiction to either alcohol or cocaine are affected by: (1) a text with a neurobiological explanation of addiction, (2) a neuroimage showing effects of addiction on the brain, and (3) a combination of a text and a neuroimage, in comparison to a control group that received no information. Belief in free will was measured using the FAD-Plus scale and was, subsequent to factor analysis, separated into two factors: responsibility and volition. The investigated respondent characteristics included gender, age, education, self-reported knowledge of neuroscience, substance-use disorder (SUD), and having a friend with SUD. We found that attributions of volition (in the cocaine-subsample) were reduced in the text and neuroimage-treatment compared to the control group. However, respondent characteristics such as education and self-reported knowledge of neuroscience were associated with lower attributions of responsibility for both substances, and education was associated with lower attribution of volition for the alcohol sub-sample. Interaction analyses showed that knowledge of neuroscience was found to generally decrease attribution of responsibility. Further research on attribution of free will should consider the effects of context and respondent characteristics, which appeared surprisingly larger than those induced by experimental treatments. (shrink)

The theory of language must predict the possible thought—signal (or meaning—sound or sign) pairings of a language. We argue for a Meaning First architecture of language where a thought structure is generated first. The thought structure is then realized using language to communicate the thought, to memorize it, or perhaps with another purpose. Our view contrasts with the T-model architecture of mainstream generative grammar, according to which distinct phrase-structural representations—Phonetic Form (PF) for articulation, Logical Form (LF) for interpretation—are generated within (...) the grammar. At the same time, our view differs from early transformational grammar and generative semantics: We view the relationship between the thought structure and the corresponding signal as one of compression. We specify a formal sketch of compression as a choice between multiple possible pronounciations balancing the desire to transmit information against the effort of pronounciation. The Meaning First architecture allows a greater degree of independence between thought structures and the linguistic signal. We present three arguments favoring this type of independence. First we argue that scopal properties can be better explained if we only compare thought structures independent of the their realization as a sentence. Secondly, we argue that Meaning First architecture allows contentful late insertion, an idea that has been argued for in Distributed Morphology already, but as we argue is also motivated by the division of the logical and socio-emotive meaning content of language. Finally, we show that only the Meaning First architecture provides a satisfying account of the mixing of multiple languages by multilingual speakers, especially for cases of simultaneous articulation across two modalities in bimodal speakers. Our view of the structure of grammar leads to a reassessment of priorities in linguistic analyses: while current mainstream work is often focused on establishing one-to-one relationships between concepts and morphemes, our view makes it plausible that primitive concepts are frequently marked indirectly or unpronounced entirely. Our view therefore assigns great value to the understanding of logical primitives and of compression. (shrink)

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodological principles had to be in place to give a consistent account of motion, and which mathematical notions were introduced to gain control over conceptual problems of motion. It shows how the idea of motion raised two fundamental problems in the 5th and 4th century BCE: bringing together being and non-being, and bringing together time and space. The first problem leads to the exclusion (...) of motion from the realm of rational investigation in Parmenides, the second to Zeno's paradoxes of motion. Methodological and logical developments reacting to these puzzles are shown to be present implicitly in the atomists, and explicitly in Plato who also employs mathematical structures to make motion intelligible. With Aristotle we finally see the first outline of the fundamental framework with which we conceptualise motion today. (shrink)

Acceptable analyticities, i.e. contradictions or tautologies, constitute problematic evidence for the idea that language includes a deductive system. In recent discussion, two accounts have been presented in the literature to explain the available evidence. According to one of the accounts, grammatical analyticities are accessible to the system but a pragmatic strengthening repair mechanism can apply and prevent the structures from being actually interpreted as contradictions or tautologies. The proposed data, however, leaves it open whether other versions of the meaning modulation (...) operation are required. Novel evidence we present argues that a loosening version of the repair mechanism must be available. Our observation concerns acceptable lexical contradictions that cannot be rescued if only a strengthening version of the pragmatic strategy is available. (shrink)

We investigated the acceptability and frequency of the use of cognitive enhancement (CE) drugs and three different types of academic misconduct (plagiarism, cheating in exams, and falsifying/fabricating data). Data from a web-based survey among German university students were used. Moral acceptability was relatively low for CE drug use and moderate for academic misconduct, while the correlation of their respective acceptability was moderately weak. Prevalence of CE drug use was lower than for academic misconduct and (very) lightly correlated with the prevalence (...) of plagiarism and fabrication/falsification. Acceptability of the investigated behaviors was associated with higher prevalence rates of each behavior. (shrink)

(1) adapted from (Higginbotham, 2006): (black instead of red) a. Do you see the man in (or: wearing) the black hat? b. #Do you see the man in (or: wearing) a black hat?

This volume comprises thirteen original research papers and three overview papers presenting new work using a number of experimental techniques from psycho- and neurolinguistics in the three key areas of current semantics and pragmatics: implicature, negation and presupposition.

A collection of essays from major scholars in the field as well as from people in a wide range of other disciplines to which the Timaeus and its reception have been of relevance, from architecture and film studies to physics.

This paper investigates the structure of English restrictive relative clauses. It provides support for the view that restrictive relative clauses are structurally ambiguous between two structures: the head-internal, raising structure and the matching structure, which has both an internal and an external head. We present a new test from extraposition facts that distinguishes between the raising and matching structures for relative clauses. Furthermore, this paper presents an account of the semantics of raising relative clauses which is intended to complete the (...) picture of the semantics of relative clauses. In particular, we argue that raising relative clauses are not islands for Quantifier Raising (QR) and that in these clauses there is successive cyclic movement through a CP-adjoined position. (shrink)

In this paper, I want to show that continuity is of crucial philosophical significance in Parmenides, who is the first thinker in the West to use the notion of continuity in a philosophically interesting and systematic way, and what being continuous (suneches) means for him. I look in some detail at the three passages in fragment 8 of Parmenides’ poem that are central for Parmenides’ notion of being suneches and discuss whether being suneches refers to something being temporally uninterrupted, spatially (...) connected, or ontologically holding together. An analysis of these three passages shows that suneches for Parmenides implies complete homogeneity and indivisibility. This analysis is also the basis for showing that suneches is conceptualized very differently in Parmenides’ poem and Aristotle’s Physics because of different starting points and different understandings of what we would call the principle of sufficient reason. (shrink)

We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, we compute certain fixpoints of a set of types — which can be viewed as an on-the-fly emptiness of the automaton. We use BDDs to represent and manipulate such type sets, and investigate different kinds of representations as well as a “level-based” representation scheme. The latter turns out to speed up construction and reduce memory consumption (...) considerably. We also study the effect of formula simplification on our decision procedures. To prove the viability of our approach, we compare our approach with a representative selection of other approaches, including a translation of K to QBF. Our results indicate that the BDD-based approach dominates for modally heavy formulae, while search-based approaches dominate for propositionally heavy formulae. (shrink)

From the point of view of a dynamic morphology, form is not only the result of process(es) — it is process. This process may be analyzed in terms of two pairs of fundamental processes: growth and decay, differentiation and dedifferentiation. Each of these processes can be analyzed in terms of various modalities (parameters) and submodalities. This paper deals with those of growth (see Table 1). For the purpose of systematits and phylogenetic reconstruction the modalities and submodalities can be considered dynamic (...) characters that have states. Each state of such a dynamic character is a more detailed process, hence not static. For example, determinate growth represents a state of the dynamic character (or modality) of growth duration.The processes of Table 1 can be applied to the whole plant kingdom (although in certain cases only some processes of the whole set may be applicable). Thus, the diversity of plant form is seen as a diversity of process combinations. From this point of view, change in form implies change in the process combination(s). Questions that arise are, for example, the following: Which process combinations actually occur? Which of these are the most frequent? How and why have process combinations changed during ontogeny and phylogeny? (shrink)

Stimulant drugs, transcranial magnetic stimulation, brain-computer interfaces, and even genetic modifications are all discussed as forms of potential cognitive enhancement. Cognitive enhancement can be conceived as a benefit-seeking strategy used by healthy individuals to enhance cognitive abilities such as learning, memory, attention, or vigilance. This phenomenon is hotly debated in the public, professional, and scientific literature. Many of the statements favoring cognitive enhancement (e.g., related to greater productivity and autonomy) or opposing it (e.g., related to health-risks and social expectations) rely (...) on claims about human welfare and human flourishing. But with real-world evidence from the social and psychological sciences often missing to support (or invalidate) these claims, the debate about cognitive enhancement is stalled. In this paper, we describe a set of crucial debated questions about psychological and social aspects of cognitive enhancement (e.g., intrinsic motivation, well-being) and explain why they are of fundamental importance to address in the cognitive enhancement debate and in future research. We propose studies targeting social and psychological outcomes associated with cognitive enhancers (e.g., stigmatization, burnout, mental well-being, work motivation). We also voice a call for scientific evidence, inclusive of but not limited to biological health outcomes, to thoroughly assess the impact of enhancement. This evidence is needed to engage in empirically informed policymaking, as well as to promote the mental and physical health of users and non-users of enhancement. (shrink)

Zeno’s Moving Rows paradox is the only paradox among his four paradoxes of motion that is usually skipped over as being of no philosophical interest. This paper aims to give a new diagnosis of the Moving Rows paradox, a diagnosis that allows us to see it as raising a philosophically interesting problem concerning the relationship of time, space, and motion. It shows the consequences of confusing time’s dependence on the space covered in a motion with time’s dependence on the motion (...) performed. I argue that, to date, the paradox has not been given the correct analysis – usually being reconstructed either as a mere oversight, or as some confusion about the relativity of motion, or as a very different atomistic paradox. (shrink)

This paper has two main goals: first, it reconstructs Aristotle’s account of measurement in his Metaphysics and shows how it connects to modern notions of measurement. Second, it demonstrates that Aristotle’s notion of measurement only works for simple measures, but leads him into a dilemma once it comes to measuring complex phenomena, like mo-tion, where two or more different aspects, such as time and space, have to be taken into account. This is shown with the help of Aristotle’s reaction to (...) one of the problems Zeno’s dichotomy paradox raises: Aristotle implicitly employs a complex measure of motion when solving this problem, while he explicitly characterizes the measure of motion as a simple measure in his Physics. (shrink)

It is usually supposed that, with his dichotomy paradox, Zeno gave birth to the modern so-called supertask debate – the debate of whether carrying out an infinite sequence of actions or operations...

This paper aims to show that—and how—Plato’s notion of the receptacle in the Timaeus provides the conditions for developing a mathematical as well as a physical space without itself being space. In response to the debate whether Plato’s receptacle is a conception of space or of matter, I suggest employing criteria from topology and the theory of metric spaces as the most basic ones available. I show that the receptacle fulfils its main task–allowing the elements qua images of the Forms (...) to exist as sensible things by being that in which the elements appear, change and move–in virtue of being pure continuity. All further qualifications required for a full notion of space are derived solely from the content of the receptacle. (shrink)