Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Logical foundations for belief representation.William J. Rapaport - 1986 - Cognitive Science 10 (4):371-422.
    This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • A notorious affair called exportation.Howard Burdick - 1991 - Synthese 87 (3):363 - 377.
    In Quantifiers and Propositional Attitudes, Quine held (a) that the rule of exportation is always admissible, and (b) that there is a significant distinction between a believes-true (Ex)Fx and (Ex) a believes-true F of x. An argument of Hintikka's, also urged by Sleigh, persuaded him that these two intuitions are incompatible; and he consequently repudiated the rule of exportation. Hintikka and Kaplan propose to restrict exportation and quantifying in to favoured contexts — Hintikka to contexts where the believer knows who (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • (1 other version)Identities of Persons.Amélie Oksenberg Rorty (ed.) - 1976 - University of California Press.
    In this volume, thirteen philosophers contribute new essays analyzing the criteria for personal identity and their import on ethics and the theory of action: it presents contemporary treatments of the issues discussed in Personal Identity, edited by John Perry (University of California Press, 1975).
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Philosophie des modalités épistémiques (la logique assertorique revisitée).Fabien Schang - 2007 - Dissertation, Nancy Université
    The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Abstract and Concrete Individuals and Projection.Jiri Raclavsky - 2017 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 24 (supplementary):74-88.
    Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerned with individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Quantifying in.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
    Download  
     
    Export citation  
     
    Bookmark   382 citations  
  • (1 other version)Foundations of clinical praxiology part II: Categorical and conjectural diagnoses.Kazem Sadegh-Zadeh - 1982 - Theoretical Medicine and Bioethics 3 (1):101-114.
    The concepts of categorical diagnosis and conjectural diagnosis are introduced. It is argued that in diagnostic reasoning conjectural diagnosis plays a more important role than categorical diagnosis. Attention is called to the inevitable vagueness of clinical language and to the suitability of epistemic logic and fuzzy logic for diagnostic reasoning.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Varieties of Rigidity.Tuukka Tanninen - 2019 - Logica Universalis 13 (2):219-240.
    In this paper certain aspects of rigidity are studied through Hintikka’s work in modal semantics. The paper surveys Hintikka’s extraordinary struggles with rigidity from the late 50’s to this millennium. I argue that Hintikka’s many ambivalent remarks concerning rigidity become more comprehensible if, first, three different variants of rigidity are distinguished and, second, Hintikka’s largely implicit doctrine of semantic neo-Kantianism is made explicit.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Der deskriptive glaubensbegriff.Y. Nakayama - 1988 - Erkenntnis 28 (1):29 - 53.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hintikka, Free Logician.Matthieu Fontaine - 2019 - Logica Universalis 13 (2):179-201.
    The combination of quantifiers with a semantics for epistemic operators in a modal framework is one of the major contributions of Hintikka in intensional logic. Hintikka’s starting point is his diagnosis of the failure of existential generalization and the substitution of identicals in terms of referential multiplicity. In this paper, I introduce Hintikka as a free logician. Indeed, Hintikka’s first-order epistemic logic is grounded on a logic free of ontological presuppositions with respect to singular terms. It is also a logic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Quantified epistemic logics for reasoning about knowledge in multi-agent systems.F. Belardinelli & A. Lomuscio - 2009 - Artificial Intelligence 173 (9-10):982-1013.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Some Reflections on Quantified Epistemic Logic.Robert C. Coburn - 1972 - Canadian Journal of Philosophy 2 (2):233 - 247.
    In Knowledge and Belief Jaakko Hintikka presents a fairly detailed system of epistemic logic and tries to show its philosophical importance by bringing it to bear upon such problems as what goes wrong in saying “It’s raining, but I don’t believe it.” In setting up the system, Hintikka presents a way of symbolizing certain locutions containing expressions like ‘knows that’, ‘know who’, and ‘believes that’; he introduces certain notions which are analogous to the standard logical concepts consistency, validity, entailment, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Revised foundations for imperative-epistemic and interrogative logic.Lennart Aqvist - 1971 - Theoria 37 (1):33-73.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On knowing (or believing) that one knows (or believes).Hector-Neri Castañeda - 1970 - Synthese 21 (2):187 - 203.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Jaakko Hintikka in memoriam.Gabriel Sandu - 2015 - Theoria 81 (4):289-292.
    Download  
     
    Export citation  
     
    Bookmark  
  • Cross-Fictional Quantification in the Artifactual Theory of Fiction.Matthieu Fontaine - 2020 - Critica 52 (154).
    It is acknowledged by proponents of the Artifactual Theory of Fiction that literary works sometimes involve real or immigrant characters. However, their conception of cross-fictional identity faces serious difficulties. In this paper, we set the problem in the context of a modal framework, in relation to quantification across a plurality of possible worlds. Quantification is explained in terms of Hintikka’s notion of world lines; i.e. the possible values of bound variables are individuals that are not reduced to their manifestations. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Referential Opacity and Epistemic Logic.Saloua Chatti - 2011 - Logica Universalis 5 (2):225-247.
    Referential opacity is the failure of substitutivity of identity (SI, for short) and in Quine’s view of existential generalization (EG, for short) as well. Quine thinks that its “solution” in epistemic and doxastic contexts, which relies on the notion of exportation, leads to undesirable results. But epistemic logicians such as Jaakko Hintikka and Wolfgang Lenzen provide another solution based on a different diagnosis: opacity is not, as in Quine’s view, due to the absence of reference, it is rather due to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Bibliography.Amélie Oksenberg Rorty - 1976 - In Identities of Persons. University of California Press. pp. 325-333.
    Download  
     
    Export citation  
     
    Bookmark  
  • Office-holder vs. office quantifiers.Charles F. Kielkopf - 1972 - Philosophia 2 (4):321-339.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Foundations of clinical praxiology part II: Categorical and conjectural diagnoses.Kazem Sadegh-Zadeh - 1982 - Metamedicine 3 (1):101-114.
    Download  
     
    Export citation  
     
    Bookmark   3 citations