| |
| |
| |
|
Introspection of Vague Knowledge in Fuzzy Logic
Běhounek, Libor
In classical epistemic logic, the principle of introspection for vague knowledge is precluded by Poincaré's paradox, which implies that the relation of indistinguishability cannot be transitive. The paper shows that the introspection principle for vague knowledge can be saved if T-transitive indistinguishability relations in fuzzy logic are used.
|
| |
| |
|
Two Connections between Epistemic and Fuzzy Logics
Běhounek, Libor
Two possible connections between epistemic and fuzzy logics are studied. Epistemic fuzzy logic as a kind of modal logic studies the reasoning of agents about fuzzy propositions; problems of such a synthesis caused by the invalidity of the axiom K are hinted at. Another direction is to found epistemic on fuzzy logic; the paper sketches the way how representing feasible knowledge as a fuzzy modality eliminated the logical omniscience paradox.
|
| |
|
Relativní interpretace v prvořádové fuzzy logice.
Běhounek, Libor
The classical notion of relative interpretation (also known as a direct syntactic model) is adapted for multi-sorted first-order fuzzy logics. The level of generality is chosen to suit the needs of its applications in Fuzzy Class Theory.
Fulltext: content.csg - PDF Plný tet: 0042506 - PDF
|
|
Kurt Goedel - life, results and their significance
Běhounek, Libor
A survey (in Czech) of K. Gödel’s most important results and works in metamathematics, set theory, physics, and philosophy. A special attention is given to de-mything Gödel’s Incompleteness Theorems and to their consequences for computer science, artificial intelligence, philosophy, and other disciplines.
|