Logical, Historical and Computational Approaches

General Philosophy of Science: Focal Issues

Volumn , Issue , 2007, Pages 431-513

  Aliseda, Atocha ^a   Gillies, Donald ^b  

^a UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO   (Mexico)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84882817843     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-044451548-3/50010-0     Document Type: Chapter

References (154)

1. Alchourrón C., Gärdenfors P., Makinson D. On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 1985, 50:510-530.
2. Aliseda A. Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD Dissertation 1997, Published by the Institute for Logic, Language and Computation (ILLC), University of Amsterdam (ILLC Dissertation Series 1997-4), Philosophy Department, Stanford University.
3. Aliseda A. Abduction as epistemic change: A Piercean model in Artificial Intelligence. Abductive and Inductive Reasoning: Essays on their Relation and Integration 2000, 45-58. Kluwer Academic Press. P. Flach, A. Kakas (Eds.).
4. Aliseda A. Sobre la lógica del descubrimiento cientifico de Karl Popper. Suplemento 11 (Monográfico Karl Popper). Signos Filosóficos 2004, 115-130. Universidad Autónoma Metropolitana, México.
5. Model Based Reasoning in Science and Engineering 2006, King's College Publications. L. Magnani (Ed.).
6. Aliseda A. Lacunae, empirical progress and semantic tableaux. Confirmation, Empirical Progress, and Truth Approximation: Essays in Debate with Theo Kuipers 2005, Volume 1:169-189. Poznan Studies in the Philosophy of the Sciences and the Humanities, Vol. 83. R. Festa, J. Peijnenburg (Eds.).
7. thBirthday 2005, Volume 2. College Publications. King's College. Artemov (Ed.).
8. Aliseda A. Abductive Reasoning: Logical Investigations into Discovery and Explanation. Synthese Library 2006, Vol. 330. Springer-Kluwer Academic Publishers.
9. Aravindan C., Dung P.M. Belief dynamics, abduction and databases. Lecture Notes in Artificial Intelligence 1994, 838:66-85. Springer-Verlag. C. MacNish, D. Pearce, L.M. Pereira (Eds.).
10. Aristotle Nicomachean Ethics. The Basic Works of Aristotle 1941, 927-1112. English Translation by W. D. Ross, Random House. R. McKeon (Ed.).
11. Barwise J., Etchemendy J. Hyperproof. Lecture Notes Series 1995, 42. Stanford, CA.
12. Batens D. A logic of induction. Cognitive Structures in Scientific Inquiry: Essays in Debate with Theo Kuipers 2005, Volume 1:221-247. vol. 83. R. Festa, A. Aliseda, J. Peijnenburg (Eds.).
13. van Benthem J. Lessons from Bolzano. Center for the Study of Language and Information. Technical Report CSLI-84-6 1984, Stanford University.
14. van Benthem J. The variety of consequence, according to Bolzano. Studia Logica 1985, 44:389-403. Later published as.
15. van Benthem J. General dynamic logic. What is a Logical System? 1994, 107-140. Clarendon Press, Oxford. D.M. Gabbay (Ed.).
16. van Benthem J. Exploring Logical Dynamics 1996, CSLI Publications, Stanford University.
17. Bolzano B. Wissenschaftslehre. Seidel Buchhandlung, Sulzbach 1837.
18. Bolzano B. Theory of Science 1973, Translated as, D. Reidel Publishing Company, Dordrecht, The Netherlands. B. Torrel, J. Berg (Eds.).
19. Brewka G., Dix J., Konolige K. Non-Monotonic Reasoning: An Overview. Center for the study of Language and Information (CSLI), Lecture Notes 1997, 73.
20. Burger I.C., Heidema J. Degrees of abductive boldness. Logical and Computational Aspects of Model-based Reasoning 2002, 181-198. Kluwer Applied Logic Series, Kluwer Academic Publishers. L. Magnani, N.J. Nersessian, C. Pizzi (Eds.).
21. Carnap R. Logical Foundations of Probability 1963, University of Chicago Press. 2nd Edition.
22. Carnap R. Intellectual autobiography. The Philosophy of Rudolf Carnap 1963, 3-84. Library of Living Philosophers, Open Court. P. A.Schilpp (Ed.).
23. Chomsky N. Language and Mind (Enlarged Edition) 1972, Harcourt Brace &Jovanovich, New York.
24. Chomsky N. Reflections on Language 1976, Glasgow, Fontana/Collins.
25. Chomsky N. Lectures on Government and binding: The Pisa Lectures 1993, Mouton de Gruyter, Berlin. 7nd Edition.
26. English J. Partial interpretation and meaning change. The Journal of Philosophy 1978, 75:57-76.
27. Feyerabend P. Consolations for the specialist 1970, 197-230. Lakatos, Musgrave (Eds.).
28. Feyerabend P. Against Method. Outline of an Anarchist Theory of Knowledge 1975, Verso, 1984.
29. Feyerabend P. Science in a Free Society 1978.
30. Feyerabend P. Science in a Free Society 1985.
31. Feyerabend P. Farewell to Reason 1987.
32. Flach P., Kakas A. Abduction and Induction. Essays on their Relation and Integration. Applied Logic Series 2000, volume 18. Kluwer Academic Publishers, Dordrecht, The Netherlands.
33. Fodor J. The Language of Thought 1975, Crowell, New York.
34. Frank P. Modern Science and its Philosophy 1961, Paperback edition, Collier Books.
35. A Guide to What's Wrong with Economics 2004, E. Fullbrook (Ed.).
36. Gabbay D.M. Theoretical foundations for non-monotonic reasoning in expert systems. Logics and Models of Concurrent Systems 1985, 439-457. SpringerVerlag, Berlin. K. Apt (Ed.).
37. What is a Logical System? 1994, Clarendon Press, Oxford. D.M. Gabbay (Ed.).
38. Gabbay D.M., Woods J. A Practical Logic of Cognitive Systems. The Reach of Abduction: Insight and Trial 2005, volume 2. North-Holland, Amsterdam.
39. Rationality and Science. A Memorial Volume for Moritz Schlick in Celebration of the Centennial of his Birth 1982, Springer Verlag. E. Gadol (Ed.).
40. Galliers J.L. Autonomous belief revision and communication. Cambridge Tracts in Theoretical Computer Science 1992, 220-246. Cambridge University Press. P. Gärdenfors (Ed.).
41. Gärdenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States 1988, MIT Press.
42. Gärdenfors P., Rott H. Belief revision. Handbook of Logic in Artificial Intelligence and Logic Programming 1995, Volume 4. Clarendon Press, Oxford Science Publications. D.M. Gabbay, C.J. Hogger, J.A. Robinson (Eds.).
43. Gentzen G. Recherches sur la deduction loguique. Untersuchungen über das logische schliessen 1934 1934, Translaction of, 121955, RFeys and J. Ladriere P.U.F., Paris.
44. Gillies D.A. Philosophy of Science in the Twentieth Century. Four Central Themes 1993, Blackwell.
45. Gillies D.A. Artificial Intelligence and Scientific Method 1986, Oxford University Press.
46. Gillies D.A., Zheng Y. Dynamic interactions with the philosophy of mathematics. Theoria 2001, 16:437-459.
47. Ginsberg A. Theory revision via prior operationalization. Proceedings of the Seventh Conference of the AAAI 1988.
48. Haack S. Evidence and Inquiry. Towards Reconstruction in Epistemology 1993, Blackwell, Oxford UK, Cambridge, Mass.
49. Hanson N.R. Patterns of Discovery 1961, Cambridge at The University Press.
50. Harman G. Change in View: Principles of Reasoning 1986, Cambridge, Mass. MIT Press.
51. Analogical Reasoning : Perspectives of Artificial Intelligence, Cognitive Science and Philosophy 1988, Reidel, Dordrecht, Netherlands. D.H. Helman (Ed.).
52. Hempel C.G. Aspects of Scientific Explanation and other Essays in the Philosophy of Science 1965, The Free Press.
53. Hintikka J., Remes U. The Method of Analysis: Its Geometrical Origin and Its General Significance 1974, D. Reidel Publishing Company, Dordrecht, Holland.
54. Hintikka J., Renies U. Ancient geometrical analysis and modern logic. Essays in Memory of Imre Lakatos 1976, 253-276. D. Reidel Publishing Company, Dordrecht Holland. R.S. Cohen (Ed.).
55. Hobbs J.R.S., Stickel M., Appelt D., Martin P. Interpretation as abduction. SRI International, Technical Note 1990, 499. Artificial Intelligence Center, Computing and Engineering Sciences Division, Menlo Park, CA.
56. Josephson J.R., Josephson S.G. Abductive Inference. Computation, Philosophy, Technology 1994, Cambridge University Press.
57. Kakas A., Mancarella P. Knowledge assimilation and abduction. Proceedings of the European Conference on Artificial Intelligence, ECAI'90 1990, International Workshop on Truth Maintenance, Stockholm, Springer-Verlag, Stockholm.
58. Kakas A.C., Kowalski R.A., Toni F. Abductive logic programming. Journal of Logic and Computation 1995, 2(6):719-770.
59. Kelly K. The Logic of Reliable Inquiry (Logic and Computation in Philosophy) 1997, Oxford University Press.
60. Klein N. No Logo 2000, Flamingo.
61. Konolige K. A general theory of abduction. Spring Symposium Series of the AAA 1990, 62-66. Stanford University.
62. Kowalski R. Logic for Problem Solving 1979, North-Holland.
63. Kowalski R. Logic without model theory. What is a Logical System? 1994, 35-72. Clarendon Press, Oxford. D.M. Gabbay (Ed.).
64. Kraus S., Lehmann D., Magidor M. Non-monotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 1990, 44:167-207.
65. Kuhn T.S. The Copernican Revolution. Planetary Astronomy in the Development of Western Thought 1957, Vintage Books. 1959.
66. Kuhn T.S. The essential tension: Tradition and innovation in scientific research. The Essential Tension 1977, 225-239. The University of Chicago Press.
67. th Impression, The University of Chicago Press.
68. Kuhn T.S. The Structure of Scientific Revolutions 1969, The University of Chicago Press.
69. Kuhn T.S. Reflections on my critics 1970, 231-278. Lakatos, Musgrave (Eds.).
70. Kuhn T.S. Second thoughts on paradigms 1974.
71. Kuhn T.S. Second thoughts on paradigms. The Essential Tension 1977, 293-319. The University of Chicago Press.
72. Kuhn T.S. Theory change as structure change: Comments on the sneed formalism 1976.
73. Kuhn T.S. Theory change as structure change: Comments on the sneed formalism. The Essential Tension 2000, 176-195. The University of Chicago Press.
74. Kuhn T.S. The Essential Tension 1977, The University of Chicago Press.
75. Kuhn T.S. Metaphor in science 1979, [Kuhn, 2000, 196-207].
76. Kuhn T.S. Commensurability, comparability, communicability 1983, In [Kuhn, 2000, 33-57].
77. Kuhn T.S. The road since structure 1990, [Kuhn, 2000, 90-104].
78. Kuhn T.S. The Road since Structure 2000, The University of Chicago Press.
79. Kuipers T. Abduction aiming at empirical progress or even truth approximation leading to a challenge for computational modelling. Foundations of Science 1999, 4:307-323.
80. Kuipers T. Structures in Science. Heuristic Patterns Based on Cognitive Structures. Synthese Library 2001, 301. Kluwer AP, Dordrecht. The Netherlands.
81. Kvasz L. History of geometry and the development of the form of its language. Synthese 1998, 116:141-168.
82. Kvasz L. On classification of scientific revolutions. Journal for the General Philosophy of Science 1999, 30:201-232.
83. Kvasz L. Changes of language in the development of mathematics. Philosophia Mathematica 2000, 8:47-83.
84. Kvasz L. Lakatos' methodology between logic and dialectic. Appraising Lakatos. Mathematics, Methodology and the Man 2002, 211-241. Vienna Circle Institute Library: Kluwer. G. Kampis, L. Kvasz, M. Stöltzner (Eds.).
85. Lakatos I. Proofs and Refutations. The Logic of Mathematical Discovery 1984, 1963-4, Cambridge University Press.
86. Lakatos I. Changes in the problem of inductive logic 1968, In [Lakatos, 1978b, 128-200].
87. Lakatos I. Falsification and the methodology of scientific research programmes 1970, [Lakatos, 1978a, 8-101].
88. Lakatos I. Popper on Demarcation and Induction 1974, [Lakatos, 1978a, 139-67].
89. Lakatos I. Newton's Effect on Scientific Standards 1978, [Lakatos, 1978a, 193-222].
90. Lakatos I. Philosophical Papers Volume I The Methodology of Scientific Research Programmes 1978.
91. Philosophical Papers Volume I The Methodology of Scientific Research Programmes 1987, Cambridge University Press. J. Worrall, G. Currie (Eds.).
92. Lakatos I. Philosophical Papers Volume II Mathematics, Science and Epistemology 1978, Cambridge University Press. J. Worrall, G. Currie (Eds.).
93. Lakatos I. Philosophical Papers Volume II Mathematics, Science and Epistemology 1984, Cambridge University Press. J. Worrall, G. Currie (Eds.).
94. Criticism and the Growth of Knowledge 1970, Cambridge University Press. I. Lakatos, A. Musgrave (Eds.).
95. Langley P. The computational support of scientific discovery. International Journal of Human-Computer Studies 2000, 53:393-410. http://www.isle.org/~langley/pubs.html.
96. Langley P., Simon H., Bradshaw G., Zytkow J. Scientific Discovery 1987, MIT Press/Bradford Books, Cambridge, MA.
97. Laudan L. Progress and its Problems 1977, University of California Press, Berkeley.
98. Laudan L. Why was the logic of discovery abandoned?. Scientific Discovery, Logic and Rationality 1980, 173-183. D. Reidel Publishing Company. T. Nickles (Ed.).
99. Lipton P. Kant on wheels. Social Epistemology 2003, 17:215-219.
100. McCarthy J. Circumscription: A form of non-monotonic reasoning. Artificial Intelligence 1980, 13:27-39.
101. McKie D. Antoine Lavoisier. The Father of Modern Chemistry 1999, Victor Gollancz.
102. Massimi M. Pauli's Exclusion Principle: The Origin and Validation of a Scientific Principle 2005, Cambridge University Press.
103. Masterman M. The nature of a paradigm. Criticism and the Growth of Knowledge 1970, 59-89. Cambridge University Press.
104. Mayer M.C., Pirri F. First order abduction via tableau and sequent calculi. Bulletin of the IGPL 1993, vol. 1:99-117.
105. Meheus J. Model-based reasoning in creative processes. Model-Based reasoning in Scientific Discovery 1999, Kluwer Academic/Plenum Publishers. L. Magnani, N.J. Nersessian, J. Thagrad (Eds.).
106. Meheus J. Ampliative adaptative logics and the foundation of logic-based approaches to abduction. Logical and Computational Aspects of Model-based Reasoning 2002, Kluwer Applied Logic Series, Kluwer Academic Publishers. L. Magnani, N. Nersessian, C. Pizzi (Eds.).
107. Meheus J., Nickles T. The methodological study of discovery and creativity-Some background. Foundations of Science 1999, 4(3):231-235.
108. Meheus J., Verhoeven L., van Dyck M., Provijn D. Ampliative adaptative logics and the foundation of logic-based approaches to abduction. Logical and Computational Aspects of Model-based Reasoning 2002, 39-72. Kluwer Applied Logic Series, Kluwer Academic Publishers. L. Magnani, N. Nersessian, C. Pizzi (Eds.).
109. Menger K. Introduction to Hans Hahn. Empiricism, Logic, and Mathematics: Philosophical Papers 1980, ix-xviii. Reidel. B. McGuinness (Ed.).
110. Michalski R. Inferential theory of learning: Developing foundations for multistrategy learning. Machine Learning: A Multistrategy Approach 1994, Morgan Kaufman Publishers.
111. th-Century Physics 1986, MIT Press.
112. Motterlini M. For and Against Method. Imre Lakatos and Paul Feyerabend 1999, The University of Chicago Press.
113. Neurath O., et al. The Scientific Conception of the World.The Vienna Circle 1929, English translation, Reidel.
114. Neurath O., et al. The Scientific Conception of the World.The Vienna Circle 1973, English translation, Reidel.
115. Research themes of Dov Gabbay. Logic, Language and Reasoning 1999, 13-30. Kluwer Academic Publishers. H.J. Ohlbach, U. Reyle (Eds.).
116. Peirce C.S. Collected Papers of Charles Sanders Peirce 1931, Volumes 1-6. 1935, Harvard University Press, Cambridge. C. Hartshorne, P. Weiss (Eds.).
117. Peirce C.S. Collected Papers of Charles Sanders Peirce 1958, Volumes 7-8. Harvard University Press, Cambridge. A.W. Burks (Ed.).
118. Polya G. Induction and Analogy in Mathematics 1954, Vol I. Princeton University Press.
119. Polya G. Mathematical Discovery. On Understanding, learning, and teaching problem solving 1962, Vol I. John Wiley &Sons, Inc., New York and London.
120. Poole D., Goebel R.G. Aleliunas Theorist: a logical reasoning system for default and diagnosis. Springer Verlag Lecture Notes in Computer Science 1987, 331-352. Cercone, McCalla (Eds.).
121. Pople H.E. On the mechanization of abductive logic. Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73) 1973, 147-152. San Mateo, Morgan Kauffmann, Stanford, CA.
122. th (revised) impression of the 1959 English translation, Hutchinson, 1972.
123. Popper K.R. The growth of scientific knowledge. A Pocket Popper 1983, Fontana Paperbacks, University Press, Oxford. D. Miller (Ed.).
124. Popper K. Conjectures and Refutations. The Growth of Scientific Knowledge 1963, This consists of Chapter 10, Routledge, London and New York. 5th ed.
125. Popper K.R. Conjectures and Refutations. The Growth of Scientific Knowledge 1963, Routledge &Kegan Paul.
126. Popper K.R. Objective Knowledge. An Evolutionary Approach 1972, Oxford University Press.
127. Popper K.R. Realism and the Aim of Science 1983, Hutchinson.
128. nd Revised Edition, Harper Torchbooks, 1963.
129. th Impression, 1965, Routledge &Kegan Paul. R. B.Braithwaite (Ed.).
130. Reggia J.A., Nau D.S., Wang Y. A formal model of diagnostic inference I. Problem formulation and descomposition. Inf. Sci. 1985, 37.
131. Reiter R. A logic for default reasoning. Artificial Intelligence 1980, 13.
132. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 1987, 32.
133. Rescher N. Peirce's Philosophy of Science. Critical Studies in His Theory of Induction and Scientific Method 1978, University of Notre Dame.
134. Russell B. Our Knowledge of the External World as a Field for Scientific Method in Philosophy 1914, George Allen &Unwin.
135. Russell B. Our Knowledge of the External World as a Field for Scientific Method in Philosophy 1961, George Allen &Unwin.
136. Sankey H. The Incommensurability Thesis 1994, Avebury.
137. Scott D. On engendering an illusion of understanding. Journal of Philosophy 1971, 68:787-808.
138. Shapere D. The structure of scientific revolutions. Philosophical Review 1964, 73:383-394.
139. Sheehan H. Marxism and the Philosophy of Science: A Critical History 1985, Humanities Press.
140. Shoham Y. Reasoning about Change. Time and Causation from the standpoint of Artificial Intelligence 1988, . The MIT Press, Cambridge, Mass.
141. Simon H. Does scientific discovery have a logic?. Models of Discovery 1973, 326-337. H. Simon (Ed.).
142. Simon H. Does scientific discovery have a logic?. Philosophy of Science 1977, 40:471-480.
143. Stadler F. The Vienna Circle. Studies in the Origins, Development, and Influence of Logical Empiricism 2001, Springer.
144. Suppes P.C. Studies in the methodology and foundations of science, selected papers from 1951 to 1969 1951, D. Reidel. Dordrecht. The Netherlands.
145. Suppes P.C. Studies in the methodology and foundations of science, selected papers from 1951 to 1969 1969, D. Reidel. Dordrecht. The Netherlands.
146. Tan Y.H. Non-Monotonic Reasoning: Logical Architecture and Philosophical Applications. PhD Thesis 1992, University of Amsterdam.
147. Thagard P.R. Computational Philosophy of Science 1988, Bradford Books, Cambridge, MIT Press.
148. Thagard P.R. Conceptual Revolutions 1992, Princeton University Press.
149. Turing A.M. computing machinery and intelligence. Mind 1950, 59:433-460.
150. Williams M.A. Explanation and theory base transmutations. Proceedings of the European Conference on Artificial Intelligence, ECAI'94 1994, 246-341.
151. Wittgenstein L. Philosophical Investigations 1958, 2nd Edition.
152. Wolters G. Carl Gustav Hempel. Pragmatic Empiricist. Logical Empiricism: Historical and Contemporary Perspectives 2003, 109-122. University of Pittsburgh Press. P. Parrini, W.C. Salmon, M.H. Salmon (Eds.).
153. Zahar E. Why did Einstein's programme supersede Lorentz's?. British Journal for the Philosophy of Science 1973, 24:95-123.
154. Zahar E. Why did Einstein's programme supersede Lorentz's?. British Journal for the Philosophy of Science 1973, 24:223-262.