Derivation Systems and Verisimilitude (An Application of

Explication of Truth in Transparent Intensional Logic

The approach of Transparent Intensional Logic to truth, which I develop here, differs significantly from rivalling approaches. The notion of truth is explicated by a three-level system of notions w...

Partiality and Transparent Intensional Logic

- not only in natural languages, even in mathematical discourse partiality is exhibited (“3÷0”); i.e. foundational issues - without clarifying the issues of partial functions we cannot clarify whic...

From Frege`s Semantic Triangle to the Semantic Square of

Two Standard and Two Modal Squares of Opposition Studied in

of categorical statements. We get thus two basic versions of the Square. The Modal Square has not been introduced in the contemporary debate yet and so it is in the heart of interest. It seems that...

Teorie typů - jednoduchá vs. rozvětvená

Contents

Fitch`s Knowability Paradox and Typing Knowledge