Switch to: Citations

References in:

Some philosophical problems from the standpoint of artificial intelligence

In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502 (1969)

Add references

You must login to add references.
  1. Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
     
    Export citation  
     
    Bookmark   664 citations  
  • A new approach to the logical theory of interrogatives.Lennart Åqvist - 1965 - [Uppsala]: [Uppsala].
  • Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
    I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...)
    Direct download (18 more)  
     
    Export citation  
     
    Bookmark   997 citations  
  • Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   226 citations  
  • A new approach to the logical theory of interrogatives: analysis and formalization.Lennart Åqvist - 1975 - Tübingen: TBL Verlag G. Narr.
  • Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.
  • Communication: a logical model.David Harrah - 1963 - Cambridge, Mass.,: M. I. T. Press.
  • Hypothetical reasoning.Nicholas Rescher - 1964 - Amsterdam,: North-Holland Pub. Co..
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  • Modal logics.Robert Feys - 1965 - Louvain,: E. Nauwelaerts. Edited by Joseph Dopp.
  • The logic of commands.Nicholas Rescher - 1966 - New York,: Dover Publications.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
    But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   307 citations  
  • The Formal Analysis of Normative Systems.Alan Ross Anderson - 1956 - New Haven, CT, USA: Yale University, International Laboratory, Sociology Dept.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Alan R. White - 1965 - Philosophical Quarterly 15 (60):268.
  • M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 8--11. [REVIEW]Gerold Stahl - 1966 - Journal of Symbolic Logic 31 (4):668.
  • Hypothetical reasoning.Ernest Sosa - 1967 - Journal of Philosophy 64 (10):293-305.
    In his important monograph, Hypothetical Reasoning, Nicholas Rescher develops a modal theory in order to throw some light on the nature of hypothetical reasoning and on the so-called "problem of counterfactual conditionals." I should like both to expound the theory and consider its application.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The logic of rational decision.Herbert A. Simon - 1965 - British Journal for the Philosophy of Science 16 (63):169-186.
  • [Review of essay] "Reference and modality" by WVO Quine. [REVIEW]John Kemeny - 1954 - Journal of Symbolic Logic 19 (2):137--138.
  • Towards a Mathematical Science of Computation.J. Mccarthy, Cicely M. Popplewell, John Mccarthy & Wayne A. Kalenich - 1962 - Journal of Symbolic Logic 36 (2):346-347.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  • A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   129 citations  
  • Individuals, possible worlds, and epistemic logic.Jaakko Hintikka - 1967 - Noûs 1 (1):33-62.
  • A Program and a Set of Concepts for Philosophlcal Logic.Jaakko Hintikka - 1967 - The Monist 51 (1):69-92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Program and a Set of Concepts for Philosophlcal Logic.Jaakko Hintikka - 1967 - The Monist 51 (1):69-92.
  • On thought: the extrinsic theory.Eugene Galanter & Murray Gerstenhaber - 1956 - Psychological Review 63 (4):218-227.
  • Knowledge, Identity, and Existence.Dagfinn Føllesdal - 1967 - Theoria 33 (1):1-27.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • States, activities and performances.C. O. Evans - 1967 - Australasian Journal of Philosophy 45 (3):293 – 308.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The substitution interpretation of the quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.
  • The logic of knowing.Roderick M. Chisholm - 1963 - Journal of Philosophy 60 (25):773-795.
  • He could have done otherwise.Roderick M. Chisholm - 1967 - Journal of Philosophy 64 (13):409-417.
  • The logic of change, action, and norms.Hector Neri Castaneda - 1965 - Journal of Philosophy 62 (13):333-344.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • An algebraic study of tense logics with linear time.R. A. Bull - 1968 - Journal of Symbolic Logic 33 (1):27-38.
  • An Algebraic Study of Tense Logics with Linear Time.R. A. Bull - 1971 - Journal of Symbolic Logic 36 (1):173-173.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • An Analysis of Questions: Preliminary Report.Nuel D. Belnap Jr - 1963 - Santa Monica, CA, USA: System Development.
  • Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
     
    Export citation  
     
    Bookmark   224 citations  
  • Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
     
    Export citation  
     
    Bookmark   364 citations  
  • Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
  • The logical form of action sentences.Donald Davidson - 1967 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press. pp. 81--95.
  • Modal Logics.Robert Feys - 1965 - Studia Logica 22:170-173.
  • Communication: A Logical Model.David Harrah - 1963 - Studia Logica 15:304-308.
     
    Export citation  
     
    Bookmark   12 citations  
  • The Logic of Interrogatives.M. J. Cresswell - 1965 - In John N. Crossley & Michael A. E. Dummett (eds.), Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963. North-Holland. pp. 8--11.
  • Norm and Action: a Logical Enquiry.G. M. Von Wright - 1963
    No categories
     
    Export citation  
     
    Bookmark   86 citations  
  • Steps Toward Artificial Intelligence.Marvin Minsky - unknown
    Received by the IRE, October 24, 1960. The author's work summarized here—which was done at the MIT Lincoln Laboratory, a center for research operated by MIT at Lexington, Mass., with the joint Support of the U. S. Army, Navy, and Air Force under Air Force Contract AF 19-5200; and at the Res. Lab. of Electronics, MIT, Cambridge, Mass., which is supported in part by the U. S. Army Signal Corps, the Air Force Office of Scientific Research, and the ONR—is based (...)
    Direct download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Time and Modality.A. N. PRIOR - 1957 - Zeitschrift für Philosophische Forschung 13 (3):477-479.
    No categories
     
    Export citation  
     
    Bookmark   102 citations  
  • Hypothetical reasoning.Nicholas Rescher - 1964 - Revue Philosophique de la France Et de l'Etranger 156:503-504.
     
    Export citation  
     
    Bookmark   38 citations  
  • Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    No categories
     
    Export citation  
     
    Bookmark   169 citations  
  • The Logic of Commands.Nicholas Rescner - 1969 - Foundations of Language 5 (1):135-137.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  • A note on quantification and modalities.Stig Kanger - 1957 - Theoria 23 (2):133.
    No categories
     
    Export citation  
     
    Bookmark   17 citations  
  • Existence and identity in epistemic contexts: A comment on Føllesdal's paper.Jaakko Hintikka - 1967 - Theoria 33 (2):138.
    No categories
     
    Export citation  
     
    Bookmark   5 citations