Abduction: A categorical characterization

Journal of Applied Logic - Tập 13 - Trang 78-90 - 2015
Fernando Tohmé1, Gianluca Caterina2, Rocco Gangle2
1INMABB, Conicet and UNS, 12 de Octubre y San Juan, Bahía Blanca, Argentina
2Center for Diagrammatic and Computational Philosophy, Endicott College, 376 Hale Street, Beverly, 01915, MA, USA

Tài liệu tham khảo

Adámek Agazzi, 1991 Aliseda, 2004, Logics in scientific discovery, Found. Sci., 9, 339, 10.1023/B:FODA.0000042847.62285.81 Aliseda, 2006 Barr, 1999 Barwise, 1994, Diagrams and the Concept of Logical System Beirlaen, 2014, A conditional logic for abduction, Synthese, 191, 3733, 10.1007/s11229-014-0496-0 Caterina, 2013, Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs, Log. J. IGPL, 21, 1028, 10.1093/jigpal/jzt009 D'Agostino, 2008, Cut-based abduction, Log. J. IGPL, 16, 537, 10.1093/jigpal/jzn020 Davey, 2002 Devlin, 1993 Döring, 2008, A topos foundation for theories of physics: I formal languages for physics, J. Math. Phys., 49 Gabbay, 2001, The new logic, Log. J. IGPL, 9, 141, 10.1093/jigpal/9.2.141 Gabbay, 2005 Ghrist, 2008, Barcodes: the persistent topology of data, Bull. Am. Math. Soc., 45, 61, 10.1090/S0273-0979-07-01191-3 Goldblatt, 1984 Grenander, 2012 Kakas, 1995, Abductive logic programming, J. Log. Comput., 2, 719, 10.1093/logcom/2.6.719 Krantz, 1971 Kuipers, 2000 Lamma, 1999, Agents learning in a three-valued logical setting, 21 Levesque, 1984, Foundations of a functional approach to knowledge representation, Artif. Intell., 23, 155, 10.1016/0004-3702(84)90009-2 Li, 1995, Application of category theory in model-based diagnostic reasoning, 123 Magnani, 2001 Magnani, 2009 Marostica, 1993, Abduction: The Creative Process Marostica, 1995, Icons and science: a Peircean perspective, Semiot. Ber., 19, 201 Meheus, 2006, A formal logic for abductive reasoning, Log. J. IGPL, 14, 221, 10.1093/jigpal/jzk015 Paulos, 1976, A model-theoretic semantics for modal logic, Notre Dame J. Form. Log., 17, 465, 10.1305/ndjfl/1093887643 Rescher, 1977 Schurtz, 2008, Patterns of abduction, Synthese, 164, 201, 10.1007/s11229-007-9223-4 Shoenfield, 1967 Simon, 1968, On judging the plausibility of theories Simon, 1984, Computer modeling of scientific and mathematical discovery processes, ACM Bull. (New Ser.), 11, 247, 10.1090/S0273-0979-1984-15288-1 Stigum, 1990 Stjernfelt, 2007 Tohmé, 2013, Abduction in economics: a conceptual framework and its model, Synthese, 190, 4215, 10.1007/s11229-013-0268-2 Tufte, 1990 Woods, 2012, Cognitive economics and the logic of abduction, Rev. Symb. Log., 5, 148, 10.1017/S175502031100027X