On Epistemic Modal Predicate Logic

  • M. N. Bezhanishvili
Part of the Synthese Library book series (SYLI, volume 257)


In their earlier investigations Frege and Russell have specially turned their attention to logical analysis of complex sentences with subordinate clauses, which are introduced by the connective that and the verbs know, believe, doubt and so on (e.g. ‘Columbus believed that he had paved a new nautical way to India’). Following Russell and Ducass, relations, which are expressed by these complex sentences, are called propositional or epistemic attitudes. The truth of those sentences does not always depend on truth values of the subordinate clauses, it is not their function. Therefore, replacement of the subordinate clause by any of the equivalent sentences can change the truth value of the complex one. For a long time there was no satisfactory theory of logical analysis of these sentences. Unsuccessful was, ultimately, also the search of such criteria of identity of senses and synonymity of sentences, which guarantee permissibility of the above mentioned replacement.


Inductive Hypothesis Atomic Formula Modal Rank Logical Sign Subordinate Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. H. Bezhanishvili. Some epistemic propositional systems. Metody logicheskikh issledovanij, pp. 27–38. Tbilisi. In Russian, 1987.Google Scholar
  2. [2]
    M. H. Bezhanishvili. Epistemic logic and semantics of partial description of `possible worlds’. Issledovanie neklassicheskikh logik. Nauka, Moskow. In Russian, 1989.Google Scholar
  3. [3]
    M. H. Bezhanishvili. Dxatic propositional systems with single modal operator. Intensional’nye logiki i logicheskaja struktura teorij. Tbilisi. In Russian, 1988.Google Scholar
  4. [4]
    D. A. Bochvar. On a three-valued calculus and its application to analysis of paradoxes of extended classical functional calculus. Matematicheskij sbornik,4, (46), 1938.In Russian.Google Scholar
  5. [5]
    J. Hintikka. Knowlege and Belief. Introduction to the Logic of Two Notions, Cornell University Press, Ithaca, 1962.Google Scholar
  6. [6]
    A. Rose. A formulation of th epropositional calculus corresponding to Wang’s calculus of partial predicates. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 9, 177–198, 1963.CrossRefGoogle Scholar
  7. [7]
    Wang Hao. The calculus of partial predicates and its extension to set theory I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 7, 283288, 1961.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1996

Authors and Affiliations

  • M. N. Bezhanishvili

There are no affiliations available

Personalised recommendations