The book represents a comprehensive account of the principles of the philosophy of the pseudoabsolute and is intended for readers interested in the issues of theoretical philosophy. It is also meant for a wide range of readers interested in the relative and absolute nature of human mentality.

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

The word “encyclopedia” comes to us from the Greek or, more precisely, is the deformed transcription, through Latin, of a erase in which we recognize a word composed of two elements, enkyklios and paideia, found in Quintilian in the ancient editions of De institutione oratoria (I, 10, 1). The expression itself, enkyklios paideia, appears only later, in the Hellenistic Age, under Roman domination, beginning with Dionysius of Halicarnassus (around the first century B.C.), but the concept goes back to the Eleatics, (...) especially to Hippias of Elis who, if we can believe the account in Plato's Dialogues, taught this total knowledge, later known with the term enkyklopaideia. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...) former. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Paradigms of historiography of philosophy in India have being changed since late 19th c. till present, depending on the social and cultural context of the history of Indian philosophy as a part of contemporary Indian culture. This change manifests itself in the conceptions of Indian historians concerning the teaching of Buddhist Mahāyāna school of Yogācāra (4th c. and later). Historians of colonial times, basing themselves on the philosophy of Neovedаntism (S. Radhakrishnan, S. Dasgupta), regarded Buddhism as a derivate of late (...) Vedic culture and Yogācāra as a teaching that reflected - though in an essentially transmuted form - the ideology of Upaniṣads. The latter, according to Neovedantists, was based on the postulate of the existence of the single cosmic soul - Brahman, the true human Self (Ātman) being identical to it. Historians of the late colonial and early postcolonial times (P.T. Raju, D.P. Chattopadhyaya, A.K. Chatterjee, partly also S. Dasgupta) brought Yogācāra closer to the teachings of European idealism, mainly to conceptions of G. Berkeley, G.W.F. Hegel, F. Bradley, J.E. McTaggart, trying to demonstrate a principal identity of fundamental problems in Indian and Western philosophy. At the same time, they brought Yogācāra together with the teaching of Brāhmaṇic school, Advaita Vedānta, regarded as another form of Indian idealism. In later times, following the evolution of contemporary Indian culture and changings in its social and political context, historians like D.J. Kalupahana became to analyze Yogācāra as a kind of philosophy of mind. All these facts show the dependence of strategies of historico-philosophical studies in India on its social, political and cultural context: in the Yogācāra teaching mainly those aspects call attention that a historian sees as the closest to the problematic field of contemporary philosophy. (shrink)

Neuroscience has established several brain pathways that process visual information. Distinct neural circuits analyze body appearance and movement providing information about the person’s cognitive and emotional states. The activity of the pathways depends on the salience of visual stimuli for the organism in the given circumstances. Since ballet performances are not among the crucial events for the viewer’s organism, not all viewers perceive and interpret bodily signs that express the mental state of the dancer. Treatment of the dancer as close (...) other activates the neural circuits that elaborate emotions, this enables the viewer to feel the internal state of the dancer and enrich the interpretation of the scenic action. (shrink)

Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...) Neoplatonic doctrines with Christianity as well as to criticize, refute and even condemn them. The papers assembled in this volume discuss a number of specific questions and concerns that drew the interest of Byzantine scholars in different periods towards Neoplatonic sources in an attempt to identify and explore the central issues in the reception of Neoplatonic texts during the Byzantine era. This is the first volume of the sub-series "Byzantinisches Archiv - Series Philosophica", which will be dedicated to the rapidly growing field of research in Byzantine philosophical texts. (shrink)

The research is devoted to the study of the phenomenon of spiritual culture of Modern times - creationism. Authors analyze the causes of creationist teachings, as well as develop a classification of forms of creationism. As such, the following are distinguished and analyzed: biblical creationism, scientific creationism, theological evolutionism, teleological creationism, alterism, missionary creationism. Biblical creationism is a literal understanding of the texts of the Bible relating to the creation of the Earth and man. Scientific creationism is an attempt by (...) individual scientists to combine scientific knowledge with religious beliefs. It gathers scientific evidence in favor of the biblical narrative, and, at the same time, rational arguments against the scientific theory of evolution. On the contrary, theological evolutionism, especially in the form of concordism, tries to reconcile the scientific and religious view of evolution. This is achieved through the interpretation of Biblical symbols through modern scientific concepts, or by the creation of a new pseudo-religion (for example, Teilhardism). Teleological creationism, in the modern form of Intelligent Design theory, popular in Western Protestantism, using the data of natural sciences, criticizes the foundations of the theory of biological evolution, thus demonstrating the gap of natural causality in order to justify the supernatural purposefulness of the Universe. Alterism asserts that the very nature of the world before original sin was different, therefore, the current knowledge of nature cannot correspond to the original plan of God reflected in the Bible. For the first time, highlighted and explored in this work, missionary creationism seeks to interpret the Bible from the point of view of concepts of modern science in order to bring a person with an already formed scientific picture of the world to faith. It is shown that most of the above forms demonstrate a pseudoscientific or pseudo-religious essence. The authors make an assumption about the origins of creationist teachings rooted in the introduction of elements of Neoplatonic philosophy into Christian teaching. The seeming contradiction between science and religion in understanding the evolution of nature finds its explanation through the disclosure of creationism's claim to understand the world as a "thing in itself". (shrink)

This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \ and \ , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 . The solution is based on the fact that a certain algebra isomorphic to SIXTEEN 3 generates the variety of commutative and distributive (...) bilattices with conflation. (shrink)

We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...) class of all involutive Routley star information frames. This result provides a much simplified semantics for HYPE and also a simplified axiomatization, which shows that HYPE is identical with the modal symmetric propositional calculus introduced by G. Moisil in 1942. Moreover, it is shown that HYPE can be faithfully embedded into a normal bi-modal logic based on classical logic. Against this background, we discuss the notion of hyperintensionality. (shrink)

This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...

Why does the theory of law have such a significant role in Russian liberalism, and how is this related to the state of the legal system in Russia and to the public’s legal consciousness? This intro...

One of the main fields of consciousness studies is the search for the function of consciousness. The article deals with the hypothesis of the function of imagination as an attribute of consciousness. In the regard of the issues of the attributes of consciousness, the author analyzes the phenomenon of aphantasia, that is, lack of imagination. Despite the lack of formalized ideas about the function of consciousness and despite the scientific trend of the narrowing research areas where subjective experience is necessary (...) for a normal behavior of brain, there is a tendency to expand the presence of consciousness in the world in the modern Western philosophy of consciousness. The result of this “emancipation of consciousness” is the idea of the theoretical essential closeness of a human being and other agents: animals, artificial intelligence, plants. A consequence of the “emancipation of consciousness” is the emergence of modern versions of panpsychism, which propose expanding the space of consciousness to the world as a whole. However, studies in the field of conscious cognitive processes show that the processes that need the participation of consciousness, according to the standard intuitions, in some cases successfully performed without it. For example, the phenomenon of aphantasia shows that the tasks of imagination are performed in the absence of the ability to imagine. Therefore, it is important to take also into account the theoretical possibility of the lack of the realization of the function of consciousness. This makes it possible to ask a question about the presence of consciousness in the space that is traditionally endowed with consciousness, according to the dominant views in philosophy. Therefore, by approaching the question of the attributes of consciousness, the author demonstrates the limitations of the program for the emancipation of consciousness and offers an alternative solution to the question of the scale of the presence of consciousness in the world. (shrink)

Let ???? be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy ℬ of ???? in which the image of R (¬R, resp.) is simple (immune, resp.) relative to ℬ. We also establish, under certain effectiveness conditions on ???? and R, a necessary and sufficient condition for the existence of a computable copy ℬ of ???? in which the image of R (¬R, resp.) (...) is simple (immune, resp.). (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

A paedophile is a person with a sexual attraction to children; some paedophiles commit child sex abuse offences. For such acts, they hold moral and legal responsibility, which presupposes that paedophiles are moral agents who can distinguish right from wrong and are capable of self-control. Like any other moral agents, paedophiles have moral duties. Some moral duties are universal, e.g., the duty not to steal. Whether there are any specific moral duties related to paedophilia is the topic of this paper. (...) I argue that the moral duty not to commit child sex abuse is universal, and the duty to reduce the individual risk of child sex abuse is specific to paedophiles. I further argue that any society has a moral duty to help paedophiles reduce the risk. Both duties provide grounds for moral judgement. Paedophiles should be judged not for their sexual interest but for their efforts to avoid child sex abuse. If a paedophile has an opportunity to reduce the risk of child sex abuse, he is obliged to do so. Unfortunately, societies rarely provide such opportunities and hence fail in their moral duty to paedophiles and children. (shrink)

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

Early normative studies of human behavior revealed a gap between the norms of practical rationality (what humans ought to do) and the actual human behavior (what they do). It has been suggested that, to close the gap between the descriptive and the normative, one has to revise norms of practical rationality according to the Quinean, engineering view of normativity. On this view, the norms must be designed such that they effectively account for behavior. I review recent studies of human perception (...) which pursued normative modeling and which found good agreement between the normative prescriptions and the actual behavior. I make the case that the goals and methods of this work have been incompatible with those of the engineering approach. I argue that norms of perception and action are observer-independent properties of biological agents; the norms are discovered using methods of natural sciences rather than the norms are designed to fit the observed behavior. (shrink)

Two traditions have had a great impact on the theoretical and experimental research of perception. One tradition is statistical, stretching from Fechner's enunciation of psychophysics in 1860 to the modern view of perception as statistical decision making. The other tradition is phenomenological, from Brentano's “empirical standpoint” of 1874 to the Gestalt movement and the modern work on perceptual organization. Each tradition has at its core a distinctive assumption about the indivisible constituents of perception: the just-noticeable differences of sensation in the (...) tradition of Fechner vs. the phenomenological Gestalts in the tradition of Brentano. But some key results from the two traditions can be explained and connected using an approach that is neither statistical nor phenomenological. This approach rests on a basic property of any information exchange: a principle of measurement formulated in 1946 by Gabor as a part of his quantal theory of information. Here the indivisible components are units (quanta) of information that remain invariant under changes of precision of measurement. This approach helped to understand how sensory measurements are implemented by single neural cells. But recent analyses suggest that this approach has the power to explain larger-scale characteristics of sensory systems. (shrink)