Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence

Chomsky, 1957 Clowes, 1971, On Seeing Things, Artificial Intelligence, 2, 79, 10.1016/0004-3702(71)90005-1 Flavell, 1963 1963 Frege, 1960 Frege, 1953 Frege, 1964 Goodman, 1969 Gelernter, 1963, Realisation of a geometry-theorem proving machine Hayes, 1969, Robotologic, 5 Kant, 1958, Critique of Pure Reason Lakatos, 1963, Proofs and refutations, in four parts, Brit. J. Phil. Sci., 14, 1, 10.1093/bjps/XIV.53.1 Lakatos, 1963, Proofs and refutation, in four parts, Brit. J. Phil. Sci., 14, 120, 10.1093/bjps/XIV.54.120 Lakatos, 1963, Proofs and refutations, in four parts, Brit. J. Phil. Sci., 14, 221, 10.1093/bjps/XIV.55.221 Lakatos, 1963, Proofs and refutations, in four parts, Brit. J. Phil. Sci., 14, 296, 10.1093/bjps/XIV.56.296 Lindsay, 1963, Inferential memory as the basis of machines which understand natural language McCarthy, 1969, Some philosophical problems from the standpoint of Artificial Intelligence, 4 Minsky, 1963, Steps toward artificial intelligence 1968 Minsky, 1968, Semantic Information Processing Minsky, 1968 Minsky, 1968, Descriptive languages and problem solving Minsky, 1970, Form and content in computer science, ACM Turing Lecture. J.A.C.M., 17, 197 Mueller, 1969, Euclid's Elements and the axiomatic method, Brit. J. Phil. Sci., 20, 289, 10.1093/bjps/20.4.289 Raphael, 1968, A computer program which “understands” Sloman, 1968, Explaining logical necessity, Proc. Aristotelian Soc., LXIX, 33 Sloman, 1971, Tarski, Frege and the Liar Paradox, Philosophy, XLVI, 133 Toulmin, 1953 Toulmin, 1962 Wittgenstein, 1956