I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the (...) cognitive act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

This study examined the usage of the relative clause as a wealthy, crucial and complicated syntactic procedure in modern English Literature through the examination of Amaka Azuike’s Violated, a short play. The study determined the use of relative clauses in terms of their frequency of occurrence and type used, and it showed that English language speakers mostly attempt to use the "easier" type of the relative clauses to combine sentences for clarity of relaying messages. The paper extracted examples of (...) relative clauses from Violated to determine its aim of identifying the types of relative clauses used and the frequency of occurrence as well as the functions of the relative clauses in the play. The study also exposed the clarity the reader derives from the author’s use of relative clauses in creating a visible mental picture of issues presented in the story. The study adopted the descriptive grammar framework to account for the way relative clauses have been used in the play by the author. The study found that the author of the text used finite relative clauses and only one complex relative clause. Also, it discovered that the usage of relative clauses made the story quite state-of-the-art in style. (shrink)

This paper presents a study into the Hindi-Urdu 'na' as a sentence-final particle. Although also used as a topic marker and negation, 'na' occurs sentence-finally across clause-types. In light of the data, we think the following hypothesis offers the best fit: 'na' signals the speaker’s belief that the content of na’s containing clause is a reasonable inference, given what’s common ground. Notably, in addition to other clause-types, we explore na's distribution in exclamations and exclamatives. We (...) link our work to recent research on the polar question particle 'kya' in Hindi-Urdu. (shrink)

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that Montpelier is (...) the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

In the aftermath of Gettier’s examples, knowledge came to be thought of as what you would have if in addition to a true belief and your favorite epistemic goody, such as justifiedness, you also were ungettiered, and the theory of knowledge was frequently equated, especially by its detractors, with the project of pinning down that extra bit. It would follow that knowledge contributes something distinctive that makes it indispensable in our pantheon of epistemic concepts only if avoiding gettierization has a (...) value that can be explained without presupposing the value of knowledge. Tracking-type knowledge has a value that no other logically possible conditions on true belief does. As an Evolutionarily Stable Strategy it preserves appropriate belief states through time and changing circumstances. If we characterize gettierization through the concept of relevance matching, then we see that avoiding gettierization has a value independent of that of knowledge, namely, understanding, and that it is unnecessary to add a clause to the tracking conditions to make them suppress gettierization directly, though fallibly. The bright line of value is between gettierization avoidance and understanding on the one hand and knowledge on the other, and so should be the bright line defining concepts. The concept of relevance matching is key to a definition of what it is to understand why p is true, as opposed merely to knowing that p is true. Perfect tracking implies perfect relevance matching, so knowledge and understanding are intimately connected but understanding also requires that one own states that accomplish the relevance matching rather than achieving it vicariously. The theory of understanding based on relevance matching implies that understanding requires appreciation of not only p but its connections to other matters, and explains how it is possible to know that p is true without understanding why. The view implies that understanding is literally simulation, and is suggestive about understanding other minds. (shrink)

Since the early 1980s, there has been a debate in the semantics literature pertaining to whether wh-interrogatives can be directly disjoined, as main clauses and as complements. Those who held that the direct disjunction of wh-interrogatives was in conflict with certain theoretical considerations proposed that they could be disjoined indirectly. Indirect disjunction proceeds by first lifting both wh-interrogatives and then disjoining them; it assigns matrix-level scope to OR. As we will see, the notorious theoretical need for indirect disjunction has disappeared (...) by today. But the factual question remains. Are wh-complements disjoined directly or indirectly? What is the fact of the matter? This paper argues that the case for indirect disjunction remains reasonably strong. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but against (...) a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...) various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things (...) easier for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Appearance and Explanation: Phenomenal Explanationism in Epistemology by Kevin McCain and Luca MorettiCaleb EstepMcCAIN, Kevin and Luca Moretti. Appearance and Explanation: Phenomenal Explanationism in Epistemology. Oxford: Oxford University Press, 2021. iv + 195 pp. Cloth, $70.00Since its beginning, phenomenal conservatism (PC) has grown rapidly in popularity as a theory of epistemic justification. In Appearance and Explanation, McCain and Moretti develop out of PC a new theory of justification (...) that they call phenomenal explanationism (PE). Their goal is to integrate PC with explanationism—the view that epistemic justification comes from the best explanation—thereby creating PE as a hybrid theory. They ambitiously contend that PE captures the same basic intuitions as PC but is better equipped to handle epistemic phenomena as a whole, troubling objections to PC (and foundationalism in general), and skeptical [End Page 354] arguments. The book is comprised of seven chapters. This review will emphasize the first four.In chapter 1, the authors discuss what PC is and its merits. PC is the idea that "we should grant things to be the way they appear [or seem] to be, unless we have reason to doubt" our seemings. They point out some of the benefits of PC as perceived by its followers: It "provide[s] widespread epistemic practices with a rationale," "it offers a unified account of non-inferential justification for beliefs of very different types," "it constitutes the basis of fallible foundationalism," and has a strong "antiskeptical bite."In chapter 2, McCain and Moretti argue that PC is not sufficient to account even for noninferential justification. First, they argue, PC gives an insufficient explanation of the no-defeater condition. The no-defeater condition is the "unless we have reason to doubt" clause built into PC. PC does not explain why or how S's reason to doubt "interacts with S's seeming that e in such a way as to diminish S's non-inferential justification for believing p." Second, if the power of seemings to justify comes from the seemings themselves, then the seemings become unstable once the subject becomes aware of them. The upshot of this is that if seemings are sufficient for justification, then some beliefs that should not be justified would have justification.In chapter 3, the authors begin to elaborate on their view. The authors distinguish between mere seemings, paired appearances, and presentational appearances to show how appearances can have varying degrees of justificatory power. Seemings and appearances are used in a roughly synonymous way. Mere seemings are lacking in both sensations and presentational phenomenology, hence they provide a very weak form of justification. Paired appearances have sensations but not presentational phenomenology. They have greater justificatory strength than mere seemings but less strength than presentational appearances. Presentational appearances produce the strongest justification and include both sensations and presentational phenomenology. The big payoff from these distinctions is that they show how different appearances can produce varying strengths of justification.In chapter 4, Moretti and McCain first outline their version of explanationism, which is evidentialist in character. It is as follows: "Believing p is justified for S at t if and only if at t:(1). S has total evidence, E;(2). either (i) p is the best (sufficiently good) explanation of e (where e is a subset of E), or (ii) p is an explanatory consequence of the best (sufficiently good) explanation of e (where p is such an explanatory consequence if and only if the relevant explanation of e would provide an explanation of p's truth that is significantly better than the explanation it would provide of ~ p's truth);(3). it is not the case that p fails to satisfy (i) and (ii) with respect to e because of the additional evidence included in E." [End Page 355]Next, the authors merge explanationism with PC as understood through the threefold division of appearances given in chapter 3. The result is that appearances or seemings are necessary and sufficient for a subject to have evidence, but the subject is justified in believing some proposition p only because p is the best explanation of the evidence. Appearances contribute to epistemic justification because as evidence they regulate the capacity... (shrink)

Ergative languages make up a substantial percentage of the world’s languages. They have a case system which distinguishes the subject of a transitive verb from that of an intransitive, grouping the latter with the object — that is, the object of a transitive verb and the subject of an intransitive verb are in the same case, which we refer to as the nominative. However, ergative languages differ from one another in important ways. In Greenlandic Eskimo the nominative, whether it is (...) a subject or an object, is syntactically prominent in the clause, much like a subject in English; but in Warlpiri, the nominative is not prominent, more like an object. The variable prominence of the nominative manifests itself as well in the semantics, e.g., default scope of indefinite and quantified nominals. Using data from Greenlandic Eskimo and Warlpiri, and from Hindi, which represents a split ergative system, this paper develops a general theory of case which explains the observed differences amongst ergative languages. In addition, the theory is designed to account for the accusative language type, represented by English. (shrink)

Johnston maintains that the notion of a proposition -- ”a language independent (abstract) particular” -- can be dispensed with in philosophical semantics and replaced with that of a propositional act. A propositional act is a component of a speech act that is responsible for the propositional content of the speech act. Traditionally, it is thought that a propositional act yields the propositional content of a speech act by being an act of expressing a proposition. And it is the expressed proposition (...) that serves as the propositional content of the speech act. Johnston points out, however, that a propositional act is a structured event consisting minimally of a referential act, a predicative act, and a time-designative act. And on Johnston's view, the propositional content is the structured propositional act itself. (Strictly speaking, Johnston analyzes sameness of propositional content in terms of sameness of propositional act type, from which I, perhaps rashly, inferred that the propositional content of a speech act should be taken to be the propositional act itself). Johnston argues that a semantic analysis in terms of propositional acts enables us to reconcile the necessity of both, (1) Hesperus is Phosphorus (2) Phosphorus is Phosphorus with their intuitive difference in meaning, while maintaining the direct reference theory of proper names. Moreover, he argues that invoking propositional acts rather than propositions has the advantage of being able to capture the various senses in which distinct statements might be said to "say the same thing", as well as that of ontological parsimony. I will address each of these claims in turn, but first, I want to point out that the propositionalist can easily reconcile the necessity of (1) and (2) with their intuitive difference in meaning, without forsaking direct reference. All one needs to do is invoke the Fregean idea that there is a meaning shift in “thatâ€-clauses of (opaque) indirect discourse (and other) ascriptions.. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as (...) Cognitive Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

Özet -/- Bu çalışmada modern endüstri toplumlarında teknolojinin, bireylerin ve bir bütün olarak toplumun rasyonalitesini nasıl etkilediği ve bunun da ötesinde nasıl belirlediği incelenecektir. Bu inceleme Herbert Marcuse’nin Tek Boyutlu İnsan adlı eserinde ortaya koyduğu teknolojiye ilişkin görüşleri üzerinden yapılacaktır. Rasyonalite, bilgi ve deneyim arasındaki ilişki teknoloji üzerinden irdelenecek ve daha sonra Marcuse’nin ‘teknolojik rasyonalite’ kavramı Claus Offe’nin eleştirileri bağlamında çözümlenecektir. Son olarak Marcuse’nin teknoloji eleştirisi günümüzde ortaya çıkan toplumsal pratiklerle ele alınarak değerlendirilecektir. -/- Anahtar Terimler Teknoloji, Bilgi, Eleştiri, Pratik, (...) Kapitalist Toplum, Politika, Rasyonalite. -/- Rationality, Experience and Knowledge in the Age of Technology: Problems & Criticisms -/- Abstract -/- The question of how human potential is imprisoned in contemporary capitalism is one of the central topics of the analysis on social reality by every social theory which claims to be critical. This question which can be concretized as a systematic occupation with the cultural-technical forms which caused by contemporary capitalism and as an analysis of new types of social subjectivity which emerge as a result of these forms, essentially includes the effort to specify at what level and by using what kind of tools the current system grabs the individual by the throat. Frankfurt School tradition as one of the foremost traditions which conducts such an investigation, discusses the analysis of society over fragility of the bourgeois individual. -/- According to Frankfurt School, the individual in contemporary capitalism is extorted from bourgeois ideals and is out of breath as a result of blockade of overgrown structures in social context in which s/he lives. In other words, the bourgeois individual has been erased. In the late capitalist society where personal histories are melted away, technological progress is one of the processes that led to the deletion of the individual. The clearest expression of this emphasis finds correspondence in the introduction of Herbert Marcuse's One Dimensional Man. Marcuse proposes two opposite theses in this work which he examines advanced industrial societies: 1) Advanced industrial society have a structure that it can control the qualitative changes in predictable future, 2) However, trends and forces which can reverse this situation (which can break this limitation and destroy capitalist society) also exist. First one claims that relations of domination in the social structures are sustainable in the future; and the other thesis emphasizes that the opportunity of emancipation of people by getting free of these power relations is still possible. However, Marcuse does not dwell on too much on the latter (which is the claim about possibility of powers and trends that can change the current situation). Moreover it could be argued that his arguments relating to technological rationality and one-dimensionality draws us into the impossibility of attaining any moment of a positive social transformation. -/- The book is dominated by an atmosphere of immense feeling of being encircled and hopelessness, thus it follows from the work of Marcuse that in the system that we live in it is even impossible to breathe freely. Although in follow-up studies after the One Dimensional Man (especially in writings in which vitality of 68 movement and the axis of New Left), it can be observed that there is an attempt to convert despair into hope, it is clear that Marcuse’s designations regarding technological life mechanisms should be discussed again given the technological advancements of our times. Within this context, in the study, how the technology affects and furthermore determines the individuals and society as a whole in the modern industrial societies has been investigated. This investigation has been carried out through Herbert Marcuse's views on technology which are presented in his work One-Dimensional Man. The relationship between rationality, knowledge and experience has been examined on the basis of technology, and then Marcuse's concept of ‘technological rationality’ has been analysed in the context of Claus Offe's criticisms. -/- Finally, Marcuse's critique of technology has been assessed by considering the emerging social practices in this day and time. Herbert Marcuse refers to the rationality which is created by technology and is directly based on submissive efficiency, as ‘technological rationality’. Thinker argues that what is considered to be rational in a society is subject to change with technological developments, and social rationality is directly connected to the technological advancements. There are three different projections of technological rationality approach which are in turn ontological, epistemological and ethicalpolitical approaches. Claus Offe claims that it is possible to group these different dimensions under three theses. According to the first one; scientific rationality has become the organizational principle of domination. -/- According to Offe, in his second thesis Marcuse mentions the emergence of technology sui generis i.e. as a distinctive autonomous technological rationality. And the third thesis proceeds on the line of the argument that socialist societies are under the impact of technological rationality as well as capitalist societies. According to Offe, even though these three theses are consistent with each other, Marcuse has been violated the most fundamental principle of the Critical Theory by not offering any possibility of social transformation which are aimed at the problems of extensive manipulation and pacified existence that brought about by technological rationality. Hence although Marcuse's work is of utmost importance with regard to his analysis and the issues that he has covered, it would not be wrong to say that a problematic argument from the point of the tradition of Critical Theory has been proposed. The main reason for this is the argument which asserts that the technology turned into a mechanism of domination which is almost irreversible and unchangeable. Therefore, such mechanism does not offer any resistance point where human can take a breath. As a result of this, emancipation which is the main political purpose of the Critical Theory has been invalidated. What could be the problems which are created by the negative situation that results from Marcuse's thesis on technology? For instance, how could the basis for the existence of opposing movements which are organized over the internet or the foundations of anti-capitalist radical critique be explained on the axis of Marcuse’s thesis? -/- There is a fundamental problem that has to be solved: if we declare only the validity of oppressive, central and ideological functions of technological devices, then the idea which is referred by authoritarian governments that current opposing movements or rebel groups organized over internet might be organized from a centre which is defined as imperialist power or external power becomes an affirmable argument. In other words, does Marcuse's technological determinist approach serves to legitimize the discourses such as "foreign powers or imperialist enemies," and so on which authoritarian powers frequently resort to. Is it possible to think of another alternative with regard to the problems produced by this rationality apart from the negative comments that revealed by the concept of technological rationality. From what frameworks this question can be answered In the conclusion of the study, answers to these questions have been searched. -/- Keywords: Technology, Knowledge, Criticism, Practice, Capitalist Society, Politics, Rationality. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused on rather (...) than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

In this paper, we show that many of the dramatic changes that took place in the course of the history of the English complementation system are the result of a simple morphological Change in the determiner system. We propose that Old English (OE) evolved from a system in which 'complements' clauses, relative clauses and DP were interpreted as adverbials to a system in which they are interpreted as arguments of the verb. As the determiner acquired certain certain type of morphological (...) feature , a complementation system developed. We show that this claim is is reinforced by the fact that apparently unrelated changes all follow from the nature of the determiner system. (shrink)

A guide for translators, about the translation theory, the translation process, interpreting, subtitling, internationalization and localization and computer-assisted translation. A special section is dedicated to the translator's education and associations. The guide include, as annexes, several independent adaptations of the corresponding European Commission works, freely available via the EU Bookshop as PDF and via SetThings as EPUB, MOBI (Kindle) and PDF. For a “smart”, sensible translation , you should forget not the knowledge acquired at school or university, but the corrective (...) standards. Some people want a translation with the touch of the source version, while another people feel that in a successful version we should not be able to guess the original language. We have to realize that both people have right and wrong, and that their only fault is to present requirement as an absolute truth. Teachers agree at least on this principle: “If a sentence is ambiguous, the translation must also be“. There is another critical, less easy to argue, based on an Italian phrase with particularly strong wording: “Traduttore, traditore“. This critique argues that any translation will betray the author‘s language, spirit, style … because of the choices on all sides. What to sacrifice, clarity or brevity, if the formula in the text is brief and effective, but impossible to translate into so few words with the exact meaning? One could understand this criticism that it encourages us to read “in the text.” It seems obvious that it is impossible to follow this advice into practice. CONTENTS: Translation - Assessment of the amount of translated texts - Translation and interpretation - - Translation documents - Translation theories - - Practical / communicative approach - - Approaches of literary theories - - Sociolinguistic mainstream - - Approaches based on linguistic theories - - Approaches based on philosophical and hermeneutic concepts - - Semiotic approaches - The translation process - Types of translations - - Technical translation - Schools of thought - Difficulties associated with specialized domains - The problem of double translation - Thoughts about translation - European standard for translation services - Beautiful infidels - Self-translation - - Types of self-translation - - Factors that promote self-translation - - Self-translation and not authorial translation - Technical translation - - Terminology - - Translation process - - Translation tools - - The technical translator - - - Status - - - Remuneration - Conference interpreting - - Methods of interpretation - - Skills of the interpreter - - Contexts and working languages - - The interpretation in international institutions - - - UNESCO - - - European Union Internationalization and localization - Example - Internationalization and localization - Challenges - Software localization - - Difficulties - - Composing specifications - - Special tools Computer-assisted translation - Translation memory - - Advantages and disadvantages - - General operation - - Various - - Software - Machine translation - - Translation process - - Prerequisites - - Difficulties - - Approaches - - Development - - Existing products and services - - Prospective - Parallel text Subtitle - Subtitling or dubbing? - Description - Subtitling the movies - - Spotting - - Translation - - Simulation - - Engraving, inlaying or packaging - - The live broadcast - Live captioning - - Velotype - - Touch typing - - Computer-aided stenotype - - Speech recognition - Surtitles - - Comments - - Technical means - - Artistic issues - Quasi instant voice translation - - Difficulties - - Ongoing projects - - Future Translation Studies - Theories of translation - Interpretive theory - Back-translation - - The proper use of back-translation - False friends - - Cognates - - - Complete false friends - - - Partial false friends - - False cognates - Translation process - - The implications of the "inside" language - - Total and not absolute translation - - A single model - Untranslatability - - Hovering - - Translation methods - - - Adaptation - - - Calque - - - Compensation - - - Borrowing - - - Periphrasis - - - Translator's note - - Untranslatability of poetry and puns - - An amazing counterexample Translators - Translator's notes - European Master's in Translation - - European Master's in Translation - - - Organization of EMT - - - Core skills - - The EMT label - - EMT Network - - - Eligibility - - Members - European Council of Literary Translators' Associations - - History - - Objectives - International Translation Day Annexes: Translation in EU - Translation Guide - - Think before you write - - - Who will be reading the document? - - - What are you trying to achieve? - - - What points must the document cover? - - Focus on the reader - - - Be direct and interesting - - Get your document into shape - - - When you start - - - As you write - - - Two common problems at the European Commission: - - KISS - Keep It Short and Simple - - - Short... - - - ... and Simple: - - - Simple, uncluttered style also means: - - Make sense - structure your sentences - - Cut out excess nouns - verb forms are livelier - - Be concrete, not abstract - - Prefer active verbs to passive - - - Name the agent - - Beware of false friends, jargon and abbreviations - - - Avoid false friends - - - Avoid or explain jargon - - - Take care with abbreviations - - Revise and cheque check - Clear English Tips - - English prefers to be simple, concise and concrete. - - - Use simple words where appropriate. - - - Prefer a verb to an abstract noun - - - Prefer a gerund to an abstract noun - - - Prefer participles to relative clauses - - - And eliminate participles entirely if appropriate. - - - Use the passive voice sparingly - - - Consider replacing negatives with positives - - - Consider short forms and pronouns to avoid repeating full names … - - - Express conditions, including hidden ones, with ‘if’ ... - - - In general, cut out extra verbiage. - - English prefers straightforward syntax - - - Keep the subject close to the beginning of the sentence - - - Avoid splitting up subjects, modals, verbs and direct objects - - - If a sentence is too long, pull information out into separate sentences. - - - Use topic-introducing phrases sparingly. - - English may use different number, articles, gender or words from other languages - - - Keep uncountable nouns in the singular. - - - Use ‘a’ rather than ‘the’ for members of a class. - - - Do not use gender pronouns for entities. - - - Consider alternatives to ‘of’. - - - Finally, avoid ‘false friends’ in translation. - English Style Guide - - Introduction - - Writing English - - - GENERAL - - - SPELLING - - - PUNCTUATION - - - NUMBERS - - - ABBREVIATIONS AND SYMBOLS - - - Acronyms and initialisms - - - Contractions and truncations - - - FOREIGN IMPORTS - - - PARTS OF SPEECH - - - LISTS - - - SCIENCE GUIDE - - - FOOTNOTES, CITATIONS AND REFERENCES - - - CORRESPONDENCE - - - PERSONAL NAMES AND TITLES - - - NAMES OF BODIES - - - GENDER-NEUTRAL LANGUAGE - - About the European Union - - - THE EUROPEAN UNION - - - PRIMARY LEGISLATION - - - SECONDARY LEGISLATION - - - THE EU INSTITUTIONS - - - REFERENCES TO OFFICIAL PUBLICATIONS - - - EU FINANCES - - - MEMBER STATES - - - OFFICIAL LANGUAGES AND CURRENCIES - - - EXTERNAL RELATIONS - - TRANSLITERATION - - - TRANSLITERATION TABLE FOR GREEK - - - TRANSLITERATION TABLE FOR CYRILLIC - - FORMS OF ADDRESS - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - Style Guide for EU Member States - - Austria - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Belgium - - - Geography - - - Judicial bodies - - - Legal instruments - - - Federal structure - - Bulgaria - - - Geography - - - Judicial bodies - - - Legal instruments - - Croatia - - - Geography - - - Regions - - - Judicial bodies - - - Political and administrative structure - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - - Miscellaneous - - Cyprus - - - Geography - - - Judicial bodies - - - Legal instruments - - Czech Republic - - - Geography - - - Judicial bodies - - - Legal instruments - - Denmark - - - Geography - - - Judicial bodies - - - Legal instruments - - Estonia - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Finland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - France - - - Geography - - - Judicial bodies - - - Legal instruments - - Germany - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Greece - - - Geography - - - Judicial bodies - - - Legal instruments - - Hungary - - - Geography - - - Judicial bodies - - - Legal instruments - - Iceland - - - Judicial bodies - - Ireland - - Italy - - - Geography - - - Judicial bodies - - - Legal instruments - - Latvia - - - Geography - - - Judicial bodies - - - Legal instruments - - Lithuania - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Luxembourg - - - Geography - - - Judicial bodies - - - Legal instruments - - Malta - - - Geography - - - Judicial bodies - - - Legal instruments - - Netherlands - - - Geography - - - Judicial bodies - - - Legal instruments - - Poland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Portugal - - - Geography - - - Judicial bodies - - - Legal instruments - - Romania - - - Geography - - - Judicial bodies - - - Legal instruments - - Slovakia - - - Geography - - - Judicial bodies - - - Legal instruments - - Spain - - - Geography - - - Judicial bodies - - - Legal instruments - - Sweden - - - Geography - - - Judicial bodies - - - Legal instruments - - Turkey - - - Judicial bodies - - - Legal instruments - - United Kingdom - - - Geography Quotes References About the author - Nicolae Sfetcu . (shrink)

Hobbs (2010) introduced ‘clause-internal coherence’ (CIC) to describe inferences in, e.g., ‘A jogger was hit by a car,’ where the jogging is understood to have led to the car-hitting. Cohen & Kehler (2021) argue that well-known pragmatic tools cannot account for CIC, motivating an enrichment account familiar from discourse coherence research. An outstanding question is how to compositionally derive CIC from coherence relations. This paper takes strides in answering this question. It first provides experimental support for the existence of (...) CIC via offline evidence that attributive (non-)deverbal adjectives can trigger the same causal inferences within clauses that their predicative counterparts can trigger across clauses, albeit more weakly. To explain the experimental results, we use tools in Segmented Discourse Representation Theory (SDRT), which allows us to show that causal inferences can be derived in various ways, depending on whether deverbal adjectives are used attributively or predicatively. If the former, they are presupposition triggers and the coherence relations Elaboration/Continuation compete with Background; if the latter, Explanation/Result compete with Background. These different competitions -- cashed out in terms of interaction between default axioms -- correlate with the difference in the relative salience of the causal inferences. (shrink)

This paper argues that "that"-clauses do not reference propositions because they are not intersubstitutible with other expressions that do reference propositions. In particular, "that"-clauses are shown to not be intersubstitutible with propositional anaphors like "so." The substitution failures are further argued to support a semantics on which "that"-clauses are predicates.

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

There are striking parallels between current capability theories and the moral philosophy of Karl Christian Friedrich Krause. This article reconstructs central arguments of Krause’s ethics and correlates them with passages from the works of Martha Nussbaum, showing that such similarities extend not only to what, substantially, is being professed in either philosophy but also, procedurally, to the question of how the respective moral conclusions are reached. As Krause correlates responsibility with capability, the article begins with an examination of Krause’s idea (...) of human — as compared to animal — freedom and their respective normative implications. Next, the argument is extended to the social responsibilities of personal freedom, before widening the scope to the cosmopolitan plane. The paper then briefly examines historical links between Krause and current capability theorists, before concluding. (shrink)

What is the status of a cat in a virtual reality environment? Is it a real object? Or part of a fiction? Virtual realism, as defended by D. J. Chalmers, takes it to be a virtual object that really exists, that has properties and is involved in real events. His preferred specification of virtual realism identifies the cat with a digital object. The project of this paper is to use a comparison between virtual reality environments and scientific computer simulations to (...) critically engage with Chalmers’s position. I first argue that, if it is sound, his virtual realism should also be applied to objects that figure in scientific computer simulations, e.g. to simulated galaxies. This leads to a slippery slope because it implies an unreasonable proliferation of digital objects. A philosophical analysis of scientific computer simulations suggests an alternative picture: The cat and the galaxies are parts of fictional models for which the computer provides model descriptions. This result motivates a deeper analysis of the way in which Chalmers builds up his realism. I argue that he buys realism too cheap. For instance, he does not really specify what virtual objects are supposed to be. As a result, rhetoric aside, his virtual realism isn’t far from a sort of fictionalism. (shrink)

This chapter uncovers a less investigated aspect of the relationship between the two most important scholastic schools of the Renaissance, Thomism and Scotism: the influence of Scotist literature on distinctions as seen in some sixteenth-century Thomists. The chapter has a primary focus on Chrysostomus Javelli’s engagement in his discussion of divine attributes with the Scotist doctrine of distinctions, but also considers other Thomist sources. First, the beginnings of the highly specialised Scotist literature on distinctions are traced back to the start (...) of the fourteenth century; I show how some early followers of Duns Scotus, in particular Francis of Meyronnes and Petrus Thomae, systematised Scotus’ ontology of the various grades of being by compiling lists of subtle distinctions to be applied to various levels of reality. I give some indications as to the later reception of these models of distinctions in the Scotist school. Special attention is paid to Étienne Brulefer, since his summary of Petrus Thomae’s model of seven distinctions was Javelli’s source for the Scotist doctrine. I then investigate how Javelli worked with Brulefer’s summary, and how he sought to integrate the Scotist doctrine into his own discussion of divine attributes. Thomists traditionally allowed only a rational or mental kind of distinction among divine attributes, and between them and the divine essence. Javelli, however, endeavours to show how the Thomist position may be reconciled with the Scotist doctrine of a formal or ex natura rei distinction. He did not always endorse this conciliatory approach; I hypothesise that he changed his mind on the subject over time. Finally, I show how other Renaissance Thomists reacted to the Scotist system of distinctions; in particular, I draw attention to the Thomists Andreas Bodenstein von Karlstadt, Bartolomeo Manzoli, and Mattia Gibboni da Aquario, who all wrote treatises on Thomist distinction theory modelled on the Scotist system of distinctions. In some of this literature, lists of distinctions based on Thomist metaphysics were compiled in order to replace the Scotist system. I argue that Javelli’s approach is more conciliatory and, in fact, has some overlap with the concordist thought of Giovanni Pico della Mirandola, who himself considered Scotus and Aquinas to be in fundamental agreement as regards the distinction between divine attributes. (shrink)

We investigate a novel use of the English temporal modifier ‘now’, in which it combines with a subordinate clause. We argue for a univocal treatment of the expression, on which the subordinating use is taken as basic and the non-subordinating uses are derived. We start by surveying central features of the latter uses which have been discussed in previous work, before introducing key observations regarding the subordinating use of ‘now’ and its relation to deictic and anaphoric uses. All of (...) these data, it is argued, can be accounted for on our proposed analysis. We conclude by comparing ‘now’ to a range of other expressions which exhibit similar behavior. (shrink)

This chapter contains sections titled: The Philosophical Context in Jena around 1800 A Metaphysics of Freedom Analytic and Synthetic Philosophy Metaphysics of Humanity Socioeconomic Philosophy The Natural World Harmonious Freedom Krause's Philosophy in Spain Ideal de la humanidad (the ideal of humanity) Latin American Reception Conclusion References Further Reading.

NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.

In den vergangenen Jahren hat die Europäische Union (EU) wiederholt versucht, ihre Institutionen zu reformieren. Als der Entwurf für eine Europäische Verfassung und später der Vertrag von Lissabon ausgehandelt wurden, betraf einer der meistdiskutiertesten Streitpunkte die Frage, nach welcher Entscheidungsregel der EU-Ministerrat abstimmen sollte. Diese Frage ist eine genuin normative Frage. Deshalb sollten auch politische Philosophen und Ethiker etwas zu dieser Frage beitragen können. Im folgenden wollen wir uns dieser Herausforderung stellen und alternative Entscheidungsregeln für den EU-Ministerrat bewerten. Dabei erweisen (...) sich die Methoden der probablistische Modellierung und der Simulation sozialer Prozesse als unerlässlich.1 Damit wird deutlich, wie Simulationen auch innerhalb der angewandten politischen Philosophie als Methode eingesetzt werden können. (shrink)

Bartolomeo Mastri’s Disputations on Metaphysics is the single most important work on metaphysics produced in the Scotist school during the Early Modern period. This contribution guides through the work by highlighting a selection of key passages that convey an impression of its historical-literary context, its subject matter, its main motifs and scientific aims, but also its limitations. Especially, we see Mastri emphasizing the theological aspect of theology, though he in the end refrains from exploring this aspect of metaphysics within his (...) work on metaphysics. I suggest that this discrepancy between Mastri’s concept of metaphysics and his work on metaphysics showcases the difficulty of organizing this discipline during the phase of transition from the traditional commentary format typical of medieval scholasticism to the Early Modern scholastic Cursus philosophicus literature. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, (...) understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

The replication crisis has caused researchers to distinguish between exact replications, which duplicate all aspects of a study that could potentially affect the results, and direct replications, which duplicate only those aspects of the study that are thought to be theoretically essential to reproduce the original effect. The replication crisis has also prompted researchers to think more carefully about the possibility of making Type I errors when rejecting null hypotheses. In this context, the present article considers the utility of two (...) types of Type I error probability: the Neyman–Pearson long run Type I error rate and the Fisherian sample-specific Type I error probability. It is argued that the Neyman–Pearson Type I error rate is inapplicable in social science because it refers to a long run of exact replications, and social science deals with irreversible units that make exact replications impossible. Instead, the Fisherian sample-specific Type I error probability is recommended as a more meaningful way to conceptualize false positive results in social science because it can be applied to each sample-specific decision about rejecting the same substantive null hypothesis in a series of direct replications. It is concluded that the replication crisis may be partly due to researchers’ unrealistic expectations about replicability based on their consideration of the Neyman–Pearson Type I error rate across a long run of exact replications. (shrink)

The mean majority deficit in a two-tier voting system is a function of the partition of the population. We derive a new square-root rule: For odd-numbered population sizes and equipopulous units the mean majority deficit is maximal when the member size of the units in the partition is close to the square root of the population size. Furthermore, within the partitions into roughly equipopulous units, partitions with small even numbers of units or small even-sized units yield high mean majority deficits. (...) We discuss the implications for the winner-takes-all system in the US Electoral College. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and (...) for building sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...) the latter, the proposed analysis can be carried over NPs such as 'the number of people that fit into the bus', which describe tropes (particularized properties). (shrink)

Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the Agents of (...) Life, 2005; Wilson et al. Philos Top 35(1/2):189–215, 2007)]. On the face of it, the problems we face in individuating cellular kinds resemble those biologists and philosophers of biology encountered in thinking about species: there are apparently many different (and interconnected) bases on which we might legitimately classify cells. We could, for example, focus on their developmental history (a sort of analogue to a species’ evolutionary history); or we might divide on the basis of certain structural features, functional role, location within larger systems, and so on. In this paper, I sketch an approach to cellular kinds inspired by Boyd’s Homeostatic Property Cluster Theory, applying some lessons from this application back to general questions about the nature of natural kinds. (shrink)

I draw attention to two questions which arise from: Frege’s underlining in a letter to Russell, some of his remarks in ‘Meine grundlegenden logischen Einsichten’/‘My basic logical insights’, and a plausible thesis regarding indirect Bedeutungen. Addressing these questions is necessary for a proper understanding of Frege’s account of „dass“-sentences/“that”-clauses.

Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 blindsight differs (...) from ordinary visual experience in lacking the particularity, transparency and fine-grainedness often taken to be essential to visual experience, at least in veridical cases. I argue that the case of type 2 blindsight provides a counterexample to the view that these characteristics are essential to veridical visual experience and that this gives us reason to resist the view that visual experience is essentially a perceptual relation to external objects. In the second part of the paper I argue that the case of type 2 blindsight yields important insights into the effects of attentional modulation on perceptual content and that cases of attentional modulation of appearance are not at odds with the view that the phenomenology of visual experience flows from its content. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

We will begin with seemingly simple interactions in our daily lives, examine how they originate on a deeper level, come to understand the essentials of consciousness, and finally recognize that we create our reality in its entirety. In the course of this quest, we will uncover little-heeded paths to accessing our subconscious, other individuals, and that which can be understood by the term "God". And the solution to the classical problem of free will constitutes the gist of the concepts is (...) thus revealed. The present text is a very abridged version of a book I wrote out of the desire to examine the structure of our reality from a standpoint unbiased by established teachings, be they academic- scientific, popular- esoteric, or religious in nature. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...) a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

The uniqueness of each standpoint, each point of effect, can only be "overcome" by the standpoint changing to other standpoints and returning. In such alternation, which can also appear as constant change, lies the unity of the world. The wholeness of an alternation, however, is a structure of consciousness due to the special relationship between the circumscribing periphery and the infinitesimal center. This process structure unites determinacy and indeterminacy also totally in every place. Therefore, everywhere we are dealing with forms (...) of consciousness with more or less freedom of choice and an increasingly unknown depth. We live in a world of choosing consciousness, or rather awareness. In this respect, our environment expresses a deep truth about ourselves. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

The inflation of Type I error rates is thought to be one of the causes of the replication crisis. Questionable research practices such as p-hacking are thought to inflate Type I error rates above their nominal level, leading to unexpectedly high levels of false positives in the literature and, consequently, unexpectedly low replication rates. In this article, I offer an alternative view. I argue that questionable and other research practices do not usually inflate relevant Type I error rates. I begin (...) by introducing the concept of Type I error rates and distinguishing between statistical errors and theoretical errors. I then illustrate my argument with respect to model misspecification, multiple testing, selective inference, forking paths, exploratory analyses, p-hacking, optional stopping, double dipping, and HARKing. In each case, I demonstrate that relevant Type I error rates are not usually inflated above their nominal level, and in the rare cases that they are, the inflation is easily identified and resolved. I conclude that the replication crisis may be explained, at least in part, by researchers’ underestimation of theoretical errors and misinterpretation of statistical errors. (shrink)

Can we trace back consciousness, reality, awareness, and free will to a single basic structure without giving up any of them? Can the universe exist in both real and individual ways without being composed of both? This dialogue founds consciousness and freedom of choice on the basis of a new reality concept that also includes the infinite as far as we understand it. Just the simplest distinction contains consciousness. It is not static, but a constant alternation of perspectives. From its (...) entirety and movement, however, there arises a freedom of choice being more than reinterpreted necessity and unpredictability. Although decisions ultimately involve the whole universe, they are also free in varying degrees here and now. The unity and openness of the infinite enables the individual to be creative while this creativity directly and indirectly enters into all other individuals without impeding them. A contrary impression originates only in a narrowed awareness. But even the most conscious and free awareness can neither anticipate all decisions nor extinguish individuality. Their creativity is secured. (shrink)

The central claim of the Parfitian psychological approach to personal identity is that the fact about personal identity is underpinned by a non-branching psychological continuity relation. Hence, for the advocates of the Parfitian view, it is important to understand what it is for a relation to take or not take a branching form. Nonetheless, very few attempts have been made in the literature of personal identity to define the non-branching clause. This paper undertakes this task. Drawing upon a recent (...) debate between Anthony Brueckner and Harold Noonan on the issue, I present three candidates for the non-branching clause. (shrink)