Introduction. The School: Its Genesis, Development and Significance

The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies and teaching of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as exchange of thoughts, and cooperation with representatives of other disciplines.The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key representatives of the School (among others, Ajdukiewicz, Lesniewski, Łukasiewicz,Tarski), accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing the other segment to the name – Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period – the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of followers are listed accordingly. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland

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 ..

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 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

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

Epstein-Barr Virus Coinfection in Cerebrospinal Fluid Is Associated With Increased Mortality in Malawian Adults With Bacterial Meningitis

Mortality from adult bacterial meningitis exceeds 50% in sub-Saharan Africa. We postulated that—particularly in individuals infected with human immunodeficiency virus (HIV)—herpes simplex virus, varicella zoster virus, Epstein-Barr virus (EBV), and cytomegalovirus (CMV) in the cerebrospinal fluid (CSF) contribute to poor outcome. CSF from 149 Malawian adults with bacterial meningitis and 39 controls were analyzed using polymerase chain reaction. EBV was detected in 79 of 149 bacterial meningitis patients. Mortality (54%) was associated with higher CSF EBV load when adjusted for HIV (P = .01). CMV was detected in 11 of 115 HIV-infected patients, 8 of whom died. The mechanisms by which EBV and CMV contribute to poor outcome require further investigation

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