Switch to: References

Citations of:

Conceptual and Derivation Systems

Jiří Raclavský & Petr Kuchyňka

Logic and Logical Philosophy 20 (1-2):159-174 (2011)

Add citations

You must login to add citations.

Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.details The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) Download Export citation Bookmark 1 citation
Rethinking Role Realism.Daniela Glavaničová - 2021 - British Journal of Aesthetics 61 (1):59-74.details Role realism is a promising realist theory of fictional names. Different versions of this theory have been suggested by Gregory Currie, Peter Lamarque, Stein Haugom Olsen, and Nicholas Wolterstorff. The general idea behind the approach is that fictional characters are to be analysed in terms of roles, which in turn can be understood as sets of properties. I will discuss several advantages and disadvantages of this approach. I will then propose a novel hyperintensional version of role realism, according to which (...) Download Export citation Bookmark 4 citations
Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.details In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...) Download Export citation Bookmark 4 citations
On the interaction of semantics and deduction in Transparent Intensional Logic.Jiří Raclavský - 2014 - Logic and Logical Philosophy 23 (1):57-68.details It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, providing only logical analyses of expressions. I argue that this opinion is wrong. First of all, to detect valid arguments, which are formulated in a language, there needs to be logical analysis to ascertain which semantical entities are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of an argument, composed of propositional constructions, stems from the properties of the constructions. Such (...) Download Export citation Bookmark 1 citation
Equivalence of Problems (An Attempt at an Explication of Problem).Pavel Materna - 2013 - Axiomathes 23 (4):617-631.details On the one hand, Pavel Tichý has shown in his Transparent Intensional Logic (TIL) that the best way of explicating meaning of the expressions of a natural language consists in identification of meanings with abstract procedures. TIL explicates objective abstract procedures as so-called constructions. Constructions that do not contain free variables and are in a well-defined sense ´normalized´ are called concepts in TIL. On the second hand, Kolmogorov in (Mathematische Zeitschrift 35: 58–65, 1932) formulated a theory of problems, using NL (...) Download Export citation Bookmark 1 citation

1