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 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.

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).

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.

En este articulo quiero discutir algunos temas centrales deI tratamiento fregeano de los contextos no extensionales. Limitaré mi discusión al análisis de oraciones de creencia y de la oratio obliqua. En la primera parte, voy a describir dos tipos de teoría dentro deI marco de la semántica de Frege. En particular, compararé y evaluaré los análisis de oraciones no extensionales de primer y segundo nivel que se pueden llevar a cabo en las teorías de ambos tipos. En la segunda parte, examinaré en que medida se puede establecer una jerarquía infinita de sentidos indirectos. En la tercera parte, voy a examinar el principio fregeano de sustitutividad de expresiones coreferenciales salva veritate. Además, haré algunas observaciones críticas sobre artículos de Tyler Burge y Jaakko Hintikka relacionados con esta temática.In this article, I discuss some important aspects of Frege’s treatment of nonextensional contexts. I focus on the analysis of belief sentences and of oratio obliqua. In the first part, I deseribe two types of theory within Fregean semantics and assess the analyses of non-extensional sentences of first and of second level whieh can be carried out in the theories of both types. In the seeond part, I examine to what extent one can establish an infinite hierarehy of indirect senses. In the third and final part, I examine Frege’s principle of substitutivity salva veritate of coreferential terms. I conelude with critieal observationson articles of Tyler Burge and Jaakko Hintikka which deal with this principle.

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.