Ή V. Grâce πρότεινε νά ταυτιστεί ό Ζήνων πού εμφανίζεται στά σφραγίσματα αμφορέων τοΰ ναυαγίου τοΰ Serçe Limam (γύρω στό 280-275 π.Χ.), μέ τόν επίτροπο της δωρεάς τοΰ 'Απολλώνιου, τόν Ζήνωνα τών 'Αρχείων της Φιλαδέλφειας. Αυτή ή πρόταση παρουσιάζει πολλές δυσκολίες : τυπολογικές, γιατί άμφορεΤς καί σφραγίσματα μοιάζουν πολύ μέ τήν κνιδιακή ομάδα τοΰ Σωφάνη (ή προέλευση Ιχει επιβεβαιωθεί άπό τήν ανακάλυψη τοΰ εργαστηρίου Muhaltepe στή χερσόνησο Datça), γεωλογικές, καί τέλος χρονολογικές γιατί τήν εποχή του ναυαγίου, δ Ζήνων ό Καύνιος (...) ήταν τό πολύ 10 ετών. Μία κνιδιακή προέλευση αύτης της ομάδας Α τοΰ Ζήνωνα φαίνεται σάν τή λύση πού αρμόζει καλύτερα. Σέ δύο παραρτήματα συγκεντρώνονται μία περιγραφή τοΰ εργαστηρίου τοΰ Σωφάνη στό Muhaltepe καί Ινα «corpus» τών σφραγισμάτων αύτης της ομάδας. (shrink)

Can one extend crisp Peano arithmetic PA by a possibly many-valued predicate Tr(x) saying “xis true” and satisfying the “dequotation schema”for all sentences φ? This problem is investigated in the frame of Łukasiewicz infinitely valued logic.

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)

Biological boundaries are important because of what they reveal about the evolution of a lineage, the relationship between organisms of different lineages, the structure and function of particular subsystems of the organism, the interconnection between an organism and its environment, and a myriad of other important issues related to individuality, development, and evolution. Since there is no single unifying theory for all biological sciences, there are various possible theoretical characterizations of what counts as a biological boundary. Theoretical specificity is crucial (...) for the full characterization of a boundary; to this end, it is useful to begin with general properties and then to compare these to those properties specific to a particular biological boundary. This dual heuristic approach—top-down and bottom-up—can then be repeated to increase the robustness of the boundary characterization. In what follows, I explore both the general structural and functional aspects of biological boundaries and those specific to a biological subsystem, which itself is critical to boundary formation, maintenance, and evolution—the vertebrate immune system. It is a remarkable and sobering regularity of nature that organisms remain whole because their parts are constantly being built up and broken down, and this is no less true of their boundaries. The vertebrate immune system is at the center of this process of biological boundary maintenance and breakdown. (shrink)

NOTE FROM THE AUTHORS The context of our co-authored contribution to the ‘Aesthetic Relations’ conference-publication is a performance devised by Lucie in 2020 to which she invited Kiraṇ as a collaborator. Due to international travel restrictions however, our physical co-pres-ence in a studio and on stage remained suspended throughout that year. Our exchanges nevertheless continued in adaptive turns both before and after that performance. It is this condition of, at once, compromised yet consistent relation with each other that we refer (...) to as ‘suspension’. For us this suspension was at first admittedly a source of disruption, even anxiety of interrupting our artistic flow. Yet there came a point during the year when this swelling tension ruptured, and a strange ease set in. Nothing had changed on the surface (travel restrictions were only extended), yet something had shifted under our skins. While still physically across continents, our online presentation at the conference was a joint essay at articulating, both textually and performatively, the unassuming complexity of this thing that is suspension. By the time of this publication in 2022, we have somewhat broken this suspension by physically meeting in Switzerland in August 2021. As such we have decided not to edit the text that was performed at the conference back in January 2021, and only append it with this contextual note. Here we must add that the text in one of the sections to follow (which begins with “Please turn your head to your left..”) is intended as a score for action. Originally spoken in our voices, we now ask you to invite another person to read this section aloud to you at an unhurried pace, while you respond to the text’s suggestions. As for us, we continue our collabora-tive artistic research of working in and with suspension as artistic strategy through our ongoing exchanges and upcoming projects. (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.

Current thinking suggests that dissociation could be a significant comorbid diagnosis in a proportion of schizophrenic patients with a history of trauma. This potentially may explain the term “schizophrenia” in its original definition by Bleuler, as influenced by his clinical experience and personal view. Additionally, recent findings suggest a partial overlap between dissociative symptoms and the positive symptoms of schizophrenia, which could be explained by inhibitory deficits. In this context, the process of dissociation could serve as an important conceptual framework (...) for understanding schizophrenia, which is supported by current neuroimaging studies and research of corollary discharges. These data indicate that the original conception of “split mind” may be relevant in an updated context. Finally, recent data suggest that the phenomenal aspects of dissociation and conscious disintegration could be related to underlying disruptions of connectivity patterns and neural integration. (shrink)

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 paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for (...) unconceived alternatives providing modal knowledge of what is possible therein. As a result, the epistemic warrant of synthesised realist theories should emerge bolstered as the underdetermination by available evidence gets reduced. While shifting the realist commitment away from theoretical artefacts towards modalities of the possibility spaces, the synthesis comes out as a kind of perspectival modelling. (shrink)

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.

We prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.

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)

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)

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)

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.

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.

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.

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies and satisfiable sentences as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.

Large language models (LLMs) represent the currently most relevant incarnation of artificial intelligence with respect to the future fate of democratic governance. Considering their potential, this paper seeks to answer a pressing question: Could LLMs outperform humans as expert advisors to democratic assemblies? While bearing the promise of enhanced expertise availability and accessibility, they also present challenges of hallucinations, misalignment, or value imposition. Weighing LLMs’ benefits and drawbacks compared to their human counterparts, I argue for their careful integration to augment (...) democracy’s ability to address complex policy issues. The paper posits that time-tested democratic procedures like deliberation and aggregation by voting provide safeguards effective against both human and machine advisor imperfections. Additional protective measures include custom LLM training for the advisory role, boosting representatives’ competencies in query formulation, or implementation of adversarial proceedings in which LLM advisors could debate each other and provide dissenting opinions. These could further mitigate the risks that LLMs present in advisory roles and empower human decision-makers toward increased autonomy and quality of their collective choices. My conceptual exploration offers a roadmap for the co-evolution of AI and democratic institutions, setting the stage for an empirical research agenda to finetune the implementation specifics. (shrink)

Many democratic countries have failed to stand up to the challenge presented by the COVID-19 pandemic. I argue that the collective response to the pandemic has been incapacitated by an ‘epistemic crisis’, (i.e., a breakdown in the social division of epistemic labor) that led to a failure of citizens’ beliefs to converge towards a shared perception of the situation. Neither a paucity of relevant expert knowledge nor democratic citizens’ irrationality is required for the crisis to emerge. In particular, I highlight (...) three obstacles capable of preventing relevant expert testimony from gaining democratic legitimacy necessary for an effective policy response: 1) the proper domain of expertise is uncertain; 2) regular citizens’ meta-expertise – (i.e., ability to discriminate among the putative experts based on their relative epistemic merit) – is not efficacious enough to trigger truth-convergence of the public opinion; 3) the prominent sources of third-party meta-expertise lack credibility due to their conflicts of interest. Since the first two problems appear irresolvable, I propose that the search for a path towards preclusion of future epistemic crises concentrates on upgrading the institutional fundament for meta-expertise provision. Social epistemology plays a vital role in this search, but its close cooperation with other disciplines is a must. (shrink)

Social networks can influence people’s behaviour and therefore it is assumed that central individuals in social networks, also called “opinion leaders”, play a key role in driving change in agricultural and food systems. I analyse the outcomes of an intervention (that encouraged Sulawesi smallholder farmers to take a specific action toward improving the health of their cocoa trees) to assess the impact of engaging opinion leaders in agricultural programs that aim to change farmers’ practices. The intervention has been implemented through (...) (a) 18 opinion leaders identified by interviews and a social network survey of 1885 cocoa farmers; and (b) 18 randomly selected farmers who were not central in local social networks. The obtained social networks and statistical data were quantitatively analysed and the results were interpreted with input from the field staff. Contrary to expectations, the highly socially central opinion leaders were not more effective in promoting the initiative in their communities. On average, randomly selected low-centrality farmers convinced almost twice as many of their peers to take the recommended action as compared to the identified opinion leaders (17.1 versus 8.6) but the variation within the random group was also significantly higher. Importantly, while the identified opinion leaders were mostly senior men, women performed better in influencing others into taking action even when their centrality in local social networks of agricultural advice was lower. I discuss the implications of the conventional selection of perceived opinion leaders as model farmers for achieving sustainable and equitable change at scale in agriculture and propose practical alternatives. (shrink)

This is the continuation of the paper :417–446, 2010). We continue the abstract study of non-classical logics based on the kind of generalized implication connectives they possess and we focus on semilinear logics, i.e. those that are complete with respect to the class of models where the implication defines a linear order. We obtain general characterizations of semilinearity in terms of the intersection-prime extension property, the syntactical semilinearity metarule and the class of finitely subdirectly irreducible models. Moreover, we consider extensions (...) of the language with lattice connectives and generalized disjunctions, study their interplay with implication and obtain axiomatizations and further descriptions of semilinear logics in terms of disjunctions and the proof by cases property. (shrink)

The possibility of performing germline modifications on currently living individuals targets future generations’ health and well-being by reducing the diversity of the human gene pool. This can have two negative repercussions: reduction of heterozygosity, the latter being associated with a health or performance advantage; uniformization of the genes involved in reproductive recombination, which may lead to the health risks involved in asexual reproduction. I argue that germline interventions aimed at modifying the genomes of future people cannot be ethically justifiable if (...) there is no possibility of controlling the intervention either by reversing or altering it, whenever need demands it. This argument is challenged on six different grounds: safety, population versus individual focus, spontaneous mutations, exceptionalism, the intentional pursuit of genetic diversity through germline interventions, and harm reduction potential. (shrink)

Chaadayev's Philosophical Letters and Apology of a Madman unite the religious approach to history, which was later adopted by the Slavophiles, with the search for Western enlightenment, symbolized in the figure of Peter the Great. - Front flap.

Rational Pavelka logic extends Lukasiewicz infinitely valued logic $by adding truth constants \bar{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.

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)

Eco-phenomenology is a young branch of contemporary phenomenology and environmental ethics that attempts to put aside all preconceptions burdening the relationship between humans and nature, to describe it purely on the basis of how it appears phenomenologically, and to draw ethical implications that could contribute to solving the ecological crisis. Authors inspired by Levinas’ ethics play an important role in this project, asking whether it could be extended to non-human beings. The article addresses two of them in particular: it shows (...) how Ch. Diehm – who sees the core of Levinas’ ethics in sensitivity to the suffering of the vulnerable body – succeeded in comparison to his predecessor S. Benso and her ethics of things, but also marks the limits of his attempt, thus indicating what remains a challenge for Levinas-inspired eco-phenomenology in the future. (shrink)

The paper deals with the problem of divine causation in relation to created agents in general and human rational agents in particular. Beyond creation and conservation, Aquinas specifies divine contribution to created agents’ operation as application in the role of the first cause and the operation of the principal cause employing an instrumental cause. It is especially the latter which is open to varying interpretation and which might be potentially threatening to human freedom. There are different readings of what it (...) is for the secondary agent to “act through the power of the principal cause”. Either the divine cause causes only the existence of the effect of the secondary cause, or it also causes the cause to operate in the sense that it determines its outcome. The latter seems to contradict human freedom. Both readings of Aquinas were developed in the latter half of the sixteenth century within scholastic philosophy and theology. (shrink)