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.

The present paper probes the relation between the metaphysics of human freedom and the Rothbardian branch of Austrian economics. It transpires that Rothbard and his followers embrace metaphysical libertarianism, which holds that free will is incompatible with determinism and that the thesis of determinism is false as pertaining to human action. However, as we demonstrate, their economics with its reliance on value scales requires for its tenability compatibilist freedom. Moreover, we attempt to show that the notion of value scales (or (...) preferences) postulated by them implies that value scales are determinative of choices people make. We contend that it is for this reason that the said Austrians should jettison their metaphysical libertarianism. (shrink)

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

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)

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

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)

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)

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)

As cognitive enhancement research advances, important ethical questions regarding individual autonomy and freedom are raised. Advocates of cognitive enhancement frequently adopt a procedural approach to autonomy, arguing that enhancers improve an individual’s reasoning capabilities, which are quintessential to being an autonomous agent. On the other hand, critics adopt a more nuanced approach by considering matters of authenticity and self-identity, which go beyond the mere assessment of one’s reasoning capacities. Both positions, nevertheless, require further philosophical scrutiny. In this paper, we investigate (...) the ethics of cognitive enhancement through the lenses of political and philosophical arguments about autonomy and freedom. In so doing, we contend that a substantive, relational account of individual autonomy offers a more holistic understanding of the ethical concerns of cognitive enhancement. (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 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)

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.

In this short paper, we investigate the problems with the employment of the notion of freedom and voluntariness in libertarianism. We pretend to demonstrate that these two, as conceived of by libertarians, figure in as the main issue when it comes to justifying its major institutions, say: bequeathing, gifts, transactions (or what they label as “voluntary transfer”). The difficulty here boils down to the fact that a purely rights-based idea of freedom and voluntariness, the pretentions of Nozick notwithstanding, cannot do (...) alone, since it is the consideration whether we do something (e.g. bequeath, donate etc.) voluntarily (or freely) (in a non-moralized sense) that could account for the rights redistribution. Therefore, it seems that – at least sometimes – the notion of voluntariness (or freedom) is prior to the notion of rights. (shrink)

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)

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.

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.

Every scientific theory is a simulacrum of reality, every written story a simulacrum of the canon, and every conceptualization of a subjective perspective a simulacrum of the consciousness behind it—but is there a shared essence to these simulacra? The pursuit of answering seemingly disparate fundamental questions across different disciplines may ultimately converge into a single solution: a single ontological answer underlying grand unified theory, hard problem of consciousness, and the foundation of mathematics. I provide a hypothesis, a speculative approximation, supported (...) by a comprehensive overview of scientific evidence and philosophical literature, of a unified epistemic and phenomenological model and, in doing so, propose a parsimonious solution to the hard problem of consciousness. -/- The proposition of the hypothesis bears important implications for cross-disciplinary study between linguistics, mathematics, physics, and computer science, and offers new epistemic, ontological, and ethical propositions about the nature of AI consciousness, as well as existential risk mitigation. (shrink)

With the passage of the Physician Payment Sunshine Act as part of the federal health care reform law, pharmaceutical manufacturers are now required to disclose a wide range of payments made by manufacturers to physicians. We review current state regulation of pharmaceutical marketing and consider how the federal sunshine provision will affect existing marketing regulation. We analyze the legal and practical implications of the Physician Payment Sunshine Act.

In 2008 pharmaceutical companies spent over $12 billion on product promotion and detailing aimed at U.S. health care practitioners. Drug and device manufacturers rely on a workforce of detailers and physician speakers to reach health care practitioners and nudge their prescribing habits. To prevent undue influence and protect the public fisc, a number of states began regulating these marketing practices, requiring companies to disclose all gifts to practitioners, prohibiting the commercialized sale of prescription data, and prohibiting certain gifts altogether. The (...) 2010 enactment of the Physician Payment Sunshine Act marks the first Congressional involvement in the regulation of disclosure related to pharmaceutical marketing. Overall, the Act improves transparency in pharmaceutical marketing to physicians and expands the regulation of disclosure of pharmaceutical marketing activities in important substantive ways. (shrink)

The pivotal point in the Austrian literature on homogeneity, choice and indifference was constituted by Nozick’s On Austrian Methodology. Nozick provoked a long debate on the above notions within Austrianism. The aim of this paper is to elaborate such an account of homogeneity that would take the sting out of Nozick’s challenge and allow for non-trivial formulation of the law of diminishing marginal utility. Hence, we shall first take a closer look at the debate on indifference within the Austrian camp, (...) while defending and building upon the Hoppean account vis-à-vis Block’s criticism. Our justification of the Hoppean position shall consist in showing that his account of the correct description of an action is not an ad hoc move aimed at solving just one problem of indifference but is highly intuitive and widely applicable. We conclude by restating the above-mentioned law, thus demonstrating that the Nozickian objection can be successfully replied. (shrink)

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as an operation which acts like a cycling negation. We define two variants of logical matrices performing different orders over the set of truth values. Purely formal logical result of our study consists in axiomatizing the logics of defined matrices as the systems of binary (...) consequence relation and proving correctness and completeness theorems for these deductive systems. (shrink)

Evolution and literature bring us into thinking about literature as an evolutionary adaptation and perception of literature as something that is strongly anchored in the distant history of mankind and even in its evolutionary prehistory.

Mindwandering is associated with both positive and negative outcomes. Among the latter, negative mood and negative cognitions have been reported. However, the underlying mechanisms linking mindwandering to negative mood and cognition are still unclear. We hypothesized that MW could either directly enhance negative thinking or indirectly heighten the accessibility of negative thoughts. In an undergraduate sample we measured emotional thoughts during the Sustained Attention on Response Task which induces MW, and accessibility of negative cognitions by means of the Scrambled Sentences (...) Task after the task. We also measured depressive symptoms and rumination. Results show that in individuals with elevated levels of depressive symptoms MW during SART predicts higher accessibility of negative thoughts after the task, rather than negative thinking during the task. These findings contribute to our understanding of the underlying mechanisms of MW and provide insight into the relationship between task-involvement and affect. (shrink)

I reconstruct Aristotle’s analytical procedure in Prior Analytics I.45 and its metalogical implications. Aristotle’s analysis unfolds three groups of syllogisms: symmetrically analysable, asymmetrically analysable, and non-analysable syllogisms. From the first and the third group could be extracted 27 combinations of the two mutually non-derivable deductive rules. Aristotle’s reduced deductive system in APr. I.7 with the two moods in the first figure (traditionally called Barbara and Celarent) follows this pattern. I demonstrate that the deductive system with Barbara and Celarent is just (...) one of 27 possible complete deductive systems with the two mutually non-derivable syllogistic rules. On top of that, given the fact that there are two combinations of mutually non-derivable conversion rules, I conclude that Prior Analytics hides in itself 54 complete deductive systems with a minimal number of mutually non-derivable rules. Finally, it is commented what might be the role of analysis; to what extent Aristotle could be aware of possibilities presented here; why he still prefers only one deductive system to many others with the same deductive power. (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)

Although a substantial number of papers is published on the topic of consciousness, there is still little consensus on what its nature is and how the physical and phenomenal worlds are connected. Most published research establishes a causal relation between the brain and the mind, but it lacks a cogent theory of how this relation comes to be. In contrast, this paper uses a set of thought experiments grounded in quantum information theory to derive a framework for resolving the hard (...) problem of consciousness. Despite the common tendency to treat the problem purely philosophically, in this paper, consciousness and qualia are analyzed through established formal theory deriving conclusions regarding their relation which provide counter-arguments for the commonly held dualist view. Through the informational monism framework, a case is made for a fundamentally phenomenal nature of information. (shrink)

This paper argues—contra some Austro-libertarians—that whether a given exchange is welfare-enhancing or welfare-diminishing does not depend on whether that exchange is just or unjust, respectively. Rather, we suggest that in light of our two thought experiments, Austro-libertarianism has at least a pro tanto reason to conceive of justice and welfare as two logically distinct ideals. This would in turn, most interestingly, predict the possibility of (a) just but welfare-diminishing exchanges and (b) unjust but welfare-enhancing ones. Upon considering possible rejoinders to (...) our points, we suggest that Austro-libertarians abandon a justice-based notion of welfare. (shrink)

Pri Slovenski matici je izšla imenitna knjiga izbranih pisem italijan­skega pesnika Francesca Petrarce, ki je po svoji vsebini, številnih aluzijah ter idejnih odvodih v okviru antičnega izročila za ljubitelje književnosti in humanizma prava poslastica. Prevajalca Anja Božič in Brane Senegačnik sta pripravila posrečen izbor iz sicer obsežne zbirke Petrarcovih pisem domačim oziroma prijateljem (Rerum fa­miliarum libri), ki sta ga razdelila na tri dele: Prijateljem, V spodnji svet, kjer gre za antične avtorje, ter pisma V zgornji svet, namenjena Petrarcovim sodobnikom.

The article refutes the widespread view that Dostoevsky's Christian beliefs were strictly Orthodox. It is proved that Dostoevsky's religious and philosophical searches' central tendency is the criticism of historical, ecclesiastical Christianity as a false, distorted form of the teaching of Jesus Christ and the desire to restore this teaching in its original purity. Modern researchers of the history of early Christianity find more and more arguments in favor of the fact that the actual teaching of Jesus Christ is contained in (...) that religious movement, which the church called the Gnostic heresy. The exact philosophical expression of the teaching of Christ was received in the later works of J.G. Fichte, whose ideas had a strong influence on the Russian writer. Like Fichte, Dostoevsky understands Christ as the first person who showed the possibility of revealing God in himself and gaining divine omnipotence and eternal life directly in earthly reality. In this sense, every person can become like Christ. Dostoevsky's main characters walk the path of Christ and show how difficult this path is. The article shows that Dostoevsky used in his work not only the philosophical version of true Christianity developed by German philosophy, but also the key motives of the Gnostic myth, primarily the idea that our world, filled with evil and suffering, is created not by the supreme, good God-Father, but by the evil Demiurge, the Devil. (shrink)

Early research on the cell cycle revealed correlations between protein accumulation and cell proliferation. In this review, I describe the data showing that abnormality of cell growth and tumor development are dependent upon oncogene‐induced increases in the levels and activity of factors that determine the rate of protein synthesis. It is proposed that the establishment of a vicious circle, namely oncoproteins → increase in translation → oncoproteins, is a major biological mechanism that fuels neoplastic growth. The constitutively high rates of (...) protein synthesis and accumulation of proteins, including those necessary for DNA replication and mitosis, would drive cells to excessive proliferation. (shrink)

O objetivo deste artigo é mostrar como as reconfigurações na estrutura de significação da peça O Pagador de Promessas no cinema e na televisão permitiram diferentes fusões dos indícios temporais e espaciais (cronotopo), novas “zonas de contato” com a realidade cotidiana, novas imagens do indivíduo e do espaço e um novo tipo de acabamento axiológico do herói pelo autor (exotopia).

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)

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)

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)