메뉴 건너뛰기




Volumn 14, Issue 2, 2006, Pages 189-219

Advice on abductive logic

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC;

EID: 33750107586     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzk014     Document Type: Conference Paper
Times cited : (42)

References (76)
  • 3
    • 33750140111 scopus 로고
    • Belief dynamics, abduction and databases
    • In C. MacNish, D. Pearch, and L. M. Pereira, editors, Berlin: Springer-Verlag
    • C. Aravindan and P.M. Dung. Belief dynamics, abduction and databases. In C. MacNish, D. Pearch, and L. M. Pereira, editors, Logics in Artificial Intelligence, pages 66-85. Berlin: Springer-Verlag, 1994.
    • (1994) Logics in Artificial Intelligence , pp. 66-85
    • Aravindan, C.1    Dung, P.M.2
  • 5
    • 29344462339 scopus 로고
    • Aspects of the historical development of paraconsistent logic
    • In G. Priest, R. Routley, and J. Norman, editors,. Munich: Philosophia Verlag
    • A. I. Arruda. Aspects of the historical development of paraconsistent logic. In G. Priest, R. Routley, and J. Norman, editors,. Paraconsistent Logic: Essays on the Inconsistent, Munich: Philosophia Verlag, 1989.
    • (1989) Paraconsistent Logic: Essays on the Inconsistent
    • Arruda, A.I.1
  • 6
    • 4243348553 scopus 로고
    • Paraconsistent extensional propositional logic
    • D. Batens. Paraconsistent extensional propositional logic. Logique et Analyse, 23:195-234, 1980.
    • (1980) Logique Et Analyse , vol.23 , pp. 195-234
    • Batens, D.1
  • 7
    • 0040026259 scopus 로고
    • Semantic entailment and formal derivability
    • In J. Hintikka, editor, Oxford: Oxford University Press
    • E. W. Beth. Semantic entailment and formal derivability. In J. Hintikka, editor, The Philosophy of Mathematics, pages 9-41. Oxford: Oxford University Press, 1969.
    • (1969) The Philosophy of Mathematics , pp. 9-41
    • Beth, E.W.1
  • 9
    • 0004118997 scopus 로고
    • New York: Harcourt Brace Jovanovich, enlarged edition
    • N. Chomsky. Language and Mind. New York: Harcourt Brace Jovanovich, enlarged edition, 1972.
    • (1972) Language and Mind
    • Chomsky, N.1
  • 10
    • 33750129213 scopus 로고    scopus 로고
    • Consistency, paraconsistency and truth
    • N. DaCosta and O. Bueno. Consistency, paraconsistency and truth. Ideas y Valores, 100:48-60, 1996.
    • (1996) Ideas Y Valores , vol.100 , pp. 48-60
    • DaCosta, N.1    Bueno, O.2
  • 13
    • 0004793479 scopus 로고
    • Making inconsistency respectable part 2: Meta-level handling of inconsistency
    • In Berlin: Springer-Verlag
    • D. M. Gabbay and A. Hunter. Making inconsistency respectable part 2: Meta-level handling of inconsistency. In LNCS 747. Berlin: Springer-Verlag, 1993.
    • (1993) LNCS 747
    • Gabbay, D.M.1    Hunter, A.2
  • 15
    • 77956691500 scopus 로고    scopus 로고
    • Formal approaches to practical reasoning: A survey
    • In D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, editors, of Studies in Logic and Practical Reasoning, Amsterdam: North-Holland
    • D. M. Gabbay and J. Woods. Formal approaches to practical reasoning: A survey. In D. M. Gabbay, R. H. Johnson, H. J. Ohlbach, and J. Woods, editors, Handbook of the Logic of Argument and Inference: The Turn Towards the Practical, volume 1 of Studies in Logic and Practical Reasoning, pages 445-478. Amsterdam: North-Holland, 2002.
    • (2002) Handbook of the Logic of Argument and Inference: The Turn Towards the Practical , vol.1 , pp. 445-478
    • Gabbay, D.M.1    Woods, J.2
  • 23
    • 33750135126 scopus 로고
    • Theory of revision via prior operationalization
    • In J. Shrager and P. Langley, editors, San Mateo, CA: Morgan Kaufmann Publishers
    • A. Ginsberg. Theory of revision via prior operationalization. In J. Shrager and P. Langley, editors, Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufmann Publishers, 1988.
    • (1988) Computational Models of Scientific Discovery and Theory Formation
    • Ginsberg, A.1
  • 24
    • 33750138769 scopus 로고    scopus 로고
    • The most important and fundamental distinction in logic
    • G. C. Goddu. The most important and fundamental distinction in logic. Informal Logic, 22:1-17, 2002.
    • (2002) Informal Logic , vol.22 , pp. 1-17
    • Goddu, G.C.1
  • 25
    • 0039188894 scopus 로고
    • Russell's mathematical logic
    • In New York: Tudor, 3rd edition
    • K. Gödel. Russell's mathematical logic. In The Philosophy of Bertrand Russell, pages 123-153. New York: Tudor, 3rd edition, 1951.
    • (1951) The Philosophy of Bertrand Russell , pp. 123-153
    • Gödel, K.1
  • 26
    • 8444250152 scopus 로고
    • Remarks before the Princeton bicentennial conference on problems in mathematics
    • In S. Feferman, J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, New York and Oxford: Oxford University Press, Originally published in 1946
    • K. Gödel. Remarks before the Princeton bicentennial conference on problems in mathematics. In S. Feferman, J. W. Dawson Jr., S. C. Kleene, G. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, Kurt Gödel Collected Works, Volume II, Publications 1938-1974, pages 150-153. New York and Oxford: Oxford University Press, 1990. Originally published in 1946.
    • (1990) Kurt Gödel Collected Works, Volume II, Publications 1938-1974 , pp. 150-153
    • Gödel, K.1
  • 27
    • 4243539729 scopus 로고
    • What is Cantor's continuum problem?
    • In S. Feferman, J. W. Dawson Jr., S. C. Kleene, C. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, New York and Oxford: Oxford University Press, 1990. Originally published in
    • K. Gödel. What is Cantor's continuum problem? In S. Feferman, J. W. Dawson Jr., S. C. Kleene, C. H. Moore, R. M. Solovay, and J. van Heijenoort, editors, Kurt Gödel Collected Works, Volume II, Publications 1938-1974, pages 176-187. New York and Oxford: Oxford University Press, 1990. Originally published in 1947.
    • (1947) Kurt Gödel Collected Works, Volume II, Publications 1938-1974 , pp. 176-187
    • Gödel, K.1
  • 28
    • 0004267305 scopus 로고
    • Cambridge: Cambridge University Press
    • N. R. Hanson. Patterns of Discovery. Cambridge: Cambridge University Press, 1958.
    • (1958) Patterns of Discovery
    • Hanson, N.R.1
  • 31
    • 33750135946 scopus 로고    scopus 로고
    • A note on implicit premisses
    • D. Hitchcock. A note on implicit premisses. Informal Logic, 22:158-159, 2002.
    • (2002) Informal Logic , vol.22 , pp. 158-159
    • Hitchcock, D.1
  • 32
    • 33750117523 scopus 로고
    • Interpretation on abduction
    • Technical Report 499, SRI International, Artificial Intelligence Center, Computing and Engineering Sciences Division, Menlo Park, CA
    • J. R. Hobbs, M. Stickel, D. Appelt, and P. Martin. Interpretation on abduction. Technical Report 499, SRI International, Artificial Intelligence Center, Computing and Engineering Sciences Division, Menlo Park, CA, 1990.
    • (1990)
    • Hobbs, J.R.1    Stickel, M.2    Appelt, D.3    Martin, P.4
  • 33
    • 14044278094 scopus 로고
    • Rachunek zdak dla systemów dedukcyzjych sprzecznych
    • Sectio A
    • S. Jáskowski. Rachunek zdak dla systemów dedukcyzjych sprzecznych. Studia Societatis Torunesis, 1:55-77, 1948. Sectio A.
    • (1948) Studia Societatis Torunesis , vol.1 , pp. 55-77
    • Jáskowski, S.1
  • 35
    • 0004058894 scopus 로고
    • J.R. Josephson and S.G. Josephson, editors. Cambridge: Cambridge University Press
    • J. R. Josephson and S. G. Josephson, editors. Abductive Inference: Computation, Philosophy, Technology. Cambridge: Cambridge University Press, 1994.
    • (1994) Abductive Inference: Computation, Philosophy, Technology
  • 38
    • 33750114321 scopus 로고
    • Peirce and the autonomy of abductive reasoning
    • T. Kapitan. Peirce and the autonomy of abductive reasoning. Erkenntnis, 37:1-26, 1992.
    • (1992) Erkenntnis , vol.37 , pp. 1-26
    • Kapitan, T.1
  • 39
    • 84973960125 scopus 로고
    • Elementary observations on 2-categorical limits
    • Apr
    • G. M. Kelly. Elementary observations on 2-categorical limits. Bull. Aust. Math. Soc., 39(2):301-317, Apr 1989.
    • (1989) Bull. Aust. Math. Soc. , vol.39 , Issue.2 , pp. 301-317
    • Kelly, G.M.1
  • 40
    • 0041910435 scopus 로고    scopus 로고
    • A general theory of abduction
    • In G. Brewska, editor, Stanford, CA: CLSI
    • K. Konolege. A general theory of abduction. In G. Brewska, editor, Principles of Knowledge Representation, pages 129-152. Stanford, CA: CLSI, 1996.
    • (1996) Principles of Knowledge Representation , pp. 129-152
    • Konolege, K.1
  • 42
    • 33750119669 scopus 로고    scopus 로고
    • Charles Peirce's theory of abduction and the Aristotelian enthymeme from signs
    • In F. H. van Eemeren, J. A. Blair, C. A. Willard, and A. F. Snoeck Henkemans, editors, Amsterdam: Sic Sat
    • M. Kraus. Charles Peirce's theory of abduction and the Aristotelian enthymeme from signs. In F. H. van Eemeren, J. A. Blair, C. A. Willard, and A. F. Snoeck Henkemans, editors, Proceedings of the Fifth Conference of the International Society for the Study of Argumentation. Amsterdam: Sic Sat, 2003.
    • (2003) Proceedings of the Fifth Conference of the International Society for the Study of Argumentation
    • Kraus, M.1
  • 43
    • 53149114533 scopus 로고    scopus 로고
    • Abduction aiming at empirical progress of even truth approximation leading to a challenge for computational modelling
    • T. A.F. Kuipers. Abduction aiming at empirical progress of even truth approximation leading to a challenge for computational modelling. Foundations of Science, 4:307-323, 1999.
    • (1999) Foundations of Science , vol.4 , pp. 307-323
    • Kuipers, T.A.F.1
  • 45
    • 33750095872 scopus 로고
    • Mémoires
    • In Gauthier-Villars
    • P. Laplace. Mémoires. In Oeuvres completes de Laplace, volume 13/14, Gauthier-Villars 1878-1912, 1904.
    • (1904) Oeuvres Completes De Laplace , vol.13-14 , pp. 1878-1912
    • Laplace, P.1
  • 46
    • 0742296066 scopus 로고
    • Why was the logic of discovery abandoned?
    • In Thomas Nickles, editor, Dordrecht: Reidel
    • L. Laudan. Why was the logic of discovery abandoned? In Thomas Nickles, editor, Scientific Discovery, Logic and Rationality, pages 173-183. Dordrecht: Reidel, 1980.
    • (1980) Scientific Discovery, Logic and Rationality , pp. 173-183
    • Laudan, L.1
  • 50
    • 84962984931 scopus 로고
    • First order abduction via tableau and sequent calculi
    • M. C. Mayer and F. Pirri. First order abduction via tableau and sequent calculi. Bulletin of the IGPL, 1:99-117, 1993.
    • (1993) Bulletin of the IGPL , vol.1 , pp. 99-117
    • Mayer, M.C.1    Pirri, F.2
  • 52
    • 14144249444 scopus 로고    scopus 로고
    • Ampliative adaptive logics and the foundation of logic-based approaches to abduction
    • In L. Magnani, N. J. Nersessian, and C. Pizzi, editors, and Boston: Kluwer, forthcoming
    • J. Meheus, L. Verhoeven, M. Van Dyck, and D. Provijn. Ampliative adaptive logics and the foundation of logic-based approaches to abduction. In L. Magnani, N. J. Nersessian, and C. Pizzi, editors, Logical and Computational Aspects of Model-Based Reasoning. Dordrecht and Boston: Kluwer, forthcoming.
    • Logical and Computational Aspects of Model-Based Reasoning Dordrecht
    • Meheus, J.1    Verhoeven, L.2    Van Dyck, M.3    Provijn, D.4
  • 53
    • 24944442433 scopus 로고
    • Deductive heuristics
    • In K. Gavroglu, Yorgos Goudaroulis, and Pantelis Nicolacopoulos, editors, Dordrecht: Kluwer
    • A. Musgrave. Deductive heuristics. In K. Gavroglu, Yorgos Goudaroulis, and Pantelis Nicolacopoulos, editors, Imre Lakatos and Theories of Scientific Change, pages 15-32. Dordrecht: Kluwer, 1989.
    • (1989) Imre Lakatos and Theories of Scientific Change , pp. 15-32
    • Musgrave, A.1
  • 54
    • 0442304570 scopus 로고
    • Introductory essay: Scientific discovery and the future of philosophy of science
    • In T. Nickles, editor, Dordrecht: Reidel
    • T. Nickles. Introductory essay: Scientific discovery and the future of philosophy of science. In T. Nickles, editor, Scientific Discovery, Logic and Rationality, pages 1-59. Dordrecht: Reidel, 1980.
    • (1980) Scientific Discovery, Logic and Rationality , pp. 1-59
    • Nickles, T.1
  • 55
    • 0037996608 scopus 로고
    • Approaches to abductive reasoning: An overview
    • G. Paul. Approaches to abductive reasoning: An overview. Artificial Intelligence Review, 7:109-152, 1993.
    • (1993) Artificial Intelligence Review , vol.7 , pp. 109-152
    • Paul, G.1
  • 56
    • 33750133996 scopus 로고
    • Cambridge, MA: Harvard University Press, A series of volumes, the first appearing in 1931
    • C. S. Peirce. Collected Works. Cambridge, MA: Harvard University Press, 1931-1958. A series of volumes, the first appearing in 1931.
    • (1931) Collected Works
    • Peirce, C.S.1
  • 61
    • 84990556284 scopus 로고
    • Explanation and prediction: An architecture for default and abductive Reasoning
    • D. Poole. Explanation and prediction: An architecture for default and abductive Reasoning. Computational Intelligence, 5:97-110, 1989.
    • (1989) Computational Intelligence , vol.5 , pp. 97-110
    • Poole, D.1
  • 62
    • 0001282810 scopus 로고
    • Theorist: A logical reasoning system for defaults and diagnosis
    • In N. Cercone and G. McCalla, eds, Springer Varlag, New York
    • D. L. Poole, R. Goebel and R. Aleliunas. Theorist: A logical reasoning system for defaults and diagnosis. In N. Cercone and G. McCalla, eds, The Knowledge Frontier: Essays in the Representation of Knowledge, pp. 331-352. Springer Varlag, New York, 1987.
    • (1987) The Knowledge Frontier: Essays in the Representation of Knowledge , pp. 331-352
    • Poole, D.L.1    Goebel, R.2    Aleliunas, R.3
  • 63
    • 8344287123 scopus 로고    scopus 로고
    • Paraconsistent logic
    • In D. Gabbay and F. Guenthner, editors, Dordrecht and Boston: Kluwer, 2nd edition
    • G. Priest. Paraconsistent logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 6, pages 287-393. Dordrecht and Boston: Kluwer, 2nd edition, 2002.
    • (2002) Handbook of Philosophical Logic , vol.6 , pp. 287-393
    • Priest, G.1
  • 67
    • 0040559661 scopus 로고
    • Peirce and the economy of research
    • N. Rescher. Peirce and the economy of research. Philosophy of Science, 43:71-98, 1976.
    • (1976) Philosophy of Science , vol.43 , pp. 71-98
    • Rescher, N.1
  • 69
    • 0345942837 scopus 로고
    • The regressive method of discovering the premises of mathematics
    • In Douglas Lackey, editor, London: George Allen and Unwin, 1907. Published in
    • B. Russell. The regressive method of discovering the premises of mathematics. In Douglas Lackey, editor, Essays in Analysis. London: George Allen and Unwin, 1907. Published in 1973.
    • (1973) Essays in Analysis
    • Russell, B.1
  • 70
    • 84970776363 scopus 로고
    • Discovery and its logic: Popper and the friends of discovery
    • C. Savary. Discovery and its logic: Popper and the friends of discovery. Philosophy of the Social Sciences, 25:318-344, 1995.
    • (1995) Philosophy of the Social Sciences , vol.25 , pp. 318-344
    • Savary, C.1
  • 72
    • 33750143256 scopus 로고    scopus 로고
    • Three schools of paraconsistency
    • K. Tanaka. Three schools of paraconsistency. Australasian Journal of Logic, 1:28-42, 2003.
    • (2003) Australasian Journal of Logic , vol.1 , pp. 28-42
    • Tanaka, K.1
  • 76
    • 33750124743 scopus 로고    scopus 로고
    • Dialectical Considerations on the Logic of Contradiction Logic
    • to appear
    • J. Woods. Dialectical Considerations on the Logic of Contradiction. Logic Journal of the IGPL, 2005, to appear.
    • (2005) Journal of the IGPL
    • Woods, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.