Philosophy Lexicon of Arguments

Author Item Excerpt Meta data
Hintikka, J.
Books on Amazon
Quantifiers I 28
Branched quantifiers/branching/stronger/weaker/Hintikka:
Example branching here:
1st branch: There is an x and b knows ...
2nd branch: b knows there is an x ...
Quantification with branched quantifiers is extremely strong, almost as strong as 2nd level logic.
Therefore, it cannot be completely axiomatized. (Quantified epistemic logic with unlimited independence).
I 29
Variant: a variant would refer to simpler cases where the independence refers to ignorance, combined with a move with a single, un-negated, non-epistemic operator {b} K. Here, an explicit treatment is possible.

Hin I
Jaakko and Merrill B. Hintikka
The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989

J. Hintikka/M. B. Hintikka
Untersuchungen zu Wittgenstein Frankfurt 1996

> Counter arguments against Hintikka

back to list view | > Suggest your own contribution | > Suggest a correction
Ed. Martin Schulz, access date 2017-03-31