This article addresses the relationship between ontology and politics in Jean-Luc Nancy’s theory of democracy by probing the implications of his latest ontological innovation, the concept of struction. We argue that Nancy’s democracy is a mode of politics that makes the radical pluralism of struction legitimate, opening and guarding a political space for the coexistence of the incommensurable. From this perspective, and despite Nancy’s own skepticism about the concept of biopolitics, the notion of struction opens a pathway for theorizing democracy (...) in a biopolitical key as the regime of coexistence of radically incommensurable forms of life in the absence of any coordinating principle. We nonetheless take issue with Nancy’s prescription for democracy to remain devoid of any political affirmation of its own. Instead, we suggest that the prescriptive content of democracy consists in the affirmation of the contingency of all the forms of life that coexist in it, which implies their freedom, equality, and comm... (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)

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)

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)

While cognitive changes in aging and neurodegenerative disease have been widely studied, language changes in these populations are less well understood. Inflecting novel words in a language with complex inflectional paradigms provides a good opportunity to observe how language processes change in normal and abnormal aging. Studies of language acquisition suggest that children inflect novel words based on their phonological similarity to real words they already know. It is unclear whether speakers continue to use the same strategy when encountering novel (...) words throughout the lifespan or whether adult speakers apply symbolic rules. We administered a simple speech elicitation task involving Finnish‐conforming pseudo‐words and real Finnish words to healthy older adults, individuals with mild cognitive impairment, and individuals with Alzheimer's disease (AD) to investigate inflectional choices in these groups and how linguistic variables and disease severity predict inflection patterns. Phonological resemblance of novel words to both a regular and an irregular inflectional type, as well as bigram frequency of the novel words, significantly influenced participants' inflectional choices for novel words among the healthy elderly group and people with AD. The results support theories of inflection by phonological analogy (single‐route models) and contradict theories advocating for formal symbolic rules (dual‐route models). (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (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.

This article examines the verbτιθαιβώσσω, a Homeric hapax legomenon of unknown meaning and etymology: it reviews its use in Hellenistic poetry and strives to provide a contextually plausible meaning for the verb (‘to sting’), as well as for the related adjectiveθιβρός(‘stinging, mordant, piquant’). It argues thatτιθαιβώσσωis etymologically related to Latinfīgere‘insert, pierce’,fībula‘pin’, Lithuaniandíegti‘to poke, sting’, and Tocharian Btsākā- ‘to bite’.

This article examines a distinct form of moral argumentation found to be common in a corpus of 500 editorials and opinion pieces written in 23 US newspapers and news magazines between August and October 2002 debating whether or not the US should attack Iraq. The purpose of the article is to delineate this communicative phenomenon, which we call moral muting. Moral muting occurs when a message either blunts the moral considerations involved in a case or presents an equivocal moral meaning. (...) Moral muting overlaps with but is distinct from mitigation, and even when it involves mitigation, moral muting depends on devices that go beyond those generally associated with conversational mitigation. The examination of moral muting offered here contributes to a better understanding of moral communication in general and of the conduct of the American public sphere. (shrink)

В первый том сочинений "лучшего критика 90-х годов" XIX века вошли отдельно изданные книги писателя, серия литературно-критических очерков и статьи, публиковавшиеся в газете "Московские ведомости".

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)

This article focuses on Foucault’s and Agamben’s readings of Augustine’s account of human nature and original sin. Foucault’s analysis of Augustine’s account of sexual acts in paradise, subordinated to will and devoid of lust, highlights the way it constitutes the model for the married couple, whose sexual acts are only acceptable if diverted by the will away from desire and towards the tasks of procreation. While Agamben rejects Augustine’s doctrine of original sin and reclaims paradise as the original homeland of (...) humanity, his reappropriation of paradise remains conditioned by our turn towards our true nature, from which we have been estranged by sin. Agamben’s politics of reclaiming paradise necessarily involves the demand for obedience to this originary model of human nature. It therefore follows to the letter Augustine’s description of paradisiacal sex, in which the will prevails over desire by applying itself to and curtailing itself. (shrink)

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

The paper proves a predicate version of Solovay's well-known theorem on provability interpretations of modal logic: If a closed modal predicate-logical formula R is not valid in some finite Kripke model, then there exists an arithmetical interpretation f such that $PA \nvdash fR$ . This result implies the arithmetical completeness of arithmetically correct modal predicate logics with the finite model property (including the one-variable fragments of QGL and QS). The proof was obtained by adding "the predicate part" as a specific (...) addition to the standard Solovay construction. (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.

We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking just unifiability (...) of formulas with coefficients also works via verification of admissibility. (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)

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more (...) precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. (shrink)

The problematic of biopolitics has become increasingly important in the social sciences. Inaugurated by Michel Foucault's genealogical research on the governance of sexuality, crime and mental illness in modern Europe, the research on biopolitics has developed into a broader interdisciplinary orientation, addressing the rationalities of power over living beings in diverse spatial and temporal contexts. The development of the research on biopolitics in recent years has been characterized by two tendencies: the increasingly sophisticated theoretical engagement with the idea of power (...) over and the government of life that both elaborated and challenged the Foucauldian canon and the detailed and empirically rich investigation of the concrete aspects of the government of life in contemporary societies. Unfortunately, the two tendencies have often developed in isolation from each other, resulting in the presence of at least two debates on biopolitics: the historico-philosophical and the empirical one. This Handbook brings these two debates together, combining theoretical sophistication and empirical rigour. The volume is divided into five sections. While the first two deal with the history of the concept and contemporary theoretical debates on it, the remaining three comprise the prime sites of contemporary interdisciplinary research on biopolitics: economy, security and technology. Featuring previously unpublished articles by the leading scholars in the field, this wide-ranging and accessible companion will both serve as an introduction to the diverse research on biopolitics for undergraduate students and appeal to more advanced audiences interested in the current state of the art in biopolitics studies. (shrink)

This paper introduces a theory of ownership that is rooted in Israel Kirzner’s theory of entrepreneurship – The Entrepreneurial Theory of Ownership. Its central idea is that natural resources are not available to us automatically as other approaches to justice implicitly assume. Before we can use a resource, we need to do preparatory work in the form of making an entrepreneurial judgement on it. This fact, as I argue, makes it possible to put private ownership as a natural right on (...) a firm normative ground and answer many traditional challenges to private property. (shrink)

While Foucault’s work on biopolitics continues to inspire diverse studies in a variety of disciplines, it has largely been missing from the debates on the possibility of “affirmative biopolitics” which have been primarily influenced by the work of Agamben and Esposito. This article restores Foucault’s work to these debates, proposing that his final lecture course at the Collège de France in 1983–1984 developed a paradigm of affirmative biopolitics in the reading of the Cynic practice of truth-telling. The Cynic problematization of (...) the relation between truth and life and their transvaluation of conventional truths by relocating them to the domain of bare life not only seeks to transform one’s life in accordance with the truth but also, through the confrontation with the existing conventions and norms, to transform the world as such. Cynic parrhesia is thus biopolitical, insofar as it reclaims the power of one’s life from the social order and its rationalities of government and applies it to oneself, investing one’s existence with truth. Since Foucault developed this reading of Cynicism in the context of his political engagement on behalf on East European dissidents, the article proceeds to analyse the resonances between parrhesia and Václav Havel’s idea of “living within the truth,” elaborating the biopolitical significance of both practices. We conclude by addressing the implications of our interpretation for Foucault scholarship and the wider debates on biopolitics. (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)

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

Veritism is the thesis that the truth is the fundamental epistemic good. According to Duncan Pritchard, the most pressing objections to veritism are the trivial truths objection and the trivial inquiry problem. The former states that veritism entails that trivial truths are as important as deep and important truths. The latter is a problem that a veritist must prefer trivial inquiry that generates many trivial truths to the serious inquiry with the hope but no guarantee to discover some deep and (...) important truth. Both objections arise from the inability of veritism prima facie to properly rate the different types of truths. Pritchard's solution is to approach the truth from the perspective of the intellectually virtuous inquirer who would prefer weighty truth over trivial truth. In my commentary, I criticise the proposed solution as circular reasoning. The necessary virtue for an intellectually virtuous inquirer is that they would prefer the weighty truth over the trivial one and at the same time, the weighty truth is superior because it is the goal for intellectually virtuous inquirer. I suggest another path to substantiate veritism in the face of the two sibling objections. I argue that truth is the fundamental epistemic good as it makes the epistemic realm practically valuable more than any other epistemic good. The weighty truths are preferable to the trivial ones because the practical value of the deep and important truths is usually higher. The suggested path goes away from the attempts to prove the epistemic value of truth only within the epistemic realm, yet I argue it does not compel the intellectually virtuous inquirer to seek the truth only for the sake of practical reasons. (shrink)