A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka-Volterra equations. There (...) are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non-causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka–Volterra equations. There are (...) at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, and another that yields explanations that are distinctively mathematical in terms of nomological strength. In the first case, one first picks out a system or class of systems, and finds that the equations hold in a causal–explanatory way. In the second case, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non-causal explanations can complement one another. _1_. Introduction _2._ Delineating the Boundaries of Causal Explanation _2.1._ Why construe causal explanation narrowly? The land of explanation versus grain-focusing _2.2._ Reasons to narrow the scope of causal explanation _3._ Broadening the Scope of Mathematical Explanation _4._ Lotka–Volterra: Same Model, Different Explanation Types _4.1._ General biocide in the Lotka–Volterra model _4.2._ Two ways a model can hold, yielding causal versus mathematical explanations _5._ Four Complementary Relationships between Mathematical and Causal Explanation _5.1._ Slight reformulations of explananda _5.2._ Causal distortion of idealized mathematical models _5.3._ Partial explanations requiring supplementation _5.4._ Explanatory dimensionality _6._ Conclusion. (shrink)

Say that a nonzero c. e. degree b is a quasi-complement of a c. e. degree a if a ∩ b = 0 and a ∪ b is high. It is well-known that each cappable degree has a high quasi-complement. However, by the existence of the almost deep degrees, there are nonzero cappable degrees having no low quasi-complements. In this paper, we prove that any nonzero cappable degree has a low2 quasi-complement.

A complement clause is used instead of a noun phrase; for example one can say either I heard [the result] or I heard [that England beat France]. Languages differ in the grammatical properties of complement clauses, and the types of verbs which take them. Some languages lack a complement clause construction but instead employ other construction types to achieve similar ends; these are called complementation strategies. The book explores the variety of types of complementation found across the languages (...) of the world, their grammatical properties and meanings. Detailed studies of particular languages, including Akkadian, Israeli, Jarawara, and Pennsylvania German, are framed by R. M. W. Dixon's introduction, which sets out the range of issues, and his conclusion, which draws together the evidence and the arguments. This book will interest scholars of typology, language universals, syntax, information structure, and language contact in departments of linguistics and anthropology, as well as advanced and graduate students taking courses in these subjects. (shrink)

Two algebraic structures, the contrapositionally complemented Heyting algebra (ccHa) and the contrapositionally |$\vee $| complemented Heyting algebra (c|$\vee $|cHa), are studied. The salient feature of these algebras is that there are two negations, one intuitionistic and another minimal in nature, along with a condition connecting the two operators. Properties of these algebras are discussed, examples are given and comparisons are made with relevant algebras. Intuitionistic Logic with Minimal Negation (ILM) corresponding to ccHas and its extension |${\textrm {ILM}}$|-|${\vee }$| for c|$\vee (...) $|cHas are then investigated. Besides its relations with intuitionistic and minimal logics, ILM is observed to be related to Peirce’s logic and Vakarelov’s logic MIN. With a focus on properties of the two negations, relational semantics for ILM and |${\textrm {ILM}}$|-|${\vee }$| are obtained with respect to four classes of frames, and inter-translations between the classes preserving truth and validity are provided. ILM and |${\textrm {ILM}}$|-|${\vee }$| are shown to have the finite model property with respect to these classes of frames and proved to be decidable. Extracting features of the two negations in the algebras, a further investigation is made, following logical studies of negations that define the operators independently of the binary operator of implication. Using Dunn’s logical framework for the purpose, two logics |$K_{im}$| and |$K_{im-{\vee }}$| are discussed, where the language does not include implication. The |$K_{im}$|-algebras are reducts of ccHas and are different from relevant algebraic structures having two negations. The negations in the |$K_{im}$|-algebras and |$K_{im-{\vee }}$|-algebras are shown to occupy distinct positions in an enhanced form of Dunn’s kite of negations. Relational semantics for |$K_{im}$| and |$K_{im-{\vee }}$| is provided by a class of frames that are based on Dunn’s compatibility frames. It is observed that this class coincides with one of the four classes giving the relational semantics for ILM and |${\textrm {ILM}}$|-|${\vee }$|⁠. (shrink)

"The idea for this book arose in connection with the Workshop on Semantic functions of complementizers in European languages, which we organized in October 28-29, 2011, at the University of Copenhagen, Denmark. Around two thirds of the book chapters are elaborations on contributions to this workshop, the remaining one third arose independently of the workshop.".

A syntax of a major area of Middle English, this book seeks to bridge the gap between philology and linguistics. The historical study of English syntax has suffered from being at the meeting point of two traditions: the philological, which tends to focus on the analysis of texts and to avoid questions of linguistic interpretations, and a more recent linguistic one, which tends to focus on the grammatical systems of languages and often fails to appreciate the limitations of textual evidence (...) and the careful interpretation needed before grammatical account can be based confidently on textual evidence. The work is based on a study of the sermons of John Wyclif, so it is important for students not only of Middle English but also of the history of English, since the author argues that the language of the sermons is important step in the development of Standard English. The book also seeks to demonstrate an appropriate methodology for the writing of linguistically informed grammars of dead languages, and provides a major response to the work of Lightfoot on diachronic syntax. (shrink)

A key factor that affects whether and at what age children can demonstrate an understanding of false belief and complement‐clause constructions is the type of task used (whether it is implicit/indirect or explicit/direct). In the current study, we investigate, in an implicit/indirect way, whether children understand that a story character's belief can be true or false, and whether this understanding affects children's choice of linguistic structure to describe the character's belief or to explain the character's belief‐based action. We also measured (...) children's understanding of false belief in explicit false‐belief tasks. English‐ and German‐speaking young 4‐ and 5‐year‐olds as well as English‐ and German‐speaking adult controls heard complement‐clause constructions in a story context where the belief mentioned in the complement clause (e.g., “He thinks thatshe's not feeling well”) turned out to be false, true, or was left open. After hearing the test question (“Why does he not play with her?”), all age groups were most likely to repeat the whole complement‐clause construction when the belief turned out to be false. That is, they tended to explicitly refer to the character's perspective and say “He thinks…” When the belief turned out to be true, participants often reverted to a simple clause (“She's not feeling well”). Furthermore, children with better short‐term memory were more likely to repeat the whole complement‐clause construction. However, children's performance in explicit false‐belief tasks showed no relation to their performance in our novel, more implicit/indirect, task. Whether or not the complement clause was introduced by athatcomplementizer only had a small effect on the German adults’ responses, where leaving out the complementizer also changes the word order of the complement clause. Overall, our results suggest that task characteristics and individual differences in short‐term memory affect children's ability to demonstrate false‐belief understanding and to express this understanding linguistically. (shrink)

It is well known that in Bishop-style constructive mathematics, the closure of the union of two subsets of ℝ is ‘not’ the union of their closures. The dual situation, involving the complement of the closure of the union, is investigated constructively, using completeness of the ambient space in order to avoid any application of Markov's Principle.

We examine, from a constructive perspective, the relation between the complements of S, T, and S ∩ T in X, where X is either a metric space or a normed linear space. The fundamental question addressed is: If x is distinct from each element of S ∩ T, if s ϵ S, and if t ϵ T, is x distinct from s or from t? Although the classical answer to this question is trivially affirmative, constructive answers involve Markov's principle and (...) the completeness of metric spaces. (shrink)

In this paper, I address the problem wherein the same English word permits one of its complement positions to be satisfied by phrases of different categories. A well-known example of such an English word is the copula to be, whose complements include adjective phrases, noun phrases, prepositional phrases and adverbial phrases. I provide a way to treat such words, in particular verbs, as single lexical items through a conservative extension of the usual treatment of word classification as a pair comprising (...) a part of speech category and a complement list. I then show how a further conservative extension of complement lists permits a satisfactory formalization of doubly complemented English verbs which are synonymous under a permutation of their complements. These verbs include, but are not limited to, so-called double object constructions. (shrink)

Mortensen studies dual intuitionistic logic by dualizing topos internal logic, but he did not study a sequent calculus. In this paper I present a sequent calculus for complement-topos logic, which throws some light on the problem of giving a dualization for LJ.

Posner [6] has shown, by a nonuniform proof, that every ▵ 0 2 degree has a complement below 0'. We show that a 1-generic complement for each ▵ 0 2 set of degree between 0 and 0' can be found uniformly. Moreover, the methods just as easily can be used to produce a complement whose jump has the degree of any real recursively enumerable in and above $\varnothing'$ . In the second half of the paper, we show that the (...) class='Hi'>complementation of the degrees below 0' does not extend to all recursively enumerable degrees. Namely, there is a pair of recursively enumerable degrees a above b such that no degree strictly below a joins b above a. (This result is independently due to S. B. Cooper.) We end with some open problems. (shrink)

Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies called unique closure mereotopologies whose models always have orthocomplemented contact algebras , an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact algebras (...) the strength of the algebraic complementation delineates two classes of mereotopology according to the key ontological choice between mereological and topological closure operations. All closure operations are defined mereologically if and only if the corresponding contact algebras are uniquely complemented while topological closure operations highly restrict the contact relation but allow not uniquely complemented and nondistributive contact algebras. Each class contains a single ontologically coherent theory that admits discrete models. (shrink)

This paper presents an analysis of wh-complements in Montague Grammar. We will be concerned primarily with semantics, though some remarks on syntax are made in Section 4. Questions and wh-comple ments in Montague Grammar have been studied in Hamblin (1976), Bennett (1979), Karttunen (1977) and Hauser (1978) among others. These proposals will not be discussed explicitly, but some differences with Karttunen's analysis will be pointed out along the way.

We explore an analogue of major subset for Π0 1 classes, which leads to the definition and characterization of almost complemented Π0 1 classes.

The purpose of this study is to describe a conceptual framework for cognitive distortions, which notably allows to specify more accurately their intrinsic relationships. This conceptual framework aims at inserting itself within the apparatus of cognitive therapy and of critical thinking. The present analysis is based on the following fundamental concepts: the reference class, the duality and the system of taxa. With the help of these three notions, each cognitive distortion can be defined. A distinction is also made between, on (...) the one hand, general cognitive distortions and on the other hand, specific cognitive distortions. The present model allows then to define within the same conceptual framework the general cognitive distortions such as dichotomous reasoning, disqualifying a given pole, minimisation and maximisation. It also allows to describe as specific cognitive distortions: disqualifying the positive, selective abstraction and catastrophism. Furthermore, the present model predicts the existence of two other general cognitive distortions: the omission of the neutral and requalifying in the other pole. (shrink)

A recent solution to the Body-Minus problem, which is a problem of material constitution, claims that ordinary proper parts (such as left feet) exist, but the complements of these objects (such as left-foot complements) do not exist. In this paper, I examine a defense of this solution from the worry of arbitrariness and from its ineffectiveness against a revised version of the problem that focuses on the head, and I show that this defense fails.

We prove that for any computably enumerable degree c, if it is cappable in the computably enumerable degrees, then there is a d.c.e. degree d such that c d = 0′ and c ∩ d = 0. Consequently, a computably enumerable degree is cappable if and only if it can be complemented by a nonzero d.c.e. degree. This gives a new characterization of the cappable degrees.

It is shown that for every degree 0

Research focusing on Anglo-European languages indicates that children’s acquisition of the subordinate structure of complement-clause constructions and the semantics of mental verbs facilitates their understanding of false belief, and that the two linguistic factors interact. Complement-clause constructions support false-belief development, but only when used with realis mental verbs like ‘think’ in the matrix clause (de Villiers, Jill. 2007. The interface of language and Theory of Mind.Lingua117(11). 1858–1878). In Chinese, however, only the semantics of mental verbs seems to play a facilitative (...) role in false-belief development (Cheung, Him, Hsuan-Chih Chen & William Yeung. 2009. Relations between mental verb and false belief understanding in Cantonese-speaking children.Journal of Experimental Child Psychology104(2). 141–155). We argue that these cross-linguistic differences can be explained by variations in availability and usage patterns of mental verbs and complement-clause constructions across languages. Unlike English, Mandarin-Chinese has a verb that indicates that a belief might be false:yi3wei2‘(falsely) think’. Our corpus analysis suggests that, unlike English caregivers, Mandarin-Chinese caregivers do not produce frequent, potentially unanalyzed, chunks with mental verbs and first-person subjects, such as ‘I think’. In an experiment, we found that the comprehension of complement-clause constructions used withyi3wei2‘(falsely) think’, but not withjue2de2‘think’, predicted Mandarin children’s false-belief understanding between the ages of 4 and 5. In contrast to English, whether mental verbs were used with first- or third-person subjects did not affect their correlation with false-belief understanding. (shrink)

ZusammenfassungDas Potenzialitätsargument ist das wohl wichtigste Argument der Gegner der verbrauchenden Embryonenforschung und des Schwangerschaftsabbruchs. Weil schon der frühe Embryo eine potenzielle Person sei, so das Argument, besitze er bereits den moralischen Status einer Person. Mit der Möglichkeit, aus differenzierten somatischen Zellen „ethisch unproblematische“ induzierte pluripotente Stammzellen zu gewinnen, schien diese PA-Problematik zumindest für die Forschung umgangen. Indessen zeigen neuere wissenschaftliche Erkenntnisse, dass auch aus pluripotenten Zellen neue Organismen erwachsen können. Der Beitrag argumentiert dafür, dass nach der Logik von PA (...) nicht nur iPS-Zellen, sondern auch die somatischen Zellen, aus denen diese entstehen, als potenzielle Personen mit Würde und Lebensrecht anzusehen wären. Aufgrund dieser Implikationen ist PA auch nicht als Argument für ein Lebensrecht von Embryonen geeignet. (shrink)

Kapsner strong logics, originally studied in the context of connexive logics, are those in which all formulas of the form \(A\rightarrow \lnot A\) or \(\lnot A\rightarrow A\) are unsatisfiable, and in any model at most one of \(A\rightarrow B, A\rightarrow \lnot B\) is satisfied. In this paper, such logics are studied algebraically by means of algebraic structures in which negation is modeled by an operator \(\lnot \) s.t. any element _a_ is incomparable with \(\lnot a\). A range of properties which (...) are (in)compatible with such operators are studied, and examples are given; finally, the question of which further operators can be added to such structures is broached. (shrink)

There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Istvan Nemeti and Gyula David have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this (...) essay, I will honour Istvan's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Nemeti and D\'avid might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. (shrink)

I show that words with indefinite implicit complements occasion a dilemma for their model theory. There has been only two previous attempts to address this problem, one by Fodor and Fodor (1980) and one by Dowty (1981). Each requires that any word tolerating an implicit complement be treated as ambiguous between two different lexical entries and that a meaning postulate or lexical rule be given to constrain suitably the meanings of the various entries for the word. I show that the (...) positing of such an ambiguity runs counter to the facts and propose an alternative solution which does not appeal to ambiguity, meaning postulates or lexical rules. Indeed, I show that the dilemma posed by indefinite implicit complements is posed by all implicit complements and that a general solution to the problem of implicit complements follows from an independently motivated, single treatment of five other problems, that of subcategorization, that of phrasal projections of words, that of defining a model theoretic structure for phrase structure grammars, that of complement polyvalence and that of complement polyadicity. (shrink)

The following theorems are proved about the Frattini-free componentG Φ of a soluble stable ℜ-group: a) If it has a normal subgroupN with nilpotent quotientG Φ/N, then there is a nilpotent subgroupH ofG Φ withG Φ=NH. b) It has Carter subgroups; if the group is small, they are all conjugate. c) Nilpotency modulo a suitable Frattini-subgroup (to be defined) implies nilpotency. The last result makes use of a new structure theorem for the centre of the derivative of the Frattini-free component (...) of a centreless soluble ℜ-group. (shrink)