Jespersen (1860-1934:73-75) described what he called resumptive negation: “A second class [of emphatic negation] comprises what may be termed resumptive negation, the characteristic of which is that after a negative sentence has been completed, something is added in a negative form with the obvious result that the negative result is heightened. . . . In its pure form, the supplementary negative is added outside the frame of the first sentence, generally as a afterthought, as in ‘I shall never do (...) it, not under any circumstances, not on any condition, neither at home nor abroad’, etc.” Such examples have, to the best my knowledge, received no attention in the modern linguistic literature with the exception of the discussion by van der Wouden (1997) and mention (without discussion) in (Lawler 1977), plus brief comments by Klima and by McCawley (see van der Wouden) . A somewhat similar type of example (1) is known from Ross’s (1967) “Slifting” paper, where it is presented with along with extensive p.c. comments from Larry Horn; later in passim mention appears in (Horn 1989) and occasionally elsewhere. (shrink)

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...) is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Ned Block argues that the higher-order (HO) approach to explaining consciousness is ‘defunct’ because a prominent objection (the ‘misrepresentation objection’) exposes the view as ‘incoherent’. What’s more, a response to this objection that I’ve offered elsewhere (Weisberg 2010) fails because it ‘amounts to abusing the notion of what-it’s-like-ness’ (xxx).1 In this response, I wish to plead guilty as charged. Indeed, I will continue herein to abuse Block’s notion of what-it’s-like-ness. After doing so, I will argue that the HO approach accounts (...) for the sense of what-it’s-like-ness that matters in a theory of consciousness. I will also argue that the only incoherence present in the HO theory is that generated by embracing Block’s controversial notion of what-it’s-like-ness, something no theorist of any stripe ought to do. Block is famous for (among other things) having introduced the notion of ‘phenomenal consciousness’ into contemporary philosophy of mind (Block 1995). This term is widely employed in the philosophical literature and it even appears in the empirical literature. But wide-speared usage has brought about divergent interpretations of the term. We can distinguish a ‘moderate’ and a ‘zealous’ reading of ‘phenomenal consciousness’. On the moderate reading, ‘phenomenal consciousness’ just means ‘experience’. Many people have embraced this sense of the term and use it to roughly pick out conscious experience involving sensory quality (states like conscious visual experiences or conscious pains, for example).2 On the zealous reading, however, phenomenal consciousness is held to be ‘distinct from any cognitive, intentional, or functional property’ (Block 1995: 234). That is, any explanation of phenomenal consciousness in exclusively cognitive, intentional, or functional terms will fail to capture, without remainder, what is really distinctive about phenomenal consciousness. Block, of course, is fully clear about embracing the zealous reading; indeed, his initial introduction of the notion is in those terms. The same ambiguity occurs with the much-used (and abused) idea of ‘what-it’s-like-ness’.. (shrink)

The COVID-19 pandemic has impacted data collection for longitudinal studies in developmental sciences to an immeasurable extent. Restrictions on conducting in-person standardized assessments have led to disruptive innovation, in which novel methods are applied to increase participant engagement. Here, we focus on remote administration of behavioral assessment. We argue that these innovations in remote assessment should become part of the new standard protocol in developmental sciences to facilitate data collection in populations that may be hard to reach or engage due (...) to burdensome requirements. We present a series of adaptations to developmental assessments and a detailed discussion of data analytic approaches to be applied in the less-than-ideal circumstances encountered during the pandemic-related shutdown. Ultimately, these remote approaches actually strengthen the ability to gain insight into developmental populations and foster pragmatic innovation that should result in enduring change. (shrink)

We present here the papers selected for the volume on the Unity of Propositions problems. After summarizing what the problems are, we locate them in a spectrum from those aiming to provide substantive, reductive explanations, to those with a more deflationary take on the problems.

This paper begins with the decisive moment of the 2010 Champions League final, as Diego Milito dribbles past van Buyten to settle the score. By taking a closer look at this situation we witness a complex and ambiguous movement phenomenon that seems to transcend established phenomenological accounts of performance, as a creative performance such as this cannot be reduced to bodily self-awareness or absorbed skilful coping. Instead, the phenomenon of the feint points to a central question we need to ask (...) when investigating performance in football: ?How can one intentionally transcend the expectations of others?? In order to clarify this, the paper will conduct a contextual analysis of a feint drawing on existential philosophy and phenomenology. The main argument is that the feint incarnates a fundamental and indispensable strategy in the game context of football and the analysis of it throws light on central existential phenomena involved in game creativity, with appearance, seduction, commitment and value being the focal ones. The analysis suggests a broader notion of expertise by pointing to the need of stressing the dynamic and social game context. What the feint explicates is that in football it is not enough to be aware of your own body or rely on your embodied habits. In order to cope in the game situation it is also necessary to be absorbed in the other and transcend his or her expectations. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

Telling a patient that the outcome of his illness is not good, or even hopeless, requires sensitivity and the ability to communicate with him in the setting of a hospital which is an unnatural environment divorced from family and friends. It is a task which must be taught and learned by doctors and nurses.

The existential analysis -- The death of dasein -- The timeliness of dasein -- The derivation of time -- The time of being.

The achievements of the textile industry in Roman Britain are often underestimated as a result of the meagreness of our available evidence. The Edict on maximum prices issued by Diocletian in A.D. 301 shows that British capes commanded high prices on the markets of the Empire, and that in the late third century A.D. British rugs were the best in the world. In view of the competition from the traditional centres of rug manufacture in the East, this is an astonishing (...) achievement. (shrink)

The received translation and interpretation of many of the technical terms current in the textile industry of the Roman Empire are inaccurate, because lexicographers have either fought shy of being precise, or have thought that they recognized in the ancient world technical processes which originated at a much later date. The evidence is often equivocal or insufficient, but may still yield details that have been overlooked. The textile expression scutulatus, to take an example, deserves more attention than Blümner has devoted (...) to it. When it refers to the appearance of a garment, Lewis and Short, s.v. scutulatus, translate ‘diamond or lozenge-shaped, checkered’. It seems worth while to attempt a more precise translation, and, if possible, to estimate the significance in context of the goods so designated. (shrink)

Living out of silence, out of a fully functioning, lovingly attentive mind, and not just out of thought, out of a partially functioning mind, is requisite for depth or profundity in living or relating. A fully attentive, truly silent or meditative mind sees that there is real dualism of time and the timeless and that time and the timeless each has its own unique value. The timeless, or real silence, that which alone can make for depth in one's living and (...) relating, can be there only when, in one's awareness, time and all that is related to time, have come to an end. An examination of a wide variety of statements made by writers, both past and present, shows that these understandings are seldom there in contemporary writings, just as they were not there in writings that have come down to us from the past. 'Living beyond the One and the Many' invites readers to consider the possibility that what is presented in it can bring deep meaning to one's way of living in the world"--Publisher's description, back cover. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Jeffrey Collins’ new book aims to presents Locke’s views on religious toleration in the light of Thomas Hobbes’ political philosophy. At first blush, Hobbes seems an unusual choice as a point of co...

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...) I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...) meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)

Aim of the paper is to present a new logic of technical malfunction. The need for this logic is motivated by a simple-sounding philosophical question: Is a malfunctioning corkscrew, which fails to uncork bottles, nonetheless a corkscrew? Or in general terms, is a malfunctioning F, which fails to do what Fs do, nonetheless an F? We argue that ‘malfunctioning’ denotes the modifier Malfunctioning rather than a property, and that the answer depends on whether Malfunctioning is subsective or privative. If subsective, (...) a malfunctioning F is an F; if privative, a malfunctioning F is not an F. An intensional logic is required to raise and answer the question, because modifiers operate directly on properties and not on sets or individuals. This new logic provides the formal tools to reason about technical malfunction by means of a logical analysis of the sentence “a is a malfunctioning F”. (shrink)

Theories of structured meanings are designed to generate fine-grained meanings, but they are also liable to overgenerate structures, thus drawing structural distinctions without a semantic difference. I recommend the proliferation of very fine-grained structures, so that we are able to draw any semantic distinctions we think we might need. But, in order to contain overgeneration, I argue we should insert some degree of individuation between logical equivalence and structural identity based on structural isomorphism. The idea amounts to forming an equivalence (...) class of different structures according to one or more formal criteria and designating a privileged element as a representative of all the elements, i.e., a first among equals. The proposed method helps us to a cluster of notions of co-hyperintensionality. As a test case, I consider a recent objection levelled against the act theory of structured propositions. I also respond to an objection against my methodology. (shrink)

The topic of this paper is the notion of technical (as opposed to biological) malfunction. It is shown how to form the property being a malfunctioning F from the property F and the property modifier malfunctioning (a mapping taking a property to a property). We present two interpretations of malfunctioning. Both interpretations agree that a malfunctioning F lacks the dispositional property of functioning as an F. However, its subsective interpretation entails that malfunctioning Fs are Fs, whereas its privative interpretation entails (...) that malfunctioning Fs are not Fs. We chart various of their respective logical consequences and discuss some of the philosophical implications of both interpretations. (shrink)

Soames's cognitive propositions are strings of acts to be performed by an agent, such as predicating a property of an individual. King takes these structured propositions to task for proliferating too easily. King's objection is based on an example that purports to show that three of Soames's propositions are really just one proposition. I translate the informally stated propositions King attributes to Soames into the intensional λ-calculus. It turns out that they are all β-equivalent to the proposition King claims Soames's (...) three propositions are identical to. I argue on philosophical grounds against identifying β-equivalent propositions. The reason is that β-conversion obliterates too many of the procedural distinctions that are central to an act-based theory such as Soames's and which are worth preserving. In fact, β-expansion allows the addition of a fifth proposition that highlights additional procedural distinctions and propositional structure. The welcome conclusion is that we have five procedurally distinct, if equivalent, propositions. (shrink)

Doctors’ strikes are legally permissible in the UK, with the situation differing in other countries. But are they morally permissible? Doug McConnell and Darren Mann have systematically attempted to dismiss the arguments for the moral impermissibility of doctors’ strikes and creatively attempted to provide further moral justification for them. Unfortunately for striking doctors, they fail to achieve this. Meanwhile, junior doctors’ strikes have continued in the UK through 2023 and have now extended into 2024. In this response, which focuses on (...) the UK situation and specifically junior doctors’ strikes in the National Health Service (NHS) in England, I will demonstrate a central problem with their arguments—namely that they underplay the harms caused by prolonged doctors’ strikes by ignoring the harms to patients with cancer. This weakens their conclusion that strikes are morally permissible in terms of the conditions and thresholds they set. I then provide a psychological critique of their justification for strikes in terms of the interests of the public. It follows that invoking the controversial concept of supererogatory action is ungrounded but also absurd when you consider time-critical cancer care. If those representing striking doctors wish to maintain a modicum of moral respectability, they should mitigate for patients with cancer and negotiate reasonably and with urgency. (shrink)

Stereological techniques allow biologists to create quantitative, three-dimensional descriptions of biological structures from two- dimensional images of tissue viewed under the microscope. For example, they can accurately estimate the size of a particular organelle, the total length of a mass of capillaries, or the number of neurons or synapses in a particular region of the brain. This book provides a practical guide to designing and critically evaluating stereological studies of the nervous system and other tissues. It explains the basic concepts (...) behind design-based stereology and how to get started. Also included are detailed descriptions of how to prepare tissue appropriately, perform pilot studies and decide on the appropriate sampling strategy, and account for phenomena such as tissue shrinkage. Numerous examples of applications of stereological methods that are applicable to studies of the central system and a wide variety of other tissues are explained. The book is therefore essential reading for neurobiologists and cell biologists interested in generating accurate representations of cell and tissue architecture. (shrink)

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. (...) Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application. (shrink)

The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the proposition has (...) no truth‐value; hence, at no world is it false. It remains an open semantic and epistemological question which of the first two kinds of world the actual world is. The semantic method should be based on explicit intensionalization in lieu of actualism. Actualism accords a privileged role to the actual world. Explicit intensionalization places all possible worlds, including the actual one, on an equal footing. Syntactically, a lambda‐bound world variable replaces the actual‐world constant or operator, while the other world variable is existentially bound. (shrink)

Volume 20, Issue 8, August 2020, Page 27-29.