A Note on Bronstein's and Tarter's Definition of Strict Implication

1934 ◽  
Vol 43 (5) ◽  
pp. 518 ◽  
Author(s):  
J. C. Chenoweth McKinsey
Keyword(s):  
Strict Implication ◽  
Definition Of

Extensions of the Lewis system S5

1951 ◽  
Vol 16 (2) ◽  
pp. 112-120 ◽  
Author(s):  
Schiller Joe Scroggs
Keyword(s):  
Broad Class ◽  
Characteristic Matrix ◽  
Normal Extension ◽  
Strict Implication ◽  
Finite Characteristic ◽  
Material Implication ◽  
Sentential Calculus ◽  
The Third ◽  
Simple Class ◽  
Definition Of

Dugundji has proved that none of the Lewis systems of modal logic, S1 through S5, has a finite characteristic matrix. The question arises whether there exist proper extensions of S5 which have no finite characteristic matrix. By an extension of a sentential calculus S, we usually refer to any system S′ such that every formula provable in S is provable in S′. An extension S′ of S is called proper if it is not identical with S. The answer to the question is trivially affirmative in case we make no additional restrictions on the class of extensions. Thus the extension of S5 obtained by adding to the provable formulas the additional formula p has no finite characteristic matrix (indeed, it has no characteristic matrix at all), but this extension is not closed under substitution—the formula q is not provable in it. McKinsey and Tarski have defined normal extensions of S4* by imposing three conditions. Normal extensions must be closed under substitution, must preserve the rule of detachment under material implication, and must also preserve the rule that if α is provable then ~◊~α is provable. McKinsey and Tarski also gave an example of an extension of S4 which satisfies the first two of these conditions but not the third. One of the results of this paper is that every extension of S5 which satisfies the first two of these conditions also satisfies the third, and hence the above definition of normal extension is redundant for S5. We shall therefore limit the extensions discussed in this paper to those which are closed under substitution and which preserve the rule of detachment under material implication. These extensions we shall call quasi-normal. The class of quasi-normal extensions of S5 is a very broad class and actually includes all extensions which are likely to prove interesting. It is easily shown that quasi-normal extensions of S5 preserve the rules of replacement, adjunction, and detachment under strict implication. It is the purpose of this paper to prove that every proper quasi-normal extension of S5 has a finite characteristic matrix and that every quasi-normal extension of S5 is a normal extension of S5 and to describe a simple class of characteristic matrices for S5.

On the syntactical construction of systems of modal logic

1945 ◽  
Vol 10 (3) ◽  
pp. 83-94 ◽  
Author(s):  
J. C. C. Mckinsey
Keyword(s):  
Modal Logic ◽  
True Sentence ◽  
Strict Implication ◽  
Definition Of

When C. I. Lewis developed his theory of strict implication, he left open the question which of his various systems should be regarded as being closest to our intuitions—though he was inclined to favor the system S2. There are to be found in the literature numerous discussions of this question; most of these have condemned S2 as being too strong, and have proposed ways of weakening it.In the present paper I shall attempt to throw some light on this question by setting up a syntactical definition of “possibility.” I shall show that every system of modal logic constructed on the basis of this definition is at least as strong as the Lewis system S4.As the intuitive basis for the syntactical definition of possibility, I take the position that to say a sentence is possible means that there exists a true sentence of the same form. Thus, for example, it would be said that the sentence, “Lions are indigenous to Alaska,” is possible, because of the fact that the sentence, “Lions are indigenous to Africa,” has the same form and is true.

Strict implication, deducibility and the deduction theorem

1953 ◽  
Vol 18 (3) ◽  
pp. 234-236 ◽  
Author(s):  
Ruth Barcan Marcus
Keyword(s):  
Deductive Inference ◽  
Logical Investigation ◽  
Deduction Theorem ◽  
Strict Implication ◽  
Suitable Definition ◽  
Definition Of

Lewis and Langford state, “… it appears that the relation of strict implication expresses precisely that relation which holds when valid deduction is possible. It fails to hold when valid deduction is not possible. In that sense, the system of strict implication may be said to provide that canon and critique of deductive inference which is the desideratum of logical investigation.” Neglecting for the present other possible criticisms of this assertion, it is plausible to maintain that if strict implication is intended to systematize the familiar concept of deducibility or entailment, then some form of the deduction theorem should hold for it. The purpose of this paper is to analyze and extend some results previously established which bear on the problem.We will begin with a rough statement of some relevent considerations. Let the system S contain among its connectives an implication connective ‘I’ and a conjunction connective ‘&’. Let A1, A2, …, An ⊦ B abbreviate that B is provable on the hypotheses A1, A2, …, An for a suitable definition of “proof on hypotheses”, where A1, A2, …, An, B are well-formed expressions of S.

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.

Selection and Preparation of Specific Tissue Regions For Tem Using Large Epoxy-Embedded Blocks

1973 ◽  
Vol 31 ◽  
pp. 324-325 ◽  
Author(s):  
P. M. Lowrie ◽  
W. S. Tyler
Keyword(s):  
Electron Microscopy ◽  
Anatomical Structures ◽  
Ultrastructural Studies ◽  
Transmission Electron ◽  
Microscopic Evaluation ◽  
Embedded Blocks ◽  
Specific Tissue ◽  
Definition Of ◽  
Areas Of Interest ◽  
Selection Of

The importance of examining stained 1 to 2μ plastic sections by light microscopy has long been recognized, both for increased definition of many histologic features and for selection of specimen samples to be used in ultrastructural studies. Selection of specimens with specific orien ation relative to anatomical structures becomes of critical importance in ultrastructural investigations of organs such as the lung. The uantity of blocks necessary to locate special areas of interest by random sampling is large, however, and the method is lacking in precision. Several methods have been described for selection of specific areas for electron microscopy using light microscopic evaluation of paraffin, epoxy-infiltrated, or epoxy-embedded large blocks from which thick sections were cut. Selected areas from these thick sections were subsequently removed and re-embedded or attached to blank precasted blocks and resectioned for transmission electron microscopy (TEM).

Sign in / Sign up

Export Citation Format

Share Document