135 found
Order:
Disambiguations
J. C. C. McKinsey [133]J. C. Cheroweth McKinsey [1]J. C. Chenoweth McKinsey [1]
  1. Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
  2.  49
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Direct download  
     
    Export citation  
     
    Bookmark   123 citations  
  3. Outlines of a formal theory of value, I.Donald Davidson, J. C. C. McKinsey & Patrick Suppes - 1955 - Philosophy of Science 22 (2):140-160.
    Contemporary philosophers interested in value theory appear to be largely concerned with questions of the following sort:What is value?What is the meaning of the word ‘good’?Does the attribution of value to an object have a cognitive, or merely an emotive, significance?The first question is metaphysical; to ask it is analogous to asking in physics:What is matter?What is electricity?The others are generally treated as semantical questions; to ask them is analogous to asking in statistics:What is the meaning of the word ‘probable’?Does (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  4.  45
    A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
  5.  23
    The Problem of Counterfactual Conditionals.J. C. C. McKinsey & Nelson Goodman - 1947 - Journal of Symbolic Logic 12 (4):139.
  6.  9
    Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  7. Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.
  8.  13
    On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  9.  55
    On the logic of imperatives.Albert Hofstadter & J. C. C. McKinsey - 1939 - Philosophy of Science 6 (4):446-457.
    It is the purpose of this paper to carry out a partial syntactical analysis of imperatives. Imperatives form a large body of linguistic expressions, appearing, e.g. in mathematical proofs be a continuous function!”), laws, moral injunctions, instruction, etc. For analytical purposes we distinguish between two forms of imperatives, the fiat and the directive. By a directive we mean an imperative which includes an indication of the agent who is to carry it out. For example, “Henry, don't forget to stop at (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  10.  25
    On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.
  11.  32
    The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
  12.  6
    On the Logic of Imperatives.Albert Hofstadter & J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):41-41.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  13. On the notion of invariance in classical mechanics.J. C. C. Mckinsey & Patrick Suppes - 1955 - British Journal for the Philosophy of Science 5 (20):290-302.
  14.  13
    Review: K. R. Popper, Logic Without Assumptions. [REVIEW]J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.
  15.  23
    Proof of the independence of the primitive symbols of Heyting's calculus of propositions.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (4):155-158.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16.  11
    A Solution of the Decision Problem for the Lewis Systems S2 and S4, With an Application to Topology.J. C. C. Mckinsey - 1942 - Journal of Symbolic Logic 7 (3):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  17.  21
    Systems of modal logic which are not unreasonable in the sense of halldén.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (2):109-113.
  18.  5
    On the Syntactical Construction of Systems of Modal Logic.J. C. C. Mckinsey - 1946 - Journal of Symbolic Logic 11 (3):98-99.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  31
    A New Definition of Truth.J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  14
    On the Representation of Projective Algebras.J. C. C. Mckinsey - 1948 - Journal of Symbolic Logic 13 (4):223-223.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  11
    Outlines of a Formalist Philosophy of Mathematics.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  10
    The Contrary-to-Fact Conditional.J. C. C. McKinsey & Roderick M. Chisholm - 1947 - Journal of Symbolic Logic 12 (4):138.
  23.  4
    The Decision Problem for Some Classes of Sentences Without Quantifiers.J. C. C. Mckinsey - 1944 - Journal of Symbolic Logic 9 (1):30-31.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  16
    On the Number of Complete Extensions of the Lewis Systems of Sentential Calculus.J. C. C. Mckinsey - 1944 - Journal of Symbolic Logic 9 (4):96-96.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  51
    Everett C. J. and Ulam S.. Projective algebra I. American journal of mathematics, vol. 68 , pp. 77–88.J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    Reviews. K. R. Popper. Logic without assumptions. Proceedings of the Aristotelian Society, n.s. vol. 47 , pp. 251–292.J. C. C. McKinsey - 1948 - Journal of Symbolic Logic 13 (2):114-115.
  27.  47
    Review: C. J. Everett, S. Ulam, Projective Algebra I. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
  28. A Condition that a first Boolean Function Vanish wherever a Second does not.J. C. C. Mckinsey - 1938 - Journal of Symbolic Logic 3 (1):47-48.
  29. Britton Karl. Structure of language and structure of fact. Psyche , vol. 17 , pp. 67–91.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):125-125.
  30. Principia Mathematica, On a Redundancy in.J. C. C. Mckinsey - 1935 - Mind 44:270.
     
    Export citation  
     
    Bookmark  
  31. Undecidable Statements and Metalanguage.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  27
    Remarks on the Definition and Nature of Mathematics.J. C. C. McKinsey & H. B. Curry - 1940 - Journal of Symbolic Logic 5 (1):26.
  33.  22
    Hare R. M.. Imperative sentences. Mind, n.s. vol. 58 , pp. 21–39.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (2):145-145.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  21
    Destouches-Février Paulette. La structure des théories physiques. With a preface by Louis de Broglie. Presses Universitaires de France, Paris 1951, XI + 423 pp. [REVIEW]J. C. C. McKinsey & Patrick Suppes - 1954 - Journal of Symbolic Logic 19 (1):52-55.
  35.  21
    Lalan Victor. Equations fonctionnelles dans un anneau booléien. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 230 , pp. 603–605. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):230-231.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  20
    Dotterer Ray H.. A generalization of the antilogism.J. C. C. McKinsey - 1942 - Journal of Symbolic Logic 7 (1):38-39.
  37.  6
    Review: Haskell B. Curry, Outlines of a Formalist Philosophy of Mathematics. [REVIEW]J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (1):80-81.
  38.  22
    Review: P. G. J. Vredenduin, A System of Strict Implication. [REVIEW]J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  39.  17
    Fitch Frederic B.. Note on modal functions.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-31.
  40.  16
    Foster Alfred L. and Bernstein B. A.. Symmetric approach to commutative rings, with duality theorem: Boolean duality as a special case. Duke mathematical journal, vol. 11 , pp. 603–616. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-97.
  41.  16
    Moore Willis. The indexical and the presentative functions of signs. Philosophy of science, vol. 9 , pp. 367–371.Bergmann Gustave. Discussion. Philosophy of science, vol. 9 , pp. 372–374.Piaget Jean. Le rôle de la tautologie dans la composition additive des classes et des ensembles. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 102–107.Piaget Jean. Le groupement additif des classes. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 107–112.Piaget Jean. Le groupement additif des relations asymétriques et ses rapports avec le groupement additif des classes. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de Genève , vol. 58 , pp. 117–122.Piaget Jean. Sur les rapports entre les groupements additifs des classes et des relations asymétriques et le groupe additif des nombres entiers. Compte rendu des séances de la Société de Physique et d'Histoire Naturelle de. [REVIEW]J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):57-58.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  19
    Review: Louis Rougier, Les Nouvelles Logiques de la Mecanique Quantique et l'Empirisme Radical. [REVIEW]J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):26-26.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  15
    Blake Archie. Canonical expressions in Boolean algebra. Dissertation Chicago 1937. Lithographed. The University of Chicago Libraries, Chicago 1938, ii + 60 pp. [REVIEW]J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (2):93-93.
  44.  15
    Bruner Frank G.. Mathematical logic with transfinite types. Planographed. Privately printed and distributed by the author, 1460 East 57th Street, Chicago, 1943, v + 68 pp. [REVIEW]J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.
  45.  16
    Review: A. F. Peters, R. M. Hare on Imperative Sentences: A Criticism. [REVIEW]J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (2):145-145.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  14
    Wajsberg Mordchaj. Metalogiscke Beiträge II. Wiadomości matematyczne, vol. 47 , pp. 119–139.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):31-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  14
    Wilder R. L.. The nature of mathematical proof. The American mathematical monthly, vol. 51 , pp. 309–323.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):73-73.
  48.  13
    Berry George D. W.. On Quine's axioms of quantification.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (3):102-102.
  49.  13
    Byrne Lee. Two brief formulations of Boolean algebra. Bulletin of the American Mathematical Society, vol. 52 , pp. 269–272. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (3):85-85.
  50.  13
    Curry H. B.. Remarks on the definition and nature of mathematics. Ditto, 6 pp.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (1):26-26.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 135