The Grail theorem prover: Type theory for syntax and semantics

As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction.This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available

Osmotic therapies added to antibiotics for acute bacterial meningitis

BACKGROUND: Every day children and adults die from acute community-acquired bacterial meningitis, particularly in low-income countries, and survivors risk deafness, epilepsy and neurological disabilities. Osmotic therapies may attract extra-vascular fluid and reduce cerebral oedema, and thus reduce death and improve neurological outcomes.This is an update of a Cochrane Review first published in 2013. OBJECTIVES: To evaluate the effects of osmotic therapies added to antibiotics for acute bacterial meningitis in children and adults on mortality, deafness and neurological disability. SEARCH METHODS: We searched CENTRAL (2017, Issue 1), MEDLINE (1950 to 17 February 2017), Embase (1974 to 17 February 2017), CINAHL (1981 to 17 February 2017), LILACS (1982 to 17 February 2017) and registers of ongoing clinical trials (ClinicalTrials.com, WHO ICTRP) (21 February 2017). We also searched conference abstracts and contacted researchers in the field (up to 12 December 2015). SELECTION CRITERIA: Randomised controlled trials testing any osmotic therapy in adults or children with acute bacterial meningitis. DATA COLLECTION AND ANALYSIS: Two review authors independently screened the search results and selected trials for inclusion. Results are presented using risk ratios (RR) and 95% confidence intervals (CI) and grouped according to whether the participants received steroids or not. We used the GRADE approach to assess the certainty of the evidence. MAIN RESULTS: We included five trials with 1451 participants. Four trials evaluated glycerol against placebo, and one evaluated glycerol against 50% dextrose; in addition three trials evaluated dexamethasone and one trial evaluated acetaminophen (paracetamol) in a factorial design. Stratified analysis shows no effect modification with steroids; we present aggregate effect estimates.Compared to placebo, glycerol probably has little or no effect on death in people with bacterial meningitis (RR 1.08, 95% CI 0.90 to 1.30; 5 studies, 1272 participants; moderate-certainty evidence), but may reduce neurological disability (RR 0.73, 95% CI 0.53 to 1.00; 5 studies, 1270 participants; low-certainty evidence).Glycerol may have little or no effect on seizures during treatment for meningitis (RR 1.08, 95% CI 0.90 to 1.30; 4 studies, 1090 participants; low-certainty evidence).Glycerol may reduce the risk of subsequent deafness (RR 0.64, 95% CI 0.44 to 0.93; 5 studies, 922 participants; low to moderate-certainty evidence).Glycerol probably has little or no effect on gastrointestinal bleeding (RR 0.93, 95% CI 0.39 to 2.19; 3 studies, 607 participants; moderate-certainty evidence). The evidence on nausea, vomiting and diarrhoea is uncertain (RR 1.09, 95% CI 0.81 to 1.47; 2 studies, 851 participants; very low-certainty evidence). AUTHORS' CONCLUSIONS: Glycerol was the only osmotic therapy evaluated, and data from trials to date have not demonstrated an effect on death. Glycerol may reduce neurological deficiency and deafness

The price of inscrutability

In our reasoning we depend on the stability of language, the fact that its signs do not arbitrarily change in meaning from moment to moment.(Campbell, 1994, p.82) Some philosophers offer arguments contending that ordinary names such as “London” are radically indeterminate in reference. The conclusion of such arguments is that there is no fact of the matter whether “London” refers to a city in the south of England, or whether instead it refers to Sydney, Australia. Some philosophers have even suggested that we accept the conclusion of these arguments. Such a position seems crazy to many; but what exactly goes wrong if one adopts such a view? This paper evaluates the theoretical costs incurred by one who endorses extreme inscrutability of reference (the ‘inscrutabilist’). I show that there is one particular implication of extreme inscrutability which pushes the price of inscrutabilism too high. An extension of the classic ‘permutation’ arguments for extreme inscrutability allow us to establish what I dub ‘extreme indexical inscrutability’. This result, I argue, unacceptably undermines the epistemology of inference. The first half of the paper develops the background of permutation arguments for extreme inscrutability of reference and evaluates some initial attempts to make trouble for the inscrutabilist. Sections 1 and 2 describe the setting of the original permutation arguments for extreme inscrutability. Sections 3 and 4 survey four potential objections to extreme inscrutability of reference, including some recently raised in Vann McGee’s excellent (2005a). Sections 5 sketches how the permutation arguments can be generalized to establish extreme indexical inscrutability; and shows how this contradicts a ‘stability principle’—that our words do not arbitrarily change their reference from one moment to the next—which I claim plays a vital role in the epistemology of inference. The second half of the paper develops in detail the case for thinking that language is stable in the relevant sense. In section 6, I use this distinction to call into question the epistemological relevance of validity of argument types; Kaplan’s treatment of indexical validity partially resolves this worry, but there is a residual problem. In section 7, I argue that stability is exactly what is needed to bridge this final gap, and so secure the relevance of validity to good inferential practice. Section 8 responds to objections to this claim. An appendix to the paper provides formal backing for the results cited in this paper, including a generalization of permutation arguments to the kind of rich setting required for a realistic semantics of natural language.1 Extreme indexical inscrutability results can be proved within this setting. The first half of the paper shows that the inscrutabilist is committed to extreme indexical inscrutability, which implies that language not determinately ‘stable’. The second half of the paper argues that good inference requires stability. The price of inscrutabilism, therefore, is to sever the connection between the validity of argument-forms and inferential practice: and this is too high a price to pay

La connexion syntaxique

Présentation Kazimierz Ajdukiewicz (1890-1963) était un disciple direct de Kazimierz Twardowski, fondateur de l’Ecole de Lvov-Varsovie. Le texte de 1935 a été publié en allemand dans Studia Philosophica I, pp. 1-27 sous le titre « Die syntaktische Konnexität ». C’est l’un des travaux les plus importants de Kazimierz Ajdukiewicz et la théorie du langage en général, et plus particulièrement pour le développement de la linguistique mathématique. Ce texte est aussi considéré comme fondateur pour ..

The equivalence of four extensions of context-free grammars

There is currently considerable interest among computational linguists in grammatical formalisms with highly restricted generative power. This paper concerns the relationship between the class of string languages generated by several such formalisms, namely, combinatory categorial grammars, head grammars, linear indexed grammars, and tree adjoining grammars. Each of these formalisms is known to generate a larger class of languages than context-free grammars. The four formalisms under consideration were developed independently and appear superficially to be quite different from one another. The result presented in this paper is that all four of the formalisms under consideration generate exactly the same class of string languages

Assessment of recycled concrete aggregate properties required for structural concretes

Assessment of recycled aggregate concrete (RAC) properties by laboratory tests is still required due to lack of precise guidelines and with taking into account slightly different behaviour of such concretes in comparison with natural aggregate concretes (NAC). It is especially important when recycled concrete aggregates are used for the structural elements. In this paper, the following rules for the whole concrete recycling cycle were defined: (1) rules for examination of original concretes selected for recycling and (2) rules for aggregate preparation and their fractionize as well as design rules for recycled aggregate concrete mixtures (including required tests of recycled aggregates and concrete properties). Requirements towards recycled aggregate concrete formulated in this paper are based on the long term experience and research works on the RAC which were held by A. Ajdukiewicz and A. Kliszczewicz in the Department of Structural Engineering of the Silesian University of Technology, practically since 1995

Symulacja numeryczna i weryfikacja doświadczalna testu rozciągania płaskownika z uwzględnieniem teorii sprężysto – plastyczności dużych deformacji

W symulacjach numerycznych MES uwzględniających duże deformacje sprężystoplastyczne bardzo istotne jest wybranie do analizy danego zadania właściwego modelu materiału i określenie parametrów tego modelu. W programach MES wykorzystywanych do analizy elementów konstrukcji, standardowo dostępnych jest wiele modeli konstytutywnych (por. np.[1]. Stosowanie tych programów i procedur wymaga jednak od użytkownika głębszego zrozumienia zagadnienia, umiejętnego stosowania modeli konstytutywnych i właściwego przyjmowania parametrów w tych modelach. Niewłaściwe ich stosowanie prowadzi do błędnych wyników i interpretacji. Dlatego też wskazane jest przed wykonaniem analizy złożonego zagadnienia brzegowo-początkowego wykonanie testów mających na celu sprawdzenie: poprawności przyjęcia modelu materiału, wartości przyjętych parametrów i warunków brzegowo- początkowych. Najwłaściwszym sposobem sprawdzenia tej poprawności jest jednoczesne wykonanie analizy doświadczalnej i numerycznej prostego zagadnienia, a następnie dokonanie porównań otrzymanych wyników. W pracy przedstawiono przykład takiej weryfikacji. Racjonalne projektowanie badań doświadczalnych mających na celu weryfikacje numeryczne zadania brzegowego wymaga jednoczesnego prowadzenia doświadczeń i symulacji numerycznych. Istotny jest kształt próbek, sposób obciążenia i warunki brzegowe. Wyznaczenie więc, parametru czy funkcji materiałowej, wobec oczywistego wpływu warunków brzegowych i samej geometrii próbki może stanowić problem. W dalszej części pracy przedstawiono numeryczną analizę testu rozciągania płaskownika z materiału sprężysto-plastycznego. Głównym celem jest weryfikacja doświadczalna modeli konstytutywnych sprężysto-plastyczności materiałów wstępnie izotropowych wybranych metali i ich zastosowanie w analizie elementów konstrukcji z wykorzystaniem MES i programu ABAQUS [1]). Weryfikacji wyników symulacji dokonano przez porównanie ich z wynikami przeprowadzonych badań własnych przy wykorzystaniu systemu optycznej korelacji obrazu ARAMIS. [2]. System ten pozwala na śledzenie deformacji próbki w pewnym wybranym obszarze. Wy188 niki tych pomiarów porównano z wynikami rozwiązań numerycznych uzyskanych przy zastosowaniu metody elementów skończonych i programu ABAQUS [1]

Monitorowanie obciążenia oraz stanu przemieszczenia i odkształcenia modelu kratownicy za pomocą systemu LabVIEW

W rozdziale przedstawiono potencjalną możliwość stworzenia w środowisku LabVIEW systemu mogącego służyć do monitorowania konstrukcji inżynierskich. Monitorowanie to może się odbywać w sposób całkowicie zintegrowany, a oprócz zbierania wyników pomiarów możliwe jest także aktywne reagowanie na określone wydarzenia zgodnie ze sprawdzanymi w czasie rzeczywistym kryteriami. W analizowanej wersji programu ta reakcja uwidacznia się przez fakt uruchamiania ostrzeżeń graficznych i dźwiękowych, nic jednak nie stoi na przeszkodzie, by od wyników pomiarów i obliczeń uzależnić również sterowanie maszyną wytrzymałościową, czego dokonano np. w programie Kratownica4.vi i w pomocniczym programie służącym do weryfikacji wartości stałej tensometrycznej wykorzystywanych tensometrów elektrooporowych. Oznacza to zatem, iż istnieje możliwość stworzenia podobnego systemu w celu wspomagania prowadzenia badań wytrzymałościowych poprzez ich całkowitą lub częściową automatyzację