Two Standard and Two Modal Squares of Opposition Studied in

Explication of Truth in Transparent Intensional Logic

Language in Synchronic / Diachronic Sense and Some Puzzles of

Partiality and Transparent Intensional Logic

Partiality and Transparent Intensional Logic exhibited (“3÷0”); i.e. foundational issues - without clarifying the issues of partial functions we cannot clarify which semantical value is possessed by a problematic expressions such as gappy sen...

Více

Derivation Systems and Verisimilitude (An Application of

Derivation Systems and Verisimilitude (An Application of In the second half of 1970s, a variety of approaches, the first one proposed by Pavel Tichý, defined verisimilitude likeness of theories to truth - in the framework of intensional logic. Popper’s c...