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

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil a aquellos que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance.

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.

Los proyectos metodológicos de Leibniz nos remiten constantemente al método de análisis y síntesis. Sin embargo, un examen de las definiciones leibnizianas de los procedimientos analíticos y sintéticos muestra quc no pueden reducirse a una formulación común y que, más aún, pueden llegar a ser incompatibles. Ante csta dificultad, el presente trabajo aborda la concepción leibniziana del análisis y la síntesis desde cuatro perspectivas diferentes, a saber, la matematica, la epistémico-sintácrica, la pragmatíco-epistémica y la práctica. También expone sucintamente la manera en que evoluciona la situacion del analisis y la sintesis con relación al ars inveniendi y el ars judicardi.Leibniz’s methodological projects refer us constantly to the method of analysis and synthesis. However, an examination of the leibnizian definitions of the analytical and synthetic procedures shows that they can not be reduced to a common formation and furthermore that they can become incompatible. Faced with this difficulty, this paper approaches the Leibniz’s conception about analysis and synthesis from four different perspectives: the mathematical, the epistemic-syntactical, the pragmatic-epistemic and the practical approach. Also it exposes briefly the way in which evolves the situation of analysis and synthesis in connection with the ars inveniendi and the ars judicandi.

En este trabajo se postula que se pueden establecer relaciones entre las diversas ‘visiones dei mundo’ (en sentido vulgar) y las teorías economicas, a través de las epistemologías subyacentes a las mismas. Se ilustra con las siguientes relaciones: entre la cosmovisión propia dei sistema de Aristóteles y su noción de economía, entre la matriz racionalista moderna y la economía clásica y neoclásica, a través del uso de analogías físicas y biologicas, y entre algunas posturas recientes y una vision post-moderna del mundo. Se busca fomentar una actitud crítica frente a las teorías e insistir en la necesidadde buscar siempre el camino epistemológico y metodológico adecuado al objeto de estudio.This paper tries to show the bridges between world visions (in a broad sense) and economic theories, through their underlying epistemological positions. The following relations are brought up: between Aristotle’s world vision and his concept of economics, between the modern rationalist frame and classical and neoclassical economics by the postulation of analogies from physics and biology, and finally between post-modern world vision and some current perspectives. The aim of the paper is to stress on the need of maintaining a critical position toward theories and also always looking for an adequate epistemological and methodological way.

En este trabajo presentamos una revision de la definición cuántica del elcetrón en relación con el principio de incertidumbre de Werner Heisenberg.In this paper we present a revision of the electron’s quantum definition in relation to the so called uncerrainty principle by Wenrer Heisenberg.

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.