Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

Abstract:

Semi-contraction is a withdrawal operation defined by Fermé in “On the logic of theory change: Contraction without recovery.” In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi’s saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis. © 1998 by the University of Notre Dame. All rights reserved.

Registro:

Documento: Artículo
Título:Semi-contraction: Axioms and construction: In memory of carlos e. Alchourrón
Autor:Fermé, E.; Rodriguez, R.
Filiación:Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina
Año:1998
Volumen:39
Número:3
Página de inicio:332
Página de fin:347
DOI: http://dx.doi.org/10.1305/ndjfl/1039182250
Título revista:Notre Dame Journal of Formal Logic
Título revista abreviado:Notre Dam J. Logic.
ISSN:00294527
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00294527_v39_n3_p332_Ferme

Referencias:

  • Alchourrón, C., Gärdenfors, P., Makinson, D., On the logic of theory change: Partial meet contraction and revision functions (1985) The Journal of Symbolic Logic, 50, pp. 510-530
  • Alchourrón, C., Makinson, D., Hierarchies of regulations and their logic (1981) New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, , edited by R. Hilpinen, D. Reidel, Dordrecht
  • Alchourrón, C., Makinson, D., On the logic of theory change: Contraction functions and their associated revision functions (1982) Theoria, 48, pp. 14-37
  • Fermé, E., On the logic of theory change: Contraction without recovery (1998) Journal of Logic, Language and Information, 7, pp. 127-137
  • Fermé, E., (1999) Revising the Agmpostulates, , Ph.D. thesis, University of Buenos Aires
  • Fermé, E., Rodriguez, R., A brief note about the Rott contraction (1998) Logic Journal of the IGPL, 6, pp. 835-842
  • Fuhrmann, A., Hansson, S., A survey of multiple contraction (1994) Journal of Logic, Language and Information, 3, pp. 39-74
  • Gärdenfors, P., (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States, , The MIT Press, Cambridge
  • Gärdenfors, P., Makinson, D., Revisions of knowledge systems using epistemic entrenchment (1988) Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 83-95. , edited by M. Vardi, Los Altos
  • Grove, A., Two modellings for theory change (1988) Journal of Philosophical Logic, 17, pp. 157-170
  • Hansson, S., Changes of disjunctively closed bases (1993) Journal of Logic, Language and Information, 2, pp. 255-284
  • Hansson, S., (1998) A Textbook of Belief Dynamics, , Kluwer Academic Publishers, Dordrecht
  • Hansson, S., Olsson, E., Levi contraction and AGM contraction: A comparison (1995) Notre Dame Journal of Formal Logic, 36, pp. 103-119
  • Levi, I., (1991) The Fixation of Belief and Its Undoing: Changing Beliefs through Inquiry, , Cambridge University Press, Cambridge
  • Lewis, D., (1973) Counterfactuals, , Blackwell, Oxford
  • Lindström, S., Rabinowicz, W., Epistemic entrenchment with incomparabilities and relational belief revision (1991) The Logic of Theory Change, pp. 93-126. , edited by A. Fuhrmann and M. Morreau, Springer-Verlag, Berlin
  • Makinson, D., On the status of the postulate of recovery in the logic of theory change (1987) Journal of Philosophical Logic, 16, pp. 383-394
  • Makinson, D., On the force of some apparent counterexamples to recovery (1997) Normative Systems in Legal and Moral Theory: Festschrift for Carlos Alchourrón and Eugenio Bulygin, pp. 475-481. , edited by E. Garzón Valdéz et al., Duncker et Humblot, Berlin
  • Pagnucco, M., (1996) The Role of Abductive Reasoning within the Process of Belief Revision, , Ph.D. thesis, Department of Computer Science, University of Sydney
  • Rott, H., Making up one’s mind: Foundations, coherence, nonmonotonicity (1996) Habilitationsschrift, Philosophische Fakultät, , Universität Konstanz, Konstanz
  • Rott, H., Two methods of constructing contractions and revisions of knowledge systems (1991) Journal of Philosophical Logic, 20, pp. 149-173
  • Rott, H., Just because: Taking belief bases very seriously (1995) Logic for a Change, pp. 106-124. , edited by S. Hansson and W. Rabinowicz, Uppsala Prints and Preprints in Philosophy, Uppsala University, Uppsala
  • Rott, H., Pagnucco, M., Severe withdrawl (And recovery) (1999) Journal of Philosophical Logic, 28, pp. 501-547

Citas:

---------- APA ----------
Fermé, E. & Rodriguez, R. (1998) . Semi-contraction: Axioms and construction: In memory of carlos e. Alchourrón. Notre Dame Journal of Formal Logic, 39(3), 332-347.
http://dx.doi.org/10.1305/ndjfl/1039182250
---------- CHICAGO ----------
Fermé, E., Rodriguez, R. "Semi-contraction: Axioms and construction: In memory of carlos e. Alchourrón" . Notre Dame Journal of Formal Logic 39, no. 3 (1998) : 332-347.
http://dx.doi.org/10.1305/ndjfl/1039182250
---------- MLA ----------
Fermé, E., Rodriguez, R. "Semi-contraction: Axioms and construction: In memory of carlos e. Alchourrón" . Notre Dame Journal of Formal Logic, vol. 39, no. 3, 1998, pp. 332-347.
http://dx.doi.org/10.1305/ndjfl/1039182250
---------- VANCOUVER ----------
Fermé, E., Rodriguez, R. Semi-contraction: Axioms and construction: In memory of carlos e. Alchourrón. Notre Dam J. Logic. 1998;39(3):332-347.
http://dx.doi.org/10.1305/ndjfl/1039182250