Referential opacity and epistemic logic (Q1941726): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3376919 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4793391 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fully logical inductive logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On an Application of Tarski's Theory of Truth / rank | |||
Normal rank |
Latest revision as of 07:57, 6 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Referential opacity and epistemic logic |
scientific article |
Statements
Referential opacity and epistemic logic (English)
0 references
21 March 2013
0 references
The author considers the problem of referential opacity within epistemic and doxastic contexts, as it has been presented by W. V. Quine. He discusses Hintikka's and Lenzen's solutions to that issue and focuses on the role assigned, within such contexts, to the rule of existential generalization (EG), by both of those authors. Hintikka does not allow EG to be applied to possible objects, while Lenzen does, but for possibilist quantifiers (i.e., quantifiers whose range is the set of possible objects -- be they actual or otherwise). Lenzen's strategy involves an interpretation of existence as a predicate of individuals, a view that has raised important philosophical problems, as the author himself notes. In order to avoid use of that interpretation and keep at the same time an extended application of EG to possible objects, the author proposes two sorts of universal quantifiers: one for actual and another one for possible non-existent objects. His proposal would not seem to involve viewing existence as a predicate. The author's proposal, however, is not backed by an ample philosophical discussion.
0 references
referential opacity
0 references
epistemic logic
0 references
possible objects
0 references
quantification
0 references
existence
0 references
transparency
0 references