The paper has two objectives: to introduce the fundamentals of a triplet model of a concept, and to show that the main concept models may be structurally treated as its partial cases. The triplet model considers a concept as a mental representation and characterizes it from three interrelated perspectives. The first deals with objects (and their attributes of various orders) subsumed under a concept. The second focuses on representing structures that depict objects and their attributes in some intelligent system. The third concentrates on the ways of establishing correspondences between objects with their attributes and appropriate representing structures.

In the paper a theory of relevant properties is developed. The theory permits us to distinguish between properties that are relevant to an object and the properties that are irrelevant to it. Predication is meaningful only if a property is relevant to an object. On the base of introducing a special negative type of predication as opposed to usual sentential negation, a new notion of generalization for properties is defined. Context-free, as weIl as context-depended relevance of properties are considered.

The aim of this paper is to give one kind of internal proportional systems with general representation and without closure and finiteness assumptions. First, we introduce the notions of internal proportional system and of general representation. Second, we briefly review the existing results which motivate our generalization. Third, we present the new systems, characterized by the fact that the linear order induced by the comparison weak order ≥ at the level of equivalence classes is also a weIl order. We prove the corresponding representation theorem and make some comments on strong limitations of uniqueness; we present in an informal way a positive result, restricted uniqueness for what we call connected objects. We conclude with some final remarks on the property that characterizes these systems and on three possible empirical applications.

The paper discusses interpretations of Aristotle’s modal notions by modern commentators (J. Hintikka, J. Lukasiewiez, M. Mignucci). It is shown that the semantics of modal notions which the above mentioned authors attribute to Aristotle is based on the algebraic idea of multiplier.

The aim of this article is to reconstruct the theory of simple apprehension held in the Kiev-Mohyla Academy in the seventeenth and eighteenth centuries. We start from Aristotle’s idea of two kinds of knowing and from the Thomist theory of the two operations of the intellect in view of the ontological distinction between essence and actuality. In dealing with the theory of the activities of the intellect in the Kiev-MohylaAcademy, we consider simple apprehension as a form of Aristotle’s immediate knowledge. We conclude by introducing the notion of non-representational simple apprehension.

The paper seeks to schematize some fundamental characteristics of the conflict situations by means of modal (intensional) logic. Conflict is considered a deviant interaction as well as an intersubjective process of delegitimizing an activity on realization of interests. Interpreting a normal interaction as a symmetry of certain type, the author constructs a special model of a symmetric situation and applies it tothe analysis of a conflict. The paper examines theoretic schemes for legitimization of deviations as well as for legitimization of social asymmetry, and ascertains a general relationship between symmetrization and deduction (deductive legitimization) by means of the operation C of “deductive closure” (consequences addition).

The aim of this paper is to present a description of change in the framework of tense logic. After considering some examples of using the intervals, we present the main principles of the logic of inconsistent reasoning. Then we built a tense interval paraconsistent semantics and discuss some of its possible applications.

This article is an extension of the author’s previous work on this subject. Primarily it outlines the main directions of this mode of analysis and possible fields to which it could be applied. The first chapter demonstrates a specific method of understanding emotions. The second chapter examines the concept of emotions as a source of the specific modes of “internal” rationality of an agent. The third chapter isdevoted to a comparison between various emotions and the two basic intentional states - belief and desire. The fourth chapter will present the instrumental typology of certain emotional concepts. The final chapter represents preliminary logical schema of the meanings of emotional concepts.

Through the mental experiment that I suggest, it is possiblc to demonstrate that Hugh Everett’s quantum interpretation, known as of the “many universes”, is incongruent with the special theory of relativity.

What I hope to do in this paper is to see whether Laudan’s normative naturalism may suggest a third alternative to normativism-naturalism dilemma in the analytical philosophy of science. In criticizing the view that all methodological rules are to be specified in the form of hypothetical imperatives, I offer the idea that a theory of scientific rationality (including its normative dimension) must go beyond the usual analytical format of “rational reconstruction”. It is precisely this idea that opens the door for a hermeneutic alternative to normative naturalism. On this alternative, one has to pay attention to the contextual normativity of doing scientific research, if one wants to give an account of the articulation of methodological rules and norms.

The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes with a modification of the K-dimensional system that synthesizes independent proposals by Kuipers and Niiniluoto.