The analysis of Leibniz’s heritage and phenomenology of virtuality in the title of this conference do not exhaust the whole variety of topics, but rather are the poles between which the discussion has been developing. Monadology of Leibniz became the place of concurrence of absolute identity and unique ecstatic that gave rise to a specific discourse of virtuality.

BREVE RELATO DE UMA OUTRA EXPERIÊNCIA EDUCACIONAL: O ENSINO JURÍDICO NOS ESTADOS UNIDOS.

This article discusses adult conversion in the Russian Baptist community as the unlearning of old sinful ways of living. Russian Baptists see conversion as an act of repentance, surrendering to Christ, and becoming born again, and as a life-long process of growing in faith. Based on an ethnographic study of the Baptist community in north-western and central Russia, the article discusses the glocal nature of the Russian Baptist community that attracts the kind of people that convert to this faith and (...) the circumstances of their conversion. Russian Baptist conversion is viewed as an act and a process, and conversion is seen as an ethical choice and an unlearning of the old ways of living. (shrink)

Der vorliegende Beitrag entwickelt Überlegungen zur Geschichte und zum gegenwärtigen Zustand der Psychoanalyse in der Ukraine. Der Autor führt die aktive Entwicklung der Psychoanalyse in den postsowjetischen Ländern sowohl auf wirtschaftliche Gründe – den Zusammenbruch des Gesundheitssystems – als auch auf ideologische Emanzipation zurück. Er beschreibt die Entwicklung der Ukrainischen Psychoanalytischen Gesellschaft (UPG) und die traumatischen Auswirkungen des gegenwärtigen Krieges auf sie, wobei er die verschiedenen Stadien seiner persönlichen Entwicklung und der Entwicklung der Berufsgemeinschaft anhand von klinischen Beispielen illustriert. Die (...) umfangreichste klinische Illustration handelt von der Reaktualisierung traumatischer Erfahrungen, einschließlich transgenerationaler Erfahrungen, durch den Krieg. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is (...) asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We explore a possibility of generalization of classical truth values by distinguishing between their ontological and epistemic aspects and combining these aspects within a joint semantical framework. The outcome is four generalized classical truth values implemented by Cartesian product of two sets of classical truth values, where each generalized value comprises both ontological and epistemic components. This allows one to define two unary twin connectives that can be called “semi-classical negations”. Each of these negations deals only with one of the (...) above mentioned components, and they may be of use for a logical reconstruction of argumentative reasoning. (shrink)

In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, (...) d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT4. Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a–order and d–order coincide with first-degree entailment. Finally logic with two kinds of operations and consequence relation defined via a–ordering is considered. An adequate axiomatization for this logic is proposed. (shrink)

We focus here on the intercalary heterochromatin (IH) of Drosophila melanogaster and, in particular, its molecular properties. In the polytene chromosomes of Drosophila, IH is represented by a reproducible set of dense bands scattered along the euchromatic arms. IH contains mainly unique DNA sequences, and shares certain features with other heterochromatin types such as pericentric, telomeric, and PEV‐induced heterochromatin, the inactive mammalian X‐chromosome and the heterochromatized male chromosome set in coccids. These features are transcriptional silencing, chromatin compactness, late DNA replication, (...) underrreplication or elimination in somatic cells, and formation of the heterochromatin state in early embryogenesis. Post‐translational modification of histones and the specific nonhistone protein complexes are shown to participate in the establishment and maintenance of silencing for all heterochromatin types. Many IH regions contain binding sites for HP1 and/or Pc‐G proteins and all the regions are sites of heterochromatin‐associated SuUR protein. Some IH regions are known to contain homeotic genes. Summarizing these data, we suggest that IH regions comprise stable inactivated genes, whose silencing is developmentally programmed. BioEssays 25:1040–1051, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

We discuss several problems in quasiclassical physics for which approximate solutions were recently obtained by a new method, and which can also be solved by novel versions of the Born–Oppenheimer approximation. These cases include the so-called bouncing ball modes, low angular momentum states in perturbed circular billiards, resonant states in perturbed rectangular billiards, and whispering gallery modes. Some rare, special eigenstates, concentrated close to the edge or along a diagonal of a nearly rectangular billiard are found. This kind of state (...) has apparently previously escaped notice. (shrink)

There is a productive and suggestive approach in philosophical logic based on the idea of generalized truth values. This idea, which stems essentially from the pioneering works by J.M. Dunn, N. Belnap, and which has recently been developed further by Y. Shramko and H. Wansing, is closely connected to the power-setting formation on the base of some initial truth values. Having a set of generalized truth values, one can introduce fundamental logical notions, more specifically, the ones of logical operations and (...) logical entailment. This can be done in two different ways. According to the first one, advanced by M. Dunn, N. Belnap, Y. Shramko and H. Wansing, one defines on the given set of generalized truth values a specific ordering relation (or even several such relations) called the logical order(s), and then interprets logical connectives as well as the entailment relation(s) via this ordering(s). In particular, the negation connective is determined then by the inversion of the logical order. But there is also another method grounded on the notion of a quasi-field of sets, considered by Białynicki-Birula and Rasiowa. The key point of this approach consists in defining an operation of quasi-complement via the very specific function g and then interpreting entailment just through the relation of set-inclusion between generalized truth values. In this paper, we will give a constructive proof of the claim that, for any finite set V with cardinality greater or equal 2, there exists a representation of a quasi-field of sets isomorphic to de Morgan lattice. In particular, it means that we offer a special procedure, which allows to make our negation de Morgan and our logic relevant. (shrink)

In this paper, I attempt to offer a general outline of my views on the origin and evolution of language. I do not pretend in any way to a completely new conception of language evolution. It seems to me that all the most important and productive hypotheses about the origin of language have already been made before, and it is only a matter of putting the pieces of the puzzle together correctly. As far as I can see it, the evolution (...) of language is directly related to the embedded and embodied emotional types, which served as the basis for the subsequent categorization of perceived objects, and thus laid the ground for the formation of first an internal language (of thought), and then an external verbal language. Consistent with this, the paper is organized as follows. In the Introduction I briefly describe the problem I am facing in this article and outline a plan for solving it. Next section comprises a survey of relevant empirical findings related primarily to the processing and understanding of abstract terms and concepts. In my view, it supports the idea of the close connection of abstract terms proceeding, and thus language comprehension, with emotional states. The third section provides relevant theoretical considerations of the relationship between emotions, cognition, and language. Consistently considering various theories of emotions and concepts of language formation, I pay attention to the connection between affective states and language as a sign system. In the fourth section, my views are presented directly. In so doing, I illustrate my approach with a telling example that shows how, in the course of evolution, embedded and embodied emotional responses and reactions could become the building blocks first for the internal language of thought, and then for the external natural language. (shrink)

The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations is provided. These negations (...) allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent. (shrink)

A paper on how to adapt your probabilisitc beliefs when learning a conditional.

Natural language provides motivation for studying modal backwards-looking operators such as “now”, “then” and “actually” that evaluate their argument formula at some previously considered point instead of the current one. This paper investigates the expressive power over models of both propositional and first-order basic modal language enriched with such operators. Having defined an appropriate notion of bisimulation for first-order modal logic, I show that backwards-looking operators increase its expressive power quite mildly, contrary to beliefs widespread among philosophers of language and (...) formal semanticists. That in turn presents a strong argument for the use of operator-based systems in the semantics of natural language, instead of systems with explicit quantification over worlds and times that have become a de-facto standard for such applications. The popularity of such explicit-quantification systems is shown to be based on the misinterpretation of a claim by Cresswell, which led many philosophers and linguists to assume that introducing “now” and “then” is expressively equivalent to explicitly quantifying over worlds and times. (shrink)

A peculiarity of early medieval geometrical texts was that alongside Euclid's Elements they transmitted remnants of the corpus of Roman land surveyors and metaphysical digressions extraneous to geometry proper. Rather than dismissing these additions as irrelevant, this essay attempts to elucidate the cultural grounds for the indiscriminate mixture of the three disciplines -- geometry, surveying, and metaphysics. Inquiry into the broader context of early medieval culture suggests that neither geometry nor surveying was treated as an independent discipline. Texts on geometry (...) and surveying were studied mainly because they were thought to provide good opportunities for enlarging the scope of meditation on spiritual subjects. Accordingly, the main concern of this essay is to show how Christian symbolism influenced both the composition and the study of geometrical texts. The essay is based on a wide range of sources: treatises on geometry and surveying, pictorial representations of Creation, and philosophical literature in which geometry was used in arguments about ontological doctrines. (shrink)

The liberal view that valid consent is sufficient for a sex act to be morally legitimate is challenged by three major philosophies of sex: the Catholic view of sex as ordained for procreation and properly confined to marriage, the romantic view of sex as bound up with love, and the radical feminist analysis of sex in our society as part and parcel of the domination of women by men. I take a critical look at all three, focusing on Mary Geach''s (...) recent statement of the procreation view, Roger Scruton''s theory of sexual desire as naturally evolving into intimacy and love, and several radical feminist discussions of sex in sexist society which argue that the notion of consent is unhelpful and, indeed, irrelevant. I argue that none of these lines of argument is convincing, and that consent remains the touchstone of morally permissible sex – although, dmittedly, it may not be very helpful in discussing ideals of human sexuality. (shrink)

The article introduces substructural epistemic logics of belief supported by evidence. The logics combine normal modal epistemic logics with distributive substructural logics. Pieces of evidence are represented by points in substructural models and availability of evidence is modelled by a function on the point set. The main technical result is a general completeness theorem. Axiomatisations are provided by means of two-sorted Hilbert-style calculi. It is also shown that the framework presents a natural solution to the problem of logical omniscience.

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary (...) and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights. (shrink)

Though the average person may take patriotism for granted as a natural feeling of loyalty to one's country, among philosophers the nature, moral standing, and political significance of patriotism have always been contentious. On the one hand, there are those who defend patriotic loyalty as either a duty or a virtue and extol it as an indispensable condition of a viable polity. On the other hand, critics of patriotism maintain that it is morally suspect to prefer one's country and compatriots, (...) and doing so offends against impartial justice and hinders universal human solidarity. Today patriotism is a topic of debate not only in moral philosophy but also in political theory, where it is often brought up as a test case in the confrontation between liberals and communitarians. These debates have produced much high-quality writing, the best of which is here presented in this wide-ranging collection of essays by philosophers and political theorists. All the main varieties of patriotism are covered—moderate and extreme, as well as ethnic/cultural and political—and both critics and defenders are given a hearing. Editor Igor Primoratz has also included articles that discuss the history of the term in moral and political discourse in the English-speaking world, the distinctively American type of patriotism, the relation of patriotism to nationalism and racism, and the tension between patriotism and universal human solidarity, especially as this issue relates to foreign aid. As the first anthology to treat patriotism in its own right, this work emphasizes that patriotism is a distinct moral and political outlook, and is not merely a variety of nationalism or the emotional underpinning of nationalist theories. As such, it will be an important resource for courses in philosophy and political science, and will also serve as an accessible general reader for the interested layperson. (shrink)

We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In this way, it is possible (...) to capture proof-theoretically not only the entailment relation of the standard four-valued Belnap’s logic, but also its dual version, as well as some of their interesting extensions. The proof systems we propose are, in a sense, of a hybrid Hilbert–Gentzen nature. We examine some important properties of these systems and establish their completeness with respect to the corresponding entailment relations. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and the (...) other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.

We give a negative solution to the problem, posed by A. Chagrov and M. Zakharyaschev, of whether every quasi-normal propositional modal logic can be axiomatized by an independent set of axioms, with the inference rules of Substitution and Modus Ponens.

The article analyzes the effectiveness of quantum theories of mental experience in relation to two ontological problems - the problem of the existence of consciousness in the material world and the problem of the interaction of consciousness and body. A critical analysis of the quantum theories of consciousness by Penrose-Hameroff, M. Tegmark, G. Stapp, M. Fischer and M.B. Mensky shows that they fail to fully explain how complex physical systems generate mental experience without violating the principle of causal closure of (...) the physical world and the principle of epistemological completeness of physics. Quantum mechanics provides specific processes that are the physical basis of the psyche, but do not explain the phenomenal aspect of subjective reality. Nevertheless, the Heisenberg uncertainty principle gives an understanding of how the interaction of consciousness and body within the scientific picture of the world can be carried out without violating the law of energy conservation. It is shown that the quantum theories of consciousness currently being developed have a predominantly panprotopsychic character, which faces a problem due to the fact that the protomental property of physical systems must be expressed quantitatively and correspond to the value included in the physical equations. As a result, it is concluded that in order to develop quantum theories of consciousness more effectively, it is necessary to give an emergent character, not jumping from the quantum level to the psychic, but explaining the mechanism of the emergence of systemic properties during the sequential transition between different ontological regions of existence, including physical, chemical, biological, neurophysiological and psychic. (shrink)

The relationship between formal logic and informal reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version (...) of connexive logic which validates Boethius’ Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation. (shrink)

There has been a growing debate about the ethics of management buy-outs (MBOs). One possible criticism of the MBO is that it serves the interests of incumbent management at the expense of shareholders. In this paper we develop the general arguments concerning the ethical aspects of the MBO to include other forms of buy-out beyond going privates and apply the analysis to MBOs as a mode of privatisation in Central and Eastern Europe (CEE). MBOs are justified in this context postperestroika (...) as a means of incentivising economic activity by giving managers an ownership stake in former state enterprises. The actual mode of privatisation, though, raises issues of social justice and the criticism that MBOs are at the expense of the broader social good. The ethical problem for the CEE is to balance the economic gains of a move to markets with the ethical risks to the agents of these markets. (shrink)