Wide-ranging and astutely argued, Talmud /and/ Philosophy examines the intersections, partitions, and mutual illuminations and problematizations of western philosophy and the Talmud. Among its devoted students or "learners," the Talmud - both as text and mode of thought - is a constantly unfolding truth about humans in their relationship to God in the world. Among many philosophers, the Talmud has been at best an idealized and remote object, and at worse, if noticed at all, an object for curiosity. The contributors (...) to this volume collectively turn on and probe a new mode of inquiry by approaching the very question of partitions, conjunctions and disjunctions between the Talmud and philosophy as the guiding question of their inquiry. Rather than using the Talmud and its modes of argumentation to develop existing philosophical themes, the essays probe the question of how the Talmud as an intellectual discipline sheds new light on the unfolding of philosophy in the history of thought. (shrink)

The writings in which an author expresses his thought may actually be the product of certain cultural practices of his age. The article considers how such practices are manifested in the writings of Isidore of Seville, particularly with respect to the meaning of the metaphor of taste. Isidore borrows this metaphor from texts that explain the process of understanding Scripture and applies it to the achievement of wisdom. On the one hand, the metaphor stresses the transformative aspect of understanding (rather (...) than the informative, scientia). It focuses on the special experience of the reader who senses the sweetness of the text, and not on the application of the text to one’s life. On the other hand, reading and writing were imagined in terms related to food. The text was food that had to be prepared, to ‘read’ meant to ‘taste’, to ‘meditate’ on it meant to ‘ruminate’. Against this background, the writings of Isidore seem to appeal to the memory of the reader and his ability to meditate upon the text and, finally, to experience the taste of wisdom. Only the outermost level of texts was intended to inform the reader. (shrink)

This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, (...) of definitional equivalence, and of a conservative extension. (shrink)

We develop a general theory of FDE-based modal logics. Our framework takes into account the four-valued nature of FDE by considering four partially defined modal operators corresponding to conditions for verifying and falsifying modal necessity and possibility operators. The theory comes with a uniform characterization for all obtained systems in terms of FDE-style formula-formula sequents. We also develop some correspondence theory and show how Hilbert-style axiom systems can be obtained in appropriate cases. Finally, we outline how different systems from the (...) literature can be expressed in our framework. (shrink)

Friedrich Jacobi (1743-1819) is known mainly as a representative of the “philosophy of feeling and faith” and as one of the first critics of Kant, who drew attention to the fundamental contradiction in his system: without the concept of “thing in itself” (or “thing in oneself”) it is impossible to enter into his “Critique of Pure Reason”, but it is equally impossible to remain in it with this concept. The consistent development of the transcendental philosophy system leads to the elimination (...) of its own initial, fundamental premise. The discovery of this contradiction and the indication of its significance for the evaluation of critical philosophy was often seen as almost the only contribution of Jacobi to world philosophy. In the historical and philosophical literature, the opinion prevails is that Jacobi, by and large, simply did not understand Kant and was in comparison with him, just a “grumpy scoundrel” (Heinrich Heine) and a “lower monad” (Kuno Fischer). This pejorative assessment significantly simplifies and distorts both Jacobi’s philosophy and Jacobi’s actual attitude towards Kant, which was not so unambiguous. It should be considered in a much broader historical and problematic context. The study briefly examines the history of the long and difficult relationship between the “privileged heretic” and the “gray eminence” of the German philosophical classics with the creator of the transcendental philosophy system. The main directions of a deeply thought-out and well-founded serious criticism of Kant’s philosophy (i.e. its inconsistency, idealism, rational intellectualism, subjectivism, “speculative egoism”, etc.) are outlined and analyzed from the positions of radical realism, common sense, Christian faith, metaphysical “sense of the supersensible”, direct knowledge of the most important truths for a person, the absolute values of life, moral intuition, freedom, and dignity of the individual. (shrink)

The specificity of eukaryotic DNA organization into loops fixed to the nuclear matrix/chromosomal scaffold has been studied for more than fifteen years. The results and conclusions of different authors remain, however, controversial. Recently, we have elaborated a new approach to the study of chromosomal DNA loops. Instead of characterizing loop basements (nuclear matrix DNA), we have concentrated our efforts on the characterization of individual loops after their excision by DNA topoisomerase II‐mediated DNA cleavage at matrix attachment sites. In this review (...) the results of applying this mapping approach are compared with the results and conclusions from studies of nuclear matrix DNA. An attempt is also made to reconsider all data about the specificity of DNA interactions with the nuclear matrix and to suggest a model of spatial organization of the eukaryotic genome which resolves apparent contradictions between these data. (shrink)

We exploit properties of certain directed graphs, obtained from the families of sets with special effective enumeration properties, to generalize several results in computable model theory to higher levels of the hyperarithmetical hierarchy. Families of sets with such enumeration features were previously built by Selivanov, Goncharov, and Wehner. For a computable successor ordinal α, we transform a countable directed graph into a structure such that has a isomorphic copy if and only if has a computable isomorphic copy.A computable structure is (...) categorical if for all computable isomorphic copies of , there is an isomorphism from onto , which is . We prove that for every computable successor ordinal α, there is a computable, categorical structure, which is not relatively categorical. This generalizes the result of Goncharov that there is a computable, computably categorical structure, which is not relatively computably categorical.An additional relation R on the domain of a computable structure is intrinsically on if in all computable isomorphic copies of , the image of R is . We prove that for every computable successor ordinal α, there is an intrinsically relation on a computable structure, which not relatively intrinsically . This generalizes the result of Manasse that there is an intrinsically computably enumerable relation on a computable structure, which is not relatively intrinsically computably enumerable.The dimension of a structure is the number of computable isomorphic copies, up to isomorphisms. We prove that for every computable successor ordinal α and every n≥1, there is a computable structure with dimension n. This generalizes the result of Goncharov that there is a structure of computable dimension n for every n≥1.Finally, we prove that for every computable successor ordinal α, there is a countable structure with isomorphic copies in just the Turing degrees of sets X such that relative to X is not . In particular, for every finite n, there is a structure with isomorphic copies in exactly the non- Turing degrees. This generalizes the result obtained by Wehner, and independently by Slaman, that there is a structure with isomorphic copies in exactly the nonzero Turing degrees. (shrink)

What follows is a two-part review of Günther Witzany’s two-part book, The Logos of the Bios. The first part of the review is written by Sergey Chebanov, and it approaches the text as a source of ideas on biosemiotics and biohermeneutics. The second part is written by Anton Markoš, and it estimates the biological pithiness of the book and the correctness of the reflection of the included data of modern biology.

The article focuses the possibility of elaboration of a cross-disciplinary methodological approach to formation of the semiotics of power. Four possible forms of relation of semiotic research to the problem of power are revealed upon the basis of Drechsler’s typology. The approaches of Mandoki and Siefkes to formation of the methodological basis of the semiotics of power are analyzed and compared. The author designates the perspective directions of a further research and formulates methodological prerequisites for realization of the specified directions.

The article examines and analyzes the market of oilseeds, which is a variety and a hybrid of sunflower, rape, soybean. It is determined that selection and seed production play an important role in improving the efficiency of the domestic agrarian sector. The domestic seed industry has the potential for growth, which can be realized only through a scientific approach and specialization in the production of seeds. It is established that there are quite significant differences between the stages of seed creation (...) and priorities in state scientific institutions and private seed companies. Differences are due to strategic development plans and the financial mechanism of operational activities. Prospects are the need for fundamental changes aimed at strengthening the organizational and scientific provision of the industry, identifying new priorities for the development of the seed industry to create the final product in the form of selection innovation. (shrink)

The belief in the Darwinian theory of evolution appeared to be shaken when one tried to interpret statements of molecular biology in it. As a consequence there arose a theory of non-Darwinian neutral evolution. The supporters of this theory believe that under natural conditions no factors exist which can distinguish and select organisms on their internal (molecular) structure. In the opinion of these neutralists natural selection cannot in principle control the molecular constitution of organisms. Contrary to the viewpoint of the (...) critics of neutralism it is impossible to admit that nucleic acids, proteins and other biomolecules can evolve without the participation of natural selection. This controversy in contemporary theoretical biology can be solved by integrating the conceptions of molecular ecology with Darwinian theory. Molecular ecology acknowledges the interactions of organisms by means of chemical substances synthesized by them. Such chemical ecological factors play a leading part in the selective stages of biomolecular evolution. These diverse chemical ecological interrelations take place intensively when living beings interact with parasitic microbes. (shrink)

La historia política de Rusia y España ofrece una oportunidad para comparar las medidas adoptadas durante la transición de un régimen autoritario a uno democrático, manteniendo la estabilidad política en el Estado. El Estado es un elemento central del sistema político. La estabilidad del Estado se convierte en una cuestión clave para los dirigentes del Estado, para los sujetos del poder político. La estabilidad política en una democracia requiere la preservación del tipo de organización del poder, que corresponde a los (...) sentimientos e intereses fundamentales socioeconómicos de los grupos sociales. A los factores políticos de la estabilidad pertenece la posibilidad de una participación equitativa en la vida política para todos los estratos sociales, en conformidad con el derecho democrático y las tradiciónes, así como la presencia de las instituciones políticas. El Estado debe ser social y servir al ciudadano y a la sociedad. Se ha demostrado que el Estado debe participar en la regulación de la economía y la circulación monetaria. La estabilidad política en el nivel internacional se logra por el equilibrio multipolar y por la diversidad de los Estados soberanos y equitativos. (shrink)

In the course of a close analysis of Kant’s essay in which he gives his original answer to the question, “What is Enlightenment?” I examine the causes and consequences of the theses about Enlightenment which makes a plea for emancipation from the shackles of guardianship, above all by getting rid of one’s own cowardice. In search of an answer to the question, “What is the real reason of self-incurred immaturity?” I consider the bifurcation: Is it all about unjust social institutions (...) established in the interests of the ruling social estates, as the best European brains contended throughout the Enlightenment era, thus anticipating and justifying revolutionary upheavals, or is it within ourselves who have refused to use our reason independently and regularly? — something which Kant unequivocally considers to be everyone’s special kind of guilt. Following Kant, I look for an answer to the question, “Which limits impede Enlightenment, and which limits, far from obstructing it, are bound to promote it?” and reveal the hidden paradox of the Kantian solution: maturity has to be preceded by the granting of freedoms; and the granting of freedoms in turn calls for a mature public. I also ask the question, “Whose yoke is heavier, one’s own or the guardian’s?” and offer my version of an answer. In conclusion, I assemble all parts of the complicated and original formula of the Kantian recipe of Enlightenment. Among other things, I reveal a special type of bonding within the social organism implied by Kant, and that is the requirement to obey those who are not above us in thinking and the right to speak out in public, which ultimately means not only personal maturity, but implies also the maturity of society’s functioning in accordance with the said maxim. (shrink)

Sobre la base de la teoría de “los mejores” de J. Ortega y Gasset el autor trató de investigar el papel de los estratos superiores de la sociedad, de la élite nacional en la modernización del régimen político en los principios de la democracia y la poliarquía. Fue revelado el papel en los procesos del gobierno y la administración del poder político y ejecutivo del aparato estatal, que consiste en los funcionarios públicos, profesional y moralmente preparados y capaces asegurar el (...) funcionamiento sostenible y soberano de las instituciones del Estado. En Rusia en el inicio del 2012 se comenzón las actividades socio-políticas llamadas en la ciencia política como la tecnología “de nacionalizaciόn” de las élites. Se produce una armonización de los intereses de los grupos políticos y empresariales de alto nivel social con los intereses del Estado y la sociedad civil. Fue realizado el análisis comparativo del impacto de las élites políticas de España y Rusia sobre la estabilidad política para garantizar el desarrollo socio-económico soberano de sus países. En la soberanía del Estado se refleja la plenitud de la autoridad governamental de los grupos sociales más altos, la élite nacional. Por separado se destacó la función de la élite político-militar como un aparato coercitivo legítimo, que asegura el bienestar del Estado democrático. Los modelos actuales de los regímenes políticos democráticos – no es una meta, sino un instrumento para lograr el bienestar del Estado y nación. Los acontecimientos en Rusia contemporánea comproban la actualidad científica de las obras del gran pensador J.Ortega y Gasset. (shrink)

Globalna świadomość jako pojęcie kulturowe i historyczne Artykuł stanowi analizę idei głoszonych przez przedstawicieli filozofii kosmicznej. Przedstawiony zostaje kulturowy, historyczny i cywilizacyjny charakter zjawiska świadomości globalnej. Dowodzi się w nim, że świadomość globalna jest częścią społecznego i kulturowego potencjału globalnych sieci informacyjnych oraz że może ona wskazywać perspektywę rozwoju obdarzonej rozumem ludzkości.

The Greek Prophetologion manuscript Q12 from the library of the Academy of Sciences in St. Petersburg, copied in 1275, contains some thirty marginal notes written in Alanic, a pre-stage of Ossetic. On leaf 100r, the glossator provided the Greek heading τ παραμο(ν) τς μέ(σο) ν´ (i.e. μεσοπεντηκοστς), ‘Eve of Mid-Pentecost’, with a gloss πητζινάκ χουτζάου πάν which most probably means ‘Pecheneg Sunday’. A Pecheneg festival established after the decisive victory of John II over the Pechenegs is attested by both Nicetas (...) Choniates and Ecloga Basilicorum. It is no wonder that this festival reached distant Alania, since the 12th century was a heyday for the Orthodox Christianity in the Northern Caucasus. The battle took place near Beroea in spring of the “fifth year” of John II's reign. The majority of historians tend to opt for 1122, but we would not exclude 1123 either. Whatever the year, the marginal note from Q12 may help in establishing the day of the battle, which is not mentioned either in Greek or in Scandinavian sources. If the battle of Beroea took place in 1122, it happened either on the 20th–22nd or on the 24th–26th of April. If the battle was fought in 1123, the day of the victory could then be either the 10th–12th or the 14th–16th of May. (shrink)

The paper deals with the expression "God is able to make a calf from a tree-trunk"—a very popular phrase in medieval treatises, especially in the context of God's omnipotence. Its attestations are thoroughly documented and considered, contexts discussed, and attributions examined. It is argued that the attribution to Anselm of Canterbury is false and late. It is claimed that the phrase goes back to a popular saying as attested by William of Conches, Peter Comestor, and ps.-Bonaventurian Ars concionandi. Thus, it (...) is a rare example of a rustic proverb used in scholastic debates as a standard scholarly argument. (shrink)

This article considers late additions to the miracles of Antichrist as found in fifteenth-century manuscripts such as Wellcome Library, MS 49 and the Antichrist-Bildertext. One of these miracles—a castle hanging by a thread—has a parallel in the German nonsense poetry tradition. The poem ‘Sô ist diz von lügenen’ from a fourteenth-century manuscript depicts a topsy-turvy world where Rome and the Lateran also hang by a thread. Subsequently the same motif occurs in the Emblemata of Théodore de Bèze (1580). A tense (...) interaction of text and image is a characteristic feature of this motif, which seems to be a local German invention. The borrowing from a tall tale into an eschatological legend, unusual as it seems, underscores the closeness of the topsy-turvy world of the popular imagination and the apocalyptical narrative with the Antichrist playing a demonstrably parodical part. (shrink)

El presente artículo versa sobre la estructura del tratado isidoriano llamado _Liber differentiarum _II. Hasta el momento, los trabajos acerca del contenido de la obra y su distribución han explicado su estructura según consideraciones que podríamos llamar “externas”, en tanto se basan en ideas generales en relación con el género o la lógica del texto. En contraste con ello, el objetivo de este estudio es ofrecer una explicación “interna” de tal estructura, una fundada en su contenido conceptual. Nuestra hipótesis sostiene, (...) pues, que la base para articular el texto entero es la definición de “hombre” que Isidoro desarrolla en _Diff. _II.13, así como su lugar en la escala de seres. En efecto, la posición especial del ser humano, que es considerado tanto por Isidoro como por sus fuentes como una creatura universal intermedia entre Dios y los seres materiales carentes de razón, es de capital importancia para la comprensión y consecuente estructuración de la obra. (shrink)

The structure of G. V. Florovsky’s concept of neopatristic synthesis is analyzed and reassessed here in light of the current state of philosophy and theology. As a result, the concept receives a ne...

Introduction. N. A. Berdyaev’s many-sided philo- sophical interests and his indefatigability in creative activity contributed to the development of an original worldview system, in which eschatological ideas were the basic part. The authors consider the assessment of these ideas by the outstanding his- torian of Russian philosophy V.V. A. Berdyaev, the significance of which is enhanced due to the fact that it was given not only by a historian of thought, but also by the creator of his own and generally (...) complete philosophical system, based, like the philosophy of N. A. Berdyaev, on the ideological foundation of Orthodoxy. The purpose of the study. The authors attempt to identify the causes and motives for the discrepancy between N. A. Berdyaev’s eschatological ideas and the traditional Christian understanding of the “end of history”, which V. V. Zenkovsky strictly adhered to. Methods. As a general philosophical methodology, the authors use a personalistic approach, which was followed by both N. A. Berdyaev and V. V. Zenkovsky. The main premise of this approach is to affirm the free-creative activity of a person who, following his inner impulses is capable of changing the surrounding reality, both social and natural. The study also uses general scientific methods — analy- sis, synthesis, comparison, generalization. Scientific novelty of the research. The authors’ conclusions regarding the fact that N. A. Berdyaev did not overcome the evolutionist historiosophical paradigm, which has retained its significance in Russian metaphysics since the publication of the early works of V. S. Solovyov, the founder of this direction, have scientific novelty. Results. The eschatology of N. A. Berdyaev should be considered transitional from immanent (evolu- tionary) to transcendent, since elements of panthe- ism were preserved in it. V. V. Zenkovsky drew attention to this, noting that the entire religious world of N. A. Berdyaev bears the “fatal seal” of religious immanentism. Due to the inconsistency of his beliefs with the general worldview of Christian transcendentism, which never essentially brought the Creator and creation closer together, V.V. Zenkovsky avoided assessing N.A. Berdyaev as an Orthodox philosopher. (shrink)

Personal branding has become an important concept in management literature in recent years. Yet, with more than 100 scholarly papers published on the concept to date, it has developed into a fragmented area of research with a diversity of definitions and conceptual boundaries. This paper posits that this heterogeneity of extant research impedes theoretical and empirical advancement. To strengthen the foundation for future work, we review the extant literature and offer an integrative model of personal branding. Through our systematic literature (...) review we identify the key attributes of the construct, establish its clarity by comparing it with similar concepts in its nomological network, and suggest the definitions of personal branding and personal brand based on the reviewed literature. Further, we propose a theoretical model of personal branding summarizing the findings from the reviewed papers. The proposed model outlines the trends conducive to personal branding, as well as its drivers, processes, and outcomes. Finally, we discuss ethical implications of personal branding for both scholarly work and practice. In conclusion, we outline a further research agenda for studying personal branding as a critical career and organizational behavior activity in contemporary working environment. (shrink)

Nammalvar, a Tamil poet who lived in IX-X centuries, is revered as one of the great mystics of India. His four poetic works are equated with the sacred hymns and are part of the ritual worship in the temples of South India. Artistic images of Nammalvar formed the basis of the philosophy of Vishishta-Advaita several centuries later. The poem “Thiruviruttam” is considered as his early work, where he combines the canons of ancient Tamil poetry and his devoted love for Vishnu-Tirumal. (...) The study presents a religious and philosophical interpretation of the poem. The secret of the poem is its dualism: external beauty and sacred meaning. There is a spiritual meaning in symbols of Tamil poetry. Nammalvar takes canons of his predecessors, poets of the Sangam era. However, he fills one with new content. The author compares ancient Tamil poetry and the work of Nammalvar. The plot describes the love between God and the soul. The poet reveals several types of bhakti or devoted love. The description of bhakti subsequently formed the basis for the classification of souls in the philosophy of vishishta-advaita. Bhakti leads to the transition to Vaikuntha or the heaven city. Sri Vaishnavism teachers turned the description of relationship soul-Vishnu into a spiritual practice. The artistic images of Nammalvar are compared with Hindu concepts such as transcendence, darshan, divine grace and moksha. In South India “Thiruviruttam” is considered the Tamil Rig Veda. Poem is performed at home, in the temple, during festive processes. It helps to find the roots of Vaishnavism and understand its poetic origin. (shrink)

Morality, besides being a form of regulation of human behavior, is also a form of spiritual cognition, having its specific features in each spiritual tradition, either philosophical or religious. Nowadays the humankind tends to forget about the Plato spiritual archetype of Goodness, Truth, and Beauty, united by the eidos of “χάρις” or “αγαθόν,” which in Russian orthodox culture long ago has been turned into the triad Truth, Virtue and Beauty united by Love. Recently, the person tends to lose his humaneness; (...) the current spiritual crisis is of menacing scale and depth. It is necessary to reveal mutual universal values in order to stop any kind of violence. To realize this task, the author tries to investigate common features of spiritual cognition in different cultures and to suggest a universal dimension of the spiritual phenomenon of faith, founding the ethics of “openness to Being.”. (shrink)

At the present time, there are several interpretations and modes of Kant’s transcendental philosophy (TP). Which of these interpretations and modes of transcendentalism most adequately express the spirit of TP, i.e. can claim the title of the transcendental ones? For the explication of the ‘idea of transcendental philosophy’ [KrV, A1], here I distinguish two transcendental shifts: methodological and metaphysical ones, which in their totality predetermine the essence and set the specificity of Kant’s transcendental idealism. The methodological transcendental shift that Kant (...) postulates in his definitions of TP in the Critique of Pure Reason [KrV, A11; B25] represents a shift from studying of objects to the analysis and justification of our mode of cognition of objects. This shift sets a fairly wide range of a la Kantian a priori doctrines and predetermines the transcendental turn (Re–Transcendentalising) of modern philosophy. The metaphysical transcendental shift that can be correlated with “the altered method of our way of thinking [in metaphysics]” [KrV, BXVIII], is associated with the splitting of the “thing” into the actual object (or Kantian thing-in-itself) and object of experience (or Kantian appearance), and involves a transition from the study of thing-in-itself to the analysis of the appearance. More precisely, this shift finds its expression in the transcendental triad “object (thing-in-itself; Ding an sich) – appearance (Erscheinung) – representation (Vorstellung)”, which determines the ‘idea’ (essence) of transcendental idealism/metaphysics. (shrink)

This article considers how people judge the identity of objects (e.g., how people decide that a description of an object at one time, t₀, belongs to the same object as a description of it at another time, t₁). The authors propose a causal continuer model for these judgments, based on an earlier theory by Nozick (1981). According to this model, the 2 descriptions belong to the same object if (a) the object at t₁ is among those that are causally close (...) enough to be genuine continuers of the original and (b) it is the closest of these close-enough contenders. A quantitative version of the model makes accurate predictions about judgments of which a pair of objects is identical to an original (Experiments 1 and 2). The model makes correct qualitative predictions about identity across radical disassembly (Experiment 1) as well as more ordinary transformations (Experiments 2 and 3). (shrink)

This article deals with voice and bodily deixis as manifestations of performativity in written texts. A speech act of origin presents as both vocal and performative events. Ritual matrixes of culture contain performative complexes, as suggested by Austin. Such performative nuclei are neither true nor false, that is, their negation cannot be logically inferred from true premises. The term deixis describes the performative moment of the utterance, its active and transformative force. The first embodied deictic utterance in Western history would (...) be the biblical phrase “And the word made flesh.” It is the first mythopoetical performative denoting the bodily incarnation of logos. In the article, the term bodily deixis is considered against the background of experimental poetry of E.E. Cummings. (shrink)

The work is concerned with the so called display property of display logic. The motivation behind it is discussed and challenged. It is shown using one display calculus for intuitionistic logic as an example that the display property can be abandoned without losing subformula, cut elimination and completeness properties in such a way that results in additional expressive power of the system. This is done by disentangling structural connectives so that they are no longer context-sensitive. A recipe for characterizing structural (...) extensions of display calculi is provided. (shrink)

We present novel proof systems for various FDE-based modal logics. Among the systems considered are a number of Belnapian modal logics introduced in Odintsov & Wansing and Odintsov & Wansing, as well as the modal logic KN4 with strong implication introduced in Goble. In particular, we provide a Hilbert-style axiom system for the logic $BK^{\square - } $ and characterize the logic BK as an axiomatic extension of the system $BK^{FS} $. For KN4 we provide both an FDE-style axiom system (...) and a decidable sequent calculus for which a contraction elimination and a cut elimination result are shown. (shrink)

Kant’s transcendental philosophy of Kant is the metaphysics of possible experience related to the solution of the [semantic] problem set in his famous letter to M. Hertz (02.21.1772): “What is the ground of the relation of that in us which we call 'representation' to the object?” There are two possible ways to solve it: empiricism and apriorism, – and Kant chooses the second of them, thus making his “Copernican Revolution”. In the Preface to the 2nd ed. Critique Kant correlates his (...) Copernican turn/revolution with "altered method of our way of thinking [in metaphysics]" [BXVIII] and considers it as an analogue of the hypothetico-deductive scientific method of Copernicus – Galileo – Newton. The analysis of structure of the Copernican Revolution shows that it is possible to pick out two vectors: the empirical (from the thing-in-itself to representations) and the noumenal ones (from the transcendental unity of apperception [or transcendental object] to objects of experience). The introduction of an a priori vector (resp. a priori forms) means that Kant's conception is not empirical, but Kant’s keeping empirical vector says that it is compatible with empirical realism [A370–1]. Thus, Kantian transcendentalism is a synthesis of realism (basic level) and transcendental idealism (as a meta-level superstructure above it), whose task is to find out and analyze the transcendental conditions [possibility] of our knowledge of objects. (shrink)

We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.

We study semi-isolation as a binary relation on the locus of a complete type and prove that—under some additional assumptions—it induces the strict order property.