A model for kinetics of circular substrate cleavage by restriction endonuclease was formulated. The aim of the analysis of the model was to extract kinetic constants for all target sites from time- dependence of fragment concentration in reaction products. That was proved to be possible for molecules with an odd number of fragments only. A symmetry of the molecules with an even number of fragment is the cause. A solution for molecules with an odd number of fragments was found and (...) methods for dealing with the other molecules were suggested. (shrink)

In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, (...) we propose a general research program towards a logic-based account of reasoning with graded predicates. (shrink)

Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus.

In the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy and classical logics lie at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contributing to the model theory of fuzzy predicate logics. First, we generalize the completeness theorem, then we use it to get results on conservative extensions of theories (...) and on witnessed models. (shrink)

Maximilian Voloshin turned to classical metres after he moved to Crimea that in his consciousness had associations with Hellas. Also, his friendship with Vyacheslav Ivanov became an important stimulus. Initially, Voloshin used the same metres that can be found in Ivanov's collection of poems Кормчие звезды. However, their form shows that Voloshin was well familiar with classical poetry.

Maximilian Voloshin turned to classical metres after he moved to Crimea that in his consciousness had associations with Hellas. Also, his friendship with Vyacheslav Ivanov became an important stimulus. Initially, Voloshin used the same metres that can be found in Ivanov’s collection of poems Кормчие звезды. However, their form shows that Voloshin was well familiar with classical poetry.

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying "x is true" and satisfying the "dequotation schema" $\varphi \equiv \text{Tr}(\bar{\varphi})$ for all sentences φ? This problem is investigated in the frame of Lukasiewicz infinitely valued logic.

A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed.

Drawing on current debates at the frontiers of economics, psychology, and political philosophy, this book explores the challenges that arise for liberal democracies from a confrontation between modern technologies and the bounds of human rationality. With the ongoing transition of democracy's underlying information economy into the digital space, threats of disinformation and runaway political polarization have been gaining prominence. Employing the economic approach informed by behavioral sciences' findings, the book's chief concern is how these challenges can be addressed while preserving (...) a commitment to democratic values and maximizing the epistemic benefits of democratic decision-making. The book has two key strands: it provides a systematic argument for building a behaviorally informed theory of democracy; and explores how scientific knowledge on quirks and bounds of human rationality can inform the design of resilient democratic institutions. Drawing these together, the book explores the centrality of the rationality assumption in the methodological debates surrounding behavioral sciences as exemplified by the dispute between neoclassical and behavioral economics; the role of rationality in democratic social choice; behaviorally informed paternalism as a response to the challenge of irrationality; and non-paternalistic avenues to increase the resilience of the democratic institutions towards political irrationality This book is invaluable reading for anyone interested in behavioral economics and sciences, political philosophy and the future of democracy. (shrink)

The pace of technological change continues to outstrip the evolution of democratic institutions, creating an urgent need for innovative approaches to democratic reform. However, the experimentation bottleneck - characterized by slow speed, high costs, limited scalability, and ethical risks - has long hindered progress in democracy research. This paper proposes a novel solution: employing generative artificial intelligence (GenAI) to create synthetic data through the simulation of digital homunculi, GenAI-powered entities designed to mimic human behavior in social contexts. By enabling rapid, (...) low-risk experimentation with alternative institutional designs, this approach could significantly accelerate democratic innovation. I examine the potential of GenAI-assisted research to mitigate current limitations in democratic experimentation, including the ability to simulate large-scale societal interactions and test complex institutional mechanisms. While acknowledging potential risks such as algorithmic bias, reproducibility challenges, and AI alignment issues, I argue that the benefits of synthetic data are likely to outweigh their drawbacks if implemented with proper caution. To address existing challenges, I propose a range of technical, methodological, and institutional adaptations. The paper concludes with a call for interdisciplinary collaboration in the development and implementation of GenAI-assisted methods in democracy research, highlighting their potential to bridge the gap between democratic theory and practice in an era of rapid technological change. (shrink)

In fuzzy predicate logic, assignment of truth values may be partial, i.e. the truth value of a formula in an interpretation may be undefined . A logic is supersound if each provable formula is true in each interpretation in which the truth value of is defined. It is shown that among the logics given by continuous t-norms, Gödel logic is the only one that is supersound; all others are not supersound. This supports the view that the usual restriction of semantics (...) to safe interpretations is very natural. (shrink)

Rational Pavelka logic extends Lukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0, 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Lukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.

This article identifies the assumption of responsibility as a basic need of human beings and applies the concept specifically to older people with dementia or Alzheimer's disease. It suggests a two‐level concept of responsibility, based on the approach of discourse ethicist Karl‐Otto Apel, as a promising approach to recognizing human diversity while at the same time respecting people's equal rights to participate in discourse. This concept can serve as a theoretical starting point for the construction of individually adapted types of (...) responsibility. Furthermore, the article describes practical ideas (primarily the practice of doll therapy) that can enable people with dementia or Alzheimer's disease to assume responsibility. Direct communication and a reflective, sensitive consideration of each individual case are identified as important prerequisites for the inclusion of elderly people with dementia. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for (...) the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

This paper empirically examines how consumers react when a company marks a product with a gay label. The company under scrutiny is one of the largest video game developers in the world, and the labeled product is a popular video game character. We use a regression discontinuity design to exploit the quasi-experimental setting. The main finding was significant drop in demand for this character and a return to previous levels after approximately 3 months. Possible mechanisms and dynamics were explored by (...) analyzing demand for other characters and by surveying consumers. The results are consistent after performing robustness checks based on grid search, subsampling, and placebo tests. (shrink)

Despite an increasing role of machine learning in science, there is a lack of results on limits of empirical exploration aided by machine learning. In this paper, we construct one such limit by proving undecidability of learnability of state spaces of physical systems. We characterize state spaces as binary hypothesis classes of the computable Probably Approximately Correct learning framework. This leads to identifying the first limit for learnability of state spaces in the agnostic setting. Further, using the fact that finiteness (...) of the combinatorial dimension of hypothesis classes is undecidable, we derive undecidability for learnability of state spaces as well. Throughout the paper, we try to connect our formal results with modern neural networks. This allows us to bring the limits close to the current practice and make a first step in connecting scientific exploration aided by machine learning with results from learning theory. (shrink)

Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic and its consistent axiomatic extensions . A Kripke semantics characterization is given for the structurally complete implication–negation fragments of intermediate logics, and it is shown that the admissible rules of this fragment of form a PSPACE-complete set and have no finite basis.

An important task for every major philosopher is to offer us an understanding of the nature of mind. The essays in this volume discuss different aspects of the philosophical theories of mind put forward in the century and a half that followed Descartes' Meditations of 1641. These years, often referred to as the 'early-modern' period, are probably unparalleled for originality and diversity in conceiving the mind. The volume not only includes two essays on Descartes' own thinking, but there are also (...) examinations of what Spinoza, Malebranche, Locke, Berkeley, Reid, the Cambridge Platonists, and others, have to say about the nature of mind. The aim of the volume is to represent some of the best contemporary research and reflection on mind in early-modern philosophy. The contributors, who teach at a range of universities in mainland Europe, Great Britain and North America, are Margaret Atherton, Miran BozoviÄ, Petr GlombìÄek, Boris Hennig, James Hill, Nicholas Jolley, Jan Palkoska, G. A. J. Rogers, and Anthony Savile. All the essays appear here for the first time. (shrink)

This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit (...) interval, the rational unit interval, the hyperreals , the strict hyperreals and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

As our epistemic ambitions grow, the common and scientific endeavours are becoming increasingly dependent on Machine Learning (ML). The field rests on a single experimental paradigm, which consists of splitting the available data into a training and testing set and using the latter to measure how well the trained ML model generalises to unseen samples. If the model reaches acceptable accuracy, an a posteriori contract comes into effect between humans and the model, supposedly allowing its deployment to target environments. Yet (...) the latter part of the contract depends on human inductive predictions or generalisations, which infer a uniformity between the trained ML model and the targets. The paper asks how we justify the contract between human and machine learning. It is argued that the justification becomes a pressing issue when we use ML to reach ‘elsewheres’ in space and time or deploy ML models in non-benign environments. The paper argues that the only viable version of the contract can be based on optimality (instead of on reliability which cannot be justified without circularity) and aligns this position with Schurz’s optimality justification. It is shown that when dealing with inaccessible/unstable ground-truths (‘elsewheres’ and non-benign targets), the optimality justification undergoes a slight change, which should reflect critically on our epistemic ambitions. Therefore, the study of ML robustness should involve not only heuristics that lead to acceptable accuracies on testing sets. The justification of human inductive predictions or generalisations about the uniformity between ML models and targets should be included as well. Without it, the assumptions about inductive risk minimisation in ML are not addressed in full. (shrink)

This article reviews recent findings indicating some common brain processes during dissociative states and dreaming with the aim to outline a perspective that neural chaotic states during dreaming can be closely related to dissociative states that may manifest in dreams scenery. These data are in agreement with various clinical findings that dissociated states can be projected into the “dream scenery” in REM sleep periods and dreams may represent their specific interactions that may uncover unusual psychological potential of creativity in psychotherapy, (...) art and scientific discoveries. (shrink)

We show that the modal prepositional logicILM (interpretability logic with Montagna's principle), which has been shown sound and complete as the interpretability logic of Peano arithmetic PA (by Berarducci and Savrukov), is sound and complete as the logic ofπ 1-conservativity over eachbE 1-sound axiomatized theory containingI⌆ 1 (PA with induction restricted tobE 1-formulas). Furthermore, we extend this result to a systemILMR obtained fromILM by adding witness comparisons in the style of Guaspari's and Solovay's logicR (this will be done in a (...) separate continuation of the present paper). (shrink)

Axiomatic set theory with full comprehension is known to be consistent in Łukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.

It is shown that the low basis theorem is meaningful and provable in I∑ 1 and that the priority-free solution to Post's problem formalizes in this theory.

The theological program of Archpriest Georges Florovsky is understood as a conception of the neopatristic synthesis that he developed. From the beginning, its appearance was associated with the participation of its creator in a public discussion about the historical ways of Russia within the framework of the Eurasian movement, then, with his scientific investigations into the history of Russian Orthodoxy and ancient Christian thought and later with his activity in the ecumenical movement. It is noteworthy that the positive content of (...) the program for modern Orthodox theology turned out to be an indirect response to broader challenges of historical and social order. The focus of attention in this case are some peculiarities in the reception of the program in international and Russian contexts, which in turn requires the clarification of the content of its main points, such as a question about a true fatherland or the sense and meaning of Christian Hellenism. The conclusion notes the significant relevance and openness of Florovsky’s ideas for modern Orthodox theology. (shrink)

The article is a critical systematic presentation of R. M. Hare's ethical concepts and doctrine as outlined in his books The Language of Morals (1952) and Freedom and Reason (1963). The theory merits attention for many reasons, yet it appears to suffer from some weaknesses; the chief among them being the lack of explanation for the source of binding force of moral principles.

The paper explores the notion of communicative success as a match between the speaker's communicative intention and the audience's interpretation. The first part argues that it cannot be generalized to all kinds of communication. The second part characterizes various types of relations between the speaker's and the audience's beliefs on which this kind of communicative success can be based. It shows that the requirements concerning agreement between these beliefs are rather modest.

The paper discusses one of the central problems of contemporary formal semantics — counterexamples to the predictions of the theory of binding (due to N. Chomsky). In particular, the author addresses cases of the so-called coreferential readings of reflexive pronouns which are standardly predicted to receive only the bound reading. The author examines theories of T. Reinhart and I. Heim and suggests an extension ofthe latter theory in order to enable it to account for the aforementioned readings of reflexive pronouns.

The one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts $\mathrm {S5}$ and $\mathrm {MIPC}$ of the one-variable fragments of first-order classical logic and first-order intuitionistic logic, respectively—but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in (...) this paper for the one-variable fragment of a semantically defined first-order logic—spanning families of intermediate, substructural, many-valued, and modal logics—to admit a certain natural axiomatization. More precisely, an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, using a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property. (shrink)