Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
“Just Because”: Taking Belief Bases Seriously
Published online by Cambridge University Press: 31 March 2017
By
Book contents
- Frontmatter
- Preface
- Opening speech of Petr Vopěnka
- Bolzano Medal awarded to Gaisi Takeuti
- Contents
- Collapsing Polynomial-Time Degrees
- Qualitative and Probabilistic Models of Full Belief
- Relative Splittings of in the-Enumeration Degrees
- A Realizability Interpretation for Classical Arithmetic
- An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
- Another Pathological Well-Ordering
- How Small Can the Set of Generics Be?
- Entailment Relations and Distributive Lattices
- The Friedberg Jump Inversion Theorem Revisited: A Study of Undefinable Cuts
- Hartley Rogers’ 1965 Agenda
- Liftings of Homomorphisms Between Quotient Structures and Ulam Stability
- Mathematical Fuzzy Logic – State of Art
- Reflections on the Last Delfino Problem
- Continuous Images of Coanalytic Sets
- Classification of Subsheaves over GL-Algebras
- On the Bit-Comprehension Rule
- Cardinal Invariants Associated with Predictors
- A Theorem on Countable Ordered Sets with an Application to Universal Graphs
- Dimension Theory and Smooth Stratification of Rigid Subanalytic Sets
- The Ramsey Structure of A-Determined Sets in a Saturated Universe
- On Definability of Admissible Sets
- Additive Theories
- Adding Multiplication to an O-minimal Expansion of the Additive Group of Real Numbers
- The Superjump in Martin-Löf Type Theory
- “Just Because”: Taking Belief Bases Seriously
- Artin Approximation via the Model Theory of Cohen-Macaulay Rings
- Ordinal Systems, Part 2: One Inaccessible
- Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion
- Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
- The Complexity of Linear Logic with Weakening
- Some Remarks on the Maximality of Inner Models
- Author Index
- References
- Type
- Chapter
- Information
- Logic Colloquium '98 , pp. 387 - 408Publisher: Cambridge University PressPrint publication year: 2000
References
, and (1992): Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton.
(1979): ‘Rescher's Hypothetical Reasoning: An Amendment’, in (ed.), The Philosophy of Nicholas Rescher, Reidel, Dordrecht 1979, pp. 19–28.
, , , and (1993): ‘Inconsistency Management and Prioritized Syntax-Based Entailment’, in (ed.), Proceedings of the 13th International Joint Conference on Artificial Intelligence. San Mateo, CA: Morgan Kaufmann, pp. 640–645.
, and (1995): ‘Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations’, in and (eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty – ECSQARU '95, LNCS 946, Berlin: Springer, pp. 107–114.
(1997): ‘Non-Monotonic Reasoning and Belief Revision: Syntactic, Semantic, Foundational, and Coherence Approaches’, Journal of Applied Non-Classical Logics 7, 213–240.Google Scholar
(1992): ‘Reason Maintenance and Belief Revision: Foundations vs. Coherence Theories’, in (ed.), Belief Revision, Cambridge University Press, Cambridge, pp. 29–51.
, and (1991): ‘Epistemic Entrenchment and Possibilistic Logic’, Artificial Intelligence 50, 223–239.Google Scholar
, and (1992): ‘Belief Change and Possibility Theory’, in (ed.), Belief Revision, Cambridge University Press, pp. 142–182.
, and (1998): ‘A Brief Note About Rott Contraction’, Logic Journal of the IGPL 6, 835–842.Google Scholar
(1991): ‘Theory Contraction Through Base Contraction’, Journal of Philosophical Logic 20, 175–203.Google Scholar
(1990): ‘The Dynamics of Belief Systems: Foundations vs. Coherence Theories’, Revue Internationale de Philosophie 44, 24–46.Google Scholar
, and (1988): ‘Revisions of Knowledge Systems Using Epistemic Entrenchment’, in (ed.), Theoretical Aspects of Reasoning About Knowledge. Los Altos, CA: Morgan Kaufmann, pp. 83–95.
(1993): ‘Changes on Disjunctively Closed Bases’, Journal of Logic, Language and Information 2, 255–284.Google Scholar
(1994): ‘Taking Belief Bases Seriously’, in and (eds), Logic and Philosophy inUppsala. Synthese Library,Volume 236, Dordrecht: Kluwer Academic Publishers, pp. 13–28.
(1948/1969): ‘Propositional Calculus for Contradictory Deductive Systems’, Studia Logica, Vol. 24 (1969), pp. 143–157; first published as ‘Rachunek zdah dla systemowdedukcyjnych sprzecznych’, Studia Societatis Scientiarun Torunesis, Sectio A, Vol. I (1948), No. 5, pp. 55–77.Google Scholar
. (1970): ‘Conjunctivitis’, in (ed.), Induction, Acceptance, and Rational Belief, Reidel, Dordrecht, pp. 55-82. (Reprinted in Jr., Epistemology and Inference, University of Minnesota Press, Minneapolis 1983, pp. 232–254.)
, (1997): ‘The Rule of Adjunction and Reasonable Inference’, Journal of Philosophy 94, 109–125.Google Scholar
(1998): ‘Contraction and information value’, unpublished manuscript, Columbia University, sixth version, February 1998.
, and (1991): ‘Epistemic Entrenchment with Incomparabilities and Relational Belief Revision’, in and (eds.), The Logic of Theory Change, LNCS 465, Berlin: Springer, pp. 93–126.
(1987): ‘On the Status of the Postulate of Recovery in the Logic of Theory Change’, Journal of Philosophical Logic 16, 383–394.Google Scholar
(1997): ‘On the Force of SomeApparent Counterexamples toRecovery’, in et al. (eds.), Normative Systems in Legal and Moral Theory. Festschrift for Carlos E. Alchourr ón and Eugenio Bulygin, Duncker und Humblot, Berlin, 1997, pp. 475–481.
(1989): ‘A Knowledge Level Analysis of Belief Revision’, in , and (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 1st International Conference, San Mateo, Ca., Morgan Kaufmann, pp. 301–311.
(1997): Coherence – Studies in Epistemology and Belief Revision, Acta Universitatis Upsaliensis, Uppsala.
, and (1998): ‘Severe Withdrawal – and Recovery’, to appear in the Journal of Philosophical Logic.
, and (1989): ‘Formal Theories of Belief Revision’, in , , and , (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 1st International Conference, San Mateo, Ca., Morgan Kaufmann, pp. 369–380.
(1964): Hypothetical Reasoning, North-Holland, Amsterdam.
(1976): Plausible Reasoning, Van Gorcum, Assen, Amsterdam.
(1979): ‘Reply to Belnap’, in (ed.), The Philosophy of Nicholas Rescher, Reidel, Dordrecht, pp. 29–31.
, and (1979), The Logic of Inconsistency: A Study in Nonstandard Possible-World Semantics and Ontology, Basil Blackwell, Oxford.
(1991a): ‘Two Methods of Constructing Contractions andRevisions of Knowledge Systems’, Journal of Philosophical Logic 20, pp. 149–73.Google Scholar
(1991b): ‘A Non-monotonic Conditional Logic for Belief Revision I’, in and (eds.), The Logic of Theory Change. LNCS 465, Berlin: Springer, pp. 135–81.
(1992a) ‘On the Logic of Theory Change: More Maps Between Different Kinds of Contraction Function’, in (ed.), Belief Revision, Cambridge University Press, Cambridge, pp. 122–141.
(1992b): ‘Preferential Belief Change Using Generalized Epistemic Entrenchment’, Journal of Logic, Language and Information 1, pp. 45–78.Google Scholar
(1992c): ‘Modellings for Belief Change: Prioritization and Entrenchment’, Theoria 58, pp. 21–57.Google Scholar
(1996): Making Up One's Mind. Foundations, Coherence, Nonmonotonicity, Habilitationsschrift, University of Konstanz.
(1988): ‘Ordinal Conditional Functions’, in and (eds.), Causation in Decision, Belief Change, and Statistics, Vol. II, Reidel, Dordrecht, pp. 105–134.
(1994): ‘On the Logic of Theory Base Change’, in , and (eds.), Logics in Artificial Intelligence, LNCS 838, Springer, Berlin, pp. 86–105.
(1995): ‘Iterated Theory Base Change: A Computational Model’, in IJCAI-95 – Proceedings of the 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, San Mateo.
(1996): ‘Towards a Practical Approach to Belief Revision: Reason-Based Change’, in and (eds), Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, pp. 412–421.
(1970): ‘Deciding to Believe’, in and (eds.), Language, Belief, and Metaphysics, State University of New York Press, Albany, pp. 95–111.
(1995): ‘Belief Revision, Conditional Logic and Nonmonotonic Reasoning’, Notre Dame Journal of Formal Logic 36, 55–102.Google Scholar
- 10
- Cited by