Languages with self-reference. II: Knowledge, belief, and modality

DOI10.1016/0004-3702(88)90038-0MaRDI QIDQ1101099zbMATH OpenOpenAlexFDO

Authors Donald Perlis

Publication date 1988

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(88)90038-0

zbMATH Keywords

beliefmodal logicsprovabilitysubstitutive self-reference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Artificial intelligence (68T99)

Review text

[For part I see ibid. 25, 301-322 (1985; Zbl 0581.03005).] Negative results of Montague and Thomason have diverted research in propositional attitudes away from syntactic (``first-order) approaches, encouraging modal formalisms instead, especially in representing epistemic notions. We show that modal logics are on no firmer ground than first-order ones when equally endowed with substitutive self-reference. Nonetheless, there may still be remedies, hinging in part upon a distinction between ``dynamic and ``static notions of provability and belief (an earlier version of this paper emphasized a somewhat different distinction).

Recommendations

• scientific article; zbMATH DE number 4145876
• A theorem concerning syntactical treatments of nonidealized belief
• scientific article; zbMATH DE number 549975
• Self-reference and modal logic
• Self-referential justifications in epistemic logic

Cites work

• A logic of believing, knowing, and inferring
• A note on syntactical treatments of modality
• Belief, awareness, and limited reasoning
• Concatenation as a basis for arithmetic
• Foundations of a functional approach to knowledge representation
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 4114587 (Why is no real title available?)
• scientific article; zbMATH DE number 3190337 (Why is no real title available?)
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Outline of a Theory of Truth
• Self-reference and modal logic
• Semantical considerations on nonmonotonic logic
• Toward useful type-free theories. I
• Transfinite recursive progressions of axiomatic theories

Cited in

(20)

• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Autocircumscription
• Reasoning about reasoning in a meta-level architecture
• Syntactical treatments of propositional attitudes
• Definability and commonsense reasoning
• A theorem concerning syntactical treatments of nonidealized belief
• \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• Quasi-indexicals and knowledge reports
• How to express self-referential probability. A Kripkean proposal
• scientific article; zbMATH DE number 4145876 (Why is no real title available?)
• scientific article; zbMATH DE number 140414 (Why is no real title available?)
• The logic of Quinean revisability
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Thomason's paradox for belief, and two consequence relations
• From Paradox to Truth
• The structure of paradoxes in a logic of sentential operators
• The fixed points of belief and knowledge
• The logic of lost Lingens
• Truth and meaning
• Reasoning about truth

This page was built for publication: Languages with self-reference. II: Knowledge, belief, and modality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1101099)