We discuss a phenomenon that appears when ‘even’ occurs in questions. Specifically, an inference of what we call “extreme ignorance” is projected onto the speaker. We argue that this effect arises when the known unlikelihood ‘even’ focuses an entire question, resulting in the focused question being the least likely to be asked. Specific implicatures then conspire to bring about the inference that the speaker does not know the answer to the question that is most expected to be known. The environments (...) explored are Wh-questions and Y/N questions, and the languages looked at primarily English, Greek, German and Russian. (shrink)

This paper argues that unusual coincidences, particularly those involving historical events, can be viewed as design patterns, suggesting an intelligent influence over the course of events. A compelling case examined in detail using probability theory concerns the presidencies of Abraham Lincoln (1809–1865) and John F. Kennedy (1917–1963). This and other coincidences involving historical figures disfavor the materialistic perspective and point to the presence of an intelligent agent acting on a global scale, beyond the arrow of time, influencing human lives and (...) the course of history. (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)

In this paper the philosophical ideology of eclecticism of Modern times is considered, especially as it has been formulated byJ. Ch.Sturm, and assessment of its contribution to development of philosophical and scientific thought is given. The need of differentiation of eclecticism, syncretism and conciliatorics is proved. Eclecticism is characterized as a progressive for its time current. The decisive impact eclecticism on formation of new scientific outlook is emphasized.

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

In 1900 David Hilbert announced his famous list of then-opened mathematical problems; the problem number 6 in this list is axiomatization of physical theories. Since then a lot of systematic efforts have been invested into solving this problem. However the results of these efforts turned to be less successful than the early enthusiasts of axiomatic method expected. The existing axiomatizations of physical and biological theories provide a valuable logical analysis of these theories but they do not constitute anything like their (...) standard presentation,which can be used for transmission, evaluation, and justification of physical and biological knowledge. This state of theart in the axiomatization of physics is strong evidence that the standard notion of axiomatic theory stemming from Hilbert and Tarski is not appropriate for thet ask. However in the recent years in mathematics there emerged a new axiomatic approach best represented by the Homotopy Type theory (HoTT). We argue that the constructive axiomatic architecture used in HoTT has better chances to be successfully applied in physics as well as in computer science and engineering. (shrink)

Name der Zeitschrift: Byzantinische Zeitschrift Jahrgang: 107 Heft: 1 Seiten: 113-138.

This work presents the two surviving letters preserved from the extensive correspondence of V.E. Sesemann, a professor of philosophy at Vilnius University at the time (1961), and B.D. Dandaron, a Buddhist teacher who was a researcher at the Buryat Integrated Research Institute at that time. The letters discuss the authors’ current work and creative plans, as well as everyday life and resettling after release from prison in 1956. In his letter, B.D. Dandaron devotes significant attention to a list of literature (...) that he was using in writing a study on aesthetics and/or that was mentioned in the records of the lectures of V.E. Sesemann in the prison camp. The letters give some idea of the nature of the relations between the correspondents and the areas of their research interests. The publication is preceded by a preface, which offers reflections on the context of the appearance of lectures on aesthetics that formed the basis of B.D. Dandaron’s research interest in this issue. The preface also provides context on the prison camp “seminar” on philosophy, in which the correspondents were active participants. V.E. Sesemann lectured on a wide range of areas in Western philosophy, including aesthetics, the history of philosophy, and philosophical anthropology. B.D. Dandaron lectured on the philosophy and practice of Buddhism. B.D. Dandaron’s particular interest in aesthetic issues was due to the fact that in the system of Buddhist teachings he developed, he paid great attention to the development of emotional intuition (associated with aesthetic perception) as an intermediate link between the rational intuition inherent in every person and the emotional-mystical intuition developed during yogic practice. (shrink)

The article is devoted to the systematic study of the lattice εN4⊥ consisting of logics extending N4⊥. The logic N4⊥ is obtained from paraconsistent Nelson logic N4 by adding the new constant ⊥ and axioms ⊥ → p, p → ∼ ⊥. We study interrelations between εN4⊥ and the lattice of superintuitionistic logics. Distinguish in εN4⊥ basic subclasses of explosive logics, normal logics, logics of general form and study how they are relate.

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)

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)

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)

The publication of The Use of Bodies, the final volume in Giorgio Agamben’s Homo Sacer series, makes it possible to take stock of Agamben’s project as a whole. Having started with a powerful critique of the biopolitical sovereignty as the essence of modern politics, Agamben concludes his project with an affirmative vision of inoperative politics of form-of-life, in which life is not negated or sacrificed to the privileged form it must attain, but rather remains inseparable from the form that does (...) nothing but express it. The article begins by reconstituting the non-relational logic that Agamben develops in order to render inoperative the existing apparatuses of ontology, ethics and politics. We then address the dimension of lifestyle as a new key domain of Agamben’s work, in which biopolitics may be recast in an affirmative key of form-of-life. While Agamben is better known for sceptical and scornful statements about contemporary liberal democracies, we shall argue that his affirmative biopolitics, characterized by destituent power, resonates with Claude Lefort’s understanding of democracy as structured around the ontological void and epistemic indeterminacy. In the conclusion we question the viability of this biopolitical democracy, focusing on Agamben’s example of the Nocturnal Council in Plato’s Laws. (shrink)

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

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)

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.

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.

У статті розглянуто економічні та правові проблеми управління розвитком міських агломерацій в Україні. Охарактеризовані склад, структура, причини формування міських агломерацій. Систематизовано етапи, чинники й економіко-правові умови розвитку міської агломерації. Виявлено відмінності між управлінням-функціонуванням та управлінням-розвитком міської агломерації. Розглянуто взаємодію територіальних громад щодо розвитку агломерації та її правове забезпечення. Сформульовано комплекс завдань, вирішення яких дозволить подолати економічні, організаційні та правові проблеми управління розвитком міських агломерацій.

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

It was shown in the previous work of the author that one can avoid the paradox of minimal logic { ϕ , ¬ ϕ } ¬ ψ defining the negation operator via reduction not a constant of absurdity, but to a unary operator of absurdity. In the present article we study in details what does it mean that negation in a logical system can be represented via an absurdity or contradiction operator. We distinguish different sorts of such presentations. Finally, we (...) consider the possibility to represent the negation via absurdity and contradiction operators in such well known systems of paraconsistent logic as D.Batens's logic CLuN and Sette's logic P 1. (shrink)

A theory of the emergence of the subject of world politics.

Closed timelike curves (CTCs) appear in many solutions of the Einstein equation, even with reasonable matter sources. These solutions appear to violate causality and so are considered problematic. Since CTCs reflect the global properties of a spacetime, one can attempt to extend a local CTC-free patch of such a spacetime in a way that does not give rise to CTCs. One such procedure is informally known as unwrapping. However, changes in global identifications tend to lead to local effects, and unwrapping (...) is no exception, as it introduces a special kind of singularity, called quasi-regular. This “unwrapping” singularity is similar to the string singularities. We define an unwrapping of a (locally) axisymmetric spacetime as the universal cover of the spacetime after one or more of the local axes of symmetry is removed. We give two examples of unwrapping of essentially 2+1 dimensional spacetimes with CTCs, the Gott spacetime and the Gödel spacetime. We show that the unwrapped Gott spacetime, while singular, is at least devoid of CTCs. In contrast, the unwrapped Gödel spacetime still contains CTCs through every point. A “multiple unwrapping” procedure is devised to remove the remaining circular CTCs. We conclude that, based on the given examples, CTCs appearing in the solutions of the Einstein equation are not simply a mathematical artifact of coordinate identifications. Alternative extensions of spacetimes with CTCs tend to lead to other pathologies, such as naked quasi-regular singularities. (shrink)