Volume 35; Issue 2

Main
Journal of Symbolic Logic
Volume 35; Issue 2

Journal of Symbolic Logic

Volume 35; Issue 2

1

The Craig-Lyndon Interpolation Theorem in 3-Valued Logic

R. R. Rockingham Gill

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 829 KB

english, 1970

2

Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 3.08 MB

english, 1970

3

The Encyclopedia of Philosophyby Paul Edwards

Review by: William Craig and Benson Mates

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 2.32 MB

english, 1970

4

Application de la Theorie des Categories dans la Logique Formelleby Henri Moscovici; Dan Radu

Review by: Anne Preller

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 200 KB

english, 1970

5

Generalization of Some Normal Formsby Eugen Mihailescu

Review by: Kiyoshi Iseki

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 200 KB

english, 1970

6

Nekotorye algoritmiceskie problemy dla kontekstno-svobodnyh grammatik (Certain Algorithmic Problems for Context-Free Grammars)by A.V. Gladkij;Algoritmiceskaa neraspoznavaemost' suscestvennoj neopredelennosti kontekstno-svobodnyh azykov (Algorithmic Unsolvability of Inherent Ambiguity in Context-Free Languages)by A. V. Gladkij;Ob odnom sposobe opredelenia grammaticeskih ponatij na baze teorii mnozestv (On a Way of Defining Grammatical Notions Using Set Theory)by O. S. Kulagina;Konfiguracionnye harakteristiki azykov (Configuration characteristics of languages)by A. V. Gladkij;O rangah konfiguracij kontekstnosvobodnyh azykov (On the Ranks of Configurations of Context-Free Languages)by V. D. Luckin

Review by: Arto Salomaa

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 404 KB

english, 1970

7

A Note on Standard versus Non-Standard Topologyby Jens Erik Fenstad

Review by: W. A. J. Luxemburg

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 216 KB

english, 1970

8

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 271 KB

english, 1970

9

On Initial Segments of Hyperdegrees

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.01 MB

english, 1970

10

Axiomatizable Theories with Few Axiomatizable Extensions

D. A. Martin and M. B. Pour-El

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 578 KB

english, 1970

11

A Model Theoretic Characterization of Effective Operations

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 550 KB

english, 1970

12

A Note on Computable Real Fields

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 298 KB

english, 1970

13

Nonstandard Theories of Quantification and Identity

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 3.10 MB

english, 1970

14

A New Approach to Semanticsby John G. Kemeny;The Principles of Semanticsby Stephen Ullmann;Notes on Synonymyby Jens Erik Fenstad

Review by: L. Jonathan Cohen

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 509 KB

english, 1970

15

The Foundations of Mathematics and Other Logical Essaysby Frank Plumpton Ramsey

Review by: Anthony Anderson

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 192 KB

english, 1970

16

Logical Positivismby A. J. Ayer

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 192 KB

english, 1970

17

American Philosophy in the Twentieth Century: A Sourcebookby Paul Kurtz

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 328 KB

english, 1970

18

Sémantika otázky v problémové situaci (Semantics of the Question in the Problem-Solving Situation).by Ladislav Tondl

Review by: Zoltan Domotor

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 200 KB

english, 1970

19

Imperative reasoningsby Hector-Neri Castaneda;Imperative Inference Iby B. A. O. Williams;Imperative Inference IIby P. T. Geach;Can One Infer Commands from Commands?by Nicholas Rescher; John Robison;Imperative Inference and Disjunctionby Andre Gombay;Choice-Offering and Alternative-Presenting Disjunctive Commandsby Lennart Aqvist;Practical Inferenceby A. J. Kenny;Dr. Kenny on Practical Inferenceby P. T. Geach;Imperative Inferenceby Yehoshua Bar-Hillel;What Is Imperative Inference?by Andre Gombay;Some Alleged Differences between Imperatives and Indicativesby R. M. Hare;Inferential Validity and Imperative Inference Rulesby Alfred F. MacKay

Review by: Jonathan Bennett

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 868 KB

english, 1970

20

Some Definitions of Subjunctive Implication, of Counterfactual Implication, and of Related Conceptsby Rolf Schock;A Note on Subjunctive and Counterfactual Implicationby Rolf Schock

Review by: Arnold Koslow

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 213 KB

english, 1970

21

A Definition of Event and Some of Its Applicationsby Rolf Schock

Review by: Arnold Koslow

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 439 KB

english, 1970

22

The Existential Graphs and Natural Deductionby Don Davis Roberts

Review by: J. Jay Zeman

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 448 KB

english, 1970

23

Ideas Generales de la Lógica Combinatoria.by Gerold Stahl

Review by: Luis E. Sanchis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 221 KB

english, 1970

24

A Model of the Arithmetic of Alephs in the Equation Calculusby R. J. Plymen

Review by: V. Vuckovic

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 222 KB

english, 1970

25

Grundlagen der Mathematik Iby D. Hilbert; P. Bernays

Review by: G. T. Kneebone

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 552 KB

english, 1970

26

Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem).by G. E. Minc

Review by: J. van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 520 KB

english, 1970

27

Téoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional'nymi simvolamiby G. E. Minc;Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbolsby G. E. Minc; Leo F. Boron

Review by: J. van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 199 KB

english, 1970

28

Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Typesby Shôji Maehara

Review by: Moto-o Takahashi

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 198 KB

english, 1970

29

Inferential Equivalence and Natural Deductionby H. Hiz

Review by: Henry W. Johnstone, Jr.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 198 KB

english, 1970

30

A System for Strict Implicationby Masao Ohnishi; Kazuo Matsumoto

Review by: Ivo Thomas

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 208 KB

english, 1970

31

On Some Alleged Decision Procedures for S4by William H. Hanson

Review by: A. Bayart

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 208 KB

english, 1970

32

A Minimal Canonically Complete M-Valued Proper Logic for Each Mby Richard L. Call

Review by: R. L. Graham

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 208 KB

english, 1970

33

Matematicka logika. Prvi dio (Klasicna logika sudova). (Mathematical Logic. Part I (The Classical Logic of Propositions).)by Vladimir Devide

Review by: Ivan Boh

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 682 KB

english, 1970

34

On Cores and Prime Implicants of Truth Functionsby W. V. Quine

Review by: S. Rudeanu

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 353 KB

english, 1970

35

Ob odnom podhode k minimizacii sistem buleoyh funkcij (On One Approach to the Minimization of Systems of Boolean Functions)by F.I. Andon;Algoritm uproscenia d.n.f. bulevyh funckij (A Simplification Alogorithm of a Disjunctive Normal Form of the Boolean Functions)by F. I. Andon

Review by: A. Adam

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 214 KB

english, 1970

36

Einfuhrung in die Operative Logik und Mathematikby Paul Lorenzen

Review by: Perry Smith

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 212 KB

english, 1970

37

Semantical Analysis of Intuitionistic Logic Iby Saul A. Kripke; J. N. Crossley; M. A. E. Dummett

Review by: G. Kreisel

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 524 KB

english, 1970

38

The Axiom of Choice and the Class of Hyperarithmetic Functionsby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 382 KB

english, 1970

39

Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchyby G. Kreisel

Review by: Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 221 KB

english, 1970

40

On Recursive Transcendenceby R. L. Goodstein; J. Hooley

Review by: John Staples

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 201 KB

english, 1970

41

The Theory of Transfinite Recursionby M. Machover

Review by: Jon Barwise

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 201 KB

english, 1970

42

A Note on Pseudo-Creative Sets and Cylindersby Paul R. Young;On Semi-Cylinders, Splinters, and Bounded Truth-Table Reducibilityby Paul R. Young;On Pseudo-Creative Sets, Splinters, and Bounded-Truth-Table Reducibilityby Paul R. Young

Review by: Donald A. Martin

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 202 KB

english, 1970

43

Non-Uniqueness at ω2in Kleene's Oby John N. Crossley; Kurt Schütte

Review by: Gustav B. Hensel

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 211 KB

english, 1970

44

Polno numérovannyé množéstva (Complete Enumeration of a Set)by A.I. Mal'cév;K téorii vyčislimyh séméjstv obéktov (On the Theory of Computable Families of Objects)by A.I. Mal'cév;Pozitivnyé i négativnyé numéracii (Positive and Negative Numerations)by A.I. Mal'cév

Review by: Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 375 KB

english, 1970

45

Complexity of Algorithms and Computations (Special Course for Students of the Novosibirsk Government University)by B. A. Trahtenbrot

Review by: Jiri Becvar

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 558 KB

english, 1970

46

O raspoznavanii zamescaemosti v rekursivnyh azykahby A. V. Gladkij;On the Recognition of Replaceability in Recursive Languagesby A. V. Gladkij; M. Greendlinger

Review by: Arto Salomaa

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 242 KB

english, 1970

47

An Embedding Theorem for Finitely Generated Groupsby C. R. J. Clapham

Review by: J. C. Shepherdson

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 394 KB

english, 1970

48

On Definability of Ordinals in Logic with Infinitely Long Expressionsby Akiko Kino;Correction to a Paper on Definability of Ordinals in Infinite Logicby Akiko Kino

Review by: Carol Karp

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 212 KB

english, 1970

49

Implicit Definability and Infinitary Languagesby Kenneth Kunen

Review by: E. G. K. Lopez-Escobar

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 386 KB

english, 1970

50

Languages with Added Quantifier There Exist at Least ℵαby Gebhard Furhken; J. W. Addison; Leon Henkin; Alfred Tarski

Review by: A. B. Slomson

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 234 KB

english, 1970

51

Denumerable Models of Complete Theoriesby R. L. Vaught;On Minimal Models of First-Order Systemsby Lars Svenonius;Unendliche Formeln in der Modell-theorieby Erwin Engeler;Bemerkung zu einer Arbeit E. Engelersby Gebhard Fukrken

Review by: H. Jerome Keisler

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 537 KB

english, 1970

52

Models of Complete Theoriesby R. L. Vaught

Review by: H. Jerome Keisler

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 216 KB

english, 1970

53

A Proof of the Relative Consistency of the Continuum Hypothesisby Carol Karp

Review by: Leslie H. Tharp

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 377 KB

english, 1970

54

Variations on a Theme of Bernaysby John Myhill

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 376 KB

english, 1970

55

Generalized free m-Products of m-Distributive Boolean Algebras with an m-amalgamated Subalgebraby M. J. Maczynski

Review by: F. M. Yaqub

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 215 KB

english, 1970

56

The m-Amalgamation Property for m-Distributive Boolean Algebraby M. J. Maczynski; T. Traczyk

Review by: F. M. Yaqub

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 336 KB

english, 1970

57

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 597 KB

english, 1970

58

Meeting of the Association for Symbolic Logic

James K. Feibleman, R. M. Smullyan and R. L. Vaught

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.66 MB

english, 1970

59

Notice of the 1971 International Congress for Logic, Methodology and Philosophy of Science

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 115 KB

english, 1970

60

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 88 KB

english, 1970

61

The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 943 KB

english, 1970

62

Matématičéskaá téoriá logičéskogo vyvodaby A. V. Idél'son; G. E. Minc

Review by: J. van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1970

File:

PDF, 232 KB

1970

63

Matématičéskaá téoriá logičéskogo vyvodaby A. V. Idél'son; G. E. Minc

Review by: J. van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 232 KB

english, 1970

64

Correction to a Paper on Modal Set Theory

Frederic B. Fitch

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 185 KB

english, 1970

65

On Analytic Well-Orderings

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 713 KB

english, 1970

66

The Meta-R.E. Sets, but Not the Π11Sets, Can Be Enumerated Without Repetition

James C. Owings, Jr.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 996 KB

english, 1970

67

On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theoryby Luitzen Egbertus Jan Brouwer; Stefan Bauer-Mangelberg; Jean van Heijenoort;On the Domains of Definition of Functionsby Luitzen Egbertus Jan Brouwer; Stefan Bauer-Mengelberg;Intuitionistic Reflections on Formalismby Luitzen Egbertus Jan Brouwer; Stefan Bauer-Mangelberg

Review by: Joan Rand Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 398 KB

english, 1970

68

On the So-Called Practical Philosophyby G. H. von Wright

Review by: Raili Kauppi

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 422 KB

english, 1970

69

Ashby R. W.. Basic statements. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 251–254.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

70

Moscovici Henri and Radu Dan. Application de la théorie des catégories dans la logique formelle. Revue roumaine de mathématiques pures et appliquées, vol. 9 (1964), pp. 971–977.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 83 KB

english, 1970

71

Parsons Charles. Brouwer, Luitzen Egbertus Jan. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 399–401.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.17 MB

english, 1970

72

Martin Norman M.. Carnap, Rudolf. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 25–33.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.17 MB

english, 1970

73

Hiż H.. Chwistek, Leon. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 112–113.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.17 MB

english, 1970

74

Weinberg Gerald M.. Computing machines. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 168–173.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

75

Schick Frederic. Confirmation: quantitative aspects. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 187–189.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.06 MB

english, 1970

76

Smullyan Raymond M.. Continuum problem. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 207–212.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.05 MB

english, 1970

77

Kim Jaegwon. Explanation in science. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 3, pp. 159–163.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

78

van Heijenoort J.. Gödel's theorem. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 3, pp. 348–357.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.15 MB

english, 1970

79

Bernays Paul. Hilbert, David. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 3, pp. 496–504.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

80

Black Max. Induction. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 169–181.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

81

Hesse Mary. Laws and theories. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 404–410.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

82

Curry Haskell B.. Logic, combinatory. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 504–509.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.16 MB

english, 1970

83

Prior A. N.. Logic, deontic. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 509–513.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

84

Prior A. N.. Logic, many-valued. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 1–5.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

85

Prior A. N.. Logic, modal. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 5–12.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

86

Blumberg Albert E.. Logic, modern. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 12–34.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

87

Brody Boruch A.. Logical terms, glossary of. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 57–77.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

88

Lejewski Czesław. Łukasiewicz, Jan. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 104–107.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.12 MB

english, 1970

89

Parsons Charles. Mathematics, foundations of. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 188–213.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.15 MB

english, 1970

90

Ellis Brian. Measurement. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 241–250.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

91

Hesse Mary. Models and analogies in science. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 354–359.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

92

Prior A. N.. Negation. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 458–463.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

93

Barker Stephen F.. Number. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 526–530.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

94

Harré R.. Philosophy of science, history of. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 289–296.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

95

Black Max. Probability. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 464–479.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

96

Black Max. Ramsey, Frank Plumpton. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 65–66.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

97

Edwards Paul. Russell, Bertrand Arthur William. Life and social theories. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 236–239.Alston William P.. Russell, Bertrand Arthur William. Epistemology and metaphysics. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 239–244.Prior A. N.. Russell, Bertrand Arthur William. Logic and mathematics. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 244–251.Edwards Pa

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

98

Fraenkel Abraham A.. Set theory. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 420–427.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

99

Hesse Mary. Simplicity. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 445–448.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.06 MB

english, 1970

100

Mostowski Andrzej. Tarski, Alfred. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 77–81.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

101

Bar-Hillel Yehoshua. Types, theory of. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 168–172.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

102

Jordan Z. A.. Ajdukiewicz, Kazimierz. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 62–63.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

103

Kurtz Paul. American philosophy. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 83–93.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

104

Weitz Morris. Analysis, philosophical. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 97–105.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

105

Vendler Zeno. Any and all. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 131–133.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

106

Caton Charles E.. Artificial and natural languages. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 168–171.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

107

O'Connor D. J.. Ayer, Alfred Jules. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 229–231.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

108

Bar-Hillel Yehoshua. Bolzano, Bernard. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 337–338.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

109

Chisholm Roderick M.. Brentano, Franz. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 365–368.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

110

Quinton Anthony. British philosophy. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 369–396.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

111

Heath P. L.. Carroll, Lewis. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 36–37.Heath P. L.. Nothing. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5, pp. 524–525.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

112

Thompson Manley. Categories. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 46–55.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.21 MB

english, 1970

113

White Alan R.. Coherence theory of truth. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 130–133.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

114

Walters R. S.. Contrary-to-fact conditional. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 212–216.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

115

Prior A. N.. Correspondence theory of truth. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 223–232.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.06 MB

english, 1970

116

Black Max. Craig's theorem. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 249–251.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

117

Abelson Raziel. Definition. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 314–324.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

118

Prior A. N.. Existence. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 3, pp. 141–147.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

119

Stroll Avrum. Identity. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 121–124.Gardiner D.. Bibliography. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, p. 124.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

120

Gale Richard M.. Indexical signs, egocentric particulars, and token-reflexive words. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 151–155.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

121

Alston William P.. Language, philosophy of. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 386–390.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

122

Russell L. J.. Leibniz, Gottfried Wilhelm. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 422–434.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

123

Alston William P.. Meaning. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5. 233–241.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

124

Hick John. Ontological argument for the existence of God. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 5 pp. 538–542.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.04 MB

english, 1970

125

Stroll Avrum. Presupposing. Bibliographic assistance by Ornstein J.. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 6, pp. 446–449.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

126

Presley G. F.. Quine, Willard Van Orman. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 53–55.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.32 MB

english, 1970

127

Linsky Leonard. Referring. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 95–99.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

128

Kalish Donald. Semantics. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 348–358.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.04 MB

english, 1970

129

Kretzmann Norman. Semantics, history of. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 7, pp. 358–406.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

130

Linsky Leonard. Synonymity. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 54–57.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

131

Malcolm Norman. Wittgenstein, Ludwig Josef Johann. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 8, pp. 327–340.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

132

Lejewski Czesław. Ancient logic. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 513–520.Staal J. F.. Indian logic. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 520–523.Graham A. C.. Chinese logic. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 523–525.Rescher Nicholas. Arabic logic. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collie

Craig, William, Mates, Benson

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.18 MB

english, 1970

133

Idél′son A. V. and Minc G. E.. Prédislovie rédaktorov (Editor's foreword). Matématičéskaá téoriá logičéskogo vyvoda, edited by Idél′son A. V. and Minc G. E.. Matématičéskaá logika i osnovaniá matématiki, Izdatél′stvo “Nauka,” Moscow 1967, pp. 5–8.

van Heijenoort, J.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 86 KB

english, 1970

134

JSL volume 35 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1970

File:

PDF, 12.33 MB

1970

135

JSL volume 35 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1970

File:

PDF, 5.84 MB

1970

136

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 305 KB

english, 1970

137

Notice of the 1971 International Congress For Logic, Methodology and Philosophy of Science

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 40 KB

english, 1970

138

Thomson James. Infinity in mathematics and logic. The encyclopedia of philosophy, edited by Edwards Paul, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 4, pp. 183–190.

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 1.19 MB

english, 1970