Epistemological foundations of the JSM method for automatic hypothesis generation

Popper, K.R., Ob’ektivnoe znanie, evolyutsionnyi podkhod, Gl. 1, (Objective Knowledge: An Evolutionary Approach, Cp. 1), Oxford: Clarendon, 1979; Moscow: Editorial URSS, 2012, pp. 12–39.

Hume, D.A., An Enquiry Concerning Human Understanding, London: A. Millar, 1748.

Hume, D.A., Traktat o chelovecheskoi prirode. Kn. 1, Chast’ III, gl. 6, (Treatise of Human Nature. Book 1, Part 3, Cp. 6), John Noon, 1739.

Bernays, P., Concerning Rationality, in The Philosophy of Karl Popper. The Library of living Philosophers, vol. 14, Schilpp, P.A., Ed., La Salle, Illinois: Open Count, 1974; Moscow: Editorial URSS, pp. 597–605.

Gillies, D., Artifitial Intelligence and Scientific Method, Oxford: University Press, 2008.

Bacon, F., The Novum Organon, or a True Guide to the Interpretation of Nature, Oxford: Oxford University Press, 1855; OGIZ-SOTSEGIZ, Leningr. Otd., 1935.

Herschel, J.F.W., Filosofiya estestvoznaniya, (Preliminary Discourse on the Study of Natural Philosophy), London, 1851; Moscow: Librokom, 2011.

Mill, J.S., A System of Logic Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation, London: Parker, 1843; Moscow: Lenard, 2011.

JSM-metod avtomaticheskogo porozhdeniya gipotez: logicheskie i epistemologicheskie osnovaniya (J. S. Mill’sMethod of Hypothesis Automatic Generation: Logic and Epistemic Foundations), Anshakov, O.M., Ed., Moscow: LIBROKOM, 2009.

Whewell, W., Istoriya induktivnykh nauk ot drevnostei i do nastoyashchego vremeni. V 3-kh tomakh, (History of the Inductive Sciences. Vols. 1–3), London, 1837; St. Peterb.: Russ. Knizh. Torgov., 1867–1869.

Whewell, W., Filosophiya induktivnykh nauk. Tom 1–2, (Philosophy of the inductive sciences. vols. 1–2), London, 1840; St. Petersburg: Russ. Knizhn. Torgov., 1867.

Leikfel’d, P., Logicheskoe uchenie ob induktsii (Logic Teaching on Induction), St. Petersburg: Russ. Knizhn. Torgov., 1868.

Vladislavlev, M.I., Logika (Logic), St. Petersburg, 1881, Application, pp. 223–233.

Pierce, C.S., How to make our ideas clear? in Izbrannye proizvedeniya (Selected Works), Moscow: LOGOS, 2000; Popular Science, Vol. 12, pp. 286–302.

Lakhuti, D.G., Mill, Peirce and Popper on Logic of Scientific Discovery, Vopr. Filos., 2012, no. 3, pp. 101–109.

Ajdukiewicz, The scientific world-perspective and other essays 1931–1963, in Synthesis Library, Vol. 108, §3. The World-Picture and the Conceptual Apparatus, Dordrecht-Holland: 1978, pp. 67–89.

Avtomaticheskoe porozhdenie gipotez v intellektual’nykh sistemakh (Automatic Production of Hypothesis in Intellectual Systems), Moscow: LIBROKOM, 2009.

Finn, V.K., J. S. Mill and his ideas about induction and “logic of moral sciences”, in J. S. Mill, Sistema logiki sillologicheskoi I inductivnoi, (A System of Logic Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation), Moscow: LENAND, 2011.

Finn, V.K., A System of Logic Ratiocinative and Inductive, in Entsiklopediya epistemologii i filosofii nauki (Encyclopedia of Epistemology and Philosophy of Science, Moscow: Kanon+, 2009).

van Benthem, J., Logic and reasoning: Do the facts matter? Studia Logica, 2008, vol. 88, pp. 67–84.

Finn, V.K., Iskusstvennyi intellekt: metodologiya, primeneniya, filosofiya. Chast’ I, Chast’ III, (The Artificial Intellect: Methodology, Applications, Philosophy. Part I, Part III), Moscow: KRASAND, 2011.

Nickerson, R.S., Perkins, D.N., and Smith, E.E., The Teaching of Thinking, Hillsdale: Erlbaum, 1985.

Wertheimer, M., Productive Thinking, New York: Harper and Bros, 1954.

Kraft, V., Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der jungsten Philosophiegeschichte, Wien: Springer-Verlag, 1950.

Fann, K.T., Peirce’s Theory of Abduction, The Hague: Martinus Nijhoff, 1970.

Aliseda, A., Abductive Reasoning: Logical Investigation into Discovery and Explanation, Synthese Library, vol. 330, 2006.

Finn, V.K., J.S. Mill’s inductive methods in artificial intelligence systems, Part I, Sci. Tech. Inform. Proc., 2011, vol. 38, pp. 385–402.

Finn, V.K., J.S. Mill’s inductive methods in artificial intelligence systems, Part II, Sci. Tech. Inform. Proc., 2012, vol. 39, pp. 241–261.

Volkova, A. Yu., Algoritmization procedures of JSM method for automatic hypothesis generation, Autom. Docum. Math. Ling., 2011, vol. 45, pp. 113–120.

Volkova, A.Yu., Analyzing the data of different subject fields using the procedures of JSM method for automatic hypothesis generation, Autom. Docum. Math. Ling., 2011, vol. 45, pp. 127–139.

Finn, V.K., Plausible inferences and reliable reasoning, J. Sov. Math., 1991, vol. 56, pp. 2201–2248.

Finn, V.K., On the definition of empirical regularities by the JSM method for the automatic generation of hypotheses, Sci. Tech. Inform. Proc., 2012. vol. 39, pp. 261–267.

Rosser, J.B. and Turquette, A.R., Many-Valued Logics, Amsterdam: North-Holland, 1958.

Barvais, D., Vvedenie v logiku pervogo poryadka. Spravochnaya kniga po matematicheskoi logike. Chast’ I. Teoriya modelei, (Introduction into First Order Logic. A Handbook on Mathematical Logic. Part I. Model Theory), Moscow: Nauka, 1982.

Finn, V.K., Inductive method of joint agreement-difference and procedural semantics of the JSM method, Autom. Docum. Math. Ling., 2010, vol. 44, pp. 68–88.

Bochvar, D.A., On one three-valued calculus and its application to the paradox analysis of classical enhanced calculus, Matem. Sbor., 1938, vol. 4, pp. 287–308.

Finn, V.K., On super strategies of intelligent systems of the JSM type for evidence-based medicine, Autom. Docum. Math. Ling., 2011, vol. 45, pp. 267–277.

Peirce, C.S., Rassuzhdeniya I logika veshchei (Reasoning and the Logic of Things), Cambridge, Massachusetts: Harvard University, 1992; Moscow: RGGU, 2005

Burks, A.W., Peirce’s theory of abduction, Philos. Sci., 1946, vol. 13, pp. 301–306.

Fann, K.T., Peirce’s Theory of Abduction, The Hague: Martinus Nijhoff, 1970.

Eisele, C., Studies in the scientific and mathematical philosophy of Ñharles S. Peirce, in Essays by Carolyn Eisele, The Hague: Mounton, 1979.

Kapitan, T., Peirce and the autonomy of abductive reasoning, Erkenntnis, 1992, vol. 37, pp. 2–36.

Paul, G., Artificial intelligence Approaches to abduction, in Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 4. Abductive Reasoning and Uncertainty Management Systems, Gabbay, D.M. and Smets, P., Eds., Dordrecht: Kluwer Academic, 2000.

Peirce, C.S., Collected Papers, vol.5, Cambridge, MA: Harvard University, 1934.

Abductive Inference: Computation, Philosophy, Technology, Josephson, J.R. and Josephson, S.G., Eds., Cambridge: University, 1994.

Anshakov, O.M., Causal models of object regions, Nauch. Tekh. Inform. Ser. 2, 2000, no. 3, pp. 45–53.

Finn, V.K., The synthesis of cognitive procedures and the problem of induction, Autom. Docum. Math. Ling., 2009, vol. 43, pp. 149–195.

Hempel, C.G. and Oppenhiem, P., The logic of explanation, Philosophy of Sci., 1948, no. 15, pp. 130–175.

Hájek, P. and Havránek, T., Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory, Berlin: Springer-Verlag, 1978; Moscow: Nauka, 1984.

Prakken, H. and Vreeswijk, G., Logics for defeasible argumentation, Handbook of Philos. Logic. Vol. 4, Dordrecht: Kluwer Academic, 2001.

Anshakov, O. and Gergely, T., Cognitive Reasoning. A Formal Approach, Berlin: Springer-Verlag, 2010.

Bolc, L. and Borowik, P., Many-Valued Logics. Vol. 1. Theoretical Foundations, Springer-Verlag, 1992, pp. 123–142.

Kleene, S.C., Vvedenie v metamatematiku (Introduction to Metamathematics), New York: D. Van Nostrand, 1952; Moscow: InLit., 1957.

Zabezhailo, M.I., Ivashko, V.G., Kuznetsov, S.O., Mikheenkova, M.A., Khazanovskii, K.P., and Anshakov, O.M., Algorithmic and program means of the J.S. Mill’s method for the automatic generation of hypotheses, Nauch.-Tekh. Inform. Ser. 2, 1987, no. 10, pp. 1–14.

Anshakov, O.M., Finn, V.K., and Skvortsov, D.P., On axiomatization of many-valued logics associated with formalization of plausible reasoning, Studia Logica, 1989, vol. 48, pp. 423–447.

Zeeman, E.C., The topology of the brain and visual perception, In: Fort, M.K., Topology of 3-Manifolds, 1962.

Shreider, Yu.A., Ravenstvo, skhodstvo, poryadok (Equality, Similarity, Order), Moscow: Nauka, 1971.

De Bouvére, K.L., A method in Proofs of Undefinability, Amsterdam: North-Holland, 1950.

Bridgman, P.W., The Logic of Modern Physics, New York, 1927.

Bridgman, P.W., The Nature of Some Our Physical Concepts, New York, 1952.

Zabezhailo, M.I., On the Functionality of the Causal Relation Used in J.S. Mill’s Reasoning, Autom. Docum. Math. Ling., 2013, vol. 47, pp. 162–167.

Flach, P.A. and Kakas, A., On the relation between abduction and inductive learning, In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 4, Abductive Reasoning and Learning, Gabbay, D.M. and Kruse, R., Eds., Dordrecht: Kluwer Academic, 2000, pp. 1–33.

Salmon, M.H., Introduction to Logic and Critical Thinking, Harcourt: Jovanovich, 1984.

Handbook of History of Logic. Vol. 10. Inductive Logic, Gabbay, D.M. Hartmann, S., and Woods, J., Eds., Amsterdam: Elsevier, 2011.

Carnap, R., Logical Foundation of Probability, London: Routledge, 1950.

Hintikka, J., What is abduction? The fundamental problem of contemporary epistemology, Ttrans. Charles S. Peirce Soc., 1998, vol. 34, pp. 503–533.

Esenin-Vol’pin, A.S., On antitraditional (ultraintuitionistic) program of mathematic foundations and natural-scientific thinking, Vopr. Filos., 1996, no. 8, pp. 100–136.

Finn, V.K., Neologitsizm — Philosophy of Justified Knowledge, Vopr. Filos., 1996, no. 8, pp. 89–99.