Results for 'J. C. C. McKinsey'

(not author) ( search as author name )
999 found
Order:
  1.  15
    J. C. C. McKinsey. Boolean functions and points. Duke mathematical journal, vol. 2 (1936), pp. 465–471.J. C. C. Mckinsey - 1937 - Journal of Symbolic Logic 2 (1):41-41.
  2. 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.
  3.  25
    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   51 citations  
  4.  12
    Lewis Carroll's Barber Shop Paradox.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):222-223.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  43
    The Problem of Counterfactual Conditionals.J. C. C. McKinsey & Nelson Goodman - 1947 - Journal of Symbolic Logic 12 (4):139.
  6.  69
    The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Direct download  
     
    Export citation  
     
    Bookmark   134 citations  
  7.  9
    Canonical Expressions in Boolean Algebra.J. C. C. McKinsey - 1938 - Journal of Symbolic Logic 3 (2):93-93.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Axiomatic Foundations of Classical Particle Mechanics.J. C. C. Mckinsey, A. C. Sugar & Patrick Suppes - 1978 - Critica 10 (28):143-148.
  9.  17
    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  
  10.  61
    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.
  11.  4
    Elements of Logic and Formal Science.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):169-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  47
    The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
  13.  26
    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   45 citations  
  14.  43
    On the syntactical construction of systems of modal logic.J. C. C. Mckinsey - 1945 - Journal of Symbolic Logic 10 (3):83-94.
  15. 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   80 citations  
  16.  21
    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  
  17.  42
    On the number of complete extensions of the Lewis systems of sentential calculus.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (2):42-45.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  38
    Postulates for the calculus of binary relations.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):85-97.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  6
    Postulates for the Calculus of Binary Relations.J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (4):167-168.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Principia Mathematica, On a Redundancy in.J. C. C. Mckinsey - 1935 - Mind 44:270.
     
    Export citation  
     
    Bookmark  
  21.  34
    A New Definition of Truth.J. C. C. McKinsey - 1948 - Synthese 7 (6-A):428 - 433.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  27
    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   10 citations  
  23. 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.
  24.  18
    The Contrary-to-Fact Conditional.J. C. C. McKinsey & Roderick M. Chisholm - 1947 - Journal of Symbolic Logic 12 (4):138.
  25.  7
    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  
  26.  19
    Vredenduin P. G. J.. A system of strict implication.J. C. C. McKinsey - 1939 - Journal of Symbolic Logic 4 (3):124-124.
  27.  17
    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  
  28.  66
    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  
  29.  68
    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   31 citations  
  30.  22
    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  
  31.  25
    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.
  32.  3
    Undecidable Statements and Metalanguage.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  12
    Construction of Systems of Modal Logic.J. C. C. McKinsey - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:740-740.
  34.  14
    Philosophy and the Axiomatic Foundations of Physics.J. C. C. McKinsey & Patrick Suppes - 1953 - Proceedings of the XIth International Congress of Philosophy 6:49-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  4
    Ushenko A.. Undecidable statements and metalanguage. Mind, n.s. vol. 53 , pp. 258–262.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (4):97-98.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  16
    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  
  37.  15
    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.
  38.  14
    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  
  39.  10
    Kalicki J.. On the structure of bracket-free formulae. Norsk matematisk tidsskrift, vol. 32 , pp. 33–39.J. C. C. McKinsey - 1951 - Journal of Symbolic Logic 16 (2):151-151.
  40.  19
    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  
  41.  3
    Mathematical Logic With Transfinite Types.J. C. C. McKinsey - 1944 - Journal of Symbolic Logic 9 (3):72-73.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  24
    Proof that there are infinitely many modalities in Lewis's system S 2.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (3):110-112.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  20
    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.
  44.  18
    A correction to Lewis and Langford's symbolic logic.J. C. C. McKinsey - 1940 - Journal of Symbolic Logic 5 (4):149.
  45.  4
    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.
  46.  1
    A New Definition of Truth.J. C. C. Mckinsey - 1951 - Journal of Symbolic Logic 16 (3):218-220.
  47.  2
    A Note on Reichenbach's Axioms for Probability Implication.J. C. C. Mckinsey - 1940 - Journal of Symbolic Logic 5 (1):42-42.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  10
    Burks Arthur W. and Copi Irving M.. Lewis Carroll's barber shop paradox. Mind, n.s. vol. 59 , pp. 219–222.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 15 (3):222-223.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  17
    Bergmann Gustav. A syntactical characterization of S5.J. C. C. McKinsey - 1950 - Journal of Symbolic Logic 14 (4):260-260.
  50.  17
    Berry George D. W.. On Quine's axioms of quantification.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (3):102-102.
1 — 50 / 999