Parataxis in Provençal

PMLA ◽  
1906 ◽  
Vol 21 (3) ◽  
pp. 519-574
Author(s):  
William Pierce Shepard
Keyword(s):  
Logical Relation ◽  
Pure Logic ◽  
Definition Of ◽  
Historical Grammar ◽  
Degree Of Extension ◽  
Connected Sequence ◽  
European Family

Comparative philologists have long since recognized that the logical relation of mental concepts need not find expression by means of words. Viewed from the standpoint of pure logic a sentence like “I think he will come” contains a subordination; but the student of historical grammar rightly regards it as exhibiting two independent, if not unrelated, sentences. It is altogether likely that such a method of juxtaposing concepts was the only one that prevailed in remote antiquity and that in the course of time such a loosely connected sequence of clauses developed into one organic whole. The fact of parataxis is now established for all branches of the Indo-European family, and Hermann has proved that grammatical subordination was unknown in the “Ursprache,” being developed in the daughter tongues by means of the specific determinants of the originally independent sentence. Notwithstanding these results, there is still a plentiful lack of agreement among scholars in regard to the definition of the term parataxis and to the degree of extension to be ascribed to it.

Material Consequence and Formal Grounding

2020 ◽  
Vol 57 (2) ◽  
pp. 79-95
Author(s):  
Elena G. Dragalina-Chernaya ◽  
Keyword(s):  
Logical Consequence ◽  
Logical Relation ◽  
Fixed Domain ◽  
Classical Definition ◽  
Modal Force ◽  
Definition Of

According to Alfred Tarski’s classical definition, logical consequence is necessary and formal. This paper focuses on the question: In what sense (if any) is material consequence a logical relation? For Tarski, material consequence has no modal force. Treating all terms (of a language with a fixed domain) as logical, he reduces logical consequence to material consequence. Thus, Tarskian material consequence seems to be a logical oxymoron designed to emphasize the importance of the distinction between logical and extra-logical terms for the definition of logical consequence. Historically, however, there have been different approaches to material consequences. This paper attempts to provide an investigation into the parallels between Tarski’s dichotomy of formal and material consequence and the modern

Realisability semantics of parametric polymorphism, general references and recursive types

2010 ◽  
Vol 20 (4) ◽  
pp. 655-703 ◽  
Author(s):  
LARS BIRKEDAL ◽  
KRISTIAN STØVRING ◽  
JACOB THAMSBORG
Keyword(s):  
Metric Spaces ◽  
Logical Relation ◽  
Data Types ◽  
General Reference ◽  
New Approach ◽  
Parametric Polymorphism ◽  
Abstract Data ◽  
Direct Definition ◽  
Semantic Types ◽  
Definition Of

We present a realisability model for a call-by-value, higher-order programming language with parametric polymorphism, general first-class references, and recursive types. The main novelty is a relational interpretation of open types that include general reference types. The interpretation uses a new approach to modelling references.The universe of semantic types consists of world-indexed families of logical relations over a universal predomain. In order to model general reference types, worlds are finite maps from locations to semantic types: this introduces a circularity between semantic types and worlds that precludes a direct definition of either. Our solution is to solve a recursive equation in an appropriate category of metric spaces. In effect, types are interpreted using a Kripke logical relation over a recursively defined set of worlds.We illustrate how the model can be used to prove simple equivalences between different implementations of imperative abstract data types.

scholarly journals Some Remarks on the Completed Database1

1990 ◽  
Vol 13 (1) ◽  
pp. 35-49
Author(s):  
Kenneth Kunen
Keyword(s):  
Transitive Closure ◽  
Pure Logic ◽  
Definition Of

We show how Clark’s Completed Database (CDB) can be extended to include a number of Prolog constructs usually considered to be outside of pure logic, while still maintaining the known partial completeness results for SLDNF derivations. We also prove that in the semantics provided by the CDB and SLDNF, there is no definition of transitive closure which is strict and does not use function symbols.

scholarly journals CONSIDERATIONS ON THE APPLICATION OF EUROCODES 2 AND 4 FOR CONCRETE BRIDGES

2020 ◽  
Vol 7 (1) ◽  
Author(s):  
Philippe Van Bogaert
Keyword(s):  
Bearing Capacity ◽  
Concrete Bridges ◽  
Logical Relation ◽  
Load Bearing Capacity ◽  
Load Bearing ◽  
Uplift Force ◽  
The Third ◽  
Definition Of ◽  
Compression Resistance ◽  
Limiting Value

The application of certain parts of Eurocodes may result in surprising conclusions. Three independent examples of code requirements are presented. A first striking example is the fatigue compression resistance of RC or PC bridge girders and the prediction of the resulting lifetime, which may be excessively low. The second issue concerns the limiting value of slenderness of concrete arches, which shows no logical relation to the load bearing capacity. An alternative for the definition of slenderness is proposed. The third item is the necessity to consider an uplift force in the design of connectors, thus excluding virtually the use of block connections. In all three cases, alternatives are being proposed, needing further research or allowing a different approach to these issues. In addition, clarification of some code recommendations may overcome misunderstanding or erroneous application.

Introductory paper

1966 ◽  
Vol 24 ◽  
pp. 3-5
Author(s):  
W. W. Morgan
Keyword(s):  
Line Intensity ◽  
Classification Scheme ◽  
Two Dimensional ◽  
Spectral Classification ◽  
Dimensional Array ◽  
Rr Lyrae ◽  
Metallic Line ◽  
Introductory Paper ◽  
Parameter Varying ◽  
Definition Of

1. The definition of “normal” stars in spectral classification changes with time; at the time of the publication of theYerkes Spectral Atlasthe term “normal” was applied to stars whose spectra could be fitted smoothly into a two-dimensional array. Thus, at that time, weak-lined spectra (RR Lyrae and HD 140283) would have been considered peculiar. At the present time we would tend to classify such spectra as “normal”—in a more complicated classification scheme which would have a parameter varying with metallic-line intensity within a specific spectral subdivision.

2.2. Working Group 2: Conceptual Definitions of Reference Coordinate Systems for Earth Dynamics

1975 ◽  
Vol 26 ◽  
pp. 21-26
Keyword(s):  
Coordinate System ◽  
Working Group ◽  
General Character ◽  
Coordinate Systems ◽  
Reference Coordinate System ◽  
Group 2 ◽  
Definition Of ◽  
Earth Dynamics

An ideal definition of a reference coordinate system should meet the following general requirements:1. It should be as conceptually simple as possible, so its philosophy is well understood by the users.2. It should imply as few physical assumptions as possible. Wherever they are necessary, such assumptions should be of a very general character and, in particular, they should not be dependent upon astronomical and geophysical detailed theories.3. It should suggest a materialization that is dynamically stable and is accessible to observations with the required accuracy.

Symbiotic Stars at Optical, Infrared and Radio Wavelengths

1979 ◽  
Vol 46 ◽  
pp. 125-149 ◽  
Author(s):  
David A. Allen
Keyword(s):  
Temperature Regime ◽  
Type Star ◽  
Stellar Systems ◽  
Symbiotic Stars ◽  
Lower Excitation ◽  
Definition Of ◽  
Original Type

No paper of this nature should begin without a definition of symbiotic stars. It was Paul Merrill who, borrowing on his botanical background, coined the termsymbioticto describe apparently single stellar systems which combine the TiO absorption of M giants (temperature regime ≲ 3500 K) with He II emission (temperature regime ≳ 100,000 K). He and Milton Humason had in 1932 first drawn attention to three such stars: AX Per, CI Cyg and RW Hya. At the conclusion of the Mount Wilson Ha emission survey nearly a dozen had been identified, and Z And had become their type star. The numbers slowly grew, as much because the definition widened to include lower-excitation specimens as because new examples of the original type were found. In 1970 Wackerling listed 30; this was the last compendium of symbiotic stars published.

Immunoferritin localization of intracellular antigens in positively stained frozen sections

1978 ◽  
Vol 36 (2) ◽  
pp. 168-169
Author(s):  
K. T. Tokuyasu
Keyword(s):  
Surface Tension ◽  
Water Surface ◽  
Thin Layers ◽  
The Other ◽  
Positive Staining ◽  
Frozen Sections ◽  
The Past ◽  
Ultrathin Frozen Sections ◽  
Definition Of

During the past investigations of immunoferritin localization of intracellular antigens in ultrathin frozen sections, we found that the degree of negative staining required to delineate u1trastructural details was often too dense for the recognition of ferritin particles. The quality of positive staining of ultrathin frozen sections, on the other hand, has generally been far inferior to that attainable in conventional plastic embedded sections, particularly in the definition of membranes. As we discussed before, a main cause of this difficulty seemed to be the vulnerability of frozen sections to the damaging effects of air-water surface tension at the time of drying of the sections.Indeed, we found that the quality of positive staining is greatly improved when positively stained frozen sections are protected against the effects of surface tension by embedding them in thin layers of mechanically stable materials at the time of drying (unpublished).

Initial Polymerization Sites Indicated During Mitochondrial Oxidation of Diaminobenzidine after Toluene Treatment

1977 ◽  
Vol 35 ◽  
pp. 408-409
Author(s):  
W. A. Shannon ◽  
M. A. Matlib
Keyword(s):  
Membrane Permeability ◽  
Cytochrome Oxidase ◽  
Rat Liver ◽  
Precise Definition ◽  
Cytochemical Localization ◽  
Oxidative Reaction ◽  
Mitochondrial Oxidation ◽  
Definition Of ◽  
Exogenous Substrates

Numerous studies have dealt with the cytochemical localization of cytochrome oxidase via cytochrome c. More recent studies have dealt with indicating initial foci of this reaction by altering incubation pH (1) or postosmication procedure (2,3). The following study is an attempt to locate such foci by altering membrane permeability. It is thought that such alterations within the limits of maintaining morphological integrity of the membranes will ease the entry of exogenous substrates resulting in a much quicker oxidation and subsequently a more precise definition of the oxidative reaction.The diaminobenzidine (DAB) method of Seligman et al. (4) was used. Minced pieces of rat liver were incubated for 1 hr following toluene treatment (5,6). Experimental variations consisted of incubating fixed or unfixed tissues treated with toluene and unfixed tissues treated with toluene and subsequently fixed.

Application of Scanning Electron Microscopy to Medical Research

1969 ◽  
Vol 27 ◽  
pp. 12-13
Author(s):  
J. D. Hutchison
Keyword(s):  
Electron Microscopy ◽  
Electron Microscope ◽  
Medical Research ◽  
Prosthetic Heart Valve ◽  
School Of Medicine ◽  
Transmission Electron ◽  
Definition Of ◽  
Mechanism Of Failure ◽  
The Brain ◽  
Scanning Electron

When the transmission electron microscope was commercially introduced a few years ago, it was heralded as one of the most significant aids to medical research of the century. It continues to occupy that niche; however, the scanning electron microscope is gaining rapidly in relative importance as it fills the gap between conventional optical microscopy and transmission electron microscopy.IBM Boulder is conducting three major programs in cooperation with the Colorado School of Medicine. These are the study of the mechanism of failure of the prosthetic heart valve, the study of the ultrastructure of lung tissue, and the definition of the function of the cilia of the ventricular ependyma of the brain.

Sign in / Sign up

Export Citation Format

Share Document